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 (14585 MiB free)
memory of node 1: 16384 MiB (15712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395828-1568396211/watcher-4395828-1568396211 -o /tmp/evaluation-result-4395828-1568396211/solver-4395828-1568396211 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568393484-30986 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=175751557 HOME/instance-4395828-1568396211.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=32124, runsolver pid=32121
Current StackSize limit: 8192 KiB
[startup+0.108678 s]*
/proc/loadavg: 1.71 1.39 1.33 3/219 32181
/proc/meminfo: memFree=31014328/32770624 swapFree=67004208/67108860
[pid=32124] ppid=32121 vsize=10355560 memory=21892 CPUtime=0.1 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32121 32124 30411 0 -1 1077944320 4727 13040 0 0 2 1 4 3 20 0 9 0 415782732 10604093440 5473 33554432000 4194304 4196468 140720339817632 140720339800176 140613702983415 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
/proc/32124/statm: 2588890 5473 2103 1 0 2551431 0
[pid=32124/tid=32177] ppid=32121 vsize=10355560 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/32124/task/32177/stat : 32177 (java) R 32121 32124 30411 0 -1 4202560 2478 13040 0 0 1 0 4 3 20 0 9 0 415782741 10604093440 5473 33554432000 4194304 4196468 140720339817632 140613674819440 140613703005341 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32178] ppid=32121 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32178/stat : 32178 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 9 0 415782742 10604093440 5473 33554432000 4194304 4196468 140720339817632 140613707225744 140613702993621 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32179] ppid=32121 vsize=10355560 memory=288370869019915904 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32179/stat : 32179 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 9 0 415782742 10604093440 5473 33554432000 4194304 4196468 140720339817632 140613276002832 140613702993621 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32180] ppid=32121 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32180/stat : 32180 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 9 0 415782742 10604093440 5473 33554432000 4194304 4196468 140720339817632 140613274950032 140613702993621 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32181] ppid=32121 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32181/stat : 32181 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 9 0 415782742 10604093440 5473 33554432000 4194304 4196468 140720339817632 140613273897232 140613702993621 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32182] ppid=32121 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32182/stat : 32182 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 9 0 415782743 10604093440 5473 33554432000 4194304 4196468 140720339817632 140612706364272 140613702994562 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32183] ppid=32121 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32183/stat : 32183 (java) S 32121 32124 30411 0 -1 1077944384 33 13040 0 0 0 0 4 3 20 0 9 0 415782744 10604093440 5473 33554432000 4194304 4196468 140720339817632 140612705310240 140613702993621 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32184] ppid=32121 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32184/stat : 32184 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 9 0 415782744 10604093440 5473 33554432000 4194304 4196468 140720339817632 140612598752688 140613702993621 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21892 KiB
[startup+0.2103 s]*
/proc/loadavg: 1.71 1.39 1.33 4/228 32190
/proc/meminfo: memFree=31000660/32770624 swapFree=67004208/67108860
[pid=32124] ppid=32121 vsize=10819972 memory=39296 CPUtime=0.26 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32121 32124 30411 0 -1 1077944320 7190 13040 0 0 17 2 4 3 20 0 15 0 415782732 11079651328 9824 33554432000 4194304 4196468 140720339817632 140720339800176 140613702983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
/proc/32124/statm: 2704993 9824 3192 1 0 2667149 0
[pid=32124/tid=32177] ppid=32121 vsize=10819972 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/32124/task/32177/stat : 32177 (java) R 32121 32124 30411 0 -1 4202560 3665 13040 0 0 11 1 4 3 20 0 15 0 415782741 11079651328 9824 33554432000 4194304 4196468 140720339817632 140613674807848 140613703005341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32178] ppid=32121 vsize=10819972 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32178/stat : 32178 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782742 11079651328 9824 33554432000 4194304 4196468 140720339817632 140613707225744 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32179] ppid=32121 vsize=10819972 memory=140492868235132 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32179/stat : 32179 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782742 11079651328 9824 33554432000 4194304 4196468 140720339817632 140613276002832 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32180] ppid=32121 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32180/stat : 32180 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782742 11079651328 9824 33554432000 4194304 4196468 140720339817632 140613274950032 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32181] ppid=32121 vsize=10819972 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32181/stat : 32181 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 15 0 415782742 11079651328 9824 33554432000 4194304 4196468 140720339817632 140613273897232 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32182] ppid=32121 vsize=10819972 memory=140492868204160 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32182/stat : 32182 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 15 0 415782743 11079651328 9824 33554432000 4194304 4196468 140720339817632 140612706364272 140613702994562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32183] ppid=32121 vsize=10819972 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32183/stat : 32183 (java) S 32121 32124 30411 0 -1 1077944384 33 13040 0 0 0 0 4 3 20 0 15 0 415782744 11079651328 9824 33554432000 4194304 4196468 140720339817632 140612705310240 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32184] ppid=32121 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32184/stat : 32184 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782744 11079651328 9824 33554432000 4194304 4196468 140720339817632 140612598752624 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32185] ppid=32121 vsize=10819972 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32185/stat : 32185 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11079651328 9824 33554432000 4194304 4196468 140720339817632 140612291352912 140613703002011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32186] ppid=32121 vsize=10819972 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32124/task/32186/stat : 32186 (java) S 32121 32124 30411 0 -1 1077944384 467 13040 0 0 1 0 4 3 20 0 15 0 415782747 11079651328 9824 33554432000 4194304 4196468 140720339817632 140612671752560 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32187] ppid=32121 vsize=10819972 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32124/task/32187/stat : 32187 (java) S 32121 32124 30411 0 -1 1077944384 194 13040 0 0 1 0 4 3 20 0 15 0 415782747 11079651328 9824 33554432000 4194304 4196468 140720339817632 140612670699760 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32188] ppid=32121 vsize=10819972 memory=140492868204160 CPUtime=0.1 cores=1,3,5,7
/proc/32124/task/32188/stat : 32188 (java) S 32121 32124 30411 0 -1 1077944384 630 13040 0 0 3 0 4 3 20 0 15 0 415782747 11079651328 9824 33554432000 4194304 4196468 140720339817632 140612669646960 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32189] ppid=32121 vsize=10819972 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32189/stat : 32189 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11079651328 9824 33554432000 4194304 4196468 140720339817632 140612257794272 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32190] ppid=32121 vsize=10819972 memory=140492868204160 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32190/stat : 32190 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782747 11079651328 9824 33554432000 4194304 4196468 140720339817632 140612668595376 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819972 KiB
Current children cumulated memory: 39296 KiB
[startup+0.310533 s]*
/proc/loadavg: 1.71 1.39 1.33 4/228 32190
/proc/meminfo: memFree=30987492/32770624 swapFree=67004208/67108860
[pid=32124] ppid=32121 vsize=10820264 memory=48120 CPUtime=0.39 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32121 32124 30411 0 -1 1077944320 10830 13040 0 0 29 3 4 3 20 0 15 0 415782732 11079950336 12030 33554432000 4194304 4196468 140720339817632 140720339800176 140613702983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
/proc/32124/statm: 2705066 12030 3290 1 0 2667149 0
[pid=32124/tid=32177] ppid=32121 vsize=10820264 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/32124/task/32177/stat : 32177 (java) R 32121 32124 30411 0 -1 4202560 7253 13040 0 0 19 2 4 3 20 0 15 0 415782741 11079950336 12030 33554432000 4194304 4196468 140720339817632 140613674804816 140613703005341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32178] ppid=32121 vsize=10820264 memory=-6957061461084680038 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32178/stat : 32178 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782742 11079950336 12030 33554432000 4194304 4196468 140720339817632 140613707225744 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32179] ppid=32121 vsize=10820264 memory=1398720917958146503 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32179/stat : 32179 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782742 11079950336 12030 33554432000 4194304 4196468 140720339817632 140613276002832 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32180] ppid=32121 vsize=10820264 memory=140492868211153 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32180/stat : 32180 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782742 11079950336 12030 33554432000 4194304 4196468 140720339817632 140613274950032 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32181] ppid=32121 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32181/stat : 32181 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 15 0 415782742 11079950336 12030 33554432000 4194304 4196468 140720339817632 140613273897232 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32182] ppid=32121 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32182/stat : 32182 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 15 0 415782743 11079950336 12030 33554432000 4194304 4196468 140720339817632 140612706364272 140613702994562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32183] ppid=32121 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32183/stat : 32183 (java) S 32121 32124 30411 0 -1 1077944384 33 13040 0 0 0 0 4 3 20 0 15 0 415782744 11079950336 12030 33554432000 4194304 4196468 140720339817632 140612705310240 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32184] ppid=32121 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32184/stat : 32184 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782744 11079950336 12030 33554432000 4194304 4196468 140720339817632 140612598752624 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32185] ppid=32121 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32185/stat : 32185 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11079950336 12030 33554432000 4194304 4196468 140720339817632 140612291352912 140613703002011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32186] ppid=32121 vsize=10820264 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32124/task/32186/stat : 32186 (java) S 32121 32124 30411 0 -1 1077944384 475 13040 0 0 2 0 4 3 20 0 15 0 415782747 11079950336 12030 33554432000 4194304 4196468 140720339817632 140612671752560 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32187] ppid=32121 vsize=10820264 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32124/task/32187/stat : 32187 (java) S 32121 32124 30411 0 -1 1077944384 194 13040 0 0 1 0 4 3 20 0 15 0 415782747 11079950336 12030 33554432000 4194304 4196468 140720339817632 140612670699760 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32188] ppid=32121 vsize=10820264 memory=140492868204160 CPUtime=0.12 cores=1,3,5,7
/proc/32124/task/32188/stat : 32188 (java) S 32121 32124 30411 0 -1 1077944384 652 13040 0 0 5 0 4 3 20 0 15 0 415782747 11079950336 12030 33554432000 4194304 4196468 140720339817632 140612669646960 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32189] ppid=32121 vsize=10820264 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32189/stat : 32189 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11079950336 12030 33554432000 4194304 4196468 140720339817632 140612257794272 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32190] ppid=32121 vsize=10820264 memory=140492868204160 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32190/stat : 32190 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782747 11079950336 12030 33554432000 4194304 4196468 140720339817632 140612668595376 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820264 KiB
Current children cumulated memory: 48120 KiB
[startup+0.700644 s]
/proc/loadavg: 1.71 1.39 1.33 3/228 32190
/proc/meminfo: memFree=30973376/32770624 swapFree=67004208/67108860
[pid=32124] ppid=32121 vsize=10825384 memory=81628 CPUtime=1.14 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32121 32124 30411 0 -1 1077944320 15183 13040 0 0 101 6 4 3 20 0 15 0 415782732 11085193216 20407 33554432000 4194304 4196468 140720339817632 140720339800176 140613702983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
/proc/32124/statm: 2706090 20407 3500 1 0 2668173 0
[pid=32124/tid=32177] ppid=32121 vsize=10825384 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32124/task/32177/stat : 32177 (java) R 32121 32124 30411 0 -1 4202560 10483 13040 0 0 55 4 4 3 20 0 15 0 415782741 11085193216 20407 33554432000 4194304 4196468 140720339817632 140613674801344 140613695663133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32178] ppid=32121 vsize=10825384 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32178/stat : 32178 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782742 11085193216 20407 33554432000 4194304 4196468 140720339817632 140613707225744 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32179] ppid=32121 vsize=10825384 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32179/stat : 32179 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782742 11085193216 20407 33554432000 4194304 4196468 140720339817632 140613276002832 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32180] ppid=32121 vsize=10825384 memory=1940 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32180/stat : 32180 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782742 11085193216 20407 33554432000 4194304 4196468 140720339817632 140613274950032 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32181] ppid=32121 vsize=10824360 memory=1416 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32181/stat : 32181 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 15 0 415782742 11084144640 20407 33554432000 4194304 4196468 140720339817632 140613273897232 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32182] ppid=32121 vsize=10824360 memory=7668035123632563520 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32182/stat : 32182 (java) S 32121 32124 30411 0 -1 1077944384 5 13040 0 0 0 0 4 3 20 0 15 0 415782743 11084144640 20407 33554432000 4194304 4196468 140720339817632 140612706364272 140613702994562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32183] ppid=32121 vsize=10825384 memory=7595725831727968097 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32183/stat : 32183 (java) S 32121 32124 30411 0 -1 1077944384 33 13040 0 0 0 0 4 3 20 0 15 0 415782744 11085193216 20407 33554432000 4194304 4196468 140720339817632 140612705310240 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32184] ppid=32121 vsize=10825384 memory=7810487918915055718 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32184/stat : 32184 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782744 11085193216 20407 33554432000 4194304 4196468 140720339817632 140612598752624 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32185] ppid=32121 vsize=10825384 memory=1316 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32185/stat : 32185 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11085193216 20407 33554432000 4194304 4196468 140720339817632 140612291352912 140613703002011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32186] ppid=32121 vsize=10825384 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/32124/task/32186/stat : 32186 (java) S 32121 32124 30411 0 -1 1077944384 884 13040 0 0 11 0 4 3 20 0 15 0 415782747 11085193216 20407 33554432000 4194304 4196468 140720339817632 140612671752560 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32187] ppid=32121 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/32124/task/32187/stat : 32187 (java) R 32121 32124 30411 0 -1 4202560 627 13040 0 0 16 0 4 3 20 0 15 0 415782747 11084144640 20407 33554432000 4194304 4196468 140720339817632 140612670686304 140613681399815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32188] ppid=32121 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/32124/task/32188/stat : 32188 (java) S 32121 32124 30411 0 -1 1077944384 938 13040 0 0 17 0 4 3 20 0 15 0 415782747 11084144640 20407 33554432000 4194304 4196468 140720339817632 140612669646960 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32189] ppid=32121 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32189/stat : 32189 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11084144640 20407 33554432000 4194304 4196468 140720339817632 140612257794272 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32190] ppid=32121 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32190/stat : 32190 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782747 11084144640 20407 33554432000 4194304 4196468 140720339817632 140612668595376 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10825384 KiB
Current children cumulated memory: 81628 KiB
[startup+1.5007 s]
/proc/loadavg: 1.71 1.39 1.33 3/228 32190
/proc/meminfo: memFree=30928212/32770624 swapFree=67004208/67108860
[pid=32124] ppid=32121 vsize=10834676 memory=171496 CPUtime=2.45 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32121 32124 30411 0 -1 1077944320 24255 13040 0 0 227 11 4 3 20 0 15 0 415782732 11094708224 42874 33554432000 4194304 4196468 140720339817632 140720339800176 140613702983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
/proc/32124/statm: 2708669 42874 3582 1 0 2670733 0
[pid=32124/tid=32177] ppid=32121 vsize=10834676 memory=280985484699616 CPUtime=1.43 cores=1,3,5,7
/proc/32124/task/32177/stat : 32177 (java) R 32121 32124 30411 0 -1 4202560 15609 13040 0 0 130 6 4 3 20 0 15 0 415782741 11094708224 42874 33554432000 4194304 4196468 140720339817632 140613674795984 140613702995350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32178] ppid=32121 vsize=10834676 memory=140144849979882 CPUtime=0.08 cores=1,3,5,7
/proc/32124/task/32178/stat : 32178 (java) S 32121 32124 30411 0 -1 1077944384 396 13040 0 0 1 0 4 3 20 0 15 0 415782742 11094708224 42874 33554432000 4194304 4196468 140720339817632 140613707225744 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32179] ppid=32121 vsize=10834676 memory=280985484873712 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32179/stat : 32179 (java) S 32121 32124 30411 0 -1 1077944384 17 13040 0 0 0 0 4 3 20 0 15 0 415782742 11094708224 42874 33554432000 4194304 4196468 140720339817632 140613276002832 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32180] ppid=32121 vsize=10834676 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/32124/task/32180/stat : 32180 (java) S 32121 32124 30411 0 -1 1077944384 60 13040 0 0 1 0 4 3 20 0 15 0 415782742 11094708224 42874 33554432000 4194304 4196468 140720339817632 140613274950032 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32181] ppid=32121 vsize=10834676 memory=-2748367524519556131 CPUtime=0.08 cores=1,3,5,7
/proc/32124/task/32181/stat : 32181 (java) S 32121 32124 30411 0 -1 1077944384 108 13040 0 0 1 0 4 3 20 0 15 0 415782742 11094708224 42874 33554432000 4194304 4196468 140720339817632 140613273897232 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32182] ppid=32121 vsize=10834676 memory=-3756611412707075625 CPUtime=0.08 cores=1,3,5,7
/proc/32124/task/32182/stat : 32182 (java) S 32121 32124 30411 0 -1 1077944384 2104 13040 0 0 1 0 4 3 20 0 15 0 415782743 11094708224 42874 33554432000 4194304 4196468 140720339817632 140612706364272 140613702994562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32183] ppid=32121 vsize=10834676 memory=-4190076264842474805 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32183/stat : 32183 (java) S 32121 32124 30411 0 -1 1077944384 34 13040 0 0 0 0 4 3 20 0 15 0 415782744 11094708224 42874 33554432000 4194304 4196468 140720339817632 140612705310304 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32184] ppid=32121 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32184/stat : 32184 (java) S 32121 32124 30411 0 -1 1077944384 1 13040 0 0 0 0 4 3 20 0 15 0 415782744 11094708224 42874 33554432000 4194304 4196468 140720339817632 140612598752640 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32185] ppid=32121 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32185/stat : 32185 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11094708224 42874 33554432000 4194304 4196468 140720339817632 140612291352912 140613703002011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32186] ppid=32121 vsize=10834676 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/32124/task/32186/stat : 32186 (java) S 32121 32124 30411 0 -1 1077944384 1074 13040 0 0 22 0 4 3 20 0 15 0 415782747 11094708224 42874 33554432000 4194304 4196468 140720339817632 140612671752560 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32187] ppid=32121 vsize=10834676 memory=3472468770981985417 CPUtime=0.33 cores=1,3,5,7
/proc/32124/task/32187/stat : 32187 (java) R 32121 32124 30411 0 -1 4202560 763 13040 0 0 26 0 4 3 20 0 15 0 415782747 11094708224 42874 33554432000 4194304 4196468 140720339817632 140612670699760 140613703004762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32188] ppid=32121 vsize=10834676 memory=280985485236528 CPUtime=0.49 cores=1,3,5,7
/proc/32124/task/32188/stat : 32188 (java) R 32121 32124 30411 0 -1 4202560 1872 13040 0 0 41 1 4 3 20 0 15 0 415782747 11094708224 42874 33554432000 4194304 4196468 140720339817632 140612669646960 140613696080251 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
################
# More data... #
################
/proc/32124/task/32177/stat : 32177 (java) R 32121 32124 30411 0 -1 4202560 48770 13040 0 0 235841 42 4 3 20 0 15 0 415782741 11105214464 155807 33554432000 4194304 4196468 140720339817632 140613674818912 140613297183629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32178] ppid=32121 vsize=10844936 memory=623228 CPUtime=10.34 cores=1,3,5,7
/proc/32124/task/32178/stat : 32178 (java) S 32121 32124 30411 0 -1 1077944384 6038 13040 0 0 972 55 4 3 20 0 15 0 415782742 11105214464 155807 33554432000 4194304 4196468 140720339817632 140613707225744 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32179] ppid=32121 vsize=10844936 memory=623228 CPUtime=10.27 cores=1,3,5,7
/proc/32124/task/32179/stat : 32179 (java) S 32121 32124 30411 0 -1 1077944384 8033 13040 0 0 961 59 4 3 20 0 15 0 415782742 11105214464 155807 33554432000 4194304 4196468 140720339817632 140613276002832 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32180] ppid=32121 vsize=10844936 memory=280985487029760 CPUtime=10.32 cores=1,3,5,7
/proc/32124/task/32180/stat : 32180 (java) S 32121 32124 30411 0 -1 1077944384 11020 13040 0 0 968 57 4 3 20 0 15 0 415782742 11105214464 155807 33554432000 4194304 4196468 140720339817632 140613274950032 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32181] ppid=32121 vsize=10844936 memory=623228 CPUtime=10.33 cores=1,3,5,7
/proc/32124/task/32181/stat : 32181 (java) S 32121 32124 30411 0 -1 1077944384 6711 13040 0 0 971 55 4 3 20 0 15 0 415782742 11105214464 155807 33554432000 4194304 4196468 140720339817632 140613273897232 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32182] ppid=32121 vsize=10844936 memory=623228 CPUtime=10.15 cores=1,3,5,7
/proc/32124/task/32182/stat : 32182 (java) S 32121 32124 30411 0 -1 1077944384 10129 13040 0 0 953 55 4 3 20 0 15 0 415782743 11105214464 155807 33554432000 4194304 4196468 140720339817632 140612706364272 140613702994562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32183] ppid=32121 vsize=10844936 memory=623228 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32183/stat : 32183 (java) S 32121 32124 30411 0 -1 1077944384 40 13040 0 0 0 0 4 3 20 0 15 0 415782744 11105214464 155807 33554432000 4194304 4196468 140720339817632 140612705310368 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32184] ppid=32121 vsize=10844936 memory=623228 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32184/stat : 32184 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 15 0 415782744 11105214464 155807 33554432000 4194304 4196468 140720339817632 140612598752640 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32185] ppid=32121 vsize=10844936 memory=623228 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32185/stat : 32185 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11105214464 155807 33554432000 4194304 4196468 140720339817632 140612291352912 140613703002011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32186] ppid=32121 vsize=10844936 memory=623228 CPUtime=2.33 cores=1,3,5,7
/proc/32124/task/32186/stat : 32186 (java) S 32121 32124 30411 0 -1 1077944384 9277 13040 0 0 224 2 4 3 20 0 15 0 415782747 11105214464 155807 33554432000 4194304 4196468 140720339817632 140612671752560 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32187] ppid=32121 vsize=10844936 memory=6944656592455359580 CPUtime=2.43 cores=1,3,5,7
/proc/32124/task/32187/stat : 32187 (java) S 32121 32124 30411 0 -1 1077944384 12050 13040 0 0 234 2 4 3 20 0 15 0 415782747 11105214464 155807 33554432000 4194304 4196468 140720339817632 140612670699760 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32188] ppid=32121 vsize=10844936 memory=3272 CPUtime=1.33 cores=1,3,5,7
/proc/32124/task/32188/stat : 32188 (java) S 32121 32124 30411 0 -1 1077944384 9707 13040 0 0 124 2 4 3 20 0 15 0 415782747 11105214464 155807 33554432000 4194304 4196468 140720339817632 140612669646960 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32189] ppid=32121 vsize=10844936 memory=623228 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32189/stat : 32189 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11105214464 155807 33554432000 4194304 4196468 140720339817632 140612257794272 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32190] ppid=32121 vsize=10844936 memory=1408 CPUtime=1.28 cores=1,3,5,7
/proc/32124/task/32190/stat : 32190 (java) S 32121 32124 30411 0 -1 1077944384 1252 13040 0 0 61 60 4 3 20 0 15 0 415782747 11105214464 155807 33554432000 4194304 4196468 140720339817632 140612668595376 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
Current children cumulated CPU time: 2417.16 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 623228 KiB
[startup+2442.3 s]
/proc/loadavg: 1.49 1.43 1.37 3/229 32692
/proc/meminfo: memFree=28987488/32770624 swapFree=67004208/67108860
[pid=32124] ppid=32121 vsize=10844936 memory=623292 CPUtime=2477.9 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32121 32124 30411 0 -1 1077944320 126135 13040 0 0 247454 329 4 3 20 0 15 0 415782732 11105214464 155823 33554432000 4194304 4196468 140720339817632 140720339800176 140613702983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
/proc/32124/statm: 2711234 155823 3620 1 0 2673293 0
[pid=32124/tid=32177] ppid=32121 vsize=10844936 memory=623292 CPUtime=2418.29 cores=1,3,5,7
/proc/32124/task/32177/stat : 32177 (java) R 32121 32124 30411 0 -1 4202560 49277 13040 0 0 241780 42 4 3 20 0 15 0 415782741 11105214464 155823 33554432000 4194304 4196468 140720339817632 140613674818960 140613296586340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32178] ppid=32121 vsize=10844936 memory=623292 CPUtime=10.61 cores=1,3,5,7
/proc/32124/task/32178/stat : 32178 (java) S 32121 32124 30411 0 -1 1077944384 6046 13040 0 0 998 56 4 3 20 0 15 0 415782742 11105214464 155823 33554432000 4194304 4196468 140720339817632 140613707225744 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32179] ppid=32121 vsize=10844936 memory=623292 CPUtime=10.53 cores=1,3,5,7
/proc/32124/task/32179/stat : 32179 (java) S 32121 32124 30411 0 -1 1077944384 8146 13040 0 0 985 61 4 3 20 0 15 0 415782742 11105214464 155823 33554432000 4194304 4196468 140720339817632 140613276002832 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32180] ppid=32121 vsize=10844936 memory=623292 CPUtime=10.58 cores=1,3,5,7
/proc/32124/task/32180/stat : 32180 (java) S 32121 32124 30411 0 -1 1077944384 11057 13040 0 0 993 58 4 3 20 0 15 0 415782742 11105214464 155823 33554432000 4194304 4196468 140720339817632 140613274950032 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32181] ppid=32121 vsize=10844936 memory=623292 CPUtime=10.6 cores=1,3,5,7
/proc/32124/task/32181/stat : 32181 (java) S 32121 32124 30411 0 -1 1077944384 6748 13040 0 0 997 56 4 3 20 0 15 0 415782742 11105214464 155823 33554432000 4194304 4196468 140720339817632 140613273897232 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32182] ppid=32121 vsize=10844936 memory=623292 CPUtime=10.41 cores=1,3,5,7
/proc/32124/task/32182/stat : 32182 (java) S 32121 32124 30411 0 -1 1077944384 10312 13040 0 0 978 56 4 3 20 0 15 0 415782743 11105214464 155823 33554432000 4194304 4196468 140720339817632 140612706364272 140613702994562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32183] ppid=32121 vsize=10844936 memory=623292 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32183/stat : 32183 (java) S 32121 32124 30411 0 -1 1077944384 40 13040 0 0 0 0 4 3 20 0 15 0 415782744 11105214464 155823 33554432000 4194304 4196468 140720339817632 140612705310368 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32184] ppid=32121 vsize=10844936 memory=623292 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32184/stat : 32184 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 15 0 415782744 11105214464 155823 33554432000 4194304 4196468 140720339817632 140612598752640 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32185] ppid=32121 vsize=10844936 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32185/stat : 32185 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11105214464 155823 33554432000 4194304 4196468 140720339817632 140612291352912 140613703002011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32186] ppid=32121 vsize=10844936 memory=776 CPUtime=2.33 cores=1,3,5,7
/proc/32124/task/32186/stat : 32186 (java) S 32121 32124 30411 0 -1 1077944384 9277 13040 0 0 224 2 4 3 20 0 15 0 415782747 11105214464 155823 33554432000 4194304 4196468 140720339817632 140612671752560 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32187] ppid=32121 vsize=10844936 memory=623292 CPUtime=2.43 cores=1,3,5,7
/proc/32124/task/32187/stat : 32187 (java) S 32121 32124 30411 0 -1 1077944384 12050 13040 0 0 234 2 4 3 20 0 15 0 415782747 11105214464 155823 33554432000 4194304 4196468 140720339817632 140612670699760 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32188] ppid=32121 vsize=10844936 memory=623292 CPUtime=1.33 cores=1,3,5,7
/proc/32124/task/32188/stat : 32188 (java) S 32121 32124 30411 0 -1 1077944384 9707 13040 0 0 124 2 4 3 20 0 15 0 415782747 11105214464 155823 33554432000 4194304 4196468 140720339817632 140612669646960 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32189] ppid=32121 vsize=10844936 memory=623292 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32189/stat : 32189 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11105214464 155823 33554432000 4194304 4196468 140720339817632 140612257794272 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32190] ppid=32121 vsize=10844936 memory=39616 CPUtime=1.31 cores=1,3,5,7
/proc/32124/task/32190/stat : 32190 (java) S 32121 32124 30411 0 -1 1077944384 1258 13040 0 0 62 62 4 3 20 0 15 0 415782747 11105214464 155823 33554432000 4194304 4196468 140720339817632 140612668595376 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
Current children cumulated CPU time: 2477.9 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 623292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2483.9 s]
/proc/loadavg: 1.52 1.44 1.38 3/229 32695
/proc/meminfo: memFree=29071988/32770624 swapFree=67004208/67108860
[pid=32124] ppid=32121 vsize=10844936 memory=623304 CPUtime=2520.02 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32121 32124 30411 0 -1 1077944320 126696 13040 0 0 251662 333 4 3 20 0 15 0 415782732 11105214464 155826 33554432000 4194304 4196468 140720339817632 140720339800176 140613702983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
/proc/32124/statm: 2711234 155826 3620 1 0 2673293 0
[pid=32124/tid=32177] ppid=32121 vsize=10844936 memory=623304 CPUtime=2459.47 cores=1,3,5,7
/proc/32124/task/32177/stat : 32177 (java) R 32121 32124 30411 0 -1 4202560 49630 13040 0 0 245897 43 4 3 20 0 15 0 415782741 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613674819024 140613296586159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32178] ppid=32121 vsize=10844936 memory=1556 CPUtime=10.79 cores=1,3,5,7
/proc/32124/task/32178/stat : 32178 (java) S 32121 32124 30411 0 -1 1077944384 6082 13040 0 0 1016 56 4 3 20 0 15 0 415782742 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613707225744 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32179] ppid=32121 vsize=10844936 memory=623304 CPUtime=10.72 cores=1,3,5,7
/proc/32124/task/32179/stat : 32179 (java) S 32121 32124 30411 0 -1 1077944384 8152 13040 0 0 1003 62 4 3 20 0 15 0 415782742 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613276002832 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32180] ppid=32121 vsize=10844936 memory=623304 CPUtime=10.77 cores=1,3,5,7
/proc/32124/task/32180/stat : 32180 (java) S 32121 32124 30411 0 -1 1077944384 11180 13040 0 0 1011 59 4 3 20 0 15 0 415782742 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613274950032 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32181] ppid=32121 vsize=10844936 memory=623304 CPUtime=10.78 cores=1,3,5,7
/proc/32124/task/32181/stat : 32181 (java) S 32121 32124 30411 0 -1 1077944384 6756 13040 0 0 1014 57 4 3 20 0 15 0 415782742 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613273897232 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32182] ppid=32121 vsize=10844936 memory=3472328296227679313 CPUtime=10.59 cores=1,3,5,7
/proc/32124/task/32182/stat : 32182 (java) S 32121 32124 30411 0 -1 1077944384 10335 13040 0 0 995 57 4 3 20 0 15 0 415782743 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612706364272 140613702994562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32183] ppid=32121 vsize=10844936 memory=2099696 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32183/stat : 32183 (java) S 32121 32124 30411 0 -1 1077944384 40 13040 0 0 0 0 4 3 20 0 15 0 415782744 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612705310368 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32184] ppid=32121 vsize=10844936 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32184/stat : 32184 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 15 0 415782744 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612598752640 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32185] ppid=32121 vsize=10844936 memory=623292 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32185/stat : 32185 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612291352912 140613703002011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32186] ppid=32121 vsize=10844936 memory=623292 CPUtime=2.33 cores=1,3,5,7
/proc/32124/task/32186/stat : 32186 (java) S 32121 32124 30411 0 -1 1077944384 9279 13040 0 0 224 2 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612671752560 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32187] ppid=32121 vsize=10844936 memory=623304 CPUtime=2.43 cores=1,3,5,7
/proc/32124/task/32187/stat : 32187 (java) S 32121 32124 30411 0 -1 1077944384 12052 13040 0 0 234 2 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612670699760 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32188] ppid=32121 vsize=10844936 memory=3588 CPUtime=1.33 cores=1,3,5,7
/proc/32124/task/32188/stat : 32188 (java) S 32121 32124 30411 0 -1 1077944384 9709 13040 0 0 124 2 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612669646960 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32189] ppid=32121 vsize=10844936 memory=623304 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32189/stat : 32189 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612257794272 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32190] ppid=32121 vsize=10844936 memory=623304 CPUtime=1.33 cores=1,3,5,7
/proc/32124/task/32190/stat : 32190 (java) S 32121 32124 30411 0 -1 1077944384 1264 13040 0 0 63 63 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612668595376 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 623304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2483.92 s]
# the end of solver process 32124 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.69 s, system=3.38305 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2483.9 s]
/proc/loadavg: 1.52 1.44 1.38 3/229 32695
/proc/meminfo: memFree=29071988/32770624 swapFree=67004208/67108860
[pid=32124] ppid=32121 vsize=10844936 memory=623304 CPUtime=2520.02 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32121 32124 30411 0 -1 1077944320 126696 13040 0 0 251662 333 4 3 20 0 15 0 415782732 11105214464 155826 33554432000 4194304 4196468 140720339817632 140720339800176 140613702983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
/proc/32124/statm: 2711234 155826 3620 1 0 2673293 0
[pid=32124/tid=32177] ppid=32121 vsize=10844936 memory=623304 CPUtime=2459.47 cores=1,3,5,7
/proc/32124/task/32177/stat : 32177 (java) R 32121 32124 30411 0 -1 4202560 49630 13040 0 0 245897 43 4 3 20 0 15 0 415782741 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613674819024 140613296586159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32178] ppid=32121 vsize=10844936 memory=1556 CPUtime=10.79 cores=1,3,5,7
/proc/32124/task/32178/stat : 32178 (java) S 32121 32124 30411 0 -1 1077944384 6082 13040 0 0 1016 56 4 3 20 0 15 0 415782742 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613707225744 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32179] ppid=32121 vsize=10844936 memory=623304 CPUtime=10.72 cores=1,3,5,7
/proc/32124/task/32179/stat : 32179 (java) S 32121 32124 30411 0 -1 1077944384 8152 13040 0 0 1003 62 4 3 20 0 15 0 415782742 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613276002832 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32180] ppid=32121 vsize=10844936 memory=623304 CPUtime=10.77 cores=1,3,5,7
/proc/32124/task/32180/stat : 32180 (java) S 32121 32124 30411 0 -1 1077944384 11180 13040 0 0 1011 59 4 3 20 0 15 0 415782742 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613274950032 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32181] ppid=32121 vsize=10844936 memory=623304 CPUtime=10.78 cores=1,3,5,7
/proc/32124/task/32181/stat : 32181 (java) S 32121 32124 30411 0 -1 1077944384 6756 13040 0 0 1014 57 4 3 20 0 15 0 415782742 11105214464 155826 33554432000 4194304 4196468 140720339817632 140613273897232 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32182] ppid=32121 vsize=10844936 memory=3472328296227679313 CPUtime=10.59 cores=1,3,5,7
/proc/32124/task/32182/stat : 32182 (java) S 32121 32124 30411 0 -1 1077944384 10335 13040 0 0 995 57 4 3 20 0 15 0 415782743 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612706364272 140613702994562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32183] ppid=32121 vsize=10844936 memory=2099696 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32183/stat : 32183 (java) S 32121 32124 30411 0 -1 1077944384 40 13040 0 0 0 0 4 3 20 0 15 0 415782744 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612705310368 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32184] ppid=32121 vsize=10844936 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32184/stat : 32184 (java) S 32121 32124 30411 0 -1 1077944384 2 13040 0 0 0 0 4 3 20 0 15 0 415782744 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612598752640 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32185] ppid=32121 vsize=10844936 memory=623292 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32185/stat : 32185 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612291352912 140613703002011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32186] ppid=32121 vsize=10844936 memory=623292 CPUtime=2.33 cores=1,3,5,7
/proc/32124/task/32186/stat : 32186 (java) S 32121 32124 30411 0 -1 1077944384 9279 13040 0 0 224 2 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612671752560 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32187] ppid=32121 vsize=10844936 memory=623304 CPUtime=2.43 cores=1,3,5,7
/proc/32124/task/32187/stat : 32187 (java) S 32121 32124 30411 0 -1 1077944384 12052 13040 0 0 234 2 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612670699760 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32188] ppid=32121 vsize=10844936 memory=3588 CPUtime=1.33 cores=1,3,5,7
/proc/32124/task/32188/stat : 32188 (java) S 32121 32124 30411 0 -1 1077944384 9709 13040 0 0 124 2 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612669646960 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32189] ppid=32121 vsize=10844936 memory=623304 CPUtime=0.07 cores=1,3,5,7
/proc/32124/task/32189/stat : 32189 (java) S 32121 32124 30411 0 -1 1077944384 3 13040 0 0 0 0 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612257794272 140613702993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
[pid=32124/tid=32190] ppid=32121 vsize=10844936 memory=623304 CPUtime=1.33 cores=1,3,5,7
/proc/32124/task/32190/stat : 32190 (java) S 32121 32124 30411 0 -1 1077944384 1264 13040 0 0 63 63 4 3 20 0 15 0 415782747 11105214464 155826 33554432000 4194304 4196468 140720339817632 140612668595376 140613702994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24739840 140720339819248 140720339821765 140720339821765 140720339824591 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 623304 KiB
Child status: 143
Real time (s): 2483.92
CPU time (s): 2520.07
CPU user time (s): 2516.69
CPU system time (s): 3.38305
CPU usage (%): 101.455
Max. virtual memory (cumulated for all children) (KiB): 10847560
Max. memory (cumulated for all children) (KiB): 623304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.69
system time used= 3.38305
maximum resident set size= 627532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 296018
involuntary context switches= 7496
# summary of solver processes directly reported to runsolver:
# pid: 32124
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.69
# total CPU system time (s): 3.38305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9274 second user time and 23.5577 second system time
The end