runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457379-1307658176/watcher-3457379-1307658176 -o /tmp/evaluation-result-3457379-1307658176/solver-3457379-1307658176 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457379-1307658176.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.85 4.03 3.49 3/196 23872
/proc/meminfo: memFree=31053296/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 877415842 31260672 957 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 7632 957 730 9 0 383 0
[pid=23872/tid=23873] ppid=23870 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 877415843 31260672 957 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232335892224 0 0 4096 0 0 0 0 -1 4 0 0 0
[startup+0.0395521 s]
/proc/loadavg: 3.85 4.03 3.49 3/196 23872
/proc/meminfo: memFree=31053296/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 11219 0 1 0 2 1 0 0 25 0 13 0 877415842 10718699520 10915 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2616870 10915 1668 9 0 2607618 0
[pid=23872/tid=23873] ppid=23870 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 10071 0 1 0 2 1 0 0 25 0 13 0 877415843 10718699520 10915 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 47489998516039 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100573 s]
/proc/loadavg: 3.85 4.03 3.49 3/196 23872
/proc/meminfo: memFree=31053296/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10540532 CPUtime=0.11 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 13121 0 1 0 9 2 0 0 25 0 18 0 877415842 10793504768 12809 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2635133 12809 2093 9 0 2625867 0
[pid=23872/tid=23873] ppid=23870 vsize=10540532 CPUtime=0.08 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 11216 0 1 0 7 1 0 0 18 0 18 0 877415843 10793504768 12809 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347719115 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540532
[startup+0.300457 s]
/proc/loadavg: 3.85 4.03 3.49 3/196 23872
/proc/meminfo: memFree=31053296/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10541556 CPUtime=0.48 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 19851 0 1 0 46 2 0 0 25 0 18 0 877415842 10794553344 18907 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2635389 18909 2200 9 0 2626123 0
[pid=23872/tid=23873] ppid=23870 vsize=10541556 CPUtime=0.29 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 16570 0 1 0 27 2 0 0 18 0 18 0 877415843 10794553344 18910 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 47490002381620 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541556
[startup+0.700446 s]
/proc/loadavg: 3.85 4.03 3.49 3/196 23872
/proc/meminfo: memFree=31053296/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10556044 CPUtime=1.34 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 51747 0 1 0 127 7 0 0 25 0 18 0 877415842 10809389056 47380 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2639011 47384 2212 9 0 2629745 0
[pid=23872/tid=23873] ppid=23870 vsize=10556044 CPUtime=0.68 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 41261 0 1 0 63 5 0 0 18 0 18 0 877415843 10809389056 47385 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 46912505635304 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 10556044
[startup+1.50131 s]
/proc/loadavg: 3.78 4.01 3.49 4/215 23892
/proc/meminfo: memFree=30699860/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10557072 CPUtime=2.73 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 117773 0 1 0 258 15 0 0 25 0 19 0 877415842 10810441728 112710 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2639268 112740 2233 9 0 2630002 0
[pid=23872/tid=23873] ppid=23870 vsize=10557072 CPUtime=1.48 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 106395 0 1 0 135 13 0 0 19 0 19 0 877415843 10810441728 112756 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 46912505839312 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23872/tid=23875] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23875/stat : 23875 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 112773 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23876] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23876/stat : 23876 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 112773 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23877] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 112773 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23878] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 112773 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23879] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 112773 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23880] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 112776 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23881] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 112777 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23882] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 112779 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23883] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23872 22550 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877415845 10810441728 112780 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 0 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23884] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23884/stat : 23884 (java) S 23870 23872 22550 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877415846 10810441728 112781 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23885] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23885/stat : 23885 (java) S 23870 23872 22550 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877415846 10810441728 112781 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23886] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 112785 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347716017 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23887] ppid=23870 vsize=10557072 CPUtime=0.61 cores=0,2,4,6
/proc/23872/task/23887/stat : 23887 (java) S 23870 23872 22550 0 -1 4202560 4943 0 0 0 61 0 0 0 15 0 19 0 877415848 10810441728 112788 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23888] ppid=23870 vsize=10557072 CPUtime=0.61 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23870 23872 22550 0 -1 4202560 5322 0 0 0 60 1 0 0 16 0 19 0 877415848 10810441728 112792 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23889] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23889/stat : 23889 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 112797 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23890] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877415848 10810441728 112803 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23892] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23872 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877415932 10810441728 112808 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 10557072
[startup+3.10102 s]
/proc/loadavg: 3.78 4.01 3.49 3/215 23892
/proc/meminfo: memFree=29886296/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10557072 CPUtime=4.47 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 312576 0 1 0 413 34 0 0 25 0 19 0 877415842 10810441728 307374 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2639268 307375 2234 9 0 2630002 0
[pid=23872/tid=23873] ppid=23870 vsize=10557072 CPUtime=3.08 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 300998 0 1 0 276 32 0 0 19 0 19 0 877415843 10810441728 307376 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 46912505635300 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23872/tid=23875] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23875/stat : 23875 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 307377 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23876] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23876/stat : 23876 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 307378 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23877] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 307379 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23878] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 307380 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23879] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 307381 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23880] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 307383 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23881] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 307385 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23882] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 307386 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23883] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23872 22550 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877415845 10810441728 307387 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 0 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23884] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23884/stat : 23884 (java) S 23870 23872 22550 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877415846 10810441728 307388 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23885] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23885/stat : 23885 (java) S 23870 23872 22550 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877415846 10810441728 307389 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23886] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 307390 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347716017 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23887] ppid=23870 vsize=10557072 CPUtime=0.72 cores=0,2,4,6
/proc/23872/task/23887/stat : 23887 (java) S 23870 23872 22550 0 -1 4202560 5093 0 0 0 72 0 0 0 15 0 19 0 877415848 10810441728 307391 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23888] ppid=23870 vsize=10557072 CPUtime=0.65 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23870 23872 22550 0 -1 4202560 5326 0 0 0 64 1 0 0 15 0 19 0 877415848 10810441728 307393 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23889] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23889/stat : 23889 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 307394 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23890] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877415848 10810441728 307395 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23892] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23872 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877415932 10810441728 307395 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 10557072
[startup+6.30144 s]
/proc/loadavg: 3.64 3.98 3.48 3/215 23892
/proc/meminfo: memFree=28039212/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10557072 CPUtime=7.79 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 654816 0 1 0 706 73 0 0 25 0 19 0 877415842 10810441728 649612 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2639268 649613 2237 9 0 2630002 0
[pid=23872/tid=23873] ppid=23870 vsize=10557072 CPUtime=6.28 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 643221 0 1 0 558 70 0 0 25 0 19 0 877415843 10810441728 649613 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 46912505856484 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23872/tid=23875] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23875/stat : 23875 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 649614 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23876] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23876/stat : 23876 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 649614 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23877] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 649614 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23878] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 649615 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23879] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 649615 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23880] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 649616 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23881] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 649616 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23882] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415844 10810441728 649616 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23883] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23872 22550 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877415845 10810441728 649617 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 0 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23884] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23884/stat : 23884 (java) S 23870 23872 22550 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877415846 10810441728 649617 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23885] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23885/stat : 23885 (java) S 23870 23872 22550 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877415846 10810441728 649617 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23886] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 649618 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347716017 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23887] ppid=23870 vsize=10557072 CPUtime=0.73 cores=0,2,4,6
/proc/23872/task/23887/stat : 23887 (java) S 23870 23872 22550 0 -1 4202560 5095 0 0 0 73 0 0 0 15 0 19 0 877415848 10810441728 649618 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23888] ppid=23870 vsize=10557072 CPUtime=0.75 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23870 23872 22550 0 -1 4202560 5339 0 0 0 74 1 0 0 15 0 19 0 877415848 10810441728 649618 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/23872/task/23885/stat : 23885 (java) S 23870 23872 22550 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877415846 10810441728 932455 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23886] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 932455 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347716017 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23887] ppid=23870 vsize=10557072 CPUtime=1.04 cores=0,2,4,6
/proc/23872/task/23887/stat : 23887 (java) S 23870 23872 22550 0 -1 4202560 11381 0 0 0 103 1 0 0 15 0 19 0 877415848 10810441728 932455 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23888] ppid=23870 vsize=10557072 CPUtime=1.03 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23870 23872 22550 0 -1 4202560 5387 0 0 0 102 1 0 0 15 0 19 0 877415848 10810441728 932455 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23889] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23889/stat : 23889 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 932455 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23890] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23872 22550 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877415848 10810441728 932455 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23892] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23872 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877415932 10810441728 932455 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667
Current children cumulated vsize (KiB) 10557072
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/215 23994
/proc/meminfo: memFree=24491456/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10557072 CPUtime=1727.07 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 946239 0 1 0 172594 113 0 0 25 0 19 0 877415842 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2639268 933503 2263 9 0 2630002 0
[pid=23872/tid=23873] ppid=23870 vsize=10557072 CPUtime=1720.27 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 813261 0 1 0 171935 92 0 0 25 0 19 0 877415843 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 46912505856936 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23872/tid=23875] ppid=23870 vsize=10557072 CPUtime=0.47 cores=0,2,4,6
/proc/23872/task/23875/stat : 23875 (java) S 23870 23872 22550 0 -1 4202560 14776 0 0 0 45 2 0 0 16 0 19 0 877415844 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23876] ppid=23870 vsize=10557072 CPUtime=0.38 cores=0,2,4,6
/proc/23872/task/23876/stat : 23876 (java) S 23870 23872 22550 0 -1 4202560 6013 0 0 0 37 1 0 0 16 0 19 0 877415844 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23877] ppid=23870 vsize=10557072 CPUtime=0.51 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23872 22550 0 -1 4202560 16896 0 0 0 49 2 0 0 15 0 19 0 877415844 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23878] ppid=23870 vsize=10557072 CPUtime=0.44 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23872 22550 0 -1 4202560 13124 0 0 0 43 1 0 0 15 0 19 0 877415844 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23879] ppid=23870 vsize=10557072 CPUtime=0.43 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23872 22550 0 -1 4202560 11889 0 0 0 41 2 0 0 16 0 19 0 877415844 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23880] ppid=23870 vsize=10557072 CPUtime=0.55 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23872 22550 0 -1 4202560 19651 0 0 0 52 3 0 0 15 0 19 0 877415844 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23881] ppid=23870 vsize=10557072 CPUtime=0.43 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23872 22550 0 -1 4202560 11935 0 0 0 42 1 0 0 15 0 19 0 877415844 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23882] ppid=23870 vsize=10557072 CPUtime=0.51 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23872 22550 0 -1 4202560 15382 0 0 0 49 2 0 0 16 0 19 0 877415844 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23883] ppid=23870 vsize=10557072 CPUtime=0.92 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23872 22550 0 -1 4202560 5292 0 0 0 91 1 0 0 15 0 19 0 877415845 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 0 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23884] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23884/stat : 23884 (java) S 23870 23872 22550 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877415846 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23885] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23885/stat : 23885 (java) S 23870 23872 22550 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877415846 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23886] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347716017 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23887] ppid=23870 vsize=10557072 CPUtime=1.04 cores=0,2,4,6
/proc/23872/task/23887/stat : 23887 (java) S 23870 23872 22550 0 -1 4202560 11381 0 0 0 103 1 0 0 15 0 19 0 877415848 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23888] ppid=23870 vsize=10557072 CPUtime=1.03 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23870 23872 22550 0 -1 4202560 5387 0 0 0 102 1 0 0 15 0 19 0 877415848 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23889] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23889/stat : 23889 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23890] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23872 22550 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877415848 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23892] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23872 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877415932 10810441728 933503 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.07
Current children cumulated vsize (KiB) 10557072
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.20 3/215 23996
/proc/meminfo: memFree=24478152/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10557072 CPUtime=1787.16 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 947897 0 1 0 178602 114 0 0 25 0 19 0 877415842 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2639268 935130 2263 9 0 2630002 0
[pid=23872/tid=23873] ppid=23870 vsize=10557072 CPUtime=1780.24 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 813263 0 1 0 177932 92 0 0 25 0 19 0 877415843 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 46912505634452 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23872/tid=23875] ppid=23870 vsize=10557072 CPUtime=0.47 cores=0,2,4,6
/proc/23872/task/23875/stat : 23875 (java) S 23870 23872 22550 0 -1 4202560 14776 0 0 0 45 2 0 0 15 0 19 0 877415844 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23876] ppid=23870 vsize=10557072 CPUtime=0.38 cores=0,2,4,6
/proc/23872/task/23876/stat : 23876 (java) S 23870 23872 22550 0 -1 4202560 6013 0 0 0 37 1 0 0 15 0 19 0 877415844 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23877] ppid=23870 vsize=10557072 CPUtime=0.53 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23872 22550 0 -1 4202560 17246 0 0 0 51 2 0 0 15 0 19 0 877415844 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23878] ppid=23870 vsize=10557072 CPUtime=0.47 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23872 22550 0 -1 4202560 13523 0 0 0 46 1 0 0 16 0 19 0 877415844 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23879] ppid=23870 vsize=10557072 CPUtime=0.44 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23872 22550 0 -1 4202560 12149 0 0 0 42 2 0 0 16 0 19 0 877415844 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23880] ppid=23870 vsize=10557072 CPUtime=0.56 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23872 22550 0 -1 4202560 19800 0 0 0 53 3 0 0 16 0 19 0 877415844 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23881] ppid=23870 vsize=10557072 CPUtime=0.44 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23872 22550 0 -1 4202560 12072 0 0 0 43 1 0 0 15 0 19 0 877415844 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23882] ppid=23870 vsize=10557072 CPUtime=0.54 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23872 22550 0 -1 4202560 15737 0 0 0 52 2 0 0 16 0 19 0 877415844 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23883] ppid=23870 vsize=10557072 CPUtime=0.92 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23872 22550 0 -1 4202560 5296 0 0 0 91 1 0 0 15 0 19 0 877415845 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 0 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23884] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23884/stat : 23884 (java) S 23870 23872 22550 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877415846 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23885] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23885/stat : 23885 (java) S 23870 23872 22550 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877415846 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23886] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347716017 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23887] ppid=23870 vsize=10557072 CPUtime=1.04 cores=0,2,4,6
/proc/23872/task/23887/stat : 23887 (java) S 23870 23872 22550 0 -1 4202560 11381 0 0 0 103 1 0 0 15 0 19 0 877415848 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23888] ppid=23870 vsize=10557072 CPUtime=1.03 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23870 23872 22550 0 -1 4202560 5387 0 0 0 102 1 0 0 15 0 19 0 877415848 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23889] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23889/stat : 23889 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23890] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23872 22550 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877415848 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23892] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23872 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877415932 10810441728 935130 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.16
Current children cumulated vsize (KiB) 10557072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.20 3/215 23996
/proc/meminfo: memFree=24468596/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=10557072 CPUtime=1800.01 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23872 22550 0 -1 4202496 948633 0 1 0 179887 114 0 0 25 0 19 0 877415842 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 2639268 935853 2263 9 0 2630002 0
[pid=23872/tid=23873] ppid=23870 vsize=10557072 CPUtime=1793.04 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4202560 813264 0 1 0 179212 92 0 0 25 0 19 0 877415843 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 46912505857180 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23872/tid=23875] ppid=23870 vsize=10557072 CPUtime=0.47 cores=0,2,4,6
/proc/23872/task/23875/stat : 23875 (java) S 23870 23872 22550 0 -1 4202560 14776 0 0 0 45 2 0 0 15 0 19 0 877415844 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23876] ppid=23870 vsize=10557072 CPUtime=0.39 cores=0,2,4,6
/proc/23872/task/23876/stat : 23876 (java) S 23870 23872 22550 0 -1 4202560 6227 0 0 0 38 1 0 0 16 0 19 0 877415844 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23877] ppid=23870 vsize=10557072 CPUtime=0.53 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23872 22550 0 -1 4202560 17246 0 0 0 51 2 0 0 15 0 19 0 877415844 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23878] ppid=23870 vsize=10557072 CPUtime=0.48 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23872 22550 0 -1 4202560 13738 0 0 0 47 1 0 0 16 0 19 0 877415844 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23879] ppid=23870 vsize=10557072 CPUtime=0.44 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23872 22550 0 -1 4202560 12149 0 0 0 42 2 0 0 15 0 19 0 877415844 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23880] ppid=23870 vsize=10557072 CPUtime=0.56 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23872 22550 0 -1 4202560 19800 0 0 0 53 3 0 0 15 0 19 0 877415844 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
[pid=23872/tid=23881] ppid=23870 vsize=10557072 CPUtime=0.46 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23872 22550 0 -1 4202560 12325 0 0 0 45 1 0 0 16 0 19 0 877415844 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23882] ppid=23870 vsize=10557072 CPUtime=0.55 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23872 22550 0 -1 4202560 15788 0 0 0 53 2 0 0 16 0 19 0 877415844 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23883] ppid=23870 vsize=10557072 CPUtime=0.92 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23872 22550 0 -1 4202560 5296 0 0 0 91 1 0 0 15 0 19 0 877415845 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 0 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23884] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23884/stat : 23884 (java) S 23870 23872 22550 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877415846 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23885] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23885/stat : 23885 (java) S 23870 23872 22550 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877415846 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23886] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347716017 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23887] ppid=23870 vsize=10557072 CPUtime=1.04 cores=0,2,4,6
/proc/23872/task/23887/stat : 23887 (java) S 23870 23872 22550 0 -1 4202560 11381 0 0 0 103 1 0 0 15 0 19 0 877415848 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 0 0 0 0
[pid=23872/tid=23888] ppid=23870 vsize=10557072 CPUtime=1.03 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23870 23872 22550 0 -1 4202560 5387 0 0 0 102 1 0 0 15 0 19 0 877415848 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23889] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23889/stat : 23889 (java) S 23870 23872 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877415848 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708313 0 4 0 16800975 18446604443430907968 0 0 -1 4 0 0 0
[pid=23872/tid=23890] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23872 22550 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877415848 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 2 0 0 0
[pid=23872/tid=23892] ppid=23870 vsize=10557072 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23872 22550 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877415932 10810441728 935853 33554432000 1073741824 1073778376 140735663527328 18446744073709551615 232347708928 0 4 0 16800975 18446604443430907968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10557072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.22 s]
/proc/loadavg: 2.02 2.01 2.20 3/215 23996
/proc/meminfo: memFree=24468596/32951124 swapFree=67063272/67111528
[pid=23872] ppid=23870 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/23872/stat : 23872 (java) Z 23870 23872 22550 0 -1 4203548 948668 0 1 0 179891 121 0 0 17 0 2 0 877415842 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23872/statm: 0 0 0 0 0 0 0
[pid=23872/tid=23873] ppid=23870 vsize=0 CPUtime=1793.12 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23872 22550 0 -1 4203588 813264 0 1 0 179213 99 0 0 25 0 2 0 877415843 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.28
CPU time (s): 1800.19
CPU user time (s): 1798.91
CPU system time (s): 1.28181
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 10557072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.2818
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 948668
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38883
involuntary context switches= 15713
runsolver used 3.17552 second user time and 6.63299 second system time
The end