runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744753-1338813398/watcher-3744753-1338813398 -o /tmp/evaluation-result-3744753-1338813398/solver-3744753-1338813398 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3744753-1338813398.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.63 1.94 1.97 3/191 4797
/proc/meminfo: memFree=26095760/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/4797/stat : 4797 (java) R 4795 4797 2813 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 347465457 23793664 712 33554432000 1073741824 1073778376 140735249009776 140735248998840 227503289704 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 5809 712 527 9 0 128 0
[startup+0.053132 s]
/proc/loadavg: 1.63 1.94 1.97 3/191 4797
/proc/meminfo: memFree=26095760/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2648548 CPUtime=0.03 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 3799 0 1 0 3 0 0 0 20 0 18 0 347465457 2712113152 5517 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 662137 5517 1753 9 0 652835 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2648548
[startup+0.100204 s]
/proc/loadavg: 1.63 1.94 1.97 3/191 4797
/proc/meminfo: memFree=26095760/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 4787 0 1 0 10 1 0 0 20 0 18 0 347465457 2712133632 8011 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 662142 8011 2150 9 0 652835 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.300164 s]
/proc/loadavg: 1.63 1.94 1.97 3/191 4797
/proc/meminfo: memFree=26095760/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2648568 CPUtime=0.51 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 5948 0 1 0 49 2 0 0 20 0 18 0 347465457 2712133632 12609 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 662142 12609 2219 9 0 652835 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2648568
[startup+0.700176 s]
/proc/loadavg: 1.63 1.94 1.97 3/191 4797
/proc/meminfo: memFree=26095760/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2648568 CPUtime=1.04 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 8491 0 1 0 100 4 0 0 20 0 18 0 347465457 2712133632 51357 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 662142 51357 2230 9 0 652835 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 2648568
[startup+1.50059 s]
/proc/loadavg: 1.66 1.94 1.97 5/209 4815
/proc/meminfo: memFree=25749200/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2648568 CPUtime=1.95 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 8653 0 1 0 186 9 0 0 20 0 18 0 347465457 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 662142 97471 2246 9 0 652835 0
[pid=4797/tid=4799] ppid=4795 vsize=2648568 CPUtime=1.44 cores=1,3,5,7
/proc/4797/task/4799/stat : 4799 (java) R 4795 4797 2813 0 -1 4202560 2907 0 1 0 138 6 0 0 20 0 18 0 347465457 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979586699344 139979443809936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4800] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4800/stat : 4800 (java) S 4795 4797 2813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347465458 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979571157416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4801] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4801/stat : 4801 (java) S 4795 4797 2813 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 347465458 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979570104872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4802] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4802/stat : 4802 (java) S 4795 4797 2813 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 347465458 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979569051816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4803] ppid=4795 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/4797/task/4803/stat : 4803 (java) S 4795 4797 2813 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 347465458 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979567999272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4804] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4804/stat : 4804 (java) S 4795 4797 2813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347465458 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979566947240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4805] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4805/stat : 4805 (java) S 4795 4797 2813 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 347465458 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979565894696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4806] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4806/stat : 4806 (java) S 4795 4797 2813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347465458 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979564841640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4807] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4807/stat : 4807 (java) S 4795 4797 2813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347465458 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979563789096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4808] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4808/stat : 4808 (java) S 4795 4797 2813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347465459 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979433924968 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4809] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4809/stat : 4809 (java) S 4795 4797 2813 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347465459 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979432871288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4810] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4810/stat : 4810 (java) S 4795 4797 2813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347465459 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979431818120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4811] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4811/stat : 4811 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347465462 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979430766864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4812] ppid=4795 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/4797/task/4812/stat : 4812 (java) S 4795 4797 2813 0 -1 4202560 1969 0 0 0 17 0 0 0 20 0 18 0 347465462 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979429714744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4813] ppid=4795 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/4797/task/4813/stat : 4813 (java) S 4795 4797 2813 0 -1 4202560 2516 0 0 0 17 0 0 0 20 0 18 0 347465462 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139979428662200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4814] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4814/stat : 4814 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347465462 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139978554206968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4815] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4815/stat : 4815 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347465462 2712133632 97471 33554432000 1073741824 1073778376 140735249009776 139978553154632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 2648568
[startup+3.1006 s]
/proc/loadavg: 1.66 1.94 1.97 3/209 4815
/proc/meminfo: memFree=25627388/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2648568 CPUtime=3.79 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 8773 0 1 0 365 14 0 0 20 0 18 0 347465457 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 662142 108766 2248 9 0 652835 0
[pid=4797/tid=4799] ppid=4795 vsize=2648568 CPUtime=2.96 cores=1,3,5,7
/proc/4797/task/4799/stat : 4799 (java) R 4795 4797 2813 0 -1 4202560 2909 0 1 0 289 7 0 0 20 0 18 0 347465457 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979586706856 227515884813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4800] ppid=4795 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/4797/task/4800/stat : 4800 (java) S 4795 4797 2813 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 18 0 347465458 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979571157416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4801] ppid=4795 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/4797/task/4801/stat : 4801 (java) S 4795 4797 2813 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 18 0 347465458 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979570104872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4802] ppid=4795 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/4797/task/4802/stat : 4802 (java) S 4795 4797 2813 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 347465458 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979569051816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4803] ppid=4795 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/4797/task/4803/stat : 4803 (java) S 4795 4797 2813 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 18 0 347465458 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979567999272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4804] ppid=4795 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/4797/task/4804/stat : 4804 (java) S 4795 4797 2813 0 -1 4202560 27 0 0 0 4 1 0 0 20 0 18 0 347465458 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979566947240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4805] ppid=4795 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/4797/task/4805/stat : 4805 (java) S 4795 4797 2813 0 -1 4202560 29 0 0 0 6 0 0 0 20 0 18 0 347465458 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979565894696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4806] ppid=4795 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/4797/task/4806/stat : 4806 (java) S 4795 4797 2813 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 347465458 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979564841640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4807] ppid=4795 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/4797/task/4807/stat : 4807 (java) S 4795 4797 2813 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 18 0 347465458 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979563789096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4808] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4808/stat : 4808 (java) S 4795 4797 2813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347465459 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979433924968 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4809] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4809/stat : 4809 (java) S 4795 4797 2813 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347465459 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979432871288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4810] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4810/stat : 4810 (java) S 4795 4797 2813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347465459 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979431818120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4811] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4811/stat : 4811 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347465462 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979430766864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4812] ppid=4795 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/4797/task/4812/stat : 4812 (java) S 4795 4797 2813 0 -1 4202560 1971 0 0 0 17 0 0 0 20 0 18 0 347465462 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979429714744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4813] ppid=4795 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/4797/task/4813/stat : 4813 (java) S 4795 4797 2813 0 -1 4202560 2516 0 0 0 17 0 0 0 20 0 18 0 347465462 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139979428662200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4814] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4814/stat : 4814 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347465462 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139978554206968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4815] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4815/stat : 4815 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347465462 2712133632 108766 33554432000 1073741824 1073778376 140735249009776 139978553154632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 2648568
[startup+6.30071 s]
/proc/loadavg: 1.69 1.94 1.97 11/210 4816
/proc/meminfo: memFree=25525860/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2648568 CPUtime=7.8 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 9524 0 1 0 757 23 0 0 20 0 18 0 347465457 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 662142 129686 2248 9 0 652835 0
[pid=4797/tid=4799] ppid=4795 vsize=2648568 CPUtime=5.86 cores=1,3,5,7
/proc/4797/task/4799/stat : 4799 (java) R 4795 4797 2813 0 -1 4202560 2915 0 1 0 579 7 0 0 20 0 18 0 347465457 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979586706936 227515884813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4800] ppid=4795 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/4797/task/4800/stat : 4800 (java) S 4795 4797 2813 0 -1 4202560 372 0 0 0 18 3 0 0 20 0 18 0 347465458 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979571157416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4801] ppid=4795 vsize=2648568 CPUtime=0.15 cores=1,3,5,7
/proc/4797/task/4801/stat : 4801 (java) S 4795 4797 2813 0 -1 4202560 64 0 0 0 13 2 0 0 20 0 18 0 347465458 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979570104872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4802] ppid=4795 vsize=2648568 CPUtime=0.19 cores=1,3,5,7
/proc/4797/task/4802/stat : 4802 (java) S 4795 4797 2813 0 -1 4202560 60 0 0 0 17 2 0 0 20 0 18 0 347465458 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979569051816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4803] ppid=4795 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/4797/task/4803/stat : 4803 (java) S 4795 4797 2813 0 -1 4202560 52 0 0 0 15 2 0 0 20 0 18 0 347465458 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979567999272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4804] ppid=4795 vsize=2648568 CPUtime=0.2 cores=1,3,5,7
/proc/4797/task/4804/stat : 4804 (java) S 4795 4797 2813 0 -1 4202560 220 0 0 0 17 3 0 0 20 0 18 0 347465458 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979566947240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4805] ppid=4795 vsize=2648568 CPUtime=0.15 cores=1,3,5,7
/proc/4797/task/4805/stat : 4805 (java) S 4795 4797 2813 0 -1 4202560 53 0 0 0 14 1 0 0 20 0 18 0 347465458 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979565894696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4806] ppid=4795 vsize=2648568 CPUtime=0.18 cores=1,3,5,7
/proc/4797/task/4806/stat : 4806 (java) S 4795 4797 2813 0 -1 4202560 59 0 0 0 17 1 0 0 20 0 18 0 347465458 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979564841640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4807] ppid=4795 vsize=2648568 CPUtime=0.16 cores=1,3,5,7
/proc/4797/task/4807/stat : 4807 (java) S 4795 4797 2813 0 -1 4202560 56 0 0 0 14 2 0 0 20 0 18 0 347465458 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979563789096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4808] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4808/stat : 4808 (java) S 4795 4797 2813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347465459 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979433924968 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4809] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4809/stat : 4809 (java) S 4795 4797 2813 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347465459 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979432871288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4810] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4810/stat : 4810 (java) S 4795 4797 2813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347465459 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979431818120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4811] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4811/stat : 4811 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347465462 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979430766864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4812] ppid=4795 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/4797/task/4812/stat : 4812 (java) S 4795 4797 2813 0 -1 4202560 1971 0 0 0 17 0 0 0 20 0 18 0 347465462 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979429714744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4813] ppid=4795 vsize=2648568 CPUtime=0.19 cores=1,3,5,7
/proc/4797/task/4813/stat : 4813 (java) S 4795 4797 2813 0 -1 4202560 2517 0 0 0 19 0 0 0 20 0 18 0 347465462 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139979428662200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4814] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4814/stat : 4814 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347465462 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139978554206968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4815] ppid=4795 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4815/stat : 4815 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347465462 2712133632 129686 33554432000 1073741824 1073778376 140735249009776 139978553154632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 2648568
[startup+12.7007 s]
/proc/loadavg: 1.71 1.94 1.97 3/211 4817
/proc/meminfo: memFree=25449964/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2715132 CPUtime=15.64 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 20033 0 1 0 1534 30 0 0 20 0 19 0 347465457 2780295168 145353 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 678783 145353 2270 9 0 669476 0
[pid=4797/tid=4799] ppid=4795 vsize=2715132 CPUtime=12.08 cores=1,3,5,7
################
# More data... #
################
/proc/4797/task/4811/stat : 4811 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347465462 2848456704 344160 33554432000 1073741824 1073778376 140735249009776 139979430766864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4812] ppid=4795 vsize=2781696 CPUtime=0.68 cores=1,3,5,7
/proc/4797/task/4812/stat : 4812 (java) S 4795 4797 2813 0 -1 4202560 4345 0 0 0 67 1 0 0 20 0 20 0 347465462 2848456704 344160 33554432000 1073741824 1073778376 140735249009776 139979429714744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4813] ppid=4795 vsize=2781696 CPUtime=0.78 cores=1,3,5,7
/proc/4797/task/4813/stat : 4813 (java) S 4795 4797 2813 0 -1 4202560 9746 0 0 0 77 1 0 0 20 0 20 0 347465462 2848456704 344160 33554432000 1073741824 1073778376 140735249009776 139979428662200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4814] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4814/stat : 4814 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347465462 2848456704 344160 33554432000 1073741824 1073778376 140735249009776 139978554206968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4815] ppid=4795 vsize=2781696 CPUtime=0.18 cores=1,3,5,7
/proc/4797/task/4815/stat : 4815 (java) S 4795 4797 2813 0 -1 4202560 37 0 0 0 8 10 0 0 20 0 20 0 347465462 2848456704 344160 33554432000 1073741824 1073778376 140735249009776 139978553154632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4817] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4817/stat : 4817 (java) S 4795 4797 2813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347466379 2848456704 344160 33554432000 1073741824 1073778376 140735249009776 139978552099880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4848] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4848/stat : 4848 (java) S 4795 4797 2813 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 347531052 2848456704 344160 33554432000 1073741824 1073778376 140735249009776 139978551040520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 662.47
Current children cumulated vsize (KiB) 2781696
[startup+658.401 s]
/proc/loadavg: 1.02 1.44 1.75 2/188 4848
/proc/meminfo: memFree=25139000/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2781696 CPUtime=663.27 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 21569 0 1 0 66215 112 0 0 20 0 20 0 347465457 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 695424 344161 2277 9 0 686117 0
[pid=4797/tid=4799] ppid=4795 vsize=2781696 CPUtime=639.62 cores=1,3,5,7
/proc/4797/task/4799/stat : 4799 (java) S 4795 4797 2813 0 -1 4202560 2969 0 1 0 63945 17 0 0 20 0 20 0 347465457 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979586708664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4800] ppid=4795 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/4797/task/4800/stat : 4800 (java) S 4795 4797 2813 0 -1 4202560 551 0 0 0 41 14 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979571157416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4801] ppid=4795 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/4797/task/4801/stat : 4801 (java) S 4795 4797 2813 0 -1 4202560 328 0 0 0 37 10 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979570104872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4802] ppid=4795 vsize=2781696 CPUtime=0.56 cores=1,3,5,7
/proc/4797/task/4802/stat : 4802 (java) S 4795 4797 2813 0 -1 4202560 460 0 0 0 45 11 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979569051816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4803] ppid=4795 vsize=2781696 CPUtime=0.54 cores=1,3,5,7
/proc/4797/task/4803/stat : 4803 (java) S 4795 4797 2813 0 -1 4202560 325 0 0 0 45 9 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979567999272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4804] ppid=4795 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/4797/task/4804/stat : 4804 (java) S 4795 4797 2813 0 -1 4202560 433 0 0 0 45 10 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979566947240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4805] ppid=4795 vsize=2781696 CPUtime=0.48 cores=1,3,5,7
/proc/4797/task/4805/stat : 4805 (java) S 4795 4797 2813 0 -1 4202560 467 0 0 0 38 10 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979565894696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4806] ppid=4795 vsize=2781696 CPUtime=0.51 cores=1,3,5,7
/proc/4797/task/4806/stat : 4806 (java) S 4795 4797 2813 0 -1 4202560 369 0 0 0 40 11 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979564841640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4807] ppid=4795 vsize=2781696 CPUtime=0.59 cores=1,3,5,7
/proc/4797/task/4807/stat : 4807 (java) S 4795 4797 2813 0 -1 4202560 271 0 0 0 46 13 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979563789096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4808] ppid=4795 vsize=2781696 CPUtime=15.93 cores=1,3,5,7
/proc/4797/task/4808/stat : 4808 (java) R 4795 4797 2813 0 -1 4202560 71 0 0 0 1592 1 0 0 20 0 20 0 347465459 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979433924968 139979592834194 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4809] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4809/stat : 4809 (java) S 4795 4797 2813 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 347465459 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979432871288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4810] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4810/stat : 4810 (java) S 4795 4797 2813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 347465459 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979431818120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4811] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4811/stat : 4811 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979430766864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4812] ppid=4795 vsize=2781696 CPUtime=0.68 cores=1,3,5,7
/proc/4797/task/4812/stat : 4812 (java) S 4795 4797 2813 0 -1 4202560 4345 0 0 0 67 1 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979429714744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4813] ppid=4795 vsize=2781696 CPUtime=0.78 cores=1,3,5,7
/proc/4797/task/4813/stat : 4813 (java) S 4795 4797 2813 0 -1 4202560 9746 0 0 0 77 1 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979428662200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4814] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4814/stat : 4814 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978554206968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4815] ppid=4795 vsize=2781696 CPUtime=0.18 cores=1,3,5,7
/proc/4797/task/4815/stat : 4815 (java) S 4795 4797 2813 0 -1 4202560 37 0 0 0 8 10 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978553154632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4817] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4817/stat : 4817 (java) S 4795 4797 2813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347466379 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978552099880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4848] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4848/stat : 4848 (java) S 4795 4797 2813 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 347531052 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978551045464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 663.27
Current children cumulated vsize (KiB) 2781696
[startup+659.201 s]
/proc/loadavg: 1.02 1.44 1.75 2/188 4848
/proc/meminfo: memFree=25139000/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2781696 CPUtime=664.07 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 21571 0 1 0 66295 112 0 0 20 0 20 0 347465457 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 695424 344161 2277 9 0 686117 0
[pid=4797/tid=4799] ppid=4795 vsize=2781696 CPUtime=639.62 cores=1,3,5,7
/proc/4797/task/4799/stat : 4799 (java) S 4795 4797 2813 0 -1 4202560 2969 0 1 0 63945 17 0 0 20 0 20 0 347465457 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979586708664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4800] ppid=4795 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/4797/task/4800/stat : 4800 (java) S 4795 4797 2813 0 -1 4202560 551 0 0 0 41 14 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979571157416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4801] ppid=4795 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/4797/task/4801/stat : 4801 (java) S 4795 4797 2813 0 -1 4202560 328 0 0 0 37 10 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979570104872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4802] ppid=4795 vsize=2781696 CPUtime=0.56 cores=1,3,5,7
/proc/4797/task/4802/stat : 4802 (java) S 4795 4797 2813 0 -1 4202560 460 0 0 0 45 11 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979569051816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4803] ppid=4795 vsize=2781696 CPUtime=0.54 cores=1,3,5,7
/proc/4797/task/4803/stat : 4803 (java) S 4795 4797 2813 0 -1 4202560 325 0 0 0 45 9 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979567999272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4804] ppid=4795 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/4797/task/4804/stat : 4804 (java) S 4795 4797 2813 0 -1 4202560 433 0 0 0 45 10 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979566947240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4805] ppid=4795 vsize=2781696 CPUtime=0.48 cores=1,3,5,7
/proc/4797/task/4805/stat : 4805 (java) S 4795 4797 2813 0 -1 4202560 467 0 0 0 38 10 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979565894696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4806] ppid=4795 vsize=2781696 CPUtime=0.51 cores=1,3,5,7
/proc/4797/task/4806/stat : 4806 (java) S 4795 4797 2813 0 -1 4202560 369 0 0 0 40 11 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979564841640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4807] ppid=4795 vsize=2781696 CPUtime=0.59 cores=1,3,5,7
/proc/4797/task/4807/stat : 4807 (java) S 4795 4797 2813 0 -1 4202560 271 0 0 0 46 13 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979563789096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4808] ppid=4795 vsize=2781696 CPUtime=16.73 cores=1,3,5,7
/proc/4797/task/4808/stat : 4808 (java) R 4795 4797 2813 0 -1 4202560 71 0 0 0 1672 1 0 0 20 0 20 0 347465459 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979433925128 139979592834191 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4809] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4809/stat : 4809 (java) S 4795 4797 2813 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 347465459 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979432871288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4810] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4810/stat : 4810 (java) S 4795 4797 2813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 347465459 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979431818120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4811] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4811/stat : 4811 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979430766864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4812] ppid=4795 vsize=2781696 CPUtime=0.68 cores=1,3,5,7
/proc/4797/task/4812/stat : 4812 (java) S 4795 4797 2813 0 -1 4202560 4345 0 0 0 67 1 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979429714744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4813] ppid=4795 vsize=2781696 CPUtime=0.78 cores=1,3,5,7
/proc/4797/task/4813/stat : 4813 (java) S 4795 4797 2813 0 -1 4202560 9746 0 0 0 77 1 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979428662200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4814] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4814/stat : 4814 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978554206968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4815] ppid=4795 vsize=2781696 CPUtime=0.18 cores=1,3,5,7
/proc/4797/task/4815/stat : 4815 (java) S 4795 4797 2813 0 -1 4202560 37 0 0 0 8 10 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978553154632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4817] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4817/stat : 4817 (java) S 4795 4797 2813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347466379 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978552099880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4848] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4848/stat : 4848 (java) S 4795 4797 2813 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 20 0 347531052 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978551045720 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 664.07
Current children cumulated vsize (KiB) 2781696
[startup+659.401 s]
/proc/loadavg: 1.02 1.44 1.75 2/188 4848
/proc/meminfo: memFree=25139000/32873624 swapFree=7112/7112
[pid=4797] ppid=4795 vsize=2781696 CPUtime=664.27 cores=1,3,5,7
/proc/4797/stat : 4797 (java) S 4795 4797 2813 0 -1 4202496 21571 0 1 0 66315 112 0 0 20 0 20 0 347465457 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 140735249000912 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4797/statm: 695424 344161 2277 9 0 686117 0
[pid=4797/tid=4799] ppid=4795 vsize=2781696 CPUtime=639.62 cores=1,3,5,7
/proc/4797/task/4799/stat : 4799 (java) S 4795 4797 2813 0 -1 4202560 2969 0 1 0 63945 17 0 0 20 0 20 0 347465457 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979586708664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4800] ppid=4795 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/4797/task/4800/stat : 4800 (java) S 4795 4797 2813 0 -1 4202560 551 0 0 0 41 14 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979571157416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4801] ppid=4795 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/4797/task/4801/stat : 4801 (java) S 4795 4797 2813 0 -1 4202560 328 0 0 0 37 10 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979570104872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4802] ppid=4795 vsize=2781696 CPUtime=0.56 cores=1,3,5,7
/proc/4797/task/4802/stat : 4802 (java) S 4795 4797 2813 0 -1 4202560 460 0 0 0 45 11 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979569051816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4803] ppid=4795 vsize=2781696 CPUtime=0.54 cores=1,3,5,7
/proc/4797/task/4803/stat : 4803 (java) S 4795 4797 2813 0 -1 4202560 325 0 0 0 45 9 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979567999272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4804] ppid=4795 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/4797/task/4804/stat : 4804 (java) S 4795 4797 2813 0 -1 4202560 433 0 0 0 45 10 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979566947240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4805] ppid=4795 vsize=2781696 CPUtime=0.48 cores=1,3,5,7
/proc/4797/task/4805/stat : 4805 (java) S 4795 4797 2813 0 -1 4202560 467 0 0 0 38 10 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979565894696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4797/tid=4806] ppid=4795 vsize=2781696 CPUtime=0.51 cores=1,3,5,7
/proc/4797/task/4806/stat : 4806 (java) S 4795 4797 2813 0 -1 4202560 369 0 0 0 40 11 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979564841640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4807] ppid=4795 vsize=2781696 CPUtime=0.59 cores=1,3,5,7
/proc/4797/task/4807/stat : 4807 (java) S 4795 4797 2813 0 -1 4202560 271 0 0 0 46 13 0 0 20 0 20 0 347465458 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979563789096 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4808] ppid=4795 vsize=2781696 CPUtime=16.93 cores=1,3,5,7
/proc/4797/task/4808/stat : 4808 (java) R 4795 4797 2813 0 -1 4202560 71 0 0 0 1692 1 0 0 20 0 20 0 347465459 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979433925128 139979593216072 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4809] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4809/stat : 4809 (java) S 4795 4797 2813 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 347465459 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979432871288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4810] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4810/stat : 4810 (java) S 4795 4797 2813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 347465459 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979431818120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4811] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4811/stat : 4811 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979430766864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4812] ppid=4795 vsize=2781696 CPUtime=0.68 cores=1,3,5,7
/proc/4797/task/4812/stat : 4812 (java) S 4795 4797 2813 0 -1 4202560 4345 0 0 0 67 1 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979429714744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4797/tid=4813] ppid=4795 vsize=2781696 CPUtime=0.78 cores=1,3,5,7
/proc/4797/task/4813/stat : 4813 (java) S 4795 4797 2813 0 -1 4202560 9746 0 0 0 77 1 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139979428662200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4814] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4814/stat : 4814 (java) S 4795 4797 2813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978554206968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4815] ppid=4795 vsize=2781696 CPUtime=0.18 cores=1,3,5,7
/proc/4797/task/4815/stat : 4815 (java) S 4795 4797 2813 0 -1 4202560 37 0 0 0 8 10 0 0 20 0 20 0 347465462 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978553154632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4797/tid=4817] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4817/stat : 4817 (java) S 4795 4797 2813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347466379 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978552099880 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4797/tid=4848] ppid=4795 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/4797/task/4848/stat : 4848 (java) S 4795 4797 2813 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 20 0 347531052 2848456704 344161 33554432000 1073741824 1073778376 140735249009776 139978551045720 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 664.27
Current children cumulated vsize (KiB) 2781696
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4797 and gives
# childrusage.ru_utime.tv_sec=661
# childrusage.ru_utime.tv_usec=441445
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=321799
# CPU time returned by wait4() is 662.763
# while last known CPU time is 664.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 659.462
CPU time (s): 664.27
CPU user time (s): 663.15
CPU system time (s): 1.12
CPU usage (%): 100.729
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 661.441
system time used= 1.3218
maximum resident set size= 1376660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21586
page faults= 1
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14784
involuntary context switches= 2773
runsolver used 3.00654 second user time and 5.9211 second system time
The end