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-4081375-1465232420/watcher-4081375-1465232420 -o /tmp/evaluation-result-4081375-1465232420/solver-4081375-1465232420 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32163 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081375-1465232420.opb
pid=7925
running on 4 cores: 0,2,4,6
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.90 4.09 4.14 4/198 7928
/proc/meminfo: memFree=29214084/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=268 CPUtime=0 cores=0,2,4,6
/proc/7928/stat : 7928 (java) R 7925 7928 32147 0 -1 4194304 332 0 0 0 0 0 0 0 20 0 1 0 105176598 274432 4 33554432000 0 0 140736303138346 140737410503256 219513777591 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 67 16 10 9 0 24 0
[startup+0.100141 s]
/proc/loadavg: 3.90 4.09 4.14 4/198 7928
/proc/meminfo: memFree=29214084/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/7928/stat : 7928 (java) S 7925 7928 32147 0 -1 4202496 4416 0 1 0 8 1 0 0 20 0 18 0 105176598 9787879424 6041 33554432000 1073741824 1073778376 140736303130080 140736303121216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 2389619 6042 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200223 s]
/proc/loadavg: 3.90 4.09 4.14 4/198 7928
/proc/meminfo: memFree=29214084/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/7928/stat : 7928 (java) S 7925 7928 32147 0 -1 4202496 4990 0 1 0 26 2 0 0 20 0 22 0 105176598 10060525568 7963 33554432000 1073741824 1073778376 140736303130080 140736303121216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 2456183 7963 2216 9 0 2446860 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732
[startup+0.300218 s]
/proc/loadavg: 3.90 4.09 4.14 4/198 7928
/proc/meminfo: memFree=29214084/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/7928/stat : 7928 (java) S 7925 7928 32147 0 -1 4202496 7695 0 1 0 54 2 0 0 20 0 22 0 105176598 10060525568 10016 33554432000 1073741824 1073778376 140736303130080 140736303121216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 2456183 10016 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9824732
[startup+0.700183 s]
/proc/loadavg: 3.90 4.09 4.14 4/198 7928
/proc/meminfo: memFree=29214084/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/7928/stat : 7928 (java) S 7925 7928 32147 0 -1 4202496 17608 0 1 0 210 5 0 0 20 0 22 0 105176598 10060525568 23094 33554432000 1073741824 1073778376 140736303130080 140736303121216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 2456183 23094 2257 9 0 2446860 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9824732
[startup+1.50076 s]
/proc/loadavg: 3.90 4.09 4.14 3/217 7950
/proc/meminfo: memFree=29122280/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/7928/stat : 7928 (java) S 7925 7928 32147 0 -1 4202496 17831 0 1 0 240 6 0 0 20 0 19 0 105176598 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140736303121216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 2456183 25646 2262 9 0 2446860 0
[pid=7928/tid=7930] ppid=7925 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/7928/task/7930/stat : 7930 (java) S 7925 7928 32147 0 -1 4202560 2426 0 1 0 11 2 0 0 20 0 19 0 105176599 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512847434616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7931] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7931/stat : 7931 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512808926248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7932] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7932/stat : 7932 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512690432936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7933] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7933/stat : 7933 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512689380136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7934] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7934/stat : 7934 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512688327336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7935] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7935/stat : 7935 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512687274536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7936] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7936/stat : 7936 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512686221736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7937] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7937/stat : 7937 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512685168936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7938] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7938/stat : 7938 (java) S 7925 7928 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512684116136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7939] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7939/stat : 7939 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105176601 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512201788392 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7940] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7940/stat : 7940 (java) S 7925 7928 32147 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105176602 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512200734456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7941] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7941/stat : 7941 (java) S 7925 7928 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105176602 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512199681544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7942] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7942/stat : 7942 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176604 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512198630032 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7943] ppid=7925 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/7928/task/7943/stat : 7943 (java) S 7925 7928 32147 0 -1 4202560 6624 0 0 0 56 1 0 0 20 0 19 0 105176604 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512197577144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7944] ppid=7925 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/7928/task/7944/stat : 7944 (java) S 7925 7928 32147 0 -1 4202560 7414 0 0 0 63 1 0 0 20 0 19 0 105176604 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512196524344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7945] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7945/stat : 7945 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176604 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512195471736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7946] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7946/stat : 7946 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176604 10060525568 25646 33554432000 1073741824 1073778376 140736303130080 140512194419144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9824732
[startup+3.10079 s]
/proc/loadavg: 3.90 4.09 4.14 4/217 7959
/proc/meminfo: memFree=29104732/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/7928/stat : 7928 (java) S 7925 7928 32147 0 -1 4202496 17863 0 1 0 251 6 0 0 20 0 19 0 105176598 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140736303121216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 2456183 30258 2265 9 0 2446860 0
[pid=7928/tid=7930] ppid=7925 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/7928/task/7930/stat : 7930 (java) S 7925 7928 32147 0 -1 4202560 2427 0 1 0 11 2 0 0 20 0 19 0 105176599 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512847434616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7931] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7931/stat : 7931 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512808926248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7932] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7932/stat : 7932 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512690432936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7933] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7933/stat : 7933 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512689380136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7934] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7934/stat : 7934 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512688327336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7935] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7935/stat : 7935 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512687274536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7936] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7936/stat : 7936 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512686221736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7937] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7937/stat : 7937 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512685168936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7938] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7938/stat : 7938 (java) S 7925 7928 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512684116136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7939] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7939/stat : 7939 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105176601 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512201788392 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7940] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7940/stat : 7940 (java) S 7925 7928 32147 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105176602 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512200734456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7941] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7941/stat : 7941 (java) S 7925 7928 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105176602 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512199681544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7942] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7942/stat : 7942 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176604 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512198630032 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7943] ppid=7925 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/7928/task/7943/stat : 7943 (java) S 7925 7928 32147 0 -1 4202560 6624 0 0 0 56 2 0 0 20 0 19 0 105176604 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512197577144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7944] ppid=7925 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/7928/task/7944/stat : 7944 (java) S 7925 7928 32147 0 -1 4202560 7417 0 0 0 73 1 0 0 20 0 19 0 105176604 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512196524344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7945] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7945/stat : 7945 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176604 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512195471736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7946] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7946/stat : 7946 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176604 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512194419144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7953] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7953/stat : 7953 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105176714 10060525568 30258 33554432000 1073741824 1073778376 140736303130080 140512191259560 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9824732
[startup+6.30088 s]
/proc/loadavg: 3.75 4.05 4.13 3/217 7977
/proc/meminfo: memFree=29061748/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/7928/stat : 7928 (java) S 7925 7928 32147 0 -1 4202496 17956 0 1 0 258 11 0 0 20 0 19 0 105176598 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140736303121216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 2456183 43430 2267 9 0 2446860 0
[pid=7928/tid=7930] ppid=7925 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/7928/task/7930/stat : 7930 (java) S 7925 7928 32147 0 -1 4202560 2429 0 1 0 12 2 0 0 20 0 19 0 105176599 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512847434616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7931] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7931/stat : 7931 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512808926248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7932] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7932/stat : 7932 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512690432936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7933] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7933/stat : 7933 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512689380136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7934] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7934/stat : 7934 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512688327336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7935] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7935/stat : 7935 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512687274536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7936] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7936/stat : 7936 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512686221736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7937] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7937/stat : 7937 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512685168936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7938] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7938/stat : 7938 (java) S 7925 7928 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105176600 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512684116136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7939] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7939/stat : 7939 (java) S 7925 7928 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105176601 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512201788392 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7940] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7940/stat : 7940 (java) S 7925 7928 32147 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105176602 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512200734456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7941] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7941/stat : 7941 (java) S 7925 7928 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105176602 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512199681544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7942] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7942/stat : 7942 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176604 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512198630032 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7943] ppid=7925 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/7928/task/7943/stat : 7943 (java) S 7925 7928 32147 0 -1 4202560 6624 0 0 0 56 2 0 0 20 0 19 0 105176604 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512197577144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7944] ppid=7925 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/7928/task/7944/stat : 7944 (java) S 7925 7928 32147 0 -1 4202560 7418 0 0 0 75 1 0 0 20 0 19 0 105176604 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512196524344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7945] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7945/stat : 7945 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105176604 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512195471736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7946] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7946/stat : 7946 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105176604 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512194419144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7953] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7953/stat : 7953 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105176714 10060525568 43430 33554432000 1073741824 1073778376 140736303130080 140512191259560 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=19 pid=1770 uid=0 cmd=
################
# More data... #
################
/proc/7928/task/7930/stat : 7930 (java) S 7925 7928 32147 0 -1 4202560 2580 0 1 0 73 28 0 0 20 0 21 0 105176599 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512847434664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7931] ppid=7925 vsize=9824732 CPUtime=4.63 cores=0,2,4,6
/proc/7928/task/7931/stat : 7931 (java) S 7925 7928 32147 0 -1 4202560 783 0 0 0 443 20 0 0 20 0 21 0 105176600 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512808926248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7932] ppid=7925 vsize=9824732 CPUtime=4.64 cores=0,2,4,6
/proc/7928/task/7932/stat : 7932 (java) S 7925 7928 32147 0 -1 4202560 655 0 0 0 447 17 0 0 20 0 21 0 105176600 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512690432936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7933] ppid=7925 vsize=9824732 CPUtime=4.89 cores=0,2,4,6
/proc/7928/task/7933/stat : 7933 (java) S 7925 7928 32147 0 -1 4202560 802 0 0 0 468 21 0 0 20 0 21 0 105176600 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512689380136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7934] ppid=7925 vsize=9824732 CPUtime=4.88 cores=0,2,4,6
/proc/7928/task/7934/stat : 7934 (java) S 7925 7928 32147 0 -1 4202560 734 0 0 0 470 18 0 0 20 0 21 0 105176600 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512688327336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7935] ppid=7925 vsize=9824732 CPUtime=4.76 cores=0,2,4,6
/proc/7928/task/7935/stat : 7935 (java) S 7925 7928 32147 0 -1 4202560 629 0 0 0 458 18 0 0 20 0 21 0 105176600 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512687274536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7936] ppid=7925 vsize=9824732 CPUtime=4.64 cores=0,2,4,6
/proc/7928/task/7936/stat : 7936 (java) S 7925 7928 32147 0 -1 4202560 923 0 0 0 445 19 0 0 20 0 21 0 105176600 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512686221736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7937] ppid=7925 vsize=9824732 CPUtime=4.91 cores=0,2,4,6
/proc/7928/task/7937/stat : 7937 (java) S 7925 7928 32147 0 -1 4202560 930 0 0 0 473 18 0 0 20 0 21 0 105176600 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512685168936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7938] ppid=7925 vsize=9824732 CPUtime=4.91 cores=0,2,4,6
/proc/7928/task/7938/stat : 7938 (java) S 7925 7928 32147 0 -1 4202560 903 0 0 0 472 19 0 0 20 0 21 0 105176600 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512684116136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7939] ppid=7925 vsize=9824732 CPUtime=4.02 cores=0,2,4,6
/proc/7928/task/7939/stat : 7939 (java) S 7925 7928 32147 0 -1 4202560 3139 0 0 0 383 19 0 0 20 0 21 0 105176601 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512201788392 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7940] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7940/stat : 7940 (java) S 7925 7928 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 105176602 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512200734456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7941] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7941/stat : 7941 (java) S 7925 7928 32147 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 105176602 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512199681544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7942] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7942/stat : 7942 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 105176604 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512198630032 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7943] ppid=7925 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/7928/task/7943/stat : 7943 (java) S 7925 7928 32147 0 -1 4202560 6692 0 0 0 116 2 0 0 20 0 21 0 105176604 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512197577144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7944] ppid=7925 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/7928/task/7944/stat : 7944 (java) S 7925 7928 32147 0 -1 4202560 11102 0 0 0 129 2 0 0 20 0 21 0 105176604 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512196524344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7945] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7945/stat : 7945 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 105176604 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512195471736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7946] ppid=7925 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/7928/task/7946/stat : 7946 (java) S 7925 7928 32147 0 -1 4202560 95 0 0 0 26 31 0 0 20 0 21 0 105176604 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512194419144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7953] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7953/stat : 7953 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 105176714 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512191259560 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=8090] ppid=7925 vsize=9824732 CPUtime=1615.25 cores=0,2,4,6
/proc/7928/task/8090/stat : 8090 (java) R 7925 7928 32147 0 -1 4202560 5285 0 0 0 161453 72 0 0 20 0 21 0 105179338 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512193363088 140512691508132 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=8091] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/8091/stat : 8091 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 105179340 10060525568 796221 33554432000 1073741824 1073778376 140736303130080 140512190207656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1680.27
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 3.10 3.11 3.25 4/218 8510
/proc/meminfo: memFree=25214184/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=9824732 CPUtime=1741.3 cores=0,2,4,6
/proc/7928/stat : 7928 (java) S 7925 7928 32147 0 -1 4202496 37625 0 1 0 173787 343 0 0 20 0 21 0 105176598 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140736303121216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 2456183 776851 2293 9 0 2446860 0
[pid=7928/tid=7930] ppid=7925 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/7928/task/7930/stat : 7930 (java) S 7925 7928 32147 0 -1 4202560 2585 0 1 0 75 28 0 0 20 0 21 0 105176599 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512847434664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7931] ppid=7925 vsize=9824732 CPUtime=4.82 cores=0,2,4,6
/proc/7928/task/7931/stat : 7931 (java) S 7925 7928 32147 0 -1 4202560 783 0 0 0 462 20 0 0 20 0 21 0 105176600 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512808926248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7932] ppid=7925 vsize=9824732 CPUtime=4.83 cores=0,2,4,6
/proc/7928/task/7932/stat : 7932 (java) S 7925 7928 32147 0 -1 4202560 657 0 0 0 466 17 0 0 20 0 21 0 105176600 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512690432936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7933] ppid=7925 vsize=9824732 CPUtime=5.05 cores=0,2,4,6
/proc/7928/task/7933/stat : 7933 (java) S 7925 7928 32147 0 -1 4202560 805 0 0 0 484 21 0 0 20 0 21 0 105176600 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512689380136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7934] ppid=7925 vsize=9824732 CPUtime=5.08 cores=0,2,4,6
/proc/7928/task/7934/stat : 7934 (java) S 7925 7928 32147 0 -1 4202560 737 0 0 0 489 19 0 0 20 0 21 0 105176600 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512688327336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7935] ppid=7925 vsize=9824732 CPUtime=4.93 cores=0,2,4,6
/proc/7928/task/7935/stat : 7935 (java) S 7925 7928 32147 0 -1 4202560 633 0 0 0 475 18 0 0 20 0 21 0 105176600 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512687274536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7936] ppid=7925 vsize=9824732 CPUtime=4.79 cores=0,2,4,6
/proc/7928/task/7936/stat : 7936 (java) S 7925 7928 32147 0 -1 4202560 925 0 0 0 460 19 0 0 20 0 21 0 105176600 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512686221736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7937] ppid=7925 vsize=9824732 CPUtime=5.11 cores=0,2,4,6
/proc/7928/task/7937/stat : 7937 (java) S 7925 7928 32147 0 -1 4202560 934 0 0 0 493 18 0 0 20 0 21 0 105176600 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512685168936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7938] ppid=7925 vsize=9824732 CPUtime=5.07 cores=0,2,4,6
/proc/7928/task/7938/stat : 7938 (java) S 7925 7928 32147 0 -1 4202560 904 0 0 0 487 20 0 0 20 0 21 0 105176600 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512684116136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7939] ppid=7925 vsize=9824732 CPUtime=4.03 cores=0,2,4,6
/proc/7928/task/7939/stat : 7939 (java) S 7925 7928 32147 0 -1 4202560 3143 0 0 0 383 20 0 0 20 0 21 0 105176601 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512201788392 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7940] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7940/stat : 7940 (java) S 7925 7928 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 105176602 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512200734456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7941] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7941/stat : 7941 (java) S 7925 7928 32147 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 105176602 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512199681544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7942] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7942/stat : 7942 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 105176604 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512198630032 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7943] ppid=7925 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/7928/task/7943/stat : 7943 (java) S 7925 7928 32147 0 -1 4202560 6692 0 0 0 116 2 0 0 20 0 21 0 105176604 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512197577144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7944] ppid=7925 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/7928/task/7944/stat : 7944 (java) S 7925 7928 32147 0 -1 4202560 11102 0 0 0 129 2 0 0 20 0 21 0 105176604 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512196524344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7945] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7945/stat : 7945 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 105176604 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512195471736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7946] ppid=7925 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/7928/task/7946/stat : 7946 (java) S 7925 7928 32147 0 -1 4202560 99 0 0 0 27 32 0 0 20 0 21 0 105176604 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512194419144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7953] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7953/stat : 7953 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 105176714 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512191259560 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=8090] ppid=7925 vsize=9824732 CPUtime=1674.69 cores=0,2,4,6
/proc/7928/task/8090/stat : 8090 (java) R 7925 7928 32147 0 -1 4202560 5299 0 0 0 167396 73 0 0 20 0 21 0 105179338 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512193363088 140512691022153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=8091] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/8091/stat : 8091 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 105179340 10060525568 776851 33554432000 1073741824 1073778376 140736303130080 140512190207656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1741.3
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780.2 s]
/proc/loadavg: 3.15 3.12 3.25 4/218 8511
/proc/meminfo: memFree=25035960/32872528 swapFree=12208/1156848
[pid=7928] ppid=7925 vsize=9824732 CPUtime=1800.06 cores=0,2,4,6
/proc/7928/stat : 7928 (java) S 7925 7928 32147 0 -1 4202496 38594 0 1 0 179652 354 0 0 20 0 21 0 105176598 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140736303121216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7928/statm: 2456183 825282 2293 9 0 2446860 0
[pid=7928/tid=7930] ppid=7925 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/7928/task/7930/stat : 7930 (java) S 7925 7928 32147 0 -1 4202560 2591 0 1 0 76 30 0 0 20 0 21 0 105176599 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512847434664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7931] ppid=7925 vsize=9824732 CPUtime=4.97 cores=0,2,4,6
/proc/7928/task/7931/stat : 7931 (java) S 7925 7928 32147 0 -1 4202560 824 0 0 0 476 21 0 0 20 0 21 0 105176600 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512808926248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7932] ppid=7925 vsize=9824732 CPUtime=4.97 cores=0,2,4,6
/proc/7928/task/7932/stat : 7932 (java) S 7925 7928 32147 0 -1 4202560 744 0 0 0 480 17 0 0 20 0 21 0 105176600 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512690432936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7933] ppid=7925 vsize=9824732 CPUtime=5.17 cores=0,2,4,6
/proc/7928/task/7933/stat : 7933 (java) S 7925 7928 32147 0 -1 4202560 829 0 0 0 495 22 0 0 20 0 21 0 105176600 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512689380136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7934] ppid=7925 vsize=9824732 CPUtime=5.26 cores=0,2,4,6
/proc/7928/task/7934/stat : 7934 (java) S 7925 7928 32147 0 -1 4202560 818 0 0 0 506 20 0 0 20 0 21 0 105176600 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512688327336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7935] ppid=7925 vsize=9824732 CPUtime=5.09 cores=0,2,4,6
/proc/7928/task/7935/stat : 7935 (java) S 7925 7928 32147 0 -1 4202560 665 0 0 0 490 19 0 0 20 0 21 0 105176600 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512687274536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7936] ppid=7925 vsize=9824732 CPUtime=4.94 cores=0,2,4,6
/proc/7928/task/7936/stat : 7936 (java) S 7925 7928 32147 0 -1 4202560 1007 0 0 0 474 20 0 0 20 0 21 0 105176600 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512686221736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7937] ppid=7925 vsize=9824732 CPUtime=5.22 cores=0,2,4,6
/proc/7928/task/7937/stat : 7937 (java) S 7925 7928 32147 0 -1 4202560 986 0 0 0 503 19 0 0 20 0 21 0 105176600 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512685168936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7938] ppid=7925 vsize=9824732 CPUtime=5.24 cores=0,2,4,6
/proc/7928/task/7938/stat : 7938 (java) S 7925 7928 32147 0 -1 4202560 996 0 0 0 503 21 0 0 20 0 21 0 105176600 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512684116136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7939] ppid=7925 vsize=9824732 CPUtime=4.56 cores=0,2,4,6
/proc/7928/task/7939/stat : 7939 (java) S 7925 7928 32147 0 -1 4202560 3511 0 0 0 436 20 0 0 20 0 21 0 105176601 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512201788392 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7940] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7940/stat : 7940 (java) S 7925 7928 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 105176602 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512200734456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7941] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7941/stat : 7941 (java) S 7925 7928 32147 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 105176602 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512199681544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7942] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7942/stat : 7942 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 105176604 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512198630032 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7928/tid=7943] ppid=7925 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/7928/task/7943/stat : 7943 (java) S 7925 7928 32147 0 -1 4202560 6692 0 0 0 116 2 0 0 20 0 21 0 105176604 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512197577144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=7944] ppid=7925 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/7928/task/7944/stat : 7944 (java) S 7925 7928 32147 0 -1 4202560 11102 0 0 0 129 2 0 0 20 0 21 0 105176604 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512196524344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7945] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7945/stat : 7945 (java) S 7925 7928 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 105176604 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512195471736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=7946] ppid=7925 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/7928/task/7946/stat : 7946 (java) S 7925 7928 32147 0 -1 4202560 103 0 0 0 28 33 0 0 20 0 21 0 105176604 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512194419144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7928/tid=7953] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/7953/stat : 7953 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 105176714 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512191259560 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7928/tid=8090] ppid=7925 vsize=9824732 CPUtime=1731.59 cores=0,2,4,6
/proc/7928/task/8090/stat : 8090 (java) R 7925 7928 32147 0 -1 4202560 5399 0 0 0 173082 77 0 0 20 0 21 0 105179338 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512193363088 140512691144505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7928/tid=8091] ppid=7925 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7928/task/8091/stat : 8091 (java) S 7925 7928 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 105179340 10060525568 825282 33554432000 1073741824 1073778376 140736303130080 140512190207656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 7928 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7928 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=508497
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=73380
# CPU time returned by wait4() is 1796.58
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1780.25
CPU time (s): 1800.06
CPU user time (s): 1796.52
CPU system time (s): 3.54
CPU usage (%): 101.113
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.51
system time used= 4.07338
maximum resident set size= 3495176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38624
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98119
involuntary context switches= 86905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9633 second user time and 14.2318 second system time
The end