runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710589-1338144790/watcher-3710589-1338144790 -o /tmp/evaluation-result-3710589-1338144790/solver-3710589-1338144790 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710589-1338144790.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/31050/stat : 31050 (java) R 31048 31050 28151 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 280603872 23793664 714 33554432000 1073741824 1073778376 140736481755824 140736481744888 213410429008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 5809 715 529 9 0 128 0
[startup+0.0800059 s]
/proc/loadavg: 2.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 3489 0 1 0 5 1 0 0 20 0 18 0 280603872 9787842560 4696 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2389610 4696 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440
[startup+0.100238 s]
/proc/loadavg: 2.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 4244 0 1 0 9 1 0 0 20 0 18 0 280603872 9787842560 5961 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2389610 5961 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300218 s]
/proc/loadavg: 2.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 5911 0 1 0 46 2 0 0 20 0 19 0 280603872 9856004096 8589 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 8592 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625004
[startup+0.700197 s]
/proc/loadavg: 2.10 3.59 3.05 2/194 31050
/proc/meminfo: memFree=30789856/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 7334 0 1 0 109 2 0 0 20 0 19 0 280603872 9856004096 9995 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 9995 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9625004
[startup+1.50064 s]
/proc/loadavg: 2.10 3.59 3.05 5/213 31069
/proc/meminfo: memFree=30751892/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=2 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 7529 0 1 0 197 3 0 0 20 0 19 0 280603872 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 13128 2276 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2498 0 1 0 142 2 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739400678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 280603875 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 1646 0 0 0 22 0 0 0 20 0 19 0 280603877 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2123 0 0 0 26 0 0 0 20 0 19 0 280603877 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603878 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 13128 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 9625004
[startup+3.10062 s]
/proc/loadavg: 2.10 3.59 3.05 3/213 31069
/proc/meminfo: memFree=30744880/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=3.66 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 8361 0 1 0 363 3 0 0 20 0 19 0 280603872 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 13758 2276 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=2.99 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2501 0 1 0 297 2 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739328222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 280603875 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 1646 0 0 0 22 0 0 0 20 0 19 0 280603877 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2940 0 0 0 31 0 0 0 20 0 19 0 280603877 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603878 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 13758 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9625004
[startup+6.30066 s]
/proc/loadavg: 2.10 3.56 3.04 3/213 31069
/proc/meminfo: memFree=30740428/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=6.88 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 8377 0 1 0 684 4 0 0 20 0 19 0 280603872 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 15139 2276 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=6.12 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2506 0 1 0 610 2 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739368583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280603873 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=0.11 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 33 0 0 0 11 0 0 0 20 0 19 0 280603875 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 1646 0 0 0 22 0 0 0 20 0 19 0 280603877 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2940 0 0 0 31 0 0 0 20 0 19 0 280603877 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603878 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 15139 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 8257 0 0 0 57 2 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2941 0 0 0 34 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 98 0 0 0 19 20 0 0 20 0 19 0 280603878 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1729.99
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 2.12 3/213 31165
/proc/meminfo: memFree=30187244/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=1790.15 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 18014 0 1 0 178962 53 0 0 20 0 19 0 280603872 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 90589 2279 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=1762.03 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2820 0 1 0 176173 30 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739521904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 371 0 0 0 113 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 454 0 0 0 131 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 222 0 0 0 122 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 298 0 0 0 112 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 382 0 0 0 122 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 275 0 0 0 116 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 282 0 0 0 122 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 265 0 0 0 130 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=12.54 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 163 0 0 0 1251 3 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 8257 0 0 0 57 2 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2941 0 0 0 34 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 102 0 0 0 20 21 0 0 20 0 19 0 280603878 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1790.15
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.1 s]
/proc/loadavg: 1.99 1.99 2.12 3/213 31165
/proc/meminfo: memFree=30187244/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 18017 0 1 0 179950 53 0 0 20 0 19 0 280603872 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 90589 2279 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=1771.64 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2821 0 1 0 177134 30 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739388406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 371 0 0 0 114 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 454 0 0 0 132 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 222 0 0 0 124 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 298 0 0 0 113 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 382 0 0 0 123 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 275 0 0 0 117 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 282 0 0 0 123 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 265 0 0 0 130 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=12.68 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 165 0 0 0 1265 3 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 8257 0 0 0 57 2 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2941 0 0 0 34 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 102 0 0 0 20 21 0 0 20 0 19 0 280603878 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.1 s]
/proc/loadavg: 1.99 1.99 2.12 3/213 31165
/proc/meminfo: memFree=30187244/32873844 swapFree=6600/6600
[pid=31050] ppid=31048 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/31050/stat : 31050 (java) S 31048 31050 28151 0 -1 4202496 18017 0 1 0 179950 53 0 0 20 0 19 0 280603872 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140736481746960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31050/statm: 2406251 90589 2279 9 0 2396937 0
[pid=31050/tid=31052] ppid=31048 vsize=9625004 CPUtime=1771.64 cores=0,2,4,6
/proc/31050/task/31052/stat : 31052 (java) R 31048 31050 28151 0 -1 4202560 2821 0 1 0 177134 30 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408916537648 140408739388406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31053] ppid=31048 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31050/task/31053/stat : 31053 (java) S 31048 31050 28151 0 -1 4202560 371 0 0 0 114 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408878029608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31054] ppid=31048 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/31050/task/31054/stat : 31054 (java) S 31048 31050 28151 0 -1 4202560 454 0 0 0 132 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408876976808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31055] ppid=31048 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/31050/task/31055/stat : 31055 (java) S 31048 31050 28151 0 -1 4202560 222 0 0 0 124 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408875924520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31056] ppid=31048 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/31050/task/31056/stat : 31056 (java) S 31048 31050 28151 0 -1 4202560 298 0 0 0 113 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408874871720 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31057] ppid=31048 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/31050/task/31057/stat : 31057 (java) S 31048 31050 28151 0 -1 4202560 382 0 0 0 123 4 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408873818408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31058] ppid=31048 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/31050/task/31058/stat : 31058 (java) S 31048 31050 28151 0 -1 4202560 275 0 0 0 117 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408872765608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31059] ppid=31048 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/31050/task/31059/stat : 31059 (java) S 31048 31050 28151 0 -1 4202560 282 0 0 0 123 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408871713320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31050/tid=31060] ppid=31048 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/31050/task/31060/stat : 31060 (java) S 31048 31050 28151 0 -1 4202560 265 0 0 0 130 3 0 0 20 0 19 0 280603873 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408870660520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31061] ppid=31048 vsize=9625004 CPUtime=12.68 cores=0,2,4,6
/proc/31050/task/31061/stat : 31061 (java) S 31048 31050 28151 0 -1 4202560 165 0 0 0 1265 3 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408858249960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31062] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31062/stat : 31062 (java) S 31048 31050 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408738801144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31063] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31063/stat : 31063 (java) S 31048 31050 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280603875 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408737748744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31064] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31064/stat : 31064 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408736697232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31065] ppid=31048 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/31050/task/31065/stat : 31065 (java) S 31048 31050 28151 0 -1 4202560 8257 0 0 0 57 2 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408735643832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31050/tid=31066] ppid=31048 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/31050/task/31066/stat : 31066 (java) S 31048 31050 28151 0 -1 4202560 2941 0 0 0 34 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408734591032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31067] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31067/stat : 31067 (java) S 31048 31050 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280603877 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408733538936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31050/tid=31068] ppid=31048 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/31050/task/31068/stat : 31068 (java) S 31048 31050 28151 0 -1 4202560 102 0 0 0 20 21 0 0 20 0 19 0 280603878 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408732486344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31050/tid=31069] ppid=31048 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31050/task/31069/stat : 31069 (java) S 31048 31050 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280603899 9856004096 90589 33554432000 1073741824 1073778376 140736481755824 140408731432360 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31050 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=68108
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=972852
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1792.15
CPU time (s): 1800.03
CPU user time (s): 1799.5
CPU system time (s): 0.53
CPU usage (%): 100.44
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.07
system time used= 0.972852
maximum resident set size= 362512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18057
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45712
involuntary context switches= 31680
runsolver used 6.32404 second user time and 13.451 second system time
The end