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 (12231 MiB free)
memory of node 1: 16384 MiB (14216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293461-1532315723/watcher-4293461-1532315723 -o /tmp/evaluation-result-4293461-1532315723/solver-4293461-1532315723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3500 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1618696811 -superng HOME/instance-4293461-1532315723.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=7505, runsolver pid=7502
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 1.50 1.33 1.42 3/206 7562
/proc/meminfo: memFree=27076256/32770624 swapFree=67108860/67108860
[pid=7505] ppid=7502 vsize=9972712 memory=15172 CPUtime=0.08 cores=1,3,5,7
/proc/7505/stat : 7505 (java) S 7502 7505 3468 0 -1 1077944320 4446 13202 0 0 1 0 4 3 20 0 6 0 49135535 10212057088 3793 33554432000 4194304 4196468 140737198141680 140737198124224 140512603107063 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
/proc/7505/statm: 2493178 3793 1934 1 0 2481616 0
[pid=7505/tid=7558] ppid=7502 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/7505/task/7558/stat : 7558 (java) R 7502 7505 3468 0 -1 4202560 2304 13202 0 0 1 0 4 3 20 0 6 0 49135543 10212057088 3859 33554432000 4194304 4196468 140737198141680 140512574943824 140512588419065 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7559] ppid=7502 vsize=9972712 memory=5793855970308032953 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7559/stat : 7559 (java) S 7502 7505 3468 0 -1 1077944384 2 13202 0 0 0 0 4 3 20 0 6 0 49135544 10212057088 3859 33554432000 4194304 4196468 140737198141680 140512607349776 140512603117269 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7560] ppid=7502 vsize=9972712 memory=140719298139776 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7560/stat : 7560 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 6 0 49135544 10212057088 3859 33554432000 4194304 4196468 140737198141680 140512541392016 140512603117269 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7561] ppid=7502 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7561/stat : 7561 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 6 0 49135544 10212057088 3859 33554432000 4194304 4196468 140737198141680 140512174902032 140512603117269 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7562] ppid=7502 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7562/stat : 7562 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 6 0 49135544 10212057088 3859 33554432000 4194304 4196468 140737198141680 140512173849488 140512603117269 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15172 KiB
[startup+0.209869 s]*
/proc/loadavg: 1.50 1.33 1.42 3/215 7571
/proc/meminfo: memFree=27055364/32770624 swapFree=67108860/67108860
[pid=7505] ppid=7502 vsize=10818936 memory=44684 CPUtime=0.25 cores=1,3,5,7
/proc/7505/stat : 7505 (java) S 7502 7505 3468 0 -1 1077944320 9528 13202 0 0 16 2 4 3 20 0 15 0 49135535 11078590464 11171 33554432000 4194304 4196468 140737198141680 140737198124224 140512603107063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
/proc/7505/statm: 2704734 11171 2967 1 0 2667157 0
[pid=7505/tid=7558] ppid=7502 vsize=10818936 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/7505/task/7558/stat : 7558 (java) R 7502 7505 3468 0 -1 4202560 6296 13202 0 0 10 1 4 3 20 0 15 0 49135543 11078590464 11356 33554432000 4194304 4196468 140737198141680 140512574931872 140512595786781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7559] ppid=7502 vsize=10818936 memory=4211974445502930314 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7559/stat : 7559 (java) S 7502 7505 3468 0 -1 1077944384 2 13202 0 0 0 0 4 3 20 0 15 0 49135544 11078590464 11356 33554432000 4194304 4196468 140737198141680 140512607349776 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7560] ppid=7502 vsize=10818936 memory=140719298139776 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7560/stat : 7560 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11078590464 11356 33554432000 4194304 4196468 140737198141680 140512541392016 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7561] ppid=7502 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7561/stat : 7561 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11078590464 11356 33554432000 4194304 4196468 140737198141680 140512174902032 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7562] ppid=7502 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7562/stat : 7562 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11078590464 11356 33554432000 4194304 4196468 140737198141680 140512173849488 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7563] ppid=7502 vsize=10818936 memory=140719298139776 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7563/stat : 7563 (java) S 7502 7505 3468 0 -1 1077944384 2 13202 0 0 0 0 4 3 20 0 15 0 49135546 11078590464 11356 33554432000 4194304 4196468 140737198141680 140511874951408 140512603118210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7564] ppid=7502 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7564/stat : 7564 (java) S 7502 7505 3468 0 -1 1077944384 13 13202 0 0 0 0 4 3 20 0 15 0 49135546 11078590464 11356 33554432000 4194304 4196468 140737198141680 140511667020960 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7565] ppid=7502 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7565/stat : 7565 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135546 11078590464 11356 33554432000 4194304 4196468 140737198141680 140511398585072 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7566] ppid=7502 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7566/stat : 7566 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11078590464 11356 33554432000 4194304 4196468 140737198141680 140511158294480 140512603125659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7567] ppid=7502 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7505/task/7567/stat : 7567 (java) S 7502 7505 3468 0 -1 1077944384 510 13202 0 0 1 0 4 3 20 0 15 0 49135549 11078590464 11356 33554432000 4194304 4196468 140737198141680 140511873899248 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7568] ppid=7502 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7505/task/7568/stat : 7568 (java) S 7502 7505 3468 0 -1 1077944384 93 13202 0 0 1 0 4 3 20 0 15 0 49135549 11078590464 11356 33554432000 4194304 4196468 140737198141680 140511872846704 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7569] ppid=7502 vsize=10818936 memory=140719298139776 CPUtime=0.1 cores=1,3,5,7
/proc/7505/task/7569/stat : 7569 (java) S 7502 7505 3468 0 -1 1077944384 617 13202 0 0 3 0 4 3 20 0 15 0 49135549 11078590464 11356 33554432000 4194304 4196468 140737198141680 140511871793648 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7570] ppid=7502 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7570/stat : 7570 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11078557696 11356 33554432000 4194304 4196468 140737198141680 140511124736864 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7571] ppid=7502 vsize=10818904 memory=140719298139776 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7571/stat : 7571 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135549 11078557696 11356 33554432000 4194304 4196468 140737198141680 140511870741040 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 44684 KiB
[startup+0.310396 s]*
/proc/loadavg: 1.50 1.33 1.42 3/215 7571
/proc/meminfo: memFree=27041224/32770624 swapFree=67108860/67108860
[pid=7505] ppid=7502 vsize=10819352 memory=53316 CPUtime=0.38 cores=1,3,5,7
/proc/7505/stat : 7505 (java) S 7502 7505 3468 0 -1 1077944320 10965 13202 0 0 28 3 4 3 20 0 15 0 49135535 11079016448 13329 33554432000 4194304 4196468 140737198141680 140737198124224 140512603107063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
/proc/7505/statm: 2704838 13329 3086 1 0 2667149 0
[pid=7505/tid=7558] ppid=7502 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/7505/task/7558/stat : 7558 (java) R 7502 7505 3468 0 -1 4202560 7492 13202 0 0 19 2 4 3 20 0 15 0 49135543 11079016448 13329 33554432000 4194304 4196468 140737198141680 140512574919072 140512587187550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7559] ppid=7502 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7559/stat : 7559 (java) S 7502 7505 3468 0 -1 1077944384 2 13202 0 0 0 0 4 3 20 0 15 0 49135544 11079016448 13329 33554432000 4194304 4196468 140737198141680 140512607349776 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7560] ppid=7502 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7560/stat : 7560 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11079016448 13329 33554432000 4194304 4196468 140737198141680 140512541392016 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7561] ppid=7502 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7561/stat : 7561 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11079016448 13329 33554432000 4194304 4196468 140737198141680 140512174902032 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7562] ppid=7502 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7562/stat : 7562 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11079016448 13329 33554432000 4194304 4196468 140737198141680 140512173849488 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7563] ppid=7502 vsize=10819352 memory=140719298139775 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7563/stat : 7563 (java) S 7502 7505 3468 0 -1 1077944384 2 13202 0 0 0 0 4 3 20 0 15 0 49135546 11079016448 13329 33554432000 4194304 4196468 140737198141680 140511874951408 140512603118210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7564] ppid=7502 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7564/stat : 7564 (java) S 7502 7505 3468 0 -1 1077944384 13 13202 0 0 0 0 4 3 20 0 15 0 49135546 11079016448 13329 33554432000 4194304 4196468 140737198141680 140511667020960 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7565] ppid=7502 vsize=10819352 memory=140719298139776 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7565/stat : 7565 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135546 11079016448 13329 33554432000 4194304 4196468 140737198141680 140511398585072 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7566] ppid=7502 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7566/stat : 7566 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11079016448 13329 33554432000 4194304 4196468 140737198141680 140511158294480 140512603125659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7567] ppid=7502 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7505/task/7567/stat : 7567 (java) S 7502 7505 3468 0 -1 1077944384 510 13202 0 0 1 0 4 3 20 0 15 0 49135549 11079016448 13329 33554432000 4194304 4196468 140737198141680 140511873899248 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7568] ppid=7502 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7505/task/7568/stat : 7568 (java) S 7502 7505 3468 0 -1 1077944384 104 13202 0 0 1 0 4 3 20 0 15 0 49135549 11079016448 13329 33554432000 4194304 4196468 140737198141680 140511872846704 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7569] ppid=7502 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7505/task/7569/stat : 7569 (java) S 7502 7505 3468 0 -1 1077944384 651 13202 0 0 5 0 4 3 20 0 15 0 49135549 11079016448 13329 33554432000 4194304 4196468 140737198141680 140511871793648 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7570] ppid=7502 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7570/stat : 7570 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11079016448 13329 33554432000 4194304 4196468 140737198141680 140511124736864 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7571] ppid=7502 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7571/stat : 7571 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135549 11079016448 13329 33554432000 4194304 4196468 140737198141680 140511870741040 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53316 KiB
[startup+0.700792 s]
/proc/loadavg: 1.50 1.33 1.42 3/215 7571
/proc/meminfo: memFree=27009084/32770624 swapFree=67108860/67108860
[pid=7505] ppid=7502 vsize=10819352 memory=86344 CPUtime=0.98 cores=1,3,5,7
/proc/7505/stat : 7505 (java) S 7502 7505 3468 0 -1 1077944320 17169 13202 0 0 87 4 4 3 20 0 15 0 49135535 11079016448 21586 33554432000 4194304 4196468 140737198141680 140737198124224 140512603107063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
/proc/7505/statm: 2704838 21586 3240 1 0 2667149 0
[pid=7505/tid=7558] ppid=7502 vsize=10819352 memory=16248 CPUtime=0.66 cores=1,3,5,7
/proc/7505/task/7558/stat : 7558 (java) R 7502 7505 3468 0 -1 4202560 12504 13202 0 0 56 3 4 3 20 0 15 0 49135543 11079016448 21586 33554432000 4194304 4196468 140737198141680 140512574927888 140512603120912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7559] ppid=7502 vsize=10819352 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7559/stat : 7559 (java) S 7502 7505 3468 0 -1 1077944384 2 13202 0 0 0 0 4 3 20 0 15 0 49135544 11079016448 21586 33554432000 4194304 4196468 140737198141680 140512607349776 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7560] ppid=7502 vsize=10819352 memory=140719167939074 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7560/stat : 7560 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11079016448 21586 33554432000 4194304 4196468 140737198141680 140512541392016 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7561] ppid=7502 vsize=10819352 memory=140720308487038 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7561/stat : 7561 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11079016448 21586 33554432000 4194304 4196468 140737198141680 140512174902032 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7562] ppid=7502 vsize=10819352 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7562/stat : 7562 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11079016448 21586 33554432000 4194304 4196468 140737198141680 140512173849488 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7563] ppid=7502 vsize=10819352 memory=7157735280180091217 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7563/stat : 7563 (java) S 7502 7505 3468 0 -1 1077944384 5 13202 0 0 0 0 4 3 20 0 15 0 49135546 11079016448 21586 33554432000 4194304 4196468 140737198141680 140511874951408 140512603118210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7564] ppid=7502 vsize=10819352 memory=7597685182856913236 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7564/stat : 7564 (java) S 7502 7505 3468 0 -1 1077944384 13 13202 0 0 0 0 4 3 20 0 15 0 49135546 11079016448 21586 33554432000 4194304 4196468 140737198141680 140511667020960 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7565] ppid=7502 vsize=10819352 memory=5788647689011156329 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7565/stat : 7565 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135546 11079016448 21586 33554432000 4194304 4196468 140737198141680 140511398585072 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7566] ppid=7502 vsize=10819352 memory=3054156605368933524 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7566/stat : 7566 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11079016448 21586 33554432000 4194304 4196468 140737198141680 140511158294480 140512603125659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7567] ppid=7502 vsize=10819352 memory=8326441112149131693 CPUtime=0.16 cores=1,3,5,7
/proc/7505/task/7567/stat : 7567 (java) S 7502 7505 3468 0 -1 1077944384 1126 13202 0 0 9 0 4 3 20 0 15 0 49135549 11079016448 21586 33554432000 4194304 4196468 140737198141680 140511873899248 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7568] ppid=7502 vsize=10819352 memory=7679937539659563834 CPUtime=0.14 cores=1,3,5,7
/proc/7505/task/7568/stat : 7568 (java) S 7502 7505 3468 0 -1 1077944384 515 13202 0 0 7 0 4 3 20 0 15 0 49135549 11079016448 21586 33554432000 4194304 4196468 140737198141680 140511872846704 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7569] ppid=7502 vsize=10819352 memory=6944656425123485561 CPUtime=0.19 cores=1,3,5,7
/proc/7505/task/7569/stat : 7569 (java) S 7502 7505 3468 0 -1 1077944384 807 13202 0 0 12 0 4 3 20 0 15 0 49135549 11079016448 21586 33554432000 4194304 4196468 140737198141680 140511871793648 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7570] ppid=7502 vsize=10819352 memory=-9178176116494409632 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7570/stat : 7570 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11079016448 21586 33554432000 4194304 4196468 140737198141680 140511124736864 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7571] ppid=7502 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7571/stat : 7571 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135549 11079016448 21586 33554432000 4194304 4196468 140737198141680 140511870741040 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86344 KiB
[startup+1.50075 s]
/proc/loadavg: 1.50 1.33 1.42 5/215 7571
/proc/meminfo: memFree=26795188/32770624 swapFree=67108860/67108860
[pid=7505] ppid=7502 vsize=10830156 memory=228996 CPUtime=3.11 cores=1,3,5,7
/proc/7505/stat : 7505 (java) S 7502 7505 3468 0 -1 1077944320 23916 13202 0 0 295 9 4 3 20 0 15 0 49135535 11090079744 57249 33554432000 4194304 4196468 140737198141680 140737198124224 140512603107063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
/proc/7505/statm: 2707539 57249 3471 1 0 2669197 0
[pid=7505/tid=7558] ppid=7502 vsize=10830156 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/7505/task/7558/stat : 7558 (java) R 7502 7505 3468 0 -1 4202560 15514 13202 0 0 131 5 4 3 20 0 15 0 49135543 11090079744 57249 33554432000 4194304 4196468 140737198141680 140512574939600 140512587187550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7559] ppid=7502 vsize=10830156 memory=101756 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7559/stat : 7559 (java) S 7502 7505 3468 0 -1 1077944384 63 13202 0 0 0 0 4 3 20 0 15 0 49135544 11090079744 57249 33554432000 4194304 4196468 140737198141680 140512607349776 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7560] ppid=7502 vsize=10830156 memory=5790086053191909267 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7560/stat : 7560 (java) S 7502 7505 3468 0 -1 1077944384 268 13202 0 0 0 0 4 3 20 0 15 0 49135544 11090079744 57249 33554432000 4194304 4196468 140737198141680 140512541392016 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7561] ppid=7502 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7561/stat : 7561 (java) S 7502 7505 3468 0 -1 1077944384 76 13202 0 0 0 0 4 3 20 0 15 0 49135544 11090079744 57249 33554432000 4194304 4196468 140737198141680 140512174902032 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7562] ppid=7502 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7562/stat : 7562 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135544 11090079744 57249 33554432000 4194304 4196468 140737198141680 140512173849488 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7563] ppid=7502 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7563/stat : 7563 (java) S 7502 7505 3468 0 -1 1077944384 87 13202 0 0 0 0 4 3 20 0 15 0 49135546 11090079744 57249 33554432000 4194304 4196468 140737198141680 140511874951408 140512603118210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7564] ppid=7502 vsize=10830156 memory=-6221781267475802396 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7564/stat : 7564 (java) S 7502 7505 3468 0 -1 1077944384 13 13202 0 0 0 0 4 3 20 0 15 0 49135546 11090079744 57249 33554432000 4194304 4196468 140737198141680 140511667020960 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7565] ppid=7502 vsize=10830156 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7565/stat : 7565 (java) S 7502 7505 3468 0 -1 1077944384 2 13202 0 0 0 0 4 3 20 0 15 0 49135546 11090079744 57249 33554432000 4194304 4196468 140737198141680 140511398585072 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7566] ppid=7502 vsize=10830156 memory=2204 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7566/stat : 7566 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11090079744 57249 33554432000 4194304 4196468 140737198141680 140511158294480 140512603125659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7567] ppid=7502 vsize=10830156 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/7505/task/7567/stat : 7567 (java) R 7502 7505 3468 0 -1 4202560 2216 13202 0 0 56 0 4 3 20 0 15 0 49135549 11090079744 57249 33554432000 4194304 4196468 140737198141680 140511873880976 140512581124075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7568] ppid=7502 vsize=10830156 memory=173202005349290 CPUtime=0.58 cores=1,3,5,7
/proc/7505/task/7568/stat : 7568 (java) R 7502 7505 3468 0 -1 4202560 1469 13202 0 0 51 0 4 3 20 0 15 0 49135549 11090079744 57249 33554432000 4194304 4196468 140737198141680 140511872828784 140512587530133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7569] ppid=7502 vsize=10830156 memory=266545 CPUtime=0.61 cores=1,3,5,7
/proc/7505/task/7569/stat : 7569 (java) S 7502 7505 3468 0 -1 1077944384 2014 13202 0 0 53 1 4 3 20 0 15 0 49135549 11090079744 57249 33554432000 4194304 4196468 140737198141680 140511871793648 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7570] ppid=7502 vsize=10830156 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7570/stat : 7570 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11090079744 57249 33554432000 4194304 4196468 140737198141680 140511124736864 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7571] ppid=7502 vsize=10830156 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7571/stat : 7571 (java) S 7502 7505 3468 0 -1 1077944384 1 13202 0 0 0 0 4 3 20 0 15 0 49135549 11090079744 57249 33554432000 4194304 4196468 140737198141680 140511870741040 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/7505/task/7558/stat : 7558 (java) R 7502 7505 3468 0 -1 4202560 530320 13202 0 0 237227 92 4 3 20 0 15 0 49135543 11178180608 781411 33554432000 4194304 4196468 140737198141680 140512574939872 140512215745699 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7559] ppid=7502 vsize=10916192 memory=3126604 CPUtime=6.34 cores=1,3,5,7
/proc/7505/task/7559/stat : 7559 (java) S 7502 7505 3468 0 -1 1077944384 23589 13202 0 0 605 22 4 3 20 0 15 0 49135544 11178180608 781411 33554432000 4194304 4196468 140737198141680 140512607349776 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7560] ppid=7502 vsize=10916192 memory=3125644 CPUtime=6.35 cores=1,3,5,7
/proc/7505/task/7560/stat : 7560 (java) S 7502 7505 3468 0 -1 1077944384 25111 13202 0 0 605 23 4 3 20 0 15 0 49135544 11178180608 781411 33554432000 4194304 4196468 140737198141680 140512541392016 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7561] ppid=7502 vsize=10916192 memory=3125644 CPUtime=6.33 cores=1,3,5,7
/proc/7505/task/7561/stat : 7561 (java) S 7502 7505 3468 0 -1 1077944384 23417 13202 0 0 605 21 4 3 20 0 15 0 49135544 11178180608 781411 33554432000 4194304 4196468 140737198141680 140512174902032 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7562] ppid=7502 vsize=10916192 memory=3125644 CPUtime=6.34 cores=1,3,5,7
/proc/7505/task/7562/stat : 7562 (java) S 7502 7505 3468 0 -1 1077944384 33312 13202 0 0 604 23 4 3 20 0 15 0 49135544 11178180608 781411 33554432000 4194304 4196468 140737198141680 140512173849488 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7563] ppid=7502 vsize=10916192 memory=3126608 CPUtime=1.81 cores=1,3,5,7
/proc/7505/task/7563/stat : 7563 (java) S 7502 7505 3468 0 -1 1077944384 33930 13202 0 0 149 25 4 3 20 0 15 0 49135546 11178180608 781411 33554432000 4194304 4196468 140737198141680 140511874951408 140512603118210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7564] ppid=7502 vsize=10916192 memory=32517197405651 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7564/stat : 7564 (java) S 7502 7505 3468 0 -1 1077944384 26 13202 0 0 0 0 4 3 20 0 15 0 49135546 11178180608 781411 33554432000 4194304 4196468 140737198141680 140511667021024 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7565] ppid=7502 vsize=10916192 memory=3125644 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7565/stat : 7565 (java) S 7502 7505 3468 0 -1 1077944384 11 13202 0 0 0 0 4 3 20 0 15 0 49135546 11178180608 781411 33554432000 4194304 4196468 140737198141680 140511398585088 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7566] ppid=7502 vsize=10916192 memory=3125644 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7566/stat : 7566 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11178180608 781411 33554432000 4194304 4196468 140737198141680 140511158294480 140512603125659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7567] ppid=7502 vsize=10916192 memory=3125644 CPUtime=9.1 cores=1,3,5,7
/proc/7505/task/7567/stat : 7567 (java) S 7502 7505 3468 0 -1 1077944384 52734 13202 0 0 894 9 4 3 20 0 15 0 49135549 11178180608 781411 33554432000 4194304 4196468 140737198141680 140511873899248 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7568] ppid=7502 vsize=10916192 memory=3125644 CPUtime=8.99 cores=1,3,5,7
/proc/7505/task/7568/stat : 7568 (java) S 7502 7505 3468 0 -1 1077944384 55135 13202 0 0 886 6 4 3 20 0 15 0 49135549 11178180608 781411 33554432000 4194304 4196468 140737198141680 140511872846704 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7569] ppid=7502 vsize=10916192 memory=3125644 CPUtime=3.08 cores=1,3,5,7
/proc/7505/task/7569/stat : 7569 (java) S 7502 7505 3468 0 -1 1077944384 43860 13202 0 0 295 6 4 3 20 0 15 0 49135549 11178180608 781411 33554432000 4194304 4196468 140737198141680 140511871793648 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7570] ppid=7502 vsize=10916192 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7570/stat : 7570 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11178180608 781411 33554432000 4194304 4196468 140737198141680 140511124736864 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7571] ppid=7502 vsize=10916192 memory=932 CPUtime=1.47 cores=1,3,5,7
/proc/7505/task/7571/stat : 7571 (java) S 7502 7505 3468 0 -1 1077944384 2324 13202 0 0 64 76 4 3 20 0 15 0 49135549 11178180608 781411 33554432000 4194304 4196468 140737198141680 140511870741040 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
Current children cumulated CPU time: 2422.56 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3125644 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.71 1.68 3/215 7646
/proc/meminfo: memFree=22854980/32770624 swapFree=67108860/67108860
[pid=7505] ppid=7502 vsize=10916192 memory=3125656 CPUtime=2482.72 cores=1,3,5,7
/proc/7505/stat : 7505 (java) S 7502 7505 3468 0 -1 1077944320 844336 13202 0 0 247977 288 4 3 20 0 15 0 49135535 11178180608 781414 33554432000 4194304 4196468 140737198141680 140737198124224 140512603107063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
/proc/7505/statm: 2729048 781414 3544 1 0 2690701 0
[pid=7505/tid=7558] ppid=7502 vsize=10916192 memory=3125648 CPUtime=2433.21 cores=1,3,5,7
/proc/7505/task/7558/stat : 7558 (java) R 7502 7505 3468 0 -1 4202560 545788 13202 0 0 243221 93 4 3 20 0 15 0 49135543 11178180608 781414 33554432000 4194304 4196468 140737198141680 140512574940352 140512228307362 0 4 0 16800975 0 0 0 -1 1 0 0 41 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7559] ppid=7502 vsize=10916192 memory=3126604 CPUtime=6.38 cores=1,3,5,7
/proc/7505/task/7559/stat : 7559 (java) S 7502 7505 3468 0 -1 1077944384 23777 13202 0 0 609 22 4 3 20 0 15 0 49135544 11178180608 781414 33554432000 4194304 4196468 140737198141680 140512607349776 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7560] ppid=7502 vsize=10916192 memory=3125648 CPUtime=6.39 cores=1,3,5,7
/proc/7505/task/7560/stat : 7560 (java) S 7502 7505 3468 0 -1 1077944384 25463 13202 0 0 609 23 4 3 20 0 15 0 49135544 11178180608 781414 33554432000 4194304 4196468 140737198141680 140512541392016 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7561] ppid=7502 vsize=10916192 memory=3125648 CPUtime=6.37 cores=1,3,5,7
/proc/7505/task/7561/stat : 7561 (java) S 7502 7505 3468 0 -1 1077944384 23613 13202 0 0 609 21 4 3 20 0 15 0 49135544 11178180608 781414 33554432000 4194304 4196468 140737198141680 140512174902032 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7562] ppid=7502 vsize=10916192 memory=3125644 CPUtime=6.38 cores=1,3,5,7
/proc/7505/task/7562/stat : 7562 (java) S 7502 7505 3468 0 -1 1077944384 35085 13202 0 0 608 23 4 3 20 0 15 0 49135544 11178180608 781414 33554432000 4194304 4196468 140737198141680 140512173849488 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7563] ppid=7502 vsize=10916192 memory=3125648 CPUtime=1.82 cores=1,3,5,7
/proc/7505/task/7563/stat : 7563 (java) S 7502 7505 3468 0 -1 1077944384 34275 13202 0 0 150 25 4 3 20 0 15 0 49135546 11178180608 781414 33554432000 4194304 4196468 140737198141680 140511874951408 140512603118210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7564] ppid=7502 vsize=10916192 memory=3125648 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7564/stat : 7564 (java) S 7502 7505 3468 0 -1 1077944384 26 13202 0 0 0 0 4 3 20 0 15 0 49135546 11178180608 781414 33554432000 4194304 4196468 140737198141680 140511667021024 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7565] ppid=7502 vsize=10916192 memory=3125648 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7565/stat : 7565 (java) S 7502 7505 3468 0 -1 1077944384 11 13202 0 0 0 0 4 3 20 0 15 0 49135546 11178180608 781414 33554432000 4194304 4196468 140737198141680 140511398585088 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7566] ppid=7502 vsize=10916192 memory=3125648 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7566/stat : 7566 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11178180608 781414 33554432000 4194304 4196468 140737198141680 140511158294480 140512603125659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7567] ppid=7502 vsize=10916192 memory=3125656 CPUtime=9.1 cores=1,3,5,7
/proc/7505/task/7567/stat : 7567 (java) S 7502 7505 3468 0 -1 1077944384 52739 13202 0 0 894 9 4 3 20 0 15 0 49135549 11178180608 781414 33554432000 4194304 4196468 140737198141680 140511873899248 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7568] ppid=7502 vsize=10916192 memory=3125656 CPUtime=8.99 cores=1,3,5,7
/proc/7505/task/7568/stat : 7568 (java) S 7502 7505 3468 0 -1 1077944384 55138 13202 0 0 886 6 4 3 20 0 15 0 49135549 11178180608 781414 33554432000 4194304 4196468 140737198141680 140511872846704 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7569] ppid=7502 vsize=10916192 memory=3125648 CPUtime=3.08 cores=1,3,5,7
/proc/7505/task/7569/stat : 7569 (java) S 7502 7505 3468 0 -1 1077944384 43868 13202 0 0 295 6 4 3 20 0 15 0 49135549 11178180608 781414 33554432000 4194304 4196468 140737198141680 140511871793648 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7570] ppid=7502 vsize=10916192 memory=3125656 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7570/stat : 7570 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11178180608 781414 33554432000 4194304 4196468 140737198141680 140511124736864 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7571] ppid=7502 vsize=10916192 memory=3125656 CPUtime=1.51 cores=1,3,5,7
/proc/7505/task/7571/stat : 7571 (java) S 7502 7505 3468 0 -1 1077944384 2361 13202 0 0 66 78 4 3 20 0 15 0 49135549 11178180608 781414 33554432000 4194304 4196468 140737198141680 140511870741040 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
Current children cumulated CPU time: 2482.72 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3125656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2479.5 s]
/proc/loadavg: 2.46 1.92 1.75 3/215 7774
/proc/meminfo: memFree=23728724/32770624 swapFree=67108860/67108860
[pid=7505] ppid=7502 vsize=10916192 memory=3125684 CPUtime=2520.01 cores=1,3,5,7
/proc/7505/stat : 7505 (java) S 7502 7505 3468 0 -1 1077944320 864310 13202 0 0 251703 291 4 3 20 0 15 0 49135535 11178180608 781421 33554432000 4194304 4196468 140737198141680 140737198124224 140512603107063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
/proc/7505/statm: 2729048 781421 3544 1 0 2690701 0
[pid=7505/tid=7558] ppid=7502 vsize=10916192 memory=3125684 CPUtime=2470.38 cores=1,3,5,7
/proc/7505/task/7558/stat : 7558 (java) R 7502 7505 3468 0 -1 4202560 563154 13202 0 0 246937 94 4 3 20 0 15 0 49135543 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512574940512 140512210372592 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7559] ppid=7502 vsize=10916192 memory=3125684 CPUtime=6.41 cores=1,3,5,7
/proc/7505/task/7559/stat : 7559 (java) S 7502 7505 3468 0 -1 1077944384 23934 13202 0 0 612 22 4 3 20 0 15 0 49135544 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512607349776 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7560] ppid=7502 vsize=10916192 memory=3125684 CPUtime=6.41 cores=1,3,5,7
/proc/7505/task/7560/stat : 7560 (java) S 7502 7505 3468 0 -1 1077944384 25715 13202 0 0 611 23 4 3 20 0 15 0 49135544 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512541392016 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7561] ppid=7502 vsize=10916192 memory=3125684 CPUtime=6.39 cores=1,3,5,7
/proc/7505/task/7561/stat : 7561 (java) S 7502 7505 3468 0 -1 1077944384 23722 13202 0 0 611 21 4 3 20 0 15 0 49135544 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512174902032 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7562] ppid=7502 vsize=10916192 memory=3125640 CPUtime=6.41 cores=1,3,5,7
/proc/7505/task/7562/stat : 7562 (java) S 7502 7505 3468 0 -1 1077944384 36781 13202 0 0 611 23 4 3 20 0 15 0 49135544 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512173849488 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7563] ppid=7502 vsize=10916192 memory=3125640 CPUtime=1.83 cores=1,3,5,7
/proc/7505/task/7563/stat : 7563 (java) S 7502 7505 3468 0 -1 1077944384 34627 13202 0 0 151 25 4 3 20 0 15 0 49135546 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511874951408 140512603118210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7564] ppid=7502 vsize=10916192 memory=3125640 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7564/stat : 7564 (java) S 7502 7505 3468 0 -1 1077944384 26 13202 0 0 0 0 4 3 20 0 15 0 49135546 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511667021024 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7565] ppid=7502 vsize=10916192 memory=3125684 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7565/stat : 7565 (java) S 7502 7505 3468 0 -1 1077944384 11 13202 0 0 0 0 4 3 20 0 15 0 49135546 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511398585088 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7566] ppid=7502 vsize=10916192 memory=3125684 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7566/stat : 7566 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511158294480 140512603125659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7567] ppid=7502 vsize=10916192 memory=3125684 CPUtime=9.1 cores=1,3,5,7
/proc/7505/task/7567/stat : 7567 (java) S 7502 7505 3468 0 -1 1077944384 52741 13202 0 0 894 9 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511873899248 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7568] ppid=7502 vsize=10916192 memory=3125684 CPUtime=8.99 cores=1,3,5,7
/proc/7505/task/7568/stat : 7568 (java) S 7502 7505 3468 0 -1 1077944384 55140 13202 0 0 886 6 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511872846704 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7569] ppid=7502 vsize=10916192 memory=3125684 CPUtime=3.08 cores=1,3,5,7
/proc/7505/task/7569/stat : 7569 (java) S 7502 7505 3468 0 -1 1077944384 43870 13202 0 0 295 6 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511871793648 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7570] ppid=7502 vsize=10916192 memory=3125684 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7570/stat : 7570 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511124736864 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7571] ppid=7502 vsize=10916192 memory=3125684 CPUtime=1.53 cores=1,3,5,7
/proc/7505/task/7571/stat : 7571 (java) S 7502 7505 3468 0 -1 1077944384 2397 13202 0 0 67 79 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511870741040 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3125684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2479.55 s]
# the end of solver process 7505 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.1 s, system=2.98129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2479.5 s]
/proc/loadavg: 2.46 1.92 1.75 3/215 7774
/proc/meminfo: memFree=23728724/32770624 swapFree=67108860/67108860
[pid=7505] ppid=7502 vsize=10916192 memory=3125684 CPUtime=2520.01 cores=1,3,5,7
/proc/7505/stat : 7505 (java) S 7502 7505 3468 0 -1 1077944320 864310 13202 0 0 251703 291 4 3 20 0 15 0 49135535 11178180608 781421 33554432000 4194304 4196468 140737198141680 140737198124224 140512603107063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
/proc/7505/statm: 2729048 781421 3544 1 0 2690701 0
[pid=7505/tid=7558] ppid=7502 vsize=10916192 memory=3125684 CPUtime=2470.38 cores=1,3,5,7
/proc/7505/task/7558/stat : 7558 (java) R 7502 7505 3468 0 -1 4202560 563154 13202 0 0 246937 94 4 3 20 0 15 0 49135543 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512574940512 140512210372592 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7559] ppid=7502 vsize=10916192 memory=3125684 CPUtime=6.41 cores=1,3,5,7
/proc/7505/task/7559/stat : 7559 (java) S 7502 7505 3468 0 -1 1077944384 23934 13202 0 0 612 22 4 3 20 0 15 0 49135544 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512607349776 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7560] ppid=7502 vsize=10916192 memory=3125684 CPUtime=6.41 cores=1,3,5,7
/proc/7505/task/7560/stat : 7560 (java) S 7502 7505 3468 0 -1 1077944384 25715 13202 0 0 611 23 4 3 20 0 15 0 49135544 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512541392016 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7561] ppid=7502 vsize=10916192 memory=3125684 CPUtime=6.39 cores=1,3,5,7
/proc/7505/task/7561/stat : 7561 (java) S 7502 7505 3468 0 -1 1077944384 23722 13202 0 0 611 21 4 3 20 0 15 0 49135544 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512174902032 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7562] ppid=7502 vsize=10916192 memory=3125640 CPUtime=6.41 cores=1,3,5,7
/proc/7505/task/7562/stat : 7562 (java) S 7502 7505 3468 0 -1 1077944384 36781 13202 0 0 611 23 4 3 20 0 15 0 49135544 11178180608 781421 33554432000 4194304 4196468 140737198141680 140512173849488 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7563] ppid=7502 vsize=10916192 memory=3125640 CPUtime=1.83 cores=1,3,5,7
/proc/7505/task/7563/stat : 7563 (java) S 7502 7505 3468 0 -1 1077944384 34627 13202 0 0 151 25 4 3 20 0 15 0 49135546 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511874951408 140512603118210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7564] ppid=7502 vsize=10916192 memory=3125640 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7564/stat : 7564 (java) S 7502 7505 3468 0 -1 1077944384 26 13202 0 0 0 0 4 3 20 0 15 0 49135546 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511667021024 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7565] ppid=7502 vsize=10916192 memory=3125684 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7565/stat : 7565 (java) S 7502 7505 3468 0 -1 1077944384 11 13202 0 0 0 0 4 3 20 0 15 0 49135546 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511398585088 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7566] ppid=7502 vsize=10916192 memory=3125684 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7566/stat : 7566 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511158294480 140512603125659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7567] ppid=7502 vsize=10916192 memory=3125684 CPUtime=9.1 cores=1,3,5,7
/proc/7505/task/7567/stat : 7567 (java) S 7502 7505 3468 0 -1 1077944384 52741 13202 0 0 894 9 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511873899248 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7568] ppid=7502 vsize=10916192 memory=3125684 CPUtime=8.99 cores=1,3,5,7
/proc/7505/task/7568/stat : 7568 (java) S 7502 7505 3468 0 -1 1077944384 55140 13202 0 0 886 6 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511872846704 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7569] ppid=7502 vsize=10916192 memory=3125684 CPUtime=3.08 cores=1,3,5,7
/proc/7505/task/7569/stat : 7569 (java) S 7502 7505 3468 0 -1 1077944384 43870 13202 0 0 295 6 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511871793648 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7570] ppid=7502 vsize=10916192 memory=3125684 CPUtime=0.07 cores=1,3,5,7
/proc/7505/task/7570/stat : 7570 (java) S 7502 7505 3468 0 -1 1077944384 3 13202 0 0 0 0 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511124736864 140512603117269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
[pid=7505/tid=7571] ppid=7502 vsize=10916192 memory=3125684 CPUtime=1.53 cores=1,3,5,7
/proc/7505/task/7571/stat : 7571 (java) S 7502 7505 3468 0 -1 1077944384 2397 13202 0 0 67 79 4 3 20 0 15 0 49135549 11178180608 781421 33554432000 4194304 4196468 140737198141680 140511870741040 140512603118210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 37117952 140737198143659 140737198146908 140737198146908 140737198149583 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3125684 KiB
Child status: 143
Real time (s): 2479.55
CPU time (s): 2520.09
CPU user time (s): 2517.1
CPU system time (s): 2.98129
CPU usage (%): 101.635
Max. virtual memory (cumulated for all children) (KiB): 10919024
Max. memory (cumulated for all children) (KiB): 3126608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.1
system time used= 2.98129
maximum resident set size= 3129924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 881839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93049
involuntary context switches= 2526
# summary of solver processes directly reported to runsolver:
# pid: 7505
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.1
# total CPU system time (s): 2.98129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2022 second user time and 23.4578 second system time
The end