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-3742790-1338772384/watcher-3742790-1338772384 -o /tmp/evaluation-result-3742790-1338772384/solver-3742790-1338772384 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742790-1338772384.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: 0.92 1.07 1.45 3/176 6513
/proc/meminfo: memFree=28381144/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/6513/stat : 6513 (java) D 6508 6513 6470 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 343362896 9515008 182 33554432000 1073741824 1073778376 140735553833904 140735553824936 212073266869 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/6513/statm: 2323 182 140 9 0 71 0
[startup+0.0419881 s]
/proc/loadavg: 0.92 1.07 1.45 3/176 6513
/proc/meminfo: memFree=28381144/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 3902 0 1 0 1 1 0 0 20 0 13 0 343362896 2686889984 5111 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 655979 5111 1677 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.100189 s]
/proc/loadavg: 0.92 1.07 1.45 3/176 6513
/proc/meminfo: memFree=28381144/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 4586 0 2 0 6 1 0 0 20 0 18 0 343362896 3028844544 6304 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 739464 6306 2048 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300158 s]
/proc/loadavg: 0.92 1.07 1.45 3/176 6513
/proc/meminfo: memFree=28381144/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=2957856 CPUtime=0.53 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 8316 0 2 0 51 2 0 0 20 0 18 0 343362896 3028844544 10777 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 739464 10777 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856
[startup+0.700251 s]
/proc/loadavg: 0.92 1.07 1.45 3/176 6513
/proc/meminfo: memFree=28381144/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=3024420 CPUtime=1.4 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 11338 0 2 0 137 3 0 0 20 0 19 0 343362896 3097006080 14763 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 756105 14763 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 3024420
[startup+1.50067 s]
/proc/loadavg: 0.92 1.07 1.45 4/214 6551
/proc/meminfo: memFree=28275396/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=3024420 CPUtime=2.25 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 11347 0 2 0 222 3 0 0 20 0 19 0 343362896 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 756105 15793 2272 9 0 746526 0
[pid=6513/tid=6517] ppid=6508 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/6513/task/6517/stat : 6517 (java) R 6508 6513 6470 0 -1 4202560 3042 0 2 0 144 1 0 0 20 0 19 0 343362897 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139652098851400 139651952785359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6518] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6518/stat : 6518 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139652082277288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6520] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6520/stat : 6520 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139652081224744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6521] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6521/stat : 6521 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139652080171688 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6523] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6523/stat : 6523 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139652079119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6525] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6525/stat : 6525 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139652078066088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6527] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6527/stat : 6527 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139652077013544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6529] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6529/stat : 6529 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139652075960488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6531] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6531/stat : 6531 (java) S 6508 6513 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139652074907944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6535] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6535/stat : 6535 (java) S 6508 6513 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343362899 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139651944774504 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6536] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6536/stat : 6536 (java) S 6508 6513 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139651943720824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6538] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6538/stat : 6538 (java) S 6508 6513 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139651942667656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6540] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6540/stat : 6540 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139651941616400 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6542] ppid=6508 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/6513/task/6542/stat : 6542 (java) S 6508 6513 6470 0 -1 4202560 3838 0 0 0 40 0 0 0 20 0 19 0 343362902 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139651940563256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6544] ppid=6508 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/6513/task/6544/stat : 6544 (java) S 6508 6513 6470 0 -1 4202560 3268 0 0 0 35 0 0 0 20 0 19 0 343362902 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139651939510712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6546] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6546/stat : 6546 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139651938457848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6548] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6548/stat : 6548 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139651937405512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6550] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6550/stat : 6550 (java) S 6508 6513 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343362936 3097006080 15793 33554432000 1073741824 1073778376 140735754465568 139650927654440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 3024420
[startup+3.10069 s]
/proc/loadavg: 0.92 1.07 1.45 4/214 6551
/proc/meminfo: memFree=28264660/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=3024420 CPUtime=3.88 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 11351 0 2 0 385 3 0 0 20 0 19 0 343362896 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 756105 17329 2272 9 0 746526 0
[pid=6513/tid=6517] ppid=6508 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/6513/task/6517/stat : 6517 (java) R 6508 6513 6470 0 -1 4202560 3046 0 2 0 304 1 0 0 20 0 19 0 343362897 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139652098851224 139651952844875 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6518] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6518/stat : 6518 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139652082277288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6520] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6520/stat : 6520 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139652081224744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6521] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6521/stat : 6521 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139652080171688 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6523] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6523/stat : 6523 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139652079119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6525] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6525/stat : 6525 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139652078066088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6527] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6527/stat : 6527 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139652077013544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6529] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6529/stat : 6529 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139652075960488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6531] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6531/stat : 6531 (java) S 6508 6513 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139652074907944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6535] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6535/stat : 6535 (java) S 6508 6513 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343362899 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139651944774504 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6536] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6536/stat : 6536 (java) S 6508 6513 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139651943720824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6538] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6538/stat : 6538 (java) S 6508 6513 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139651942667656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6540] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6540/stat : 6540 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139651941616400 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6542] ppid=6508 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/6513/task/6542/stat : 6542 (java) S 6508 6513 6470 0 -1 4202560 3838 0 0 0 42 0 0 0 20 0 19 0 343362902 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139651940563256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6544] ppid=6508 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/6513/task/6544/stat : 6544 (java) S 6508 6513 6470 0 -1 4202560 3268 0 0 0 36 0 0 0 20 0 19 0 343362902 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139651939510712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6546] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6546/stat : 6546 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139651938457848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6548] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6548/stat : 6548 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139651937405512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6550] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6550/stat : 6550 (java) S 6508 6513 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343362936 3097006080 17329 33554432000 1073741824 1073778376 140735754465568 139650927654440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 3024420
[startup+6.30072 s]
/proc/loadavg: 1.01 1.09 1.45 4/214 6551
/proc/meminfo: memFree=28235440/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=3024420 CPUtime=7.08 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 11361 0 2 0 705 3 0 0 20 0 19 0 343362896 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 756105 21410 2273 9 0 746526 0
[pid=6513/tid=6517] ppid=6508 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/6513/task/6517/stat : 6517 (java) R 6508 6513 6470 0 -1 4202560 3055 0 2 0 623 1 0 0 20 0 19 0 343362897 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139652098851280 139651952884776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6518] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6518/stat : 6518 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139652082277288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6520] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6520/stat : 6520 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139652081224744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6521] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6521/stat : 6521 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139652080171688 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6523] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6523/stat : 6523 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139652079119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6525] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6525/stat : 6525 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139652078066088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6527] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6527/stat : 6527 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139652077013544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6529] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6529/stat : 6529 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139652075960488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6531] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6531/stat : 6531 (java) S 6508 6513 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139652074907944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6535] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6535/stat : 6535 (java) S 6508 6513 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343362899 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139651944774504 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6536] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6536/stat : 6536 (java) S 6508 6513 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139651943720824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6538] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6538/stat : 6538 (java) S 6508 6513 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139651942667656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6540] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6540/stat : 6540 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139651941616400 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6542] ppid=6508 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/6513/task/6542/stat : 6542 (java) S 6508 6513 6470 0 -1 4202560 3838 0 0 0 42 0 0 0 20 0 19 0 343362902 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139651940563256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6544] ppid=6508 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/6513/task/6544/stat : 6544 (java) S 6508 6513 6470 0 -1 4202560 3268 0 0 0 36 0 0 0 20 0 19 0 343362902 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139651939510712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6546] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6546/stat : 6546 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139651938457848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6548] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6548/stat : 6548 (java) S 6508 6513 6470 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139651937405512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6550] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6550/stat : 6550 (java) S 6508 6513 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343362936 3097006080 21410 33554432000 1073741824 1073778376 140735754465568 139650927654440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
/proc/6513/task/6531/stat : 6531 (java) S 6508 6513 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139652074907944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6535] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6535/stat : 6535 (java) S 6508 6513 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343362899 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139651944774504 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6536] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6536/stat : 6536 (java) S 6508 6513 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139651943720824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6538] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6538/stat : 6538 (java) S 6508 6513 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139651942667656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6540] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6540/stat : 6540 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139651941616400 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6542] ppid=6508 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/6513/task/6542/stat : 6542 (java) S 6508 6513 6470 0 -1 4202560 3838 0 0 0 43 0 0 0 20 0 19 0 343362902 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139651940563256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6544] ppid=6508 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/6513/task/6544/stat : 6544 (java) S 6508 6513 6470 0 -1 4202560 3268 0 0 0 36 0 0 0 20 0 19 0 343362902 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139651939510712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6546] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6546/stat : 6546 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139651938457848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6548] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6548/stat : 6548 (java) S 6508 6513 6470 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139651937405512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6550] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6550/stat : 6550 (java) S 6508 6513 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343362936 3097006080 44951 33554432000 1073741824 1073778376 140735754465568 139650927654440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 35.89
Current children cumulated vsize (KiB) 3024420
[startup+35.9008 s]
/proc/loadavg: 1.33 1.16 1.46 3/214 6670
/proc/meminfo: memFree=27778280/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=3024420 CPUtime=36.69 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 11410 0 2 0 3664 5 0 0 20 0 19 0 343362896 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 756105 45463 2273 9 0 746526 0
[pid=6513/tid=6517] ppid=6508 vsize=3024420 CPUtime=35.76 cores=0,2,4,6
/proc/6513/task/6517/stat : 6517 (java) R 6508 6513 6470 0 -1 4202560 3102 0 2 0 3573 3 0 0 20 0 19 0 343362897 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139652098851160 139651952969616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6518] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6518/stat : 6518 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139652082277288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6520] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6520/stat : 6520 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139652081224744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6521] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6521/stat : 6521 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139652080171688 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6523] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6523/stat : 6523 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139652079119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6525] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6525/stat : 6525 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139652078066088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6527] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6527/stat : 6527 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139652077013544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6529] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6529/stat : 6529 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139652075960488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6531] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6531/stat : 6531 (java) S 6508 6513 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139652074907944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6535] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6535/stat : 6535 (java) S 6508 6513 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343362899 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139651944774504 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6536] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6536/stat : 6536 (java) S 6508 6513 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139651943720824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6538] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6538/stat : 6538 (java) S 6508 6513 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139651942667656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6540] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6540/stat : 6540 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139651941616400 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6542] ppid=6508 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/6513/task/6542/stat : 6542 (java) S 6508 6513 6470 0 -1 4202560 3838 0 0 0 43 0 0 0 20 0 19 0 343362902 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139651940563256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6544] ppid=6508 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/6513/task/6544/stat : 6544 (java) S 6508 6513 6470 0 -1 4202560 3268 0 0 0 36 0 0 0 20 0 19 0 343362902 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139651939510712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6546] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6546/stat : 6546 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139651938457848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6548] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6548/stat : 6548 (java) S 6508 6513 6470 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139651937405512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6550] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6550/stat : 6550 (java) S 6508 6513 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343362936 3097006080 45463 33554432000 1073741824 1073778376 140735754465568 139650927654440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 3024420
[startup+36.7008 s]
/proc/loadavg: 1.33 1.16 1.46 3/214 6670
/proc/meminfo: memFree=27745396/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=3024420 CPUtime=37.49 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 11411 0 2 0 3743 6 0 0 20 0 19 0 343362896 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 756105 45975 2273 9 0 746526 0
[pid=6513/tid=6517] ppid=6508 vsize=3024420 CPUtime=36.56 cores=0,2,4,6
/proc/6513/task/6517/stat : 6517 (java) R 6508 6513 6470 0 -1 4202560 3103 0 2 0 3653 3 0 0 20 0 19 0 343362897 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139652098851160 139651952785940 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6518] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6518/stat : 6518 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139652082277288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6520] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6520/stat : 6520 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139652081224744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6521] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6521/stat : 6521 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139652080171688 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6523] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6523/stat : 6523 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139652079119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6525] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6525/stat : 6525 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139652078066088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6527] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6527/stat : 6527 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139652077013544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6529] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6529/stat : 6529 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139652075960488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6531] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6531/stat : 6531 (java) S 6508 6513 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139652074907944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6535] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6535/stat : 6535 (java) S 6508 6513 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343362899 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139651944774504 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6536] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6536/stat : 6536 (java) S 6508 6513 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139651943720824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6538] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6538/stat : 6538 (java) S 6508 6513 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139651942667656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6540] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6540/stat : 6540 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139651941616400 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6542] ppid=6508 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/6513/task/6542/stat : 6542 (java) S 6508 6513 6470 0 -1 4202560 3838 0 0 0 43 0 0 0 20 0 19 0 343362902 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139651940563256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6544] ppid=6508 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/6513/task/6544/stat : 6544 (java) S 6508 6513 6470 0 -1 4202560 3268 0 0 0 36 0 0 0 20 0 19 0 343362902 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139651939510712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6546] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6546/stat : 6546 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139651938457848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6548] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6548/stat : 6548 (java) S 6508 6513 6470 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139651937405512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6550] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6550/stat : 6550 (java) S 6508 6513 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343362936 3097006080 45975 33554432000 1073741824 1073778376 140735754465568 139650927654440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 37.49
Current children cumulated vsize (KiB) 3024420
[startup+37.1008 s]
/proc/loadavg: 1.33 1.16 1.46 3/214 6670
/proc/meminfo: memFree=27745396/32873648 swapFree=7388/7388
[pid=6513] ppid=6508 vsize=3024420 CPUtime=37.89 cores=0,2,4,6
/proc/6513/stat : 6513 (java) S 6508 6513 6470 0 -1 4202496 11412 0 2 0 3783 6 0 0 20 0 19 0 343362896 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 140735754456704 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6513/statm: 756105 46487 2273 9 0 746526 0
[pid=6513/tid=6517] ppid=6508 vsize=3024420 CPUtime=36.96 cores=0,2,4,6
/proc/6513/task/6517/stat : 6517 (java) R 6508 6513 6470 0 -1 4202560 3104 0 2 0 3693 3 0 0 20 0 19 0 343362897 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139652098851160 139651952785414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6518] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6518/stat : 6518 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139652082277288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6520] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6520/stat : 6520 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139652081224744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6521] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6521/stat : 6521 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139652080171688 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6523] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6523/stat : 6523 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139652079119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6525] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6525/stat : 6525 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139652078066088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6527] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6527/stat : 6527 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139652077013544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6529] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6529/stat : 6529 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139652075960488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6513/tid=6531] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6531/stat : 6531 (java) S 6508 6513 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343362898 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139652074907944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6535] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6535/stat : 6535 (java) S 6508 6513 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343362899 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139651944774504 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6536] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6536/stat : 6536 (java) S 6508 6513 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139651943720824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6538] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6538/stat : 6538 (java) S 6508 6513 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343362900 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139651942667656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6540] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6540/stat : 6540 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139651941616400 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6542] ppid=6508 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/6513/task/6542/stat : 6542 (java) S 6508 6513 6470 0 -1 4202560 3838 0 0 0 43 0 0 0 20 0 19 0 343362902 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139651940563256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6513/tid=6544] ppid=6508 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/6513/task/6544/stat : 6544 (java) S 6508 6513 6470 0 -1 4202560 3268 0 0 0 36 0 0 0 20 0 19 0 343362902 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139651939510712 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6546] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6546/stat : 6546 (java) S 6508 6513 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139651938457848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6513/tid=6548] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6548/stat : 6548 (java) S 6508 6513 6470 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 343362902 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139651937405512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6513/tid=6550] ppid=6508 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6513/task/6550/stat : 6550 (java) S 6508 6513 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343362936 3097006080 46487 33554432000 1073741824 1073778376 140735754465568 139650927654440 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 37.89
Current children cumulated vsize (KiB) 3024420
Child status: 10
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6513 and gives
# childrusage.ru_utime.tv_sec=37
# childrusage.ru_utime.tv_usec=798253
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=81987
# CPU time returned by wait4() is 37.8802
# while last known CPU time is 37.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 37.1483
CPU time (s): 37.89
CPU user time (s): 37.83
CPU system time (s): 0.06
CPU usage (%): 101.997
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7983
system time used= 0.081987
maximum resident set size= 188044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11433
page faults= 2
swaps= 0
block input operations= 272
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1083
involuntary context switches= 79
runsolver used 0.185971 second user time and 0.370943 second system time
The end