runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4261873-1502476556/watcher-4261873-1502476556 -o /tmp/evaluation-result-4261873-1502476556/solver-4261873-1502476556 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4261873-1502476556.xml
pid=23299
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.44 1.45 1.49 3/198 23302
/proc/meminfo: memFree=27025176/32770624 swapFree=0/439904
[pid=23302] ppid=23299 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/23302/stat : 23302 (runsolver) D 23299 23302 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 95470926 24240128 107 18446744073709551615 4194304 4338465 140726703281472 140726703279112 140099461776087 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26300416 140726703284433 140726703284809 140726703284809 140726703288266 0
/proc/23302/statm: 5918 107 54 36 0 2156 0
[startup+0.10032 s]
/proc/loadavg: 1.44 1.45 1.49 3/198 23302
/proc/meminfo: memFree=27025176/32770624 swapFree=0/439904
[pid=23302] ppid=23299 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/23302/stat : 23302 (bash) S 23299 23302 4821 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 95470926 9736192 352 18446744073709551615 4194304 5098028 140725148673536 140725148671176 140328155864064 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 22519808 140725148680724 140725148680809 140725148680809 140725148684266 0
/proc/23302/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200248 s]
/proc/loadavg: 1.44 1.45 1.49 3/198 23302
/proc/meminfo: memFree=27025176/32770624 swapFree=0/439904
[pid=23302] ppid=23299 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/23302/stat : 23302 (bash) S 23299 23302 4821 0 -1 4202496 897 6474 0 0 0 0 0 1 20 0 1 0 95470926 9867264 377 18446744073709551615 4194304 5098028 140725148673536 140725148667544 140328155864064 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 22519808 140725148680724 140725148680809 140725148680809 140725148684266 0
/proc/23302/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300327 s]
/proc/loadavg: 1.44 1.45 1.49 3/198 23302
/proc/meminfo: memFree=27025176/32770624 swapFree=0/439904
[pid=23302] ppid=23299 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/23302/stat : 23302 (bash) S 23299 23302 4821 0 -1 4202496 897 6474 0 0 0 0 0 1 20 0 1 0 95470926 9867264 377 18446744073709551615 4194304 5098028 140725148673536 140725148667544 140328155864064 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 22519808 140725148680724 140725148680809 140725148680809 140725148684266 0
/proc/23302/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.700256 s]
/proc/loadavg: 1.44 1.45 1.49 3/198 23302
/proc/meminfo: memFree=27025176/32770624 swapFree=0/439904
[pid=23302] ppid=23299 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/23302/stat : 23302 (bash) S 23299 23302 4821 0 -1 4202496 897 6474 0 0 0 0 0 1 20 0 1 0 95470926 9867264 377 18446744073709551615 4194304 5098028 140725148673536 140725148667544 140328155864064 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 22519808 140725148680724 140725148680809 140725148680809 140725148684266 0
/proc/23302/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+1.50067 s]
/proc/loadavg: 1.44 1.45 1.49 2/215 23347
/proc/meminfo: memFree=27012376/32770624 swapFree=0/439904
[pid=23302] ppid=23299 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/23302/stat : 23302 (bash) S 23299 23302 4821 0 -1 4202496 897 6474 0 0 0 0 0 1 20 0 1 0 95470926 9867264 377 18446744073709551615 4194304 5098028 140725148673536 140725148667544 140328155864064 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 22519808 140725148680724 140725148680809 140725148680809 140725148684266 0
/proc/23302/statm: 2409 377 296 221 0 118 0
[pid=23332] ppid=23302 vsize=9636 CPUtime=0 cores=0,2,4,6
/proc/23332/stat : 23332 (bash) S 23302 23302 4821 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 95470938 9867264 176 18446744073709551615 4194304 5098028 140725148673536 140725148666216 140328155689596 0 65536 1 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22519808 140725148680724 140725148680809 140725148680809 140725148684266 0
/proc/23332/statm: 2409 176 95 221 0 118 0
[pid=23333] ppid=23332 vsize=10485312 CPUtime=0.05 cores=0,2,4,6
/proc/23333/stat : 23333 (java) S 23332 23302 4821 0 -1 1077944320 4508 0 0 0 4 1 0 0 20 0 14 0 95470938 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 140730220607776 139972401647351 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
/proc/23333/statm: 2621328 6081 2572 1 0 2610825 0
[pid=23333/tid=23335] ppid=23332 vsize=10485312 CPUtime=0.04 cores=0,2,4,6
/proc/23333/task/23335/stat : 23335 (java) D 23332 23302 4821 0 -1 4202560 2643 0 0 0 4 0 0 0 20 0 14 0 95470938 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139972405884832 139972401669373 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23336] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23336/stat : 23336 (java) S 23332 23302 4821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 95470939 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139972332067344 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23337] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23337/stat : 23337 (java) S 23332 23302 4821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 95470939 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139972331014800 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23338] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23338/stat : 23338 (java) S 23332 23302 4821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 95470939 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139972329961744 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23339] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23339/stat : 23339 (java) S 23332 23302 4821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 95470939 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139972328909200 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23340] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23340/stat : 23340 (java) S 23332 23302 4821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 95470941 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139971897797360 139972401658498 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23341] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23341/stat : 23341 (java) S 23332 23302 4821 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 95470941 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139971896743584 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23342] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23342/stat : 23342 (java) S 23332 23302 4821 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 95470941 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139971895690480 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23343] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23343/stat : 23343 (java) S 23332 23302 4821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 95470944 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139971894639056 139972401665947 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23344] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23344/stat : 23344 (java) S 23332 23302 4821 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 14 0 95470944 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139971893586160 139972401658498 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23345] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23345/stat : 23345 (java) S 23332 23302 4821 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 95470944 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139971892533616 139972401658498 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23346] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23346/stat : 23346 (java) S 23332 23302 4821 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 14 0 95470944 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139971891480560 139972401658498 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23347] ppid=23332 vsize=10485312 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23347/stat : 23347 (java) S 23332 23302 4821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 95470944 10736959488 6081 18446744073709551615 4194304 4196468 140730220625232 139971890428256 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23334] ppid=23332 vsize=9872 CPUtime=0 cores=0,2,4,6
/proc/23334/stat : 23334 (awk) S 23332 23302 4821 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 95470938 10108928 242 18446744073709551615 4194304 4609284 140733526892064 140733526891240 140166888651776 0 0 1 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 20901888 140733526893216 140733526893246 140733526893246 140733526896619 0
/proc/23334/statm: 2468 242 202 102 0 88 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10514456
[startup+3.10074 s]
/proc/loadavg: 1.56 1.48 1.50 2/215 23347
/proc/meminfo: memFree=26973248/32770624 swapFree=0/440064
[pid=23302] ppid=23299 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/23302/stat : 23302 (bash) S 23299 23302 4821 0 -1 4202496 897 6474 0 0 0 0 0 1 20 0 1 0 95470926 9867264 377 18446744073709551615 4194304 5098028 140725148673536 140725148667544 140328155864064 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 22519808 140725148680724 140725148680809 140725148680809 140725148684266 0
/proc/23302/statm: 2409 377 296 221 0 118 0
[pid=23332] ppid=23302 vsize=9636 CPUtime=0 cores=0,2,4,6
/proc/23332/stat : 23332 (bash) S 23302 23302 4821 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 95470938 9867264 176 18446744073709551615 4194304 5098028 140725148673536 140725148666216 140328155689596 0 65536 1 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22519808 140725148680724 140725148680809 140725148680809 140725148684266 0
/proc/23332/statm: 2409 176 95 221 0 118 0
[pid=23333] ppid=23332 vsize=10551876 CPUtime=0.06 cores=0,2,4,6
/proc/23333/stat : 23333 (java) S 23332 23302 4821 0 -1 1077944320 4525 0 0 0 5 1 0 0 20 0 13 0 95470938 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 140730220607776 139972401647351 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
/proc/23333/statm: 2637969 6625 2591 1 0 2627466 0
[pid=23333/tid=23335] ppid=23332 vsize=10551876 CPUtime=0.04 cores=0,2,4,6
/proc/23333/task/23335/stat : 23335 (java) D 23332 23302 4821 0 -1 4202560 2651 0 0 0 4 0 0 0 20 0 13 0 95470938 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139972405890360 139972394332983 0 0 1 16800974 18446744072101043333 0 0 -1 0 0 0 226 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23336] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23336/stat : 23336 (java) S 23332 23302 4821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 95470939 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139972332067344 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23337] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23337/stat : 23337 (java) S 23332 23302 4821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 95470939 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139972331014800 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23338] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23338/stat : 23338 (java) S 23332 23302 4821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 95470939 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139972329961744 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23339] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23339/stat : 23339 (java) S 23332 23302 4821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 95470939 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139972328909200 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23341] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23341/stat : 23341 (java) S 23332 23302 4821 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 95470941 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139971896743584 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23342] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23342/stat : 23342 (java) S 23332 23302 4821 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 95470941 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139971895690480 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23343] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23343/stat : 23343 (java) S 23332 23302 4821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 95470944 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139971894638112 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23344] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23344/stat : 23344 (java) S 23332 23302 4821 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 13 0 95470944 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139971893586160 139972401658498 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23345] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23345/stat : 23345 (java) S 23332 23302 4821 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 13 0 95470944 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139971892533616 139972401658498 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23346] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23346/stat : 23346 (java) S 23332 23302 4821 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 13 0 95470944 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139971891480560 139972401658498 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23333/tid=23347] ppid=23332 vsize=10551876 CPUtime=0 cores=0,2,4,6
/proc/23333/task/23347/stat : 23347 (java) S 23332 23302 4821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 95470944 10805121024 6625 18446744073709551615 4194304 4196468 140730220625232 139971890428256 139972401657557 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730220630648 140730220630662 140730220630662 140730220634063 0
[pid=23334] ppid=23332 vsize=9876 CPUtime=0 cores=0,2,4,6
/proc/23334/stat : 23334 (awk) S 23332 23302 4821 0 -1 4202496 416 0 0 0 0 0 0 0 20 0 1 0 95470938 10113024 242 18446744073709551615 4194304 4609284 140733526892064 140733526891240 140166888651776 0 0 1 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 20901888 140733526893216 140733526893246 140733526893246 140733526896619 0
/proc/23334/statm: 2469 242 202 102 0 89 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10581024
heavy processes:
[startup+6.30112 s]
/proc/loadavg: 1.56 1.48 1.50 4/213 23365
/proc/meminfo: memFree=26843732/32770624 swapFree=0/439892
[pid=23302] ppid=23299 vsize=13993788 CPUtime=5.86 cores=0,2,4,6
/proc/23302/stat : 23302 (java) S 23299 23302 4821 0 -1 1077944320 42150 12314 0 0 528 50 5 3 20 0 15 0 95470926 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140731152105392 140560684764919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
/proc/23302/statm: 3498447 306560 3458 1 0 3487061 0
[pid=23302/tid=23352] ppid=23299 vsize=13993788 CPUtime=2.76 cores=0,2,4,6
/proc/23302/task/23352/stat : 23352 (java) S 23299 23302 4821 0 -1 1077944384 26483 12314 0 0 247 21 5 3 20 0 15 0 95471256 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560688997856 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23353] ppid=23299 vsize=13993788 CPUtime=0.25 cores=0,2,4,6
/proc/23302/task/23353/stat : 23353 (java) R 23299 23302 4821 0 -1 4202560 333 12314 0 0 12 5 5 3 20 0 15 0 95471256 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560285297040 140560677867912 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23354] ppid=23299 vsize=13993788 CPUtime=0.24 cores=0,2,4,6
/proc/23302/task/23354/stat : 23354 (java) R 23299 23302 4821 0 -1 4202560 862 12314 0 0 12 4 5 3 20 0 15 0 95471256 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560284244240 140560677867905 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23355] ppid=23299 vsize=13993788 CPUtime=0.28 cores=0,2,4,6
/proc/23302/task/23355/stat : 23355 (java) R 23299 23302 4821 0 -1 4202560 327 12314 0 0 13 7 5 3 20 0 15 0 95471256 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560283192152 140560677867912 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23356] ppid=23299 vsize=13993788 CPUtime=0.28 cores=0,2,4,6
/proc/23302/task/23356/stat : 23356 (java) R 23299 23302 4821 0 -1 4202560 234 12314 0 0 14 6 5 3 20 0 15 0 95471256 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560282139152 140560677867898 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23357] ppid=23299 vsize=13993788 CPUtime=0.12 cores=0,2,4,6
/proc/23302/task/23357/stat : 23357 (java) S 23299 23302 4821 0 -1 1077944384 2724 12314 0 0 4 0 5 3 20 0 15 0 95471258 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560163198144 140560684775125 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23358] ppid=23299 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23358/stat : 23358 (java) S 23299 23302 4821 0 -1 1077944384 56 12314 0 0 0 0 5 3 20 0 15 0 95471258 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560162145632 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23359] ppid=23299 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23359/stat : 23359 (java) S 23299 23302 4821 0 -1 1077944384 47 12314 0 0 0 0 5 3 20 0 15 0 95471258 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560161093248 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23360] ppid=23299 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23360/stat : 23360 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560160041552 140560684783515 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23361] ppid=23299 vsize=13993788 CPUtime=0.7 cores=0,2,4,6
/proc/23302/task/23361/stat : 23361 (java) S 23299 23302 4821 0 -1 1077944384 1911 12314 0 0 61 1 5 3 20 0 15 0 95471261 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560158973392 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23362] ppid=23299 vsize=13993788 CPUtime=0.97 cores=0,2,4,6
/proc/23302/task/23362/stat : 23362 (java) S 23299 23302 4821 0 -1 1077944384 4163 12314 0 0 88 1 5 3 20 0 15 0 95471261 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560157920592 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23363] ppid=23299 vsize=13993788 CPUtime=0.83 cores=0,2,4,6
/proc/23302/task/23363/stat : 23363 (java) S 23299 23302 4821 0 -1 1077944384 2838 12314 0 0 74 1 5 3 20 0 15 0 95471261 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560156883312 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23364] ppid=23299 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23364/stat : 23364 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560155830752 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23365] ppid=23299 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23365/stat : 23365 (java) S 23299 23302 4821 0 -1 1077944384 11 12314 0 0 0 0 5 3 20 0 15 0 95471266 14329638912 306560 18446744073709551615 4194304 4196468 140731152122848 140560154778544 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 13993788
[startup+12.7008 s]
/proc/loadavg: 1.55 1.48 1.50 3/213 23365
/proc/meminfo: memFree=25004304/32770624 swapFree=0/439892
[pid=23302] ppid=23299 vsize=13995836 CPUtime=14.53 cores=0,2,4,6
/proc/23302/stat : 23302 (java) S 23299 23302 4821 0 -1 1077944320 46566 12314 0 0 1327 118 5 3 20 0 15 0 95470926 14331736064 516132 18446744073709551615 4194304 4196468 140731152122848 140731152105392 140560684764919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
/proc/23302/statm: 3498959 516132 3459 1 0 3487573 0
[pid=23302/tid=23352] ppid=23299 vsize=13995836 CPUtime=8.46 cores=0,2,4,6
/proc/23302/task/23352/stat : 23352 (java) R 23299 23302 4821 0 -1 4202560 27102 12314 0 0 812 26 5 3 20 0 15 0 95471256 14331736064 516132 18446744073709551615 4194304 4196468 140731152122848 140560688999952 140560667227552 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23353] ppid=23299 vsize=13995836 CPUtime=0.93 cores=0,2,4,6
/proc/23302/task/23353/stat : 23353 (java) S 23299 23302 4821 0 -1 1077944384 848 12314 0 0 64 21 5 3 20 0 15 0 95471256 14331736064 516132 18446744073709551615 4194304 4196468 140731152122848 140560285297040 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23354] ppid=23299 vsize=13995836 CPUtime=0.92 cores=0,2,4,6
################
# More data... #
################
/proc/23302/task/23364/stat : 23364 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14340124672 781505 18446744073709551615 4194304 4196468 140731152122848 140560155830752 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23365] ppid=23299 vsize=14004028 CPUtime=1.42 cores=0,2,4,6
/proc/23302/task/23365/stat : 23365 (java) S 23299 23302 4821 0 -1 1077944384 1803 12314 0 0 69 65 5 3 20 0 15 0 95471266 14340124672 781505 18446744073709551615 4194304 4196468 140731152122848 140560154778544 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
Current children cumulated CPU time (s) 2270.45
Current children cumulated vsize (KiB) 14004028
[startup+2262.3 s]
/proc/loadavg: 1.75 1.71 1.69 3/214 24027
/proc/meminfo: memFree=18894300/32770624 swapFree=0/440500
[pid=23302] ppid=23299 vsize=14004028 CPUtime=2331.44 cores=0,2,4,6
/proc/23302/stat : 23302 (java) S 23299 23302 4821 0 -1 1077944320 555618 12314 0 0 232295 841 5 3 20 0 15 0 95470926 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140731152105392 140560684764919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
/proc/23302/statm: 3501007 769706 3486 1 0 3489621 0
[pid=23302/tid=23352] ppid=23299 vsize=14004028 CPUtime=2237.33 cores=0,2,4,6
/proc/23302/task/23352/stat : 23352 (java) R 23299 23302 4821 0 -1 4202560 259394 12314 0 0 223662 63 5 3 20 0 15 0 95471256 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560688999152 140560342467544 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23353] ppid=23299 vsize=14004028 CPUtime=18.61 cores=0,2,4,6
/proc/23302/task/23353/stat : 23353 (java) S 23299 23302 4821 0 -1 1077944384 45957 12314 0 0 1680 173 5 3 20 0 15 0 95471256 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560285297040 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23354] ppid=23299 vsize=14004028 CPUtime=18.57 cores=0,2,4,6
/proc/23302/task/23354/stat : 23354 (java) S 23299 23302 4821 0 -1 1077944384 42595 12314 0 0 1670 179 5 3 20 0 15 0 95471256 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560284244240 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23355] ppid=23299 vsize=14004028 CPUtime=18.63 cores=0,2,4,6
/proc/23302/task/23355/stat : 23355 (java) S 23299 23302 4821 0 -1 1077944384 47429 12314 0 0 1681 174 5 3 20 0 15 0 95471256 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560283191952 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23356] ppid=23299 vsize=14004028 CPUtime=18.65 cores=0,2,4,6
/proc/23302/task/23356/stat : 23356 (java) S 23299 23302 4821 0 -1 1077944384 55983 12314 0 0 1680 177 5 3 20 0 15 0 95471256 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560282139152 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23357] ppid=23299 vsize=14004028 CPUtime=2.74 cores=0,2,4,6
/proc/23302/task/23357/stat : 23357 (java) S 23299 23302 4821 0 -1 1077944384 24946 12314 0 0 250 16 5 3 20 0 15 0 95471258 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560163199600 140560684776066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23358] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23358/stat : 23358 (java) S 23299 23302 4821 0 -1 1077944384 83 12314 0 0 0 0 5 3 20 0 15 0 95471258 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560162145696 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23359] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23359/stat : 23359 (java) S 23299 23302 4821 0 -1 1077944384 70 12314 0 0 0 0 5 3 20 0 15 0 95471258 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560161093248 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23360] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23360/stat : 23360 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560160041552 140560684783515 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23361] ppid=23299 vsize=14004028 CPUtime=7 cores=0,2,4,6
/proc/23302/task/23361/stat : 23361 (java) S 23299 23302 4821 0 -1 1077944384 26574 12314 0 0 688 4 5 3 20 0 15 0 95471261 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560158988400 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23362] ppid=23299 vsize=14004028 CPUtime=7.03 cores=0,2,4,6
/proc/23302/task/23362/stat : 23362 (java) S 23299 23302 4821 0 -1 1077944384 24122 12314 0 0 692 3 5 3 20 0 15 0 95471261 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560157935600 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23363] ppid=23299 vsize=14004028 CPUtime=2.03 cores=0,2,4,6
/proc/23302/task/23363/stat : 23363 (java) S 23299 23302 4821 0 -1 1077944384 24465 12314 0 0 192 3 5 3 20 0 15 0 95471261 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560156883312 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23364] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23364/stat : 23364 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560155830752 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23365] ppid=23299 vsize=14004028 CPUtime=1.46 cores=0,2,4,6
/proc/23302/task/23365/stat : 23365 (java) S 23299 23302 4821 0 -1 1077944384 1839 12314 0 0 71 67 5 3 20 0 15 0 95471266 14340124672 769706 18446744073709551615 4194304 4196468 140731152122848 140560154778544 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
Current children cumulated CPU time (s) 2331.44
Current children cumulated vsize (KiB) 14004028
[startup+2322.3 s]
/proc/loadavg: 1.84 1.74 1.70 3/218 24044
/proc/meminfo: memFree=18922840/32770624 swapFree=0/440516
[pid=23302] ppid=23299 vsize=14004028 CPUtime=2392.44 cores=0,2,4,6
/proc/23302/stat : 23302 (java) S 23299 23302 4821 0 -1 1077944320 562050 12314 0 0 238392 844 5 3 20 0 15 0 95470926 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140731152105392 140560684764919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
/proc/23302/statm: 3501007 760215 3486 1 0 3489621 0
[pid=23302/tid=23352] ppid=23299 vsize=14004028 CPUtime=2296.93 cores=0,2,4,6
/proc/23302/task/23352/stat : 23352 (java) R 23299 23302 4821 0 -1 4202560 261288 12314 0 0 229621 64 5 3 20 0 15 0 95471256 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560688999264 140560338729715 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23353] ppid=23299 vsize=14004028 CPUtime=18.94 cores=0,2,4,6
/proc/23302/task/23353/stat : 23353 (java) S 23299 23302 4821 0 -1 1077944384 46768 12314 0 0 1713 173 5 3 20 0 15 0 95471256 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560285297040 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23354] ppid=23299 vsize=14004028 CPUtime=18.89 cores=0,2,4,6
/proc/23302/task/23354/stat : 23354 (java) S 23299 23302 4821 0 -1 1077944384 44405 12314 0 0 1702 179 5 3 20 0 15 0 95471256 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560284244240 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23355] ppid=23299 vsize=14004028 CPUtime=18.96 cores=0,2,4,6
/proc/23302/task/23355/stat : 23355 (java) S 23299 23302 4821 0 -1 1077944384 48152 12314 0 0 1714 174 5 3 20 0 15 0 95471256 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560283191952 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23356] ppid=23299 vsize=14004028 CPUtime=18.98 cores=0,2,4,6
/proc/23302/task/23356/stat : 23356 (java) S 23299 23302 4821 0 -1 1077944384 56850 12314 0 0 1713 177 5 3 20 0 15 0 95471256 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560282139152 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23357] ppid=23299 vsize=14004028 CPUtime=2.79 cores=0,2,4,6
/proc/23302/task/23357/stat : 23357 (java) S 23299 23302 4821 0 -1 1077944384 25232 12314 0 0 255 16 5 3 20 0 15 0 95471258 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560163199600 140560684776066 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23358] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23358/stat : 23358 (java) S 23299 23302 4821 0 -1 1077944384 83 12314 0 0 0 0 5 3 20 0 15 0 95471258 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560162145696 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23359] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23359/stat : 23359 (java) S 23299 23302 4821 0 -1 1077944384 70 12314 0 0 0 0 5 3 20 0 15 0 95471258 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560161093248 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23360] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23360/stat : 23360 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560160041552 140560684783515 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23361] ppid=23299 vsize=14004028 CPUtime=7 cores=0,2,4,6
/proc/23302/task/23361/stat : 23361 (java) S 23299 23302 4821 0 -1 1077944384 26577 12314 0 0 688 4 5 3 20 0 15 0 95471261 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560158988400 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23362] ppid=23299 vsize=14004028 CPUtime=7.03 cores=0,2,4,6
/proc/23302/task/23362/stat : 23362 (java) S 23299 23302 4821 0 -1 1077944384 24129 12314 0 0 692 3 5 3 20 0 15 0 95471261 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560157935600 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23363] ppid=23299 vsize=14004028 CPUtime=2.03 cores=0,2,4,6
/proc/23302/task/23363/stat : 23363 (java) S 23299 23302 4821 0 -1 1077944384 24469 12314 0 0 192 3 5 3 20 0 15 0 95471261 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560156883312 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23364] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23364/stat : 23364 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560155830752 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23365] ppid=23299 vsize=14004028 CPUtime=1.5 cores=0,2,4,6
/proc/23302/task/23365/stat : 23365 (java) S 23299 23302 4821 0 -1 1077944384 1866 12314 0 0 73 69 5 3 20 0 15 0 95471266 14340124672 760215 18446744073709551615 4194304 4196468 140731152122848 140560154778544 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
Current children cumulated CPU time (s) 2392.44
Current children cumulated vsize (KiB) 14004028
[startup+2382.3 s]
/proc/loadavg: 1.65 1.70 1.68 3/219 24071
/proc/meminfo: memFree=18985556/32770624 swapFree=0/440544
[pid=23302] ppid=23299 vsize=14004028 CPUtime=2453.44 cores=0,2,4,6
/proc/23302/stat : 23302 (java) S 23299 23302 4821 0 -1 1077944320 568595 12314 0 0 244487 849 5 3 20 0 15 0 95470926 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140731152105392 140560684764919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
/proc/23302/statm: 3501007 744569 3486 1 0 3489621 0
[pid=23302/tid=23352] ppid=23299 vsize=14004028 CPUtime=2356.52 cores=0,2,4,6
/proc/23302/task/23352/stat : 23352 (java) R 23299 23302 4821 0 -1 4202560 263062 12314 0 0 235580 64 5 3 20 0 15 0 95471256 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560688996624 140560338598800 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23353] ppid=23299 vsize=14004028 CPUtime=19.27 cores=0,2,4,6
/proc/23302/task/23353/stat : 23353 (java) S 23299 23302 4821 0 -1 1077944384 48616 12314 0 0 1745 174 5 3 20 0 15 0 95471256 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560285297040 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23354] ppid=23299 vsize=14004028 CPUtime=19.22 cores=0,2,4,6
/proc/23302/task/23354/stat : 23354 (java) S 23299 23302 4821 0 -1 1077944384 45074 12314 0 0 1735 179 5 3 20 0 15 0 95471256 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560284244240 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23355] ppid=23299 vsize=14004028 CPUtime=19.29 cores=0,2,4,6
/proc/23302/task/23355/stat : 23355 (java) S 23299 23302 4821 0 -1 1077944384 49002 12314 0 0 1746 175 5 3 20 0 15 0 95471256 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560283191952 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23356] ppid=23299 vsize=14004028 CPUtime=19.3 cores=0,2,4,6
/proc/23302/task/23356/stat : 23356 (java) S 23299 23302 4821 0 -1 1077944384 57924 12314 0 0 1745 177 5 3 20 0 15 0 95471256 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560282139152 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23357] ppid=23299 vsize=14004028 CPUtime=2.85 cores=0,2,4,6
/proc/23302/task/23357/stat : 23357 (java) S 23299 23302 4821 0 -1 1077944384 25525 12314 0 0 260 17 5 3 20 0 15 0 95471258 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560163199600 140560684776066 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23358] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23358/stat : 23358 (java) S 23299 23302 4821 0 -1 1077944384 83 12314 0 0 0 0 5 3 20 0 15 0 95471258 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560162145696 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23359] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23359/stat : 23359 (java) S 23299 23302 4821 0 -1 1077944384 70 12314 0 0 0 0 5 3 20 0 15 0 95471258 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560161093248 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23360] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23360/stat : 23360 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560160041552 140560684783515 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23361] ppid=23299 vsize=14004028 CPUtime=7 cores=0,2,4,6
/proc/23302/task/23361/stat : 23361 (java) S 23299 23302 4821 0 -1 1077944384 26585 12314 0 0 688 4 5 3 20 0 15 0 95471261 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560158988400 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23362] ppid=23299 vsize=14004028 CPUtime=7.03 cores=0,2,4,6
/proc/23302/task/23362/stat : 23362 (java) S 23299 23302 4821 0 -1 1077944384 24132 12314 0 0 692 3 5 3 20 0 15 0 95471261 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560157935600 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23363] ppid=23299 vsize=14004028 CPUtime=2.03 cores=0,2,4,6
/proc/23302/task/23363/stat : 23363 (java) S 23299 23302 4821 0 -1 1077944384 24473 12314 0 0 192 3 5 3 20 0 15 0 95471261 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560156883312 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23364] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23364/stat : 23364 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560155830752 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23365] ppid=23299 vsize=14004028 CPUtime=1.54 cores=0,2,4,6
/proc/23302/task/23365/stat : 23365 (java) S 23299 23302 4821 0 -1 1077944384 1888 12314 0 0 75 71 5 3 20 0 15 0 95471266 14340124672 744569 18446744073709551615 4194304 4196468 140731152122848 140560154778544 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
Current children cumulated CPU time (s) 2453.44
Current children cumulated vsize (KiB) 14004028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2440.2 s]
/proc/loadavg: 1.59 1.68 1.68 3/219 24074
/proc/meminfo: memFree=18271176/32770624 swapFree=0/440556
[pid=23302] ppid=23299 vsize=14004028 CPUtime=2520.09 cores=0,2,4,6
/proc/23302/stat : 23302 (java) S 23299 23302 4821 0 -1 1077944320 592663 12314 0 0 251052 949 5 3 20 0 15 0 95470926 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140731152105392 140560684764919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
/proc/23302/statm: 3501007 923884 3486 1 0 3489621 0
[pid=23302/tid=23352] ppid=23299 vsize=14004028 CPUtime=2411.74 cores=0,2,4,6
/proc/23302/task/23352/stat : 23352 (java) R 23299 23302 4821 0 -1 4202560 269560 12314 0 0 241101 65 5 3 20 0 15 0 95471256 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560688999184 140560336301590 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23353] ppid=23299 vsize=14004028 CPUtime=21.8 cores=0,2,4,6
/proc/23302/task/23353/stat : 23353 (java) S 23299 23302 4821 0 -1 1077944384 50046 12314 0 0 1973 199 5 3 20 0 15 0 95471256 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560285297040 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23354] ppid=23299 vsize=14004028 CPUtime=21.74 cores=0,2,4,6
/proc/23302/task/23354/stat : 23354 (java) S 23299 23302 4821 0 -1 1077944384 46373 12314 0 0 1962 204 5 3 20 0 15 0 95471256 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560284244240 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23355] ppid=23299 vsize=14004028 CPUtime=21.79 cores=0,2,4,6
/proc/23302/task/23355/stat : 23355 (java) S 23299 23302 4821 0 -1 1077944384 50598 12314 0 0 1972 199 5 3 20 0 15 0 95471256 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560283191952 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23356] ppid=23299 vsize=14004028 CPUtime=21.83 cores=0,2,4,6
/proc/23302/task/23356/stat : 23356 (java) S 23299 23302 4821 0 -1 1077944384 59430 12314 0 0 1974 201 5 3 20 0 15 0 95471256 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560282139152 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23357] ppid=23299 vsize=14004028 CPUtime=3 cores=0,2,4,6
/proc/23302/task/23357/stat : 23357 (java) S 23299 23302 4821 0 -1 1077944384 36326 12314 0 0 274 18 5 3 20 0 15 0 95471258 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560163199600 140560684776066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23358] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23358/stat : 23358 (java) S 23299 23302 4821 0 -1 1077944384 86 12314 0 0 0 0 5 3 20 0 15 0 95471258 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560162145696 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23359] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23359/stat : 23359 (java) S 23299 23302 4821 0 -1 1077944384 70 12314 0 0 0 0 5 3 20 0 15 0 95471258 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560161093248 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23360] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23360/stat : 23360 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560160041552 140560684783515 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23361] ppid=23299 vsize=14004028 CPUtime=7.4 cores=0,2,4,6
/proc/23302/task/23361/stat : 23361 (java) S 23299 23302 4821 0 -1 1077944384 26676 12314 0 0 728 4 5 3 20 0 15 0 95471261 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560158988400 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23362] ppid=23299 vsize=14004028 CPUtime=7.74 cores=0,2,4,6
/proc/23302/task/23362/stat : 23362 (java) S 23299 23302 4821 0 -1 1077944384 24274 12314 0 0 763 3 5 3 20 0 15 0 95471261 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560157935600 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23363] ppid=23299 vsize=14004028 CPUtime=2.09 cores=0,2,4,6
/proc/23302/task/23363/stat : 23363 (java) S 23299 23302 4821 0 -1 1077944384 25170 12314 0 0 198 3 5 3 20 0 15 0 95471261 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560156883312 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23364] ppid=23299 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/23302/task/23364/stat : 23364 (java) S 23299 23302 4821 0 -1 1077944384 3 12314 0 0 0 0 5 3 20 0 15 0 95471261 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560155830752 140560684775125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
[pid=23302/tid=23365] ppid=23299 vsize=14004028 CPUtime=1.57 cores=0,2,4,6
/proc/23302/task/23365/stat : 23365 (java) S 23299 23302 4821 0 -1 1077944384 1893 12314 0 0 77 72 5 3 20 0 15 0 95471266 14340124672 923884 18446744073709551615 4194304 4196468 140731152122848 140560154778544 140560684776066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9269248 140731152123856 140731152126641 140731152126641 140731152129999 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14004028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23302 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2440.24
CPU time (s): 2520.15
CPU user time (s): 2510.6
CPU system time (s): 9.54777
CPU usage (%): 103.275
Max. virtual memory (cumulated for all children) (KiB): 14004028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.6
system time used= 9.54777
maximum resident set size= 5660136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79998
involuntary context switches= 6103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4788 second user time and 15.117 second system time
The end