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-3456963-1307211054/watcher-3456963-1307211054 -o /tmp/evaluation-result-3456963-1307211054/solver-3456963-1307211054 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456963-1307211054.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: 1.02 1.02 1.00 1/475 21056
/proc/meminfo: memFree=27387844/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 5032 0 1 0 0 0 0 0 25 0 2 0 832705076 10694979584 4733 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2611079 4747 917 9 0 2602235 0
[pid=21056/tid=21057] ppid=21054 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 5858 0 1 0 0 0 0 0 25 0 2 0 832705077 10694979584 6674 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0445401 s]
/proc/loadavg: 1.02 1.02 1.00 1/475 21056
/proc/meminfo: memFree=27387844/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 11256 0 1 0 3 0 0 0 25 0 13 0 832705076 10718699520 10952 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2616870 10952 1672 9 0 2607618 0
[pid=21056/tid=21057] ppid=21054 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 10108 0 1 0 2 0 0 0 25 0 13 0 832705077 10718699520 10952 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 47522407890587 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.100586 s]
/proc/loadavg: 1.02 1.02 1.00 1/475 21056
/proc/meminfo: memFree=27387844/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10539896 CPUtime=0.1 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 12989 0 1 0 9 1 0 0 25 0 18 0 832705076 10792853504 12685 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2634974 12685 2092 9 0 2625708 0
[pid=21056/tid=21057] ppid=21054 vsize=10539896 CPUtime=0.08 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 11085 0 1 0 7 1 0 0 25 0 18 0 832705077 10792853504 12685 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 47522409584650 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539896
[startup+0.300435 s]
/proc/loadavg: 1.02 1.02 1.00 1/475 21056
/proc/meminfo: memFree=27387844/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10549152 CPUtime=0.5 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 20227 0 1 0 48 2 0 0 25 0 19 0 832705076 10802331648 18792 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2637288 18793 2210 9 0 2628022 0
[pid=21056/tid=21057] ppid=21054 vsize=10549152 CPUtime=0.28 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 14627 0 1 0 27 1 0 0 25 0 19 0 832705077 10802331648 18793 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 46912505572116 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10549152
[startup+0.700362 s]
/proc/loadavg: 1.02 1.02 1.00 1/475 21056
/proc/meminfo: memFree=27387844/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10553492 CPUtime=1.68 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 53370 0 1 0 161 7 0 0 25 0 19 0 832705076 10806775808 49986 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2638373 49994 2218 9 0 2629107 0
[pid=21056/tid=21057] ppid=21054 vsize=10553492 CPUtime=0.68 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 41353 0 1 0 63 5 0 0 25 0 19 0 832705077 10806775808 49997 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 46912505559434 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10553492
[startup+1.50126 s]
/proc/loadavg: 1.02 1.02 1.00 3/494 21075
/proc/meminfo: memFree=27067904/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10553492 CPUtime=2.64 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 141186 0 1 0 247 17 0 0 25 0 19 0 832705076 10806775808 137801 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2638373 137807 2224 9 0 2629107 0
[pid=21056/tid=21057] ppid=21054 vsize=10553492 CPUtime=1.48 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 129140 0 1 0 133 15 0 0 25 0 19 0 832705077 10806775808 137811 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 46912505527850 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21056/tid=21059] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21059/stat : 21059 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 137814 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21060] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21060/stat : 21060 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 137819 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21061] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21061/stat : 21061 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 137822 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21062] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21062/stat : 21062 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 137826 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21063] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21063/stat : 21063 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 137830 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21064] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21064/stat : 21064 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 137833 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21065] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21065/stat : 21065 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 137837 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21066] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21066/stat : 21066 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 137840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21067] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21067/stat : 21067 (java) S 21054 21056 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832705079 10806775808 137844 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 0 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21068] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21068/stat : 21068 (java) S 21054 21056 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832705080 10806775808 137848 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21069] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21069/stat : 21069 (java) S 21054 21056 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832705080 10806775808 137851 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21070] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21070/stat : 21070 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 137854 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092055985 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21071] ppid=21054 vsize=10553492 CPUtime=0.52 cores=0,2,4,6
/proc/21056/task/21071/stat : 21071 (java) S 21054 21056 20277 0 -1 4202560 4889 0 0 0 52 0 0 0 19 0 19 0 832705082 10806775808 137858 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21072] ppid=21054 vsize=10553492 CPUtime=0.62 cores=0,2,4,6
/proc/21056/task/21072/stat : 21072 (java) S 21054 21056 20277 0 -1 4202560 6006 0 0 0 61 1 0 0 23 0 19 0 832705082 10806775808 137861 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21073] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21073/stat : 21073 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 137865 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21074] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21074/stat : 21074 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832705082 10806775808 137868 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21075] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21075/stat : 21075 (java) S 21054 21056 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832705093 10806775808 137871 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10553492
[startup+3.10102 s]
/proc/loadavg: 1.02 1.02 1.00 2/494 21075
/proc/meminfo: memFree=26616048/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10553492 CPUtime=4.26 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 310980 0 1 0 388 38 0 0 25 0 19 0 832705076 10806775808 307594 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2638373 307605 2224 9 0 2629107 0
[pid=21056/tid=21057] ppid=21054 vsize=10553492 CPUtime=3.08 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 298938 0 1 0 272 36 0 0 19 0 19 0 832705077 10806775808 307609 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 46912505527850 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21056/tid=21059] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21059/stat : 21059 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 307616 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21060] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21060/stat : 21060 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 307622 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21061] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21061/stat : 21061 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 307629 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21062] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21062/stat : 21062 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 307635 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21063] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21063/stat : 21063 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 307641 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21064] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21064/stat : 21064 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 307648 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21065] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21065/stat : 21065 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 307653 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21066] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21066/stat : 21066 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 307660 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21067] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21067/stat : 21067 (java) S 21054 21056 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832705079 10806775808 307665 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 0 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21068] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21068/stat : 21068 (java) S 21054 21056 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832705080 10806775808 307672 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21069] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21069/stat : 21069 (java) S 21054 21056 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832705080 10806775808 307677 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21070] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21070/stat : 21070 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 307685 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092055985 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21071] ppid=21054 vsize=10553492 CPUtime=0.53 cores=0,2,4,6
/proc/21056/task/21071/stat : 21071 (java) S 21054 21056 20277 0 -1 4202560 4890 0 0 0 53 0 0 0 15 0 19 0 832705082 10806775808 307690 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21072] ppid=21054 vsize=10553492 CPUtime=0.62 cores=0,2,4,6
/proc/21056/task/21072/stat : 21072 (java) S 21054 21056 20277 0 -1 4202560 6006 0 0 0 61 1 0 0 18 0 19 0 832705082 10806775808 307696 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21073] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21073/stat : 21073 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 307702 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21074] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21074/stat : 21074 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832705082 10806775808 307709 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21075] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21075/stat : 21075 (java) S 21054 21056 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832705093 10806775808 307714 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 10553492
[startup+6.30141 s]
/proc/loadavg: 1.02 1.02 1.00 2/494 21076
/proc/meminfo: memFree=25404564/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10553492 CPUtime=7.47 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 526935 0 1 0 685 62 0 0 25 0 19 0 832705076 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2638373 523485 2225 9 0 2629107 0
[pid=21056/tid=21057] ppid=21054 vsize=10553492 CPUtime=6.28 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 514875 0 1 0 568 60 0 0 21 0 19 0 832705077 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 46912505969838 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21056/tid=21059] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21059/stat : 21059 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21060] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21060/stat : 21060 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21061] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21061/stat : 21061 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21062] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21062/stat : 21062 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21063] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21063/stat : 21063 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21064] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21064/stat : 21064 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21065] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21065/stat : 21065 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21066] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21066/stat : 21066 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705078 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21067] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21067/stat : 21067 (java) S 21054 21056 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832705079 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 0 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21068] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21068/stat : 21068 (java) S 21054 21056 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832705080 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21069] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21069/stat : 21069 (java) S 21054 21056 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832705080 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21070] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21070/stat : 21070 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092055985 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21071] ppid=21054 vsize=10553492 CPUtime=0.54 cores=0,2,4,6
/proc/21056/task/21071/stat : 21071 (java) S 21054 21056 20277 0 -1 4202560 4892 0 0 0 54 0 0 0 15 0 19 0 832705082 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21072] ppid=21054 vsize=10553492 CPUtime=0.62 cores=0,2,4,6
/proc/21056/task/21072/stat : 21072 (java) S 21054 21056 20277 0 -1 4202560 6006 0 0 0 61 1 0 0 18 0 19 0 832705082 10806775808 523485 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/21056/task/21067/stat : 21067 (java) S 21054 21056 20277 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 832705079 10806775808 926840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 0 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21068] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21068/stat : 21068 (java) S 21054 21056 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 832705080 10806775808 926840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21069] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21069/stat : 21069 (java) S 21054 21056 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 832705080 10806775808 926840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21070] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21070/stat : 21070 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 926840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092055985 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21071] ppid=21054 vsize=10553492 CPUtime=0.55 cores=0,2,4,6
/proc/21056/task/21071/stat : 21071 (java) S 21054 21056 20277 0 -1 4202560 4894 0 0 0 55 0 0 0 15 0 19 0 832705082 10806775808 926840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21072] ppid=21054 vsize=10553492 CPUtime=0.62 cores=0,2,4,6
/proc/21056/task/21072/stat : 21072 (java) S 21054 21056 20277 0 -1 4202560 6006 0 0 0 61 1 0 0 18 0 19 0 832705082 10806775808 926840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21073] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21073/stat : 21073 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 926840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21074] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21074/stat : 21074 (java) S 21054 21056 20277 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 832705082 10806775808 926840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21075] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21075/stat : 21075 (java) S 21054 21056 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832705093 10806775808 926840 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724.2
Current children cumulated vsize (KiB) 10553492
[startup+1782.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/494 21123
/proc/meminfo: memFree=23640928/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10553492 CPUtime=1784.26 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 944783 0 1 0 178305 121 0 0 25 0 19 0 832705076 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2638373 936212 2238 9 0 2629107 0
[pid=21056/tid=21057] ppid=21054 vsize=10553492 CPUtime=1782.02 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 746787 0 1 0 178117 85 0 0 25 0 19 0 832705077 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 46912505572993 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21056/tid=21059] ppid=21054 vsize=10553492 CPUtime=0.14 cores=0,2,4,6
/proc/21056/task/21059/stat : 21059 (java) S 21054 21056 20277 0 -1 4202560 28695 0 0 0 9 5 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21060] ppid=21054 vsize=10553492 CPUtime=0.14 cores=0,2,4,6
/proc/21056/task/21060/stat : 21060 (java) S 21054 21056 20277 0 -1 4202560 34409 0 0 0 8 6 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21061] ppid=21054 vsize=10553492 CPUtime=0.12 cores=0,2,4,6
/proc/21056/task/21061/stat : 21061 (java) S 21054 21056 20277 0 -1 4202560 22052 0 0 0 9 3 0 0 16 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21062] ppid=21054 vsize=10553492 CPUtime=0.09 cores=0,2,4,6
/proc/21056/task/21062/stat : 21062 (java) S 21054 21056 20277 0 -1 4202560 13501 0 0 0 7 2 0 0 16 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21063] ppid=21054 vsize=10553492 CPUtime=0.12 cores=0,2,4,6
/proc/21056/task/21063/stat : 21063 (java) S 21054 21056 20277 0 -1 4202560 18771 0 0 0 9 3 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 0 0 0 0
[pid=21056/tid=21064] ppid=21054 vsize=10553492 CPUtime=0.1 cores=0,2,4,6
/proc/21056/task/21064/stat : 21064 (java) S 21054 21056 20277 0 -1 4202560 19709 0 0 0 6 4 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21065] ppid=21054 vsize=10553492 CPUtime=0.09 cores=0,2,4,6
/proc/21056/task/21065/stat : 21065 (java) S 21054 21056 20277 0 -1 4202560 21004 0 0 0 7 2 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21066] ppid=21054 vsize=10553492 CPUtime=0.14 cores=0,2,4,6
/proc/21056/task/21066/stat : 21066 (java) S 21054 21056 20277 0 -1 4202560 27657 0 0 0 10 4 0 0 16 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 2 0 0 0
[pid=21056/tid=21067] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21067/stat : 21067 (java) S 21054 21056 20277 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 832705079 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 0 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21068] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21068/stat : 21068 (java) S 21054 21056 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 832705080 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21069] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21069/stat : 21069 (java) S 21054 21056 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 832705080 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21070] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21070/stat : 21070 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092055985 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21071] ppid=21054 vsize=10553492 CPUtime=0.55 cores=0,2,4,6
/proc/21056/task/21071/stat : 21071 (java) S 21054 21056 20277 0 -1 4202560 4896 0 0 0 55 0 0 0 15 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21072] ppid=21054 vsize=10553492 CPUtime=0.62 cores=0,2,4,6
/proc/21056/task/21072/stat : 21072 (java) S 21054 21056 20277 0 -1 4202560 6006 0 0 0 61 1 0 0 18 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21073] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21073/stat : 21073 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21074] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21074/stat : 21074 (java) S 21054 21056 20277 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21075] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21075/stat : 21075 (java) S 21054 21056 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832705093 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1784.26
Current children cumulated vsize (KiB) 10553492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 1.02 1.03 1.00 2/494 21123
/proc/meminfo: memFree=23641408/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10553492 CPUtime=1800.07 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 944785 0 1 0 179886 121 0 0 25 0 19 0 832705076 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2638373 936212 2238 9 0 2629107 0
[pid=21056/tid=21057] ppid=21054 vsize=10553492 CPUtime=1797.84 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 746787 0 1 0 179699 85 0 0 25 0 19 0 832705077 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 46912505573079 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21056/tid=21059] ppid=21054 vsize=10553492 CPUtime=0.14 cores=0,2,4,6
/proc/21056/task/21059/stat : 21059 (java) S 21054 21056 20277 0 -1 4202560 28695 0 0 0 9 5 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21060] ppid=21054 vsize=10553492 CPUtime=0.14 cores=0,2,4,6
/proc/21056/task/21060/stat : 21060 (java) S 21054 21056 20277 0 -1 4202560 34409 0 0 0 8 6 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21061] ppid=21054 vsize=10553492 CPUtime=0.12 cores=0,2,4,6
/proc/21056/task/21061/stat : 21061 (java) S 21054 21056 20277 0 -1 4202560 22052 0 0 0 9 3 0 0 16 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21062] ppid=21054 vsize=10553492 CPUtime=0.09 cores=0,2,4,6
/proc/21056/task/21062/stat : 21062 (java) S 21054 21056 20277 0 -1 4202560 13501 0 0 0 7 2 0 0 16 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21063] ppid=21054 vsize=10553492 CPUtime=0.12 cores=0,2,4,6
/proc/21056/task/21063/stat : 21063 (java) S 21054 21056 20277 0 -1 4202560 18771 0 0 0 9 3 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 0 0 0 0
[pid=21056/tid=21064] ppid=21054 vsize=10553492 CPUtime=0.1 cores=0,2,4,6
/proc/21056/task/21064/stat : 21064 (java) S 21054 21056 20277 0 -1 4202560 19709 0 0 0 6 4 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21065] ppid=21054 vsize=10553492 CPUtime=0.09 cores=0,2,4,6
/proc/21056/task/21065/stat : 21065 (java) S 21054 21056 20277 0 -1 4202560 21004 0 0 0 7 2 0 0 15 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21066] ppid=21054 vsize=10553492 CPUtime=0.14 cores=0,2,4,6
/proc/21056/task/21066/stat : 21066 (java) S 21054 21056 20277 0 -1 4202560 27657 0 0 0 10 4 0 0 16 0 19 0 832705078 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 2 0 0 0
[pid=21056/tid=21067] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21067/stat : 21067 (java) S 21054 21056 20277 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 832705079 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 0 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21068] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21068/stat : 21068 (java) S 21054 21056 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 832705080 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21069] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21069/stat : 21069 (java) S 21054 21056 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 832705080 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21070] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21070/stat : 21070 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092055985 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21071] ppid=21054 vsize=10553492 CPUtime=0.55 cores=0,2,4,6
/proc/21056/task/21071/stat : 21071 (java) S 21054 21056 20277 0 -1 4202560 4896 0 0 0 55 0 0 0 15 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21072] ppid=21054 vsize=10553492 CPUtime=0.62 cores=0,2,4,6
/proc/21056/task/21072/stat : 21072 (java) S 21054 21056 20277 0 -1 4202560 6006 0 0 0 61 1 0 0 18 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21073] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21073/stat : 21073 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21074] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21074/stat : 21074 (java) S 21054 21056 20277 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 832705082 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21075] ppid=21054 vsize=10553492 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21075/stat : 21075 (java) S 21054 21056 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832705093 10806775808 936212 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10553492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.22 s]
/proc/loadavg: 1.02 1.03 1.00 2/494 21123
/proc/meminfo: memFree=23641408/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=10555548 CPUtime=1800.28 cores=0,2,4,6
/proc/21056/stat : 21056 (java) S 21054 21056 20277 0 -1 4202496 944814 0 1 0 179898 130 0 0 18 0 18 0 832705076 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 2638887 936240 2240 9 0 2629621 0
[pid=21056/tid=21057] ppid=21054 vsize=10555548 CPUtime=1797.94 cores=0,2,4,6
/proc/21056/task/21057/stat : 21057 (java) R 21054 21056 20277 0 -1 4202560 746787 0 1 0 179709 85 0 0 25 0 18 0 832705077 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 46912505572944 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21056/tid=21059] ppid=21054 vsize=10555548 CPUtime=0.14 cores=0,2,4,6
/proc/21056/task/21059/stat : 21059 (java) S 21054 21056 20277 0 -1 4202560 28695 0 0 0 9 5 0 0 15 0 18 0 832705078 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21060] ppid=21054 vsize=10555548 CPUtime=0.14 cores=0,2,4,6
/proc/21056/task/21060/stat : 21060 (java) S 21054 21056 20277 0 -1 4202560 34409 0 0 0 8 6 0 0 15 0 18 0 832705078 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21061] ppid=21054 vsize=10555548 CPUtime=0.12 cores=0,2,4,6
/proc/21056/task/21061/stat : 21061 (java) S 21054 21056 20277 0 -1 4202560 22052 0 0 0 9 3 0 0 16 0 18 0 832705078 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21062] ppid=21054 vsize=10555548 CPUtime=0.09 cores=0,2,4,6
/proc/21056/task/21062/stat : 21062 (java) S 21054 21056 20277 0 -1 4202560 13501 0 0 0 7 2 0 0 16 0 18 0 832705078 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21063] ppid=21054 vsize=10555548 CPUtime=0.12 cores=0,2,4,6
/proc/21056/task/21063/stat : 21063 (java) S 21054 21056 20277 0 -1 4202560 18771 0 0 0 9 3 0 0 15 0 18 0 832705078 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 0 0 0 0
[pid=21056/tid=21064] ppid=21054 vsize=10555548 CPUtime=0.1 cores=0,2,4,6
/proc/21056/task/21064/stat : 21064 (java) S 21054 21056 20277 0 -1 4202560 19709 0 0 0 6 4 0 0 15 0 18 0 832705078 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21065] ppid=21054 vsize=10555548 CPUtime=0.09 cores=0,2,4,6
/proc/21056/task/21065/stat : 21065 (java) S 21054 21056 20277 0 -1 4202560 21004 0 0 0 7 2 0 0 15 0 18 0 832705078 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21066] ppid=21054 vsize=10555548 CPUtime=0.14 cores=0,2,4,6
/proc/21056/task/21066/stat : 21066 (java) S 21054 21056 20277 0 -1 4202560 27657 0 0 0 10 4 0 0 16 0 18 0 832705078 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 2 0 0 0
[pid=21056/tid=21067] ppid=21054 vsize=10555548 CPUtime=0.09 cores=0,2,4,6
/proc/21056/task/21067/stat : 21067 (java) R 21054 21056 20277 0 -1 4202560 37 0 0 0 0 9 0 0 16 0 18 0 832705079 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208080185655 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=21056/tid=21068] ppid=21054 vsize=10555548 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21068/stat : 21068 (java) S 21054 21056 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 832705080 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21069] ppid=21054 vsize=10555548 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21069/stat : 21069 (java) S 21054 21056 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 832705080 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21071] ppid=21054 vsize=10555548 CPUtime=0.55 cores=0,2,4,6
/proc/21056/task/21071/stat : 21071 (java) S 21054 21056 20277 0 -1 4202560 4896 0 0 0 55 0 0 0 15 0 18 0 832705082 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21072] ppid=21054 vsize=10555548 CPUtime=0.62 cores=0,2,4,6
/proc/21056/task/21072/stat : 21072 (java) S 21054 21056 20277 0 -1 4202560 6006 0 0 0 61 1 0 0 18 0 18 0 832705082 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
[pid=21056/tid=21073] ppid=21054 vsize=10555548 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21073/stat : 21073 (java) S 21054 21056 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 832705082 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048281 0 4 0 16800975 18446604448373544960 0 0 -1 6 0 0 0
[pid=21056/tid=21075] ppid=21054 vsize=10555548 CPUtime=0 cores=0,2,4,6
/proc/21056/task/21075/stat : 21075 (java) S 21054 21056 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 832705093 10808881152 936240 33554432000 1073741824 1073778376 140737464337184 18446744073709551615 208092048896 0 4 0 16800975 18446604448373544960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 10555548
[startup+1798.4 s]
/proc/loadavg: 1.02 1.03 1.00 2/478 21126
/proc/meminfo: memFree=25223780/32950928 swapFree=39617324/67111528
[pid=21056] ppid=21054 vsize=0 CPUtime=1800.57 cores=0,2,4,6
/proc/21056/stat : 21056 (java) Z 21054 21056 20277 0 -1 4203548 944814 0 1 0 179908 149 0 0 15 0 2 0 832705076 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21056/statm: 0 0 0 0 0 0 0
[pid=21056/tid=21075] ppid=21054 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/21056/task/21075/stat : 21075 (java) R 21054 21056 20277 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 832705093 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.49
CPU time (s): 1800.66
CPU user time (s): 1799.09
CPU system time (s): 1.57076
CPU usage (%): 100.121
Max. virtual memory (cumulated for all children) (KiB): 10555548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.57076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 944814
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= 37112
involuntary context switches= 2869
runsolver used 8.98563 second user time and 18.7831 second system time
The end