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-3457685-1307230344/watcher-3457685-1307230344 -o /tmp/evaluation-result-3457685-1307230344/solver-3457685-1307230344 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457685-1307230344.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: 2.16 2.07 2.01 2/542 1904
/proc/meminfo: memFree=19902760/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1904/stat : 1904 (java) R 1902 1904 32290 0 -1 4202496 851 0 0 0 0 0 0 0 25 0 1 0 834632163 23580672 596 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218900768533 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1904/statm: 5757 608 451 9 0 124 0
[pid=1904/tid=1905] ppid=1902 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 8011 0 1 0 0 0 0 0 25 0 2 0 834632164 10694979584 8826 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.045767 s]
/proc/loadavg: 2.16 2.07 2.01 2/542 1904
/proc/meminfo: memFree=19902760/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10533016 CPUtime=0.04 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 11323 0 1 0 3 1 0 0 25 0 13 0 834632163 10785808384 11021 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2633254 11021 1678 9 0 2624002 0
[pid=1904/tid=1905] ppid=1902 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 10178 0 1 0 3 0 0 0 18 0 13 0 834632164 10785808384 11022 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 47775471381331 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533016
[startup+0.107783 s]
/proc/loadavg: 2.16 2.07 2.01 2/542 1904
/proc/meminfo: memFree=19902760/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10540272 CPUtime=0.11 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 13220 0 1 0 10 1 0 0 25 0 18 0 834632163 10793238528 12889 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2635068 12890 2114 9 0 2625802 0
[pid=1904/tid=1905] ppid=1902 vsize=10540272 CPUtime=0.09 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 11264 0 1 0 8 1 0 0 18 0 18 0 834632164 10793238528 12890 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 47775471041635 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540272
[startup+0.300713 s]
/proc/loadavg: 2.16 2.07 2.01 2/542 1904
/proc/meminfo: memFree=19902760/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10544016 CPUtime=0.5 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 16839 0 1 0 48 2 0 0 25 0 18 0 834632163 10797072384 15973 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2636004 15974 2201 9 0 2626738 0
[pid=1904/tid=1905] ppid=1902 vsize=10544016 CPUtime=0.28 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 13198 0 1 0 27 1 0 0 18 0 18 0 834632164 10797072384 15975 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10544016
[startup+0.700635 s]
/proc/loadavg: 2.16 2.07 2.01 2/542 1904
/proc/meminfo: memFree=19902760/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10550408 CPUtime=1.41 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 35943 0 1 0 137 4 0 0 25 0 19 0 834632163 10803617792 32813 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2637602 32813 2230 9 0 2628336 0
[pid=1904/tid=1905] ppid=1902 vsize=10550408 CPUtime=0.69 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 26490 0 1 0 66 3 0 0 19 0 19 0 834632164 10803617792 32813 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 46912505792432 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 10550408
[startup+1.5015 s]
/proc/loadavg: 2.16 2.07 2.01 4/561 1923
/proc/meminfo: memFree=19715120/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10549108 CPUtime=2.82 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 100446 0 1 0 270 12 0 0 25 0 19 0 834632163 10802286592 95499 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2637277 95506 2236 9 0 2628011 0
[pid=1904/tid=1905] ppid=1902 vsize=10549108 CPUtime=1.48 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 89351 0 1 0 138 10 0 0 20 0 19 0 834632164 10802286592 95509 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 46912505837540 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1904/tid=1907] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1907/stat : 1907 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802286592 95509 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1908] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1908/stat : 1908 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802286592 95510 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1909] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1909/stat : 1909 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802286592 95511 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1910] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1910/stat : 1910 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802286592 95513 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1911] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1911/stat : 1911 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802286592 95517 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1912] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1912/stat : 1912 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802286592 95521 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1913] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1913/stat : 1913 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802286592 95525 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1914] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1914/stat : 1914 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802286592 95527 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1915] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1915/stat : 1915 (java) S 1902 1904 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834632166 10802286592 95530 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 0 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1916] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1916/stat : 1916 (java) S 1902 1904 32290 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 834632167 10802286592 95535 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1917] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1917/stat : 1917 (java) S 1902 1904 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834632167 10802286592 95538 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1918] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1918/stat : 1918 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834632169 10802286592 95542 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917554609 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1919] ppid=1902 vsize=10549108 CPUtime=0.67 cores=1,3,5,7
/proc/1904/task/1919/stat : 1919 (java) S 1902 1904 32290 0 -1 4202560 4813 0 0 0 67 0 0 0 15 0 19 0 834632169 10802286592 95543 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1920] ppid=1902 vsize=10549108 CPUtime=0.63 cores=1,3,5,7
/proc/1904/task/1920/stat : 1920 (java) R 1902 1904 32290 0 -1 4202560 5132 0 0 0 63 0 0 0 15 0 19 0 834632169 10802286592 95544 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 47775466172449 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1904/tid=1921] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1921/stat : 1921 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834632169 10802286592 95546 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1922] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1922/stat : 1922 (java) S 1902 1904 32290 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834632169 10802286592 95550 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1923] ppid=1902 vsize=10549108 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1923/stat : 1923 (java) S 1902 1904 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834632221 10802286592 95554 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10549108
[startup+3.1012 s]
/proc/loadavg: 2.14 2.06 2.01 3/561 1923
/proc/meminfo: memFree=19289924/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10549256 CPUtime=4.49 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 256547 0 1 0 419 30 0 0 25 0 19 0 834632163 10802438144 251598 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2637314 251602 2238 9 0 2628048 0
[pid=1904/tid=1905] ppid=1902 vsize=10549256 CPUtime=3.08 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 245416 0 1 0 280 28 0 0 25 0 19 0 834632164 10802438144 251604 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 46912505974514 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1904/tid=1907] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1907/stat : 1907 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 251606 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1908] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1908/stat : 1908 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 251608 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1909] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1909/stat : 1909 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 251610 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1910] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1910/stat : 1910 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 251612 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1911] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1911/stat : 1911 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 251615 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1912] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1912/stat : 1912 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 251617 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1913] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1913/stat : 1913 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 251618 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1914] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1914/stat : 1914 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 251621 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1915] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1915/stat : 1915 (java) S 1902 1904 32290 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834632166 10802438144 251622 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 0 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1916] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1916/stat : 1916 (java) S 1902 1904 32290 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 834632167 10802438144 251624 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1917] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1917/stat : 1917 (java) S 1902 1904 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834632167 10802438144 251625 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1918] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1918/stat : 1918 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834632169 10802438144 251627 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917554609 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1919] ppid=1902 vsize=10549256 CPUtime=0.69 cores=1,3,5,7
/proc/1904/task/1919/stat : 1919 (java) S 1902 1904 32290 0 -1 4202560 4837 0 0 0 69 0 0 0 15 0 19 0 834632169 10802438144 251629 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1920] ppid=1902 vsize=10549256 CPUtime=0.69 cores=1,3,5,7
/proc/1904/task/1920/stat : 1920 (java) S 1902 1904 32290 0 -1 4202560 5139 0 0 0 69 0 0 0 15 0 19 0 834632169 10802438144 251631 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1921] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1921/stat : 1921 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834632169 10802438144 251632 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1922] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1922/stat : 1922 (java) S 1902 1904 32290 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834632169 10802438144 251634 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1923] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1923/stat : 1923 (java) S 1902 1904 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834632221 10802438144 251637 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10549256
[startup+6.30064 s]
/proc/loadavg: 2.14 2.06 2.01 3/561 1923
/proc/meminfo: memFree=18031632/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10549256 CPUtime=7.76 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 557993 0 1 0 715 61 0 0 25 0 19 0 834632163 10802438144 553017 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2637314 553021 2238 9 0 2628048 0
[pid=1904/tid=1905] ppid=1902 vsize=10549256 CPUtime=6.28 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 546853 0 1 0 569 59 0 0 19 0 19 0 834632164 10802438144 553023 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 46912505686314 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1904/tid=1907] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1907/stat : 1907 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 553024 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1908] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1908/stat : 1908 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 553024 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1909] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1909/stat : 1909 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 553025 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1910] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1910/stat : 1910 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 553026 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1911] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1911/stat : 1911 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 553028 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1912] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1912/stat : 1912 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 553030 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1913] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1913/stat : 1913 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 553032 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1914] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1914/stat : 1914 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834632165 10802438144 553033 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1915] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1915/stat : 1915 (java) S 1902 1904 32290 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834632166 10802438144 553035 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 0 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1916] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1916/stat : 1916 (java) S 1902 1904 32290 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 834632167 10802438144 553037 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1917] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1917/stat : 1917 (java) S 1902 1904 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834632167 10802438144 553038 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1918] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1918/stat : 1918 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834632169 10802438144 553040 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917554609 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1919] ppid=1902 vsize=10549256 CPUtime=0.69 cores=1,3,5,7
/proc/1904/task/1919/stat : 1919 (java) S 1902 1904 32290 0 -1 4202560 4837 0 0 0 69 0 0 0 15 0 19 0 834632169 10802438144 553042 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1920] ppid=1902 vsize=10549256 CPUtime=0.76 cores=1,3,5,7
/proc/1904/task/1920/stat : 1920 (java) S 1902 1904 32290 0 -1 4202560 5148 0 0 0 76 0 0 0 15 0 19 0 834632169 10802438144 553043 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/1904/task/1916/stat : 1916 (java) S 1902 1904 32290 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 834632167 10802438144 959900 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1917] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1917/stat : 1917 (java) S 1902 1904 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834632167 10802438144 959900 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1918] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1918/stat : 1918 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834632169 10802438144 959900 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917554609 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1919] ppid=1902 vsize=10549256 CPUtime=0.72 cores=1,3,5,7
/proc/1904/task/1919/stat : 1919 (java) S 1902 1904 32290 0 -1 4202560 4843 0 0 0 72 0 0 0 16 0 19 0 834632169 10802438144 959900 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1920] ppid=1902 vsize=10549256 CPUtime=1.39 cores=1,3,5,7
/proc/1904/task/1920/stat : 1920 (java) S 1902 1904 32290 0 -1 4202560 10945 0 0 0 138 1 0 0 15 0 19 0 834632169 10802438144 959900 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1921] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1921/stat : 1921 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834632169 10802438144 959900 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1922] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1922/stat : 1922 (java) S 1902 1904 32290 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834632169 10802438144 959900 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1923] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1923/stat : 1923 (java) S 1902 1904 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834632221 10802438144 959900 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.74
Current children cumulated vsize (KiB) 10549256
[startup+1722.3 s]
/proc/loadavg: 1.00 1.04 1.34 2/537 2659
/proc/meminfo: memFree=19928008/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10549256 CPUtime=1728.89 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 974886 0 1 0 172779 110 0 0 25 0 19 0 834632163 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2637314 961752 2267 9 0 2628048 0
[pid=1904/tid=1905] ppid=1902 vsize=10549256 CPUtime=1719.21 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 815142 0 1 0 171835 86 0 0 25 0 19 0 834632164 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 46912505947636 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1904/tid=1907] ppid=1902 vsize=10549256 CPUtime=0.81 cores=1,3,5,7
/proc/1904/task/1907/stat : 1907 (java) S 1902 1904 32290 0 -1 4202560 22700 0 0 0 78 3 0 0 15 0 19 0 834632165 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1908] ppid=1902 vsize=10549256 CPUtime=0.83 cores=1,3,5,7
/proc/1904/task/1908/stat : 1908 (java) S 1902 1904 32290 0 -1 4202560 15968 0 0 0 82 1 0 0 16 0 19 0 834632165 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1909] ppid=1902 vsize=10549256 CPUtime=0.72 cores=1,3,5,7
/proc/1904/task/1909/stat : 1909 (java) S 1902 1904 32290 0 -1 4202560 17978 0 0 0 71 1 0 0 15 0 19 0 834632165 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1910] ppid=1902 vsize=10549256 CPUtime=0.72 cores=1,3,5,7
/proc/1904/task/1910/stat : 1910 (java) S 1902 1904 32290 0 -1 4202560 12503 0 0 0 70 2 0 0 16 0 19 0 834632165 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1911] ppid=1902 vsize=10549256 CPUtime=0.85 cores=1,3,5,7
/proc/1904/task/1911/stat : 1911 (java) S 1902 1904 32290 0 -1 4202560 14516 0 0 0 82 3 0 0 15 0 19 0 834632165 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1912] ppid=1902 vsize=10549256 CPUtime=0.73 cores=1,3,5,7
/proc/1904/task/1912/stat : 1912 (java) S 1902 1904 32290 0 -1 4202560 14267 0 0 0 71 2 0 0 16 0 19 0 834632165 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1913] ppid=1902 vsize=10549256 CPUtime=1.02 cores=1,3,5,7
/proc/1904/task/1913/stat : 1913 (java) S 1902 1904 32290 0 -1 4202560 23128 0 0 0 100 2 0 0 15 0 19 0 834632165 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1914] ppid=1902 vsize=10549256 CPUtime=0.75 cores=1,3,5,7
/proc/1904/task/1914/stat : 1914 (java) S 1902 1904 32290 0 -1 4202560 15009 0 0 0 73 2 0 0 15 0 19 0 834632165 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1915] ppid=1902 vsize=10549256 CPUtime=1.02 cores=1,3,5,7
/proc/1904/task/1915/stat : 1915 (java) S 1902 1904 32290 0 -1 4202560 6639 0 0 0 101 1 0 0 15 0 19 0 834632166 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 0 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1916] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1916/stat : 1916 (java) S 1902 1904 32290 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 834632167 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1917] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1917/stat : 1917 (java) S 1902 1904 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834632167 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1918] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1918/stat : 1918 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834632169 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917554609 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1919] ppid=1902 vsize=10549256 CPUtime=0.72 cores=1,3,5,7
/proc/1904/task/1919/stat : 1919 (java) S 1902 1904 32290 0 -1 4202560 4843 0 0 0 72 0 0 0 16 0 19 0 834632169 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1920] ppid=1902 vsize=10549256 CPUtime=1.39 cores=1,3,5,7
/proc/1904/task/1920/stat : 1920 (java) S 1902 1904 32290 0 -1 4202560 10945 0 0 0 138 1 0 0 15 0 19 0 834632169 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1921] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1921/stat : 1921 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834632169 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1922] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1922/stat : 1922 (java) S 1902 1904 32290 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834632169 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1923] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1923/stat : 1923 (java) S 1902 1904 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834632221 10802438144 961752 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.89
Current children cumulated vsize (KiB) 10549256
[startup+1782.3 s]
/proc/loadavg: 1.10 1.06 1.32 2/537 2660
/proc/meminfo: memFree=19923164/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10549256 CPUtime=1789.03 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 976098 0 1 0 178793 110 0 0 25 0 19 0 834632163 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2637314 962939 2267 9 0 2628048 0
[pid=1904/tid=1905] ppid=1902 vsize=10549256 CPUtime=1779.13 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 815145 0 1 0 177827 86 0 0 25 0 19 0 834632164 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 46912505947626 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1904/tid=1907] ppid=1902 vsize=10549256 CPUtime=0.86 cores=1,3,5,7
/proc/1904/task/1907/stat : 1907 (java) S 1902 1904 32290 0 -1 4202560 22891 0 0 0 83 3 0 0 16 0 19 0 834632165 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1908] ppid=1902 vsize=10549256 CPUtime=0.86 cores=1,3,5,7
/proc/1904/task/1908/stat : 1908 (java) S 1902 1904 32290 0 -1 4202560 16133 0 0 0 85 1 0 0 15 0 19 0 834632165 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1909] ppid=1902 vsize=10549256 CPUtime=0.75 cores=1,3,5,7
/proc/1904/task/1909/stat : 1909 (java) S 1902 1904 32290 0 -1 4202560 18122 0 0 0 74 1 0 0 16 0 19 0 834632165 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1910] ppid=1902 vsize=10549256 CPUtime=0.73 cores=1,3,5,7
/proc/1904/task/1910/stat : 1910 (java) S 1902 1904 32290 0 -1 4202560 12503 0 0 0 71 2 0 0 16 0 19 0 834632165 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1911] ppid=1902 vsize=10549256 CPUtime=0.9 cores=1,3,5,7
/proc/1904/task/1911/stat : 1911 (java) S 1902 1904 32290 0 -1 4202560 14950 0 0 0 87 3 0 0 16 0 19 0 834632165 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1912] ppid=1902 vsize=10549256 CPUtime=0.75 cores=1,3,5,7
/proc/1904/task/1912/stat : 1912 (java) S 1902 1904 32290 0 -1 4202560 14412 0 0 0 73 2 0 0 16 0 19 0 834632165 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1913] ppid=1902 vsize=10549256 CPUtime=1.05 cores=1,3,5,7
/proc/1904/task/1913/stat : 1913 (java) S 1902 1904 32290 0 -1 4202560 23249 0 0 0 103 2 0 0 16 0 19 0 834632165 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1914] ppid=1902 vsize=10549256 CPUtime=0.76 cores=1,3,5,7
/proc/1904/task/1914/stat : 1914 (java) S 1902 1904 32290 0 -1 4202560 15010 0 0 0 74 2 0 0 16 0 19 0 834632165 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1915] ppid=1902 vsize=10549256 CPUtime=1.02 cores=1,3,5,7
/proc/1904/task/1915/stat : 1915 (java) S 1902 1904 32290 0 -1 4202560 6643 0 0 0 101 1 0 0 15 0 19 0 834632166 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 0 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1916] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1916/stat : 1916 (java) S 1902 1904 32290 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 834632167 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1917] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1917/stat : 1917 (java) S 1902 1904 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834632167 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1918] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1918/stat : 1918 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834632169 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917554609 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1919] ppid=1902 vsize=10549256 CPUtime=0.72 cores=1,3,5,7
/proc/1904/task/1919/stat : 1919 (java) S 1902 1904 32290 0 -1 4202560 4843 0 0 0 72 0 0 0 16 0 19 0 834632169 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1920] ppid=1902 vsize=10549256 CPUtime=1.39 cores=1,3,5,7
/proc/1904/task/1920/stat : 1920 (java) S 1902 1904 32290 0 -1 4202560 10945 0 0 0 138 1 0 0 15 0 19 0 834632169 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1921] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1921/stat : 1921 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834632169 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1922] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1922/stat : 1922 (java) S 1902 1904 32290 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834632169 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1923] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1923/stat : 1923 (java) S 1902 1904 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834632221 10802438144 962939 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.03
Current children cumulated vsize (KiB) 10549256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.3 s]
/proc/loadavg: 1.09 1.05 1.32 2/537 2660
/proc/meminfo: memFree=19921796/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=10549256 CPUtime=1800.08 cores=1,3,5,7
/proc/1904/stat : 1904 (java) S 1902 1904 32290 0 -1 4202496 976603 0 1 0 179898 110 0 0 25 0 19 0 834632163 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 2637314 963435 2267 9 0 2628048 0
[pid=1904/tid=1905] ppid=1902 vsize=10549256 CPUtime=1790.12 cores=1,3,5,7
/proc/1904/task/1905/stat : 1905 (java) R 1902 1904 32290 0 -1 4202560 815146 0 1 0 178926 86 0 0 25 0 19 0 834632164 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 46912505947776 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1904/tid=1907] ppid=1902 vsize=10549256 CPUtime=0.86 cores=1,3,5,7
/proc/1904/task/1907/stat : 1907 (java) S 1902 1904 32290 0 -1 4202560 22891 0 0 0 83 3 0 0 15 0 19 0 834632165 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1908] ppid=1902 vsize=10549256 CPUtime=0.86 cores=1,3,5,7
/proc/1904/task/1908/stat : 1908 (java) S 1902 1904 32290 0 -1 4202560 16133 0 0 0 85 1 0 0 15 0 19 0 834632165 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1909] ppid=1902 vsize=10549256 CPUtime=0.78 cores=1,3,5,7
/proc/1904/task/1909/stat : 1909 (java) S 1902 1904 32290 0 -1 4202560 18243 0 0 0 77 1 0 0 16 0 19 0 834632165 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
[pid=1904/tid=1910] ppid=1902 vsize=10549256 CPUtime=0.73 cores=1,3,5,7
/proc/1904/task/1910/stat : 1910 (java) S 1902 1904 32290 0 -1 4202560 12503 0 0 0 71 2 0 0 15 0 19 0 834632165 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1911] ppid=1902 vsize=10549256 CPUtime=0.93 cores=1,3,5,7
/proc/1904/task/1911/stat : 1911 (java) S 1902 1904 32290 0 -1 4202560 15191 0 0 0 90 3 0 0 16 0 19 0 834632165 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1912] ppid=1902 vsize=10549256 CPUtime=0.75 cores=1,3,5,7
/proc/1904/task/1912/stat : 1912 (java) S 1902 1904 32290 0 -1 4202560 14412 0 0 0 73 2 0 0 16 0 19 0 834632165 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1913] ppid=1902 vsize=10549256 CPUtime=1.07 cores=1,3,5,7
/proc/1904/task/1913/stat : 1913 (java) S 1902 1904 32290 0 -1 4202560 23389 0 0 0 105 2 0 0 16 0 19 0 834632165 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1914] ppid=1902 vsize=10549256 CPUtime=0.76 cores=1,3,5,7
/proc/1904/task/1914/stat : 1914 (java) S 1902 1904 32290 0 -1 4202560 15010 0 0 0 74 2 0 0 15 0 19 0 834632165 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1915] ppid=1902 vsize=10549256 CPUtime=1.02 cores=1,3,5,7
/proc/1904/task/1915/stat : 1915 (java) S 1902 1904 32290 0 -1 4202560 6645 0 0 0 101 1 0 0 15 0 19 0 834632166 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 0 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1916] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1916/stat : 1916 (java) S 1902 1904 32290 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 834632167 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1917] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1917/stat : 1917 (java) S 1902 1904 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834632167 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1918] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1918/stat : 1918 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834632169 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917554609 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1919] ppid=1902 vsize=10549256 CPUtime=0.72 cores=1,3,5,7
/proc/1904/task/1919/stat : 1919 (java) S 1902 1904 32290 0 -1 4202560 4843 0 0 0 72 0 0 0 16 0 19 0 834632169 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 1 0 0 0
[pid=1904/tid=1920] ppid=1902 vsize=10549256 CPUtime=1.39 cores=1,3,5,7
/proc/1904/task/1920/stat : 1920 (java) S 1902 1904 32290 0 -1 4202560 10945 0 0 0 138 1 0 0 15 0 19 0 834632169 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1921] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1921/stat : 1921 (java) S 1902 1904 32290 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834632169 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917546905 0 4 0 16800975 18446604465706559360 0 0 -1 3 0 0 0
[pid=1904/tid=1922] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1922/stat : 1922 (java) S 1902 1904 32290 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834632169 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 5 0 0 0
[pid=1904/tid=1923] ppid=1902 vsize=10549256 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1923/stat : 1923 (java) S 1902 1904 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834632221 10802438144 963435 33554432000 1073741824 1073778376 140735109333008 18446744073709551615 218917547520 0 4 0 16800975 18446604465706559360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10549256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.43 s]
/proc/loadavg: 1.09 1.05 1.32 2/537 2660
/proc/meminfo: memFree=19921796/32951124 swapFree=56930356/67111528
[pid=1904] ppid=1902 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/1904/stat : 1904 (java) Z 1902 1904 32290 0 -1 4203548 976632 0 1 0 179903 117 0 0 17 0 2 0 834632163 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1904/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.5
CPU time (s): 1800.28
CPU user time (s): 1799.04
CPU system time (s): 1.24681
CPU usage (%): 100.378
Max. virtual memory (cumulated for all children) (KiB): 10551628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.24681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 976632
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= 39581
involuntary context switches= 15832
runsolver used 9.02163 second user time and 23.5754 second system time
The end