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-4101738-1466215599/watcher-4101738-1466215599 -o /tmp/evaluation-result-4101738-1466215599/solver-4101738-1466215599 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7346 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101738-1466215599.opb
pid=12063
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.22 4.22 4.26 5/199 12066
/proc/meminfo: memFree=28669176/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 23605872 98570240 977 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 24065 977 744 9 0 16771 0
[pid=12066/tid=12067] ppid=12063 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) R 12063 12066 7329 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 2 0 23605872 98582528 982 33554432000 1073741824 1073778376 140734342685248 139702120721960 215124624797 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0
[startup+0.100062 s]
/proc/loadavg: 4.22 4.22 4.26 5/199 12066
/proc/meminfo: memFree=28669176/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 4500 0 1 0 10 1 0 0 20 0 18 0 23605872 9787879424 6120 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 2389619 6120 2156 9 0 2380296 0
[pid=12066/tid=12067] ppid=12063 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) R 12063 12066 7329 0 -1 4202560 2391 0 1 0 6 1 0 0 20 0 18 0 23605872 9787879424 6122 33554432000 1073741824 1073778376 140734342685248 139702120725408 215128007949 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.20034 s]
/proc/loadavg: 4.22 4.22 4.26 5/199 12066
/proc/meminfo: memFree=28669176/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 5049 0 1 0 28 2 0 0 20 0 18 0 23605872 9787879424 7395 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 2389619 7365 2220 9 0 2380296 0
[pid=12066/tid=12067] ppid=12063 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) R 12063 12066 7329 0 -1 4202560 2404 0 1 0 16 1 0 0 20 0 18 0 23605872 9787879424 7365 33554432000 1073741824 1073778376 140734342685248 139702120726680 139702127255319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300342 s]
/proc/loadavg: 4.22 4.22 4.26 5/199 12066
/proc/meminfo: memFree=28669176/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=9558476 CPUtime=0.59 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 6532 0 1 0 57 2 0 0 20 0 18 0 23605872 9787879424 11807 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 2389619 11807 2235 9 0 2380296 0
[pid=12066/tid=12067] ppid=12063 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) R 12063 12066 7329 0 -1 4202560 2412 0 1 0 26 1 0 0 20 0 18 0 23605872 9787879424 11807 33554432000 1073741824 1073778376 140734342685248 139702120726680 215128007949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476
[startup+0.700244 s]
/proc/loadavg: 4.22 4.22 4.26 5/199 12066
/proc/meminfo: memFree=28669176/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=9558476 CPUtime=1.67 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 18390 0 1 0 157 10 0 0 20 0 18 0 23605872 9787879424 51747 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 2389619 51747 2270 9 0 2380296 0
[pid=12066/tid=12067] ppid=12063 vsize=9558476 CPUtime=0.63 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) R 12063 12066 7329 0 -1 4202560 2474 0 1 0 60 3 0 0 20 0 18 0 23605872 9787879424 51747 33554432000 1073741824 1073778376 140734342685248 139702120724872 139701948927010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 4.22 4.22 4.26 5/221 12088
/proc/meminfo: memFree=28469884/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=9824732 CPUtime=4.33 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 18612 0 1 0 423 10 0 0 20 0 22 0 23605872 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 2456183 51969 2286 9 0 2446860 0
[pid=12066/tid=12067] ppid=12063 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) S 12063 12066 7329 0 -1 4202560 2489 0 1 0 62 4 0 0 20 0 22 0 23605872 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139702120727416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12069] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12069/stat : 12069 (java) S 12063 12066 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23605873 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139702082218792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12070] ppid=12063 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12066/task/12070/stat : 12070 (java) S 12063 12066 7329 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 23605873 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139702081165992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12071] ppid=12063 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12066/task/12071/stat : 12071 (java) S 12063 12066 7329 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 23605873 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139702080113704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12072] ppid=12063 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/12066/task/12072/stat : 12072 (java) S 12063 12066 7329 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 23605873 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139702079060904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12073] ppid=12063 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12066/task/12073/stat : 12073 (java) S 12063 12066 7329 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 23605873 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139702078007592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12074] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12074/stat : 12074 (java) S 12063 12066 7329 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23605873 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139702076954792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12075] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12075/stat : 12075 (java) S 12063 12066 7329 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23605873 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139702075902504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12076] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12076/stat : 12076 (java) S 12063 12066 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23605873 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139702074849704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12077] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12077/stat : 12077 (java) S 12063 12066 7329 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701944036072 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12078] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12078/stat : 12078 (java) S 12063 12066 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701942982136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12079] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12079/stat : 12079 (java) S 12063 12066 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701941929736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12080] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12080/stat : 12080 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701940878224 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12081] ppid=12063 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/12066/task/12081/stat : 12081 (java) R 12063 12066 7329 0 -1 4202560 5528 0 0 0 87 0 0 0 20 0 22 0 23605876 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701939824704 139702124820872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12082] ppid=12063 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/12066/task/12082/stat : 12082 (java) S 12063 12066 7329 0 -1 4202560 9128 0 0 0 103 3 0 0 20 0 22 0 23605876 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701938772024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12083] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12083/stat : 12083 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701937719928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12084] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12084/stat : 12084 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701936667336 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12085] ppid=12063 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/12066/task/12085/stat : 12085 (java) R 12063 12066 7329 0 -1 4202560 20 0 0 0 76 0 0 0 20 0 22 0 23605944 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701935612872 139701949293510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12086] ppid=12063 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/12066/task/12086/stat : 12086 (java) R 12063 12066 7329 0 -1 4202560 25 0 0 0 75 0 0 0 20 0 22 0 23605944 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701934559016 139701949195280 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12087] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12087/stat : 12087 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139701933508264 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12088] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12088/stat : 12088 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 51969 33554432000 1073741824 1073778376 140734342685248 139700656399912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 9824732
[startup+3.10097 s]
/proc/loadavg: 4.22 4.22 4.26 5/221 12088
/proc/meminfo: memFree=28433332/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=9824732 CPUtime=7.92 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 19067 0 1 0 777 15 0 0 20 0 22 0 23605872 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 2456183 61055 2290 9 0 2446860 0
[pid=12066/tid=12067] ppid=12063 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) S 12063 12066 7329 0 -1 4202560 2489 0 1 0 63 4 0 0 20 0 22 0 23605872 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139702120727416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12069] ppid=12063 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/12066/task/12069/stat : 12069 (java) S 12063 12066 7329 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 22 0 23605873 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139702082218792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12070] ppid=12063 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/12066/task/12070/stat : 12070 (java) S 12063 12066 7329 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 23605873 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139702081165992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12071] ppid=12063 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/12066/task/12071/stat : 12071 (java) S 12063 12066 7329 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 22 0 23605873 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139702080113704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12072] ppid=12063 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/12066/task/12072/stat : 12072 (java) S 12063 12066 7329 0 -1 4202560 109 0 0 0 3 1 0 0 20 0 22 0 23605873 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139702079060904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12073] ppid=12063 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/12066/task/12073/stat : 12073 (java) S 12063 12066 7329 0 -1 4202560 99 0 0 0 1 2 0 0 20 0 22 0 23605873 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139702078007592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12074] ppid=12063 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/12066/task/12074/stat : 12074 (java) S 12063 12066 7329 0 -1 4202560 135 0 0 0 2 0 0 0 20 0 22 0 23605873 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139702076954792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12075] ppid=12063 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/12066/task/12075/stat : 12075 (java) S 12063 12066 7329 0 -1 4202560 82 0 0 0 2 2 0 0 20 0 22 0 23605873 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139702075902504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12076] ppid=12063 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12066/task/12076/stat : 12076 (java) S 12063 12066 7329 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 23605873 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139702074849704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12077] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12077/stat : 12077 (java) S 12063 12066 7329 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701944036072 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12078] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12078/stat : 12078 (java) S 12063 12066 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701942982136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12079] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12079/stat : 12079 (java) S 12063 12066 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701941929736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12080] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12080/stat : 12080 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701940878224 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12081] ppid=12063 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/12066/task/12081/stat : 12081 (java) S 12063 12066 7329 0 -1 4202560 5529 0 0 0 97 0 0 0 20 0 22 0 23605876 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701939824824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12082] ppid=12063 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/12066/task/12082/stat : 12082 (java) S 12063 12066 7329 0 -1 4202560 9153 0 0 0 125 3 0 0 20 0 22 0 23605876 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701938772024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12083] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12083/stat : 12083 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701937719928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12084] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12084/stat : 12084 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701936667336 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12085] ppid=12063 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/12066/task/12085/stat : 12085 (java) R 12063 12066 7329 0 -1 4202560 25 0 0 0 230 0 0 0 20 0 22 0 23605944 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701935610848 139701949286144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12086] ppid=12063 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/12066/task/12086/stat : 12086 (java) R 12063 12066 7329 0 -1 4202560 25 0 0 0 229 0 0 0 20 0 22 0 23605944 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701934557656 139701949196095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12087] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12087/stat : 12087 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139701933508264 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12088] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12088/stat : 12088 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 61055 33554432000 1073741824 1073778376 140734342685248 139700656399912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.28 4.24 4.26 5/221 12088
/proc/meminfo: memFree=28228316/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=9824732 CPUtime=14.67 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 19514 0 1 0 1437 30 0 0 20 0 22 0 23605872 10060525568 111938 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 2456183 111938 2290 9 0 2446860 0
[pid=12066/tid=12067] ppid=12063 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) S 12063 12066 7329 0 -1 4202560 2489 0 1 0 63 4 0 0 20 0 22 0 23605872 10060525568 111938 33554432000 1073741824 1073778376 140734342685248 139702120727416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12069] ppid=12063 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/12066/task/12069/stat : 12069 (java) S 12063 12066 7329 0 -1 4202560 39 0 0 0 3 1 0 0 20 0 22 0 23605873 10060525568 111938 33554432000 1073741824 1073778376 140734342685248 139702082218792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12070] ppid=12063 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/12066/task/12070/stat : 12070 (java) S 12063 12066 7329 0 -1 4202560 51 0 0 0 7 3 0 0 20 0 22 0 23605873 10060525568 111938 33554432000 1073741824 1073778376 140734342685248 139702081165992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12071] ppid=12063 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/12066/task/12071/stat : 12071 (java) S 12063 12066 7329 0 -1 4202560 46 0 0 0 5 3 0 0 20 0 22 0 23605873 10060525568 111938 33554432000 1073741824 1073778376 140734342685248 139702080113704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12072] ppid=12063 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/12066/task/12072/stat : 12072 (java) S 12063 12066 7329 0 -1 4202560 129 0 0 0 4 2 0 0 20 0 22 0 23605873 10060525568 111938 33554432000 1073741824 1073778376 140734342685248 139702079060904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12073] ppid=12063 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/12066/task/12073/stat : 12073 (java) S 12063 12066 7329 0 -1 4202560 166 0 0 0 7 5 0 0 20 0 22 0 23605873 10060525568 111938 33554432000 1073741824 1073778376 140734342685248 139702078007592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12074] ppid=12063 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/12066/task/12074/stat : 12074 (java) S 12063 12066 7329 0 -1 4202560 159 0 0 0 3 1 0 0 20 0 22 0 23605873 10060525568 111938 33554432000 1073741824 1073778376 140734342685248 139702076954792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12075] ppid=12063 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/12066/task/12075/stat : 12075 (java) S 12063 12066 7329 0 -1 4202560 122 0 0 0 8 4 0 0 20 0 22 0 23605873 10060525568 111938 33554432000 1073741824 1073778376 140734342685248 139702075902504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12076] ppid=12063 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
################
# More data... #
################
/proc/12066/task/12071/stat : 12071 (java) S 12063 12066 7329 0 -1 4202560 1351 0 0 0 440 35 0 0 20 0 22 0 23605873 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139702080113704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12072] ppid=12063 vsize=9824732 CPUtime=5.07 cores=1,3,5,7
/proc/12066/task/12072/stat : 12072 (java) S 12063 12066 7329 0 -1 4202560 2720 0 0 0 463 44 0 0 20 0 22 0 23605873 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139702079060904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12073] ppid=12063 vsize=9824732 CPUtime=5.03 cores=1,3,5,7
/proc/12066/task/12073/stat : 12073 (java) S 12063 12066 7329 0 -1 4202560 2239 0 0 0 451 52 0 0 20 0 22 0 23605873 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139702078007592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12074] ppid=12063 vsize=9824732 CPUtime=4.72 cores=1,3,5,7
/proc/12066/task/12074/stat : 12074 (java) S 12063 12066 7329 0 -1 4202560 1511 0 0 0 435 37 0 0 20 0 22 0 23605873 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139702076954792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12075] ppid=12063 vsize=9824732 CPUtime=4.57 cores=1,3,5,7
/proc/12066/task/12075/stat : 12075 (java) S 12063 12066 7329 0 -1 4202560 1627 0 0 0 417 40 0 0 20 0 22 0 23605873 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139702075902504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12076] ppid=12063 vsize=9824732 CPUtime=4.5 cores=1,3,5,7
/proc/12066/task/12076/stat : 12076 (java) S 12063 12066 7329 0 -1 4202560 1728 0 0 0 414 36 0 0 20 0 22 0 23605873 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139702074849704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12077] ppid=12063 vsize=9824732 CPUtime=9 cores=1,3,5,7
/proc/12066/task/12077/stat : 12077 (java) S 12063 12066 7329 0 -1 4202560 3576 0 0 0 893 7 0 0 20 0 22 0 23605874 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701944036072 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12078] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12078/stat : 12078 (java) S 12063 12066 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701942982136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12079] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12079/stat : 12079 (java) S 12063 12066 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701941929736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12080] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12080/stat : 12080 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701940878224 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12081] ppid=12063 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/12066/task/12081/stat : 12081 (java) S 12063 12066 7329 0 -1 4202560 7717 0 0 0 167 1 0 0 20 0 22 0 23605876 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701939824824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12082] ppid=12063 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/12066/task/12082/stat : 12082 (java) S 12063 12066 7329 0 -1 4202560 9182 0 0 0 174 3 0 0 20 0 22 0 23605876 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701938772024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12083] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12083/stat : 12083 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701937719928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12084] ppid=12063 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/12066/task/12084/stat : 12084 (java) S 12063 12066 7329 0 -1 4202560 47 0 0 0 10 20 0 0 20 0 22 0 23605876 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701936667336 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12085] ppid=12063 vsize=9824732 CPUtime=800.5 cores=1,3,5,7
/proc/12066/task/12085/stat : 12085 (java) R 12063 12066 7329 0 -1 4202560 758 0 0 0 80028 22 0 0 20 0 22 0 23605944 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701935610784 139701949062830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12086] ppid=12063 vsize=9824732 CPUtime=800.41 cores=1,3,5,7
/proc/12066/task/12086/stat : 12086 (java) R 12063 12066 7329 0 -1 4202560 1242 0 0 0 80011 30 0 0 20 0 22 0 23605944 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701934558544 139701949081195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12087] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12087/stat : 12087 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139701933508264 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12088] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12088/stat : 12088 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 1147076 33554432000 1073741824 1073778376 140734342685248 139700656399912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1656.63
Current children cumulated vsize (KiB) 9824732
[startup+882.314 s]
/proc/loadavg: 4.24 4.22 4.24 5/221 12180
/proc/meminfo: memFree=22846740/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=9824732 CPUtime=1774.57 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 41897 0 1 0 177030 427 0 0 20 0 22 0 23605872 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 2456183 1240886 2300 9 0 2446860 0
[pid=12066/tid=12067] ppid=12063 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) S 12063 12066 7329 0 -1 4202560 2515 0 1 0 65 5 0 0 20 0 22 0 23605872 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139702120727416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12069] ppid=12063 vsize=9824732 CPUtime=4.99 cores=1,3,5,7
/proc/12066/task/12069/stat : 12069 (java) R 12063 12066 7329 0 -1 4202560 2174 0 0 0 455 44 0 0 20 0 22 0 23605873 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139702082218968 139702127235507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12070] ppid=12063 vsize=9824732 CPUtime=5.13 cores=1,3,5,7
/proc/12066/task/12070/stat : 12070 (java) R 12063 12066 7329 0 -1 4202560 1667 0 0 0 466 47 0 0 20 0 22 0 23605873 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139702081166168 139702123198195 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12071] ppid=12063 vsize=9824732 CPUtime=5.12 cores=1,3,5,7
/proc/12066/task/12071/stat : 12071 (java) R 12063 12066 7329 0 -1 4202560 1436 0 0 0 474 38 0 0 20 0 22 0 23605873 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139702080113832 215124577415 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12072] ppid=12063 vsize=9824732 CPUtime=5.5 cores=1,3,5,7
/proc/12066/task/12072/stat : 12072 (java) R 12063 12066 7329 0 -1 4202560 2856 0 0 0 499 51 0 0 20 0 22 0 23605873 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139702079061032 215124577415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12073] ppid=12063 vsize=9824732 CPUtime=5.35 cores=1,3,5,7
/proc/12066/task/12073/stat : 12073 (java) R 12063 12066 7329 0 -1 4202560 2334 0 0 0 478 57 0 0 20 0 22 0 23605873 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139702078007768 139702127235471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12074] ppid=12063 vsize=9824732 CPUtime=4.93 cores=1,3,5,7
/proc/12066/task/12074/stat : 12074 (java) R 12063 12066 7329 0 -1 4202560 1572 0 0 0 453 40 0 0 20 0 22 0 23605873 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139702076954968 215124577415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12075] ppid=12063 vsize=9824732 CPUtime=5 cores=1,3,5,7
/proc/12066/task/12075/stat : 12075 (java) R 12063 12066 7329 0 -1 4202560 1718 0 0 0 456 44 0 0 20 0 22 0 23605873 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139702075902680 139702127235456 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12076] ppid=12063 vsize=9824732 CPUtime=4.89 cores=1,3,5,7
/proc/12066/task/12076/stat : 12076 (java) R 12063 12066 7329 0 -1 4202560 1800 0 0 0 450 39 0 0 20 0 22 0 23605873 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139702074849832 215124577415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12077] ppid=12063 vsize=9824732 CPUtime=12.44 cores=1,3,5,7
/proc/12066/task/12077/stat : 12077 (java) S 12063 12066 7329 0 -1 4202560 3607 0 0 0 1237 7 0 0 20 0 22 0 23605874 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701944034952 215127995452 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12078] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12078/stat : 12078 (java) S 12063 12066 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701942982136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12079] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12079/stat : 12079 (java) S 12063 12066 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701941929736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12080] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12080/stat : 12080 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701940878224 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12081] ppid=12063 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/12066/task/12081/stat : 12081 (java) S 12063 12066 7329 0 -1 4202560 7717 0 0 0 167 1 0 0 20 0 22 0 23605876 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701939824824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12082] ppid=12063 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/12066/task/12082/stat : 12082 (java) S 12063 12066 7329 0 -1 4202560 9182 0 0 0 174 3 0 0 20 0 22 0 23605876 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701938772024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12083] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12083/stat : 12083 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701937719928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12084] ppid=12063 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/12066/task/12084/stat : 12084 (java) S 12063 12066 7329 0 -1 4202560 51 0 0 0 12 21 0 0 20 0 22 0 23605876 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701936667336 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12085] ppid=12063 vsize=9824732 CPUtime=856.17 cores=1,3,5,7
/proc/12066/task/12085/stat : 12085 (java) S 12063 12066 7329 0 -1 4202560 761 0 0 0 85594 23 0 0 20 0 22 0 23605944 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701935610968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12086] ppid=12063 vsize=9824732 CPUtime=856.1 cores=1,3,5,7
/proc/12066/task/12086/stat : 12086 (java) S 12063 12066 7329 0 -1 4202560 1242 0 0 0 85579 31 0 0 20 0 22 0 23605944 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701934558952 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12087] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12087/stat : 12087 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139701933508264 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12088] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12088/stat : 12088 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 1240886 33554432000 1073741824 1073778376 140734342685248 139700656399912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1774.57
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.001 s]
/proc/loadavg: 4.33 4.25 4.25 5/221 12180
/proc/meminfo: memFree=22865232/32872528 swapFree=1505436/1685308
[pid=12066] ppid=12063 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7
/proc/12066/stat : 12066 (java) S 12063 12066 7329 0 -1 4202496 41908 0 1 0 179584 427 0 0 20 0 22 0 23605872 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 140734342676384 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12066/statm: 2456183 1240880 2300 9 0 2446860 0
[pid=12066/tid=12067] ppid=12063 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/12066/task/12067/stat : 12067 (java) S 12063 12066 7329 0 -1 4202560 2515 0 1 0 65 5 0 0 20 0 22 0 23605872 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139702120727416 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12069] ppid=12063 vsize=9824732 CPUtime=5.03 cores=1,3,5,7
/proc/12066/task/12069/stat : 12069 (java) S 12063 12066 7329 0 -1 4202560 2176 0 0 0 459 44 0 0 20 0 22 0 23605873 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139702082218792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12070] ppid=12063 vsize=9824732 CPUtime=5.17 cores=1,3,5,7
/proc/12066/task/12070/stat : 12070 (java) S 12063 12066 7329 0 -1 4202560 1669 0 0 0 470 47 0 0 20 0 22 0 23605873 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139702081165992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12071] ppid=12063 vsize=9824732 CPUtime=5.17 cores=1,3,5,7
/proc/12066/task/12071/stat : 12071 (java) S 12063 12066 7329 0 -1 4202560 1437 0 0 0 479 38 0 0 20 0 22 0 23605873 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139702080113704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12072] ppid=12063 vsize=9824732 CPUtime=5.52 cores=1,3,5,7
/proc/12066/task/12072/stat : 12072 (java) S 12063 12066 7329 0 -1 4202560 2856 0 0 0 501 51 0 0 20 0 22 0 23605873 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139702079060904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12073] ppid=12063 vsize=9824732 CPUtime=5.43 cores=1,3,5,7
/proc/12066/task/12073/stat : 12073 (java) S 12063 12066 7329 0 -1 4202560 2334 0 0 0 486 57 0 0 20 0 22 0 23605873 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139702078007592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12074] ppid=12063 vsize=9824732 CPUtime=4.96 cores=1,3,5,7
/proc/12066/task/12074/stat : 12074 (java) S 12063 12066 7329 0 -1 4202560 1572 0 0 0 456 40 0 0 20 0 22 0 23605873 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139702076954792 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12075] ppid=12063 vsize=9824732 CPUtime=5.05 cores=1,3,5,7
/proc/12066/task/12075/stat : 12075 (java) S 12063 12066 7329 0 -1 4202560 1719 0 0 0 460 45 0 0 20 0 22 0 23605873 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139702075902504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12076] ppid=12063 vsize=9824732 CPUtime=4.91 cores=1,3,5,7
/proc/12066/task/12076/stat : 12076 (java) S 12063 12066 7329 0 -1 4202560 1802 0 0 0 452 39 0 0 20 0 22 0 23605873 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139702074849704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12077] ppid=12063 vsize=9824732 CPUtime=12.45 cores=1,3,5,7
/proc/12066/task/12077/stat : 12077 (java) S 12063 12066 7329 0 -1 4202560 3607 0 0 0 1237 8 0 0 20 0 22 0 23605874 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701944036072 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12078] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12078/stat : 12078 (java) S 12063 12066 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701942982136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12079] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12079/stat : 12079 (java) S 12063 12066 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23605874 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701941929736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12080] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12080/stat : 12080 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701940878224 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12081] ppid=12063 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/12066/task/12081/stat : 12081 (java) S 12063 12066 7329 0 -1 4202560 7718 0 0 0 169 1 0 0 20 0 22 0 23605876 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701939824824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12082] ppid=12063 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/12066/task/12082/stat : 12082 (java) S 12063 12066 7329 0 -1 4202560 9182 0 0 0 174 3 0 0 20 0 22 0 23605876 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701938772024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12066/tid=12083] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12083/stat : 12083 (java) S 12063 12066 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23605876 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701937719928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12084] ppid=12063 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/12066/task/12084/stat : 12084 (java) S 12063 12066 7329 0 -1 4202560 51 0 0 0 12 21 0 0 20 0 22 0 23605876 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701936667336 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12085] ppid=12063 vsize=9824732 CPUtime=868.73 cores=1,3,5,7
/proc/12066/task/12085/stat : 12085 (java) R 12063 12066 7329 0 -1 4202560 761 0 0 0 86850 23 0 0 20 0 22 0 23605944 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701935603984 139701949062189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12066/tid=12086] ppid=12063 vsize=9824732 CPUtime=868.66 cores=1,3,5,7
/proc/12066/task/12086/stat : 12086 (java) R 12063 12066 7329 0 -1 4202560 1244 0 0 0 86835 31 0 0 20 0 22 0 23605944 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701934558976 139701949128731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12066/tid=12087] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12087/stat : 12087 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139701933508264 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12066/tid=12088] ppid=12063 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12066/task/12088/stat : 12088 (java) S 12063 12066 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23605947 10060525568 1240880 33554432000 1073741824 1073778376 140734342685248 139700656399912 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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 12066 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 12066 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=289682
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=701285
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 895.053
CPU time (s): 1800.11
CPU user time (s): 1795.84
CPU system time (s): 4.27
CPU usage (%): 201.118
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.29
system time used= 4.70129
maximum resident set size= 4963636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41940
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23556
involuntary context switches= 24377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18606 second user time and 7.01293 second system time
The end