runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313440-1304100324/watcher-3313440-1304100324 -o /tmp/evaluation-result-3313440-1304100324/solver-3313440-1304100324 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313440-1304100324.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 5.05 5.25 6.18 5/198 4214
/proc/meminfo: memFree=15472972/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/4214/stat : 4214 (java) R 4212 4214 3825 0 -1 4202496 953 0 0 0 0 0 0 0 21 0 1 0 254224187 23580672 440 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268655699733 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4214/statm: 5757 450 346 9 0 124 0
[startup+0.0623221 s]
/proc/loadavg: 5.05 5.25 6.18 5/198 4214
/proc/meminfo: memFree=15472972/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 4233 0 1 0 4 0 0 0 21 0 18 0 254224187 15984414720 3672 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3902445 3673 1768 9 0 3893164 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609780
[startup+0.100338 s]
/proc/loadavg: 5.05 5.25 6.18 5/198 4214
/proc/meminfo: memFree=15472972/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15676716 CPUtime=0.1 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 5583 0 1 0 9 1 0 0 21 0 18 0 254224187 16052957184 4980 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3919179 4980 2116 9 0 3909898 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676716
[startup+0.30028 s]
/proc/loadavg: 5.05 5.25 6.18 5/198 4214
/proc/meminfo: memFree=15472972/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15682500 CPUtime=0.51 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 15651 0 1 0 49 2 0 0 21 0 18 0 254224187 16058880000 13797 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3920625 13804 2206 9 0 3911344 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682500
[startup+0.700212 s]
/proc/loadavg: 5.05 5.25 6.18 5/198 4214
/proc/meminfo: memFree=15472972/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15682500 CPUtime=0.92 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 42970 0 1 0 86 6 0 0 21 0 18 0 254224187 16058880000 41114 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3920625 41114 2222 9 0 3911344 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15682500
[startup+1.50107 s]
/proc/loadavg: 5.04 5.24 6.17 7/216 4232
/proc/meminfo: memFree=15307980/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15682500 CPUtime=1.75 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 76863 0 1 0 164 11 0 0 21 0 18 0 254224187 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3920625 75004 2222 9 0 3911344 0
[pid=4214/tid=4216] ppid=4212 vsize=15682500 CPUtime=1.46 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4212 4214 3825 0 -1 4202560 65306 0 1 0 138 8 0 0 19 0 18 0 254224188 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 46912505561017 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4214/tid=4217] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4212 4214 3825 0 -1 4202560 535 0 0 0 0 0 0 0 15 0 18 0 254224189 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4218] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4212 4214 3825 0 -1 4202560 1654 0 0 0 0 0 0 0 16 0 18 0 254224189 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4219] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4212 4214 3825 0 -1 4202560 1507 0 0 0 0 0 0 0 15 0 18 0 254224189 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4220] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4212 4214 3825 0 -1 4202560 1332 0 0 0 0 0 0 0 16 0 18 0 254224189 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4221] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4212 4214 3825 0 -1 4202560 505 0 0 0 0 0 0 0 16 0 18 0 254224189 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4222] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4212 4214 3825 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 254224189 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4223] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4212 4214 3825 0 -1 4202560 513 0 0 0 0 0 0 0 15 0 18 0 254224189 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4224] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4212 4214 3825 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 254224189 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4225] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) S 4212 4214 3825 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 18 0 254224190 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4226] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4212 4214 3825 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 254224190 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4227] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4212 4214 3825 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 254224190 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4228] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 254224192 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4229] ppid=4212 vsize=15682500 CPUtime=0.12 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4212 4214 3825 0 -1 4202560 1223 0 0 0 12 0 0 0 25 0 18 0 254224192 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4230] ppid=4212 vsize=15682500 CPUtime=0.1 cores=1,3,5,7
/proc/4214/task/4230/stat : 4230 (java) S 4212 4214 3825 0 -1 4202560 2705 0 0 0 10 0 0 0 15 0 18 0 254224192 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4231/stat : 4231 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 254224192 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4232] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4232/stat : 4232 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 254224192 16058880000 75004 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15682500
[startup+3.10079 s]
/proc/loadavg: 5.04 5.24 6.17 9/216 4232
/proc/meminfo: memFree=15040760/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15682500 CPUtime=3.43 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 146616 0 1 0 324 19 0 0 21 0 18 0 254224187 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3920625 144730 2240 9 0 3911344 0
[pid=4214/tid=4216] ppid=4212 vsize=15682500 CPUtime=3.04 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4212 4214 3825 0 -1 4202560 125928 0 1 0 288 16 0 0 23 0 18 0 254224188 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 46912505526370 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4214/tid=4217] ppid=4212 vsize=15682500 CPUtime=0.01 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4212 4214 3825 0 -1 4202560 570 0 0 0 1 0 0 0 16 0 18 0 254224189 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4218] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4212 4214 3825 0 -1 4202560 1654 0 0 0 0 0 0 0 15 0 18 0 254224189 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4219] ppid=4212 vsize=15682500 CPUtime=0.01 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4212 4214 3825 0 -1 4202560 1569 0 0 0 1 0 0 0 15 0 18 0 254224189 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4220] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4212 4214 3825 0 -1 4202560 1837 0 0 0 0 0 0 0 16 0 18 0 254224189 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4221] ppid=4212 vsize=15682500 CPUtime=0.01 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4212 4214 3825 0 -1 4202560 8684 0 0 0 1 0 0 0 16 0 18 0 254224189 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4222] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4212 4214 3825 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 254224189 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4223] ppid=4212 vsize=15682500 CPUtime=0.01 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4212 4214 3825 0 -1 4202560 513 0 0 0 1 0 0 0 15 0 18 0 254224189 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4224] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4212 4214 3825 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 254224189 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4225] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) S 4212 4214 3825 0 -1 4202560 436 0 0 0 0 0 0 0 15 0 18 0 254224190 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4226] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4212 4214 3825 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 254224190 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4227] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4212 4214 3825 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 254224190 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4228] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 254224192 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4229] ppid=4212 vsize=15682500 CPUtime=0.14 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4212 4214 3825 0 -1 4202560 1256 0 0 0 14 0 0 0 15 0 18 0 254224192 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4230] ppid=4212 vsize=15682500 CPUtime=0.13 cores=1,3,5,7
/proc/4214/task/4230/stat : 4230 (java) S 4212 4214 3825 0 -1 4202560 2770 0 0 0 13 0 0 0 15 0 18 0 254224192 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4231/stat : 4231 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 254224192 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4232] ppid=4212 vsize=15682500 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4232/stat : 4232 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 254224192 16058880000 144730 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 15682500
[startup+6.30123 s]
/proc/loadavg: 5.04 5.24 6.16 6/216 4233
/proc/meminfo: memFree=14347232/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15681264 CPUtime=6.69 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 285143 0 1 0 632 37 0 0 21 0 18 0 254224187 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3920316 283095 2240 9 0 3911035 0
[pid=4214/tid=4216] ppid=4212 vsize=15681264 CPUtime=6.23 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) R 4212 4214 3825 0 -1 4202560 253942 0 1 0 590 33 0 0 25 0 18 0 254224188 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672488907 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4214/tid=4217] ppid=4212 vsize=15681264 CPUtime=0.02 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4212 4214 3825 0 -1 4202560 570 0 0 0 2 0 0 0 15 0 18 0 254224189 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4218] ppid=4212 vsize=15681264 CPUtime=0.02 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4212 4214 3825 0 -1 4202560 11894 0 0 0 1 1 0 0 16 0 18 0 254224189 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4219] ppid=4212 vsize=15681264 CPUtime=0.02 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4212 4214 3825 0 -1 4202560 1569 0 0 0 2 0 0 0 15 0 18 0 254224189 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4220] ppid=4212 vsize=15681264 CPUtime=0.01 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4212 4214 3825 0 -1 4202560 1837 0 0 0 1 0 0 0 15 0 18 0 254224189 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4221] ppid=4212 vsize=15681264 CPUtime=0.02 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4212 4214 3825 0 -1 4202560 8685 0 0 0 2 0 0 0 15 0 18 0 254224189 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4222] ppid=4212 vsize=15681264 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4212 4214 3825 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 254224189 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4223] ppid=4212 vsize=15681264 CPUtime=0.01 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4212 4214 3825 0 -1 4202560 514 0 0 0 1 0 0 0 15 0 18 0 254224189 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4224] ppid=4212 vsize=15681264 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4212 4214 3825 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 254224189 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4225] ppid=4212 vsize=15681264 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) S 4212 4214 3825 0 -1 4202560 706 0 0 0 0 0 0 0 15 0 18 0 254224190 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478720 0 0 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4226] ppid=4212 vsize=15681264 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4212 4214 3825 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 254224190 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4227] ppid=4212 vsize=15681264 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4212 4214 3825 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 254224190 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4228] ppid=4212 vsize=15681264 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 254224192 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4229] ppid=4212 vsize=15681264 CPUtime=0.14 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4212 4214 3825 0 -1 4202560 1256 0 0 0 14 0 0 0 15 0 18 0 254224192 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4230] ppid=4212 vsize=15681264 CPUtime=0.13 cores=1,3,5,7
/proc/4214/task/4230/stat : 4230 (java) S 4212 4214 3825 0 -1 4202560 2770 0 0 0 13 0 0 0 15 0 18 0 254224192 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=15681264 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4231/stat : 4231 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 254224192 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4232] ppid=4212 vsize=15681264 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4232/stat : 4232 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 254224192 16057614336 283095 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 15681264
[startup+12.7011 s]
/proc/loadavg: 5.04 5.23 6.16 7/216 4233
/proc/meminfo: memFree=14274616/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15681264 CPUtime=13.19 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 305923 0 1 0 1277 42 0 0 21 0 18 0 254224187 16057614336 301229 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3920316 301229 2240 9 0 3911035 0
[pid=4214/tid=4216] ppid=4212 vsize=15681264 CPUtime=12.58 cores=1,3,5,7
################
# More data... #
################
/proc/4214/statm: 3937573 3837151 2296 9 0 3928292 0
[pid=4214/tid=4216] ppid=4212 vsize=15750292 CPUtime=81.67 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) S 4212 4214 3825 0 -1 4202560 435998 0 1 0 8104 63 0 0 18 0 20 0 254224188 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4217] ppid=4212 vsize=15750292 CPUtime=9.66 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4212 4214 3825 0 -1 4202560 379879 0 0 0 896 70 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4218] ppid=4212 vsize=15750292 CPUtime=9.8 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4212 4214 3825 0 -1 4202560 365130 0 0 0 921 59 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4219] ppid=4212 vsize=15750292 CPUtime=9.28 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4212 4214 3825 0 -1 4202560 437074 0 0 0 860 68 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4220] ppid=4212 vsize=15750292 CPUtime=8.7 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4212 4214 3825 0 -1 4202560 493074 0 0 0 793 77 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4221] ppid=4212 vsize=15750292 CPUtime=9.44 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4212 4214 3825 0 -1 4202560 500568 0 0 0 867 77 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4222] ppid=4212 vsize=15750292 CPUtime=8.84 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4212 4214 3825 0 -1 4202560 468394 0 0 0 809 75 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4223] ppid=4212 vsize=15750292 CPUtime=8 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4212 4214 3825 0 -1 4202560 277574 0 0 0 752 48 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4224] ppid=4212 vsize=15750292 CPUtime=8.61 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4212 4214 3825 0 -1 4202560 305601 0 0 0 809 52 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4225] ppid=4212 vsize=15750292 CPUtime=637.42 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) R 4212 4214 3825 0 -1 4202560 271331 0 0 0 63704 38 0 0 18 0 20 0 254224190 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 47698588193064 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=4214/tid=4226] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4212 4214 3825 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 20 0 254224190 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4227] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4212 4214 3825 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 254224190 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4228] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4229] ppid=4212 vsize=15750292 CPUtime=2.22 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4212 4214 3825 0 -1 4202560 20225 0 0 0 220 2 0 0 15 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4230] ppid=4212 vsize=15750292 CPUtime=0.77 cores=1,3,5,7
/proc/4214/task/4230/stat : 4230 (java) S 4212 4214 3825 0 -1 4202560 2962 0 0 0 77 0 0 0 15 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4231/stat : 4231 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4232] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4232/stat : 4232 (java) S 4212 4214 3825 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4236] ppid=4212 vsize=15750292 CPUtime=441.35 cores=1,3,5,7
/proc/4214/task/4236/stat : 4236 (java) S 4212 4214 3825 0 -1 4202560 928 0 0 0 44133 2 0 0 15 0 20 0 254226651 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4237] ppid=4212 vsize=15750292 CPUtime=404.94 cores=1,3,5,7
/proc/4214/task/4237/stat : 4237 (java) S 4212 4214 3825 0 -1 4202560 1143 0 0 0 40492 2 0 0 15 0 20 0 254226651 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2355.8
Current children cumulated vsize (KiB) 15750292
[startup+1242.3 s]
/proc/loadavg: 5.06 5.14 5.50 6/218 4320
/proc/meminfo: memFree=7270428/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15750292 CPUtime=2415.82 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 3961594 0 1 0 240940 642 0 0 21 0 20 0 254224187 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3937573 3837151 2296 9 0 3928292 0
[pid=4214/tid=4216] ppid=4212 vsize=15750292 CPUtime=81.67 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) S 4212 4214 3825 0 -1 4202560 435998 0 1 0 8104 63 0 0 18 0 20 0 254224188 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4217] ppid=4212 vsize=15750292 CPUtime=9.66 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4212 4214 3825 0 -1 4202560 379879 0 0 0 896 70 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4218] ppid=4212 vsize=15750292 CPUtime=9.8 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4212 4214 3825 0 -1 4202560 365130 0 0 0 921 59 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4219] ppid=4212 vsize=15750292 CPUtime=9.28 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4212 4214 3825 0 -1 4202560 437074 0 0 0 860 68 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4220] ppid=4212 vsize=15750292 CPUtime=8.7 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4212 4214 3825 0 -1 4202560 493074 0 0 0 793 77 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4221] ppid=4212 vsize=15750292 CPUtime=9.44 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4212 4214 3825 0 -1 4202560 500568 0 0 0 867 77 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4222] ppid=4212 vsize=15750292 CPUtime=8.84 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4212 4214 3825 0 -1 4202560 468394 0 0 0 809 75 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4223] ppid=4212 vsize=15750292 CPUtime=8 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4212 4214 3825 0 -1 4202560 277574 0 0 0 752 48 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4224] ppid=4212 vsize=15750292 CPUtime=8.61 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4212 4214 3825 0 -1 4202560 305601 0 0 0 809 52 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4225] ppid=4212 vsize=15750292 CPUtime=697.42 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) R 4212 4214 3825 0 -1 4202560 271335 0 0 0 69703 39 0 0 19 0 20 0 254224190 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 47698588193238 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=4214/tid=4226] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4212 4214 3825 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 20 0 254224190 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4227] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4212 4214 3825 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 254224190 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4228] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4229] ppid=4212 vsize=15750292 CPUtime=2.22 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4212 4214 3825 0 -1 4202560 20225 0 0 0 220 2 0 0 15 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4230] ppid=4212 vsize=15750292 CPUtime=0.77 cores=1,3,5,7
/proc/4214/task/4230/stat : 4230 (java) S 4212 4214 3825 0 -1 4202560 2962 0 0 0 77 0 0 0 15 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4231/stat : 4231 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4232] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4232/stat : 4232 (java) S 4212 4214 3825 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4236] ppid=4212 vsize=15750292 CPUtime=441.36 cores=1,3,5,7
/proc/4214/task/4236/stat : 4236 (java) S 4212 4214 3825 0 -1 4202560 1020 0 0 0 44134 2 0 0 15 0 20 0 254226651 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4237] ppid=4212 vsize=15750292 CPUtime=404.95 cores=1,3,5,7
/proc/4214/task/4237/stat : 4237 (java) S 4212 4214 3825 0 -1 4202560 1183 0 0 0 40493 2 0 0 15 0 20 0 254226651 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2415.82
Current children cumulated vsize (KiB) 15750292
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.02 5.11 5.47 6/218 4322
/proc/meminfo: memFree=7268668/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=15750292 CPUtime=2473.53 cores=1,3,5,7
/proc/4214/stat : 4214 (java) S 4212 4214 3825 0 -1 4202496 3961728 0 1 0 246711 642 0 0 21 0 20 0 254224187 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 3937573 3837151 2296 9 0 3928292 0
[pid=4214/tid=4216] ppid=4212 vsize=15750292 CPUtime=81.67 cores=1,3,5,7
/proc/4214/task/4216/stat : 4216 (java) S 4212 4214 3825 0 -1 4202560 435998 0 1 0 8104 63 0 0 18 0 20 0 254224188 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4217] ppid=4212 vsize=15750292 CPUtime=9.66 cores=1,3,5,7
/proc/4214/task/4217/stat : 4217 (java) S 4212 4214 3825 0 -1 4202560 379879 0 0 0 896 70 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4218] ppid=4212 vsize=15750292 CPUtime=9.8 cores=1,3,5,7
/proc/4214/task/4218/stat : 4218 (java) S 4212 4214 3825 0 -1 4202560 365130 0 0 0 921 59 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4219] ppid=4212 vsize=15750292 CPUtime=9.28 cores=1,3,5,7
/proc/4214/task/4219/stat : 4219 (java) S 4212 4214 3825 0 -1 4202560 437074 0 0 0 860 68 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4220] ppid=4212 vsize=15750292 CPUtime=8.7 cores=1,3,5,7
/proc/4214/task/4220/stat : 4220 (java) S 4212 4214 3825 0 -1 4202560 493074 0 0 0 793 77 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4221] ppid=4212 vsize=15750292 CPUtime=9.44 cores=1,3,5,7
/proc/4214/task/4221/stat : 4221 (java) S 4212 4214 3825 0 -1 4202560 500568 0 0 0 867 77 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4222] ppid=4212 vsize=15750292 CPUtime=8.84 cores=1,3,5,7
/proc/4214/task/4222/stat : 4222 (java) S 4212 4214 3825 0 -1 4202560 468394 0 0 0 809 75 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4223] ppid=4212 vsize=15750292 CPUtime=8 cores=1,3,5,7
/proc/4214/task/4223/stat : 4223 (java) S 4212 4214 3825 0 -1 4202560 277574 0 0 0 752 48 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4224] ppid=4212 vsize=15750292 CPUtime=8.61 cores=1,3,5,7
/proc/4214/task/4224/stat : 4224 (java) S 4212 4214 3825 0 -1 4202560 305601 0 0 0 809 52 0 0 16 0 20 0 254224189 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4225] ppid=4212 vsize=15750292 CPUtime=755.11 cores=1,3,5,7
/proc/4214/task/4225/stat : 4225 (java) R 4212 4214 3825 0 -1 4202560 271337 0 0 0 75472 39 0 0 21 0 20 0 254224190 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 47698590911764 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=4214/tid=4226] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4226/stat : 4226 (java) S 4212 4214 3825 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 20 0 254224190 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4227] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4227/stat : 4227 (java) S 4212 4214 3825 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 254224190 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4228] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4228/stat : 4228 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672485809 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4229] ppid=4212 vsize=15750292 CPUtime=2.22 cores=1,3,5,7
/proc/4214/task/4229/stat : 4229 (java) S 4212 4214 3825 0 -1 4202560 20225 0 0 0 220 2 0 0 15 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4230] ppid=4212 vsize=15750292 CPUtime=0.77 cores=1,3,5,7
/proc/4214/task/4230/stat : 4230 (java) S 4212 4214 3825 0 -1 4202560 2962 0 0 0 77 0 0 0 15 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 7 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4231/stat : 4231 (java) S 4212 4214 3825 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
[pid=4214/tid=4232] ppid=4212 vsize=15750292 CPUtime=0 cores=1,3,5,7
/proc/4214/task/4232/stat : 4232 (java) S 4212 4214 3825 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 20 0 254224192 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478720 0 4 0 16800975 18446604471138731200 0 0 -1 3 0 0 0
[pid=4214/tid=4236] ppid=4212 vsize=15750292 CPUtime=441.37 cores=1,3,5,7
/proc/4214/task/4236/stat : 4236 (java) S 4212 4214 3825 0 -1 4202560 1119 0 0 0 44135 2 0 0 15 0 20 0 254226651 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 5 0 0 0
[pid=4214/tid=4237] ppid=4212 vsize=15750292 CPUtime=404.96 cores=1,3,5,7
/proc/4214/task/4237/stat : 4237 (java) S 4212 4214 3825 0 -1 4202560 1214 0 0 0 40494 2 0 0 15 0 20 0 254226651 16128299008 3837151 33554432000 1073741824 1073778376 140733270283904 18446744073709551615 268672478105 0 4 0 16800975 18446604471138731200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2473.53
Current children cumulated vsize (KiB) 15750292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4214
[startup+1302.3 s]
/proc/loadavg: 5.02 5.11 5.47 6/219 4323
/proc/meminfo: memFree=7268656/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=0 CPUtime=2475.82 cores=1,3,5,7
/proc/4214/stat : 4214 (java) Z 4212 4214 3825 0 -1 4203548 3961743 0 1 0 246912 670 0 0 18 0 2 0 254224187 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 0 0 0 0 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/4214/task/4231/stat : 4231 (java) R 4212 4214 3825 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 254224192 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2475.82
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.5 s]
/proc/loadavg: 5.02 5.11 5.47 6/219 4323
/proc/meminfo: memFree=7268656/32951124 swapFree=67111524/67111528
[pid=4214] ppid=4212 vsize=0 CPUtime=2476.02 cores=1,3,5,7
/proc/4214/stat : 4214 (java) Z 4212 4214 3825 0 -1 4203548 3961743 0 1 0 246912 690 0 0 18 0 2 0 254224187 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4214/statm: 0 0 0 0 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/4214/task/4231/stat : 4231 (java) R 4212 4214 3825 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 254224192 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2476.02
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.54
CPU time (s): 2476.07
CPU user time (s): 2469.13
CPU system time (s): 6.94494
CPU usage (%): 190.096
Max. virtual memory (cumulated for all children) (KiB): 15750292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2469.13
system time used= 6.94494
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3961743
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56275
involuntary context switches= 60585
runsolver used 2.11368 second user time and 5.02923 second system time
The end