runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4117995-1467216560/watcher-4117995-1467216560 -o /tmp/evaluation-result-4117995-1467216560/solver-4117995-1467216560 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117995-1467216560.opb
pid=7806
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: 4.40 4.31 4.18 4/197 7809
/proc/meminfo: memFree=26295480/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7809/stat : 7809 (java) D 7806 7809 5962 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 2607204 9515008 183 33554432000 1073741824 1073778376 140735690302336 140735690293368 225444708021 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2323 183 140 9 0 71 0
[startup+0.100152 s]
/proc/loadavg: 4.40 4.31 4.18 4/197 7809
/proc/meminfo: memFree=26295480/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 2607204 9787879424 6028 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2389619 6028 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200271 s]
/proc/loadavg: 4.40 4.31 4.18 4/197 7809
/proc/meminfo: memFree=26295480/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 4601 0 1 0 22 1 0 0 20 0 18 0 2607204 9787879424 7217 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2389619 7217 2197 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300295 s]
/proc/loadavg: 4.40 4.31 4.18 4/197 7809
/proc/meminfo: memFree=26295480/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 5295 0 1 0 45 1 0 0 20 0 18 0 2607204 9787879424 8174 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2389619 8183 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700244 s]
/proc/loadavg: 4.40 4.31 4.18 4/197 7809
/proc/meminfo: memFree=26295480/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9558476 CPUtime=1.13 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 9022 0 1 0 111 2 0 0 20 0 18 0 2607204 9787879424 13545 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2389619 13545 2246 9 0 2380296 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9558476
[startup+1.50072 s]
/proc/loadavg: 4.40 4.31 4.18 4/215 7827
/proc/meminfo: memFree=26241260/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9558476 CPUtime=2.03 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 9356 0 1 0 200 3 0 0 20 0 18 0 2607204 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2389619 17706 2251 9 0 2380296 0
[pid=7809/tid=7811] ppid=7806 vsize=9558476 CPUtime=1.46 cores=1,3,5,7
/proc/7809/task/7811/stat : 7811 (java) R 7806 7809 5962 0 -1 4202560 2423 0 1 0 144 2 0 0 20 0 18 0 2607206 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167955114120 140167818406898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7812] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7812/stat : 7812 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167944178600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7813] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7813/stat : 7813 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167943126056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7814] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7814/stat : 7814 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167942073000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7815] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7815/stat : 7815 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167941020456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7816] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7816/stat : 7816 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167939967400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7817] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7817/stat : 7817 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167938914856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7818] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7818/stat : 7818 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167937861800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7819] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7819/stat : 7819 (java) S 7806 7809 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167936809256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7820] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7820/stat : 7820 (java) S 7806 7809 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2607208 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167779265384 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7821] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7821/stat : 7821 (java) S 7806 7809 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2607208 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167778211704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7822] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7822/stat : 7822 (java) S 7806 7809 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2607208 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167777158536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7823] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7823/stat : 7823 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607211 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167776107280 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7824] ppid=7806 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/7809/task/7824/stat : 7824 (java) S 7806 7809 5962 0 -1 4202560 2304 0 0 0 27 0 0 0 20 0 18 0 2607211 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167775054136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7825] ppid=7806 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/7809/task/7825/stat : 7825 (java) S 7806 7809 5962 0 -1 4202560 3366 0 0 0 26 0 0 0 20 0 18 0 2607211 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167774001592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7826] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7826/stat : 7826 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607211 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167772948728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7827] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7827/stat : 7827 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607211 9787879424 17706 33554432000 1073741824 1073778376 140735213076208 140167771896392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9558476
[startup+3.10078 s]
/proc/loadavg: 4.40 4.31 4.18 4/215 7827
/proc/meminfo: memFree=26222208/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9558476 CPUtime=3.78 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 9492 0 1 0 375 3 0 0 20 0 18 0 2607204 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2389619 22439 2251 9 0 2380296 0
[pid=7809/tid=7811] ppid=7806 vsize=9558476 CPUtime=3.06 cores=1,3,5,7
/proc/7809/task/7811/stat : 7811 (java) R 7806 7809 5962 0 -1 4202560 2434 0 1 0 304 2 0 0 20 0 18 0 2607206 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167955114120 140167818406657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7812] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7812/stat : 7812 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167944178600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7813] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7813/stat : 7813 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167943126056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7814] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7814/stat : 7814 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167942073000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7815] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7815/stat : 7815 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167941020456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7816] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7816/stat : 7816 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167939967400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7817] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7817/stat : 7817 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167938914856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7818] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7818/stat : 7818 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167937861800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7819] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7819/stat : 7819 (java) S 7806 7809 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167936809256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7820] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7820/stat : 7820 (java) S 7806 7809 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2607208 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167779265384 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7821] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7821/stat : 7821 (java) S 7806 7809 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2607208 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167778211704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7822] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7822/stat : 7822 (java) S 7806 7809 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2607208 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167777158536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7823] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7823/stat : 7823 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607211 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167776107280 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7824] ppid=7806 vsize=9558476 CPUtime=0.35 cores=1,3,5,7
/proc/7809/task/7824/stat : 7824 (java) S 7806 7809 5962 0 -1 4202560 2429 0 0 0 35 0 0 0 20 0 18 0 2607211 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167775054136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7825] ppid=7806 vsize=9558476 CPUtime=0.33 cores=1,3,5,7
/proc/7809/task/7825/stat : 7825 (java) S 7806 7809 5962 0 -1 4202560 3366 0 0 0 33 0 0 0 20 0 18 0 2607211 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167774001592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7826] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7826/stat : 7826 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607211 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167772948728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7827] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7827/stat : 7827 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607211 9787879424 22439 33554432000 1073741824 1073778376 140735213076208 140167771896392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9558476
[startup+6.30082 s]
/proc/loadavg: 4.37 4.30 4.18 3/212 7896
/proc/meminfo: memFree=28430936/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9558476 CPUtime=7 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 9504 0 1 0 697 3 0 0 20 0 18 0 2607204 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2389619 26862 2253 9 0 2380296 0
[pid=7809/tid=7811] ppid=7806 vsize=9558476 CPUtime=6.26 cores=1,3,5,7
/proc/7809/task/7811/stat : 7811 (java) R 7806 7809 5962 0 -1 4202560 2444 0 1 0 624 2 0 0 20 0 18 0 2607206 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167955107680 140167818407075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7812] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7812/stat : 7812 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167944178600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7813] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7813/stat : 7813 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167943126056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7814] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7814/stat : 7814 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167942073000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7815] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7815/stat : 7815 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167941020456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7816] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7816/stat : 7816 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167939967400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7817] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7817/stat : 7817 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167938914856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7818] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7818/stat : 7818 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167937861800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7819] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7819/stat : 7819 (java) S 7806 7809 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2607207 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167936809256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7820] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7820/stat : 7820 (java) S 7806 7809 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2607208 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167779265384 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7821] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7821/stat : 7821 (java) S 7806 7809 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2607208 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167778211704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7822] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7822/stat : 7822 (java) S 7806 7809 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2607208 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167777158536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7823] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7823/stat : 7823 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607211 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167776107280 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7824] ppid=7806 vsize=9558476 CPUtime=0.37 cores=1,3,5,7
/proc/7809/task/7824/stat : 7824 (java) S 7806 7809 5962 0 -1 4202560 2430 0 0 0 37 0 0 0 20 0 18 0 2607211 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167775054136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7825] ppid=7806 vsize=9558476 CPUtime=0.34 cores=1,3,5,7
/proc/7809/task/7825/stat : 7825 (java) S 7806 7809 5962 0 -1 4202560 3366 0 0 0 34 0 0 0 20 0 18 0 2607211 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167774001592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7826] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7826/stat : 7826 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2607211 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167772948728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7827] ppid=7806 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7827/stat : 7827 (java) S 7806 7809 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 2607211 9787879424 26862 33554432000 1073741824 1073778376 140735213076208 140167771896392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 9558476
[startup+12.7008 s]
/proc/loadavg: 4.26 4.28 4.17 3/216 7939
/proc/meminfo: memFree=27948672/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9824732 CPUtime=10.82 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 10920 0 1 0 1051 31 0 0 20 0 22 0 2607204 10060525568 56205 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2456183 56205 2290 9 0 2446860 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.28 4.27 4.19 5/219 8105
/proc/meminfo: memFree=22840360/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9824732 CPUtime=1572.5 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 25547 0 1 0 156873 377 0 0 20 0 22 0 2607204 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2456183 622105 2304 9 0 2446860 0
[pid=7809/tid=7811] ppid=7806 vsize=9824732 CPUtime=8.23 cores=1,3,5,7
/proc/7809/task/7811/stat : 7811 (java) S 7806 7809 5962 0 -1 4202560 2493 0 1 0 818 5 0 0 20 0 22 0 2607206 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167955116920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7812] ppid=7806 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/7809/task/7812/stat : 7812 (java) S 7806 7809 5962 0 -1 4202560 991 0 0 0 138 29 0 0 20 0 22 0 2607207 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167944178600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7813] ppid=7806 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/7809/task/7813/stat : 7813 (java) S 7806 7809 5962 0 -1 4202560 676 0 0 0 112 19 0 0 20 0 22 0 2607207 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167943126056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7814] ppid=7806 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/7809/task/7814/stat : 7814 (java) S 7806 7809 5962 0 -1 4202560 847 0 0 0 124 28 0 0 20 0 22 0 2607207 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167942073000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7815] ppid=7806 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/7809/task/7815/stat : 7815 (java) S 7806 7809 5962 0 -1 4202560 759 0 0 0 118 25 0 0 20 0 22 0 2607207 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167941020456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7816] ppid=7806 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/7809/task/7816/stat : 7816 (java) S 7806 7809 5962 0 -1 4202560 688 0 0 0 129 27 0 0 20 0 22 0 2607207 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167939967400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7817] ppid=7806 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/7809/task/7817/stat : 7817 (java) S 7806 7809 5962 0 -1 4202560 868 0 0 0 132 22 0 0 20 0 22 0 2607207 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167938914856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7818] ppid=7806 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/7809/task/7818/stat : 7818 (java) S 7806 7809 5962 0 -1 4202560 891 0 0 0 144 25 0 0 20 0 22 0 2607207 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167937861800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7819] ppid=7806 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/7809/task/7819/stat : 7819 (java) S 7806 7809 5962 0 -1 4202560 964 0 0 0 124 24 0 0 20 0 22 0 2607207 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167936809256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7820] ppid=7806 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/7809/task/7820/stat : 7820 (java) S 7806 7809 5962 0 -1 4202560 2418 0 0 0 383 6 0 0 20 0 22 0 2607208 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167779265384 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7821] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7821/stat : 7821 (java) S 7806 7809 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2607208 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167778211704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7822] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7822/stat : 7822 (java) S 7806 7809 5962 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 22 0 2607208 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167777158536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7823] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7823/stat : 7823 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607211 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167776107280 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7824] ppid=7806 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/7809/task/7824/stat : 7824 (java) S 7806 7809 5962 0 -1 4202560 4981 0 0 0 139 0 0 0 20 0 22 0 2607211 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167775054136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7825] ppid=7806 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/7809/task/7825/stat : 7825 (java) S 7806 7809 5962 0 -1 4202560 5461 0 0 0 154 0 0 0 20 0 22 0 2607211 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167774001592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7826] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7826/stat : 7826 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607211 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167772948728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7827] ppid=7806 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/7809/task/7827/stat : 7827 (java) S 7806 7809 5962 0 -1 4202560 48 0 0 0 9 15 0 0 20 0 22 0 2607211 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167771896392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7909] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7909/stat : 7909 (java) S 7806 7809 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2607890 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167767684520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=8103] ppid=7806 vsize=9824732 CPUtime=7.96 cores=1,3,5,7
/proc/7809/task/8103/stat : 8103 (java) R 7806 7809 5962 0 -1 4202560 2 0 0 0 796 0 0 0 20 0 22 0 2688637 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167770839632 140167818731848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=8104] ppid=7806 vsize=9824732 CPUtime=7.96 cores=1,3,5,7
/proc/7809/task/8104/stat : 8104 (java) R 7806 7809 5962 0 -1 4202560 4 0 0 0 796 0 0 0 20 0 22 0 2688637 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167768736648 140167819360030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=8105] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/8105/stat : 8105 (java) S 7806 7809 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2688637 10060525568 622105 33554432000 1073741824 1073778376 140735213076208 140167769789224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1572.5
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.23 4.25 4.18 5/219 8109
/proc/meminfo: memFree=22543344/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9824732 CPUtime=1692.95 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 26427 0 1 0 168881 414 0 0 20 0 22 0 2607204 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2456183 696118 2304 9 0 2446860 0
[pid=7809/tid=7811] ppid=7806 vsize=9824732 CPUtime=8.26 cores=1,3,5,7
/proc/7809/task/7811/stat : 7811 (java) S 7806 7809 5962 0 -1 4202560 2494 0 1 0 821 5 0 0 20 0 22 0 2607206 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167955116920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7812] ppid=7806 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/7809/task/7812/stat : 7812 (java) S 7806 7809 5962 0 -1 4202560 1145 0 0 0 158 36 0 0 20 0 22 0 2607207 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167944178600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7813] ppid=7806 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/7809/task/7813/stat : 7813 (java) S 7806 7809 5962 0 -1 4202560 779 0 0 0 125 23 0 0 20 0 22 0 2607207 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167943126056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7814] ppid=7806 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/7809/task/7814/stat : 7814 (java) S 7806 7809 5962 0 -1 4202560 894 0 0 0 141 31 0 0 20 0 22 0 2607207 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167942073000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7815] ppid=7806 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/7809/task/7815/stat : 7815 (java) S 7806 7809 5962 0 -1 4202560 826 0 0 0 129 29 0 0 20 0 22 0 2607207 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167941020456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7816] ppid=7806 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/7809/task/7816/stat : 7816 (java) S 7806 7809 5962 0 -1 4202560 726 0 0 0 142 31 0 0 20 0 22 0 2607207 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167939967400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7817] ppid=7806 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/7809/task/7817/stat : 7817 (java) S 7806 7809 5962 0 -1 4202560 999 0 0 0 155 28 0 0 20 0 22 0 2607207 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167938914856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7818] ppid=7806 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/7809/task/7818/stat : 7818 (java) S 7806 7809 5962 0 -1 4202560 950 0 0 0 155 29 0 0 20 0 22 0 2607207 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167937861800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7819] ppid=7806 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/7809/task/7819/stat : 7819 (java) S 7806 7809 5962 0 -1 4202560 1064 0 0 0 137 28 0 0 20 0 22 0 2607207 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167936809256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7820] ppid=7806 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/7809/task/7820/stat : 7820 (java) S 7806 7809 5962 0 -1 4202560 2579 0 0 0 383 6 0 0 20 0 22 0 2607208 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167779265384 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7821] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7821/stat : 7821 (java) S 7806 7809 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2607208 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167778211704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7822] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7822/stat : 7822 (java) S 7806 7809 5962 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 22 0 2607208 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167777158536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7823] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7823/stat : 7823 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607211 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167776107280 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7824] ppid=7806 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/7809/task/7824/stat : 7824 (java) S 7806 7809 5962 0 -1 4202560 4981 0 0 0 139 0 0 0 20 0 22 0 2607211 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167775054136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7825] ppid=7806 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/7809/task/7825/stat : 7825 (java) S 7806 7809 5962 0 -1 4202560 5461 0 0 0 154 0 0 0 20 0 22 0 2607211 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167774001592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7826] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7826/stat : 7826 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607211 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167772948728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7827] ppid=7806 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/7809/task/7827/stat : 7827 (java) S 7806 7809 5962 0 -1 4202560 52 0 0 0 10 16 0 0 20 0 22 0 2607211 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167771896392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7909] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7909/stat : 7909 (java) S 7806 7809 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2607890 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167767684520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=8107] ppid=7806 vsize=9824732 CPUtime=4.59 cores=1,3,5,7
/proc/7809/task/8107/stat : 8107 (java) R 7806 7809 5962 0 -1 4202560 2 0 0 0 459 0 0 0 20 0 22 0 2694961 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167768734184 140167819029580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=8108] ppid=7806 vsize=9824732 CPUtime=4.59 cores=1,3,5,7
/proc/7809/task/8108/stat : 8108 (java) R 7806 7809 5962 0 -1 4202560 5 0 0 0 459 0 0 0 20 0 22 0 2694961 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167769787184 140167819360118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=8109] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/8109/stat : 8109 (java) S 7806 7809 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2694961 10060525568 696118 33554432000 1073741824 1073778376 140735213076208 140167770842792 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1692.95
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+936.208 s]
/proc/loadavg: 4.01 4.20 4.17 4/217 8196
/proc/meminfo: memFree=24532512/32872528 swapFree=1499084/1695308
[pid=7809] ppid=7806 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/7809/stat : 7809 (java) S 7806 7809 5962 0 -1 4202496 27111 0 1 0 179552 449 0 0 20 0 22 0 2607204 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140735213067344 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7809/statm: 2456183 762836 2304 9 0 2446860 0
[pid=7809/tid=7811] ppid=7806 vsize=9824732 CPUtime=8.3 cores=1,3,5,7
/proc/7809/task/7811/stat : 7811 (java) S 7806 7809 5962 0 -1 4202560 2495 0 1 0 825 5 0 0 20 0 22 0 2607206 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167955116920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7812] ppid=7806 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/7809/task/7812/stat : 7812 (java) S 7806 7809 5962 0 -1 4202560 1208 0 0 0 180 39 0 0 20 0 22 0 2607207 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167944178600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7813] ppid=7806 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/7809/task/7813/stat : 7813 (java) S 7806 7809 5962 0 -1 4202560 834 0 0 0 141 26 0 0 20 0 22 0 2607207 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167943126056 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7814] ppid=7806 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/7809/task/7814/stat : 7814 (java) S 7806 7809 5962 0 -1 4202560 974 0 0 0 156 36 0 0 20 0 22 0 2607207 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167942073000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7815] ppid=7806 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/7809/task/7815/stat : 7815 (java) S 7806 7809 5962 0 -1 4202560 908 0 0 0 144 34 0 0 20 0 22 0 2607207 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167941020456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7816] ppid=7806 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/7809/task/7816/stat : 7816 (java) S 7806 7809 5962 0 -1 4202560 778 0 0 0 158 34 0 0 20 0 22 0 2607207 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167939967400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7817] ppid=7806 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/7809/task/7817/stat : 7817 (java) S 7806 7809 5962 0 -1 4202560 1048 0 0 0 172 31 0 0 20 0 22 0 2607207 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167938914856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7818] ppid=7806 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/7809/task/7818/stat : 7818 (java) S 7806 7809 5962 0 -1 4202560 1043 0 0 0 175 34 0 0 20 0 22 0 2607207 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167937861800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7819] ppid=7806 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/7809/task/7819/stat : 7819 (java) S 7806 7809 5962 0 -1 4202560 1115 0 0 0 151 31 0 0 20 0 22 0 2607207 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167936809256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7809/tid=7820] ppid=7806 vsize=9824732 CPUtime=3.9 cores=1,3,5,7
/proc/7809/task/7820/stat : 7820 (java) S 7806 7809 5962 0 -1 4202560 2718 0 0 0 383 7 0 0 20 0 22 0 2607208 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167779265384 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7821] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7821/stat : 7821 (java) S 7806 7809 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2607208 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167778211704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7822] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7822/stat : 7822 (java) S 7806 7809 5962 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 22 0 2607208 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167777158536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7823] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7823/stat : 7823 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607211 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167776107280 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=7824] ppid=7806 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/7809/task/7824/stat : 7824 (java) S 7806 7809 5962 0 -1 4202560 4981 0 0 0 139 0 0 0 20 0 22 0 2607211 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167775054136 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7825] ppid=7806 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/7809/task/7825/stat : 7825 (java) S 7806 7809 5962 0 -1 4202560 5461 0 0 0 154 0 0 0 20 0 22 0 2607211 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167774001592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7826] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7826/stat : 7826 (java) S 7806 7809 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607211 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167772948728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=7827] ppid=7806 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/7809/task/7827/stat : 7827 (java) S 7806 7809 5962 0 -1 4202560 56 0 0 0 11 17 0 0 20 0 22 0 2607211 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167771896392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=7909] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/7909/stat : 7909 (java) S 7806 7809 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2607890 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167767684520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7809/tid=8194] ppid=7806 vsize=9824732 CPUtime=17.77 cores=1,3,5,7
/proc/7809/task/8194/stat : 8194 (java) R 7806 7809 5962 0 -1 4202560 4 0 0 0 1777 0 0 0 20 0 22 0 2699020 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167769787216 140167818854353 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7809/tid=8195] ppid=7806 vsize=9824732 CPUtime=17.79 cores=1,3,5,7
/proc/7809/task/8195/stat : 8195 (java) R 7806 7809 5962 0 -1 4202560 4 0 0 0 1779 0 0 0 20 0 22 0 2699020 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167770840496 140167819360046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7809/tid=8196] ppid=7806 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7809/task/8196/stat : 8196 (java) S 7806 7809 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2699020 10060525568 762836 33554432000 1073741824 1073778376 140735213076208 140167768736808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7809 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 936.232
CPU time (s): 1800.23
CPU user time (s): 1795.58
CPU system time (s): 4.65129
CPU usage (%): 192.285
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.58
system time used= 4.65129
maximum resident set size= 3223368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27145
page faults= 1
swaps= 0
block input operations= 40
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26596
involuntary context switches= 21138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8931 second user time and 7.8638 second system time
The end