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-3456770-1307657694/watcher-3456770-1307657694 -o /tmp/evaluation-result-3456770-1307657694/solver-3456770-1307657694 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456770-1307657694.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: 2.11 2.07 1.87 2/195 29639
/proc/meminfo: memFree=31185520/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 1239 0 0 0 0 0 0 0 25 0 2 0 877372132 31272960 960 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 7635 960 732 9 0 386 0
[pid=29639/tid=29640] ppid=29637 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 877372133 31272960 961 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218370957115 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0225959 s]
/proc/loadavg: 2.11 2.07 1.87 2/195 29639
/proc/meminfo: memFree=31185520/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 10013 0 1 0 0 1 0 0 25 0 10 0 877372132 10703900672 9716 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2613257 9718 993 9 0 2604413 0
[pid=29639/tid=29640] ppid=29637 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 8893 0 1 0 0 0 0 0 25 0 10 0 877372133 10703900672 9718 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 47249788056640 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.106594 s]
/proc/loadavg: 2.11 2.07 1.87 2/195 29639
/proc/meminfo: memFree=31185520/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10540100 CPUtime=0.11 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 13237 0 1 0 10 1 0 0 25 0 18 0 877372132 10793062400 12876 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2635025 12877 2108 9 0 2625759 0
[pid=29639/tid=29640] ppid=29637 vsize=10540100 CPUtime=0.09 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 11281 0 1 0 8 1 0 0 18 0 18 0 877372133 10793062400 12877 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 47249786103827 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540100
[startup+0.367499 s]
/proc/loadavg: 2.11 2.07 1.87 2/195 29639
/proc/meminfo: memFree=31185520/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10549460 CPUtime=0.78 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 25880 0 1 0 75 3 0 0 25 0 18 0 877372132 10802647040 23319 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2637365 23319 2205 9 0 2628099 0
[pid=29639/tid=29640] ppid=29637 vsize=10549460 CPUtime=0.35 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 15805 0 1 0 33 2 0 0 18 0 18 0 877372133 10802647040 23319 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 46912505186560 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 10549460
[startup+0.700489 s]
/proc/loadavg: 2.11 2.07 1.87 2/195 29639
/proc/meminfo: memFree=31185520/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10550968 CPUtime=1.36 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 50789 0 1 0 130 6 0 0 25 0 19 0 877372132 10804191232 46874 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2637742 46881 2219 9 0 2628476 0
[pid=29639/tid=29640] ppid=29637 vsize=10550968 CPUtime=0.68 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 39452 0 1 0 64 4 0 0 19 0 19 0 877372133 10804191232 46881 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 46912505621880 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 10550968
[startup+1.50136 s]
/proc/loadavg: 2.11 2.07 1.87 3/214 29658
/proc/meminfo: memFree=30841944/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10551992 CPUtime=2.47 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 107466 0 1 0 234 13 0 0 25 0 19 0 877372132 10805239808 103550 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2637998 103551 2227 9 0 2628732 0
[pid=29639/tid=29640] ppid=29637 vsize=10551992 CPUtime=1.48 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 95858 0 1 0 137 11 0 0 18 0 19 0 877372133 10805239808 103551 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 46912505795626 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29639/tid=29642] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29642/stat : 29642 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10805239808 103551 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29643] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29643/stat : 29643 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10805239808 103551 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29644] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29644/stat : 29644 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10805239808 103551 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29645] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29645/stat : 29645 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10805239808 103551 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29646] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29646/stat : 29646 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10805239808 103551 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29647] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29647/stat : 29647 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10805239808 103552 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29648] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29648/stat : 29648 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10805239808 103552 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29649] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29649/stat : 29649 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10805239808 103552 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29650] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29650/stat : 29650 (java) S 29637 29639 26276 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 877372136 10805239808 103552 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29651] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29651/stat : 29651 (java) S 29637 29639 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877372136 10805239808 103552 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29652] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29652/stat : 29652 (java) S 29637 29639 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877372136 10805239808 103552 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29653] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29653/stat : 29653 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10805239808 103552 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29654] ppid=29637 vsize=10551992 CPUtime=0.44 cores=0,2,4,6
/proc/29639/task/29654/stat : 29654 (java) S 29637 29639 26276 0 -1 4202560 4125 0 0 0 44 0 0 0 15 0 19 0 877372138 10805239808 103553 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29655] ppid=29637 vsize=10551992 CPUtime=0.53 cores=0,2,4,6
/proc/29639/task/29655/stat : 29655 (java) S 29637 29639 26276 0 -1 4202560 6325 0 0 0 52 1 0 0 15 0 19 0 877372138 10805239808 103553 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29656] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29656/stat : 29656 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10805239808 103553 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29657] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29657/stat : 29657 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877372138 10805239808 103553 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29658] ppid=29637 vsize=10551992 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29658/stat : 29658 (java) S 29637 29639 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877372187 10805239808 103553 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 10551992
[startup+3.10109 s]
/proc/loadavg: 2.11 2.07 1.87 3/214 29658
/proc/meminfo: memFree=30380788/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10553292 CPUtime=4.25 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 236139 0 1 0 398 27 0 0 25 0 19 0 877372132 10806571008 232223 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2638323 232224 2228 9 0 2629057 0
[pid=29639/tid=29640] ppid=29637 vsize=10553292 CPUtime=3.08 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 224146 0 1 0 283 25 0 0 18 0 19 0 877372133 10806571008 232229 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 46912505621857 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29639/tid=29642] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29642/stat : 29642 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 232232 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29643] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29643/stat : 29643 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 232232 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29644] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29644/stat : 29644 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 232232 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29645] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29645/stat : 29645 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 232235 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29646] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29646/stat : 29646 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 232240 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29647] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29647/stat : 29647 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 232240 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29648] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29648/stat : 29648 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 232240 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29649] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29649/stat : 29649 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 232241 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29650] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29650/stat : 29650 (java) S 29637 29639 26276 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877372136 10806571008 232246 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29651] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29651/stat : 29651 (java) S 29637 29639 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877372136 10806571008 232249 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29652] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29652/stat : 29652 (java) S 29637 29639 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877372136 10806571008 232249 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29653] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29653/stat : 29653 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 232249 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29654] ppid=29637 vsize=10553292 CPUtime=0.54 cores=0,2,4,6
/proc/29639/task/29654/stat : 29654 (java) S 29637 29639 26276 0 -1 4202560 4505 0 0 0 54 0 0 0 15 0 19 0 877372138 10806571008 232251 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29655] ppid=29637 vsize=10553292 CPUtime=0.61 cores=0,2,4,6
/proc/29639/task/29655/stat : 29655 (java) S 29637 29639 26276 0 -1 4202560 6334 0 0 0 60 1 0 0 15 0 19 0 877372138 10806571008 232256 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29656] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29656/stat : 29656 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 232258 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29657] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29657/stat : 29657 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877372138 10806571008 232258 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29658] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29658/stat : 29658 (java) S 29637 29639 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877372187 10806571008 232258 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10553292
[startup+6.30154 s]
/proc/loadavg: 2.10 2.06 1.87 3/214 29658
/proc/meminfo: memFree=28867348/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10553292 CPUtime=7.57 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 486963 0 1 0 704 53 0 0 25 0 19 0 877372132 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2638323 483029 2229 9 0 2629057 0
[pid=29639/tid=29640] ppid=29637 vsize=10553292 CPUtime=6.28 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 474921 0 1 0 577 51 0 0 25 0 19 0 877372133 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 46912505122104 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29639/tid=29642] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29642/stat : 29642 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29643] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29643/stat : 29643 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29644] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29644/stat : 29644 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29645] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29645/stat : 29645 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29646] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29646/stat : 29646 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29647] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29647/stat : 29647 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29648] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29648/stat : 29648 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29649] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29649/stat : 29649 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372134 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29650] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29650/stat : 29650 (java) S 29637 29639 26276 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877372136 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29651] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29651/stat : 29651 (java) S 29637 29639 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877372136 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29652] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29652/stat : 29652 (java) S 29637 29639 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877372136 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29653] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29653/stat : 29653 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29654] ppid=29637 vsize=10553292 CPUtime=0.56 cores=0,2,4,6
/proc/29639/task/29654/stat : 29654 (java) S 29637 29639 26276 0 -1 4202560 4505 0 0 0 56 0 0 0 15 0 19 0 877372138 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29655] ppid=29637 vsize=10553292 CPUtime=0.71 cores=0,2,4,6
/proc/29639/task/29655/stat : 29655 (java) S 29637 29639 26276 0 -1 4202560 6376 0 0 0 70 1 0 0 15 0 19 0 877372138 10806571008 483029 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/29639/task/29652/stat : 29652 (java) S 29637 29639 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877372136 10806571008 991371 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29653] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29653/stat : 29653 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 991371 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29654] ppid=29637 vsize=10553292 CPUtime=0.71 cores=0,2,4,6
/proc/29639/task/29654/stat : 29654 (java) S 29637 29639 26276 0 -1 4202560 4523 0 0 0 71 0 0 0 15 0 19 0 877372138 10806571008 991371 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29655] ppid=29637 vsize=10553292 CPUtime=0.87 cores=0,2,4,6
/proc/29639/task/29655/stat : 29655 (java) S 29637 29639 26276 0 -1 4202560 6399 0 0 0 86 1 0 0 15 0 19 0 877372138 10806571008 991371 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29656] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29656/stat : 29656 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 991371 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29657] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29657/stat : 29657 (java) S 29637 29639 26276 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877372138 10806571008 991371 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29658] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29658/stat : 29658 (java) S 29637 29639 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877372187 10806571008 991371 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.44
Current children cumulated vsize (KiB) 10553292
[startup+1722.3 s]
/proc/loadavg: 2.16 2.06 1.94 3/214 29704
/proc/meminfo: memFree=24108048/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10553292 CPUtime=1727.6 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 1002422 0 1 0 172641 119 0 0 25 0 19 0 877372132 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2638323 995209 2244 9 0 2629057 0
[pid=29639/tid=29640] ppid=29637 vsize=10553292 CPUtime=1720.6 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 840043 0 1 0 171966 94 0 0 25 0 19 0 877372133 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 46912505577962 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29639/tid=29642] ppid=29637 vsize=10553292 CPUtime=0.67 cores=0,2,4,6
/proc/29639/task/29642/stat : 29642 (java) S 29637 29639 26276 0 -1 4202560 17655 0 0 0 65 2 0 0 16 0 19 0 877372134 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29643] ppid=29637 vsize=10553292 CPUtime=0.64 cores=0,2,4,6
/proc/29639/task/29643/stat : 29643 (java) S 29637 29639 26276 0 -1 4202560 16905 0 0 0 63 1 0 0 16 0 19 0 877372134 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29644] ppid=29637 vsize=10553292 CPUtime=0.65 cores=0,2,4,6
/proc/29639/task/29644/stat : 29644 (java) S 29637 29639 26276 0 -1 4202560 19584 0 0 0 62 3 0 0 16 0 19 0 877372134 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29645] ppid=29637 vsize=10553292 CPUtime=0.66 cores=0,2,4,6
/proc/29639/task/29645/stat : 29645 (java) S 29637 29639 26276 0 -1 4202560 20120 0 0 0 64 2 0 0 15 0 19 0 877372134 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29646] ppid=29637 vsize=10553292 CPUtime=0.68 cores=0,2,4,6
/proc/29639/task/29646/stat : 29646 (java) S 29637 29639 26276 0 -1 4202560 18171 0 0 0 66 2 0 0 15 0 19 0 877372134 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29647] ppid=29637 vsize=10553292 CPUtime=0.69 cores=0,2,4,6
/proc/29639/task/29647/stat : 29647 (java) S 29637 29639 26276 0 -1 4202560 17359 0 0 0 67 2 0 0 15 0 19 0 877372134 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29648] ppid=29637 vsize=10553292 CPUtime=0.62 cores=0,2,4,6
/proc/29639/task/29648/stat : 29648 (java) S 29637 29639 26276 0 -1 4202560 20115 0 0 0 59 3 0 0 16 0 19 0 877372134 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29649] ppid=29637 vsize=10553292 CPUtime=0.64 cores=0,2,4,6
/proc/29639/task/29649/stat : 29649 (java) S 29637 29639 26276 0 -1 4202560 20187 0 0 0 63 1 0 0 15 0 19 0 877372134 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29650] ppid=29637 vsize=10553292 CPUtime=0.04 cores=0,2,4,6
/proc/29639/task/29650/stat : 29650 (java) S 29637 29639 26276 0 -1 4202560 109 0 0 0 3 1 0 0 15 0 19 0 877372136 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29651] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29651/stat : 29651 (java) S 29637 29639 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877372136 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29652] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29652/stat : 29652 (java) S 29637 29639 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877372136 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29653] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29653/stat : 29653 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29654] ppid=29637 vsize=10553292 CPUtime=0.71 cores=0,2,4,6
/proc/29639/task/29654/stat : 29654 (java) S 29637 29639 26276 0 -1 4202560 4523 0 0 0 71 0 0 0 15 0 19 0 877372138 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29655] ppid=29637 vsize=10553292 CPUtime=0.87 cores=0,2,4,6
/proc/29639/task/29655/stat : 29655 (java) S 29637 29639 26276 0 -1 4202560 6399 0 0 0 86 1 0 0 15 0 19 0 877372138 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29656] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29656/stat : 29656 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29657] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29657/stat : 29657 (java) S 29637 29639 26276 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877372138 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29658] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29658/stat : 29658 (java) S 29637 29639 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877372187 10806571008 995209 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.6
Current children cumulated vsize (KiB) 10553292
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 1.94 3/214 29706
/proc/meminfo: memFree=24081220/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10553292 CPUtime=1787.71 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 1006631 0 1 0 178651 120 0 0 25 0 19 0 877372132 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2638323 999384 2244 9 0 2629057 0
[pid=29639/tid=29640] ppid=29637 vsize=10553292 CPUtime=1780.54 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 840051 0 1 0 177960 94 0 0 25 0 19 0 877372133 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 46912505966461 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29639/tid=29642] ppid=29637 vsize=10553292 CPUtime=0.7 cores=0,2,4,6
/proc/29639/task/29642/stat : 29642 (java) S 29637 29639 26276 0 -1 4202560 17674 0 0 0 68 2 0 0 15 0 19 0 877372134 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29643] ppid=29637 vsize=10553292 CPUtime=0.66 cores=0,2,4,6
/proc/29639/task/29643/stat : 29643 (java) S 29637 29639 26276 0 -1 4202560 18379 0 0 0 64 2 0 0 15 0 19 0 877372134 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29644] ppid=29637 vsize=10553292 CPUtime=0.67 cores=0,2,4,6
/proc/29639/task/29644/stat : 29644 (java) S 29637 29639 26276 0 -1 4202560 19628 0 0 0 64 3 0 0 16 0 19 0 877372134 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29645] ppid=29637 vsize=10553292 CPUtime=0.69 cores=0,2,4,6
/proc/29639/task/29645/stat : 29645 (java) S 29637 29639 26276 0 -1 4202560 21306 0 0 0 67 2 0 0 16 0 19 0 877372134 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29646] ppid=29637 vsize=10553292 CPUtime=0.7 cores=0,2,4,6
/proc/29639/task/29646/stat : 29646 (java) S 29637 29639 26276 0 -1 4202560 18215 0 0 0 68 2 0 0 15 0 19 0 877372134 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29647] ppid=29637 vsize=10553292 CPUtime=0.69 cores=0,2,4,6
/proc/29639/task/29647/stat : 29647 (java) S 29637 29639 26276 0 -1 4202560 17387 0 0 0 67 2 0 0 15 0 19 0 877372134 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29648] ppid=29637 vsize=10553292 CPUtime=0.62 cores=0,2,4,6
/proc/29639/task/29648/stat : 29648 (java) S 29637 29639 26276 0 -1 4202560 20115 0 0 0 59 3 0 0 15 0 19 0 877372134 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29649] ppid=29637 vsize=10553292 CPUtime=0.67 cores=0,2,4,6
/proc/29639/task/29649/stat : 29649 (java) S 29637 29639 26276 0 -1 4202560 21589 0 0 0 66 1 0 0 16 0 19 0 877372134 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29650] ppid=29637 vsize=10553292 CPUtime=0.04 cores=0,2,4,6
/proc/29639/task/29650/stat : 29650 (java) S 29637 29639 26276 0 -1 4202560 111 0 0 0 3 1 0 0 15 0 19 0 877372136 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29651] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29651/stat : 29651 (java) S 29637 29639 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877372136 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29652] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29652/stat : 29652 (java) S 29637 29639 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877372136 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29653] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29653/stat : 29653 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29654] ppid=29637 vsize=10553292 CPUtime=0.71 cores=0,2,4,6
/proc/29639/task/29654/stat : 29654 (java) S 29637 29639 26276 0 -1 4202560 4523 0 0 0 71 0 0 0 15 0 19 0 877372138 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29655] ppid=29637 vsize=10553292 CPUtime=0.87 cores=0,2,4,6
/proc/29639/task/29655/stat : 29655 (java) S 29637 29639 26276 0 -1 4202560 6399 0 0 0 86 1 0 0 15 0 19 0 877372138 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29656] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29656/stat : 29656 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29657] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29657/stat : 29657 (java) S 29637 29639 26276 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877372138 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29658] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29658/stat : 29658 (java) S 29637 29639 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877372187 10806571008 999384 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.71
Current children cumulated vsize (KiB) 10553292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.6 s]
/proc/loadavg: 1.82 1.99 1.93 2/190 29733
/proc/meminfo: memFree=28361496/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=10553292 CPUtime=1800.04 cores=0,2,4,6
/proc/29639/stat : 29639 (java) S 29637 29639 26276 0 -1 4202496 1007232 0 1 0 179884 120 0 0 25 0 19 0 877372132 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 2638323 999978 2244 9 0 2629057 0
[pid=29639/tid=29640] ppid=29637 vsize=10553292 CPUtime=1792.83 cores=0,2,4,6
/proc/29639/task/29640/stat : 29640 (java) R 29637 29639 26276 0 -1 4202560 840053 0 1 0 179189 94 0 0 25 0 19 0 877372133 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 46912505674678 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29639/tid=29642] ppid=29637 vsize=10553292 CPUtime=0.71 cores=0,2,4,6
/proc/29639/task/29642/stat : 29642 (java) S 29637 29639 26276 0 -1 4202560 18223 0 0 0 69 2 0 0 16 0 19 0 877372134 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29643] ppid=29637 vsize=10553292 CPUtime=0.68 cores=0,2,4,6
/proc/29639/task/29643/stat : 29643 (java) S 29637 29639 26276 0 -1 4202560 18382 0 0 0 66 2 0 0 16 0 19 0 877372134 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29644] ppid=29637 vsize=10553292 CPUtime=0.68 cores=0,2,4,6
/proc/29639/task/29644/stat : 29644 (java) S 29637 29639 26276 0 -1 4202560 19628 0 0 0 65 3 0 0 16 0 19 0 877372134 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29645] ppid=29637 vsize=10553292 CPUtime=0.69 cores=0,2,4,6
/proc/29639/task/29645/stat : 29645 (java) S 29637 29639 26276 0 -1 4202560 21309 0 0 0 67 2 0 0 15 0 19 0 877372134 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29646] ppid=29637 vsize=10553292 CPUtime=0.71 cores=0,2,4,6
/proc/29639/task/29646/stat : 29646 (java) S 29637 29639 26276 0 -1 4202560 18252 0 0 0 69 2 0 0 15 0 19 0 877372134 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29647] ppid=29637 vsize=10553292 CPUtime=0.69 cores=0,2,4,6
/proc/29639/task/29647/stat : 29647 (java) S 29637 29639 26276 0 -1 4202560 17389 0 0 0 67 2 0 0 15 0 19 0 877372134 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0
[pid=29639/tid=29648] ppid=29637 vsize=10553292 CPUtime=0.62 cores=0,2,4,6
/proc/29639/task/29648/stat : 29648 (java) S 29637 29639 26276 0 -1 4202560 20116 0 0 0 59 3 0 0 16 0 19 0 877372134 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29649] ppid=29637 vsize=10553292 CPUtime=0.67 cores=0,2,4,6
/proc/29639/task/29649/stat : 29649 (java) S 29637 29639 26276 0 -1 4202560 21589 0 0 0 66 1 0 0 15 0 19 0 877372134 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29650] ppid=29637 vsize=10553292 CPUtime=0.04 cores=0,2,4,6
/proc/29639/task/29650/stat : 29650 (java) S 29637 29639 26276 0 -1 4202560 113 0 0 0 3 1 0 0 15 0 19 0 877372136 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29651] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29651/stat : 29651 (java) S 29637 29639 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877372136 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29652] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29652/stat : 29652 (java) S 29637 29639 26276 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877372136 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29653] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29653/stat : 29653 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29654] ppid=29637 vsize=10553292 CPUtime=0.71 cores=0,2,4,6
/proc/29639/task/29654/stat : 29654 (java) S 29637 29639 26276 0 -1 4202560 4523 0 0 0 71 0 0 0 15 0 19 0 877372138 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29655] ppid=29637 vsize=10553292 CPUtime=0.87 cores=0,2,4,6
/proc/29639/task/29655/stat : 29655 (java) S 29637 29639 26276 0 -1 4202560 6399 0 0 0 86 1 0 0 15 0 19 0 877372138 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0
[pid=29639/tid=29656] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29656/stat : 29656 (java) S 29637 29639 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877372138 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
[pid=29639/tid=29657] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29657/stat : 29657 (java) S 29637 29639 26276 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877372138 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0
[pid=29639/tid=29658] ppid=29637 vsize=10553292 CPUtime=0 cores=0,2,4,6
/proc/29639/task/29658/stat : 29658 (java) S 29637 29639 26276 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877372187 10806571008 999978 33554432000 1073741824 1073778376 140735187115248 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10553292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.71 s]
/proc/loadavg: 1.82 1.99 1.93 2/190 29733
/proc/meminfo: memFree=28361496/32951124 swapFree=67050780/67111528
[pid=29639] ppid=29637 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/29639/stat : 29639 (java) Z 29637 29639 26276 0 -1 4203548 1007266 0 1 0 179890 127 0 0 17 0 2 0 877372132 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29639/statm: 0 0 0 0 0 0 0
[pid=29639/tid=29658] ppid=29637 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/29639/task/29658/stat : 29658 (java) R 29637 29639 26276 0 -1 4203588 7 0 0 0 0 6 0 0 18 0 2 0 877372187 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.79
CPU time (s): 1800.26
CPU user time (s): 1798.91
CPU system time (s): 1.34979
CPU usage (%): 100.305
Max. virtual memory (cumulated for all children) (KiB): 10553292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.34979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007266
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= 42018
involuntary context switches= 6426
runsolver used 3.35649 second user time and 6.44602 second system time
The end