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-4117754-1467214517/watcher-4117754-1467214517 -o /tmp/evaluation-result-4117754-1467214517/solver-4117754-1467214517 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117754-1467214517.opb
pid=7264
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: 4.08 4.19 4.20 1/173 7267
/proc/meminfo: memFree=28564560/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 2 0 2402914 96370688 931 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 23544 938 712 9 0 16769 0
[pid=7267/tid=7268] ppid=7264 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) R 7264 7267 5267 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 2 0 2402915 98635776 961 33554432000 1073741824 1073778376 140736354549552 140725267189288 239863897341 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100059 s]
/proc/loadavg: 4.08 4.19 4.20 1/173 7267
/proc/meminfo: memFree=28564560/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 4473 0 1 0 10 1 0 0 20 0 18 0 2402914 9787879424 6094 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2389619 6094 2156 9 0 2380296 0
[pid=7267/tid=7268] ppid=7264 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) R 7264 7267 5267 0 -1 4202560 2383 0 1 0 6 1 0 0 20 0 18 0 2402915 9787879424 6094 33554432000 1073741824 1073778376 140736354549552 140725267192736 239876498701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200274 s]
/proc/loadavg: 4.08 4.19 4.20 1/173 7267
/proc/meminfo: memFree=28564560/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 4853 0 1 0 26 2 0 0 20 0 22 0 2402914 10060525568 7901 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2456183 7901 2225 9 0 2446860 0
[pid=7267/tid=7268] ppid=7264 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) S 7264 7267 5267 0 -1 4202560 2419 0 1 0 15 1 0 0 20 0 22 0 2402915 10060525568 7901 33554432000 1073741824 1073778376 140736354549552 140725267194744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732
[startup+0.300271 s]
/proc/loadavg: 4.08 4.19 4.20 1/173 7267
/proc/meminfo: memFree=28564560/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 7611 0 1 0 61 2 0 0 20 0 22 0 2402914 10060525568 10012 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2456183 10012 2245 9 0 2446860 0
[pid=7267/tid=7268] ppid=7264 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) S 7264 7267 5267 0 -1 4202560 2419 0 1 0 15 1 0 0 20 0 22 0 2402915 10060525568 10012 33554432000 1073741824 1073778376 140736354549552 140725267194744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 9824732
[startup+0.700257 s]
/proc/loadavg: 4.08 4.19 4.20 1/173 7267
/proc/meminfo: memFree=28564560/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 16228 0 1 0 123 5 0 0 20 0 22 0 2402914 10060525568 15246 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2456183 15246 2253 9 0 2446860 0
[pid=7267/tid=7268] ppid=7264 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) S 7264 7267 5267 0 -1 4202560 2419 0 1 0 15 1 0 0 20 0 22 0 2402915 10060525568 15246 33554432000 1073741824 1073778376 140736354549552 140725267194744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 3.75 4.12 4.18 5/215 7362
/proc/meminfo: memFree=28401316/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9824732 CPUtime=4.1 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 22209 0 1 0 402 8 0 0 20 0 22 0 2402914 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2456183 49220 2284 9 0 2446860 0
[pid=7267/tid=7268] ppid=7264 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) S 7264 7267 5267 0 -1 4202560 2419 0 1 0 15 1 0 0 20 0 22 0 2402915 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725267194744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7270] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7270/stat : 7270 (java) S 7264 7267 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2402915 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725228685992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7271] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7271/stat : 7271 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402915 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725227633448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7272] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7272/stat : 7272 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402915 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725226580904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7273] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7273/stat : 7273 (java) S 7264 7267 5267 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 2402915 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725225528360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7274] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7274/stat : 7274 (java) S 7264 7267 5267 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 2402915 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725224474792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7275] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7275/stat : 7275 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402915 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725223422248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7276] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7276/stat : 7276 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402915 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725222369704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7277] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7277/stat : 7277 (java) S 7264 7267 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2402915 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725221317160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7278] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7278/stat : 7278 (java) S 7264 7267 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2402916 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725208906344 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7279] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7279/stat : 7279 (java) S 7264 7267 5267 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725089986168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7280] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7280/stat : 7280 (java) S 7264 7267 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725088933512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7285] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7285/stat : 7285 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725087882256 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7286] ppid=7264 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/7267/task/7286/stat : 7286 (java) S 7264 7267 5267 0 -1 4202560 8370 0 0 0 97 1 0 0 20 0 22 0 2402919 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725086828600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7287] ppid=7264 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/7267/task/7287/stat : 7287 (java) S 7264 7267 5267 0 -1 4202560 9978 0 0 0 92 2 0 0 20 0 22 0 2402919 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725085776056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7288] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7288/stat : 7288 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725084723704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7289] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7289/stat : 7289 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725083671368 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7328] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7328/stat : 7328 (java) S 7264 7267 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2402933 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725079459496 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7357] ppid=7264 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/7267/task/7357/stat : 7357 (java) R 7264 7267 5267 0 -1 4202560 5 0 0 0 78 0 0 0 20 0 22 0 2402983 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725081554592 140725090444117 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7358] ppid=7264 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/7267/task/7358/stat : 7358 (java) R 7264 7267 5267 0 -1 4202560 65 0 0 0 77 1 0 0 20 0 22 0 2402983 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725082615736 140725090621448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7359] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7359/stat : 7359 (java) S 7264 7267 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2402983 10060525568 49220 33554432000 1073741824 1073778376 140736354549552 140725080511528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 3.75 4.12 4.18 3/215 7430
/proc/meminfo: memFree=28335176/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9824732 CPUtime=7.43 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 22353 0 1 0 730 13 0 0 20 0 22 0 2402914 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2456183 58503 2284 9 0 2446860 0
[pid=7267/tid=7268] ppid=7264 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) S 7264 7267 5267 0 -1 4202560 2419 0 1 0 15 1 0 0 20 0 22 0 2402915 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725267194744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7270] ppid=7264 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/7267/task/7270/stat : 7270 (java) S 7264 7267 5267 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 2402915 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725228685992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7271] ppid=7264 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/7267/task/7271/stat : 7271 (java) S 7264 7267 5267 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 2402915 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725227633448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7272] ppid=7264 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/7267/task/7272/stat : 7272 (java) S 7264 7267 5267 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 2402915 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725226580904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7273] ppid=7264 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/7267/task/7273/stat : 7273 (java) S 7264 7267 5267 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 22 0 2402915 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725225528360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7274] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7274/stat : 7274 (java) S 7264 7267 5267 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 2402915 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725224474792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7275] ppid=7264 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/7267/task/7275/stat : 7275 (java) S 7264 7267 5267 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 22 0 2402915 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725223422248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7276] ppid=7264 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/7267/task/7276/stat : 7276 (java) S 7264 7267 5267 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 2402915 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725222369704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7277] ppid=7264 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/7267/task/7277/stat : 7277 (java) S 7264 7267 5267 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 2402915 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725221317160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7278] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7278/stat : 7278 (java) S 7264 7267 5267 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 2402916 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725208906344 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7279] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7279/stat : 7279 (java) S 7264 7267 5267 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725089986168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7280] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7280/stat : 7280 (java) S 7264 7267 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725088933512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7285] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7285/stat : 7285 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725087882256 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7286] ppid=7264 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/7267/task/7286/stat : 7286 (java) S 7264 7267 5267 0 -1 4202560 8370 0 0 0 98 1 0 0 20 0 22 0 2402919 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725086828600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7287] ppid=7264 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/7267/task/7287/stat : 7287 (java) S 7264 7267 5267 0 -1 4202560 9978 0 0 0 95 2 0 0 20 0 22 0 2402919 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725085776056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7288] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7288/stat : 7288 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725084723704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7289] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7289/stat : 7289 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725083671368 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7328] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7328/stat : 7328 (java) S 7264 7267 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2402933 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725079459496 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7357] ppid=7264 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/7267/task/7357/stat : 7357 (java) R 7264 7267 5267 0 -1 4202560 8 0 0 0 231 0 0 0 20 0 22 0 2402983 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725081563368 140725090453159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7358] ppid=7264 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/7267/task/7358/stat : 7358 (java) R 7264 7267 5267 0 -1 4202560 66 0 0 0 229 2 0 0 20 0 22 0 2402983 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725082614584 140725090615776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7359] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7359/stat : 7359 (java) S 7264 7267 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2402983 10060525568 58503 33554432000 1073741824 1073778376 140736354549552 140725080511528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 3.75 4.12 4.18 7/218 7575
/proc/meminfo: memFree=28088820/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9824732 CPUtime=13.95 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 22725 0 1 0 1375 20 0 0 20 0 22 0 2402914 10060525568 143067 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2456183 143067 2284 9 0 2446860 0
[pid=7267/tid=7268] ppid=7264 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) S 7264 7267 5267 0 -1 4202560 2419 0 1 0 15 1 0 0 20 0 22 0 2402915 10060525568 143067 33554432000 1073741824 1073778376 140736354549552 140725267194744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7270] ppid=7264 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/7267/task/7270/stat : 7270 (java) S 7264 7267 5267 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 2402915 10060525568 143067 33554432000 1073741824 1073778376 140736354549552 140725228685992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7271] ppid=7264 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/7267/task/7271/stat : 7271 (java) S 7264 7267 5267 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 22 0 2402915 10060525568 143067 33554432000 1073741824 1073778376 140736354549552 140725227633448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7272] ppid=7264 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/7267/task/7272/stat : 7272 (java) S 7264 7267 5267 0 -1 4202560 26 0 0 0 4 1 0 0 20 0 22 0 2402915 10060525568 143067 33554432000 1073741824 1073778376 140736354549552 140725226580904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7273] ppid=7264 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/7267/task/7273/stat : 7273 (java) S 7264 7267 5267 0 -1 4202560 41 0 0 0 3 2 0 0 20 0 22 0 2402915 10060525568 143067 33554432000 1073741824 1073778376 140736354549552 140725225528360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7274] ppid=7264 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/7267/task/7274/stat : 7274 (java) S 7264 7267 5267 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 2402915 10060525568 143067 33554432000 1073741824 1073778376 140736354549552 140725224474792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7275] ppid=7264 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/7267/task/7275/stat : 7275 (java) S 7264 7267 5267 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 22 0 2402915 10060525568 143067 33554432000 1073741824 1073778376 140736354549552 140725223422248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7276] ppid=7264 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/7267/task/7276/stat : 7276 (java) S 7264 7267 5267 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 2402915 10060525568 143067 33554432000 1073741824 1073778376 140736354549552 140725222369704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7277] ppid=7264 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.26 4.21 4.18 5/219 7594
/proc/meminfo: memFree=23569404/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9824732 CPUtime=1646.64 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 26608 0 1 0 164527 137 0 0 20 0 22 0 2402914 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2456183 755272 2293 9 0 2446860 0
[pid=7267/tid=7268] ppid=7264 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) S 7264 7267 5267 0 -1 4202560 2419 0 1 0 17 2 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725267194744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7270] ppid=7264 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/7267/task/7270/stat : 7270 (java) S 7264 7267 5267 0 -1 4202560 187 0 0 0 22 7 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725228685992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7271] ppid=7264 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/7267/task/7271/stat : 7271 (java) S 7264 7267 5267 0 -1 4202560 287 0 0 0 28 11 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725227633448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7272] ppid=7264 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/7267/task/7272/stat : 7272 (java) S 7264 7267 5267 0 -1 4202560 197 0 0 0 28 9 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725226580904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7273] ppid=7264 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/7267/task/7273/stat : 7273 (java) S 7264 7267 5267 0 -1 4202560 309 0 0 0 21 8 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725225528360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7274] ppid=7264 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/7267/task/7274/stat : 7274 (java) S 7264 7267 5267 0 -1 4202560 225 0 0 0 22 8 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725224474792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7275] ppid=7264 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/7267/task/7275/stat : 7275 (java) S 7264 7267 5267 0 -1 4202560 206 0 0 0 28 10 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725223422248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7276] ppid=7264 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/7267/task/7276/stat : 7276 (java) S 7264 7267 5267 0 -1 4202560 255 0 0 0 25 9 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725222369704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7277] ppid=7264 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/7267/task/7277/stat : 7277 (java) S 7264 7267 5267 0 -1 4202560 240 0 0 0 29 10 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725221317160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7278] ppid=7264 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/7267/task/7278/stat : 7278 (java) S 7264 7267 5267 0 -1 4202560 1397 0 0 0 28 7 0 0 20 0 22 0 2402916 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725208906344 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7279] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7279/stat : 7279 (java) S 7264 7267 5267 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725089986168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7280] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7280/stat : 7280 (java) S 7264 7267 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725088933512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7285] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7285/stat : 7285 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725087882256 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7286] ppid=7264 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/7267/task/7286/stat : 7286 (java) S 7264 7267 5267 0 -1 4202560 8370 0 0 0 98 1 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725086828600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7287] ppid=7264 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/7267/task/7287/stat : 7287 (java) S 7264 7267 5267 0 -1 4202560 9982 0 0 0 103 2 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725085776056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7288] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7288/stat : 7288 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725084723704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7289] ppid=7264 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/7267/task/7289/stat : 7289 (java) S 7264 7267 5267 0 -1 4202560 47 0 0 0 12 16 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725083671368 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7328] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7328/stat : 7328 (java) S 7264 7267 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2402933 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725079459496 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7357] ppid=7264 vsize=9824732 CPUtime=820.29 cores=1,3,5,7
/proc/7267/task/7357/stat : 7357 (java) R 7264 7267 5267 0 -1 4202560 98 0 0 0 82013 16 0 0 20 0 22 0 2402983 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725081554576 140725090453159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7358] ppid=7264 vsize=9824732 CPUtime=820.51 cores=1,3,5,7
/proc/7267/task/7358/stat : 7358 (java) R 7264 7267 5267 0 -1 4202560 1068 0 0 0 82005 46 0 0 20 0 22 0 2402983 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725082614016 140725090615776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7359] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7359/stat : 7359 (java) S 7264 7267 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2402983 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725080511528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1646.64
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.33 4.23 4.19 5/219 7596
/proc/meminfo: memFree=23632664/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9824732 CPUtime=1766.64 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 26612 0 1 0 176525 139 0 0 20 0 22 0 2402914 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2456183 755272 2293 9 0 2446860 0
[pid=7267/tid=7268] ppid=7264 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) S 7264 7267 5267 0 -1 4202560 2419 0 1 0 18 3 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725267194744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7270] ppid=7264 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/7267/task/7270/stat : 7270 (java) S 7264 7267 5267 0 -1 4202560 187 0 0 0 22 7 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725228685992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7271] ppid=7264 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/7267/task/7271/stat : 7271 (java) S 7264 7267 5267 0 -1 4202560 287 0 0 0 28 11 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725227633448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7272] ppid=7264 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/7267/task/7272/stat : 7272 (java) S 7264 7267 5267 0 -1 4202560 197 0 0 0 28 9 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725226580904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7273] ppid=7264 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/7267/task/7273/stat : 7273 (java) S 7264 7267 5267 0 -1 4202560 309 0 0 0 21 8 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725225528360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7274] ppid=7264 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/7267/task/7274/stat : 7274 (java) S 7264 7267 5267 0 -1 4202560 225 0 0 0 22 8 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725224474792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7275] ppid=7264 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/7267/task/7275/stat : 7275 (java) S 7264 7267 5267 0 -1 4202560 206 0 0 0 28 10 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725223422248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7276] ppid=7264 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/7267/task/7276/stat : 7276 (java) S 7264 7267 5267 0 -1 4202560 255 0 0 0 25 9 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725222369704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7277] ppid=7264 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/7267/task/7277/stat : 7277 (java) S 7264 7267 5267 0 -1 4202560 240 0 0 0 29 10 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725221317160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7278] ppid=7264 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/7267/task/7278/stat : 7278 (java) S 7264 7267 5267 0 -1 4202560 1397 0 0 0 28 7 0 0 20 0 22 0 2402916 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725208906344 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7279] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7279/stat : 7279 (java) S 7264 7267 5267 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725089986168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7280] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7280/stat : 7280 (java) S 7264 7267 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725088933512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7285] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7285/stat : 7285 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725087882256 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7286] ppid=7264 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/7267/task/7286/stat : 7286 (java) S 7264 7267 5267 0 -1 4202560 8370 0 0 0 98 1 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725086828600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7287] ppid=7264 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/7267/task/7287/stat : 7287 (java) S 7264 7267 5267 0 -1 4202560 9982 0 0 0 103 2 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725085776056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7288] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7288/stat : 7288 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725084723704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7289] ppid=7264 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/7267/task/7289/stat : 7289 (java) S 7264 7267 5267 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725083671368 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7328] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7328/stat : 7328 (java) S 7264 7267 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2402933 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725079459496 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7357] ppid=7264 vsize=9824732 CPUtime=880.27 cores=1,3,5,7
/proc/7267/task/7357/stat : 7357 (java) R 7264 7267 5267 0 -1 4202560 98 0 0 0 88010 17 0 0 20 0 22 0 2402983 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725081554576 140725090516217 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7358] ppid=7264 vsize=9824732 CPUtime=880.52 cores=1,3,5,7
/proc/7267/task/7358/stat : 7358 (java) R 7264 7267 5267 0 -1 4202560 1068 0 0 0 88005 47 0 0 20 0 22 0 2402983 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725082614016 140725090615837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7359] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7359/stat : 7359 (java) S 7264 7267 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2402983 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725080511528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1766.64
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.001 s]
/proc/loadavg: 4.25 4.22 4.18 5/220 7599
/proc/meminfo: memFree=23624876/32872528 swapFree=1459092/1655316
[pid=7267] ppid=7264 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/7267/stat : 7267 (java) S 7264 7267 5267 0 -1 4202496 26614 0 1 0 179862 140 0 0 20 0 22 0 2402914 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140736354540688 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7267/statm: 2456183 755272 2293 9 0 2446860 0
[pid=7267/tid=7268] ppid=7264 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/7267/task/7268/stat : 7268 (java) S 7264 7267 5267 0 -1 4202560 2419 0 1 0 18 3 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725267194744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7270] ppid=7264 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/7267/task/7270/stat : 7270 (java) S 7264 7267 5267 0 -1 4202560 187 0 0 0 22 7 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725228685992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7271] ppid=7264 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/7267/task/7271/stat : 7271 (java) S 7264 7267 5267 0 -1 4202560 287 0 0 0 28 11 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725227633448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7272] ppid=7264 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/7267/task/7272/stat : 7272 (java) S 7264 7267 5267 0 -1 4202560 197 0 0 0 28 9 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725226580904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7273] ppid=7264 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/7267/task/7273/stat : 7273 (java) S 7264 7267 5267 0 -1 4202560 309 0 0 0 21 8 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725225528360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7267/tid=7274] ppid=7264 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/7267/task/7274/stat : 7274 (java) S 7264 7267 5267 0 -1 4202560 225 0 0 0 22 8 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725224474792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7275] ppid=7264 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/7267/task/7275/stat : 7275 (java) S 7264 7267 5267 0 -1 4202560 206 0 0 0 28 10 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725223422248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7276] ppid=7264 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/7267/task/7276/stat : 7276 (java) S 7264 7267 5267 0 -1 4202560 255 0 0 0 25 9 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725222369704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7277] ppid=7264 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/7267/task/7277/stat : 7277 (java) S 7264 7267 5267 0 -1 4202560 240 0 0 0 29 10 0 0 20 0 22 0 2402915 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725221317160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7278] ppid=7264 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/7267/task/7278/stat : 7278 (java) S 7264 7267 5267 0 -1 4202560 1397 0 0 0 28 7 0 0 20 0 22 0 2402916 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725208906344 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7279] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7279/stat : 7279 (java) S 7264 7267 5267 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725089986168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7280] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7280/stat : 7280 (java) S 7264 7267 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2402917 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725088933512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7285] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7285/stat : 7285 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725087882256 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7286] ppid=7264 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/7267/task/7286/stat : 7286 (java) S 7264 7267 5267 0 -1 4202560 8370 0 0 0 98 1 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725086828600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7287] ppid=7264 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/7267/task/7287/stat : 7287 (java) S 7264 7267 5267 0 -1 4202560 9982 0 0 0 103 2 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725085776056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7288] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7288/stat : 7288 (java) S 7264 7267 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725084723704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7267/tid=7289] ppid=7264 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/7267/task/7289/stat : 7289 (java) S 7264 7267 5267 0 -1 4202560 53 0 0 0 13 18 0 0 20 0 22 0 2402919 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725083671368 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7328] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7328/stat : 7328 (java) S 7264 7267 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2402933 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725079459496 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7357] ppid=7264 vsize=9824732 CPUtime=896.96 cores=1,3,5,7
/proc/7267/task/7357/stat : 7357 (java) R 7264 7267 5267 0 -1 4202560 98 0 0 0 89679 17 0 0 20 0 22 0 2402983 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725081554576 140725090559313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7267/tid=7358] ppid=7264 vsize=9824732 CPUtime=897.22 cores=1,3,5,7
/proc/7267/task/7358/stat : 7358 (java) R 7264 7267 5267 0 -1 4202560 1068 0 0 0 89675 47 0 0 20 0 22 0 2402983 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725082614016 140725090615837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7267/tid=7359] ppid=7264 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7267/task/7359/stat : 7359 (java) S 7264 7267 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2402983 10060525568 755272 33554432000 1073741824 1073778376 140736354549552 140725080511528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
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 7267 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 899.058
CPU time (s): 1800.59
CPU user time (s): 1798.73
CPU system time (s): 1.86272
CPU usage (%): 200.275
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.86272
maximum resident set size= 3025552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26660
page faults= 1
swaps= 0
block input operations= 0
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21557
involuntary context switches= 20337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8931 second user time and 7.16491 second system time
The end