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 (10868 MiB free)
memory of node 1: 16384 MiB (6989 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304838-1534038702/watcher-4304838-1534038702 -o /tmp/evaluation-result-4304838-1534038702/solver-4304838-1534038702 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534038702-32058 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=54387709 -superng HOME/instance-4304838-1534038702.xml
running on 4 cores: 0,2,4,6
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=32091, runsolver pid=32084
Current StackSize limit: 8192 KiB
[startup+0.100201 s]*
/proc/loadavg: 1.79 1.97 2.03 4/216 32164
/proc/meminfo: memFree=18260084/32770624 swapFree=67108688/67108860
[pid=32091] ppid=32084 vsize=113256 memory=1612 CPUtime=0.01 cores=0,2,4,6
/proc/32091/stat : 32091 (bash) S 32084 32091 30627 0 -1 4202496 886 5674 0 0 0 0 0 1 20 0 1 0 221433425 115974144 403 33554432000 4194304 5098028 140720802195104 140720802189112 140226261502976 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 2 0 0 7196144 7232144 14716928 140720802198692 140720802198824 140720802198824 140720802201582 0
/proc/32091/statm: 28314 403 319 221 0 119 0
[pid=32143] ppid=32091 vsize=113256 memory=716 CPUtime=0 cores=0,2,4,6
/proc/32143/stat : 32143 (bash) S 32091 32091 30627 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 221433431 115974144 179 33554432000 4194304 5098028 140720802195104 140720802187784 140226261328508 0 65536 4096 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14716928 140720802198692 140720802198824 140720802198824 140720802201582 0
/proc/32143/statm: 28314 179 95 221 0 119 0
[pid=32145] ppid=32143 vsize=10260324 memory=20536 CPUtime=0.04 cores=0,2,4,6
/proc/32145/stat : 32145 (java) S 32143 32091 30627 0 -1 1077944320 3961 0 0 0 3 1 0 0 20 0 9 0 221433431 10506571776 5134 33554432000 4194304 4196468 140734577981200 140734577963744 140387441802999 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30576640 140734577984803 140734577984817 140734577984817 140734577987535 0
/proc/32145/statm: 2565081 5134 2160 1 0 2527622 0
[pid=32145/tid=32150] ppid=32143 vsize=10260324 memory=7751702667093440019 CPUtime=0.03 cores=0,2,4,6
/proc/32145/task/32150/stat : 32150 (java) R 32143 32091 30627 0 -1 4202560 2625 0 0 0 3 0 0 0 20 0 9 0 221433432 10506571776 5199 33554432000 4194304 4196468 140734577981200 140387446038392 140387425883486 0 4 0 16800971 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30576640 140734577984803 140734577984817 140734577984817 140734577987535 0
[pid=32145/tid=32151] ppid=32143 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32145/task/32151/stat : 32151 (java) S 32143 32091 30627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 221433432 10506571776 5199 33554432000 4194304 4196468 140734577981200 140387383806992 140387441813205 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30576640 140734577984803 140734577984817 140734577984817 140734577987535 0
[pid=32145/tid=32152] ppid=32143 vsize=10260324 memory=140180713281152 CPUtime=0 cores=0,2,4,6
/proc/32145/task/32152/stat : 32152 (java) S 32143 32091 30627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 221433432 10506571776 5199 33554432000 4194304 4196468 140734577981200 140387382754448 140387441813205 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30576640 140734577984803 140734577984817 140734577984817 140734577987535 0
[pid=32145/tid=32154] ppid=32143 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32145/task/32154/stat : 32154 (java) S 32143 32091 30627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 221433432 10506571776 5199 33554432000 4194304 4196468 140734577981200 140387046710032 140387441813205 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30576640 140734577984803 140734577984817 140734577984817 140734577987535 0
[pid=32145/tid=32156] ppid=32143 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32145/task/32156/stat : 32156 (java) S 32143 32091 30627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 221433432 10506571776 5199 33554432000 4194304 4196468 140734577981200 140387045657488 140387441813205 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30576640 140734577984803 140734577984817 140734577984817 140734577987535 0
[pid=32145/tid=32160] ppid=32143 vsize=10260324 memory=140180713281152 CPUtime=0 cores=0,2,4,6
/proc/32145/task/32160/stat : 32160 (java) S 32143 32091 30627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 221433434 10506571776 5199 33554432000 4194304 4196468 140734577981200 140387000977648 140387441814146 0 0 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30576640 140734577984803 140734577984817 140734577984817 140734577987535 0
[pid=32145/tid=32162] ppid=32143 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32145/task/32162/stat : 32162 (java) S 32143 32091 30627 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 221433434 10506571776 5199 33554432000 4194304 4196468 140734577981200 140386999923872 140387441813205 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30576640 140734577984803 140734577984817 140734577984817 140734577987535 0
[pid=32145/tid=32163] ppid=32143 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32145/task/32163/stat : 32163 (java) S 32143 32091 30627 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 221433434 10506571776 5199 33554432000 4194304 4196468 140734577981200 140386998870768 140387441813205 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30576640 140734577984803 140734577984817 140734577984817 140734577987535 0
[pid=32146] ppid=32143 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/32146/stat : 32146 (awk) S 32143 32091 30627 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 221433431 116211712 242 33554432000 4194304 4609284 140723408215472 140723408214648 140644760538112 0 0 4096 1216 18446744071580971376 0 0 17 6 0 0 0 0 0 6708720 6711756 22867968 140723408217427 140723408217457 140723408217457 140723408220143 0
/proc/32146/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23832 KiB
[startup+0.211784 s]*
/proc/loadavg: 1.79 1.97 2.03 6/222 32222
/proc/meminfo: memFree=18245236/32770624 swapFree=67108688/67108860
[pid=32091] ppid=32084 vsize=10982696 memory=34616 CPUtime=0.19 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32084 32091 30627 0 -1 1077944320 6882 12961 0 0 10 1 5 3 20 0 15 0 221433425 11246280704 8654 33554432000 4194304 4196468 140734487022688 140734487005232 139960866217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
/proc/32091/statm: 2745674 8654 2911 1 0 2708109 0
[pid=32091/tid=32195] ppid=32084 vsize=10982696 memory=7022364594140610616 CPUtime=0.15 cores=0,2,4,6
/proc/32091/task/32195/stat : 32195 (java) R 32084 32091 30627 0 -1 1077944384 3424 12961 0 0 6 1 5 3 20 0 15 0 221433438 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960838041584 139960866227925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32197] ppid=32084 vsize=10982696 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32197/stat : 32197 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960870460176 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32198] ppid=32084 vsize=10982696 memory=140180713307980 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32198/stat : 32198 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960405822352 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32199] ppid=32084 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32199/stat : 32199 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960404769808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32200] ppid=32084 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32200/stat : 32200 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960403717264 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32205] ppid=32084 vsize=10982696 memory=140180713281152 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32205/stat : 32205 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433441 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960292038640 139960866228866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32207] ppid=32084 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32207/stat : 32207 (java) S 32084 32091 30627 0 -1 1077944384 13 12961 0 0 0 0 5 3 20 0 15 0 221433441 11246280704 8654 33554432000 4194304 4196468 140734487022688 139959643136928 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32209] ppid=32084 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32209/stat : 32209 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433441 11246280704 8654 33554432000 4194304 4196468 140734487022688 139959495287792 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32214] ppid=32084 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32214/stat : 32214 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11246280704 8654 33554432000 4194304 4196468 140734487022688 139959187888336 139960866236315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32216] ppid=32084 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32216/stat : 32216 (java) R 32084 32091 30627 0 -1 4202560 467 12961 0 0 0 0 5 3 20 0 15 0 221433444 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960290986576 139960850614113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32217] ppid=32084 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32217/stat : 32217 (java) R 32084 32091 30627 0 -1 4202560 169 12961 0 0 0 0 5 3 20 0 15 0 221433444 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960289925264 139960845463991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32218] ppid=32084 vsize=10982696 memory=140180713281152 CPUtime=0.09 cores=0,2,4,6
/proc/32091/task/32218/stat : 32218 (java) R 32084 32091 30627 0 -1 4202560 596 12961 0 0 1 0 5 3 20 0 15 0 221433444 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960288877336 139960844877396 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32220] ppid=32084 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32220/stat : 32220 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11246280704 8654 33554432000 4194304 4196468 140734487022688 139958757092448 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32222] ppid=32084 vsize=10982696 memory=140180713281152 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32222/stat : 32222 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433445 11246280704 8654 33554432000 4194304 4196468 140734487022688 139960287828272 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 34616 KiB
[startup+0.310609 s]*
/proc/loadavg: 1.79 1.97 2.03 4/222 32222
/proc/meminfo: memFree=18212088/32770624 swapFree=67108688/67108860
[pid=32091] ppid=32084 vsize=10983192 memory=50700 CPUtime=0.33 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32084 32091 30627 0 -1 1077944320 10094 12961 0 0 23 2 5 3 20 0 15 0 221433425 11246788608 12675 33554432000 4194304 4196468 140734487022688 140734487005232 139960866217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
/proc/32091/statm: 2745798 12675 3090 1 0 2708109 0
[pid=32091/tid=32195] ppid=32084 vsize=10983192 memory=7311146985107750967 CPUtime=0.24 cores=0,2,4,6
/proc/32091/task/32195/stat : 32195 (java) R 32084 32091 30627 0 -1 4202560 6533 12961 0 0 15 1 5 3 20 0 15 0 221433438 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960838038832 139960846493064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32197] ppid=32084 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32197/stat : 32197 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960870460176 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32198] ppid=32084 vsize=10983192 memory=3761127141396473081 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32198/stat : 32198 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960405822352 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32199] ppid=32084 vsize=10983192 memory=43757089588 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32199/stat : 32199 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960404769808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32200] ppid=32084 vsize=10983192 memory=3976735856566284341 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32200/stat : 32200 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960403717264 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32205] ppid=32084 vsize=10983192 memory=140224470371255 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32205/stat : 32205 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433441 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960292038640 139960866228866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32207] ppid=32084 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32207/stat : 32207 (java) S 32084 32091 30627 0 -1 1077944384 13 12961 0 0 0 0 5 3 20 0 15 0 221433441 11246788608 12675 33554432000 4194304 4196468 140734487022688 139959643136928 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32209] ppid=32084 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32209/stat : 32209 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433441 11246788608 12675 33554432000 4194304 4196468 140734487022688 139959495287792 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32214] ppid=32084 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32214/stat : 32214 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11246788608 12675 33554432000 4194304 4196468 140734487022688 139959187888336 139960866236315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32216] ppid=32084 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32091/task/32216/stat : 32216 (java) S 32084 32091 30627 0 -1 1077944384 487 12961 0 0 1 0 5 3 20 0 15 0 221433444 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960290986480 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32217] ppid=32084 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/32091/task/32217/stat : 32217 (java) S 32084 32091 30627 0 -1 1077944384 178 12961 0 0 1 0 5 3 20 0 15 0 221433444 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960289933936 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32218] ppid=32084 vsize=10983192 memory=140180713281152 CPUtime=0.12 cores=0,2,4,6
/proc/32091/task/32218/stat : 32218 (java) S 32084 32091 30627 0 -1 1077944384 670 12961 0 0 4 0 5 3 20 0 15 0 221433444 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960288881392 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32220] ppid=32084 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32220/stat : 32220 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11246788608 12675 33554432000 4194304 4196468 140734487022688 139958757092448 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32222] ppid=32084 vsize=10983192 memory=140180713281152 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32222/stat : 32222 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433445 11246788608 12675 33554432000 4194304 4196468 140734487022688 139960287828272 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 50700 KiB
[startup+0.700839 s]
/proc/loadavg: 1.79 1.97 2.03 4/222 32222
/proc/meminfo: memFree=18188600/32770624 swapFree=67108688/67108860
[pid=32091] ppid=32084 vsize=10983192 memory=84440 CPUtime=0.89 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32084 32091 30627 0 -1 1077944320 16810 12961 0 0 76 5 5 3 20 0 15 0 221433425 11246788608 21110 33554432000 4194304 4196468 140734487022688 140734487005232 139960866217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
/proc/32091/statm: 2745798 21110 3236 1 0 2708109 0
[pid=32091/tid=32195] ppid=32084 vsize=10983192 memory=1809590519297 CPUtime=0.6 cores=0,2,4,6
/proc/32091/task/32195/stat : 32195 (java) R 32084 32091 30627 0 -1 4202560 12319 12961 0 0 49 3 5 3 20 0 15 0 221433438 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960838038008 139960850298206 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32197] ppid=32084 vsize=10983192 memory=1938439538177 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32197/stat : 32197 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960870460176 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32198] ppid=32084 vsize=10983192 memory=3824 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32198/stat : 32198 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960405822352 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32199] ppid=32084 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32199/stat : 32199 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960404769808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32200] ppid=32084 vsize=10983192 memory=140180551922496 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32200/stat : 32200 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433439 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960403717264 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32205] ppid=32084 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32205/stat : 32205 (java) S 32084 32091 30627 0 -1 1077944384 6 12961 0 0 0 0 5 3 20 0 15 0 221433441 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960292038640 139960866228866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32207] ppid=32084 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32207/stat : 32207 (java) S 32084 32091 30627 0 -1 1077944384 13 12961 0 0 0 0 5 3 20 0 15 0 221433441 11246788608 21110 33554432000 4194304 4196468 140734487022688 139959643136928 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32209] ppid=32084 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32209/stat : 32209 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433441 11246788608 21110 33554432000 4194304 4196468 140734487022688 139959495287792 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32214] ppid=32084 vsize=10983192 memory=7809523229951467576 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32214/stat : 32214 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11246788608 21110 33554432000 4194304 4196468 140734487022688 139959187888336 139960866236315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32216] ppid=32084 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/32091/task/32216/stat : 32216 (java) S 32084 32091 30627 0 -1 1077944384 912 12961 0 0 6 0 5 3 20 0 15 0 221433444 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960290986480 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32217] ppid=32084 vsize=10983192 memory=-3472574513799858008 CPUtime=0.14 cores=0,2,4,6
/proc/32091/task/32217/stat : 32217 (java) S 32084 32091 30627 0 -1 1077944384 514 12961 0 0 6 0 5 3 20 0 15 0 221433444 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960289933936 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32218] ppid=32084 vsize=10983192 memory=6944656575208382560 CPUtime=0.21 cores=0,2,4,6
/proc/32091/task/32218/stat : 32218 (java) R 32084 32091 30627 0 -1 4202560 835 12961 0 0 13 0 5 3 20 0 15 0 221433444 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960288881392 139960844333712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32220] ppid=32084 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32220/stat : 32220 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11246788608 21110 33554432000 4194304 4196468 140734487022688 139958757092448 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32222] ppid=32084 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32222/stat : 32222 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433445 11246788608 21110 33554432000 4194304 4196468 140734487022688 139960287828272 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 84440 KiB
[startup+1.50067 s]
/proc/loadavg: 1.79 1.97 2.03 2/222 32222
/proc/meminfo: memFree=18109148/32770624 swapFree=67108688/67108860
[pid=32091] ppid=32084 vsize=10996044 memory=137644 CPUtime=1.97 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32084 32091 30627 0 -1 1077944320 22583 12961 0 0 181 8 5 3 20 0 15 0 221433425 11259949056 34411 33554432000 4194304 4196468 140734487022688 140734487005232 139960866217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
/proc/32091/statm: 2749011 34411 3441 1 0 2710669 0
[pid=32091/tid=32195] ppid=32084 vsize=10996044 memory=56 CPUtime=1.23 cores=0,2,4,6
/proc/32091/task/32195/stat : 32195 (java) R 32084 32091 30627 0 -1 4202560 16653 12961 0 0 109 6 5 3 20 0 15 0 221433438 11259949056 34411 33554432000 4194304 4196468 140734487022688 139960838026864 139960852383020 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32197] ppid=32084 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32197/stat : 32197 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433439 11259949056 34411 33554432000 4194304 4196468 140734487022688 139960870460176 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32198] ppid=32084 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32198/stat : 32198 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433439 11259949056 34411 33554432000 4194304 4196468 140734487022688 139960405822352 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32199] ppid=32084 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32199/stat : 32199 (java) S 32084 32091 30627 0 -1 1077944384 2 12961 0 0 0 0 5 3 20 0 15 0 221433439 11259949056 34411 33554432000 4194304 4196468 140734487022688 139960404769808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32200] ppid=32084 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32200/stat : 32200 (java) S 32084 32091 30627 0 -1 1077944384 1 12961 0 0 0 0 5 3 20 0 15 0 221433439 11259949056 34411 33554432000 4194304 4196468 140734487022688 139960403717264 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32205] ppid=32084 vsize=10996044 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32205/stat : 32205 (java) S 32084 32091 30627 0 -1 1077944384 6 12961 0 0 0 0 5 3 20 0 15 0 221433441 11259949056 34411 33554432000 4194304 4196468 140734487022688 139960292038640 139960866228866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32207] ppid=32084 vsize=10996044 memory=2110531159221956 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32207/stat : 32207 (java) S 32084 32091 30627 0 -1 1077944384 13 12961 0 0 0 0 5 3 20 0 15 0 221433441 11259949056 34411 33554432000 4194304 4196468 140734487022688 139959643136928 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32209] ppid=32084 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/32091/task/32195/stat : 32195 (java) R 32084 32091 30627 0 -1 4202560 81757 12961 1 0 237320 31 5 3 20 0 15 0 221433438 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960838051504 139960453225492 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32197] ppid=32084 vsize=11077984 memory=489968 CPUtime=5 cores=0,2,4,6
/proc/32091/task/32197/stat : 32197 (java) S 32084 32091 30627 0 -1 1077944384 7605 12961 0 0 459 33 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960870460176 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32198] ppid=32084 vsize=11077984 memory=1832 CPUtime=4.99 cores=0,2,4,6
/proc/32091/task/32198/stat : 32198 (java) S 32084 32091 30627 0 -1 1077944384 9436 12961 0 0 457 34 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960405822352 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32199] ppid=32084 vsize=11077984 memory=489968 CPUtime=4.99 cores=0,2,4,6
/proc/32091/task/32199/stat : 32199 (java) S 32084 32091 30627 0 -1 1077944384 9765 12961 0 0 454 37 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960404769808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32200] ppid=32084 vsize=11077984 memory=488816 CPUtime=5 cores=0,2,4,6
/proc/32091/task/32200/stat : 32200 (java) S 32084 32091 30627 0 -1 1077944384 8803 12961 0 0 457 35 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960403717264 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32205] ppid=32084 vsize=11077984 memory=0 CPUtime=2.26 cores=0,2,4,6
/proc/32091/task/32205/stat : 32205 (java) S 32084 32091 30627 0 -1 1077944384 10738 12961 0 0 201 17 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960292038640 139960866228866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32207] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32207/stat : 32207 (java) S 32084 32091 30627 0 -1 1077944384 27 12961 0 0 0 0 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959643137056 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32209] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32209/stat : 32209 (java) S 32084 32091 30627 0 -1 1077944384 4 12961 0 0 0 0 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959495287808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32214] ppid=32084 vsize=11077984 memory=60364 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32214/stat : 32214 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959187888336 139960866236315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32216] ppid=32084 vsize=11077984 memory=489968 CPUtime=4.24 cores=0,2,4,6
/proc/32091/task/32216/stat : 32216 (java) S 32084 32091 30627 0 -1 1077944384 25308 12961 0 0 413 3 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960290986480 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32217] ppid=32084 vsize=11077984 memory=489968 CPUtime=3.98 cores=0,2,4,6
/proc/32091/task/32217/stat : 32217 (java) S 32084 32091 30627 0 -1 1077944384 21250 12961 0 0 387 3 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960289933936 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32218] ppid=32084 vsize=11077984 memory=489968 CPUtime=1.84 cores=0,2,4,6
/proc/32091/task/32218/stat : 32218 (java) S 32084 32091 30627 0 -1 1077944384 16698 12961 0 0 172 4 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960288881392 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32220] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32220/stat : 32220 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139958757092448 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32222] ppid=32084 vsize=11077984 memory=508 CPUtime=1.44 cores=0,2,4,6
/proc/32091/task/32222/stat : 32222 (java) S 32084 32091 30627 0 -1 1077944384 1008 12961 0 0 70 66 5 3 20 0 15 0 221433445 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960287828272 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
Current children cumulated CPU time: 2406.7 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 489968 KiB
[startup+2442.3 s]
/proc/loadavg: 2.55 1.71 1.57 4/221 32330
/proc/meminfo: memFree=17299128/32770624 swapFree=67108688/67108860
[pid=32091] ppid=32084 vsize=11077984 memory=489968 CPUtime=2467.11 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32084 32091 30627 0 -1 1077944320 195456 12961 1 0 246465 238 5 3 20 0 15 0 221433425 11343855616 122492 33554432000 4194304 4196468 140734487022688 140734487005232 139960866217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
/proc/32091/statm: 2769496 122492 3524 1 0 2731149 0
[pid=32091/tid=32195] ppid=32084 vsize=11077984 memory=489968 CPUtime=2433.36 cores=0,2,4,6
/proc/32091/task/32195/stat : 32195 (java) R 32084 32091 30627 0 -1 4202560 82108 12961 1 0 243297 31 5 3 20 0 15 0 221433438 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960838052160 139960451867686 0 4 0 16800975 0 0 0 -1 2 0 0 31 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32197] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.13 cores=0,2,4,6
/proc/32091/task/32197/stat : 32197 (java) S 32084 32091 30627 0 -1 1077944384 7614 12961 0 0 472 33 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960870460176 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32198] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.12 cores=0,2,4,6
/proc/32091/task/32198/stat : 32198 (java) S 32084 32091 30627 0 -1 1077944384 9574 12961 0 0 470 34 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960405822352 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32199] ppid=32084 vsize=11077984 memory=488816 CPUtime=5.12 cores=0,2,4,6
/proc/32091/task/32199/stat : 32199 (java) S 32084 32091 30627 0 -1 1077944384 9864 12961 0 0 467 37 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960404769808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32200] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.14 cores=0,2,4,6
/proc/32091/task/32200/stat : 32200 (java) S 32084 32091 30627 0 -1 1077944384 8889 12961 0 0 470 36 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960403717264 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32205] ppid=32084 vsize=11077984 memory=0 CPUtime=2.32 cores=0,2,4,6
/proc/32091/task/32205/stat : 32205 (java) S 32084 32091 30627 0 -1 1077944384 10874 12961 0 0 207 17 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960292038640 139960866228866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32207] ppid=32084 vsize=11077984 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32207/stat : 32207 (java) S 32084 32091 30627 0 -1 1077944384 27 12961 0 0 0 0 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959643137056 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32209] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32209/stat : 32209 (java) S 32084 32091 30627 0 -1 1077944384 4 12961 0 0 0 0 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959495287808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32214] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32214/stat : 32214 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959187888336 139960866236315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32216] ppid=32084 vsize=11077984 memory=489968 CPUtime=4.24 cores=0,2,4,6
/proc/32091/task/32216/stat : 32216 (java) S 32084 32091 30627 0 -1 1077944384 25310 12961 0 0 413 3 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960290986480 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32217] ppid=32084 vsize=11077984 memory=489968 CPUtime=3.98 cores=0,2,4,6
/proc/32091/task/32217/stat : 32217 (java) S 32084 32091 30627 0 -1 1077944384 21252 12961 0 0 387 3 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960289933936 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32218] ppid=32084 vsize=11077984 memory=489968 CPUtime=1.84 cores=0,2,4,6
/proc/32091/task/32218/stat : 32218 (java) S 32084 32091 30627 0 -1 1077944384 16700 12961 0 0 172 4 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960288881392 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32220] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32220/stat : 32220 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139958757092448 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32222] ppid=32084 vsize=11077984 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/32091/task/32222/stat : 32222 (java) S 32084 32091 30627 0 -1 1077944384 1037 12961 0 0 72 67 5 3 20 0 15 0 221433445 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960287828272 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
Current children cumulated CPU time: 2467.11 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 489968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.9 s]
/proc/loadavg: 2.03 1.71 1.58 4/220 32331
/proc/meminfo: memFree=17299708/32770624 swapFree=67108688/67108860
[pid=32091] ppid=32084 vsize=11077984 memory=489968 CPUtime=2520.05 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32084 32091 30627 0 -1 1077944320 196583 12961 1 0 251756 241 5 3 20 0 15 0 221433425 11343855616 122492 33554432000 4194304 4196468 140734487022688 140734487005232 139960866217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
/proc/32091/statm: 2769496 122492 3524 1 0 2731149 0
[pid=32091/tid=32195] ppid=32084 vsize=11077984 memory=489968 CPUtime=2485.77 cores=0,2,4,6
/proc/32091/task/32195/stat : 32195 (java) R 32084 32091 30627 0 -1 4202560 82452 12961 1 0 248537 32 5 3 20 0 15 0 221433438 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960838051392 139960453225145 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32197] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.24 cores=0,2,4,6
/proc/32091/task/32197/stat : 32197 (java) S 32084 32091 30627 0 -1 1077944384 7710 12961 0 0 483 33 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960870460176 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32198] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.25 cores=0,2,4,6
/proc/32091/task/32198/stat : 32198 (java) S 32084 32091 30627 0 -1 1077944384 9596 12961 0 0 482 35 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960405822352 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32199] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.24 cores=0,2,4,6
/proc/32091/task/32199/stat : 32199 (java) S 32084 32091 30627 0 -1 1077944384 10011 12961 0 0 479 37 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960404769808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32200] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.25 cores=0,2,4,6
/proc/32091/task/32200/stat : 32200 (java) S 32084 32091 30627 0 -1 1077944384 9233 12961 0 0 481 36 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960403717264 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32205] ppid=32084 vsize=11077984 memory=489968 CPUtime=2.37 cores=0,2,4,6
/proc/32091/task/32205/stat : 32205 (java) S 32084 32091 30627 0 -1 1077944384 11024 12961 0 0 212 17 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960292038640 139960866228866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32207] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32207/stat : 32207 (java) S 32084 32091 30627 0 -1 1077944384 27 12961 0 0 0 0 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959643137056 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32209] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32209/stat : 32209 (java) S 32084 32091 30627 0 -1 1077944384 4 12961 0 0 0 0 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959495287808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32214] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32214/stat : 32214 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959187888336 139960866236315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32216] ppid=32084 vsize=11077984 memory=3824 CPUtime=4.24 cores=0,2,4,6
/proc/32091/task/32216/stat : 32216 (java) S 32084 32091 30627 0 -1 1077944384 25312 12961 0 0 413 3 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960290986480 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32217] ppid=32084 vsize=11077984 memory=489968 CPUtime=3.98 cores=0,2,4,6
/proc/32091/task/32217/stat : 32217 (java) S 32084 32091 30627 0 -1 1077944384 21254 12961 0 0 387 3 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960289933936 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32218] ppid=32084 vsize=11077984 memory=489968 CPUtime=1.84 cores=0,2,4,6
/proc/32091/task/32218/stat : 32218 (java) S 32084 32091 30627 0 -1 1077944384 16702 12961 0 0 172 4 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960288881392 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32220] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32220/stat : 32220 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139958757092448 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32222] ppid=32084 vsize=11077984 memory=3824 CPUtime=1.5 cores=0,2,4,6
/proc/32091/task/32222/stat : 32222 (java) S 32084 32091 30627 0 -1 1077944384 1055 12961 0 0 73 69 5 3 20 0 15 0 221433445 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960287828272 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 489968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.93 s]
# the end of solver process 32091 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.64 s, system=2.4597 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.9 s]
/proc/loadavg: 2.03 1.71 1.58 4/220 32331
/proc/meminfo: memFree=17299708/32770624 swapFree=67108688/67108860
[pid=32091] ppid=32084 vsize=11077984 memory=489968 CPUtime=2520.05 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32084 32091 30627 0 -1 1077944320 196583 12961 1 0 251756 241 5 3 20 0 15 0 221433425 11343855616 122492 33554432000 4194304 4196468 140734487022688 140734487005232 139960866217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
/proc/32091/statm: 2769496 122492 3524 1 0 2731149 0
[pid=32091/tid=32195] ppid=32084 vsize=11077984 memory=489968 CPUtime=2485.77 cores=0,2,4,6
/proc/32091/task/32195/stat : 32195 (java) R 32084 32091 30627 0 -1 4202560 82452 12961 1 0 248537 32 5 3 20 0 15 0 221433438 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960838051392 139960453225145 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32197] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.24 cores=0,2,4,6
/proc/32091/task/32197/stat : 32197 (java) S 32084 32091 30627 0 -1 1077944384 7710 12961 0 0 483 33 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960870460176 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32198] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.25 cores=0,2,4,6
/proc/32091/task/32198/stat : 32198 (java) S 32084 32091 30627 0 -1 1077944384 9596 12961 0 0 482 35 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960405822352 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32199] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.24 cores=0,2,4,6
/proc/32091/task/32199/stat : 32199 (java) S 32084 32091 30627 0 -1 1077944384 10011 12961 0 0 479 37 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960404769808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32200] ppid=32084 vsize=11077984 memory=489968 CPUtime=5.25 cores=0,2,4,6
/proc/32091/task/32200/stat : 32200 (java) S 32084 32091 30627 0 -1 1077944384 9233 12961 0 0 481 36 5 3 20 0 15 0 221433439 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960403717264 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32205] ppid=32084 vsize=11077984 memory=489968 CPUtime=2.37 cores=0,2,4,6
/proc/32091/task/32205/stat : 32205 (java) S 32084 32091 30627 0 -1 1077944384 11024 12961 0 0 212 17 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960292038640 139960866228866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32207] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32207/stat : 32207 (java) S 32084 32091 30627 0 -1 1077944384 27 12961 0 0 0 0 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959643137056 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32209] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32209/stat : 32209 (java) S 32084 32091 30627 0 -1 1077944384 4 12961 0 0 0 0 5 3 20 0 15 0 221433441 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959495287808 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32214] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32214/stat : 32214 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139959187888336 139960866236315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32216] ppid=32084 vsize=11077984 memory=3824 CPUtime=4.24 cores=0,2,4,6
/proc/32091/task/32216/stat : 32216 (java) S 32084 32091 30627 0 -1 1077944384 25312 12961 0 0 413 3 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960290986480 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32217] ppid=32084 vsize=11077984 memory=489968 CPUtime=3.98 cores=0,2,4,6
/proc/32091/task/32217/stat : 32217 (java) S 32084 32091 30627 0 -1 1077944384 21254 12961 0 0 387 3 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960289933936 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32218] ppid=32084 vsize=11077984 memory=489968 CPUtime=1.84 cores=0,2,4,6
/proc/32091/task/32218/stat : 32218 (java) S 32084 32091 30627 0 -1 1077944384 16702 12961 0 0 172 4 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960288881392 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32220] ppid=32084 vsize=11077984 memory=489968 CPUtime=0.08 cores=0,2,4,6
/proc/32091/task/32220/stat : 32220 (java) S 32084 32091 30627 0 -1 1077944384 3 12961 0 0 0 0 5 3 20 0 15 0 221433444 11343855616 122492 33554432000 4194304 4196468 140734487022688 139958757092448 139960866227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
[pid=32091/tid=32222] ppid=32084 vsize=11077984 memory=3824 CPUtime=1.5 cores=0,2,4,6
/proc/32091/task/32222/stat : 32222 (java) S 32084 32091 30627 0 -1 1077944384 1055 12961 0 0 73 69 5 3 20 0 15 0 221433445 11343855616 122492 33554432000 4194304 4196468 140734487022688 139960287828272 139960866228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140734487030373 140734487033180 140734487033180 140734487035855 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 489968 KiB
Child status: 143
Real time (s): 2494.93
CPU time (s): 2520.1
CPU user time (s): 2517.64
CPU system time (s): 2.4597
CPU usage (%): 101.009
Max. virtual memory (cumulated for all children) (KiB): 11078644
Max. memory (cumulated for all children) (KiB): 1495540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.64
system time used= 2.4597
maximum resident set size= 1507840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210470
page faults= 1
swaps= 0
block input operations= 1376
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106528
involuntary context switches= 5558
# summary of solver processes directly reported to runsolver:
# pid: 32091
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.64
# total CPU system time (s): 2.4597
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.466 second user time and 23.9739 second system time
The end