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-3744758-1338808368/watcher-3744758-1338808368 -o /tmp/evaluation-result-3744758-1338808368/solver-3744758-1338808368 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744758-1338808368.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.00 2.06 2.03 4/194 23833
/proc/meminfo: memFree=26100576/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23833/stat : 23833 (java) D 23831 23833 21172 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 346962604 9515008 183 33554432000 1073741824 1073778376 140733959967984 140733959959016 214369648309 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/23833/statm: 2323 183 140 9 0 71 0
[startup+0.062861 s]
/proc/loadavg: 2.00 2.06 2.03 4/194 23833
/proc/meminfo: memFree=26100576/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=2623916 CPUtime=0.05 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 3952 0 1 0 4 1 0 0 20 0 13 0 346962604 2686889984 5159 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 655979 5159 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2623916
[startup+0.100212 s]
/proc/loadavg: 2.00 2.06 2.03 4/194 23833
/proc/meminfo: memFree=26100576/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 4354 0 1 0 7 1 0 0 20 0 18 0 346962604 3028844544 6071 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 739464 6071 1950 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.300163 s]
/proc/loadavg: 2.00 2.06 2.03 4/194 23833
/proc/meminfo: memFree=26100576/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 6028 0 1 0 45 2 0 0 20 0 18 0 346962604 3028844544 12227 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 739464 12227 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856
[startup+0.700171 s]
/proc/loadavg: 2.00 2.06 2.03 4/194 23833
/proc/meminfo: memFree=26100576/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=2957856 CPUtime=1.11 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 9050 0 1 0 105 6 0 0 20 0 18 0 346962604 3028844544 48255 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 739464 48255 2250 9 0 729885 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2957856
[startup+1.50066 s]
/proc/loadavg: 2.00 2.06 2.03 3/212 23851
/proc/meminfo: memFree=25766448/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=2957856 CPUtime=2.02 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 9244 0 1 0 188 14 0 0 20 0 18 0 346962604 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 739464 117402 2266 9 0 729885 0
[pid=23833/tid=23835] ppid=23831 vsize=2957856 CPUtime=1.41 cores=1,3,5,7
/proc/23833/task/23835/stat : 23835 (java) R 23831 23833 21172 0 -1 4202560 3229 0 1 0 132 9 0 0 20 0 18 0 346962605 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086107701648 140085945630444 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23833/tid=23836] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23836/stat : 23836 (java) S 23831 23833 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 346962606 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086091135912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23837] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23837/stat : 23837 (java) S 23831 23833 21172 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 346962606 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086090083368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23838] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23838/stat : 23838 (java) S 23831 23833 21172 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 346962606 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086089030312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23839] ppid=23831 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/23833/task/23839/stat : 23839 (java) S 23831 23833 21172 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 18 0 346962606 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086087977768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23840] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23840/stat : 23840 (java) S 23831 23833 21172 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 346962606 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086086924712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23841] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23841/stat : 23841 (java) S 23831 23833 21172 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 346962606 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086085872168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23842] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23842/stat : 23842 (java) S 23831 23833 21172 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 346962606 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086084819112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23843] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23843/stat : 23843 (java) S 23831 23833 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346962606 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086083766568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23844] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23844/stat : 23844 (java) S 23831 23833 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346962607 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086071356264 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23845] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23845/stat : 23845 (java) S 23831 23833 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346962608 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086070302584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23846] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23846/stat : 23846 (java) S 23831 23833 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346962608 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086069249416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23847] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23847/stat : 23847 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346962611 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086068198160 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23848] ppid=23831 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23833/task/23848/stat : 23848 (java) S 23831 23833 21172 0 -1 4202560 1829 0 0 0 21 0 0 0 20 0 18 0 346962611 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086067145016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23849] ppid=23831 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23833/task/23849/stat : 23849 (java) S 23831 23833 21172 0 -1 4202560 2934 0 0 0 21 0 0 0 20 0 18 0 346962611 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086066092472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23850] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23850/stat : 23850 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346962611 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086065039608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23851] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23851/stat : 23851 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346962611 3028844544 117402 33554432000 1073741824 1073778376 140735961127808 140086063987272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 2957856
[startup+3.1008 s]
/proc/loadavg: 2.00 2.06 2.03 3/212 23851
/proc/meminfo: memFree=25605704/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=2957856 CPUtime=3.84 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 9353 0 1 0 363 21 0 0 20 0 18 0 346962604 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 739464 128693 2266 9 0 729885 0
[pid=23833/tid=23835] ppid=23831 vsize=2957856 CPUtime=2.92 cores=1,3,5,7
/proc/23833/task/23835/stat : 23835 (java) R 23831 23833 21172 0 -1 4202560 3231 0 1 0 283 9 0 0 20 0 18 0 346962605 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086107709264 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23836] ppid=23831 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/23833/task/23836/stat : 23836 (java) S 23831 23833 21172 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 346962606 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086091135912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23837] ppid=23831 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/23833/task/23837/stat : 23837 (java) S 23831 23833 21172 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 346962606 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086090083368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23838] ppid=23831 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/23833/task/23838/stat : 23838 (java) S 23831 23833 21172 0 -1 4202560 25 0 0 0 4 2 0 0 20 0 18 0 346962606 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086089030312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23839] ppid=23831 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/23833/task/23839/stat : 23839 (java) S 23831 23833 21172 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 18 0 346962606 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086087977768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23833/tid=23840] ppid=23831 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/23833/task/23840/stat : 23840 (java) S 23831 23833 21172 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 18 0 346962606 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086086924712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23841] ppid=23831 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/23833/task/23841/stat : 23841 (java) S 23831 23833 21172 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 18 0 346962606 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086085872168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23842] ppid=23831 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/23833/task/23842/stat : 23842 (java) S 23831 23833 21172 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 18 0 346962606 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086084819112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23843] ppid=23831 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/23833/task/23843/stat : 23843 (java) S 23831 23833 21172 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 346962606 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086083766568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23844] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23844/stat : 23844 (java) S 23831 23833 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346962607 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086071356264 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23845] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23845/stat : 23845 (java) S 23831 23833 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346962608 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086070302584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23846] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23846/stat : 23846 (java) S 23831 23833 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346962608 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086069249416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23847] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23847/stat : 23847 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346962611 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086068198160 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23848] ppid=23831 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23833/task/23848/stat : 23848 (java) S 23831 23833 21172 0 -1 4202560 1829 0 0 0 21 0 0 0 20 0 18 0 346962611 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086067145016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23849] ppid=23831 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23833/task/23849/stat : 23849 (java) S 23831 23833 21172 0 -1 4202560 2934 0 0 0 21 0 0 0 20 0 18 0 346962611 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086066092472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23850] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23850/stat : 23850 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346962611 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086065039608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23851] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23851/stat : 23851 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346962611 3028844544 128693 33554432000 1073741824 1073778376 140735961127808 140086063987272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 2957856
[startup+6.30082 s]
/proc/loadavg: 2.08 2.07 2.03 3/212 23851
/proc/meminfo: memFree=25513248/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=2957856 CPUtime=7.79 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 9606 0 1 0 745 34 0 0 20 0 18 0 346962604 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 739464 149015 2266 9 0 729885 0
[pid=23833/tid=23835] ppid=23831 vsize=2957856 CPUtime=5.84 cores=1,3,5,7
/proc/23833/task/23835/stat : 23835 (java) R 23831 23833 21172 0 -1 4202560 3236 0 1 0 573 11 0 0 20 0 18 0 346962605 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086107701520 214373033229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23836] ppid=23831 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/23833/task/23836/stat : 23836 (java) S 23831 23833 21172 0 -1 4202560 41 0 0 0 11 2 0 0 20 0 18 0 346962606 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086091135912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23837] ppid=23831 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/23833/task/23837/stat : 23837 (java) S 23831 23833 21172 0 -1 4202560 47 0 0 0 11 2 0 0 20 0 18 0 346962606 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086090083368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23838] ppid=23831 vsize=2957856 CPUtime=0.17 cores=1,3,5,7
/proc/23833/task/23838/stat : 23838 (java) S 23831 23833 21172 0 -1 4202560 55 0 0 0 14 3 0 0 20 0 18 0 346962606 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086089030312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23839] ppid=23831 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23833/task/23839/stat : 23839 (java) S 23831 23833 21172 0 -1 4202560 65 0 0 0 19 2 0 0 20 0 18 0 346962606 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086087977768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23840] ppid=23831 vsize=2957856 CPUtime=0.24 cores=1,3,5,7
/proc/23833/task/23840/stat : 23840 (java) S 23831 23833 21172 0 -1 4202560 75 0 0 0 20 4 0 0 20 0 18 0 346962606 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086086924712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23841] ppid=23831 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/23833/task/23841/stat : 23841 (java) S 23831 23833 21172 0 -1 4202560 37 0 0 0 11 2 0 0 20 0 18 0 346962606 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086085872168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23842] ppid=23831 vsize=2957856 CPUtime=0.16 cores=1,3,5,7
/proc/23833/task/23842/stat : 23842 (java) S 23831 23833 21172 0 -1 4202560 53 0 0 0 13 3 0 0 20 0 18 0 346962606 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086084819112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23843] ppid=23831 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/23833/task/23843/stat : 23843 (java) S 23831 23833 21172 0 -1 4202560 48 0 0 0 10 3 0 0 20 0 18 0 346962606 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086083766568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23844] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23844/stat : 23844 (java) S 23831 23833 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346962607 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086071356264 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23845] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23845/stat : 23845 (java) S 23831 23833 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346962608 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086070302584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23846] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23846/stat : 23846 (java) S 23831 23833 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346962608 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086069249416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23847] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23847/stat : 23847 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346962611 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086068198160 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23848] ppid=23831 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23833/task/23848/stat : 23848 (java) S 23831 23833 21172 0 -1 4202560 1829 0 0 0 21 0 0 0 20 0 18 0 346962611 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086067145016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23849] ppid=23831 vsize=2957856 CPUtime=0.23 cores=1,3,5,7
/proc/23833/task/23849/stat : 23849 (java) S 23831 23833 21172 0 -1 4202560 2937 0 0 0 23 0 0 0 20 0 18 0 346962611 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086066092472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23850] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23850/stat : 23850 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346962611 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086065039608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23851] ppid=23831 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23851/stat : 23851 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346962611 3028844544 149015 33554432000 1073741824 1073778376 140735961127808 140086063987272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 2957856
[startup+12.7073 s]
/proc/loadavg: 2.07 2.07 2.03 3/212 23852
/proc/meminfo: memFree=25435796/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=3024420 CPUtime=15.55 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 12201 0 1 0 1511 44 0 0 20 0 18 0 346962604 3097006080 168353 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 756105 168353 2295 9 0 746526 0
[pid=23833/tid=23835] ppid=23831 vsize=3024420 CPUtime=11.92 cores=1,3,5,7
################
# More data... #
################
/proc/23833/task/23847/stat : 23847 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346962611 3165167616 420134 33554432000 1073741824 1073778376 140735961127808 140086068198160 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23848] ppid=23831 vsize=3090984 CPUtime=0.77 cores=1,3,5,7
/proc/23833/task/23848/stat : 23848 (java) S 23831 23833 21172 0 -1 4202560 3938 0 0 0 75 2 0 0 20 0 20 0 346962611 3165167616 420134 33554432000 1073741824 1073778376 140735961127808 140086067145016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23833/tid=23849] ppid=23831 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/23833/task/23849/stat : 23849 (java) S 23831 23833 21172 0 -1 4202560 2994 0 0 0 54 0 0 0 20 0 20 0 346962611 3165167616 420134 33554432000 1073741824 1073778376 140735961127808 140086066092472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23850] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23850/stat : 23850 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346962611 3165167616 420134 33554432000 1073741824 1073778376 140735961127808 140086065039608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23851] ppid=23831 vsize=3090984 CPUtime=0.19 cores=1,3,5,7
/proc/23833/task/23851/stat : 23851 (java) S 23831 23833 21172 0 -1 4202560 37 0 0 0 10 9 0 0 20 0 20 0 346962611 3165167616 420134 33554432000 1073741824 1073778376 140735961127808 140086063987272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23857] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23857/stat : 23857 (java) S 23831 23833 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346965956 3165167616 420134 33554432000 1073741824 1073778376 140735961127808 140085944087720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23925] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23925/stat : 23925 (java) S 23831 23833 21172 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 347026033 3165167616 420134 33554432000 1073741824 1073778376 140735961127808 140085943033784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 643.61
Current children cumulated vsize (KiB) 3090984
[startup+638.901 s]
/proc/loadavg: 1.95 1.98 1.99 3/214 23925
/proc/meminfo: memFree=24728840/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=3090984 CPUtime=644.41 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 15010 0 1 0 64251 190 0 0 20 0 20 0 346962604 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 772746 420135 2305 9 0 763167 0
[pid=23833/tid=23835] ppid=23831 vsize=3090984 CPUtime=594.57 cores=1,3,5,7
/proc/23833/task/23835/stat : 23835 (java) S 23831 23833 21172 0 -1 4202560 3324 0 1 0 59436 21 0 0 20 0 20 0 346962605 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086107710648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23836] ppid=23831 vsize=3090984 CPUtime=0.64 cores=1,3,5,7
/proc/23833/task/23836/stat : 23836 (java) S 23831 23833 21172 0 -1 4202560 526 0 0 0 46 18 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086091135912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23837] ppid=23831 vsize=3090984 CPUtime=0.73 cores=1,3,5,7
/proc/23833/task/23837/stat : 23837 (java) S 23831 23833 21172 0 -1 4202560 515 0 0 0 52 21 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086090083368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23833/tid=23838] ppid=23831 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/23833/task/23838/stat : 23838 (java) S 23831 23833 21172 0 -1 4202560 339 0 0 0 39 19 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086089030312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23839] ppid=23831 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/23833/task/23839/stat : 23839 (java) S 23831 23833 21172 0 -1 4202560 482 0 0 0 49 21 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086087977768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23840] ppid=23831 vsize=3090984 CPUtime=0.88 cores=1,3,5,7
/proc/23833/task/23840/stat : 23840 (java) S 23831 23833 21172 0 -1 4202560 513 0 0 0 61 27 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086086924712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23841] ppid=23831 vsize=3090984 CPUtime=0.63 cores=1,3,5,7
/proc/23833/task/23841/stat : 23841 (java) S 23831 23833 21172 0 -1 4202560 262 0 0 0 46 17 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086085872168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23842] ppid=23831 vsize=3090984 CPUtime=0.75 cores=1,3,5,7
/proc/23833/task/23842/stat : 23842 (java) S 23831 23833 21172 0 -1 4202560 509 0 0 0 50 25 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086084819112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23843] ppid=23831 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/23833/task/23843/stat : 23843 (java) S 23831 23833 21172 0 -1 4202560 244 0 0 0 41 16 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086083766568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23844] ppid=23831 vsize=3090984 CPUtime=41.14 cores=1,3,5,7
/proc/23833/task/23844/stat : 23844 (java) R 23831 23833 21172 0 -1 4202560 103 0 0 0 4111 3 0 0 20 0 20 0 346962607 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086071356424 140086109904976 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23845] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23845/stat : 23845 (java) S 23831 23833 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346962608 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086070302584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23846] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23846/stat : 23846 (java) S 23831 23833 21172 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 346962608 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086069249416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23847] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23847/stat : 23847 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086068198160 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23848] ppid=23831 vsize=3090984 CPUtime=0.77 cores=1,3,5,7
/proc/23833/task/23848/stat : 23848 (java) S 23831 23833 21172 0 -1 4202560 3938 0 0 0 75 2 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086067145016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23833/tid=23849] ppid=23831 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/23833/task/23849/stat : 23849 (java) S 23831 23833 21172 0 -1 4202560 2994 0 0 0 54 0 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086066092472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23850] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23850/stat : 23850 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086065039608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23851] ppid=23831 vsize=3090984 CPUtime=0.19 cores=1,3,5,7
/proc/23833/task/23851/stat : 23851 (java) S 23831 23833 21172 0 -1 4202560 37 0 0 0 10 9 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086063987272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23857] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23857/stat : 23857 (java) S 23831 23833 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346965956 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140085944087720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23925] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23925/stat : 23925 (java) S 23831 23833 21172 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 347026033 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140085943033048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 644.41
Current children cumulated vsize (KiB) 3090984
[startup+639.301 s]
/proc/loadavg: 1.95 1.98 1.99 3/214 23925
/proc/meminfo: memFree=24728840/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=3090984 CPUtime=644.81 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 15010 0 1 0 64291 190 0 0 20 0 20 0 346962604 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 772746 420135 2305 9 0 763167 0
[pid=23833/tid=23835] ppid=23831 vsize=3090984 CPUtime=594.57 cores=1,3,5,7
/proc/23833/task/23835/stat : 23835 (java) S 23831 23833 21172 0 -1 4202560 3324 0 1 0 59436 21 0 0 20 0 20 0 346962605 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086107710648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23836] ppid=23831 vsize=3090984 CPUtime=0.64 cores=1,3,5,7
/proc/23833/task/23836/stat : 23836 (java) S 23831 23833 21172 0 -1 4202560 526 0 0 0 46 18 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086091135912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23837] ppid=23831 vsize=3090984 CPUtime=0.73 cores=1,3,5,7
/proc/23833/task/23837/stat : 23837 (java) S 23831 23833 21172 0 -1 4202560 515 0 0 0 52 21 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086090083368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23833/tid=23838] ppid=23831 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/23833/task/23838/stat : 23838 (java) S 23831 23833 21172 0 -1 4202560 339 0 0 0 39 19 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086089030312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23839] ppid=23831 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/23833/task/23839/stat : 23839 (java) S 23831 23833 21172 0 -1 4202560 482 0 0 0 49 21 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086087977768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23840] ppid=23831 vsize=3090984 CPUtime=0.88 cores=1,3,5,7
/proc/23833/task/23840/stat : 23840 (java) S 23831 23833 21172 0 -1 4202560 513 0 0 0 61 27 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086086924712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23841] ppid=23831 vsize=3090984 CPUtime=0.63 cores=1,3,5,7
/proc/23833/task/23841/stat : 23841 (java) S 23831 23833 21172 0 -1 4202560 262 0 0 0 46 17 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086085872168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23842] ppid=23831 vsize=3090984 CPUtime=0.75 cores=1,3,5,7
/proc/23833/task/23842/stat : 23842 (java) S 23831 23833 21172 0 -1 4202560 509 0 0 0 50 25 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086084819112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23843] ppid=23831 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/23833/task/23843/stat : 23843 (java) S 23831 23833 21172 0 -1 4202560 244 0 0 0 41 16 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086083766568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23844] ppid=23831 vsize=3090984 CPUtime=41.54 cores=1,3,5,7
/proc/23833/task/23844/stat : 23844 (java) R 23831 23833 21172 0 -1 4202560 103 0 0 0 4151 3 0 0 20 0 20 0 346962607 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086071356424 140086114565396 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23845] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23845/stat : 23845 (java) S 23831 23833 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346962608 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086070302584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23846] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23846/stat : 23846 (java) S 23831 23833 21172 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 346962608 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086069249416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23847] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23847/stat : 23847 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086068198160 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23848] ppid=23831 vsize=3090984 CPUtime=0.77 cores=1,3,5,7
/proc/23833/task/23848/stat : 23848 (java) S 23831 23833 21172 0 -1 4202560 3938 0 0 0 75 2 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086067145016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23833/tid=23849] ppid=23831 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/23833/task/23849/stat : 23849 (java) S 23831 23833 21172 0 -1 4202560 2994 0 0 0 54 0 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086066092472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23850] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23850/stat : 23850 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086065039608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23851] ppid=23831 vsize=3090984 CPUtime=0.19 cores=1,3,5,7
/proc/23833/task/23851/stat : 23851 (java) S 23831 23833 21172 0 -1 4202560 37 0 0 0 10 9 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086063987272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23857] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23857/stat : 23857 (java) S 23831 23833 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346965956 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140085944087720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23925] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23925/stat : 23925 (java) S 23831 23833 21172 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 347026033 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140085943033048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 644.81
Current children cumulated vsize (KiB) 3090984
[startup+639.401 s]
/proc/loadavg: 1.95 1.98 1.99 3/214 23925
/proc/meminfo: memFree=24728840/32873844 swapFree=7632/7632
[pid=23833] ppid=23831 vsize=3090984 CPUtime=644.91 cores=1,3,5,7
/proc/23833/stat : 23833 (java) S 23831 23833 21172 0 -1 4202496 15010 0 1 0 64301 190 0 0 20 0 20 0 346962604 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140735961118944 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23833/statm: 772746 420135 2305 9 0 763167 0
[pid=23833/tid=23835] ppid=23831 vsize=3090984 CPUtime=594.57 cores=1,3,5,7
/proc/23833/task/23835/stat : 23835 (java) S 23831 23833 21172 0 -1 4202560 3324 0 1 0 59436 21 0 0 20 0 20 0 346962605 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086107710648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23836] ppid=23831 vsize=3090984 CPUtime=0.64 cores=1,3,5,7
/proc/23833/task/23836/stat : 23836 (java) S 23831 23833 21172 0 -1 4202560 526 0 0 0 46 18 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086091135912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23837] ppid=23831 vsize=3090984 CPUtime=0.73 cores=1,3,5,7
/proc/23833/task/23837/stat : 23837 (java) S 23831 23833 21172 0 -1 4202560 515 0 0 0 52 21 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086090083368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23833/tid=23838] ppid=23831 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/23833/task/23838/stat : 23838 (java) S 23831 23833 21172 0 -1 4202560 339 0 0 0 39 19 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086089030312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23839] ppid=23831 vsize=3090984 CPUtime=0.7 cores=1,3,5,7
/proc/23833/task/23839/stat : 23839 (java) S 23831 23833 21172 0 -1 4202560 482 0 0 0 49 21 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086087977768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23840] ppid=23831 vsize=3090984 CPUtime=0.88 cores=1,3,5,7
/proc/23833/task/23840/stat : 23840 (java) S 23831 23833 21172 0 -1 4202560 513 0 0 0 61 27 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086086924712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23841] ppid=23831 vsize=3090984 CPUtime=0.63 cores=1,3,5,7
/proc/23833/task/23841/stat : 23841 (java) S 23831 23833 21172 0 -1 4202560 262 0 0 0 46 17 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086085872168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23842] ppid=23831 vsize=3090984 CPUtime=0.75 cores=1,3,5,7
/proc/23833/task/23842/stat : 23842 (java) S 23831 23833 21172 0 -1 4202560 509 0 0 0 50 25 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086084819112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23843] ppid=23831 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/23833/task/23843/stat : 23843 (java) S 23831 23833 21172 0 -1 4202560 244 0 0 0 41 16 0 0 20 0 20 0 346962606 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086083766568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23844] ppid=23831 vsize=3090984 CPUtime=41.64 cores=1,3,5,7
/proc/23833/task/23844/stat : 23844 (java) R 23831 23833 21172 0 -1 4202560 103 0 0 0 4161 3 0 0 20 0 20 0 346962607 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086071356424 140086114218016 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23845] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23845/stat : 23845 (java) S 23831 23833 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346962608 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086070302584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23846] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23846/stat : 23846 (java) S 23831 23833 21172 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 346962608 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086069249416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23847] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23847/stat : 23847 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086068198160 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23848] ppid=23831 vsize=3090984 CPUtime=0.77 cores=1,3,5,7
/proc/23833/task/23848/stat : 23848 (java) S 23831 23833 21172 0 -1 4202560 3938 0 0 0 75 2 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086067145016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23833/tid=23849] ppid=23831 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/23833/task/23849/stat : 23849 (java) S 23831 23833 21172 0 -1 4202560 2994 0 0 0 54 0 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086066092472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23850] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23850/stat : 23850 (java) S 23831 23833 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086065039608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23833/tid=23851] ppid=23831 vsize=3090984 CPUtime=0.19 cores=1,3,5,7
/proc/23833/task/23851/stat : 23851 (java) S 23831 23833 21172 0 -1 4202560 37 0 0 0 10 9 0 0 20 0 20 0 346962611 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140086063987272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23833/tid=23857] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23857/stat : 23857 (java) S 23831 23833 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346965956 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140085944087720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23833/tid=23925] ppid=23831 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23833/task/23925/stat : 23925 (java) S 23831 23833 21172 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 347026033 3165167616 420135 33554432000 1073741824 1073778376 140735961127808 140085943033048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 644.91
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23833 and gives
# childrusage.ru_utime.tv_sec=641
# childrusage.ru_utime.tv_usec=395493
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=131675
# CPU time returned by wait4() is 643.527
# while last known CPU time is 644.91
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 639.48
CPU time (s): 644.91
CPU user time (s): 643.01
CPU system time (s): 1.9
CPU usage (%): 100.849
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 641.395
system time used= 2.13167
maximum resident set size= 1680552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15019
page faults= 1
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14499
involuntary context switches= 4419
runsolver used 2.66959 second user time and 6.69198 second system time
The end