runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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-3190367-1302599282/watcher-3190367-1302599282 -o /tmp/evaluation-result-3190367-1302599282/solver-3190367-1302599282 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190367-1302599282.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.01 3.83 8/243 29929
/proc/meminfo: memFree=11408096/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=30528 CPUtime=0 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 1250 0 0 0 0 0 0 0 25 0 2 0 371526776 31260672 966 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 7632 966 739 9 0 383 0
[pid=29929/tid=29930] ppid=29927 vsize=30528 CPUtime=0 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 2 0 371526776 31260672 966 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210204701865 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.07897 s]
/proc/loadavg: 4.00 4.01 3.83 8/243 29929
/proc/meminfo: memFree=11408096/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7569940 CPUtime=0.07 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 9499 0 1 0 6 1 0 0 25 0 18 0 371526776 7751618560 9192 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1892485 9193 1754 9 0 1883223 0
[pid=29929/tid=29930] ppid=29927 vsize=7569940 CPUtime=0.07 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 8322 0 1 0 6 1 0 0 25 0 18 0 371526776 7751618560 9193 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 47779460297781 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7569940
[startup+0.100967 s]
/proc/loadavg: 4.00 4.01 3.83 8/243 29929
/proc/meminfo: memFree=11408096/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 10253 0 1 0 8 1 0 0 25 0 18 0 371526776 7751618560 9946 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1892485 9947 1757 9 0 1883223 0
[pid=29929/tid=29930] ppid=29927 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 9076 0 1 0 8 1 0 0 25 0 18 0 371526776 7751618560 9947 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940
[startup+0.300906 s]
/proc/loadavg: 4.00 4.01 3.83 8/243 29929
/proc/meminfo: memFree=11408096/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7571724 CPUtime=0.4 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 15525 0 1 0 38 2 0 0 25 0 18 0 371526776 7753445376 15009 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1892931 15009 2197 9 0 1883669 0
[pid=29929/tid=29930] ppid=29927 vsize=7571724 CPUtime=0.28 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 13208 0 1 0 26 2 0 0 25 0 18 0 371526776 7753445376 15009 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 46912505491140 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7571724
[startup+0.700838 s]
/proc/loadavg: 4.00 4.01 3.83 8/243 29929
/proc/meminfo: memFree=11408096/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7644856 CPUtime=1.06 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 21715 0 1 0 103 3 0 0 25 0 19 0 371526776 7828332544 20571 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1911214 20571 2220 9 0 1901952 0
[pid=29929/tid=29930] ppid=29927 vsize=7644856 CPUtime=0.68 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 16932 0 1 0 65 3 0 0 25 0 19 0 371526776 7828332544 20571 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 46912505202503 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7644856
[startup+1.50071 s]
/proc/loadavg: 4.00 4.01 3.83 5/262 29948
/proc/meminfo: memFree=11308072/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7644856 CPUtime=1.99 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 22395 0 1 0 195 4 0 0 25 0 19 0 371526776 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1911214 21207 2225 9 0 1901952 0
[pid=29929/tid=29930] ppid=29927 vsize=7644856 CPUtime=1.47 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 17500 0 1 0 144 3 0 0 25 0 19 0 371526776 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 46912505649153 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29929/tid=29932] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29932/stat : 29932 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29933] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29933/stat : 29933 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29934] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29934/stat : 29934 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29935] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29935/stat : 29935 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29936] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29936/stat : 29936 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29937] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29937/stat : 29937 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29938] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29938/stat : 29938 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29939] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29939/stat : 29939 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29940] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29940/stat : 29940 (java) S 29927 29929 29350 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 371526778 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 0 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29941] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29941/stat : 29941 (java) S 29927 29929 29350 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 371526779 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29942] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29942/stat : 29942 (java) S 29927 29929 29350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371526779 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29943] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29943/stat : 29943 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216470961 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29944] ppid=29927 vsize=7644856 CPUtime=0.16 cores=5,7
/proc/29929/task/29944/stat : 29944 (java) S 29927 29929 29350 0 -1 4202560 379 0 0 0 16 0 0 0 15 0 19 0 371526781 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29945] ppid=29927 vsize=7644856 CPUtime=0.34 cores=5,7
/proc/29929/task/29945/stat : 29945 (java) S 29927 29929 29350 0 -1 4202560 3352 0 0 0 34 0 0 0 15 0 19 0 371526781 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29946] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29946/stat : 29946 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29947] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29947/stat : 29947 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526781 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29948] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29948/stat : 29948 (java) S 29927 29929 29350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371526821 7828332544 21207 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 7644856
[startup+3.10147 s]
/proc/loadavg: 4.00 4.01 3.83 5/262 29948
/proc/meminfo: memFree=11298028/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7644856 CPUtime=3.59 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 22800 0 1 0 355 4 0 0 25 0 19 0 371526776 7828332544 21611 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1911214 21611 2225 9 0 1901952 0
[pid=29929/tid=29930] ppid=29927 vsize=7644856 CPUtime=3.07 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 17904 0 1 0 304 3 0 0 25 0 19 0 371526776 7828332544 21611 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29929/tid=29932] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29932/stat : 29932 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21611 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29933] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29933/stat : 29933 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21611 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29934] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29934/stat : 29934 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21611 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29935] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29935/stat : 29935 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21611 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29936] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29936/stat : 29936 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21611 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29937] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29937/stat : 29937 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21611 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29938] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29938/stat : 29938 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29939] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29939/stat : 29939 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29940] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29940/stat : 29940 (java) S 29927 29929 29350 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 371526778 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 0 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29941] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29941/stat : 29941 (java) S 29927 29929 29350 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 371526779 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29942] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29942/stat : 29942 (java) S 29927 29929 29350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371526779 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29943] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29943/stat : 29943 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216470961 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29944] ppid=29927 vsize=7644856 CPUtime=0.17 cores=5,7
/proc/29929/task/29944/stat : 29944 (java) S 29927 29929 29350 0 -1 4202560 379 0 0 0 17 0 0 0 15 0 19 0 371526781 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29945] ppid=29927 vsize=7644856 CPUtime=0.34 cores=5,7
/proc/29929/task/29945/stat : 29945 (java) S 29927 29929 29350 0 -1 4202560 3352 0 0 0 34 0 0 0 15 0 19 0 371526781 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29946] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29946/stat : 29946 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29947] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29947/stat : 29947 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526781 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29948] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29948/stat : 29948 (java) S 29927 29929 29350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371526821 7828332544 21613 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 7644856
[startup+6.30093 s]
/proc/loadavg: 4.00 4.01 3.83 6/262 29948
/proc/meminfo: memFree=11257380/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7644856 CPUtime=6.79 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 23556 0 1 0 675 4 0 0 25 0 19 0 371526776 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1911214 22366 2225 9 0 1901952 0
[pid=29929/tid=29930] ppid=29927 vsize=7644856 CPUtime=6.26 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 18660 0 1 0 623 3 0 0 21 0 19 0 371526776 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 46912505640278 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29929/tid=29932] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29932/stat : 29932 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29933] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29933/stat : 29933 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29934] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29934/stat : 29934 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29935] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29935/stat : 29935 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29936] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29936/stat : 29936 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29937] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29937/stat : 29937 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29938] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29938/stat : 29938 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29939] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29939/stat : 29939 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526777 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29940] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29940/stat : 29940 (java) S 29927 29929 29350 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 371526778 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 0 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29941] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29941/stat : 29941 (java) S 29927 29929 29350 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 371526779 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29942] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29942/stat : 29942 (java) S 29927 29929 29350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371526779 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29943] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29943/stat : 29943 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216470961 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29944] ppid=29927 vsize=7644856 CPUtime=0.17 cores=5,7
/proc/29929/task/29944/stat : 29944 (java) S 29927 29929 29350 0 -1 4202560 379 0 0 0 17 0 0 0 15 0 19 0 371526781 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29945] ppid=29927 vsize=7644856 CPUtime=0.34 cores=5,7
/proc/29929/task/29945/stat : 29945 (java) S 29927 29929 29350 0 -1 4202560 3352 0 0 0 34 0 0 0 15 0 19 0 371526781 7828332544 22366 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=29929/tid=29937] ppid=29927 vsize=7644856 CPUtime=0.11 cores=5,7
/proc/29929/task/29937/stat : 29937 (java) S 29927 29929 29350 0 -1 4202560 1072 0 0 0 11 0 0 0 15 0 19 0 371526777 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29938] ppid=29927 vsize=7644856 CPUtime=0.14 cores=5,7
/proc/29929/task/29938/stat : 29938 (java) S 29927 29929 29350 0 -1 4202560 2750 0 0 0 14 0 0 0 15 0 19 0 371526777 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29939] ppid=29927 vsize=7644856 CPUtime=0.11 cores=5,7
/proc/29929/task/29939/stat : 29939 (java) S 29927 29929 29350 0 -1 4202560 3635 0 0 0 11 0 0 0 15 0 19 0 371526777 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29940] ppid=29927 vsize=7644856 CPUtime=4.82 cores=5,7
/proc/29929/task/29940/stat : 29940 (java) S 29927 29929 29350 0 -1 4202560 12109 0 0 0 481 1 0 0 15 0 19 0 371526778 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 0 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29941] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29941/stat : 29941 (java) S 29927 29929 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526779 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29942] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29942/stat : 29942 (java) S 29927 29929 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371526779 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29943] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29943/stat : 29943 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216470961 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29944] ppid=29927 vsize=7644856 CPUtime=0.19 cores=5,7
/proc/29929/task/29944/stat : 29944 (java) S 29927 29929 29350 0 -1 4202560 385 0 0 0 19 0 0 0 15 0 19 0 371526781 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29945] ppid=29927 vsize=7644856 CPUtime=0.41 cores=5,7
/proc/29929/task/29945/stat : 29945 (java) S 29927 29929 29350 0 -1 4202560 3766 0 0 0 41 0 0 0 15 0 19 0 371526781 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29946] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29946/stat : 29946 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29947] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29947/stat : 29947 (java) S 29927 29929 29350 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371526781 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29948] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29948/stat : 29948 (java) S 29927 29929 29350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371526821 7828332544 74406 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1123.4
Current children cumulated vsize (KiB) 7644856
[startup+1182.3 s]
/proc/loadavg: 4.05 4.02 3.93 6/262 29980
/proc/meminfo: memFree=10797416/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7644856 CPUtime=1183.42 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 76040 0 1 0 118327 15 0 0 25 0 19 0 371526776 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1911214 74646 2253 9 0 1901952 0
[pid=29929/tid=29930] ppid=29927 vsize=7644856 CPUtime=1176.56 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 30329 0 1 0 117648 8 0 0 25 0 19 0 371526776 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 46912505640742 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29929/tid=29932] ppid=29927 vsize=7644856 CPUtime=0.17 cores=5,7
/proc/29929/task/29932/stat : 29932 (java) S 29927 29929 29350 0 -1 4202560 6485 0 0 0 17 0 0 0 15 0 19 0 371526777 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29933] ppid=29927 vsize=7644856 CPUtime=0.15 cores=5,7
/proc/29929/task/29933/stat : 29933 (java) S 29927 29929 29350 0 -1 4202560 4383 0 0 0 15 0 0 0 15 0 19 0 371526777 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29934] ppid=29927 vsize=7644856 CPUtime=0.17 cores=5,7
/proc/29929/task/29934/stat : 29934 (java) S 29927 29929 29350 0 -1 4202560 3734 0 0 0 17 0 0 0 15 0 19 0 371526777 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29935] ppid=29927 vsize=7644856 CPUtime=0.15 cores=5,7
/proc/29929/task/29935/stat : 29935 (java) S 29927 29929 29350 0 -1 4202560 3077 0 0 0 15 0 0 0 15 0 19 0 371526777 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29936] ppid=29927 vsize=7644856 CPUtime=0.18 cores=5,7
/proc/29929/task/29936/stat : 29936 (java) S 29927 29929 29350 0 -1 4202560 2885 0 0 0 18 0 0 0 15 0 19 0 371526777 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29937] ppid=29927 vsize=7644856 CPUtime=0.11 cores=5,7
/proc/29929/task/29937/stat : 29937 (java) S 29927 29929 29350 0 -1 4202560 1072 0 0 0 11 0 0 0 15 0 19 0 371526777 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29938] ppid=29927 vsize=7644856 CPUtime=0.14 cores=5,7
/proc/29929/task/29938/stat : 29938 (java) S 29927 29929 29350 0 -1 4202560 2750 0 0 0 14 0 0 0 15 0 19 0 371526777 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29939] ppid=29927 vsize=7644856 CPUtime=0.11 cores=5,7
/proc/29929/task/29939/stat : 29939 (java) S 29927 29929 29350 0 -1 4202560 3635 0 0 0 11 0 0 0 15 0 19 0 371526777 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29940] ppid=29927 vsize=7644856 CPUtime=4.95 cores=5,7
/proc/29929/task/29940/stat : 29940 (java) S 29927 29929 29350 0 -1 4202560 12316 0 0 0 494 1 0 0 15 0 19 0 371526778 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 0 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29941] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29941/stat : 29941 (java) S 29927 29929 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526779 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29942] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29942/stat : 29942 (java) S 29927 29929 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371526779 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29943] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29943/stat : 29943 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216470961 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29944] ppid=29927 vsize=7644856 CPUtime=0.19 cores=5,7
/proc/29929/task/29944/stat : 29944 (java) S 29927 29929 29350 0 -1 4202560 385 0 0 0 19 0 0 0 15 0 19 0 371526781 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29945] ppid=29927 vsize=7644856 CPUtime=0.41 cores=5,7
/proc/29929/task/29945/stat : 29945 (java) S 29927 29929 29350 0 -1 4202560 3766 0 0 0 41 0 0 0 15 0 19 0 371526781 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29946] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29946/stat : 29946 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29947] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29947/stat : 29947 (java) S 29927 29929 29350 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371526781 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29948] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29948/stat : 29948 (java) S 29927 29929 29350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371526821 7828332544 74646 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.42
Current children cumulated vsize (KiB) 7644856
[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 3.93 5/262 29982
/proc/meminfo: memFree=10774556/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7644856 CPUtime=1243.45 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 81102 0 1 0 124328 17 0 0 25 0 19 0 371526776 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1911214 79701 2253 9 0 1901952 0
[pid=29929/tid=29930] ppid=29927 vsize=7644856 CPUtime=1236.36 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 33442 0 1 0 123627 9 0 0 25 0 19 0 371526776 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 46912505366483 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29929/tid=29932] ppid=29927 vsize=7644856 CPUtime=0.17 cores=5,7
/proc/29929/task/29932/stat : 29932 (java) S 29927 29929 29350 0 -1 4202560 6485 0 0 0 17 0 0 0 15 0 19 0 371526777 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29933] ppid=29927 vsize=7644856 CPUtime=0.15 cores=5,7
/proc/29929/task/29933/stat : 29933 (java) S 29927 29929 29350 0 -1 4202560 4383 0 0 0 15 0 0 0 15 0 19 0 371526777 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29934] ppid=29927 vsize=7644856 CPUtime=0.19 cores=5,7
/proc/29929/task/29934/stat : 29934 (java) S 29927 29929 29350 0 -1 4202560 4730 0 0 0 19 0 0 0 15 0 19 0 371526777 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29935] ppid=29927 vsize=7644856 CPUtime=0.15 cores=5,7
/proc/29929/task/29935/stat : 29935 (java) S 29927 29929 29350 0 -1 4202560 3077 0 0 0 15 0 0 0 15 0 19 0 371526777 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29936] ppid=29927 vsize=7644856 CPUtime=0.18 cores=5,7
/proc/29929/task/29936/stat : 29936 (java) S 29927 29929 29350 0 -1 4202560 2885 0 0 0 18 0 0 0 15 0 19 0 371526777 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29937] ppid=29927 vsize=7644856 CPUtime=0.13 cores=5,7
/proc/29929/task/29937/stat : 29937 (java) S 29927 29929 29350 0 -1 4202560 2019 0 0 0 13 0 0 0 15 0 19 0 371526777 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29938] ppid=29927 vsize=7644856 CPUtime=0.14 cores=5,7
/proc/29929/task/29938/stat : 29938 (java) S 29927 29929 29350 0 -1 4202560 2750 0 0 0 14 0 0 0 15 0 19 0 371526777 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29939] ppid=29927 vsize=7644856 CPUtime=0.11 cores=5,7
/proc/29929/task/29939/stat : 29939 (java) S 29927 29929 29350 0 -1 4202560 3635 0 0 0 11 0 0 0 15 0 19 0 371526777 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29940] ppid=29927 vsize=7644856 CPUtime=5.12 cores=5,7
/proc/29929/task/29940/stat : 29940 (java) S 29927 29929 29350 0 -1 4202560 12318 0 0 0 511 1 0 0 15 0 19 0 371526778 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 0 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29941] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29941/stat : 29941 (java) S 29927 29929 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526779 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29942] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29942/stat : 29942 (java) S 29927 29929 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371526779 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29943] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29943/stat : 29943 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216470961 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29944] ppid=29927 vsize=7644856 CPUtime=0.19 cores=5,7
/proc/29929/task/29944/stat : 29944 (java) S 29927 29929 29350 0 -1 4202560 385 0 0 0 19 0 0 0 15 0 19 0 371526781 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29945] ppid=29927 vsize=7644856 CPUtime=0.41 cores=5,7
/proc/29929/task/29945/stat : 29945 (java) S 29927 29929 29350 0 -1 4202560 3766 0 0 0 41 0 0 0 15 0 19 0 371526781 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29946] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29946/stat : 29946 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29947] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29947/stat : 29947 (java) S 29927 29929 29350 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371526781 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29948] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29948/stat : 29948 (java) S 29927 29929 29350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371526821 7828332544 79701 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.45
Current children cumulated vsize (KiB) 7644856
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.11 4.04 3.94 2/202 29992
/proc/meminfo: memFree=11215032/32951124 swapFree=67111528/67111528
[pid=29929] ppid=29927 vsize=7644856 CPUtime=1301.17 cores=5,7
/proc/29929/stat : 29929 (java) S 29927 29929 29350 0 -1 4202496 84214 0 1 0 130100 17 0 0 25 0 19 0 371526776 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 1911214 82806 2253 9 0 1901952 0
[pid=29929/tid=29930] ppid=29927 vsize=7644856 CPUtime=1293.92 cores=5,7
/proc/29929/task/29930/stat : 29930 (java) R 29927 29929 29350 0 -1 4202560 33443 0 1 0 129383 9 0 0 25 0 19 0 371526776 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 46912505748469 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29929/tid=29932] ppid=29927 vsize=7644856 CPUtime=0.2 cores=5,7
/proc/29929/task/29932/stat : 29932 (java) S 29927 29929 29350 0 -1 4202560 8072 0 0 0 19 1 0 0 16 0 19 0 371526777 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29933] ppid=29927 vsize=7644856 CPUtime=0.15 cores=5,7
/proc/29929/task/29933/stat : 29933 (java) S 29927 29929 29350 0 -1 4202560 4383 0 0 0 15 0 0 0 15 0 19 0 371526777 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29934] ppid=29927 vsize=7644856 CPUtime=0.19 cores=5,7
/proc/29929/task/29934/stat : 29934 (java) S 29927 29929 29350 0 -1 4202560 4730 0 0 0 19 0 0 0 15 0 19 0 371526777 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29935] ppid=29927 vsize=7644856 CPUtime=0.15 cores=5,7
/proc/29929/task/29935/stat : 29935 (java) S 29927 29929 29350 0 -1 4202560 3077 0 0 0 15 0 0 0 15 0 19 0 371526777 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29936] ppid=29927 vsize=7644856 CPUtime=0.18 cores=5,7
/proc/29929/task/29936/stat : 29936 (java) S 29927 29929 29350 0 -1 4202560 2885 0 0 0 18 0 0 0 15 0 19 0 371526777 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29937] ppid=29927 vsize=7644856 CPUtime=0.13 cores=5,7
/proc/29929/task/29937/stat : 29937 (java) S 29927 29929 29350 0 -1 4202560 2019 0 0 0 13 0 0 0 15 0 19 0 371526777 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29938] ppid=29927 vsize=7644856 CPUtime=0.17 cores=5,7
/proc/29929/task/29938/stat : 29938 (java) S 29927 29929 29350 0 -1 4202560 4244 0 0 0 17 0 0 0 16 0 19 0 371526777 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29939] ppid=29927 vsize=7644856 CPUtime=0.11 cores=5,7
/proc/29929/task/29939/stat : 29939 (java) S 29927 29929 29350 0 -1 4202560 3635 0 0 0 11 0 0 0 15 0 19 0 371526777 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29940] ppid=29927 vsize=7644856 CPUtime=5.25 cores=5,7
/proc/29929/task/29940/stat : 29940 (java) S 29927 29929 29350 0 -1 4202560 12344 0 0 0 524 1 0 0 15 0 19 0 371526778 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 0 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29941] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29941/stat : 29941 (java) S 29927 29929 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526779 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29942] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29942/stat : 29942 (java) S 29927 29929 29350 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371526779 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29943] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29943/stat : 29943 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216470961 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29944] ppid=29927 vsize=7644856 CPUtime=0.19 cores=5,7
/proc/29929/task/29944/stat : 29944 (java) S 29927 29929 29350 0 -1 4202560 385 0 0 0 19 0 0 0 15 0 19 0 371526781 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29945] ppid=29927 vsize=7644856 CPUtime=0.41 cores=5,7
/proc/29929/task/29945/stat : 29945 (java) S 29927 29929 29350 0 -1 4202560 3766 0 0 0 41 0 0 0 15 0 19 0 371526781 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29946] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29946/stat : 29946 (java) S 29927 29929 29350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371526781 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463257 0 4 0 16800975 18446604466142595904 0 0 -1 5 0 0 0
[pid=29929/tid=29947] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29947/stat : 29947 (java) S 29927 29929 29350 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371526781 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
[pid=29929/tid=29948] ppid=29927 vsize=7644856 CPUtime=0 cores=5,7
/proc/29929/task/29948/stat : 29948 (java) S 29927 29929 29350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371526821 7828332544 82806 33554432000 1073741824 1073778376 140733492949568 18446744073709551615 210216463872 0 4 0 16800975 18446604466142595904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.17
Current children cumulated vsize (KiB) 7644856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.25
CPU user time (s): 1301.06
CPU system time (s): 0.19097
CPU usage (%): 100.092
Max. virtual memory (cumulated for all children) (KiB): 7644856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.06
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84389
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27760
involuntary context switches= 5474
runsolver used 2.16067 second user time and 4.94925 second system time
The end