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-3687894-1337874758/watcher-3687894-1337874758 -o /tmp/evaluation-result-3687894-1337874758/solver-3687894-1337874758 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687894-1337874758.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 253600300 24780800 867 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 22434 871 657 9 0 16769 0
[pid=24994/tid=24995] ppid=24992 vsize=89740 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 2 0 253600301 91893760 886 33554432000 1073741824 1073778376 140735807341648 140735807330712 225444709760 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.067942 s]
/proc/loadavg: 3.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 3343 0 1 0 5 1 0 0 20 0 18 0 253600300 9787813888 4552 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2389603 4553 1772 9 0 2380296 0
[pid=24994/tid=24995] ppid=24992 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 2135 0 1 0 4 0 0 0 20 0 18 0 253600301 9787813888 4553 33554432000 1073741824 1073778376 140735807341648 140057759201952 225448092941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100327 s]
/proc/loadavg: 3.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 4429 0 1 0 10 1 0 0 20 0 18 0 253600300 9787813888 6088 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2389603 6093 2130 9 0 2380296 0
[pid=24994/tid=24995] ppid=24992 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 2429 0 1 0 7 0 0 0 20 0 18 0 253600301 9787813888 6094 33554432000 1073741824 1073778376 140735807341648 140057759192904 225448092941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300225 s]
/proc/loadavg: 3.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 5536 0 1 0 47 1 0 0 20 0 18 0 253600300 9787813888 8245 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2389603 8245 2217 9 0 2380296 0
[pid=24994/tid=24995] ppid=24992 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 2443 0 1 0 26 1 0 0 20 0 18 0 253600301 9787813888 8245 33554432000 1073741824 1073778376 140735807341648 140057759192904 140057625355580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700289 s]
/proc/loadavg: 3.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9558412 CPUtime=1.53 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 17166 0 1 0 146 7 0 0 20 0 18 0 253600300 9787813888 39002 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2389603 39002 2233 9 0 2380296 0
[pid=24994/tid=24995] ppid=24992 vsize=9558412 CPUtime=0.67 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 2488 0 1 0 64 3 0 0 20 0 18 0 253600301 9787813888 39002 33554432000 1073741824 1073778376 140735807341648 140057759190864 140057625731614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9558412
[startup+1.50061 s]
/proc/loadavg: 3.45 3.69 3.32 3/216 25016
/proc/meminfo: memFree=28703792/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=2.29 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 17434 0 1 0 218 11 0 0 20 0 20 0 253600300 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 48423 2266 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2518 0 1 0 81 5 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 20 0 253600302 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253600303 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253600303 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) R 24992 24994 23987 0 -1 4202560 7304 0 0 0 58 3 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057579128592 140057761008752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) R 24992 24994 23987 0 -1 4202560 6205 0 0 0 49 2 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057578075792 140057765157053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9824668
[startup+3.10081 s]
/proc/loadavg: 3.45 3.69 3.32 4/216 25022
/proc/meminfo: memFree=28624536/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=4.2 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 20390 0 1 0 400 20 0 0 20 0 22 0 253600300 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 54037 2273 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2520 0 1 0 82 5 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 74 0 0 0 1 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 253600302 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9667 0 0 0 124 3 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 6433 0 0 0 87 2 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25019] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25019/stat : 25019 (java) S 24992 24994 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253600440 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057571771560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9824668
[startup+6.30094 s]
/proc/loadavg: 3.49 3.70 3.32 3/219 25034
/proc/meminfo: memFree=27833872/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=10.58 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 20974 0 1 0 1008 50 0 0 20 0 22 0 253600300 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 121791 2286 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2521 0 1 0 82 5 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 37 0 0 0 3 3 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 110 0 0 0 4 3 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 55 0 0 0 6 5 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 87 0 0 0 7 6 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 122 0 0 0 7 4 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 111 0 0 0 6 2 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 150 0 0 0 8 5 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 44 0 0 0 4 3 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 225 0 0 0 17 0 0 0 20 0 22 0 253600302 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9671 0 0 0 139 3 0 0 20 0 22 0 253600305 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 6435 0 0 0 94 2 0 0 20 0 22 0 253600305 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=24994/tid=25072] ppid=24992 vsize=9824668 CPUtime=84.82 cores=1,3,5,7
/proc/24994/task/25072/stat : 25072 (java) S 24992 24994 23987 0 -1 4202560 5 0 0 0 8481 1 0 0 20 0 22 0 253667901 10060460032 1106123 33554432000 1073741824 1073778376 140735807341648 140057573876312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25073] ppid=24992 vsize=9824668 CPUtime=84.8 cores=1,3,5,7
/proc/24994/task/25073/stat : 25073 (java) S 24992 24994 23987 0 -1 4202560 9 0 0 0 8479 1 0 0 20 0 22 0 253667901 10060460032 1106123 33554432000 1073741824 1073778376 140735807341648 140057574926968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25074] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25074/stat : 25074 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253667901 10060460032 1106123 33554432000 1073741824 1073778376 140735807341648 140057571771816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1504.71
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.69 3.75 3.55 5/219 25075
/proc/meminfo: memFree=21052676/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=1609.78 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 41788 0 1 0 160644 334 0 0 20 0 22 0 253600300 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 1121277 2287 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2564 0 1 0 85 6 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 1589 0 0 0 295 21 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 1520 0 0 0 290 26 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 1527 0 0 0 317 35 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 1360 0 0 0 305 22 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=3.02 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 1537 0 0 0 280 22 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 1782 0 0 0 288 28 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=3.25 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 1719 0 0 0 301 24 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=3.22 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 787 0 0 0 298 24 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=165.83 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 5161 0 0 0 16547 36 0 0 20 0 22 0 253600302 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9673 0 0 0 160 3 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 9248 0 0 0 179 2 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 51 0 0 0 20 24 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25028] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25028/stat : 25028 (java) S 24992 24994 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253600591 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057572824104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25072] ppid=24992 vsize=9824668 CPUtime=128.98 cores=1,3,5,7
/proc/24994/task/25072/stat : 25072 (java) R 24992 24994 23987 0 -1 4202560 5 0 0 0 12897 1 0 0 20 0 22 0 253667901 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057573874336 140057626157457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25073] ppid=24992 vsize=9824668 CPUtime=128.94 cores=1,3,5,7
/proc/24994/task/25073/stat : 25073 (java) R 24992 24994 23987 0 -1 4202560 10 0 0 0 12893 1 0 0 20 0 22 0 253667901 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057574928736 140057626264911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25074] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25074/stat : 25074 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253667901 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057571771816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1609.78
Current children cumulated vsize (KiB) 9824668
[startup+942.301 s]
/proc/loadavg: 3.65 3.73 3.56 5/219 25075
/proc/meminfo: memFree=20986708/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=1715.58 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 42421 0 1 0 171219 339 0 0 20 0 22 0 253600300 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 1133608 2287 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2568 0 1 0 86 6 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=3.36 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 1708 0 0 0 314 22 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=3.38 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 1564 0 0 0 312 26 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 1645 0 0 0 332 35 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 1476 0 0 0 324 22 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 1544 0 0 0 295 22 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 1797 0 0 0 306 28 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 1859 0 0 0 321 25 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 798 0 0 0 310 24 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=180.73 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 5215 0 0 0 18036 37 0 0 20 0 22 0 253600302 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9673 0 0 0 160 3 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 9248 0 0 0 182 2 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 55 0 0 0 22 25 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25028] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25028/stat : 25028 (java) S 24992 24994 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253600591 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057572824104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25072] ppid=24992 vsize=9824668 CPUtime=173.71 cores=1,3,5,7
/proc/24994/task/25072/stat : 25072 (java) R 24992 24994 23987 0 -1 4202560 6 0 0 0 17369 2 0 0 20 0 22 0 253667901 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057573876192 140057626167311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25073] ppid=24992 vsize=9824668 CPUtime=173.65 cores=1,3,5,7
/proc/24994/task/25073/stat : 25073 (java) R 24992 24994 23987 0 -1 4202560 10 0 0 0 17363 2 0 0 20 0 22 0 253667901 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057574926752 140057626492992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25074] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25074/stat : 25074 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253667901 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057571771816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1715.58
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+990.401 s]
/proc/loadavg: 3.33 3.66 3.54 3/216 25272
/proc/meminfo: memFree=24471560/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=1800.08 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 43981 0 1 0 179662 346 0 0 20 0 22 0 253600300 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 1161184 2287 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2569 0 1 0 86 6 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=3.6 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 1723 0 0 0 338 22 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 1568 0 0 0 330 26 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=3.89 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 1649 0 0 0 354 35 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=3.84 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 1528 0 0 0 361 23 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=3.41 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 1557 0 0 0 318 23 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=3.58 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 1804 0 0 0 330 28 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=3.72 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 1869 0 0 0 347 25 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=3.66 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 801 0 0 0 341 25 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=193.48 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 6661 0 0 0 19309 39 0 0 20 0 22 0 253600302 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9673 0 0 0 160 3 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 9248 0 0 0 182 2 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 57 0 0 0 23 26 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25028] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25028/stat : 25028 (java) S 24992 24994 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253600591 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057572824104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25072] ppid=24992 vsize=9824668 CPUtime=208.54 cores=1,3,5,7
/proc/24994/task/25072/stat : 25072 (java) R 24992 24994 23987 0 -1 4202560 7 0 0 0 20851 3 0 0 20 0 22 0 253667901 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057573876192 140057626133143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25073] ppid=24992 vsize=9824668 CPUtime=208.47 cores=1,3,5,7
/proc/24994/task/25073/stat : 25073 (java) R 24992 24994 23987 0 -1 4202560 12 0 0 0 20842 5 0 0 20 0 22 0 253667901 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057574929072 140057626492992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25074] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25074/stat : 25074 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253667901 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057571771816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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
Child status: 143
Real time (s): 990.447
CPU time (s): 1800.3
CPU user time (s): 1796.59
CPU system time (s): 3.70944
CPU usage (%): 181.766
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.59
system time used= 3.70944
maximum resident set size= 4644848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44012
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25933
involuntary context switches= 40052
runsolver used 3.83342 second user time and 9.98148 second system time
The end