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-3741898-1338783674/watcher-3741898-1338783674 -o /tmp/evaluation-result-3741898-1338783674/solver-3741898-1338783674 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741898-1338783674.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.46 3.53 3.32 4/197 8349
/proc/meminfo: memFree=28139556/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/8349/stat : 8349 (java6) R 8347 8349 7918 0 -1 4202496 142 0 0 0 0 0 0 0 20 0 1 0 344492304 9445376 93 33554432000 1073741824 1073778376 140733626322032 140733626319160 233211737527 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8349/statm: 2306 94 75 9 0 38 0
[startup+0.07247 s]
/proc/loadavg: 3.46 3.53 3.32 4/197 8349
/proc/meminfo: memFree=28139556/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/8349/stat : 8349 (java) S 8347 8349 7918 0 -1 4202496 3894 0 1 0 4 1 0 0 20 0 18 0 344492304 2764726272 5102 33554432000 1073741824 1073778376 140736496863280 140736496854416 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8349/statm: 674982 5102 1757 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100286 s]
/proc/loadavg: 3.46 3.53 3.32 4/197 8349
/proc/meminfo: memFree=28139556/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/8349/stat : 8349 (java) S 8347 8349 7918 0 -1 4202496 4191 0 1 0 7 1 0 0 20 0 18 0 344492304 2764726272 5399 33554432000 1073741824 1073778376 140736496863280 140736496854416 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8349/statm: 674982 5400 1934 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928
[startup+0.300255 s]
/proc/loadavg: 3.46 3.53 3.32 4/197 8349
/proc/meminfo: memFree=28139556/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=2699928 CPUtime=0.55 cores=1,3,5,7
/proc/8349/stat : 8349 (java) S 8347 8349 7918 0 -1 4202496 7606 0 1 0 53 2 0 0 20 0 18 0 344492304 2764726272 10236 33554432000 1073741824 1073778376 140736496863280 140736496854416 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8349/statm: 674982 10236 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2699928
[startup+0.70021 s]
/proc/loadavg: 3.46 3.53 3.32 4/197 8349
/proc/meminfo: memFree=28139556/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=2966184 CPUtime=1.92 cores=1,3,5,7
/proc/8349/stat : 8349 (java) S 8347 8349 7918 0 -1 4202496 13359 0 1 0 188 4 0 0 20 0 22 0 344492304 3037372416 21433 33554432000 1073741824 1073778376 140736496863280 140736496854416 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8349/statm: 741546 21433 2254 9 0 732240 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 2966184
[startup+1.5008 s]
/proc/loadavg: 3.58 3.55 3.33 7/219 8371
/proc/meminfo: memFree=28006936/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=2966184 CPUtime=4.57 cores=1,3,5,7
/proc/8349/stat : 8349 (java) S 8347 8349 7918 0 -1 4202496 22796 0 1 0 448 9 0 0 20 0 22 0 344492304 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140736496854416 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8349/statm: 741546 78049 2259 9 0 732240 0
[pid=8349/tid=8351] ppid=8347 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/8349/task/8351/stat : 8351 (java) S 8347 8349 7918 0 -1 4202560 2868 0 1 0 40 2 0 0 20 0 22 0 344492305 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380269421720 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8352] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8352/stat : 8352 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380135991720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8353] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8353/stat : 8353 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380134939176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8354] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8354/stat : 8354 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380066539688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8355] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8355/stat : 8355 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380065487144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8356] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8356/stat : 8356 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380064435112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8357] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8357/stat : 8357 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380063382568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8358] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8358/stat : 8358 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380062329512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8359] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8359/stat : 8359 (java) S 8347 8349 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380061276968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8360] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8360/stat : 8360 (java) S 8347 8349 7918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344492308 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380049078632 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8361] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8361/stat : 8361 (java) S 8347 8349 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380048024952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8362] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8362/stat : 8362 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380046971784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8363] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8363/stat : 8363 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380045920528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8364] ppid=8347 vsize=2966184 CPUtime=1.02 cores=1,3,5,7
/proc/8349/task/8364/stat : 8364 (java) S 8347 8349 7918 0 -1 4202560 10653 0 0 0 100 2 0 0 20 0 22 0 344492311 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380044868408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8365] ppid=8347 vsize=2966184 CPUtime=1.01 cores=1,3,5,7
/proc/8349/task/8365/stat : 8365 (java) S 8347 8349 7918 0 -1 4202560 7872 0 0 0 100 1 0 0 20 0 22 0 344492311 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380043815864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8366] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8366/stat : 8366 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380042763000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8367] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8367/stat : 8367 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380041710664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8368] ppid=8347 vsize=2966184 CPUtime=1.01 cores=1,3,5,7
/proc/8349/task/8368/stat : 8368 (java) R 8347 8349 7918 0 -1 4202560 26 0 0 0 101 0 0 0 20 0 22 0 344492350 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380040655416 140380142238146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8369] ppid=8347 vsize=2966184 CPUtime=1.02 cores=1,3,5,7
/proc/8349/task/8369/stat : 8369 (java) R 8347 8349 7918 0 -1 4202560 175 0 0 0 99 3 0 0 20 0 22 0 344492350 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380039600984 140380142453671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8370] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8370/stat : 8370 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380038550312 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8371] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8371/stat : 8371 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 78049 33554432000 1073741824 1073778376 140736496863280 140380037497768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 2966184
[startup+3.10083 s]
/proc/loadavg: 3.58 3.55 3.33 8/219 8371
/proc/meminfo: memFree=27711472/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=2966184 CPUtime=7.92 cores=1,3,5,7
/proc/8349/stat : 8349 (java) S 8347 8349 7918 0 -1 4202496 22948 0 1 0 778 14 0 0 20 0 22 0 344492304 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140736496854416 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8349/statm: 741546 109855 2284 9 0 732240 0
[pid=8349/tid=8351] ppid=8347 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/8349/task/8351/stat : 8351 (java) S 8347 8349 7918 0 -1 4202560 2868 0 1 0 40 2 0 0 20 0 22 0 344492305 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380269421720 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8352] ppid=8347 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8349/task/8352/stat : 8352 (java) S 8347 8349 7918 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 344492307 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380135991720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8353] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8353/stat : 8353 (java) S 8347 8349 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380134939176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8354] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8354/stat : 8354 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380066539688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8355] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8355/stat : 8355 (java) S 8347 8349 7918 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380065487144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8356] ppid=8347 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8349/task/8356/stat : 8356 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 344492307 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380064435112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8357] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8357/stat : 8357 (java) S 8347 8349 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380063382568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8358] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8358/stat : 8358 (java) S 8347 8349 7918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380062329512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8359] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8359/stat : 8359 (java) S 8347 8349 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380061276968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8360] ppid=8347 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8349/task/8360/stat : 8360 (java) S 8347 8349 7918 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 344492308 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380049078632 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8361] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8361/stat : 8361 (java) S 8347 8349 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380048024952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8362] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8362/stat : 8362 (java) S 8347 8349 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380046971784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8363] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8363/stat : 8363 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380045920528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8364] ppid=8347 vsize=2966184 CPUtime=1.09 cores=1,3,5,7
/proc/8349/task/8364/stat : 8364 (java) S 8347 8349 7918 0 -1 4202560 10659 0 0 0 107 2 0 0 20 0 22 0 344492311 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380044868408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8365] ppid=8347 vsize=2966184 CPUtime=1.1 cores=1,3,5,7
/proc/8349/task/8365/stat : 8365 (java) S 8347 8349 7918 0 -1 4202560 7885 0 0 0 109 1 0 0 20 0 22 0 344492311 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380043815864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8366] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8366/stat : 8366 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380042763000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8367] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8367/stat : 8367 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380041710664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8368] ppid=8347 vsize=2966184 CPUtime=2.52 cores=1,3,5,7
/proc/8349/task/8368/stat : 8368 (java) R 8347 8349 7918 0 -1 4202560 28 0 0 0 252 0 0 0 20 0 22 0 344492350 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380040652992 140380142374718 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8369] ppid=8347 vsize=2966184 CPUtime=2.55 cores=1,3,5,7
/proc/8349/task/8369/stat : 8369 (java) R 8347 8349 7918 0 -1 4202560 222 0 0 0 249 6 0 0 20 0 22 0 344492350 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380039601368 140380142247195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8370] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8370/stat : 8370 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380038550312 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8371] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8371/stat : 8371 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 109855 33554432000 1073741824 1073778376 140736496863280 140380037497768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 2966184
[startup+6.30089 s]
/proc/loadavg: 3.58 3.55 3.33 5/219 8371
/proc/meminfo: memFree=27696076/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=2966184 CPUtime=14.42 cores=1,3,5,7
/proc/8349/stat : 8349 (java) S 8347 8349 7918 0 -1 4202496 22988 0 1 0 1427 15 0 0 20 0 22 0 344492304 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140736496854416 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8349/statm: 741546 112431 2284 9 0 732240 0
[pid=8349/tid=8351] ppid=8347 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/8349/task/8351/stat : 8351 (java) S 8347 8349 7918 0 -1 4202560 2868 0 1 0 40 2 0 0 20 0 22 0 344492305 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380269421720 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8352] ppid=8347 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8349/task/8352/stat : 8352 (java) S 8347 8349 7918 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 344492307 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380135991720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8353] ppid=8347 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8349/task/8353/stat : 8353 (java) S 8347 8349 7918 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 344492307 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380134939176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8354] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8354/stat : 8354 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492307 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380066539688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8355] ppid=8347 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8349/task/8355/stat : 8355 (java) S 8347 8349 7918 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 344492307 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380065487144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8356] ppid=8347 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8349/task/8356/stat : 8356 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 344492307 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380064435112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8357] ppid=8347 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8349/task/8357/stat : 8357 (java) S 8347 8349 7918 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 344492307 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380063382568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8358] ppid=8347 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8349/task/8358/stat : 8358 (java) S 8347 8349 7918 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 344492307 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380062329512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8359] ppid=8347 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8349/task/8359/stat : 8359 (java) S 8347 8349 7918 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 344492307 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380061276968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8360] ppid=8347 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/8349/task/8360/stat : 8360 (java) S 8347 8349 7918 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 22 0 344492308 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380049078632 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8361] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8361/stat : 8361 (java) S 8347 8349 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380048024952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8362] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8362/stat : 8362 (java) S 8347 8349 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380046971784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8363] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8363/stat : 8363 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380045920528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8364] ppid=8347 vsize=2966184 CPUtime=1.23 cores=1,3,5,7
/proc/8349/task/8364/stat : 8364 (java) S 8347 8349 7918 0 -1 4202560 10660 0 0 0 121 2 0 0 20 0 22 0 344492311 3037372416 112431 33554432000 1073741824 1073778376 140736496863280 140380044868408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/8349/statm: 741546 229024 2285 9 0 732240 0
[pid=8349/tid=8351] ppid=8347 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/8349/task/8351/stat : 8351 (java) S 8347 8349 7918 0 -1 4202560 2910 0 1 0 42 3 0 0 20 0 22 0 344492305 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380269421720 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8352] ppid=8347 vsize=2966184 CPUtime=3.94 cores=1,3,5,7
/proc/8349/task/8352/stat : 8352 (java) S 8347 8349 7918 0 -1 4202560 196 0 0 0 387 7 0 0 20 0 22 0 344492307 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380135991720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8353] ppid=8347 vsize=2966184 CPUtime=3.82 cores=1,3,5,7
/proc/8349/task/8353/stat : 8353 (java) S 8347 8349 7918 0 -1 4202560 180 0 0 0 373 9 0 0 20 0 22 0 344492307 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380134939176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8354] ppid=8347 vsize=2966184 CPUtime=3.82 cores=1,3,5,7
/proc/8349/task/8354/stat : 8354 (java) S 8347 8349 7918 0 -1 4202560 201 0 0 0 373 9 0 0 20 0 22 0 344492307 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380066539688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8355] ppid=8347 vsize=2966184 CPUtime=3.92 cores=1,3,5,7
/proc/8349/task/8355/stat : 8355 (java) S 8347 8349 7918 0 -1 4202560 210 0 0 0 384 8 0 0 20 0 22 0 344492307 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380065487144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8356] ppid=8347 vsize=2966184 CPUtime=4.01 cores=1,3,5,7
/proc/8349/task/8356/stat : 8356 (java) S 8347 8349 7918 0 -1 4202560 199 0 0 0 393 8 0 0 20 0 22 0 344492307 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380064435112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8357] ppid=8347 vsize=2966184 CPUtime=3.92 cores=1,3,5,7
/proc/8349/task/8357/stat : 8357 (java) S 8347 8349 7918 0 -1 4202560 210 0 0 0 385 7 0 0 20 0 22 0 344492307 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380063382568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8358] ppid=8347 vsize=2966184 CPUtime=3.99 cores=1,3,5,7
/proc/8349/task/8358/stat : 8358 (java) S 8347 8349 7918 0 -1 4202560 214 0 0 0 390 9 0 0 20 0 22 0 344492307 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380062329512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8359] ppid=8347 vsize=2966184 CPUtime=4.1 cores=1,3,5,7
/proc/8349/task/8359/stat : 8359 (java) S 8347 8349 7918 0 -1 4202560 214 0 0 0 401 9 0 0 20 0 22 0 344492307 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380061276968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8360] ppid=8347 vsize=2966184 CPUtime=46.7 cores=1,3,5,7
/proc/8349/task/8360/stat : 8360 (java) S 8347 8349 7918 0 -1 4202560 133 0 0 0 4641 29 0 0 20 0 22 0 344492308 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380049078632 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8361] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8361/stat : 8361 (java) S 8347 8349 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380048024952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8362] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8362/stat : 8362 (java) S 8347 8349 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380046971784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8363] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8363/stat : 8363 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380045920528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8364] ppid=8347 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/8349/task/8364/stat : 8364 (java) S 8347 8349 7918 0 -1 4202560 10666 0 0 0 124 2 0 0 20 0 22 0 344492311 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380044868408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8365] ppid=8347 vsize=2966184 CPUtime=1.67 cores=1,3,5,7
/proc/8349/task/8365/stat : 8365 (java) S 8347 8349 7918 0 -1 4202560 8288 0 0 0 166 1 0 0 20 0 22 0 344492311 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380043815864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8366] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8366/stat : 8366 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380042763000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8367] ppid=8347 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/8349/task/8367/stat : 8367 (java) S 8347 8349 7918 0 -1 4202560 47 0 0 0 22 19 0 0 20 0 22 0 344492311 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380041710664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8368] ppid=8347 vsize=2966184 CPUtime=763.74 cores=1,3,5,7
/proc/8349/task/8368/stat : 8368 (java) R 8347 8349 7918 0 -1 4202560 305 0 0 0 76362 12 0 0 20 0 22 0 344492350 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380040655184 140380142374752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8369] ppid=8347 vsize=2966184 CPUtime=763.74 cores=1,3,5,7
/proc/8349/task/8369/stat : 8369 (java) R 8347 8349 7918 0 -1 4202560 475 0 0 0 76354 20 0 0 20 0 22 0 344492350 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380039600912 140380142455149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8370] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8370/stat : 8370 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380038550312 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8371] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8371/stat : 8371 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 229024 33554432000 1073741824 1073778376 140736496863280 140380037497768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1613.17
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.85 3.87 3.67 5/219 8439
/proc/meminfo: memFree=27034816/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=2966184 CPUtime=1729.58 cores=1,3,5,7
/proc/8349/stat : 8349 (java) S 8347 8349 7918 0 -1 4202496 25756 0 1 0 172827 131 0 0 20 0 22 0 344492304 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140736496854416 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8349/statm: 741546 229107 2285 9 0 732240 0
[pid=8349/tid=8351] ppid=8347 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/8349/task/8351/stat : 8351 (java) S 8347 8349 7918 0 -1 4202560 2913 0 1 0 42 3 0 0 20 0 22 0 344492305 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380269421720 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8352] ppid=8347 vsize=2966184 CPUtime=4.19 cores=1,3,5,7
/proc/8349/task/8352/stat : 8352 (java) S 8347 8349 7918 0 -1 4202560 205 0 0 0 412 7 0 0 20 0 22 0 344492307 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380135991720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8353] ppid=8347 vsize=2966184 CPUtime=4.1 cores=1,3,5,7
/proc/8349/task/8353/stat : 8353 (java) S 8347 8349 7918 0 -1 4202560 195 0 0 0 401 9 0 0 20 0 22 0 344492307 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380134939176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8354] ppid=8347 vsize=2966184 CPUtime=4.12 cores=1,3,5,7
/proc/8349/task/8354/stat : 8354 (java) S 8347 8349 7918 0 -1 4202560 211 0 0 0 402 10 0 0 20 0 22 0 344492307 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380066539688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8355] ppid=8347 vsize=2966184 CPUtime=4.16 cores=1,3,5,7
/proc/8349/task/8355/stat : 8355 (java) S 8347 8349 7918 0 -1 4202560 223 0 0 0 408 8 0 0 20 0 22 0 344492307 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380065487144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8356] ppid=8347 vsize=2966184 CPUtime=4.3 cores=1,3,5,7
/proc/8349/task/8356/stat : 8356 (java) S 8347 8349 7918 0 -1 4202560 212 0 0 0 422 8 0 0 20 0 22 0 344492307 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380064435112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8357] ppid=8347 vsize=2966184 CPUtime=4.17 cores=1,3,5,7
/proc/8349/task/8357/stat : 8357 (java) S 8347 8349 7918 0 -1 4202560 218 0 0 0 410 7 0 0 20 0 22 0 344492307 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380063382568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8358] ppid=8347 vsize=2966184 CPUtime=4.31 cores=1,3,5,7
/proc/8349/task/8358/stat : 8358 (java) S 8347 8349 7918 0 -1 4202560 220 0 0 0 422 9 0 0 20 0 22 0 344492307 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380062329512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8359] ppid=8347 vsize=2966184 CPUtime=4.35 cores=1,3,5,7
/proc/8349/task/8359/stat : 8359 (java) S 8347 8349 7918 0 -1 4202560 223 0 0 0 426 9 0 0 20 0 22 0 344492307 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380061276968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8360] ppid=8347 vsize=2966184 CPUtime=51.22 cores=1,3,5,7
/proc/8349/task/8360/stat : 8360 (java) S 8347 8349 7918 0 -1 4202560 137 0 0 0 5092 30 0 0 20 0 22 0 344492308 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380049078632 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8361] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8361/stat : 8361 (java) S 8347 8349 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380048024952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8362] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8362/stat : 8362 (java) S 8347 8349 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380046971784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8363] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8363/stat : 8363 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380045920528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8364] ppid=8347 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/8349/task/8364/stat : 8364 (java) S 8347 8349 7918 0 -1 4202560 10666 0 0 0 124 2 0 0 20 0 22 0 344492311 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380044868408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8365] ppid=8347 vsize=2966184 CPUtime=1.67 cores=1,3,5,7
/proc/8349/task/8365/stat : 8365 (java) S 8347 8349 7918 0 -1 4202560 8288 0 0 0 166 1 0 0 20 0 22 0 344492311 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380043815864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8366] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8366/stat : 8366 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380042763000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8367] ppid=8347 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/8349/task/8367/stat : 8367 (java) S 8347 8349 7918 0 -1 4202560 51 0 0 0 24 20 0 0 20 0 22 0 344492311 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380041710664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8368] ppid=8347 vsize=2966184 CPUtime=818.46 cores=1,3,5,7
/proc/8349/task/8368/stat : 8368 (java) R 8347 8349 7918 0 -1 4202560 317 0 0 0 81833 13 0 0 20 0 22 0 344492350 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380040654240 140380142338992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8369] ppid=8347 vsize=2966184 CPUtime=818.44 cores=1,3,5,7
/proc/8349/task/8369/stat : 8369 (java) R 8347 8349 7918 0 -1 4202560 488 0 0 0 81823 21 0 0 20 0 22 0 344492350 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380039600432 140380142246768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8370] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8370/stat : 8370 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380038550312 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8371] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8371/stat : 8371 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 229107 33554432000 1073741824 1073778376 140736496863280 140380037497768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1729.58
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+918.201 s]
/proc/loadavg: 3.79 3.85 3.67 6/219 8439
/proc/meminfo: memFree=27001552/32873844 swapFree=7120/7120
[pid=8349] ppid=8347 vsize=2966184 CPUtime=1800.11 cores=1,3,5,7
/proc/8349/stat : 8349 (java) S 8347 8349 7918 0 -1 4202496 25828 0 1 0 179877 134 0 0 20 0 22 0 344492304 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140736496854416 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8349/statm: 741546 233744 2285 9 0 732240 0
[pid=8349/tid=8351] ppid=8347 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/8349/task/8351/stat : 8351 (java) S 8347 8349 7918 0 -1 4202560 2915 0 1 0 42 3 0 0 20 0 22 0 344492305 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380269421720 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8352] ppid=8347 vsize=2966184 CPUtime=4.34 cores=1,3,5,7
/proc/8349/task/8352/stat : 8352 (java) S 8347 8349 7918 0 -1 4202560 210 0 0 0 426 8 0 0 20 0 22 0 344492307 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380135991720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8353] ppid=8347 vsize=2966184 CPUtime=4.26 cores=1,3,5,7
/proc/8349/task/8353/stat : 8353 (java) S 8347 8349 7918 0 -1 4202560 201 0 0 0 417 9 0 0 20 0 22 0 344492307 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380134939176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8354] ppid=8347 vsize=2966184 CPUtime=4.31 cores=1,3,5,7
/proc/8349/task/8354/stat : 8354 (java) S 8347 8349 7918 0 -1 4202560 215 0 0 0 421 10 0 0 20 0 22 0 344492307 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380066539688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8355] ppid=8347 vsize=2966184 CPUtime=4.32 cores=1,3,5,7
/proc/8349/task/8355/stat : 8355 (java) S 8347 8349 7918 0 -1 4202560 233 0 0 0 424 8 0 0 20 0 22 0 344492307 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380065487144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8356] ppid=8347 vsize=2966184 CPUtime=4.47 cores=1,3,5,7
/proc/8349/task/8356/stat : 8356 (java) S 8347 8349 7918 0 -1 4202560 220 0 0 0 439 8 0 0 20 0 22 0 344492307 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380064435112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8357] ppid=8347 vsize=2966184 CPUtime=4.29 cores=1,3,5,7
/proc/8349/task/8357/stat : 8357 (java) S 8347 8349 7918 0 -1 4202560 226 0 0 0 422 7 0 0 20 0 22 0 344492307 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380063382568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8358] ppid=8347 vsize=2966184 CPUtime=4.48 cores=1,3,5,7
/proc/8349/task/8358/stat : 8358 (java) S 8347 8349 7918 0 -1 4202560 229 0 0 0 439 9 0 0 20 0 22 0 344492307 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380062329512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8359] ppid=8347 vsize=2966184 CPUtime=4.51 cores=1,3,5,7
/proc/8349/task/8359/stat : 8359 (java) S 8347 8349 7918 0 -1 4202560 226 0 0 0 442 9 0 0 20 0 22 0 344492307 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380061276968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8349/tid=8360] ppid=8347 vsize=2966184 CPUtime=53.06 cores=1,3,5,7
/proc/8349/task/8360/stat : 8360 (java) S 8347 8349 7918 0 -1 4202560 139 0 0 0 5275 31 0 0 20 0 22 0 344492308 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380049078632 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8361] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8361/stat : 8361 (java) S 8347 8349 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380048024952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8362] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8362/stat : 8362 (java) S 8347 8349 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344492309 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380046971784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8363] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8363/stat : 8363 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380045920528 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8364] ppid=8347 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/8349/task/8364/stat : 8364 (java) S 8347 8349 7918 0 -1 4202560 10666 0 0 0 124 2 0 0 20 0 22 0 344492311 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380044868408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8365] ppid=8347 vsize=2966184 CPUtime=1.67 cores=1,3,5,7
/proc/8349/task/8365/stat : 8365 (java) S 8347 8349 7918 0 -1 4202560 8288 0 0 0 166 1 0 0 20 0 22 0 344492311 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380043815864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8366] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8366/stat : 8366 (java) S 8347 8349 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344492311 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380042763000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8367] ppid=8347 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/8349/task/8367/stat : 8367 (java) S 8347 8349 7918 0 -1 4202560 53 0 0 0 25 22 0 0 20 0 22 0 344492311 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380041710664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8368] ppid=8347 vsize=2966184 CPUtime=852.09 cores=1,3,5,7
/proc/8349/task/8368/stat : 8368 (java) R 8347 8349 7918 0 -1 4202560 322 0 0 0 85195 14 0 0 20 0 22 0 344492350 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380040653184 140380142311976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8349/tid=8369] ppid=8347 vsize=2966184 CPUtime=852.06 cores=1,3,5,7
/proc/8349/task/8369/stat : 8369 (java) R 8347 8349 7918 0 -1 4202560 496 0 0 0 85185 21 0 0 20 0 22 0 344492350 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380039601328 140380142425156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8349/tid=8370] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8370/stat : 8370 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380038550312 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8349/tid=8371] ppid=8347 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8349/task/8371/stat : 8371 (java) S 8347 8349 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344492352 3037372416 233744 33554432000 1073741824 1073778376 140736496863280 140380037497768 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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 8349 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=608178
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=791727
# CPU time returned by wait4() is 1796.4
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 918.256
CPU time (s): 1800.11
CPU user time (s): 1798.77
CPU system time (s): 1.34
CPU usage (%): 196.036
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 1.79173
maximum resident set size= 935092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25860
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38200
involuntary context switches= 71366
runsolver used 3.64945 second user time and 9.42557 second system time
The end