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-3730434-1338681079/watcher-3730434-1338681079 -o /tmp/evaluation-result-3730434-1338681079/solver-3730434-1338681079 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730434-1338681079.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.95 2.00 1.86 2/194 16008
/proc/meminfo: memFree=26806292/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/16008/stat : 16008 (java) D 16006 16008 15746 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 334232479 2560000 46 33554432000 1073741824 1073778376 140734840411680 140734840408808 248781040935 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/16008/statm: 625 46 37 9 0 29 0
[startup+0.075652 s]
/proc/loadavg: 1.95 2.00 1.86 2/194 16008
/proc/meminfo: memFree=26806292/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=2623916 CPUtime=0.04 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 4018 0 1 0 3 1 0 0 20 0 13 0 334232479 2686889984 5225 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 655979 5225 1715 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916
[startup+0.100254 s]
/proc/loadavg: 1.95 2.00 1.86 2/194 16008
/proc/meminfo: memFree=26806292/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 4184 0 1 0 5 1 0 0 20 0 18 0 334232479 3028844544 5390 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 739464 5390 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.30021 s]
/proc/loadavg: 1.95 2.00 1.86 2/194 16008
/proc/meminfo: memFree=26806292/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 7635 0 1 0 42 2 0 0 20 0 19 0 334232479 3097006080 8306 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 756105 8306 2242 9 0 746526 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 3024420
[startup+0.700185 s]
/proc/loadavg: 1.95 2.00 1.86 2/194 16008
/proc/meminfo: memFree=26806292/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=3024420 CPUtime=0.88 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 7956 0 1 0 86 2 0 0 20 0 19 0 334232479 3097006080 8828 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 756105 8828 2246 9 0 746526 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 3024420
[startup+1.50061 s]
/proc/loadavg: 1.95 2.00 1.86 3/213 16027
/proc/meminfo: memFree=26776964/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=3024420 CPUtime=1.72 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 8391 0 1 0 170 2 0 0 20 0 19 0 334232479 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 756105 9913 2249 9 0 746526 0
[pid=16008/tid=16010] ppid=16006 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) R 16006 16008 15746 0 -1 4202560 3084 0 1 0 143 2 0 0 20 0 19 0 334232480 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028823644760 140028696301823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16011] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028689460264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16012] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028688407464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16013] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028687354664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16008/tid=16014] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028686301864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16015] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028483201576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16016] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028482148776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16017] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028481095976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16018] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028480043176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16019] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232483 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028467846120 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16020] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16008 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028466792184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16021] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028465739272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16022] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028464687760 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16023] ppid=16006 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) S 16006 16008 15746 0 -1 4202560 1899 0 0 0 16 0 0 0 20 0 19 0 334232486 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028463634872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16024] ppid=16006 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) S 16006 16008 15746 0 -1 4202560 2214 0 0 0 8 0 0 0 20 0 19 0 334232486 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028462582072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16025] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028461529464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16026] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028460476872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16027] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16027/stat : 16027 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232495 3097006080 9913 33554432000 1073741824 1073778376 140736312722864 140028458346152 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 3024420
[startup+3.10063 s]
/proc/loadavg: 1.95 2.00 1.86 3/213 16027
/proc/meminfo: memFree=26772372/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=3024420 CPUtime=3.32 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 8393 0 1 0 330 2 0 0 20 0 19 0 334232479 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 756105 10937 2249 9 0 746526 0
[pid=16008/tid=16010] ppid=16006 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) R 16006 16008 15746 0 -1 4202560 3086 0 1 0 303 2 0 0 20 0 19 0 334232480 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028823644640 140028696301887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16011] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028689460264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16012] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028688407464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16013] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028687354664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16008/tid=16014] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028686301864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16015] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028483201576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16016] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028482148776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16017] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028481095976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16018] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028480043176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16019] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232483 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028467846120 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16020] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16008 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028466792184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16021] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028465739272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16022] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028464687760 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16023] ppid=16006 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) S 16006 16008 15746 0 -1 4202560 1899 0 0 0 16 0 0 0 20 0 19 0 334232486 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028463634872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16024] ppid=16006 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) S 16006 16008 15746 0 -1 4202560 2214 0 0 0 8 0 0 0 20 0 19 0 334232486 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028462582072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16025] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028461529464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16026] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028460476872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16027] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16027/stat : 16027 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232495 3097006080 10937 33554432000 1073741824 1073778376 140736312722864 140028458346152 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 3024420
[startup+6.3007 s]
/proc/loadavg: 1.95 2.00 1.86 3/213 16027
/proc/meminfo: memFree=26763808/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=3024420 CPUtime=6.53 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 8409 0 1 0 651 2 0 0 20 0 19 0 334232479 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 756105 12972 2258 9 0 746526 0
[pid=16008/tid=16010] ppid=16006 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) R 16006 16008 15746 0 -1 4202560 3099 0 1 0 622 2 0 0 20 0 19 0 334232480 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028823646568 140028696293037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16011] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028689460264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16012] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028688407464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16013] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028687354664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16008/tid=16014] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028686301864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16015] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028483201576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16016] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028482148776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16017] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028481095976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16018] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028480043176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16019] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232483 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028467846120 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16020] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16008 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028466792184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16021] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028465739272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16022] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028464687760 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16023] ppid=16006 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) S 16006 16008 15746 0 -1 4202560 1901 0 0 0 17 0 0 0 20 0 19 0 334232486 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028463634872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16024] ppid=16006 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) S 16006 16008 15746 0 -1 4202560 2214 0 0 0 8 0 0 0 20 0 19 0 334232486 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028462582072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16025] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028461529464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16026] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) S 16006 16008 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028460476872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16027] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16027/stat : 16027 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232495 3097006080 12972 33554432000 1073741824 1073778376 140736312722864 140028458346152 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
/proc/16008/task/16018/stat : 16018 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028480043176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16019] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232483 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028467846120 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16020] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16008 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028466792184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16021] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028465739272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16022] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028464687760 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16023] ppid=16006 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) S 16006 16008 15746 0 -1 4202560 1903 0 0 0 18 0 0 0 20 0 19 0 334232486 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028463634872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16024] ppid=16006 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) S 16006 16008 15746 0 -1 4202560 2214 0 0 0 8 0 0 0 20 0 19 0 334232486 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028462582072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16025] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028461529464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16026] ppid=16006 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) S 16006 16008 15746 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 334232486 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028460476872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16027] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16027/stat : 16027 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232495 3097006080 38572 33554432000 1073741824 1073778376 140736312722864 140028458346152 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 84.95
Current children cumulated vsize (KiB) 3024420
[startup+86.3008 s]
/proc/loadavg: 1.99 2.00 1.87 3/213 16027
/proc/meminfo: memFree=26656716/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=3024420 CPUtime=86.54 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 8466 0 1 0 8649 5 0 0 20 0 19 0 334232479 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 756105 39084 2258 9 0 746526 0
[pid=16008/tid=16010] ppid=16006 vsize=3024420 CPUtime=86.03 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) R 16006 16008 15746 0 -1 4202560 3150 0 1 0 8599 4 0 0 20 0 19 0 334232480 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028823646632 140028696301860 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16011] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028689460264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16012] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028688407464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16013] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028687354664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16008/tid=16014] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028686301864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16015] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028483201576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16016] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028482148776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16017] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028481095976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16018] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028480043176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16019] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232483 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028467846120 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16020] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16008 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028466792184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16021] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028465739272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16022] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028464687760 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16023] ppid=16006 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) S 16006 16008 15746 0 -1 4202560 1903 0 0 0 18 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028463634872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16024] ppid=16006 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) S 16006 16008 15746 0 -1 4202560 2214 0 0 0 8 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028462582072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16025] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028461529464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16026] ppid=16006 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) S 16006 16008 15746 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028460476872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16027] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16027/stat : 16027 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232495 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028458346152 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 86.54
Current children cumulated vsize (KiB) 3024420
[startup+86.7008 s]
/proc/loadavg: 1.99 2.00 1.87 3/213 16027
/proc/meminfo: memFree=26656716/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=3024420 CPUtime=86.94 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 8466 0 1 0 8689 5 0 0 20 0 19 0 334232479 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 756105 39084 2258 9 0 746526 0
[pid=16008/tid=16010] ppid=16006 vsize=3024420 CPUtime=86.43 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) R 16006 16008 15746 0 -1 4202560 3150 0 1 0 8639 4 0 0 20 0 19 0 334232480 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028823646632 140028696329067 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16011] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028689460264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16012] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028688407464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16013] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028687354664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16008/tid=16014] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028686301864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16015] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028483201576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16016] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028482148776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16017] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028481095976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16018] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028480043176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16019] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232483 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028467846120 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16020] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16008 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028466792184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16021] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028465739272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16022] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028464687760 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16023] ppid=16006 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) S 16006 16008 15746 0 -1 4202560 1903 0 0 0 18 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028463634872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16024] ppid=16006 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) S 16006 16008 15746 0 -1 4202560 2214 0 0 0 8 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028462582072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16025] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028461529464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16026] ppid=16006 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) S 16006 16008 15746 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 334232486 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028460476872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16027] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16027/stat : 16027 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232495 3097006080 39084 33554432000 1073741824 1073778376 140736312722864 140028458346152 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 86.94
Current children cumulated vsize (KiB) 3024420
[startup+87.1008 s]
/proc/loadavg: 1.99 2.00 1.87 3/213 16027
/proc/meminfo: memFree=26656716/32873844 swapFree=7108/7108
[pid=16008] ppid=16006 vsize=3024420 CPUtime=87.34 cores=0,2,4,6
/proc/16008/stat : 16008 (java) S 16006 16008 15746 0 -1 4202496 8467 0 1 0 8729 5 0 0 20 0 19 0 334232479 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140736312714000 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16008/statm: 756105 39596 2258 9 0 746526 0
[pid=16008/tid=16010] ppid=16006 vsize=3024420 CPUtime=86.83 cores=0,2,4,6
/proc/16008/task/16010/stat : 16010 (java) R 16006 16008 15746 0 -1 4202560 3151 0 1 0 8679 4 0 0 20 0 19 0 334232480 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028823646632 140028696301613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16011] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16011/stat : 16011 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028689460264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16012] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16012/stat : 16012 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028688407464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16013] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16013/stat : 16013 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028687354664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16008/tid=16014] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16014/stat : 16014 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028686301864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16015] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16015/stat : 16015 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028483201576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16016] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16016/stat : 16016 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028482148776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16017] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16017/stat : 16017 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028481095976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16018] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16018/stat : 16018 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232482 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028480043176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16019] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16019/stat : 16019 (java) S 16006 16008 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334232483 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028467846120 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16020] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16020/stat : 16020 (java) S 16006 16008 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028466792184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16021] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16021/stat : 16021 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232484 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028465739272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16022] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16022/stat : 16022 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028464687760 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16023] ppid=16006 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/16008/task/16023/stat : 16023 (java) S 16006 16008 15746 0 -1 4202560 1903 0 0 0 18 0 0 0 20 0 19 0 334232486 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028463634872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16008/tid=16024] ppid=16006 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/16008/task/16024/stat : 16024 (java) S 16006 16008 15746 0 -1 4202560 2214 0 0 0 8 0 0 0 20 0 19 0 334232486 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028462582072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16025] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16025/stat : 16025 (java) S 16006 16008 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334232486 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028461529464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16008/tid=16026] ppid=16006 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/16008/task/16026/stat : 16026 (java) S 16006 16008 15746 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 334232486 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028460476872 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16008/tid=16027] ppid=16006 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16008/task/16027/stat : 16027 (java) S 16006 16008 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334232495 3097006080 39596 33554432000 1073741824 1073778376 140736312722864 140028458346152 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 87.34
Current children cumulated vsize (KiB) 3024420
Child status: 10
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16008 and gives
# childrusage.ru_utime.tv_sec=87
# childrusage.ru_utime.tv_usec=127754
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=86986
# CPU time returned by wait4() is 87.2147
# while last known CPU time is 87.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 87.1263
CPU time (s): 87.34
CPU user time (s): 87.29
CPU system time (s): 0.05
CPU usage (%): 100.245
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.1278
system time used= 0.086986
maximum resident set size= 160444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8476
page faults= 1
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2082
involuntary context switches= 124
runsolver used 0.397939 second user time and 0.938857 second system time
The end