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-3709737-1338128046/watcher-3709737-1338128046 -o /tmp/evaluation-result-3709737-1338128046/solver-3709737-1338128046 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709737-1338128046.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.00 2.00 3/194 21803
/proc/meminfo: memFree=30073248/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (java) D 21801 21803 19004 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 278929576 9515008 182 33554432000 1073741824 1073778376 140734831620272 140734831611304 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21803/statm: 2323 182 140 9 0 71 0
[startup+0.059298 s]
/proc/loadavg: 2.02 2.00 2.00 3/194 21803
/proc/meminfo: memFree=30073248/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 3084 0 1 0 3 0 0 0 20 0 13 0 278929576 9446973440 3780 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2306390 3780 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.102433 s]
/proc/loadavg: 2.02 2.00 2.00 3/194 21803
/proc/meminfo: memFree=30073248/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 3904 0 1 0 7 1 0 0 20 0 18 0 278929576 9787842560 5110 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2389610 5116 2065 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.30019 s]
/proc/loadavg: 2.02 2.00 2.00 3/194 21803
/proc/meminfo: memFree=30073248/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9558440 CPUtime=0.48 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 7505 0 1 0 46 2 0 0 20 0 18 0 278929576 9787842560 9538 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2389610 9538 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440
[startup+0.700299 s]
/proc/loadavg: 2.02 2.00 2.00 3/194 21803
/proc/meminfo: memFree=30073248/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 9386 0 1 0 123 3 0 0 20 0 19 0 278929576 9856004096 16699 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2406251 16699 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9625004
[startup+1.50081 s]
/proc/loadavg: 2.02 2.00 2.00 3/213 21822
/proc/meminfo: memFree=30008196/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9625004 CPUtime=2.07 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 9394 0 1 0 204 3 0 0 20 0 19 0 278929576 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2406251 19772 2256 9 0 2396937 0
[pid=21803/tid=21805] ppid=21801 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) R 21801 21803 19004 0 -1 4202560 2551 0 1 0 144 2 0 0 20 0 19 0 278929577 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442954070584 140442958830358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442798074536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442797021992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442795969448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442794916904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442793863336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442792810792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442791758248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442790705704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278929579 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442778294888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 19004 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442777241208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442776188552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442775137296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 19004 0 -1 4202560 2649 0 0 0 27 0 0 0 20 0 19 0 278929583 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442774083640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 19004 0 -1 4202560 2997 0 0 0 28 2 0 0 20 0 19 0 278929583 9856004096 19772 33554432000 1073741824 1073778376 140735347792224 140442773031096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 20284 33554432000 1073741824 1073778376 140735347792224 140442771978744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 20284 33554432000 1073741824 1073778376 140735347792224 140442770926408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21801 21803 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278929616 9856004096 20284 33554432000 1073741824 1073778376 140735347792224 140442769872168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625004
[startup+3.10081 s]
/proc/loadavg: 2.02 2.00 2.00 3/213 21822
/proc/meminfo: memFree=29993604/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9625004 CPUtime=3.78 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 9712 0 1 0 371 7 0 0 20 0 19 0 278929576 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2406251 33132 2287 9 0 2396937 0
[pid=21803/tid=21805] ppid=21801 vsize=9625004 CPUtime=3.02 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) R 21801 21803 19004 0 -1 4202560 2563 0 1 0 300 2 0 0 20 0 19 0 278929577 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442954072456 140442826418086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442798074536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442797021992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442795969448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442794916904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442793863336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442792810792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442791758248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442790705704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 19004 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 278929579 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442778294888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442777241208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442776188552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442775137296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 19004 0 -1 4202560 2653 0 0 0 29 0 0 0 20 0 19 0 278929583 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442774083640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 19004 0 -1 4202560 3221 0 0 0 33 2 0 0 20 0 19 0 278929583 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442773031096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442771978744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442770926408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21801 21803 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278929616 9856004096 33132 33554432000 1073741824 1073778376 140735347792224 140442769872168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9625004
[startup+6.3008 s]
/proc/loadavg: 2.02 2.00 2.00 3/213 21822
/proc/meminfo: memFree=29949168/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9625004 CPUtime=7.05 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 10207 0 1 0 696 9 0 0 20 0 19 0 278929576 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2406251 42419 2287 9 0 2396937 0
[pid=21803/tid=21805] ppid=21801 vsize=9625004 CPUtime=6.17 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) R 21801 21803 19004 0 -1 4202560 2566 0 1 0 615 2 0 0 20 0 19 0 278929577 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442954072368 140442826418094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 19004 0 -1 4202560 167 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442798074536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 19004 0 -1 4202560 168 0 0 0 1 0 0 0 20 0 19 0 278929578 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442797021992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 19004 0 -1 4202560 160 0 0 0 1 0 0 0 20 0 19 0 278929578 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442795969448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 19004 0 -1 4202560 22 0 0 0 0 1 0 0 20 0 19 0 278929578 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442794916904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442793863336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442792810792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442791758248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278929578 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442790705704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 19004 0 -1 4202560 41 0 0 0 2 0 0 0 20 0 19 0 278929579 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442778294888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442777241208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442776188552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442775137296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 19004 0 -1 4202560 2653 0 0 0 31 0 0 0 20 0 19 0 278929583 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442774083640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 19004 0 -1 4202560 3221 0 0 0 34 2 0 0 20 0 19 0 278929583 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442773031096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442771978744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442770926408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21801 21803 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278929616 9856004096 42419 33554432000 1073741824 1073778376 140735347792224 140442769872168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9625004
[startup+12.7008 s]
################
# More data... #
################
[pid=21803/tid=21818] ppid=21801 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 19004 0 -1 4202560 2653 0 0 0 31 0 0 0 20 0 19 0 278929583 9856004096 204383 33554432000 1073741824 1073778376 140735347792224 140442774083640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 19004 0 -1 4202560 3334 0 0 0 38 2 0 0 20 0 19 0 278929583 9856004096 204383 33554432000 1073741824 1073778376 140735347792224 140442773031096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 204383 33554432000 1073741824 1073778376 140735347792224 140442771978744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 19004 0 -1 4202560 93 0 0 0 51 36 0 0 20 0 19 0 278929583 9856004096 204383 33554432000 1073741824 1073778376 140735347792224 140442770926408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21801 21803 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278929616 9856004096 204383 33554432000 1073741824 1073778376 140735347792224 140442769872168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1624.88
Current children cumulated vsize (KiB) 9625004
[startup+1662.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/213 21897
/proc/meminfo: memFree=29356660/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9625004 CPUtime=1685.6 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 20712 0 1 0 168355 205 0 0 20 0 19 0 278929576 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2406251 201794 2287 9 0 2396937 0
[pid=21803/tid=21805] ppid=21801 vsize=9625004 CPUtime=1644.77 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) R 21801 21803 19004 0 -1 4202560 2898 0 1 0 164448 29 0 0 20 0 19 0 278929577 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442954071424 140442826481420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=9625004 CPUtime=3.85 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 19004 0 -1 4202560 1417 0 0 0 367 18 0 0 20 0 19 0 278929578 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442798074536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=9625004 CPUtime=3.69 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 19004 0 -1 4202560 1296 0 0 0 348 21 0 0 20 0 19 0 278929578 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442797021992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=9625004 CPUtime=3.73 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 19004 0 -1 4202560 1037 0 0 0 354 19 0 0 20 0 19 0 278929578 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442795969448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=9625004 CPUtime=3.81 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 19004 0 -1 4202560 854 0 0 0 365 16 0 0 20 0 19 0 278929578 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442794916904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=9625004 CPUtime=3.76 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 19004 0 -1 4202560 1047 0 0 0 359 17 0 0 20 0 19 0 278929578 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442793863336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=9625004 CPUtime=3.69 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 19004 0 -1 4202560 1072 0 0 0 352 17 0 0 20 0 19 0 278929578 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442792810792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=9625004 CPUtime=3.64 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 19004 0 -1 4202560 1309 0 0 0 347 17 0 0 20 0 19 0 278929578 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442791758248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=9625004 CPUtime=3.77 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 19004 0 -1 4202560 1567 0 0 0 358 19 0 0 20 0 19 0 278929578 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442790705704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=9625004 CPUtime=4.81 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 19004 0 -1 4202560 949 0 0 0 475 6 0 0 20 0 19 0 278929579 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442778294888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442777241208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442776188552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442775137296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 19004 0 -1 4202560 2653 0 0 0 31 0 0 0 20 0 19 0 278929583 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442774083640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 19004 0 -1 4202560 3334 0 0 0 38 2 0 0 20 0 19 0 278929583 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442773031096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442771978744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 19004 0 -1 4202560 97 0 0 0 52 38 0 0 20 0 19 0 278929583 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442770926408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21801 21803 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278929616 9856004096 201794 33554432000 1073741824 1073778376 140735347792224 140442769872168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1685.6
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/213 21897
/proc/meminfo: memFree=29368184/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9625004 CPUtime=1746.32 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 21419 0 1 0 174424 208 0 0 20 0 19 0 278929576 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2406251 203845 2287 9 0 2396937 0
[pid=21803/tid=21805] ppid=21801 vsize=9625004 CPUtime=1704.21 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) R 21801 21803 19004 0 -1 4202560 2907 0 1 0 170391 30 0 0 20 0 19 0 278929577 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442954071424 140442826459586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=9625004 CPUtime=4.01 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 19004 0 -1 4202560 1490 0 0 0 382 19 0 0 20 0 19 0 278929578 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442798074536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=9625004 CPUtime=3.81 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 19004 0 -1 4202560 1306 0 0 0 360 21 0 0 20 0 19 0 278929578 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442797021992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=9625004 CPUtime=3.85 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 19004 0 -1 4202560 1219 0 0 0 366 19 0 0 20 0 19 0 278929578 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442795969448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=9625004 CPUtime=3.91 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 19004 0 -1 4202560 968 0 0 0 375 16 0 0 20 0 19 0 278929578 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442794916904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=9625004 CPUtime=3.9 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 19004 0 -1 4202560 1151 0 0 0 373 17 0 0 20 0 19 0 278929578 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442793863336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=9625004 CPUtime=3.79 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 19004 0 -1 4202560 1112 0 0 0 362 17 0 0 20 0 19 0 278929578 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442792810792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=9625004 CPUtime=3.76 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 19004 0 -1 4202560 1465 0 0 0 359 17 0 0 20 0 19 0 278929578 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442791758248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=9625004 CPUtime=3.92 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 19004 0 -1 4202560 1568 0 0 0 373 19 0 0 20 0 19 0 278929578 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442790705704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=9625004 CPUtime=4.9 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 19004 0 -1 4202560 964 0 0 0 483 7 0 0 20 0 19 0 278929579 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442778294888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442777241208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442776188552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442775137296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 19004 0 -1 4202560 2653 0 0 0 31 0 0 0 20 0 19 0 278929583 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442774083640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 19004 0 -1 4202560 3334 0 0 0 38 2 0 0 20 0 19 0 278929583 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442773031096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442771978744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 19004 0 -1 4202560 100 0 0 0 55 39 0 0 20 0 19 0 278929583 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442770926408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21801 21803 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278929616 9856004096 203845 33554432000 1073741824 1073778376 140735347792224 140442769872168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1746.32
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1775.41 s]
/proc/loadavg: 2.03 2.06 2.02 3/213 21897
/proc/meminfo: memFree=29291300/32873844 swapFree=7116/7116
[pid=21803] ppid=21801 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 19004 0 -1 4202496 22092 0 1 0 179793 212 0 0 20 0 19 0 278929576 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140735347783360 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21803/statm: 2406251 206533 2288 9 0 2396937 0
[pid=21803/tid=21805] ppid=21801 vsize=9625004 CPUtime=1756.71 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) R 21801 21803 19004 0 -1 4202560 2913 0 1 0 175640 31 0 0 20 0 19 0 278929577 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442954071424 140442826418766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=9625004 CPUtime=4.13 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 19004 0 -1 4202560 1491 0 0 0 394 19 0 0 20 0 19 0 278929578 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442798074536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=9625004 CPUtime=3.94 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 19004 0 -1 4202560 1458 0 0 0 373 21 0 0 20 0 19 0 278929578 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442797021992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=9625004 CPUtime=3.94 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 19004 0 -1 4202560 1260 0 0 0 375 19 0 0 20 0 19 0 278929578 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442795969448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=9625004 CPUtime=4.02 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 19004 0 -1 4202560 973 0 0 0 386 16 0 0 20 0 19 0 278929578 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442794916904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=9625004 CPUtime=3.97 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 19004 0 -1 4202560 1339 0 0 0 380 17 0 0 20 0 19 0 278929578 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442793863336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=9625004 CPUtime=3.89 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 19004 0 -1 4202560 1115 0 0 0 372 17 0 0 20 0 19 0 278929578 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442792810792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=9625004 CPUtime=3.87 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 19004 0 -1 4202560 1586 0 0 0 369 18 0 0 20 0 19 0 278929578 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442791758248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=9625004 CPUtime=4 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 19004 0 -1 4202560 1706 0 0 0 381 19 0 0 20 0 19 0 278929578 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442790705704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=9625004 CPUtime=5.14 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 19004 0 -1 4202560 977 0 0 0 507 7 0 0 20 0 19 0 278929579 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442778294888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442777241208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278929580 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442776188552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442775137296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 19004 0 -1 4202560 2653 0 0 0 31 0 0 0 20 0 19 0 278929583 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442774083640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 19004 0 -1 4202560 3337 0 0 0 39 2 0 0 20 0 19 0 278929583 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442773031096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278929583 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442771978744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 19004 0 -1 4202560 102 0 0 0 56 40 0 0 20 0 19 0 278929583 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442770926408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21801 21803 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278929616 9856004096 206533 33554432000 1073741824 1073778376 140735347792224 140442769872168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21803 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=239386
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=401634
# CPU time returned by wait4() is 1795.64
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1775.46
CPU time (s): 1800.05
CPU user time (s): 1797.93
CPU system time (s): 2.12
CPU usage (%): 101.385
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.24
system time used= 2.40163
maximum resident set size= 832060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22126
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47173
involuntary context switches= 48503
runsolver used 7.55985 second user time and 14.8827 second system time
The end