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-3739689-1338733312/watcher-3739689-1338733312 -o /tmp/evaluation-result-3739689-1338733312/solver-3739689-1338733312 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3739689-1338733312.opb
running on 4 cores: 1,3,5,7
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.00 2.00 2.00 3/194 11001
/proc/meminfo: memFree=28128828/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 1278 0 0 0 0 0 0 0 20 0 2 0 339456670 98570240 979 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 24065 979 745 9 0 16771 0
[pid=11001/tid=11002] ppid=10999 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 339456671 98570240 979 33554432000 1073741824 1073778376 140733587798352 140166671363624 214537422208 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.00681589 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11001
/proc/meminfo: memFree=28128828/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 1295 0 0 0 0 0 0 0 20 0 2 0 339456670 99672064 995 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 24334 995 759 9 0 16774 0
[pid=11001/tid=11002] ppid=10999 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 150 0 0 0 0 0 0 0 20 0 2 0 339456671 99672064 997 33554432000 1073741824 1073778376 140733587798352 140166671364792 140166666903488 0 0 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 97336
[startup+0.100174 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11001
/proc/meminfo: memFree=28128828/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 4915 0 1 0 9 1 0 0 20 0 18 0 339456670 3028844544 7139 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 739464 7139 2130 9 0 729885 0
[pid=11001/tid=11002] ppid=10999 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 3006 0 1 0 6 2 0 0 20 0 18 0 339456671 3028844544 7139 33554432000 1073741824 1073778376 140733587798352 140166671356984 140166543029952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300194 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11001
/proc/meminfo: memFree=28128828/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 6502 0 1 0 46 2 0 0 20 0 18 0 339456670 3028844544 10233 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 739464 10233 2239 9 0 729885 0
[pid=11001/tid=11002] ppid=10999 vsize=2957856 CPUtime=0.28 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 3018 0 1 0 26 2 0 0 20 0 18 0 339456671 3028844544 10233 33554432000 1073741824 1073778376 140733587798352 140166671356984 140166543385828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856
[startup+0.700209 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11001
/proc/meminfo: memFree=28128828/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=2957856 CPUtime=1.35 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 9327 0 1 0 131 4 0 0 20 0 18 0 339456670 3028844544 44343 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 739464 44343 2261 9 0 729885 0
[pid=11001/tid=11002] ppid=10999 vsize=2957856 CPUtime=0.68 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 3090 0 1 0 65 3 0 0 20 0 18 0 339456671 3028844544 44343 33554432000 1073741824 1073778376 140733587798352 140166671356984 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 2957856
[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 5/212 11019
/proc/meminfo: memFree=27815220/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=3024420 CPUtime=2.73 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 15061 0 1 0 266 7 0 0 20 0 19 0 339456670 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 756105 84766 2274 9 0 746526 0
[pid=11001/tid=11002] ppid=10999 vsize=3024420 CPUtime=1.48 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 3171 0 1 0 143 5 0 0 20 0 19 0 339456671 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166671360456 140166543919714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11004] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11004/stat : 11004 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166537276328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11005] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11005/stat : 11005 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166536223784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11006] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11006/stat : 11006 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166535170728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11007] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11007/stat : 11007 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166534118184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11008] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11008/stat : 11008 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166533065128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11009] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11009/stat : 11009 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166532012584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11010] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11010/stat : 11010 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166530959528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11011] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11011/stat : 11011 (java) S 10999 11001 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166529906984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11012] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11012/stat : 11012 (java) S 10999 11001 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339456672 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166046899048 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11013] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11013/stat : 11013 (java) S 10999 11001 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166045845368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11014] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11014/stat : 11014 (java) S 10999 11001 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166044792200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11015] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11015/stat : 11015 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166043740944 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11016] ppid=10999 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/11001/task/11016/stat : 11016 (java) S 10999 11001 7854 0 -1 4202560 4813 0 0 0 62 0 0 0 20 0 19 0 339456675 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166042687800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11017] ppid=10999 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/11001/task/11017/stat : 11017 (java) S 10999 11001 7854 0 -1 4202560 5882 0 0 0 57 2 0 0 20 0 19 0 339456675 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166041635256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11018] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11018/stat : 11018 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166040582392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11019] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11019/stat : 11019 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 84766 33554432000 1073741824 1073778376 140733587798352 140166039530056 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 3024420
[startup+3.10062 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 11020
/proc/meminfo: memFree=27764324/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=3024420 CPUtime=4.38 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 15298 0 1 0 430 8 0 0 20 0 19 0 339456670 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 756105 105762 2277 9 0 746526 0
[pid=11001/tid=11002] ppid=10999 vsize=3024420 CPUtime=3.08 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 3213 0 1 0 302 6 0 0 20 0 19 0 339456671 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166671368584 140166543759060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11004] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11004/stat : 11004 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166537276328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11005] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11005/stat : 11005 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166536223784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11006] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11006/stat : 11006 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166535170728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11007] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11007/stat : 11007 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166534118184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11008] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11008/stat : 11008 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166533065128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11009] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11009/stat : 11009 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166532012584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11010] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11010/stat : 11010 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166530959528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11011] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11011/stat : 11011 (java) S 10999 11001 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166529906984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11012] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11012/stat : 11012 (java) S 10999 11001 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339456672 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166046899048 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11013] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11013/stat : 11013 (java) S 10999 11001 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166045845368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11014] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11014/stat : 11014 (java) S 10999 11001 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166044792200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11015] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11015/stat : 11015 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166043740944 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11016] ppid=10999 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/11001/task/11016/stat : 11016 (java) S 10999 11001 7854 0 -1 4202560 5007 0 0 0 67 0 0 0 20 0 19 0 339456675 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166042687800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11017] ppid=10999 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/11001/task/11017/stat : 11017 (java) S 10999 11001 7854 0 -1 4202560 5882 0 0 0 58 2 0 0 20 0 19 0 339456675 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166041635256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11018] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11018/stat : 11018 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166040582392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11019] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11019/stat : 11019 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166039530056 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11020] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11020/stat : 11020 (java) S 10999 11001 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456776 3097006080 105762 33554432000 1073741824 1073778376 140733587798352 140166037399080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 3024420
[startup+6.30064 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 11020
/proc/meminfo: memFree=27662072/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=3024420 CPUtime=7.72 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 15987 0 1 0 762 10 0 0 20 0 19 0 339456670 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 756105 118390 2290 9 0 746526 0
[pid=11001/tid=11002] ppid=10999 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 3234 0 1 0 619 6 0 0 20 0 19 0 339456671 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166671366712 140166543759060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11004] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11004/stat : 11004 (java) S 10999 11001 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166537276328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11005] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11005/stat : 11005 (java) S 10999 11001 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166536223784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11006] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11006/stat : 11006 (java) S 10999 11001 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166535170728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11007] ppid=10999 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/11001/task/11007/stat : 11007 (java) S 10999 11001 7854 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 339456671 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166534118184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11008] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11008/stat : 11008 (java) S 10999 11001 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166533065128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11009] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11009/stat : 11009 (java) S 10999 11001 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166532012584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11010] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11010/stat : 11010 (java) S 10999 11001 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166530959528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11011] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11011/stat : 11011 (java) S 10999 11001 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339456671 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166529906984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11012] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11012/stat : 11012 (java) S 10999 11001 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339456672 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166046899048 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11013] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11013/stat : 11013 (java) S 10999 11001 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166045845368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11014] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11014/stat : 11014 (java) S 10999 11001 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166044792200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11015] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11015/stat : 11015 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166043740944 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11016] ppid=10999 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/11001/task/11016/stat : 11016 (java) S 10999 11001 7854 0 -1 4202560 5612 0 0 0 70 2 0 0 20 0 19 0 339456675 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166042687800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11017] ppid=10999 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/11001/task/11017/stat : 11017 (java) S 10999 11001 7854 0 -1 4202560 5882 0 0 0 59 2 0 0 20 0 19 0 339456675 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166041635256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11018] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11018/stat : 11018 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 118390 33554432000 1073741824 1073778376 140733587798352 140166040582392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=11001/tid=11009] ppid=10999 vsize=3024420 CPUtime=1.27 cores=1,3,5,7
/proc/11001/task/11009/stat : 11009 (java) S 10999 11001 7854 0 -1 4202560 461 0 0 0 111 16 0 0 20 0 19 0 339456671 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166532012584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11010] ppid=10999 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/11001/task/11010/stat : 11010 (java) S 10999 11001 7854 0 -1 4202560 395 0 0 0 118 15 0 0 20 0 19 0 339456671 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166530959528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11011] ppid=10999 vsize=3024420 CPUtime=1.31 cores=1,3,5,7
/proc/11001/task/11011/stat : 11011 (java) S 10999 11001 7854 0 -1 4202560 466 0 0 0 115 16 0 0 20 0 19 0 339456671 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166529906984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11012] ppid=10999 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/11001/task/11012/stat : 11012 (java) S 10999 11001 7854 0 -1 4202560 120 0 0 0 18 2 0 0 20 0 19 0 339456672 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166046899048 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11013] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11013/stat : 11013 (java) S 10999 11001 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166045845368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11014] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11014/stat : 11014 (java) S 10999 11001 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166044792200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11015] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11015/stat : 11015 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166043740944 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11016] ppid=10999 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/11001/task/11016/stat : 11016 (java) S 10999 11001 7854 0 -1 4202560 5619 0 0 0 76 2 0 0 20 0 19 0 339456675 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166042687800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11017] ppid=10999 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/11001/task/11017/stat : 11017 (java) S 10999 11001 7854 0 -1 4202560 5887 0 0 0 63 2 0 0 20 0 19 0 339456675 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166041635256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11018] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11018/stat : 11018 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166040582392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11019] ppid=10999 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/11001/task/11019/stat : 11019 (java) S 10999 11001 7854 0 -1 4202560 99 0 0 0 30 36 0 0 20 0 19 0 339456675 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166039530056 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 7 0 0
[pid=11001/tid=11020] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11020/stat : 11020 (java) S 10999 11001 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456776 3097006080 410936 33554432000 1073741824 1073778376 140733587798352 140166037399080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1731.38
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/213 11581
/proc/meminfo: memFree=26711864/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=3024420 CPUtime=1791.5 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 19636 0 1 0 178970 180 0 0 20 0 19 0 339456670 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 756105 410978 2306 9 0 746526 0
[pid=11001/tid=11002] ppid=10999 vsize=3024420 CPUtime=1779.01 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 3321 0 1 0 177863 38 0 0 20 0 19 0 339456671 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166671367376 140166543774245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11004] ppid=10999 vsize=3024420 CPUtime=1.25 cores=1,3,5,7
/proc/11001/task/11004/stat : 11004 (java) S 10999 11001 7854 0 -1 4202560 417 0 0 0 108 17 0 0 20 0 19 0 339456671 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166537276328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11005] ppid=10999 vsize=3024420 CPUtime=1.19 cores=1,3,5,7
/proc/11001/task/11005/stat : 11005 (java) S 10999 11001 7854 0 -1 4202560 414 0 0 0 105 14 0 0 20 0 19 0 339456671 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166536223784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11006] ppid=10999 vsize=3024420 CPUtime=1.29 cores=1,3,5,7
/proc/11001/task/11006/stat : 11006 (java) S 10999 11001 7854 0 -1 4202560 324 0 0 0 115 14 0 0 20 0 19 0 339456671 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166535170728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11007] ppid=10999 vsize=3024420 CPUtime=1.43 cores=1,3,5,7
/proc/11001/task/11007/stat : 11007 (java) S 10999 11001 7854 0 -1 4202560 427 0 0 0 126 17 0 0 20 0 19 0 339456671 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166534118184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11008] ppid=10999 vsize=3024420 CPUtime=1.26 cores=1,3,5,7
/proc/11001/task/11008/stat : 11008 (java) S 10999 11001 7854 0 -1 4202560 499 0 0 0 112 14 0 0 20 0 19 0 339456671 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166533065128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11009] ppid=10999 vsize=3024420 CPUtime=1.28 cores=1,3,5,7
/proc/11001/task/11009/stat : 11009 (java) S 10999 11001 7854 0 -1 4202560 461 0 0 0 112 16 0 0 20 0 19 0 339456671 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166532012584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11010] ppid=10999 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/11001/task/11010/stat : 11010 (java) S 10999 11001 7854 0 -1 4202560 395 0 0 0 119 15 0 0 20 0 19 0 339456671 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166530959528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11011] ppid=10999 vsize=3024420 CPUtime=1.32 cores=1,3,5,7
/proc/11001/task/11011/stat : 11011 (java) S 10999 11001 7854 0 -1 4202560 466 0 0 0 116 16 0 0 20 0 19 0 339456671 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166529906984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11012] ppid=10999 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/11001/task/11012/stat : 11012 (java) S 10999 11001 7854 0 -1 4202560 122 0 0 0 18 2 0 0 20 0 19 0 339456672 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166046899048 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11013] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11013/stat : 11013 (java) S 10999 11001 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166045845368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11014] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11014/stat : 11014 (java) S 10999 11001 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166044792200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11015] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11015/stat : 11015 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166043740944 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11016] ppid=10999 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/11001/task/11016/stat : 11016 (java) S 10999 11001 7854 0 -1 4202560 5619 0 0 0 76 2 0 0 20 0 19 0 339456675 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166042687800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11017] ppid=10999 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/11001/task/11017/stat : 11017 (java) S 10999 11001 7854 0 -1 4202560 5887 0 0 0 63 2 0 0 20 0 19 0 339456675 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166041635256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11018] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11018/stat : 11018 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166040582392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11019] ppid=10999 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/11001/task/11019/stat : 11019 (java) S 10999 11001 7854 0 -1 4202560 103 0 0 0 31 37 0 0 20 0 19 0 339456675 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166039530056 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 7 0 0
[pid=11001/tid=11020] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11020/stat : 11020 (java) S 10999 11001 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456776 3097006080 410978 33554432000 1073741824 1073778376 140733587798352 140166037399080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 11581
/proc/meminfo: memFree=26701500/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 19645 0 1 0 179821 180 0 0 20 0 19 0 339456670 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 756105 410984 2306 9 0 746526 0
[pid=11001/tid=11002] ppid=10999 vsize=3024420 CPUtime=1787.39 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 3322 0 1 0 178701 38 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166671367376 140166543908516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11004] ppid=10999 vsize=3024420 CPUtime=1.28 cores=1,3,5,7
/proc/11001/task/11004/stat : 11004 (java) S 10999 11001 7854 0 -1 4202560 417 0 0 0 111 17 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166537276328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11005] ppid=10999 vsize=3024420 CPUtime=1.2 cores=1,3,5,7
/proc/11001/task/11005/stat : 11005 (java) S 10999 11001 7854 0 -1 4202560 414 0 0 0 106 14 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166536223784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11006] ppid=10999 vsize=3024420 CPUtime=1.31 cores=1,3,5,7
/proc/11001/task/11006/stat : 11006 (java) S 10999 11001 7854 0 -1 4202560 327 0 0 0 117 14 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166535170728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11007] ppid=10999 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/11001/task/11007/stat : 11007 (java) S 10999 11001 7854 0 -1 4202560 428 0 0 0 127 17 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166534118184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11008] ppid=10999 vsize=3024420 CPUtime=1.28 cores=1,3,5,7
/proc/11001/task/11008/stat : 11008 (java) S 10999 11001 7854 0 -1 4202560 499 0 0 0 114 14 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166533065128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11009] ppid=10999 vsize=3024420 CPUtime=1.3 cores=1,3,5,7
/proc/11001/task/11009/stat : 11009 (java) S 10999 11001 7854 0 -1 4202560 461 0 0 0 114 16 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166532012584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11010] ppid=10999 vsize=3024420 CPUtime=1.37 cores=1,3,5,7
/proc/11001/task/11010/stat : 11010 (java) S 10999 11001 7854 0 -1 4202560 397 0 0 0 121 16 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166530959528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11011] ppid=10999 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/11001/task/11011/stat : 11011 (java) S 10999 11001 7854 0 -1 4202560 466 0 0 0 117 16 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166529906984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11012] ppid=10999 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/11001/task/11012/stat : 11012 (java) S 10999 11001 7854 0 -1 4202560 124 0 0 0 18 2 0 0 20 0 19 0 339456672 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166046899048 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11013] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11013/stat : 11013 (java) S 10999 11001 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166045845368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11014] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11014/stat : 11014 (java) S 10999 11001 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166044792200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11015] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11015/stat : 11015 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166043740944 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11016] ppid=10999 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/11001/task/11016/stat : 11016 (java) S 10999 11001 7854 0 -1 4202560 5619 0 0 0 76 2 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166042687800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11017] ppid=10999 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/11001/task/11017/stat : 11017 (java) S 10999 11001 7854 0 -1 4202560 5887 0 0 0 63 2 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166041635256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11018] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11018/stat : 11018 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166040582392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11019] ppid=10999 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/11001/task/11019/stat : 11019 (java) S 10999 11001 7854 0 -1 4202560 103 0 0 0 31 38 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166039530056 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 7 0 0
[pid=11001/tid=11020] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11020/stat : 11020 (java) S 10999 11001 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456776 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166037399080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 11581
/proc/meminfo: memFree=26701500/32873648 swapFree=7116/7116
[pid=11001] ppid=10999 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/11001/stat : 11001 (java) S 10999 11001 7854 0 -1 4202496 19645 0 1 0 179821 180 0 0 20 0 19 0 339456670 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140733587789488 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11001/statm: 756105 410984 2306 9 0 746526 0
[pid=11001/tid=11002] ppid=10999 vsize=3024420 CPUtime=1787.39 cores=1,3,5,7
/proc/11001/task/11002/stat : 11002 (java) R 10999 11001 7854 0 -1 4202560 3322 0 1 0 178701 38 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166671367376 140166543908516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11004] ppid=10999 vsize=3024420 CPUtime=1.28 cores=1,3,5,7
/proc/11001/task/11004/stat : 11004 (java) S 10999 11001 7854 0 -1 4202560 417 0 0 0 111 17 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166537276328 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11005] ppid=10999 vsize=3024420 CPUtime=1.2 cores=1,3,5,7
/proc/11001/task/11005/stat : 11005 (java) S 10999 11001 7854 0 -1 4202560 414 0 0 0 106 14 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166536223784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11006] ppid=10999 vsize=3024420 CPUtime=1.31 cores=1,3,5,7
/proc/11001/task/11006/stat : 11006 (java) S 10999 11001 7854 0 -1 4202560 327 0 0 0 117 14 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166535170728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11007] ppid=10999 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/11001/task/11007/stat : 11007 (java) S 10999 11001 7854 0 -1 4202560 428 0 0 0 127 17 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166534118184 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11008] ppid=10999 vsize=3024420 CPUtime=1.28 cores=1,3,5,7
/proc/11001/task/11008/stat : 11008 (java) S 10999 11001 7854 0 -1 4202560 499 0 0 0 114 14 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166533065128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11009] ppid=10999 vsize=3024420 CPUtime=1.3 cores=1,3,5,7
/proc/11001/task/11009/stat : 11009 (java) S 10999 11001 7854 0 -1 4202560 461 0 0 0 114 16 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166532012584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11001/tid=11010] ppid=10999 vsize=3024420 CPUtime=1.37 cores=1,3,5,7
/proc/11001/task/11010/stat : 11010 (java) S 10999 11001 7854 0 -1 4202560 397 0 0 0 121 16 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166530959528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11011] ppid=10999 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/11001/task/11011/stat : 11011 (java) S 10999 11001 7854 0 -1 4202560 466 0 0 0 117 16 0 0 20 0 19 0 339456671 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166529906984 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11012] ppid=10999 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/11001/task/11012/stat : 11012 (java) S 10999 11001 7854 0 -1 4202560 124 0 0 0 18 2 0 0 20 0 19 0 339456672 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166046899048 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11013] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11013/stat : 11013 (java) S 10999 11001 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166045845368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11014] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11014/stat : 11014 (java) S 10999 11001 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339456673 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166044792200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11015] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11015/stat : 11015 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166043740944 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11016] ppid=10999 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/11001/task/11016/stat : 11016 (java) S 10999 11001 7854 0 -1 4202560 5619 0 0 0 76 2 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166042687800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11001/tid=11017] ppid=10999 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/11001/task/11017/stat : 11017 (java) S 10999 11001 7854 0 -1 4202560 5887 0 0 0 63 2 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166041635256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11001/tid=11018] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11018/stat : 11018 (java) S 10999 11001 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166040582392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11001/tid=11019] ppid=10999 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/11001/task/11019/stat : 11019 (java) S 10999 11001 7854 0 -1 4202560 103 0 0 0 31 38 0 0 20 0 19 0 339456675 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166039530056 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 7 0 0
[pid=11001/tid=11020] ppid=10999 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11001/task/11020/stat : 11020 (java) S 10999 11001 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339456776 3097006080 410984 33554432000 1073741824 1073778376 140733587798352 140166037399080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420
Child status: 143
Real time (s): 1790.73
CPU time (s): 1800.48
CPU user time (s): 1798.29
CPU system time (s): 2.19367
CPU usage (%): 100.545
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 2.19367
maximum resident set size= 1644052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19675
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40483
involuntary context switches= 33178
runsolver used 6.41003 second user time and 14.6938 second system time
The end