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-4080503-1465285072/watcher-4080503-1465285072 -o /tmp/evaluation-result-4080503-1465285072/solver-4080503-1465285072 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465276272-27595 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080503-1465285072.opb
pid=29478
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: 3.68 3.84 4.11 4/197 29481
/proc/meminfo: memFree=26371140/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 110439578 98570240 977 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 24065 977 743 9 0 16771 0
[pid=29481/tid=29482] ppid=29478 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) R 29478 29481 27578 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 110439579 98570240 977 33554432000 1073741824 1073778376 140734200641680 139673079877160 213419640192 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100117 s]
/proc/loadavg: 3.68 3.84 4.11 4/197 29481
/proc/meminfo: memFree=26371140/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 4517 0 1 0 9 2 0 0 20 0 18 0 110439578 9787879424 5638 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 2389619 5638 2156 9 0 2380296 0
[pid=29481/tid=29482] ppid=29478 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) R 29478 29481 27578 0 -1 4202560 2441 0 1 0 6 1 0 0 20 0 18 0 110439579 9787879424 5639 33554432000 1073741824 1073778376 140734200641680 139673079880608 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200289 s]
/proc/loadavg: 3.68 3.84 4.11 4/197 29481
/proc/meminfo: memFree=26371140/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 6861 0 1 0 29 2 0 0 20 0 18 0 110439578 9787879424 8307 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 2389619 8307 2220 9 0 2380296 0
[pid=29481/tid=29482] ppid=29478 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) R 29478 29481 27578 0 -1 4202560 2458 0 1 0 16 1 0 0 20 0 18 0 110439579 9787879424 8307 33554432000 1073741824 1073778376 140734200641680 139673079880608 139673084180003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.300298 s]
/proc/loadavg: 3.68 3.84 4.11 4/197 29481
/proc/meminfo: memFree=26371140/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=9558476 CPUtime=0.59 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 7705 0 1 0 57 2 0 0 20 0 18 0 110439578 9787879424 9688 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 2389619 9688 2233 9 0 2380296 0
[pid=29481/tid=29482] ppid=29478 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) R 29478 29481 27578 0 -1 4202560 2460 0 1 0 26 1 0 0 20 0 18 0 110439579 9787879424 9688 33554432000 1073741824 1073778376 140734200641680 139673079880608 139672952229888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476
[startup+0.700231 s]
/proc/loadavg: 3.68 3.84 4.11 4/197 29481
/proc/meminfo: memFree=26371140/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 17195 0 1 0 204 5 0 0 20 0 22 0 110439578 10060525568 20397 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 2456183 20397 2267 9 0 2446860 0
[pid=29481/tid=29482] ppid=29478 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) S 29478 29481 27578 0 -1 4202560 2522 0 1 0 33 2 0 0 20 0 22 0 110439579 10060525568 20397 33554432000 1073741824 1073778376 140734200641680 139673079882616 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9824732
[startup+1.50092 s]
/proc/loadavg: 3.55 3.81 4.09 8/219 29503
/proc/meminfo: memFree=26268952/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 22906 0 1 0 473 7 0 0 20 0 22 0 110439578 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 2456183 48064 2284 9 0 2446860 0
[pid=29481/tid=29482] ppid=29478 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) S 29478 29481 27578 0 -1 4202560 2522 0 1 0 33 2 0 0 20 0 22 0 110439579 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139673079882616 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29484] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29484/stat : 29484 (java) R 29478 29481 27578 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 110439580 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672923437992 139673085457808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29485] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29485/stat : 29485 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439580 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672922385448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29486] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29486/stat : 29486 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439580 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672921332392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29487] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29487/stat : 29487 (java) R 29478 29481 27578 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 110439580 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672920279848 139673084057775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29488] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29488/stat : 29488 (java) R 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439580 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672919226792 213423010876 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29489] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29489/stat : 29489 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439580 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672918174248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29490] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29490/stat : 29490 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439580 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672917121192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29491] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29491/stat : 29491 (java) S 29478 29481 27578 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 110439580 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672916068648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29492] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29492/stat : 29492 (java) S 29478 29481 27578 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672903870216 213423010876 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29493] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29493/stat : 29493 (java) S 29478 29481 27578 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672902817656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29494] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29494/stat : 29494 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672901764488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29495] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29495/stat : 29495 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672900713232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29496] ppid=29478 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/29481/task/29496/stat : 29496 (java) S 29478 29481 27578 0 -1 4202560 11312 0 0 0 110 2 0 0 20 0 22 0 110439583 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672899660088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29497] ppid=29478 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/29481/task/29497/stat : 29497 (java) S 29478 29481 27578 0 -1 4202560 7651 0 0 0 105 2 0 0 20 0 22 0 110439583 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672898607544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29498] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29498/stat : 29498 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672897554680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29499] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29499/stat : 29499 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672896502344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29500] ppid=29478 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/29481/task/29500/stat : 29500 (java) S 29478 29481 27578 0 -1 4202560 23 0 0 0 108 0 0 0 20 0 22 0 110439616 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672895446392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29501] ppid=29478 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/29481/task/29501/stat : 29501 (java) S 29478 29481 27578 0 -1 4202560 106 0 0 0 109 1 0 0 20 0 22 0 110439616 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672894394184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29502] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29502/stat : 29502 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 48064 33554432000 1073741824 1073778376 140734200641680 139672893343016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29503] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29503/stat : 29503 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 48576 33554432000 1073741824 1073778376 140734200641680 139672892290472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 9824732
[startup+3.10099 s]
/proc/loadavg: 3.55 3.81 4.09 6/219 29503
/proc/meminfo: memFree=26159292/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=9824732 CPUtime=8.35 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 23664 0 1 0 819 16 0 0 20 0 22 0 110439578 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 2456183 89253 2293 9 0 2446860 0
[pid=29481/tid=29482] ppid=29478 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) S 29478 29481 27578 0 -1 4202560 2522 0 1 0 33 2 0 0 20 0 22 0 110439579 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139673079882616 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29484] ppid=29478 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29481/task/29484/stat : 29484 (java) S 29478 29481 27578 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 22 0 110439580 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672923437992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29485] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29485/stat : 29485 (java) S 29478 29481 27578 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 110439580 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672922385448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29486] ppid=29478 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29481/task/29486/stat : 29486 (java) S 29478 29481 27578 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 110439580 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672921332392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29487] ppid=29478 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29481/task/29487/stat : 29487 (java) S 29478 29481 27578 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 110439580 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672920279848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29488] ppid=29478 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29481/task/29488/stat : 29488 (java) S 29478 29481 27578 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 110439580 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672919226792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29489] ppid=29478 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29481/task/29489/stat : 29489 (java) S 29478 29481 27578 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 110439580 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672918174248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29490] ppid=29478 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29481/task/29490/stat : 29490 (java) S 29478 29481 27578 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 110439580 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672917121192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29491] ppid=29478 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29481/task/29491/stat : 29491 (java) S 29478 29481 27578 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 110439580 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672916068648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29492] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29492/stat : 29492 (java) S 29478 29481 27578 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672903871336 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29493] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29493/stat : 29493 (java) S 29478 29481 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672902817656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29494] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29494/stat : 29494 (java) S 29478 29481 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672901764488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29495] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29495/stat : 29495 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672900713232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29496] ppid=29478 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/29481/task/29496/stat : 29496 (java) S 29478 29481 27578 0 -1 4202560 11328 0 0 0 122 3 0 0 20 0 22 0 110439583 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672899660088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29497] ppid=29478 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/29481/task/29497/stat : 29497 (java) S 29478 29481 27578 0 -1 4202560 8048 0 0 0 118 2 0 0 20 0 22 0 110439583 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672898607544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29498] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29498/stat : 29498 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672897554680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29499] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29499/stat : 29499 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672896502344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29500] ppid=29478 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/29481/task/29500/stat : 29500 (java) R 29478 29481 27578 0 -1 4202560 23 0 0 0 260 0 0 0 20 0 22 0 110439616 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672895448184 139672952467843 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29501] ppid=29478 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/29481/task/29501/stat : 29501 (java) R 29478 29481 27578 0 -1 4202560 166 0 0 0 258 3 0 0 20 0 22 0 110439616 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672894394392 139672952647889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29502] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29502/stat : 29502 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672893343016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29503] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29503/stat : 29503 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 89253 33554432000 1073741824 1073778376 140734200641680 139672892290472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 9824732
[startup+6.30085 s]
/proc/loadavg: 3.66 3.83 4.10 6/219 29503
/proc/meminfo: memFree=25727332/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=9824732 CPUtime=15.01 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 24377 0 1 0 1475 26 0 0 20 0 22 0 110439578 10060525568 159025 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 2456183 159025 2293 9 0 2446860 0
[pid=29481/tid=29482] ppid=29478 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) S 29478 29481 27578 0 -1 4202560 2522 0 1 0 33 2 0 0 20 0 22 0 110439579 10060525568 159025 33554432000 1073741824 1073778376 140734200641680 139673079882616 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29484] ppid=29478 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/29481/task/29484/stat : 29484 (java) S 29478 29481 27578 0 -1 4202560 52 0 0 0 3 2 0 0 20 0 22 0 110439580 10060525568 159025 33554432000 1073741824 1073778376 140734200641680 139672923437992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29485] ppid=29478 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29481/task/29485/stat : 29485 (java) S 29478 29481 27578 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 110439580 10060525568 159025 33554432000 1073741824 1073778376 140734200641680 139672922385448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29486] ppid=29478 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/29481/task/29486/stat : 29486 (java) S 29478 29481 27578 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 110439580 10060525568 159025 33554432000 1073741824 1073778376 140734200641680 139672921332392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29487] ppid=29478 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/29481/task/29487/stat : 29487 (java) S 29478 29481 27578 0 -1 4202560 53 0 0 0 4 2 0 0 20 0 22 0 110439580 10060525568 159025 33554432000 1073741824 1073778376 140734200641680 139672920279848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29488] ppid=29478 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/29481/task/29488/stat : 29488 (java) S 29478 29481 27578 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 22 0 110439580 10060525568 159025 33554432000 1073741824 1073778376 140734200641680 139672919226792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29489] ppid=29478 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/29481/task/29489/stat : 29489 (java) S 29478 29481 27578 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 110439580 10060525568 159025 33554432000 1073741824 1073778376 140734200641680 139672918174248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29490] ppid=29478 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/29481/task/29490/stat : 29490 (java) S 29478 29481 27578 0 -1 4202560 34 0 0 0 4 3 0 0 20 0 22 0 110439580 10060525568 159025 33554432000 1073741824 1073778376 140734200641680 139672917121192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29491] ppid=29478 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
################
# More data... #
################
/proc/29481/task/29486/stat : 29486 (java) S 29478 29481 27578 0 -1 4202560 577 0 0 0 252 18 0 0 20 0 22 0 110439580 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672921332392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29487] ppid=29478 vsize=9824732 CPUtime=3.33 cores=1,3,5,7
/proc/29481/task/29487/stat : 29487 (java) S 29478 29481 27578 0 -1 4202560 662 0 0 0 314 19 0 0 20 0 22 0 110439580 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672920279848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29488] ppid=29478 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/29481/task/29488/stat : 29488 (java) S 29478 29481 27578 0 -1 4202560 637 0 0 0 277 17 0 0 20 0 22 0 110439580 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672919226792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29489] ppid=29478 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/29481/task/29489/stat : 29489 (java) S 29478 29481 27578 0 -1 4202560 615 0 0 0 280 19 0 0 20 0 22 0 110439580 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672918174248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29490] ppid=29478 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/29481/task/29490/stat : 29490 (java) S 29478 29481 27578 0 -1 4202560 600 0 0 0 284 20 0 0 20 0 22 0 110439580 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672917121192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29491] ppid=29478 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/29481/task/29491/stat : 29491 (java) S 29478 29481 27578 0 -1 4202560 531 0 0 0 263 16 0 0 20 0 22 0 110439580 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672916068648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29492] ppid=29478 vsize=9824732 CPUtime=5.57 cores=1,3,5,7
/proc/29481/task/29492/stat : 29492 (java) S 29478 29481 27578 0 -1 4202560 2456 0 0 0 551 6 0 0 20 0 22 0 110439581 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672903871336 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29493] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29493/stat : 29493 (java) S 29478 29481 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672902817656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29494] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29494/stat : 29494 (java) S 29478 29481 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672901764488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29495] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29495/stat : 29495 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672900713232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29496] ppid=29478 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/29481/task/29496/stat : 29496 (java) S 29478 29481 27578 0 -1 4202560 11657 0 0 0 163 3 0 0 20 0 22 0 110439583 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672899660088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29497] ppid=29478 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/29481/task/29497/stat : 29497 (java) S 29478 29481 27578 0 -1 4202560 8202 0 0 0 130 3 0 0 20 0 22 0 110439583 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672898607544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29498] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29498/stat : 29498 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672897554680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29499] ppid=29478 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/29481/task/29499/stat : 29499 (java) S 29478 29481 27578 0 -1 4202560 47 0 0 0 11 22 0 0 20 0 22 0 110439583 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672896502344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29500] ppid=29478 vsize=9824732 CPUtime=807.89 cores=1,3,5,7
/proc/29481/task/29500/stat : 29500 (java) R 29478 29481 27578 0 -1 4202560 73 0 0 0 80777 12 0 0 20 0 22 0 110439616 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672895446928 139672952068034 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29501] ppid=29478 vsize=9824732 CPUtime=807.99 cores=1,3,5,7
/proc/29481/task/29501/stat : 29501 (java) R 29478 29481 27578 0 -1 4202560 1679 0 0 0 80753 46 0 0 20 0 22 0 110439616 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672894393648 139672952969472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29502] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29502/stat : 29502 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672893343016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29503] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29503/stat : 29503 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 933712 33554432000 1073741824 1073778376 140734200641680 139672892290472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1652.69
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.44 4.36 4.22 5/219 29877
/proc/meminfo: memFree=23632424/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=9824732 CPUtime=1773.59 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 32879 0 1 0 177143 216 0 0 20 0 22 0 110439578 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 2456183 933753 2302 9 0 2446860 0
[pid=29481/tid=29482] ppid=29478 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) S 29478 29481 27578 0 -1 4202560 2534 0 1 0 36 3 0 0 20 0 22 0 110439579 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139673079882616 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29484] ppid=29478 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/29481/task/29484/stat : 29484 (java) S 29478 29481 27578 0 -1 4202560 761 0 0 0 298 21 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672923437992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29485] ppid=29478 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/29481/task/29485/stat : 29485 (java) S 29478 29481 27578 0 -1 4202560 539 0 0 0 282 16 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672922385448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29486] ppid=29478 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/29481/task/29486/stat : 29486 (java) S 29478 29481 27578 0 -1 4202560 577 0 0 0 281 18 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672921332392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29487] ppid=29478 vsize=9824732 CPUtime=3.56 cores=1,3,5,7
/proc/29481/task/29487/stat : 29487 (java) S 29478 29481 27578 0 -1 4202560 662 0 0 0 337 19 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672920279848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29488] ppid=29478 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/29481/task/29488/stat : 29488 (java) S 29478 29481 27578 0 -1 4202560 647 0 0 0 291 17 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672919226792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29489] ppid=29478 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/29481/task/29489/stat : 29489 (java) S 29478 29481 27578 0 -1 4202560 615 0 0 0 309 19 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672918174248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29490] ppid=29478 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/29481/task/29490/stat : 29490 (java) S 29478 29481 27578 0 -1 4202560 600 0 0 0 303 20 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672917121192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29491] ppid=29478 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/29481/task/29491/stat : 29491 (java) S 29478 29481 27578 0 -1 4202560 531 0 0 0 288 16 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672916068648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29492] ppid=29478 vsize=9824732 CPUtime=5.57 cores=1,3,5,7
/proc/29481/task/29492/stat : 29492 (java) S 29478 29481 27578 0 -1 4202560 2476 0 0 0 551 6 0 0 20 0 22 0 110439581 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672903871336 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29493] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29493/stat : 29493 (java) S 29478 29481 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672902817656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29494] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29494/stat : 29494 (java) S 29478 29481 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672901764488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29495] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29495/stat : 29495 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672900713232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29496] ppid=29478 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/29481/task/29496/stat : 29496 (java) S 29478 29481 27578 0 -1 4202560 11660 0 0 0 164 3 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672899660088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29497] ppid=29478 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/29481/task/29497/stat : 29497 (java) S 29478 29481 27578 0 -1 4202560 8202 0 0 0 130 3 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672898607544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29498] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29498/stat : 29498 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672897554680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29499] ppid=29478 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/29481/task/29499/stat : 29499 (java) S 29478 29481 27578 0 -1 4202560 51 0 0 0 11 24 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672896502344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29500] ppid=29478 vsize=9824732 CPUtime=867.24 cores=1,3,5,7
/proc/29481/task/29500/stat : 29500 (java) R 29478 29481 27578 0 -1 4202560 76 0 0 0 86711 13 0 0 20 0 22 0 110439616 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672895445856 139672952417876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29501] ppid=29478 vsize=9824732 CPUtime=867.34 cores=1,3,5,7
/proc/29481/task/29501/stat : 29501 (java) R 29478 29481 27578 0 -1 4202560 1683 0 0 0 86687 47 0 0 20 0 22 0 110439616 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672894394336 139672952956482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29502] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29502/stat : 29502 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672893343016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29503] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29503/stat : 29503 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672892290472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1773.59
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.601 s]
/proc/loadavg: 4.34 4.34 4.22 5/219 29878
/proc/meminfo: memFree=23631792/32872528 swapFree=16636/1570076
[pid=29481] ppid=29478 vsize=9824732 CPUtime=1800.17 cores=1,3,5,7
/proc/29481/stat : 29481 (java) S 29478 29481 27578 0 -1 4202496 32879 0 1 0 179801 216 0 0 20 0 22 0 110439578 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 140734200632816 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29481/statm: 2456183 933753 2302 9 0 2446860 0
[pid=29481/tid=29482] ppid=29478 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/29481/task/29482/stat : 29482 (java) S 29478 29481 27578 0 -1 4202560 2534 0 1 0 36 3 0 0 20 0 22 0 110439579 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139673079882616 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29484] ppid=29478 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/29481/task/29484/stat : 29484 (java) S 29478 29481 27578 0 -1 4202560 761 0 0 0 298 21 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672923437992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29485] ppid=29478 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/29481/task/29485/stat : 29485 (java) S 29478 29481 27578 0 -1 4202560 539 0 0 0 282 16 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672922385448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29486] ppid=29478 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/29481/task/29486/stat : 29486 (java) S 29478 29481 27578 0 -1 4202560 577 0 0 0 281 18 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672921332392 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29487] ppid=29478 vsize=9824732 CPUtime=3.56 cores=1,3,5,7
/proc/29481/task/29487/stat : 29487 (java) S 29478 29481 27578 0 -1 4202560 662 0 0 0 337 19 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672920279848 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29488] ppid=29478 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/29481/task/29488/stat : 29488 (java) S 29478 29481 27578 0 -1 4202560 647 0 0 0 291 17 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672919226792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29489] ppid=29478 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/29481/task/29489/stat : 29489 (java) S 29478 29481 27578 0 -1 4202560 615 0 0 0 309 19 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672918174248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29490] ppid=29478 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/29481/task/29490/stat : 29490 (java) S 29478 29481 27578 0 -1 4202560 600 0 0 0 303 20 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672917121192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29491] ppid=29478 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/29481/task/29491/stat : 29491 (java) S 29478 29481 27578 0 -1 4202560 531 0 0 0 288 16 0 0 20 0 22 0 110439580 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672916068648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29492] ppid=29478 vsize=9824732 CPUtime=5.57 cores=1,3,5,7
/proc/29481/task/29492/stat : 29492 (java) S 29478 29481 27578 0 -1 4202560 2476 0 0 0 551 6 0 0 20 0 22 0 110439581 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672903871336 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29493] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29493/stat : 29493 (java) S 29478 29481 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672902817656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29494] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29494/stat : 29494 (java) S 29478 29481 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110439581 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672901764488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29495] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29495/stat : 29495 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672900713232 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29481/tid=29496] ppid=29478 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/29481/task/29496/stat : 29496 (java) S 29478 29481 27578 0 -1 4202560 11660 0 0 0 164 3 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672899660088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29497] ppid=29478 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/29481/task/29497/stat : 29497 (java) S 29478 29481 27578 0 -1 4202560 8202 0 0 0 130 3 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672898607544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29498] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29498/stat : 29498 (java) S 29478 29481 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672897554680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29481/tid=29499] ppid=29478 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/29481/task/29499/stat : 29499 (java) S 29478 29481 27578 0 -1 4202560 51 0 0 0 12 24 0 0 20 0 22 0 110439583 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672896502344 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29500] ppid=29478 vsize=9824732 CPUtime=880.5 cores=1,3,5,7
/proc/29481/task/29500/stat : 29500 (java) R 29478 29481 27578 0 -1 4202560 76 0 0 0 88037 13 0 0 20 0 22 0 110439616 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672895445856 139672952453869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29501] ppid=29478 vsize=9824732 CPUtime=880.59 cores=1,3,5,7
/proc/29481/task/29501/stat : 29501 (java) R 29478 29481 27578 0 -1 4202560 1683 0 0 0 88012 47 0 0 20 0 22 0 110439616 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672894394336 139672952740545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29481/tid=29502] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29502/stat : 29502 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672893343016 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29481/tid=29503] ppid=29478 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29481/task/29503/stat : 29503 (java) S 29478 29481 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110439617 10060525568 933753 33554432000 1073741824 1073778376 140734200641680 139672892290472 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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 29481 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29481 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=579334
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=622601
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 895.672
CPU time (s): 1800.17
CPU user time (s): 1798.01
CPU system time (s): 2.16
CPU usage (%): 200.985
Max. virtual memory (cumulated for all children) (KiB): 9826144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 2.6226
maximum resident set size= 3768332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32912
page faults= 1
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23706
involuntary context switches= 24228
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9021 second user time and 7.45487 second system time
The end