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-3739603-1338757982/watcher-3739603-1338757982 -o /tmp/evaluation-result-3739603-1338757982/solver-3739603-1338757982 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3739603-1338757982.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: 3.44 3.74 3.66 4/199 23820
/proc/meminfo: memFree=28224328/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 1201 0 0 0 0 0 0 0 20 0 2 0 341922957 94019584 912 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 22954 913 693 9 0 16769 0
[pid=23820/tid=23821] ppid=23818 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) D 23818 23820 19811 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 341922957 94019584 917 33554432000 1073741824 1073778376 140735911621200 140110743485992 215115459879 0 0 4096 0 18446744072100748580 0 0 -1 3 0 0 0 0 0
[startup+0.0872081 s]
/proc/loadavg: 3.44 3.74 3.66 4/199 23820
/proc/meminfo: memFree=28224328/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 4187 0 1 0 6 1 0 0 20 0 18 0 341922957 2764726272 5906 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 674982 5906 1961 9 0 665676 0
[pid=23820/tid=23821] ppid=23818 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) D 23818 23820 19811 0 -1 4202560 2706 0 1 0 6 0 0 0 20 0 18 0 341922957 2764726272 5906 33554432000 1073741824 1073778376 140735911621200 140110743482200 215124665319 0 4 0 16800975 18446744071581355491 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.100303 s]
/proc/loadavg: 3.44 3.74 3.66 4/199 23820
/proc/meminfo: memFree=28224328/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 4734 0 1 0 9 1 0 0 20 0 18 0 341922957 2764726272 6443 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 674982 6443 2109 9 0 665676 0
[pid=23820/tid=23821] ppid=23818 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) R 23818 23820 19811 0 -1 4202560 2774 0 1 0 7 0 0 0 20 0 18 0 341922957 2764726272 6443 33554432000 1073741824 1073778376 140735911621200 140110743465968 215128007949 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) 2699928
[startup+0.300281 s]
/proc/loadavg: 3.44 3.74 3.66 4/199 23820
/proc/meminfo: memFree=28224328/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=2699928 CPUtime=0.5 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 6500 0 1 0 48 2 0 0 20 0 18 0 341922957 2764726272 10234 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 674982 10234 2217 9 0 665676 0
[pid=23820/tid=23821] ppid=23818 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) R 23818 23820 19811 0 -1 4202560 2791 0 1 0 26 1 0 0 20 0 18 0 341922957 2764726272 10234 33554432000 1073741824 1073778376 140735911621200 140110743490712 140110574148226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2699928
[startup+0.700307 s]
/proc/loadavg: 3.44 3.74 3.66 4/199 23820
/proc/meminfo: memFree=28224328/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=2699928 CPUtime=1.47 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 14317 0 1 0 142 5 0 0 20 0 18 0 341922957 2764726272 37819 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 674982 37819 2241 9 0 665676 0
[pid=23820/tid=23821] ppid=23818 vsize=2699928 CPUtime=0.67 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) R 23818 23820 19811 0 -1 4202560 2846 0 1 0 64 3 0 0 20 0 18 0 341922957 2764726272 37819 33554432000 1073741824 1073778376 140735911621200 140110743490712 140110574592908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 2699928
[startup+1.50062 s]
/proc/loadavg: 3.44 3.74 3.66 4/217 23838
/proc/meminfo: memFree=27946296/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=2966184 CPUtime=3.53 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 20462 0 1 0 343 10 0 0 20 0 22 0 341922957 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 741546 89208 2253 9 0 732240 0
[pid=23820/tid=23821] ppid=23818 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) S 23818 23820 19811 0 -1 4202560 2943 0 1 0 110 6 0 0 20 0 22 0 341922957 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110743491736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23823] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23823/stat : 23823 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922958 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110727772712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23824] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23824/stat : 23824 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922958 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110726719912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23825] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23825/stat : 23825 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922958 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110725667112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23826] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23826/stat : 23826 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922958 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110724614312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23827] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23827/stat : 23827 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922958 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110723562536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23828] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23828/stat : 23828 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922958 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110722509736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23829] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23829/stat : 23829 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922958 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110721456936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23830] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23830/stat : 23830 (java) S 23818 23820 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341922958 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110720404136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23831] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23831/stat : 23831 (java) S 23818 23820 19811 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341922959 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110707993064 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23832] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23832/stat : 23832 (java) S 23818 23820 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110706939128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23833] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23833/stat : 23833 (java) S 23818 23820 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110705886216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23834] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23834/stat : 23834 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110704834704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23835] ppid=23818 vsize=2966184 CPUtime=0.87 cores=1,3,5,7
/proc/23820/task/23835/stat : 23835 (java) R 23818 23820 19811 0 -1 4202560 10437 0 0 0 85 2 0 0 20 0 22 0 341922962 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110703770248 140110746097735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23836] ppid=23818 vsize=2966184 CPUtime=0.83 cores=1,3,5,7
/proc/23820/task/23836/stat : 23836 (java) R 23818 23820 19811 0 -1 4202560 5782 0 0 0 82 1 0 0 20 0 22 0 341922962 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110702715872 140110749953764 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23837] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23837/stat : 23837 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110701677432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23838] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23838/stat : 23838 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 89208 33554432000 1073741824 1073778376 140735911621200 140110700624840 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 2966184
[startup+3.10086 s]
/proc/loadavg: 3.44 3.74 3.66 5/221 23842
/proc/meminfo: memFree=27807064/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=2966184 CPUtime=7.63 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 23034 0 1 0 740 23 0 0 20 0 22 0 341922957 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 741546 116391 2271 9 0 732240 0
[pid=23820/tid=23821] ppid=23818 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) S 23818 23820 19811 0 -1 4202560 2943 0 1 0 110 6 0 0 20 0 22 0 341922957 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110743491736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23823] ppid=23818 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/23820/task/23823/stat : 23823 (java) S 23818 23820 19811 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 22 0 341922958 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110727772712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23824] ppid=23818 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/23820/task/23824/stat : 23824 (java) S 23818 23820 19811 0 -1 4202560 20 0 0 0 4 2 0 0 20 0 22 0 341922958 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110726719912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23825] ppid=23818 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/23820/task/23825/stat : 23825 (java) S 23818 23820 19811 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 22 0 341922958 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110725667112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23826] ppid=23818 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/23820/task/23826/stat : 23826 (java) S 23818 23820 19811 0 -1 4202560 34 0 0 0 6 2 0 0 20 0 22 0 341922958 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110724614312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23827] ppid=23818 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/23820/task/23827/stat : 23827 (java) S 23818 23820 19811 0 -1 4202560 26 0 0 0 4 2 0 0 20 0 22 0 341922958 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110723562536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23828] ppid=23818 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/23820/task/23828/stat : 23828 (java) S 23818 23820 19811 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 22 0 341922958 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110722509736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23829] ppid=23818 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/23820/task/23829/stat : 23829 (java) R 23818 23820 19811 0 -1 4202560 17 0 0 0 3 1 0 0 20 0 22 0 341922958 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110721456936 215127995452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23830] ppid=23818 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/23820/task/23830/stat : 23830 (java) S 23818 23820 19811 0 -1 4202560 20 0 0 0 5 1 0 0 20 0 22 0 341922958 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110720404136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23831] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23831/stat : 23831 (java) S 23818 23820 19811 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341922959 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110707993064 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23832] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23832/stat : 23832 (java) S 23818 23820 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110706939128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23833] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23833/stat : 23833 (java) S 23818 23820 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110705886216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23834] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23834/stat : 23834 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110704834704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23835] ppid=23818 vsize=2966184 CPUtime=1.12 cores=1,3,5,7
/proc/23820/task/23835/stat : 23835 (java) S 23818 23820 19811 0 -1 4202560 11898 0 0 0 110 2 0 0 20 0 22 0 341922962 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110703782840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23836] ppid=23818 vsize=2966184 CPUtime=1.2 cores=1,3,5,7
/proc/23820/task/23836/stat : 23836 (java) S 23818 23820 19811 0 -1 4202560 6683 0 0 0 119 1 0 0 20 0 22 0 341922962 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110702730040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23837] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23837/stat : 23837 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110701677432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23838] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23838/stat : 23838 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110700624840 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23839] ppid=23818 vsize=2966184 CPUtime=1.74 cores=1,3,5,7
/proc/23820/task/23839/stat : 23839 (java) R 23818 23820 19811 0 -1 4202560 30 0 0 0 174 0 0 0 20 0 22 0 341923076 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110699570280 140110575060000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23840] ppid=23818 vsize=2966184 CPUtime=1.74 cores=1,3,5,7
/proc/23820/task/23840/stat : 23840 (java) R 23818 23820 19811 0 -1 4202560 86 0 0 0 174 0 0 0 20 0 22 0 341923076 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110698515560 140110575195374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23841] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23841/stat : 23841 (java) S 23818 23820 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341923082 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110697464744 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23842] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23842/stat : 23842 (java) S 23818 23820 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341923083 3037372416 116391 33554432000 1073741824 1073778376 140735911621200 140110696411944 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 2966184
[startup+6.30089 s]
/proc/loadavg: 3.49 3.75 3.66 5/221 23842
/proc/meminfo: memFree=27723220/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=2966184 CPUtime=14.14 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 23243 0 1 0 1388 26 0 0 20 0 22 0 341922957 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 741546 127125 2283 9 0 732240 0
[pid=23820/tid=23821] ppid=23818 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) S 23818 23820 19811 0 -1 4202560 2943 0 1 0 110 6 0 0 20 0 22 0 341922957 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110743491736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23823] ppid=23818 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/23820/task/23823/stat : 23823 (java) S 23818 23820 19811 0 -1 4202560 25 0 0 0 9 2 0 0 20 0 22 0 341922958 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110727772712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23824] ppid=23818 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/23820/task/23824/stat : 23824 (java) S 23818 23820 19811 0 -1 4202560 24 0 0 0 8 2 0 0 20 0 22 0 341922958 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110726719912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23825] ppid=23818 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/23820/task/23825/stat : 23825 (java) S 23818 23820 19811 0 -1 4202560 35 0 0 0 9 3 0 0 20 0 22 0 341922958 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110725667112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23826] ppid=23818 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/23820/task/23826/stat : 23826 (java) S 23818 23820 19811 0 -1 4202560 42 0 0 0 11 2 0 0 20 0 22 0 341922958 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110724614312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23827] ppid=23818 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/23820/task/23827/stat : 23827 (java) S 23818 23820 19811 0 -1 4202560 27 0 0 0 8 2 0 0 20 0 22 0 341922958 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110723562536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23828] ppid=23818 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/23820/task/23828/stat : 23828 (java) S 23818 23820 19811 0 -1 4202560 25 0 0 0 6 2 0 0 20 0 22 0 341922958 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110722509736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23829] ppid=23818 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/23820/task/23829/stat : 23829 (java) S 23818 23820 19811 0 -1 4202560 21 0 0 0 8 2 0 0 20 0 22 0 341922958 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110721456936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23830] ppid=23818 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/23820/task/23830/stat : 23830 (java) S 23818 23820 19811 0 -1 4202560 23 0 0 0 8 1 0 0 20 0 22 0 341922958 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110720404136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23831] ppid=23818 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/23820/task/23831/stat : 23831 (java) S 23818 23820 19811 0 -1 4202560 49 0 0 0 15 1 0 0 20 0 22 0 341922959 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110707993064 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23832] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23832/stat : 23832 (java) S 23818 23820 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110706939128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23833] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23833/stat : 23833 (java) S 23818 23820 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110705886216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23834] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23834/stat : 23834 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 127125 33554432000 1073741824 1073778376 140735911621200 140110704834704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/23820/statm: 741546 213650 2283 9 0 732240 0
[pid=23820/tid=23821] ppid=23818 vsize=2966184 CPUtime=1.19 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) S 23818 23820 19811 0 -1 4202560 2958 0 1 0 112 7 0 0 20 0 22 0 341922957 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110743491736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23823] ppid=23818 vsize=2966184 CPUtime=4.87 cores=1,3,5,7
/proc/23820/task/23823/stat : 23823 (java) S 23818 23820 19811 0 -1 4202560 330 0 0 0 479 8 0 0 20 0 22 0 341922958 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110727772712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23824] ppid=23818 vsize=2966184 CPUtime=4.46 cores=1,3,5,7
/proc/23820/task/23824/stat : 23824 (java) S 23818 23820 19811 0 -1 4202560 320 0 0 0 438 8 0 0 20 0 22 0 341922958 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110726719912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23825] ppid=23818 vsize=2966184 CPUtime=4.47 cores=1,3,5,7
/proc/23820/task/23825/stat : 23825 (java) S 23818 23820 19811 0 -1 4202560 337 0 0 0 439 8 0 0 20 0 22 0 341922958 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110725667112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23826] ppid=23818 vsize=2966184 CPUtime=4.63 cores=1,3,5,7
/proc/23820/task/23826/stat : 23826 (java) S 23818 23820 19811 0 -1 4202560 344 0 0 0 455 8 0 0 20 0 22 0 341922958 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110724614312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23827] ppid=23818 vsize=2966184 CPUtime=4.77 cores=1,3,5,7
/proc/23820/task/23827/stat : 23827 (java) S 23818 23820 19811 0 -1 4202560 323 0 0 0 469 8 0 0 20 0 22 0 341922958 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110723562536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23828] ppid=23818 vsize=2966184 CPUtime=4.65 cores=1,3,5,7
/proc/23820/task/23828/stat : 23828 (java) S 23818 23820 19811 0 -1 4202560 338 0 0 0 457 8 0 0 20 0 22 0 341922958 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110722509736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23829] ppid=23818 vsize=2966184 CPUtime=4.57 cores=1,3,5,7
/proc/23820/task/23829/stat : 23829 (java) S 23818 23820 19811 0 -1 4202560 329 0 0 0 449 8 0 0 20 0 22 0 341922958 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110721456936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23830] ppid=23818 vsize=2966184 CPUtime=4.34 cores=1,3,5,7
/proc/23820/task/23830/stat : 23830 (java) S 23818 23820 19811 0 -1 4202560 327 0 0 0 427 7 0 0 20 0 22 0 341922958 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110720404136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23831] ppid=23818 vsize=2966184 CPUtime=16 cores=1,3,5,7
/proc/23820/task/23831/stat : 23831 (java) S 23818 23820 19811 0 -1 4202560 43704 0 0 0 1560 40 0 0 20 0 22 0 341922959 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110707993064 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23832] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23832/stat : 23832 (java) S 23818 23820 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110706939128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23833] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23833/stat : 23833 (java) S 23818 23820 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110705886216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23834] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23834/stat : 23834 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110704834704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23835] ppid=23818 vsize=2966184 CPUtime=1.4 cores=1,3,5,7
/proc/23820/task/23835/stat : 23835 (java) S 23818 23820 19811 0 -1 4202560 12041 0 0 0 137 3 0 0 20 0 22 0 341922962 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110703782840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23836] ppid=23818 vsize=2966184 CPUtime=1.71 cores=1,3,5,7
/proc/23820/task/23836/stat : 23836 (java) S 23818 23820 19811 0 -1 4202560 8951 0 0 0 169 2 0 0 20 0 22 0 341922962 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110702730040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23837] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23837/stat : 23837 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110701677432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23838] ppid=23818 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/23820/task/23838/stat : 23838 (java) S 23818 23820 19811 0 -1 4202560 47 0 0 0 18 23 0 0 20 0 22 0 341922962 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110700624840 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23839] ppid=23818 vsize=2966184 CPUtime=792.72 cores=1,3,5,7
/proc/23820/task/23839/stat : 23839 (java) R 23818 23820 19811 0 -1 4202560 227 0 0 0 79257 15 0 0 20 0 22 0 341923076 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110699568672 140110575039604 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23840] ppid=23818 vsize=2966184 CPUtime=792.79 cores=1,3,5,7
/proc/23820/task/23840/stat : 23840 (java) R 23818 23820 19811 0 -1 4202560 346 0 0 0 79265 14 0 0 20 0 22 0 341923076 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110698515024 140110575224633 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23841] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23841/stat : 23841 (java) S 23818 23820 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341923082 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110697464744 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23842] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23842/stat : 23842 (java) S 23818 23820 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341923083 3037372416 213650 33554432000 1073741824 1073778376 140735911621200 140110696411944 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1647.05
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.03 3.97 3.82 5/221 24847
/proc/meminfo: memFree=27415956/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=2966184 CPUtime=1767.12 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 75093 0 1 0 176566 146 0 0 20 0 22 0 341922957 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 741546 213649 2283 9 0 732240 0
[pid=23820/tid=23821] ppid=23818 vsize=2966184 CPUtime=1.19 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) S 23818 23820 19811 0 -1 4202560 2961 0 1 0 112 7 0 0 20 0 22 0 341922957 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110743491736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23823] ppid=23818 vsize=2966184 CPUtime=5.24 cores=1,3,5,7
/proc/23820/task/23823/stat : 23823 (java) S 23818 23820 19811 0 -1 4202560 330 0 0 0 515 9 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110727772712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23824] ppid=23818 vsize=2966184 CPUtime=4.8 cores=1,3,5,7
/proc/23820/task/23824/stat : 23824 (java) S 23818 23820 19811 0 -1 4202560 320 0 0 0 472 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110726719912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23825] ppid=23818 vsize=2966184 CPUtime=4.8 cores=1,3,5,7
/proc/23820/task/23825/stat : 23825 (java) S 23818 23820 19811 0 -1 4202560 337 0 0 0 472 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110725667112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23826] ppid=23818 vsize=2966184 CPUtime=4.97 cores=1,3,5,7
/proc/23820/task/23826/stat : 23826 (java) S 23818 23820 19811 0 -1 4202560 344 0 0 0 489 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110724614312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23827] ppid=23818 vsize=2966184 CPUtime=5.13 cores=1,3,5,7
/proc/23820/task/23827/stat : 23827 (java) S 23818 23820 19811 0 -1 4202560 323 0 0 0 505 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110723562536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23828] ppid=23818 vsize=2966184 CPUtime=4.96 cores=1,3,5,7
/proc/23820/task/23828/stat : 23828 (java) S 23818 23820 19811 0 -1 4202560 338 0 0 0 488 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110722509736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23829] ppid=23818 vsize=2966184 CPUtime=4.87 cores=1,3,5,7
/proc/23820/task/23829/stat : 23829 (java) S 23818 23820 19811 0 -1 4202560 329 0 0 0 479 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110721456936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23830] ppid=23818 vsize=2966184 CPUtime=4.66 cores=1,3,5,7
/proc/23820/task/23830/stat : 23830 (java) S 23818 23820 19811 0 -1 4202560 327 0 0 0 459 7 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110720404136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23831] ppid=23818 vsize=2966184 CPUtime=17.18 cores=1,3,5,7
/proc/23820/task/23831/stat : 23831 (java) S 23818 23820 19811 0 -1 4202560 46653 0 0 0 1677 41 0 0 20 0 22 0 341922959 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110707993064 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23832] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23832/stat : 23832 (java) S 23818 23820 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110706939128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23833] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23833/stat : 23833 (java) S 23818 23820 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110705886216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23834] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23834/stat : 23834 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110704834704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23835] ppid=23818 vsize=2966184 CPUtime=1.4 cores=1,3,5,7
/proc/23820/task/23835/stat : 23835 (java) S 23818 23820 19811 0 -1 4202560 12041 0 0 0 137 3 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110703782840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23836] ppid=23818 vsize=2966184 CPUtime=1.71 cores=1,3,5,7
/proc/23820/task/23836/stat : 23836 (java) S 23818 23820 19811 0 -1 4202560 8951 0 0 0 169 2 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110702730040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23837] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23837/stat : 23837 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110701677432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23838] ppid=23818 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/23820/task/23838/stat : 23838 (java) S 23818 23820 19811 0 -1 4202560 51 0 0 0 19 25 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110700624840 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23839] ppid=23818 vsize=2966184 CPUtime=850.66 cores=1,3,5,7
/proc/23820/task/23839/stat : 23839 (java) R 23818 23820 19811 0 -1 4202560 241 0 0 0 85051 15 0 0 20 0 22 0 341923076 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110699567920 140110575214332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23840] ppid=23818 vsize=2966184 CPUtime=850.73 cores=1,3,5,7
/proc/23820/task/23840/stat : 23840 (java) R 23818 23820 19811 0 -1 4202560 358 0 0 0 85059 14 0 0 20 0 22 0 341923076 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110698515840 140110575202420 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23841] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23841/stat : 23841 (java) S 23818 23820 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341923082 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110697464744 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23842] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23842/stat : 23842 (java) S 23818 23820 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341923083 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110696411944 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1767.12
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.601 s]
/proc/loadavg: 4.02 3.97 3.82 5/221 24847
/proc/meminfo: memFree=27415460/32873844 swapFree=7620/7620
[pid=23820] ppid=23818 vsize=2966184 CPUtime=1800.13 cores=1,3,5,7
/proc/23820/stat : 23820 (java) S 23818 23820 19811 0 -1 4202496 75099 0 1 0 179865 148 0 0 20 0 22 0 341922957 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140735911612336 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23820/statm: 741546 213649 2283 9 0 732240 0
[pid=23820/tid=23821] ppid=23818 vsize=2966184 CPUtime=1.19 cores=1,3,5,7
/proc/23820/task/23821/stat : 23821 (java) S 23818 23820 19811 0 -1 4202560 2962 0 1 0 112 7 0 0 20 0 22 0 341922957 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110743491736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23823] ppid=23818 vsize=2966184 CPUtime=5.33 cores=1,3,5,7
/proc/23820/task/23823/stat : 23823 (java) S 23818 23820 19811 0 -1 4202560 330 0 0 0 524 9 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110727772712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23824] ppid=23818 vsize=2966184 CPUtime=4.92 cores=1,3,5,7
/proc/23820/task/23824/stat : 23824 (java) S 23818 23820 19811 0 -1 4202560 320 0 0 0 484 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110726719912 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23825] ppid=23818 vsize=2966184 CPUtime=4.91 cores=1,3,5,7
/proc/23820/task/23825/stat : 23825 (java) S 23818 23820 19811 0 -1 4202560 337 0 0 0 483 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110725667112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23826] ppid=23818 vsize=2966184 CPUtime=5.09 cores=1,3,5,7
/proc/23820/task/23826/stat : 23826 (java) S 23818 23820 19811 0 -1 4202560 344 0 0 0 501 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110724614312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23827] ppid=23818 vsize=2966184 CPUtime=5.22 cores=1,3,5,7
/proc/23820/task/23827/stat : 23827 (java) S 23818 23820 19811 0 -1 4202560 323 0 0 0 514 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110723562536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23828] ppid=23818 vsize=2966184 CPUtime=5.02 cores=1,3,5,7
/proc/23820/task/23828/stat : 23828 (java) S 23818 23820 19811 0 -1 4202560 338 0 0 0 494 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110722509736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23829] ppid=23818 vsize=2966184 CPUtime=4.95 cores=1,3,5,7
/proc/23820/task/23829/stat : 23829 (java) S 23818 23820 19811 0 -1 4202560 329 0 0 0 487 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110721456936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23830] ppid=23818 vsize=2966184 CPUtime=4.75 cores=1,3,5,7
/proc/23820/task/23830/stat : 23830 (java) S 23818 23820 19811 0 -1 4202560 327 0 0 0 467 8 0 0 20 0 22 0 341922958 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110720404136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23831] ppid=23818 vsize=2966184 CPUtime=17.18 cores=1,3,5,7
/proc/23820/task/23831/stat : 23831 (java) S 23818 23820 19811 0 -1 4202560 46653 0 0 0 1677 41 0 0 20 0 22 0 341922959 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110707993064 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23832] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23832/stat : 23832 (java) S 23818 23820 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110706939128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23833] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23833/stat : 23833 (java) S 23818 23820 19811 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341922960 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110705886216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23834] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23834/stat : 23834 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110704834704 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23835] ppid=23818 vsize=2966184 CPUtime=1.4 cores=1,3,5,7
/proc/23820/task/23835/stat : 23835 (java) S 23818 23820 19811 0 -1 4202560 12041 0 0 0 137 3 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110703782840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23836] ppid=23818 vsize=2966184 CPUtime=1.71 cores=1,3,5,7
/proc/23820/task/23836/stat : 23836 (java) S 23818 23820 19811 0 -1 4202560 8951 0 0 0 169 2 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110702730040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23820/tid=23837] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23837/stat : 23837 (java) S 23818 23820 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110701677432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23820/tid=23838] ppid=23818 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/23820/task/23838/stat : 23838 (java) S 23818 23820 19811 0 -1 4202560 51 0 0 0 20 25 0 0 20 0 22 0 341922962 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110700624840 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23839] ppid=23818 vsize=2966184 CPUtime=866.73 cores=1,3,5,7
/proc/23820/task/23839/stat : 23839 (java) R 23818 23820 19811 0 -1 4202560 243 0 0 0 86657 16 0 0 20 0 22 0 341923076 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110699568720 140110575060049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23820/tid=23840] ppid=23818 vsize=2966184 CPUtime=866.8 cores=1,3,5,7
/proc/23820/task/23840/stat : 23840 (java) R 23818 23820 19811 0 -1 4202560 361 0 0 0 86665 15 0 0 20 0 22 0 341923076 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110698515024 140110575195534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23841] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23841/stat : 23841 (java) S 23818 23820 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341923082 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110697464744 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23820/tid=23842] ppid=23818 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/23820/task/23842/stat : 23842 (java) S 23818 23820 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341923083 3037372416 213649 33554432000 1073741824 1073778376 140735911621200 140110696411944 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23820 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=220237
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=910709
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.689
CPU time (s): 1800.13
CPU user time (s): 1798.65
CPU system time (s): 1.48
CPU usage (%): 200.306
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.22
system time used= 1.91071
maximum resident set size= 860552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75130
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35211
involuntary context switches= 76007
runsolver used 3.83242 second user time and 8.87265 second system time
The end