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-3456380-1307640476/watcher-3456380-1307640476 -o /tmp/evaluation-result-3456380-1307640476/solver-3456380-1307640476 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456380-1307640476.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.98 2/195 28673
/proc/meminfo: memFree=27363148/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/28673/stat : 28673 (java) R 28671 28673 27745 0 -1 4202496 914 0 0 0 0 0 0 0 22 0 1 0 954278626 23580672 657 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256410429184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28673/statm: 5757 668 489 9 0 124 0
[startup+0.100937 s]
/proc/loadavg: 1.92 1.98 1.98 2/195 28673
/proc/meminfo: memFree=27363148/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10540208 CPUtime=0.1 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 12984 0 1 0 9 1 0 0 22 0 18 0 954278626 10793172992 12680 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2635052 12681 2093 9 0 2625786 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540208
[startup+0.200955 s]
/proc/loadavg: 1.92 1.98 1.98 2/195 28673
/proc/meminfo: memFree=27363148/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10540820 CPUtime=0.28 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 22437 0 1 0 26 2 0 0 22 0 18 0 954278626 10793799680 21855 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2635205 21856 2189 9 0 2625939 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10540820
[startup+0.300967 s]
/proc/loadavg: 1.92 1.98 1.98 2/195 28673
/proc/meminfo: memFree=27363148/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10541988 CPUtime=0.46 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 27113 0 1 0 43 3 0 0 22 0 18 0 954278626 10794995712 26263 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2635497 26266 2200 9 0 2626231 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541988
[startup+0.700884 s]
/proc/loadavg: 1.92 1.98 1.98 2/195 28673
/proc/meminfo: memFree=27363148/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10541988 CPUtime=0.86 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 53910 0 1 0 80 6 0 0 22 0 18 0 954278626 10794995712 53060 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2635497 53063 2200 9 0 2626231 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10541988
[startup+1.50074 s]
/proc/loadavg: 1.93 1.98 1.98 3/213 28691
/proc/meminfo: memFree=27051512/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10541988 CPUtime=1.67 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 105747 0 1 0 155 12 0 0 22 0 18 0 954278626 10794995712 104897 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2635497 104900 2200 9 0 2626231 0
[pid=28673/tid=28675] ppid=28671 vsize=10541988 CPUtime=1.47 cores=1,3,5,7
/proc/28673/task/28675/stat : 28675 (java) R 28671 28673 27745 0 -1 4202560 102511 0 1 0 136 11 0 0 19 0 18 0 954278627 10794995712 104901 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 46912505563702 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28673/tid=28676] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28676/stat : 28676 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954278629 10794995712 104903 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28677] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28677/stat : 28677 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10794995712 104905 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28678] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28678/stat : 28678 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10794995712 104906 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28679] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28679/stat : 28679 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10794995712 104908 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28680] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28680/stat : 28680 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10794995712 104910 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28681] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28681/stat : 28681 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10794995712 104911 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28682] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28682/stat : 28682 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278629 10794995712 104913 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28683] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28683/stat : 28683 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278629 10794995712 104914 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28684] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28684/stat : 28684 (java) S 28671 28673 27745 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954278630 10794995712 104916 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 0 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28685] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28685/stat : 28685 (java) S 28671 28673 27745 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 18 0 954278630 10794995712 104917 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28686] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28686/stat : 28686 (java) S 28671 28673 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 954278630 10794995712 104919 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28687] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28687/stat : 28687 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954278632 10794995712 104920 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427215281 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28688] ppid=28671 vsize=10541988 CPUtime=0.07 cores=1,3,5,7
/proc/28673/task/28688/stat : 28688 (java) S 28671 28673 27745 0 -1 4202560 727 0 0 0 7 0 0 0 19 0 18 0 954278632 10794995712 104922 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28689] ppid=28671 vsize=10541988 CPUtime=0.1 cores=1,3,5,7
/proc/28673/task/28689/stat : 28689 (java) S 28671 28673 27745 0 -1 4202560 1362 0 0 0 10 0 0 0 18 0 18 0 954278632 10794995712 104923 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28690] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28690/stat : 28690 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278632 10794995712 104925 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28691] ppid=28671 vsize=10541988 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28691/stat : 28691 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954278632 10794995712 104927 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10541988
[startup+3.10143 s]
/proc/loadavg: 1.93 1.98 1.98 3/213 28691
/proc/meminfo: memFree=26753664/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10549364 CPUtime=3.66 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 234988 0 1 0 340 26 0 0 22 0 18 0 954278626 10802548736 232112 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2637341 232116 2205 9 0 2628075 0
[pid=28673/tid=28675] ppid=28671 vsize=10549364 CPUtime=3.08 cores=1,3,5,7
/proc/28673/task/28675/stat : 28675 (java) R 28671 28673 27745 0 -1 4202560 225594 0 1 0 283 25 0 0 25 0 18 0 954278627 10802548736 232116 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 46912505632915 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28673/tid=28676] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28676/stat : 28676 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954278629 10802548736 232119 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28677] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28677/stat : 28677 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 232121 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28678] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28678/stat : 28678 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 232123 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28679] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28679/stat : 28679 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 232125 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28680] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28680/stat : 28680 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 232127 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28681] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28681/stat : 28681 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 232128 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28682] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28682/stat : 28682 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278629 10802548736 232131 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28683] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28683/stat : 28683 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278629 10802548736 232132 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28684] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28684/stat : 28684 (java) S 28671 28673 27745 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954278630 10802548736 232132 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 0 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28685] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28685/stat : 28685 (java) S 28671 28673 27745 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 18 0 954278630 10802548736 232134 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28686] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28686/stat : 28686 (java) S 28671 28673 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 954278630 10802548736 232136 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28687] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28687/stat : 28687 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954278632 10802548736 232138 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427215281 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28688] ppid=28671 vsize=10549364 CPUtime=0.25 cores=1,3,5,7
/proc/28673/task/28688/stat : 28688 (java) S 28671 28673 27745 0 -1 4202560 2537 0 0 0 25 0 0 0 16 0 18 0 954278632 10802548736 232140 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28689] ppid=28671 vsize=10549364 CPUtime=0.31 cores=1,3,5,7
/proc/28673/task/28689/stat : 28689 (java) S 28671 28673 27745 0 -1 4202560 5710 0 0 0 31 0 0 0 15 0 18 0 954278632 10802548736 232145 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28690] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28690/stat : 28690 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278632 10802548736 232148 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28691] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28691/stat : 28691 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954278632 10802548736 232148 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 10549364
[startup+6.30084 s]
/proc/loadavg: 1.93 1.98 1.98 3/213 28691
/proc/meminfo: memFree=25554940/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10549364 CPUtime=6.99 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 534502 0 1 0 637 62 0 0 22 0 18 0 954278626 10802548736 531337 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2637341 531342 2218 9 0 2628075 0
[pid=28673/tid=28675] ppid=28671 vsize=10549364 CPUtime=6.28 cores=1,3,5,7
/proc/28673/task/28675/stat : 28675 (java) R 28671 28673 27745 0 -1 4202560 525071 0 1 0 567 61 0 0 18 0 18 0 954278627 10802548736 531345 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 46912505575627 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28673/tid=28676] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28676/stat : 28676 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954278629 10802548736 531347 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28677] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28677/stat : 28677 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 531350 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28678] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28678/stat : 28678 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 531352 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28679] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28679/stat : 28679 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 531355 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28680] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28680/stat : 28680 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 531357 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28681] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28681/stat : 28681 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 954278629 10802548736 531360 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28682] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28682/stat : 28682 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278629 10802548736 531366 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28683] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28683/stat : 28683 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278629 10802548736 531367 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28684] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28684/stat : 28684 (java) S 28671 28673 27745 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 954278630 10802548736 531367 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 0 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28685] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28685/stat : 28685 (java) S 28671 28673 27745 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 18 0 954278630 10802548736 531371 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28686] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28686/stat : 28686 (java) S 28671 28673 27745 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 954278630 10802548736 531372 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28687] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28687/stat : 28687 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 954278632 10802548736 531373 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427215281 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28688] ppid=28671 vsize=10549364 CPUtime=0.31 cores=1,3,5,7
/proc/28673/task/28688/stat : 28688 (java) S 28671 28673 27745 0 -1 4202560 2556 0 0 0 31 0 0 0 16 0 18 0 954278632 10802548736 531376 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28689] ppid=28671 vsize=10549364 CPUtime=0.38 cores=1,3,5,7
/proc/28673/task/28689/stat : 28689 (java) S 28671 28673 27745 0 -1 4202560 5729 0 0 0 38 0 0 0 15 0 18 0 954278632 10802548736 531378 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28690] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28690/stat : 28690 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 954278632 10802548736 531381 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28691] ppid=28671 vsize=10549364 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28691/stat : 28691 (java) S 28671 28673 27745 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 954278632 10802548736 531384 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 10549364
[startup+12.7016 s]
/proc/loadavg: 1.94 1.98 1.98 3/213 28691
/proc/meminfo: memFree=24187796/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10547824 CPUtime=15.02 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 798330 0 1 0 1406 96 0 0 22 0 19 0 954278626 10800971776 794388 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2636956 794388 2246 9 0 2627690 0
[pid=28673/tid=28675] ppid=28671 vsize=10547824 CPUtime=12.19 cores=1,3,5,7
################
# More data... #
################
/proc/28673/task/28685/stat : 28685 (java) S 28671 28673 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954278630 10800971776 1325459 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28686] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28686/stat : 28686 (java) S 28671 28673 27745 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954278630 10800971776 1325459 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28687] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28687/stat : 28687 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954278632 10800971776 1325459 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427215281 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28688] ppid=28671 vsize=10547824 CPUtime=1.21 cores=1,3,5,7
/proc/28673/task/28688/stat : 28688 (java) S 28671 28673 27745 0 -1 4202560 7146 0 0 0 120 1 0 0 15 0 19 0 954278632 10800971776 1325459 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28689] ppid=28671 vsize=10547824 CPUtime=1.05 cores=1,3,5,7
/proc/28673/task/28689/stat : 28689 (java) S 28671 28673 27745 0 -1 4202560 6577 0 0 0 105 0 0 0 16 0 19 0 954278632 10800971776 1325459 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28690] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28690/stat : 28690 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954278632 10800971776 1325459 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28691] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28691/stat : 28691 (java) S 28671 28673 27745 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 954278632 10800971776 1325459 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28692] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28692/stat : 28692 (java) S 28671 28673 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954279876 10800971776 1325459 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1621.28
Current children cumulated vsize (KiB) 10547824
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 28798
/proc/meminfo: memFree=22987532/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10547824 CPUtime=1681.71 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 1376577 0 1 0 167998 173 0 0 22 0 19 0 954278626 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2636956 1338171 2266 9 0 2627690 0
[pid=28673/tid=28675] ppid=28671 vsize=10547824 CPUtime=1650.04 cores=1,3,5,7
/proc/28673/task/28675/stat : 28675 (java) R 28671 28673 27745 0 -1 4202560 651267 0 1 0 164925 79 0 0 25 0 19 0 954278627 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 46912505997078 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28673/tid=28676] ppid=28671 vsize=10547824 CPUtime=2.49 cores=1,3,5,7
/proc/28673/task/28676/stat : 28676 (java) S 28671 28673 27745 0 -1 4202560 68012 0 0 0 243 6 0 0 15 0 19 0 954278629 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28677] ppid=28671 vsize=10547824 CPUtime=2.78 cores=1,3,5,7
/proc/28673/task/28677/stat : 28677 (java) S 28671 28673 27745 0 -1 4202560 79609 0 0 0 269 9 0 0 16 0 19 0 954278629 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28678] ppid=28671 vsize=10547824 CPUtime=3.28 cores=1,3,5,7
/proc/28673/task/28678/stat : 28678 (java) S 28671 28673 27745 0 -1 4202560 99927 0 0 0 318 10 0 0 16 0 19 0 954278629 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28679] ppid=28671 vsize=10547824 CPUtime=2.53 cores=1,3,5,7
/proc/28673/task/28679/stat : 28679 (java) S 28671 28673 27745 0 -1 4202560 79961 0 0 0 243 10 0 0 15 0 19 0 954278629 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28680] ppid=28671 vsize=10547824 CPUtime=2.68 cores=1,3,5,7
/proc/28673/task/28680/stat : 28680 (java) S 28671 28673 27745 0 -1 4202560 84079 0 0 0 257 11 0 0 16 0 19 0 954278629 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28681] ppid=28671 vsize=10547824 CPUtime=2.96 cores=1,3,5,7
/proc/28673/task/28681/stat : 28681 (java) S 28671 28673 27745 0 -1 4202560 102473 0 0 0 282 14 0 0 15 0 19 0 954278629 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28682] ppid=28671 vsize=10547824 CPUtime=3.27 cores=1,3,5,7
/proc/28673/task/28682/stat : 28682 (java) S 28671 28673 27745 0 -1 4202560 108722 0 0 0 313 14 0 0 15 0 19 0 954278629 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28683] ppid=28671 vsize=10547824 CPUtime=2.97 cores=1,3,5,7
/proc/28673/task/28683/stat : 28683 (java) S 28671 28673 27745 0 -1 4202560 61823 0 0 0 289 8 0 0 16 0 19 0 954278629 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28684] ppid=28671 vsize=10547824 CPUtime=6.33 cores=1,3,5,7
/proc/28673/task/28684/stat : 28684 (java) S 28671 28673 27745 0 -1 4202560 25733 0 0 0 628 5 0 0 15 0 19 0 954278630 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 0 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28685] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28685/stat : 28685 (java) S 28671 28673 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954278630 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28686] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28686/stat : 28686 (java) S 28671 28673 27745 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954278630 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28687] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28687/stat : 28687 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954278632 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427215281 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28688] ppid=28671 vsize=10547824 CPUtime=1.21 cores=1,3,5,7
/proc/28673/task/28688/stat : 28688 (java) S 28671 28673 27745 0 -1 4202560 7146 0 0 0 120 1 0 0 15 0 19 0 954278632 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28689] ppid=28671 vsize=10547824 CPUtime=1.05 cores=1,3,5,7
/proc/28673/task/28689/stat : 28689 (java) S 28671 28673 27745 0 -1 4202560 6577 0 0 0 105 0 0 0 16 0 19 0 954278632 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28690] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28690/stat : 28690 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954278632 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28691] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28691/stat : 28691 (java) S 28671 28673 27745 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 954278632 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28692] ppid=28671 vsize=10547824 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28692/stat : 28692 (java) S 28671 28673 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954279876 10800971776 1338171 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1681.71
Current children cumulated vsize (KiB) 10547824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 28800
/proc/meminfo: memFree=22967632/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10552980 CPUtime=1742.65 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 1390677 0 1 0 174091 174 0 0 22 0 19 0 954278626 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2638245 1341037 2266 9 0 2628979 0
[pid=28673/tid=28675] ppid=28671 vsize=10552980 CPUtime=1705.84 cores=1,3,5,7
/proc/28673/task/28675/stat : 28675 (java) R 28671 28673 27745 0 -1 4202560 651276 0 1 0 170505 79 0 0 25 0 19 0 954278627 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 46912505912428 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28673/tid=28676] ppid=28671 vsize=10552980 CPUtime=2.66 cores=1,3,5,7
/proc/28673/task/28676/stat : 28676 (java) S 28671 28673 27745 0 -1 4202560 68030 0 0 0 260 6 0 0 16 0 19 0 954278629 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28677] ppid=28671 vsize=10552980 CPUtime=2.85 cores=1,3,5,7
/proc/28673/task/28677/stat : 28677 (java) S 28671 28673 27745 0 -1 4202560 79620 0 0 0 276 9 0 0 16 0 19 0 954278629 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28678] ppid=28671 vsize=10552980 CPUtime=3.39 cores=1,3,5,7
/proc/28673/task/28678/stat : 28678 (java) S 28671 28673 27745 0 -1 4202560 100144 0 0 0 329 10 0 0 16 0 19 0 954278629 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28679] ppid=28671 vsize=10552980 CPUtime=2.63 cores=1,3,5,7
/proc/28673/task/28679/stat : 28679 (java) S 28671 28673 27745 0 -1 4202560 80251 0 0 0 253 10 0 0 15 0 19 0 954278629 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28680] ppid=28671 vsize=10552980 CPUtime=2.79 cores=1,3,5,7
/proc/28673/task/28680/stat : 28680 (java) S 28671 28673 27745 0 -1 4202560 84402 0 0 0 268 11 0 0 16 0 19 0 954278629 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28681] ppid=28671 vsize=10552980 CPUtime=3.04 cores=1,3,5,7
/proc/28673/task/28681/stat : 28681 (java) S 28671 28673 27745 0 -1 4202560 102779 0 0 0 290 14 0 0 16 0 19 0 954278629 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28682] ppid=28671 vsize=10552980 CPUtime=3.34 cores=1,3,5,7
/proc/28673/task/28682/stat : 28682 (java) S 28671 28673 27745 0 -1 4202560 108742 0 0 0 320 14 0 0 15 0 19 0 954278629 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28683] ppid=28671 vsize=10552980 CPUtime=3.07 cores=1,3,5,7
/proc/28673/task/28683/stat : 28683 (java) S 28671 28673 27745 0 -1 4202560 62096 0 0 0 299 8 0 0 15 0 19 0 954278629 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28684] ppid=28671 vsize=10552980 CPUtime=10.32 cores=1,3,5,7
/proc/28673/task/28684/stat : 28684 (java) S 28671 28673 27745 0 -1 4202560 36809 0 0 0 1026 6 0 0 15 0 19 0 954278630 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 0 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28685] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28685/stat : 28685 (java) S 28671 28673 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954278630 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28686] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28686/stat : 28686 (java) S 28671 28673 27745 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954278630 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28687] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28687/stat : 28687 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954278632 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427215281 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28688] ppid=28671 vsize=10552980 CPUtime=1.23 cores=1,3,5,7
/proc/28673/task/28688/stat : 28688 (java) S 28671 28673 27745 0 -1 4202560 7147 0 0 0 122 1 0 0 15 0 19 0 954278632 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28689] ppid=28671 vsize=10552980 CPUtime=1.39 cores=1,3,5,7
/proc/28673/task/28689/stat : 28689 (java) S 28671 28673 27745 0 -1 4202560 8129 0 0 0 139 0 0 0 16 0 19 0 954278632 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28690] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28690/stat : 28690 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954278632 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28691] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28691/stat : 28691 (java) S 28671 28673 27745 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 954278632 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28692] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28692/stat : 28692 (java) S 28671 28673 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954279876 10806251520 1341037 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1742.65
Current children cumulated vsize (KiB) 10552980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1779.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/214 28801
/proc/meminfo: memFree=22954576/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=10552980 CPUtime=1800.09 cores=1,3,5,7
/proc/28673/stat : 28673 (java) S 28671 28673 27745 0 -1 4202496 1390706 0 1 0 179834 175 0 0 22 0 19 0 954278626 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 2638245 1341048 2266 9 0 2628979 0
[pid=28673/tid=28675] ppid=28671 vsize=10552980 CPUtime=1762.7 cores=1,3,5,7
/proc/28673/task/28675/stat : 28675 (java) R 28671 28673 27745 0 -1 4202560 651284 0 1 0 176191 79 0 0 25 0 19 0 954278627 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 46912506177163 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28673/tid=28676] ppid=28671 vsize=10552980 CPUtime=2.73 cores=1,3,5,7
/proc/28673/task/28676/stat : 28676 (java) S 28671 28673 27745 0 -1 4202560 68033 0 0 0 267 6 0 0 16 0 19 0 954278629 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28677] ppid=28671 vsize=10552980 CPUtime=2.93 cores=1,3,5,7
/proc/28673/task/28677/stat : 28677 (java) S 28671 28673 27745 0 -1 4202560 79621 0 0 0 284 9 0 0 16 0 19 0 954278629 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28678] ppid=28671 vsize=10552980 CPUtime=3.46 cores=1,3,5,7
/proc/28673/task/28678/stat : 28678 (java) S 28671 28673 27745 0 -1 4202560 100145 0 0 0 336 10 0 0 16 0 19 0 954278629 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28679] ppid=28671 vsize=10552980 CPUtime=2.71 cores=1,3,5,7
/proc/28673/task/28679/stat : 28679 (java) S 28671 28673 27745 0 -1 4202560 80253 0 0 0 261 10 0 0 15 0 19 0 954278629 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28680] ppid=28671 vsize=10552980 CPUtime=2.84 cores=1,3,5,7
/proc/28673/task/28680/stat : 28680 (java) S 28671 28673 27745 0 -1 4202560 84404 0 0 0 273 11 0 0 15 0 19 0 954278629 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28681] ppid=28671 vsize=10552980 CPUtime=3.11 cores=1,3,5,7
/proc/28673/task/28681/stat : 28681 (java) S 28671 28673 27745 0 -1 4202560 102779 0 0 0 297 14 0 0 15 0 19 0 954278629 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28682] ppid=28671 vsize=10552980 CPUtime=3.37 cores=1,3,5,7
/proc/28673/task/28682/stat : 28682 (java) S 28671 28673 27745 0 -1 4202560 108743 0 0 0 323 14 0 0 15 0 19 0 954278629 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28683] ppid=28671 vsize=10552980 CPUtime=3.16 cores=1,3,5,7
/proc/28673/task/28683/stat : 28683 (java) S 28671 28673 27745 0 -1 4202560 62098 0 0 0 308 8 0 0 16 0 19 0 954278629 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 7 0 0 0
[pid=28673/tid=28684] ppid=28671 vsize=10552980 CPUtime=10.32 cores=1,3,5,7
/proc/28673/task/28684/stat : 28684 (java) S 28671 28673 27745 0 -1 4202560 36813 0 0 0 1026 6 0 0 15 0 19 0 954278630 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 0 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28685] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28685/stat : 28685 (java) S 28671 28673 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954278630 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28686] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28686/stat : 28686 (java) S 28671 28673 27745 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954278630 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28687] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28687/stat : 28687 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954278632 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427215281 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28688] ppid=28671 vsize=10552980 CPUtime=1.23 cores=1,3,5,7
/proc/28673/task/28688/stat : 28688 (java) S 28671 28673 27745 0 -1 4202560 7147 0 0 0 122 1 0 0 15 0 19 0 954278632 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28689] ppid=28671 vsize=10552980 CPUtime=1.4 cores=1,3,5,7
/proc/28673/task/28689/stat : 28689 (java) S 28671 28673 27745 0 -1 4202560 8130 0 0 0 140 0 0 0 15 0 19 0 954278632 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 5 0 0 0
[pid=28673/tid=28690] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28690/stat : 28690 (java) S 28671 28673 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954278632 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427207577 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
[pid=28673/tid=28691] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28691/stat : 28691 (java) S 28671 28673 27745 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 954278632 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 1 0 0 0
[pid=28673/tid=28692] ppid=28671 vsize=10552980 CPUtime=0 cores=1,3,5,7
/proc/28673/task/28692/stat : 28692 (java) S 28671 28673 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954279876 10806251520 1341048 33554432000 1073741824 1073778376 140736007787120 18446744073709551615 256427208192 0 4 0 16800975 18446604466563694784 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10552980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1779.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/214 28801
/proc/meminfo: memFree=22954576/32950928 swapFree=67056212/67111528
[pid=28673] ppid=28671 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/28673/stat : 28673 (java) Z 28671 28673 27745 0 -1 4203548 1390736 0 1 0 179839 190 0 0 17 0 2 0 954278626 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28673/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1779.53
CPU time (s): 1800.33
CPU user time (s): 1798.39
CPU system time (s): 1.9367
CPU usage (%): 101.169
Max. virtual memory (cumulated for all children) (KiB): 10597700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 1.9367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1390736
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= 41503
involuntary context switches= 15060
runsolver used 2.85857 second user time and 6.87895 second system time
The end