runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688660-1337878723/watcher-3688660-1337878723 -o /tmp/evaluation-result-3688660-1337878723/solver-3688660-1337878723 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688660-1337878723.opb
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.54 3.75 3.79 3/197 24966
/proc/meminfo: memFree=26899172/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 1205 0 0 0 0 0 0 0 20 0 2 0 253998302 94019584 917 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 22954 917 697 9 0 16769 0
[pid=24966/tid=24967] ppid=24964 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) R 24964 24966 22184 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 2 0 253998303 95129600 918 33554432000 1073741824 1073778376 140736019243664 139974633664040 226075180688 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.0447271 s]
/proc/loadavg: 3.54 3.75 3.79 3/197 24966
/proc/meminfo: memFree=26899172/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 3078 0 1 0 3 0 0 0 20 0 13 0 253998302 9446973440 3776 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2306390 3776 1708 9 0 2297091 0
[pid=24966/tid=24967] ppid=24964 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) R 24964 24966 22184 0 -1 4202560 1897 0 1 0 2 0 0 0 20 0 13 0 253998303 9446973440 3776 33554432000 1073741824 1073778376 140736019243664 139974633666280 139974641093694 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100243 s]
/proc/loadavg: 3.54 3.75 3.79 3/197 24966
/proc/meminfo: memFree=26899172/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 4442 0 1 0 10 1 0 0 20 0 18 0 253998302 9787813888 6112 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2389603 6112 2139 9 0 2380296 0
[pid=24966/tid=24967] ppid=24964 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) R 24964 24966 22184 0 -1 4202560 2431 0 1 0 7 1 0 0 20 0 18 0 253998303 9787813888 6112 33554432000 1073741824 1073778376 140736019243664 139974633667504 226087724301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300277 s]
/proc/loadavg: 3.54 3.75 3.79 3/197 24966
/proc/meminfo: memFree=26899172/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9824668 CPUtime=0.42 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 6226 0 1 0 41 1 0 0 20 0 19 0 253998302 10060460032 9252 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2456167 9252 2226 9 0 2446860 0
[pid=24966/tid=24967] ppid=24964 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) S 24964 24966 22184 0 -1 4202560 2454 0 1 0 21 1 0 0 20 0 19 0 253998303 10060460032 9252 33554432000 1073741824 1073778376 140736019243664 139974633669624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9824668
[startup+0.700236 s]
/proc/loadavg: 3.54 3.75 3.79 3/197 24966
/proc/meminfo: memFree=26899172/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9824668 CPUtime=0.42 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 6226 0 1 0 41 1 0 0 20 0 19 0 253998302 10060460032 9252 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2456167 9252 2226 9 0 2446860 0
[pid=24966/tid=24967] ppid=24964 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) S 24964 24966 22184 0 -1 4202560 2454 0 1 0 21 1 0 0 20 0 19 0 253998303 10060460032 9252 33554432000 1073741824 1073778376 140736019243664 139974633669624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9824668
[startup+1.50067 s]
/proc/loadavg: 3.54 3.75 3.79 3/216 24991
/proc/meminfo: memFree=26862840/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9824668 CPUtime=0.82 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 8839 0 1 0 76 6 0 0 20 0 19 0 253998302 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2456167 13276 2239 9 0 2446860 0
[pid=24966/tid=24967] ppid=24964 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) S 24964 24966 22184 0 -1 4202560 2454 0 1 0 21 2 0 0 20 0 19 0 253998303 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139974633669624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24969] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24969/stat : 24969 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139974477343016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24970] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24970/stat : 24970 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139974476290216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24971] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24971/stat : 24971 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139974475237928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24972] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24972/stat : 24972 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139974474185128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24973] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24973/stat : 24973 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139974473132840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24974] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24974/stat : 24974 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139974472080040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24975] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24975/stat : 24975 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139974471027752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24976] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24976/stat : 24976 (java) S 24964 24966 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139974469974952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24977] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24977/stat : 24977 (java) S 24964 24966 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253998305 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139973987645672 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24978] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24978/stat : 24978 (java) S 24964 24966 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253998305 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139973986591736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24979] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24979/stat : 24979 (java) S 24964 24966 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253998305 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139973985539336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24980] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24980/stat : 24980 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998307 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139973984487824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24981] ppid=24964 vsize=9824668 CPUtime=0.21 cores=0,2,4,6
/proc/24966/task/24981/stat : 24981 (java) S 24964 24966 22184 0 -1 4202560 2283 0 0 0 21 0 0 0 20 0 19 0 253998307 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139973983435448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24982] ppid=24964 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/24966/task/24982/stat : 24982 (java) S 24964 24966 22184 0 -1 4202560 2780 0 0 0 20 0 0 0 20 0 19 0 253998307 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139973982382648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24983] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24983/stat : 24983 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998307 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139973981330552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24984] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24984/stat : 24984 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998307 10060460032 13276 33554432000 1073741824 1073778376 140736019243664 139973980277960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 9824668
[startup+3.10066 s]
/proc/loadavg: 3.54 3.75 3.79 3/216 24997
/proc/meminfo: memFree=26816856/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9824668 CPUtime=1.71 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 14622 0 1 0 160 11 0 0 20 0 19 0 253998302 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2456167 24209 2248 9 0 2446860 0
[pid=24966/tid=24967] ppid=24964 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) S 24964 24966 22184 0 -1 4202560 2456 0 1 0 22 2 0 0 20 0 19 0 253998303 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139974633669624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24969] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24969/stat : 24969 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139974477343016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24970] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24970/stat : 24970 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139974476290216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24971] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24971/stat : 24971 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139974475237928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24972] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24972/stat : 24972 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139974474185128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24973] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24973/stat : 24973 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139974473132840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24974] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24974/stat : 24974 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139974472080040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24975] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24975/stat : 24975 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139974471027752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24976] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24976/stat : 24976 (java) S 24964 24966 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253998303 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139974469974952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24977] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24977/stat : 24977 (java) S 24964 24966 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253998305 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139973987645672 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24978] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24978/stat : 24978 (java) S 24964 24966 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253998305 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139973986591736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24979] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24979/stat : 24979 (java) S 24964 24966 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253998305 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139973985539336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24980] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24980/stat : 24980 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998307 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139973984487824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24981] ppid=24964 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/24966/task/24981/stat : 24981 (java) S 24964 24966 22184 0 -1 4202560 6315 0 0 0 59 0 0 0 20 0 19 0 253998307 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139973983435448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24982] ppid=24964 vsize=9824668 CPUtime=0.42 cores=0,2,4,6
/proc/24966/task/24982/stat : 24982 (java) S 24964 24966 22184 0 -1 4202560 4493 0 0 0 42 0 0 0 20 0 19 0 253998307 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139973982382648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24983] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24983/stat : 24983 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998307 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139973981330552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24984] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24984/stat : 24984 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253998307 10060460032 24209 33554432000 1073741824 1073778376 140736019243664 139973980277960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9824668
heavy processes:
[startup+6.30072 s]
/proc/loadavg: 3.65 3.77 3.80 4/219 25015
/proc/meminfo: memFree=26679400/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9824668 CPUtime=6.67 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 16410 0 1 0 646 21 0 0 20 0 22 0 253998302 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2456167 50645 2280 9 0 2446860 0
[pid=24966/tid=24967] ppid=24964 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) S 24964 24966 22184 0 -1 4202560 2457 0 1 0 22 2 0 0 20 0 22 0 253998303 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139974633669624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24969] ppid=24964 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24966/task/24969/stat : 24969 (java) S 24964 24966 22184 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253998303 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139974477343016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24970] ppid=24964 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24966/task/24970/stat : 24970 (java) S 24964 24966 22184 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 253998303 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139974476290216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24971] ppid=24964 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24966/task/24971/stat : 24971 (java) S 24964 24966 22184 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 253998303 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139974475237928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24972] ppid=24964 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24966/task/24972/stat : 24972 (java) S 24964 24966 22184 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253998303 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139974474185128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24973] ppid=24964 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24966/task/24973/stat : 24973 (java) S 24964 24966 22184 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253998303 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139974473132840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24974] ppid=24964 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24966/task/24974/stat : 24974 (java) S 24964 24966 22184 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 253998303 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139974472080040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24975] ppid=24964 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24966/task/24975/stat : 24975 (java) S 24964 24966 22184 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253998303 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139974471027752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24976] ppid=24964 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24966/task/24976/stat : 24976 (java) S 24964 24966 22184 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253998303 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139974469974952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24977] ppid=24964 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/24966/task/24977/stat : 24977 (java) S 24964 24966 22184 0 -1 4202560 97 0 0 0 22 0 0 0 20 0 22 0 253998305 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139973987645672 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24978] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24978/stat : 24978 (java) S 24964 24966 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253998305 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139973986591736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24979] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24979/stat : 24979 (java) S 24964 24966 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253998305 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139973985539336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24980] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24980/stat : 24980 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253998307 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139973984487824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24981] ppid=24964 vsize=9824668 CPUtime=0.81 cores=0,2,4,6
/proc/24966/task/24981/stat : 24981 (java) S 24964 24966 22184 0 -1 4202560 6323 0 0 0 79 2 0 0 20 0 22 0 253998307 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139973983435448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24982] ppid=24964 vsize=9824668 CPUtime=0.79 cores=0,2,4,6
/proc/24966/task/24982/stat : 24982 (java) S 24964 24966 22184 0 -1 4202560 5997 0 0 0 77 2 0 0 20 0 22 0 253998307 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139973982382648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24983] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24983/stat : 24983 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253998307 10060460032 50645 33554432000 1073741824 1073778376 140736019243664 139973981330552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24984] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=24966/tid=25013] ppid=24964 vsize=9824668 CPUtime=785.67 cores=0,2,4,6
/proc/24966/task/25013/stat : 25013 (java) R 24964 24966 22184 0 -1 4202560 147 0 0 0 78553 14 0 0 20 0 22 0 253998778 10060460032 476163 33554432000 1073741824 1073778376 140736019243664 139973979221776 139974478443892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=25014] ppid=24964 vsize=9824668 CPUtime=785.72 cores=0,2,4,6
/proc/24966/task/25014/stat : 25014 (java) R 24964 24966 22184 0 -1 4202560 3412 0 0 0 78539 33 0 0 20 0 22 0 253998778 10060460032 476163 33554432000 1073741824 1073778376 140736019243664 139973978167952 139974477878201 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=25015] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/25015/stat : 25015 (java) S 24964 24966 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253998778 10060460032 476163 33554432000 1073741824 1073778376 140736019243664 139973976065704 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1624.73
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.02 3.97 3.87 5/219 25166
/proc/meminfo: memFree=24002120/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9824668 CPUtime=1743.36 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 33679 0 1 0 174165 171 0 0 20 0 22 0 253998302 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2456167 521290 2281 9 0 2446860 0
[pid=24966/tid=24967] ppid=24964 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) S 24964 24966 22184 0 -1 4202560 2483 0 1 0 24 3 0 0 20 0 22 0 253998303 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139974633669624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24969] ppid=24964 vsize=9824668 CPUtime=2.94 cores=0,2,4,6
/proc/24966/task/24969/stat : 24969 (java) S 24964 24966 22184 0 -1 4202560 1032 0 0 0 283 11 0 0 20 0 22 0 253998303 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139974477343016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24970] ppid=24964 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/24966/task/24970/stat : 24970 (java) S 24964 24966 22184 0 -1 4202560 955 0 0 0 282 9 0 0 20 0 22 0 253998303 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139974476290216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24971] ppid=24964 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/24966/task/24971/stat : 24971 (java) S 24964 24966 22184 0 -1 4202560 931 0 0 0 329 12 0 0 20 0 22 0 253998303 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139974475237928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24972] ppid=24964 vsize=9824668 CPUtime=3.13 cores=0,2,4,6
/proc/24966/task/24972/stat : 24972 (java) S 24964 24966 22184 0 -1 4202560 1367 0 0 0 301 12 0 0 20 0 22 0 253998303 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139974474185128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24973] ppid=24964 vsize=9824668 CPUtime=3.34 cores=0,2,4,6
/proc/24966/task/24973/stat : 24973 (java) S 24964 24966 22184 0 -1 4202560 1016 0 0 0 321 13 0 0 20 0 22 0 253998303 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139974473132840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24974] ppid=24964 vsize=9824668 CPUtime=3.21 cores=0,2,4,6
/proc/24966/task/24974/stat : 24974 (java) S 24964 24966 22184 0 -1 4202560 901 0 0 0 308 13 0 0 20 0 22 0 253998303 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139974472080040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24975] ppid=24964 vsize=9824668 CPUtime=3.29 cores=0,2,4,6
/proc/24966/task/24975/stat : 24975 (java) S 24964 24966 22184 0 -1 4202560 716 0 0 0 319 10 0 0 20 0 22 0 253998303 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139974471027752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24976] ppid=24964 vsize=9824668 CPUtime=3.12 cores=0,2,4,6
/proc/24966/task/24976/stat : 24976 (java) S 24964 24966 22184 0 -1 4202560 919 0 0 0 301 11 0 0 20 0 22 0 253998303 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139974469974952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24977] ppid=24964 vsize=9824668 CPUtime=27.02 cores=0,2,4,6
/proc/24966/task/24977/stat : 24977 (java) S 24964 24966 22184 0 -1 4202560 1699 0 0 0 2674 28 0 0 20 0 22 0 253998305 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973987645672 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24978] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24978/stat : 24978 (java) S 24964 24966 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253998305 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973986591736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24979] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24979/stat : 24979 (java) S 24964 24966 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253998305 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973985539336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24980] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24980/stat : 24980 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253998307 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973984487824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24981] ppid=24964 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/24966/task/24981/stat : 24981 (java) S 24964 24966 22184 0 -1 4202560 6323 0 0 0 82 2 0 0 20 0 22 0 253998307 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973983435448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24982] ppid=24964 vsize=9824668 CPUtime=1.34 cores=0,2,4,6
/proc/24966/task/24982/stat : 24982 (java) S 24964 24966 22184 0 -1 4202560 10282 0 0 0 131 3 0 0 20 0 22 0 253998307 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973982382648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24983] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24983/stat : 24983 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253998307 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973981330552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24984] ppid=24964 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/24966/task/24984/stat : 24984 (java) S 24964 24966 22184 0 -1 4202560 50 0 0 0 13 16 0 0 20 0 22 0 253998307 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973980277960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=25003] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/25003/stat : 25003 (java) S 24964 24966 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253998578 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973977117864 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=25013] ppid=24964 vsize=9824668 CPUtime=843.43 cores=0,2,4,6
/proc/24966/task/25013/stat : 25013 (java) R 24964 24966 22184 0 -1 4202560 152 0 0 0 84327 16 0 0 20 0 22 0 253998778 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973979221776 139974477882871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=25014] ppid=24964 vsize=9824668 CPUtime=843.46 cores=0,2,4,6
/proc/24966/task/25014/stat : 25014 (java) R 24964 24966 22184 0 -1 4202560 3438 0 0 0 84312 34 0 0 20 0 22 0 253998778 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973978170064 139974477928746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=25015] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/25015/stat : 25015 (java) S 24964 24966 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253998778 10060460032 521290 33554432000 1073741824 1073778376 140736019243664 139973976065704 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1743.36
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+911.301 s]
/proc/loadavg: 4.06 3.99 3.88 5/219 25166
/proc/meminfo: memFree=23558392/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 33809 0 1 0 179836 174 0 0 20 0 22 0 253998302 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2456167 544380 2281 9 0 2446860 0
[pid=24966/tid=24967] ppid=24964 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) S 24964 24966 22184 0 -1 4202560 2485 0 1 0 24 3 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974633669624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24969] ppid=24964 vsize=9824668 CPUtime=3.03 cores=0,2,4,6
/proc/24966/task/24969/stat : 24969 (java) S 24964 24966 22184 0 -1 4202560 1032 0 0 0 292 11 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974477343016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24970] ppid=24964 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/24966/task/24970/stat : 24970 (java) S 24964 24966 22184 0 -1 4202560 958 0 0 0 288 9 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974476290216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24971] ppid=24964 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/24966/task/24971/stat : 24971 (java) S 24964 24966 22184 0 -1 4202560 939 0 0 0 343 12 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974475237928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24972] ppid=24964 vsize=9824668 CPUtime=3.21 cores=0,2,4,6
/proc/24966/task/24972/stat : 24972 (java) S 24964 24966 22184 0 -1 4202560 1372 0 0 0 309 12 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974474185128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24973] ppid=24964 vsize=9824668 CPUtime=3.43 cores=0,2,4,6
/proc/24966/task/24973/stat : 24973 (java) S 24964 24966 22184 0 -1 4202560 1028 0 0 0 330 13 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974473132840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24974] ppid=24964 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/24966/task/24974/stat : 24974 (java) S 24964 24966 22184 0 -1 4202560 906 0 0 0 314 13 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974472080040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24975] ppid=24964 vsize=9824668 CPUtime=3.36 cores=0,2,4,6
/proc/24966/task/24975/stat : 24975 (java) S 24964 24966 22184 0 -1 4202560 722 0 0 0 325 11 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974471027752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24976] ppid=24964 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/24966/task/24976/stat : 24976 (java) S 24964 24966 22184 0 -1 4202560 921 0 0 0 306 11 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974469974952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24977] ppid=24964 vsize=9824668 CPUtime=28.58 cores=0,2,4,6
/proc/24966/task/24977/stat : 24977 (java) S 24964 24966 22184 0 -1 4202560 1763 0 0 0 2830 28 0 0 20 0 22 0 253998305 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973987645672 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24978] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24978/stat : 24978 (java) S 24964 24966 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253998305 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973986591736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24979] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24979/stat : 24979 (java) S 24964 24966 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253998305 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973985539336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24980] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24980/stat : 24980 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973984487824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24981] ppid=24964 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/24966/task/24981/stat : 24981 (java) S 24964 24966 22184 0 -1 4202560 6323 0 0 0 82 2 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973983435448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24982] ppid=24964 vsize=9824668 CPUtime=1.34 cores=0,2,4,6
/proc/24966/task/24982/stat : 24982 (java) S 24964 24966 22184 0 -1 4202560 10282 0 0 0 131 3 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973982382648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24983] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24983/stat : 24983 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973981330552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24984] ppid=24964 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/24966/task/24984/stat : 24984 (java) S 24964 24966 22184 0 -1 4202560 52 0 0 0 13 17 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973980277960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=25003] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/25003/stat : 25003 (java) S 24964 24966 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253998578 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973977117864 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=25013] ppid=24964 vsize=9824668 CPUtime=870.7 cores=0,2,4,6
/proc/24966/task/25013/stat : 25013 (java) R 24964 24966 22184 0 -1 4202560 152 0 0 0 87053 17 0 0 20 0 22 0 253998778 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973979221776 139974477882909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=25014] ppid=24964 vsize=9824668 CPUtime=870.73 cores=0,2,4,6
/proc/24966/task/25014/stat : 25014 (java) R 24964 24966 22184 0 -1 4202560 3459 0 0 0 87037 36 0 0 20 0 22 0 253998778 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973978170064 139974478004992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=25015] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/25015/stat : 25015 (java) S 24964 24966 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253998778 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973976065704 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+911.301 s]
/proc/loadavg: 4.06 3.99 3.88 5/219 25166
/proc/meminfo: memFree=23558392/32873648 swapFree=6864/6864
[pid=24966] ppid=24964 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6
/proc/24966/stat : 24966 (java) S 24964 24966 22184 0 -1 4202496 33809 0 1 0 179836 174 0 0 20 0 22 0 253998302 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 140736019234800 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24966/statm: 2456167 544380 2281 9 0 2446860 0
[pid=24966/tid=24967] ppid=24964 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/24966/task/24967/stat : 24967 (java) S 24964 24966 22184 0 -1 4202560 2485 0 1 0 24 3 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974633669624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24969] ppid=24964 vsize=9824668 CPUtime=3.03 cores=0,2,4,6
/proc/24966/task/24969/stat : 24969 (java) S 24964 24966 22184 0 -1 4202560 1032 0 0 0 292 11 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974477343016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24970] ppid=24964 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/24966/task/24970/stat : 24970 (java) S 24964 24966 22184 0 -1 4202560 958 0 0 0 288 9 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974476290216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24971] ppid=24964 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/24966/task/24971/stat : 24971 (java) S 24964 24966 22184 0 -1 4202560 939 0 0 0 343 12 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974475237928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24972] ppid=24964 vsize=9824668 CPUtime=3.21 cores=0,2,4,6
/proc/24966/task/24972/stat : 24972 (java) S 24964 24966 22184 0 -1 4202560 1372 0 0 0 309 12 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974474185128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24973] ppid=24964 vsize=9824668 CPUtime=3.43 cores=0,2,4,6
/proc/24966/task/24973/stat : 24973 (java) S 24964 24966 22184 0 -1 4202560 1028 0 0 0 330 13 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974473132840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24974] ppid=24964 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/24966/task/24974/stat : 24974 (java) S 24964 24966 22184 0 -1 4202560 906 0 0 0 314 13 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974472080040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24975] ppid=24964 vsize=9824668 CPUtime=3.36 cores=0,2,4,6
/proc/24966/task/24975/stat : 24975 (java) S 24964 24966 22184 0 -1 4202560 722 0 0 0 325 11 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974471027752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24976] ppid=24964 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/24966/task/24976/stat : 24976 (java) S 24964 24966 22184 0 -1 4202560 921 0 0 0 306 11 0 0 20 0 22 0 253998303 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139974469974952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24977] ppid=24964 vsize=9824668 CPUtime=28.58 cores=0,2,4,6
/proc/24966/task/24977/stat : 24977 (java) S 24964 24966 22184 0 -1 4202560 1763 0 0 0 2830 28 0 0 20 0 22 0 253998305 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973987645672 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24978] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24978/stat : 24978 (java) S 24964 24966 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253998305 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973986591736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24979] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24979/stat : 24979 (java) S 24964 24966 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253998305 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973985539336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24980] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24980/stat : 24980 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973984487824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=24981] ppid=24964 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/24966/task/24981/stat : 24981 (java) S 24964 24966 22184 0 -1 4202560 6323 0 0 0 82 2 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973983435448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=24982] ppid=24964 vsize=9824668 CPUtime=1.34 cores=0,2,4,6
/proc/24966/task/24982/stat : 24982 (java) S 24964 24966 22184 0 -1 4202560 10282 0 0 0 131 3 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973982382648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=24983] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/24983/stat : 24983 (java) S 24964 24966 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973981330552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24966/tid=24984] ppid=24964 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/24966/task/24984/stat : 24984 (java) S 24964 24966 22184 0 -1 4202560 52 0 0 0 13 17 0 0 20 0 22 0 253998307 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973980277960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=25003] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/25003/stat : 25003 (java) S 24964 24966 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253998578 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973977117864 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24966/tid=25013] ppid=24964 vsize=9824668 CPUtime=870.7 cores=0,2,4,6
/proc/24966/task/25013/stat : 25013 (java) R 24964 24966 22184 0 -1 4202560 152 0 0 0 87053 17 0 0 20 0 22 0 253998778 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973979221776 139974477882909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24966/tid=25014] ppid=24964 vsize=9824668 CPUtime=870.73 cores=0,2,4,6
/proc/24966/task/25014/stat : 25014 (java) R 24964 24966 22184 0 -1 4202560 3459 0 0 0 87037 36 0 0 20 0 22 0 253998778 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973978170064 139974478004992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24966/tid=25015] ppid=24964 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24966/task/25015/stat : 25015 (java) S 24964 24966 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253998778 10060460032 544380 33554432000 1073741824 1073778376 140736019243664 139973976065704 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 911.351
CPU time (s): 1800.78
CPU user time (s): 1798.51
CPU system time (s): 2.27065
CPU usage (%): 197.595
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 2.27065
maximum resident set size= 2177648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33844
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32474
involuntary context switches= 50978
runsolver used 3.3125 second user time and 8.12377 second system time
The end