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-3731549-1338686550/watcher-3731549-1338686550 -o /tmp/evaluation-result-3731549-1338686550/solver-3731549-1338686550 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731549-1338686550.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.00 2.00 7/195 29006
/proc/meminfo: memFree=28399424/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/29006/stat : 29006 (java) D 29004 29006 28047 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334783603 9515008 182 33554432000 1073741824 1073778376 140735403579376 140735403570408 245294251701 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/29006/statm: 2323 182 140 9 0 71 0
[startup+0.102087 s]
/proc/loadavg: 1.99 2.00 2.00 7/195 29006
/proc/meminfo: memFree=28399424/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 4396 0 1 0 7 1 0 0 20 0 18 0 334783603 3028844544 6114 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 739464 6115 1951 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.200237 s]
/proc/loadavg: 1.99 2.00 2.00 7/195 29006
/proc/meminfo: memFree=28399424/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 5452 0 1 0 25 1 0 0 20 0 18 0 334783603 3028844544 7983 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 739464 7983 2223 9 0 729885 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2957856
[startup+0.300263 s]
/proc/loadavg: 1.99 2.00 2.00 7/195 29006
/proc/meminfo: memFree=28399424/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 5919 0 1 0 42 1 0 0 20 0 18 0 334783603 3028844544 9611 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 739464 9611 2234 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856
[startup+0.70023 s]
/proc/loadavg: 1.99 2.00 2.00 7/195 29006
/proc/meminfo: memFree=28399424/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=2957856 CPUtime=1.28 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 9367 0 1 0 124 4 0 0 20 0 18 0 334783603 3028844544 42843 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 739464 42843 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 2957856
[startup+1.5007 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 29024
/proc/meminfo: memFree=28035444/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=2957856 CPUtime=2.17 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 9554 0 1 0 209 8 0 0 20 0 18 0 334783603 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 739464 115568 2269 9 0 729885 0
[pid=29006/tid=29008] ppid=29004 vsize=2957856 CPUtime=1.42 cores=0,2,4,6
/proc/29006/task/29008/stat : 29008 (java) R 29004 29006 28047 0 -1 4202560 3239 0 1 0 135 7 0 0 20 0 18 0 334783604 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684261572232 140684086940251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29009] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29009/stat : 29009 (java) S 29004 29006 28047 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 334783606 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684244998440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29010] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29010/stat : 29010 (java) S 29004 29006 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334783606 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684243945640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29011] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29011/stat : 29011 (java) S 29004 29006 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334783606 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684242893352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29012] ppid=29004 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/29006/task/29012/stat : 29012 (java) S 29004 29006 28047 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 334783606 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684241840552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29013] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29013/stat : 29013 (java) S 29004 29006 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334783606 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684240788264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29014] ppid=29004 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/29006/task/29014/stat : 29014 (java) S 29004 29006 28047 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 334783606 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684239735464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29015] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29015/stat : 29015 (java) S 29004 29006 28047 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334783606 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684238683176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29016] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29016/stat : 29016 (java) S 29004 29006 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334783606 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684237630376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29017] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29017/stat : 29017 (java) S 29004 29006 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334783607 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684225218792 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29018] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29018/stat : 29018 (java) S 29004 29006 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334783608 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684224164856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29019] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29019/stat : 29019 (java) S 29004 29006 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334783608 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684223112456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29020] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29020/stat : 29020 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334783610 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684222060944 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29021] ppid=29004 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/29006/task/29021/stat : 29021 (java) S 29004 29006 28047 0 -1 4202560 2579 0 0 0 32 0 0 0 20 0 18 0 334783610 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684221008568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29022] ppid=29004 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/29006/task/29022/stat : 29022 (java) S 29004 29006 28047 0 -1 4202560 2503 0 0 0 26 0 0 0 20 0 18 0 334783610 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684219955768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29023] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29023/stat : 29023 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334783610 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684218903672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29024] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29024/stat : 29024 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334783610 3028844544 115568 33554432000 1073741824 1073778376 140733913855296 140684217851080 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 2957856
[startup+3.10076 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 29024
/proc/meminfo: memFree=27911944/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=2957856 CPUtime=4.06 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 9676 0 1 0 392 14 0 0 20 0 18 0 334783603 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 739464 130936 2269 9 0 729885 0
[pid=29006/tid=29008] ppid=29004 vsize=2957856 CPUtime=2.91 cores=0,2,4,6
/proc/29006/task/29008/stat : 29008 (java) R 29004 29006 28047 0 -1 4202560 3241 0 1 0 284 7 0 0 20 0 18 0 334783604 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684261564528 140684086887510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29009] ppid=29004 vsize=2957856 CPUtime=0.04 cores=0,2,4,6
/proc/29006/task/29009/stat : 29009 (java) S 29004 29006 28047 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 18 0 334783606 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684244998440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29010] ppid=29004 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/29006/task/29010/stat : 29010 (java) S 29004 29006 28047 0 -1 4202560 25 0 0 0 6 2 0 0 20 0 18 0 334783606 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684243945640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29011] ppid=29004 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/29006/task/29011/stat : 29011 (java) S 29004 29006 28047 0 -1 4202560 24 0 0 0 6 1 0 0 20 0 18 0 334783606 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684242893352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29012] ppid=29004 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/29006/task/29012/stat : 29012 (java) S 29004 29006 28047 0 -1 4202560 30 0 0 0 7 0 0 0 20 0 18 0 334783606 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684241840552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29013] ppid=29004 vsize=2957856 CPUtime=0.04 cores=0,2,4,6
/proc/29006/task/29013/stat : 29013 (java) S 29004 29006 28047 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 18 0 334783606 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684240788264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29014] ppid=29004 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/29006/task/29014/stat : 29014 (java) S 29004 29006 28047 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 18 0 334783606 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684239735464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29015] ppid=29004 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/29006/task/29015/stat : 29015 (java) S 29004 29006 28047 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 334783606 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684238683176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29016] ppid=29004 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/29006/task/29016/stat : 29016 (java) S 29004 29006 28047 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 334783606 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684237630376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29017] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29017/stat : 29017 (java) S 29004 29006 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334783607 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684225218792 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29018] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29018/stat : 29018 (java) S 29004 29006 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334783608 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684224164856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29019] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29019/stat : 29019 (java) S 29004 29006 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334783608 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684223112456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29020] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29020/stat : 29020 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334783610 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684222060944 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29021] ppid=29004 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/29006/task/29021/stat : 29021 (java) S 29004 29006 28047 0 -1 4202560 2579 0 0 0 32 0 0 0 20 0 18 0 334783610 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684221008568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29022] ppid=29004 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/29006/task/29022/stat : 29022 (java) S 29004 29006 28047 0 -1 4202560 2503 0 0 0 26 0 0 0 20 0 18 0 334783610 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684219955768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29023] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29023/stat : 29023 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334783610 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684218903672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29024] ppid=29004 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29024/stat : 29024 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334783610 3028844544 130936 33554432000 1073741824 1073778376 140733913855296 140684217851080 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 2957856
[startup+6.30072 s]
/proc/loadavg: 2.15 2.03 2.01 3/214 29025
/proc/meminfo: memFree=27881156/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=3024420 CPUtime=7.86 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 13748 0 1 0 770 16 0 0 20 0 19 0 334783603 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 756105 131280 2293 9 0 746526 0
[pid=29006/tid=29008] ppid=29004 vsize=3024420 CPUtime=6.09 cores=0,2,4,6
/proc/29006/task/29008/stat : 29008 (java) R 29004 29006 28047 0 -1 4202560 3255 0 1 0 602 7 0 0 20 0 19 0 334783604 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684261572864 140684087365919 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29009] ppid=29004 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/29006/task/29009/stat : 29009 (java) S 29004 29006 28047 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 19 0 334783606 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684244998440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29010] ppid=29004 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/29006/task/29010/stat : 29010 (java) S 29004 29006 28047 0 -1 4202560 25 0 0 0 6 2 0 0 20 0 19 0 334783606 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684243945640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29011] ppid=29004 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/29006/task/29011/stat : 29011 (java) S 29004 29006 28047 0 -1 4202560 24 0 0 0 6 1 0 0 20 0 19 0 334783606 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684242893352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29012] ppid=29004 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/29006/task/29012/stat : 29012 (java) S 29004 29006 28047 0 -1 4202560 30 0 0 0 7 0 0 0 20 0 19 0 334783606 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684241840552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29013] ppid=29004 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/29006/task/29013/stat : 29013 (java) S 29004 29006 28047 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 334783606 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684240788264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29014] ppid=29004 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/29006/task/29014/stat : 29014 (java) S 29004 29006 28047 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 19 0 334783606 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684239735464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29015] ppid=29004 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/29006/task/29015/stat : 29015 (java) S 29004 29006 28047 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 334783606 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684238683176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29016] ppid=29004 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/29006/task/29016/stat : 29016 (java) S 29004 29006 28047 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 334783606 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684237630376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29017] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29017/stat : 29017 (java) S 29004 29006 28047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334783607 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684225218792 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29018] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29018/stat : 29018 (java) S 29004 29006 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684224164856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29019] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29019/stat : 29019 (java) S 29004 29006 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684223112456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29020] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29020/stat : 29020 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684222060944 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29021] ppid=29004 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/29006/task/29021/stat : 29021 (java) S 29004 29006 28047 0 -1 4202560 3610 0 0 0 60 2 0 0 20 0 19 0 334783610 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684221008568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29022] ppid=29004 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/29006/task/29022/stat : 29022 (java) S 29004 29006 28047 0 -1 4202560 5516 0 0 0 56 2 0 0 20 0 19 0 334783610 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684219955768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29023] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29023/stat : 29023 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684218903672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29024] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29024/stat : 29024 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684217851080 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29025] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29025/stat : 29025 (java) S 29004 29006 28047 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334783937 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140684215649192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 2.14 2.03 2.01 3/214 29025
/proc/meminfo: memFree=27880932/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=3024420 CPUtime=14.3 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 13749 0 1 0 1414 16 0 0 20 0 19 0 334783603 3097006080 131280 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
################
# More data... #
################
/proc/29006/task/29016/stat : 29016 (java) S 29004 29006 28047 0 -1 4202560 359 0 0 0 43 22 0 0 20 0 19 0 334783606 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684237630376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29017] ppid=29004 vsize=3024420 CPUtime=14.08 cores=0,2,4,6
/proc/29006/task/29017/stat : 29017 (java) R 29004 29006 28047 0 -1 4202560 76 0 0 0 1406 2 0 0 20 0 19 0 334783607 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684225218952 140684265734460 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29018] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29018/stat : 29018 (java) S 29004 29006 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684224164856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29019] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29019/stat : 29019 (java) S 29004 29006 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684223112456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29020] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29020/stat : 29020 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684222060944 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29021] ppid=29004 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/29006/task/29021/stat : 29021 (java) S 29004 29006 28047 0 -1 4202560 3619 0 0 0 68 2 0 0 20 0 19 0 334783610 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684221008568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29022] ppid=29004 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/29006/task/29022/stat : 29022 (java) S 29004 29006 28047 0 -1 4202560 5523 0 0 0 62 2 0 0 20 0 19 0 334783610 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684219955768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29023] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29023/stat : 29023 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684218903672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29024] ppid=29004 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/29006/task/29024/stat : 29024 (java) S 29004 29006 28047 0 -1 4202560 65 0 0 0 30 18 0 0 20 0 19 0 334783610 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684217851080 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29025] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29025/stat : 29025 (java) S 29004 29006 28047 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334783937 3097006080 418675 33554432000 1073741824 1073778376 140733913855296 140684215649192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1127.45
Current children cumulated vsize (KiB) 3024420
[startup+1123.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29303
/proc/meminfo: memFree=26713800/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=3024420 CPUtime=1128.25 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 16267 0 1 0 112656 169 0 0 20 0 19 0 334783603 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 756105 418678 2309 9 0 746526 0
[pid=29006/tid=29008] ppid=29004 vsize=3024420 CPUtime=1104.22 cores=0,2,4,6
/proc/29006/task/29008/stat : 29008 (java) S 29004 29006 28047 0 -1 4202560 3307 0 1 0 110399 23 0 0 20 0 19 0 334783604 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684261574760 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29009] ppid=29004 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/29006/task/29009/stat : 29009 (java) S 29004 29006 28047 0 -1 4202560 243 0 0 0 33 14 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684244998440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29010] ppid=29004 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/29006/task/29010/stat : 29010 (java) S 29004 29006 28047 0 -1 4202560 394 0 0 0 43 19 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684243945640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29011] ppid=29004 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/29006/task/29011/stat : 29011 (java) S 29004 29006 28047 0 -1 4202560 220 0 0 0 33 14 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684242893352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29012] ppid=29004 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/29006/task/29012/stat : 29012 (java) S 29004 29006 28047 0 -1 4202560 211 0 0 0 30 12 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684241840552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29013] ppid=29004 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/29006/task/29013/stat : 29013 (java) S 29004 29006 28047 0 -1 4202560 443 0 0 0 48 25 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684240788264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29014] ppid=29004 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/29006/task/29014/stat : 29014 (java) S 29004 29006 28047 0 -1 4202560 264 0 0 0 37 15 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684239735464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29015] ppid=29004 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/29006/task/29015/stat : 29015 (java) S 29004 29006 28047 0 -1 4202560 353 0 0 0 48 21 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684238683176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29016] ppid=29004 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/29006/task/29016/stat : 29016 (java) S 29004 29006 28047 0 -1 4202560 359 0 0 0 43 22 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684237630376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29017] ppid=29004 vsize=3024420 CPUtime=14.88 cores=0,2,4,6
/proc/29006/task/29017/stat : 29017 (java) R 29004 29006 28047 0 -1 4202560 77 0 0 0 1486 2 0 0 20 0 19 0 334783607 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684225218952 140684267697553 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29018] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29018/stat : 29018 (java) S 29004 29006 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684224164856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29019] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29019/stat : 29019 (java) S 29004 29006 28047 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684223112456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29020] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29020/stat : 29020 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684222060944 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29021] ppid=29004 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/29006/task/29021/stat : 29021 (java) S 29004 29006 28047 0 -1 4202560 3619 0 0 0 68 2 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684221008568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29022] ppid=29004 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/29006/task/29022/stat : 29022 (java) S 29004 29006 28047 0 -1 4202560 5523 0 0 0 62 2 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684219955768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29023] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29023/stat : 29023 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684218903672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29024] ppid=29004 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/29006/task/29024/stat : 29024 (java) S 29004 29006 28047 0 -1 4202560 65 0 0 0 30 18 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684217851080 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29025] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29025/stat : 29025 (java) S 29004 29006 28047 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334783937 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684215649192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1128.25
Current children cumulated vsize (KiB) 3024420
[startup+1123.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29303
/proc/meminfo: memFree=26713800/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=3024420 CPUtime=1128.65 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 16269 0 1 0 112696 169 0 0 20 0 19 0 334783603 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 756105 418678 2309 9 0 746526 0
[pid=29006/tid=29008] ppid=29004 vsize=3024420 CPUtime=1104.22 cores=0,2,4,6
/proc/29006/task/29008/stat : 29008 (java) S 29004 29006 28047 0 -1 4202560 3309 0 1 0 110399 23 0 0 20 0 19 0 334783604 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684261574040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29009] ppid=29004 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/29006/task/29009/stat : 29009 (java) S 29004 29006 28047 0 -1 4202560 243 0 0 0 33 14 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684244998440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29010] ppid=29004 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/29006/task/29010/stat : 29010 (java) S 29004 29006 28047 0 -1 4202560 394 0 0 0 43 19 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684243945640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29011] ppid=29004 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/29006/task/29011/stat : 29011 (java) S 29004 29006 28047 0 -1 4202560 220 0 0 0 33 14 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684242893352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29012] ppid=29004 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/29006/task/29012/stat : 29012 (java) S 29004 29006 28047 0 -1 4202560 211 0 0 0 30 12 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684241840552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29013] ppid=29004 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/29006/task/29013/stat : 29013 (java) S 29004 29006 28047 0 -1 4202560 443 0 0 0 48 25 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684240788264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29014] ppid=29004 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/29006/task/29014/stat : 29014 (java) S 29004 29006 28047 0 -1 4202560 264 0 0 0 37 15 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684239735464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29015] ppid=29004 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/29006/task/29015/stat : 29015 (java) S 29004 29006 28047 0 -1 4202560 353 0 0 0 48 21 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684238683176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29016] ppid=29004 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/29006/task/29016/stat : 29016 (java) S 29004 29006 28047 0 -1 4202560 359 0 0 0 43 22 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684237630376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29017] ppid=29004 vsize=3024420 CPUtime=15.27 cores=0,2,4,6
/proc/29006/task/29017/stat : 29017 (java) R 29004 29006 28047 0 -1 4202560 77 0 0 0 1525 2 0 0 20 0 19 0 334783607 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684225218952 140684268427651 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29018] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29018/stat : 29018 (java) S 29004 29006 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684224164856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29019] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29019/stat : 29019 (java) S 29004 29006 28047 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684223112456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29020] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29020/stat : 29020 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684222060944 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29021] ppid=29004 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/29006/task/29021/stat : 29021 (java) S 29004 29006 28047 0 -1 4202560 3619 0 0 0 68 2 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684221008568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29022] ppid=29004 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/29006/task/29022/stat : 29022 (java) S 29004 29006 28047 0 -1 4202560 5523 0 0 0 62 2 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684219955768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29023] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29023/stat : 29023 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684218903672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29024] ppid=29004 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/29006/task/29024/stat : 29024 (java) S 29004 29006 28047 0 -1 4202560 65 0 0 0 30 18 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684217851080 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29025] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29025/stat : 29025 (java) S 29004 29006 28047 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334783937 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684215649192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1128.65
Current children cumulated vsize (KiB) 3024420
[startup+1123.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29303
/proc/meminfo: memFree=26713800/32873844 swapFree=7372/7372
[pid=29006] ppid=29004 vsize=3024420 CPUtime=1128.75 cores=0,2,4,6
/proc/29006/stat : 29006 (java) S 29004 29006 28047 0 -1 4202496 16269 0 1 0 112706 169 0 0 20 0 19 0 334783603 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140733913846432 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29006/statm: 756105 418678 2309 9 0 746526 0
[pid=29006/tid=29008] ppid=29004 vsize=3024420 CPUtime=1104.22 cores=0,2,4,6
/proc/29006/task/29008/stat : 29008 (java) S 29004 29006 28047 0 -1 4202560 3309 0 1 0 110399 23 0 0 20 0 19 0 334783604 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684261574040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29009] ppid=29004 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/29006/task/29009/stat : 29009 (java) S 29004 29006 28047 0 -1 4202560 243 0 0 0 33 14 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684244998440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29010] ppid=29004 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/29006/task/29010/stat : 29010 (java) S 29004 29006 28047 0 -1 4202560 394 0 0 0 43 19 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684243945640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29011] ppid=29004 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/29006/task/29011/stat : 29011 (java) S 29004 29006 28047 0 -1 4202560 220 0 0 0 33 14 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684242893352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29012] ppid=29004 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/29006/task/29012/stat : 29012 (java) S 29004 29006 28047 0 -1 4202560 211 0 0 0 30 12 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684241840552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29013] ppid=29004 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/29006/task/29013/stat : 29013 (java) S 29004 29006 28047 0 -1 4202560 443 0 0 0 48 25 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684240788264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29014] ppid=29004 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/29006/task/29014/stat : 29014 (java) S 29004 29006 28047 0 -1 4202560 264 0 0 0 37 15 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684239735464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29015] ppid=29004 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/29006/task/29015/stat : 29015 (java) S 29004 29006 28047 0 -1 4202560 353 0 0 0 48 21 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684238683176 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29016] ppid=29004 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/29006/task/29016/stat : 29016 (java) S 29004 29006 28047 0 -1 4202560 359 0 0 0 43 22 0 0 20 0 19 0 334783606 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684237630376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29006/tid=29017] ppid=29004 vsize=3024420 CPUtime=15.37 cores=0,2,4,6
/proc/29006/task/29017/stat : 29017 (java) R 29004 29006 28047 0 -1 4202560 77 0 0 0 1535 2 0 0 20 0 19 0 334783607 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684225218952 140684265734304 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29018] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29018/stat : 29018 (java) S 29004 29006 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684224164856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29019] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29019/stat : 29019 (java) S 29004 29006 28047 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 334783608 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684223112456 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29020] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29020/stat : 29020 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684222060944 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29006/tid=29021] ppid=29004 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/29006/task/29021/stat : 29021 (java) S 29004 29006 28047 0 -1 4202560 3619 0 0 0 68 2 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684221008568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29022] ppid=29004 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/29006/task/29022/stat : 29022 (java) S 29004 29006 28047 0 -1 4202560 5523 0 0 0 62 2 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684219955768 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29023] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29023/stat : 29023 (java) S 29004 29006 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684218903672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29006/tid=29024] ppid=29004 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/29006/task/29024/stat : 29024 (java) S 29004 29006 28047 0 -1 4202560 65 0 0 0 30 18 0 0 20 0 19 0 334783610 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684217851080 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29006/tid=29025] ppid=29004 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/29006/task/29025/stat : 29025 (java) S 29004 29006 28047 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334783937 3097006080 418678 33554432000 1073741824 1073778376 140733913855296 140684215649192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1128.75
Current children cumulated vsize (KiB) 3024420
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29006 and gives
# childrusage.ru_utime.tv_sec=1124
# childrusage.ru_utime.tv_usec=270084
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=21692
# CPU time returned by wait4() is 1126.29
# while last known CPU time is 1128.75
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1123.86
CPU time (s): 1128.75
CPU user time (s): 1127.06
CPU system time (s): 1.69
CPU usage (%): 100.435
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1124.27
system time used= 2.02169
maximum resident set size= 1674724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16273
page faults= 1
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24245
involuntary context switches= 5725
runsolver used 2.96255 second user time and 6.49701 second system time
The end