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-3745030-1338809225/watcher-3745030-1338809225 -o /tmp/evaluation-result-3745030-1338809225/solver-3745030-1338809225 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3745030-1338809225.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.03 2.00 3/194 27977
/proc/meminfo: memFree=26087744/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 1277 0 0 0 0 0 0 0 20 0 2 0 347049334 98570240 979 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 24065 979 745 9 0 16771 0
[pid=27977/tid=27978] ppid=27975 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) R 27975 27977 27496 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 347049335 98570240 979 33554432000 1073741824 1073778376 140734059430528 140465346641448 213193147776 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.043888 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 27977
/proc/meminfo: memFree=26087744/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 3954 0 1 0 3 0 0 0 20 0 13 0 347049334 2686889984 5163 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 655979 5163 1709 9 0 646680 0
[pid=27977/tid=27978] ppid=27975 vsize=2623916 CPUtime=0.02 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) R 27975 27977 27496 0 -1 4202560 2773 0 1 0 2 0 0 0 20 0 13 0 347049335 2686889984 5163 33554432000 1073741824 1073778376 140734059430528 140465346643688 140465350657369 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100236 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 27977
/proc/meminfo: memFree=26087744/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 4923 0 1 0 9 1 0 0 20 0 18 0 347049334 3028844544 7648 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 739464 7648 2130 9 0 729885 0
[pid=27977/tid=27978] ppid=27975 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) R 27975 27977 27496 0 -1 4202560 3003 0 1 0 8 0 0 0 20 0 18 0 347049335 3028844544 7648 33554432000 1073741824 1073778376 140734059430528 140465346643240 140465177385293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300197 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 27977
/proc/meminfo: memFree=26087744/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=2958196 CPUtime=0.5 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 6724 0 1 0 49 1 0 0 20 0 18 0 347049334 3029192704 10718 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 739464 10634 2240 9 0 729885 0
[pid=27977/tid=27978] ppid=27975 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) R 27975 27977 27496 0 -1 4202560 3015 0 1 0 27 0 0 0 20 0 18 0 347049335 3028844544 10634 33554432000 1073741824 1073778376 140734059430528 140465346646288 140465177593312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2958196
[startup+0.700309 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 27977
/proc/meminfo: memFree=26087744/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=2957856 CPUtime=1.1 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 8733 0 1 0 105 5 0 0 20 0 18 0 347049334 3028844544 55375 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 739464 55375 2250 9 0 729885 0
[pid=27977/tid=27978] ppid=27975 vsize=2957856 CPUtime=0.67 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) R 27975 27977 27496 0 -1 4202560 3100 0 1 0 64 3 0 0 20 0 18 0 347049335 3028844544 55375 33554432000 1073741824 1073778376 140734059430528 140465346637936 213196530957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 2957856
[startup+1.50394 s]
/proc/loadavg: 2.00 2.03 2.00 3/212 27995
/proc/meminfo: memFree=25717092/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=2957856 CPUtime=2.01 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 8896 0 1 0 191 10 0 0 20 0 18 0 347049334 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 739464 115303 2266 9 0 729885 0
[pid=27977/tid=27978] ppid=27975 vsize=2957856 CPUtime=1.44 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) R 27975 27977 27496 0 -1 4202560 3214 0 1 0 137 7 0 0 20 0 18 0 347049335 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465346638032 140465349931927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=27980] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27980/stat : 27980 (java) S 27975 27977 27496 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 18 0 347049335 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465330072488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=27981] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27981/stat : 27981 (java) S 27975 27977 27496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 347049335 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465329019944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27982] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27982/stat : 27982 (java) S 27975 27977 27496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 347049335 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465327966888 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27983] ppid=27975 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/27977/task/27983/stat : 27983 (java) S 27975 27977 27496 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 347049335 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465326914344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27984] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27984/stat : 27984 (java) S 27975 27977 27496 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 347049335 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465325861288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27985] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27985/stat : 27985 (java) S 27975 27977 27496 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 347049335 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465324808744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27986] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27986/stat : 27986 (java) S 27975 27977 27496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 347049335 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465323755688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27987] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27987/stat : 27987 (java) S 27975 27977 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 347049335 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465322703144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27988] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27988/stat : 27988 (java) S 27975 27977 27496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 347049336 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465310292840 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27989] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27989/stat : 27989 (java) S 27975 27977 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347049337 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465309239160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27990] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27990/stat : 27990 (java) S 27975 27977 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347049337 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465308185992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27991] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27991/stat : 27991 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347049339 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465307134736 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27992] ppid=27975 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/27977/task/27992/stat : 27992 (java) S 27975 27977 27496 0 -1 4202560 2663 0 0 0 21 0 0 0 20 0 18 0 347049339 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465306081592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27993] ppid=27975 vsize=2957856 CPUtime=0.19 cores=1,3,5,7
/proc/27977/task/27993/stat : 27993 (java) S 27975 27977 27496 0 -1 4202560 1786 0 0 0 19 0 0 0 20 0 18 0 347049339 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465305029048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27994] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27994/stat : 27994 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347049339 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465303976184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27995] ppid=27975 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27995/stat : 27995 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347049339 3028844544 115303 33554432000 1073741824 1073778376 140734059430528 140465302923848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 2957856
[startup+3.10071 s]
/proc/loadavg: 2.00 2.03 2.00 4/213 27997
/proc/meminfo: memFree=25632072/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=3024420 CPUtime=4.37 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 14855 0 1 0 426 11 0 0 20 0 19 0 347049334 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 756105 117974 2294 9 0 746526 0
[pid=27977/tid=27978] ppid=27975 vsize=3024420 CPUtime=3.03 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) R 27975 27977 27496 0 -1 4202560 3228 0 1 0 296 7 0 0 20 0 19 0 347049335 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465346646888 140465178062576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=27980] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27980/stat : 27980 (java) S 27975 27977 27496 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 347049335 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465330072488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=27981] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27981/stat : 27981 (java) S 27975 27977 27496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 347049335 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465329019944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27982] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27982/stat : 27982 (java) S 27975 27977 27496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 347049335 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465327966888 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27983] ppid=27975 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/27977/task/27983/stat : 27983 (java) S 27975 27977 27496 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 347049335 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465326914344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27984] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27984/stat : 27984 (java) S 27975 27977 27496 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 347049335 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465325861288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27985] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27985/stat : 27985 (java) S 27975 27977 27496 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 347049335 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465324808744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27986] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27986/stat : 27986 (java) S 27975 27977 27496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 347049335 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465323755688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27987] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27987/stat : 27987 (java) S 27975 27977 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 347049335 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465322703144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27988] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27988/stat : 27988 (java) S 27975 27977 27496 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 347049336 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465310292840 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27989] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27989/stat : 27989 (java) S 27975 27977 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347049337 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465309239160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27990] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27990/stat : 27990 (java) S 27975 27977 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347049337 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465308185992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27991] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27991/stat : 27991 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347049339 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465307134736 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27992] ppid=27975 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/27977/task/27992/stat : 27992 (java) S 27975 27977 27496 0 -1 4202560 6536 0 0 0 57 2 0 0 20 0 19 0 347049339 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465306081592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27993] ppid=27975 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/27977/task/27993/stat : 27993 (java) S 27975 27977 27496 0 -1 4202560 3834 0 0 0 58 0 0 0 20 0 19 0 347049339 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465305029048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27994] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27994/stat : 27994 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347049339 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465303976184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27995] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27995/stat : 27995 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347049339 3097006080 117974 33554432000 1073741824 1073778376 140734059430528 140465302923848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 3024420
[startup+6.30064 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 28006
/proc/meminfo: memFree=25626240/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=3024420 CPUtime=7.6 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 14885 0 1 0 749 11 0 0 20 0 18 0 347049334 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 756105 117167 2295 9 0 746526 0
[pid=27977/tid=27978] ppid=27975 vsize=3024420 CPUtime=6.22 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) R 27975 27977 27496 0 -1 4202560 3230 0 1 0 615 7 0 0 20 0 18 0 347049335 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465346645064 140465178309520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=27980] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27980/stat : 27980 (java) S 27975 27977 27496 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 18 0 347049335 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465330072488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=27981] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27981/stat : 27981 (java) S 27975 27977 27496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 347049335 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465329019944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27982] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27982/stat : 27982 (java) S 27975 27977 27496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 347049335 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465327966888 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27983] ppid=27975 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/27977/task/27983/stat : 27983 (java) S 27975 27977 27496 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 347049335 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465326914344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27984] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27984/stat : 27984 (java) S 27975 27977 27496 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 347049335 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465325861288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27985] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27985/stat : 27985 (java) S 27975 27977 27496 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 347049335 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465324808744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27986] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27986/stat : 27986 (java) S 27975 27977 27496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 347049335 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465323755688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27987] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27987/stat : 27987 (java) S 27975 27977 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 347049335 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465322703144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27988] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27988/stat : 27988 (java) S 27975 27977 27496 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347049336 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465310292840 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27989] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27989/stat : 27989 (java) S 27975 27977 27496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347049337 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465309239160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27990] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27990/stat : 27990 (java) S 27975 27977 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347049337 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465308185992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27991] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27991/stat : 27991 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347049339 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465307134736 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27992] ppid=27975 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/27977/task/27992/stat : 27992 (java) S 27975 27977 27496 0 -1 4202560 6536 0 0 0 58 2 0 0 20 0 18 0 347049339 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465306081592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27993] ppid=27975 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/27977/task/27993/stat : 27993 (java) S 27975 27977 27496 0 -1 4202560 3834 0 0 0 59 0 0 0 20 0 18 0 347049339 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465305029048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27994] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27994/stat : 27994 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347049339 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465303976184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27995] ppid=27975 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27995/stat : 27995 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347049339 3097006080 117167 33554432000 1073741824 1073778376 140734059430528 140465302923848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/27977/task/27991/stat : 27991 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347049339 3165167616 420055 33554432000 1073741824 1073778376 140734059430528 140465307134736 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27992] ppid=27975 vsize=3090984 CPUtime=0.66 cores=1,3,5,7
/proc/27977/task/27992/stat : 27992 (java) S 27975 27977 27496 0 -1 4202560 6544 0 0 0 64 2 0 0 20 0 20 0 347049339 3165167616 420055 33554432000 1073741824 1073778376 140734059430528 140465306081592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27993] ppid=27975 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/27977/task/27993/stat : 27993 (java) S 27975 27977 27496 0 -1 4202560 3841 0 0 0 65 0 0 0 20 0 20 0 347049339 3165167616 420055 33554432000 1073741824 1073778376 140734059430528 140465305029048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27994] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27994/stat : 27994 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347049339 3165167616 420055 33554432000 1073741824 1073778376 140734059430528 140465303976184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27995] ppid=27975 vsize=3090984 CPUtime=0.24 cores=1,3,5,7
/proc/27977/task/27995/stat : 27995 (java) S 27975 27977 27496 0 -1 4202560 33 0 0 0 11 13 0 0 20 0 20 0 347049339 3165167616 420055 33554432000 1073741824 1073778376 140734059430528 140465302923848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=28008] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/28008/stat : 28008 (java) S 27975 27977 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347049968 3165167616 420055 33554432000 1073741824 1073778376 140734059430528 140465300722728 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=28039] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/28039/stat : 28039 (java) S 27975 27977 27496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347106084 3165167616 420055 33554432000 1073741824 1073778376 140734059430528 140465299668664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 572.57
Current children cumulated vsize (KiB) 3090984
[startup+568.707 s]
/proc/loadavg: 1.01 1.32 1.68 2/190 28039
/proc/meminfo: memFree=26095640/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=3090984 CPUtime=573.37 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 17328 0 1 0 57196 141 0 0 20 0 20 0 347049334 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 772746 420056 2311 9 0 763167 0
[pid=27977/tid=27978] ppid=27975 vsize=3090984 CPUtime=552.23 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) S 27975 27977 27496 0 -1 4202560 3278 0 1 0 55208 15 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465346647224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27980] ppid=27975 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/27977/task/27980/stat : 27980 (java) S 27975 27977 27496 0 -1 4202560 254 0 0 0 40 14 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465330072488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27981] ppid=27975 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/27977/task/27981/stat : 27981 (java) S 27975 27977 27496 0 -1 4202560 364 0 0 0 44 21 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465329019944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27982] ppid=27975 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/27977/task/27982/stat : 27982 (java) S 27975 27977 27496 0 -1 4202560 181 0 0 0 28 9 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465327966888 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27983] ppid=27975 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/27977/task/27983/stat : 27983 (java) S 27975 27977 27496 0 -1 4202560 452 0 0 0 51 25 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465326914344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27984] ppid=27975 vsize=3090984 CPUtime=0.44 cores=1,3,5,7
/proc/27977/task/27984/stat : 27984 (java) S 27975 27977 27496 0 -1 4202560 217 0 0 0 32 12 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465325861288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27985] ppid=27975 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/27977/task/27985/stat : 27985 (java) S 27975 27977 27496 0 -1 4202560 178 0 0 0 37 8 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465324808744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27986] ppid=27975 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/27977/task/27986/stat : 27986 (java) S 27975 27977 27496 0 -1 4202560 314 0 0 0 39 18 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465323755688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27987] ppid=27975 vsize=3090984 CPUtime=0.51 cores=1,3,5,7
/proc/27977/task/27987/stat : 27987 (java) S 27975 27977 27496 0 -1 4202560 242 0 0 0 38 13 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465322703144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27988] ppid=27975 vsize=3090984 CPUtime=13.82 cores=1,3,5,7
/proc/27977/task/27988/stat : 27988 (java) R 27975 27977 27496 0 -1 4202560 180 0 0 0 1378 4 0 0 20 0 20 0 347049336 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465310293000 140465352772754 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=27989] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27989/stat : 27989 (java) S 27975 27977 27496 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 347049337 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465309239160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27990] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27990/stat : 27990 (java) S 27975 27977 27496 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 347049337 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465308185992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27991] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27991/stat : 27991 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465307134736 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27992] ppid=27975 vsize=3090984 CPUtime=0.66 cores=1,3,5,7
/proc/27977/task/27992/stat : 27992 (java) S 27975 27977 27496 0 -1 4202560 6544 0 0 0 64 2 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465306081592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27993] ppid=27975 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/27977/task/27993/stat : 27993 (java) S 27975 27977 27496 0 -1 4202560 3841 0 0 0 65 0 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465305029048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27994] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27994/stat : 27994 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465303976184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27995] ppid=27975 vsize=3090984 CPUtime=0.24 cores=1,3,5,7
/proc/27977/task/27995/stat : 27995 (java) S 27975 27977 27496 0 -1 4202560 33 0 0 0 11 13 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465302923848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=28008] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/28008/stat : 28008 (java) S 27975 27977 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347049968 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465300722728 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=28039] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/28039/stat : 28039 (java) S 27975 27977 27496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 347106084 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465299668200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 573.37
Current children cumulated vsize (KiB) 3090984
[startup+569.101 s]
/proc/loadavg: 1.01 1.32 1.68 2/190 28039
/proc/meminfo: memFree=26095640/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=3090984 CPUtime=573.77 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 17330 0 1 0 57236 141 0 0 20 0 20 0 347049334 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 772746 420056 2311 9 0 763167 0
[pid=27977/tid=27978] ppid=27975 vsize=3090984 CPUtime=552.23 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) S 27975 27977 27496 0 -1 4202560 3278 0 1 0 55208 15 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465346647224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27980] ppid=27975 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/27977/task/27980/stat : 27980 (java) S 27975 27977 27496 0 -1 4202560 254 0 0 0 40 14 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465330072488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27981] ppid=27975 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/27977/task/27981/stat : 27981 (java) S 27975 27977 27496 0 -1 4202560 364 0 0 0 44 21 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465329019944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27982] ppid=27975 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/27977/task/27982/stat : 27982 (java) S 27975 27977 27496 0 -1 4202560 181 0 0 0 28 9 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465327966888 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27983] ppid=27975 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/27977/task/27983/stat : 27983 (java) S 27975 27977 27496 0 -1 4202560 452 0 0 0 51 25 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465326914344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27984] ppid=27975 vsize=3090984 CPUtime=0.44 cores=1,3,5,7
/proc/27977/task/27984/stat : 27984 (java) S 27975 27977 27496 0 -1 4202560 217 0 0 0 32 12 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465325861288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27985] ppid=27975 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/27977/task/27985/stat : 27985 (java) S 27975 27977 27496 0 -1 4202560 178 0 0 0 37 8 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465324808744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27986] ppid=27975 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/27977/task/27986/stat : 27986 (java) S 27975 27977 27496 0 -1 4202560 314 0 0 0 39 18 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465323755688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27987] ppid=27975 vsize=3090984 CPUtime=0.51 cores=1,3,5,7
/proc/27977/task/27987/stat : 27987 (java) S 27975 27977 27496 0 -1 4202560 242 0 0 0 38 13 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465322703144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27988] ppid=27975 vsize=3090984 CPUtime=14.21 cores=1,3,5,7
/proc/27977/task/27988/stat : 27988 (java) R 27975 27977 27496 0 -1 4202560 180 0 0 0 1417 4 0 0 20 0 20 0 347049336 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465310292840 140465353653344 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=27989] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27989/stat : 27989 (java) S 27975 27977 27496 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 347049337 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465309239160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27990] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27990/stat : 27990 (java) S 27975 27977 27496 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 347049337 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465308185992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27991] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27991/stat : 27991 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465307134736 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27992] ppid=27975 vsize=3090984 CPUtime=0.66 cores=1,3,5,7
/proc/27977/task/27992/stat : 27992 (java) S 27975 27977 27496 0 -1 4202560 6544 0 0 0 64 2 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465306081592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27993] ppid=27975 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/27977/task/27993/stat : 27993 (java) S 27975 27977 27496 0 -1 4202560 3841 0 0 0 65 0 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465305029048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27994] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27994/stat : 27994 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465303976184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27995] ppid=27975 vsize=3090984 CPUtime=0.24 cores=1,3,5,7
/proc/27977/task/27995/stat : 27995 (java) S 27975 27977 27496 0 -1 4202560 33 0 0 0 11 13 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465302923848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=28008] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/28008/stat : 28008 (java) S 27975 27977 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347049968 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465300722728 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=28039] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/28039/stat : 28039 (java) S 27975 27977 27496 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 347106084 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465299669384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 573.77
Current children cumulated vsize (KiB) 3090984
[startup+569.501 s]
/proc/loadavg: 1.01 1.32 1.68 2/190 28039
/proc/meminfo: memFree=26095640/32873648 swapFree=6864/6864
[pid=27977] ppid=27975 vsize=3090984 CPUtime=574.17 cores=1,3,5,7
/proc/27977/stat : 27977 (java) S 27975 27977 27496 0 -1 4202496 17331 0 1 0 57276 141 0 0 20 0 20 0 347049334 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140734059421664 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27977/statm: 772746 420056 2311 9 0 763167 0
[pid=27977/tid=27978] ppid=27975 vsize=3090984 CPUtime=552.23 cores=1,3,5,7
/proc/27977/task/27978/stat : 27978 (java) S 27975 27977 27496 0 -1 4202560 3278 0 1 0 55208 15 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465346647224 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27980] ppid=27975 vsize=3090984 CPUtime=0.54 cores=1,3,5,7
/proc/27977/task/27980/stat : 27980 (java) S 27975 27977 27496 0 -1 4202560 254 0 0 0 40 14 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465330072488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27981] ppid=27975 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/27977/task/27981/stat : 27981 (java) S 27975 27977 27496 0 -1 4202560 364 0 0 0 44 21 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465329019944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27982] ppid=27975 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/27977/task/27982/stat : 27982 (java) S 27975 27977 27496 0 -1 4202560 181 0 0 0 28 9 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465327966888 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27983] ppid=27975 vsize=3090984 CPUtime=0.76 cores=1,3,5,7
/proc/27977/task/27983/stat : 27983 (java) S 27975 27977 27496 0 -1 4202560 452 0 0 0 51 25 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465326914344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27984] ppid=27975 vsize=3090984 CPUtime=0.44 cores=1,3,5,7
/proc/27977/task/27984/stat : 27984 (java) S 27975 27977 27496 0 -1 4202560 217 0 0 0 32 12 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465325861288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27985] ppid=27975 vsize=3090984 CPUtime=0.45 cores=1,3,5,7
/proc/27977/task/27985/stat : 27985 (java) S 27975 27977 27496 0 -1 4202560 178 0 0 0 37 8 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465324808744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27986] ppid=27975 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/27977/task/27986/stat : 27986 (java) S 27975 27977 27496 0 -1 4202560 314 0 0 0 39 18 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465323755688 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27987] ppid=27975 vsize=3090984 CPUtime=0.51 cores=1,3,5,7
/proc/27977/task/27987/stat : 27987 (java) S 27975 27977 27496 0 -1 4202560 242 0 0 0 38 13 0 0 20 0 20 0 347049335 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465322703144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27988] ppid=27975 vsize=3090984 CPUtime=14.61 cores=1,3,5,7
/proc/27977/task/27988/stat : 27988 (java) R 27975 27977 27496 0 -1 4202560 180 0 0 0 1457 4 0 0 20 0 20 0 347049336 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465310293000 140465353154632 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=27989] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27989/stat : 27989 (java) S 27975 27977 27496 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 347049337 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465309239160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27990] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27990/stat : 27990 (java) S 27975 27977 27496 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 347049337 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465308185992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27991] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27991/stat : 27991 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465307134736 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27992] ppid=27975 vsize=3090984 CPUtime=0.66 cores=1,3,5,7
/proc/27977/task/27992/stat : 27992 (java) S 27975 27977 27496 0 -1 4202560 6544 0 0 0 64 2 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465306081592 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=27993] ppid=27975 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/27977/task/27993/stat : 27993 (java) S 27975 27977 27496 0 -1 4202560 3841 0 0 0 65 0 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465305029048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27977/tid=27994] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/27994/stat : 27994 (java) S 27975 27977 27496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465303976184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27977/tid=27995] ppid=27975 vsize=3090984 CPUtime=0.24 cores=1,3,5,7
/proc/27977/task/27995/stat : 27995 (java) S 27975 27977 27496 0 -1 4202560 33 0 0 0 11 13 0 0 20 0 20 0 347049339 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465302923848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27977/tid=28008] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/28008/stat : 28008 (java) S 27975 27977 27496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347049968 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465300722728 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27977/tid=28039] ppid=27975 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/27977/task/28039/stat : 28039 (java) S 27975 27977 27496 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 20 0 347106084 3165167616 420056 33554432000 1073741824 1073778376 140734059430528 140465299668488 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 574.17
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27977 and gives
# childrusage.ru_utime.tv_sec=571
# childrusage.ru_utime.tv_usec=314147
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=683744
# CPU time returned by wait4() is 572.998
# while last known CPU time is 574.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 569.559
CPU time (s): 574.17
CPU user time (s): 572.76
CPU system time (s): 1.41
CPU usage (%): 100.81
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 571.314
system time used= 1.68374
maximum resident set size= 1680240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17340
page faults= 1
swaps= 0
block input operations= 40
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12799
involuntary context switches= 5159
runsolver used 1.11983 second user time and 2.98754 second system time
The end