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-4119533-1467258365/watcher-4119533-1467258365 -o /tmp/evaluation-result-4119533-1467258365/solver-4119533-1467258365 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5593 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119533-1467258365.opb
pid=10059
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.94 3.99 3.99 4/197 10062
/proc/meminfo: memFree=26860124/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/10062/stat : 10062 (java) R 10059 10062 5416 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 4867622 278528 34 33554432000 1073741824 1073778376 140733331247040 140735184121672 251134045365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 68 34 25 9 0 25 0
[startup+0.10006 s]
/proc/loadavg: 3.94 3.99 3.99 4/197 10062
/proc/meminfo: memFree=26860124/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/10062/stat : 10062 (java) S 10059 10062 5416 0 -1 4202496 4401 0 1 0 7 1 0 0 20 0 18 0 4867622 9787879424 6038 33554432000 1073741824 1073778376 140733331247040 140733331238176 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 2389619 6038 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200313 s]
/proc/loadavg: 3.94 3.99 3.99 4/197 10062
/proc/meminfo: memFree=26860124/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/10062/stat : 10062 (java) S 10059 10062 5416 0 -1 4202496 4633 0 1 0 21 2 0 0 20 0 18 0 4867622 9787879424 7252 33554432000 1073741824 1073778376 140733331247040 140733331238176 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 2389619 7258 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300314 s]
/proc/loadavg: 3.94 3.99 3.99 4/197 10062
/proc/meminfo: memFree=26860124/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/10062/stat : 10062 (java) S 10059 10062 5416 0 -1 4202496 4779 0 1 0 27 4 0 0 20 0 19 0 4867622 10060525568 7860 33554432000 1073741824 1073778376 140733331247040 140733331238176 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 2456183 7860 2239 9 0 2446860 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9824732
[startup+0.700242 s]
/proc/loadavg: 3.94 3.99 3.99 4/197 10062
/proc/meminfo: memFree=26860124/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/10062/stat : 10062 (java) S 10059 10062 5416 0 -1 4202496 4779 0 1 0 27 4 0 0 20 0 19 0 4867622 10060525568 7860 33554432000 1073741824 1073778376 140733331247040 140733331238176 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 2456183 7860 2239 9 0 2446860 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9824732
[startup+1.50076 s]
/proc/loadavg: 3.94 3.99 3.99 3/216 10087
/proc/meminfo: memFree=26832820/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/10062/stat : 10062 (java) S 10059 10062 5416 0 -1 4202496 7001 0 1 0 44 7 0 0 20 0 19 0 4867622 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 140733331238176 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 2456183 11174 2255 9 0 2446860 0
[pid=10062/tid=10064] ppid=10059 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/10062/task/10064/stat : 10064 (java) S 10059 10062 5416 0 -1 4202560 2422 0 1 0 17 2 0 0 20 0 19 0 4867623 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776380511096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10065] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10065/stat : 10065 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776358611240 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10066] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10066/stat : 10066 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776357558440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10067] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10067/stat : 10067 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776356506152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10068] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10068/stat : 10068 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776019655080 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10069] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10069/stat : 10069 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776018602792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10070] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10070/stat : 10070 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776017549992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10071] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10071/stat : 10071 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776016497704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10072] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10072/stat : 10072 (java) S 10059 10062 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776015444904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10073] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10073/stat : 10073 (java) S 10059 10062 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4867625 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776003246312 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10074] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10074/stat : 10074 (java) S 10059 10062 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4867625 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776002192376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10075] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10075/stat : 10075 (java) S 10059 10062 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4867625 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776001139976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10076] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10076/stat : 10076 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867628 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139776000088464 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10077] ppid=10059 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/10062/task/10077/stat : 10077 (java) S 10059 10062 5416 0 -1 4202560 1106 0 0 0 8 0 0 0 20 0 19 0 4867628 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139775999036088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10078] ppid=10059 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/10062/task/10078/stat : 10078 (java) S 10059 10062 5416 0 -1 4202560 2125 0 0 0 10 0 0 0 20 0 19 0 4867628 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139775997983288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10079] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10079/stat : 10079 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867628 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139775996931192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10080] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10080/stat : 10080 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867628 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139775995878600 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10083] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10083/stat : 10083 (java) S 10059 10062 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4867644 10060525568 11174 33554432000 1073741824 1073778376 140733331247040 139775992620200 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824732
[startup+3.10076 s]
/proc/loadavg: 3.94 3.99 3.99 3/216 10093
/proc/meminfo: memFree=26787760/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/10062/stat : 10062 (java) S 10059 10062 5416 0 -1 4202496 19042 0 1 0 198 11 0 0 20 0 20 0 4867622 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 140733331238176 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 2456183 22346 2264 9 0 2446860 0
[pid=10062/tid=10064] ppid=10059 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/10062/task/10064/stat : 10064 (java) S 10059 10062 5416 0 -1 4202560 2424 0 1 0 18 2 0 0 20 0 20 0 4867623 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776380511096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10065] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10065/stat : 10065 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867624 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776358611240 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10066] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10066/stat : 10066 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867624 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776357558440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10067] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10067/stat : 10067 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867624 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776356506152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10068] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10068/stat : 10068 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867624 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776019655080 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10069] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10069/stat : 10069 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867624 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776018602792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10070] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10070/stat : 10070 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867624 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776017549992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10071] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10071/stat : 10071 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867624 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776016497704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10072] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10072/stat : 10072 (java) S 10059 10062 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4867624 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776015444904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10073] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10073/stat : 10073 (java) S 10059 10062 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4867625 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776003246312 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10074] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10074/stat : 10074 (java) S 10059 10062 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 4867625 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776002192376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10075] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10075/stat : 10075 (java) S 10059 10062 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4867625 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776001139976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10076] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10076/stat : 10076 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867628 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139776000088464 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10077] ppid=10059 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/10062/task/10077/stat : 10077 (java) S 10059 10062 5416 0 -1 4202560 7490 0 0 0 55 1 0 0 20 0 20 0 4867628 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139775999036088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10078] ppid=10059 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/10062/task/10078/stat : 10078 (java) S 10059 10062 5416 0 -1 4202560 7742 0 0 0 46 2 0 0 20 0 20 0 4867628 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139775997983288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10079] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10079/stat : 10079 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867628 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139775996931192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10080] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10080/stat : 10080 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4867628 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139775995878600 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10083] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10083/stat : 10083 (java) S 10059 10062 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4867644 10060525568 22346 33554432000 1073741824 1073778376 140733331247040 139775992620200 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.30078 s]
/proc/loadavg: 4.02 4.01 3.99 3/216 10113
/proc/meminfo: memFree=26679124/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/10062/stat : 10062 (java) S 10059 10062 5416 0 -1 4202496 19315 0 1 0 370 19 0 0 20 0 19 0 4867622 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 140733331238176 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 2456183 46791 2288 9 0 2446860 0
[pid=10062/tid=10064] ppid=10059 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/10062/task/10064/stat : 10064 (java) R 10059 10062 5416 0 -1 4202560 2426 0 1 0 19 2 0 0 20 0 19 0 4867623 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776380511096 251146593453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10065] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10065/stat : 10065 (java) S 10059 10062 5416 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776358611240 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10066] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10066/stat : 10066 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776357558440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10067] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10067/stat : 10067 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776356506152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10068] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10068/stat : 10068 (java) S 10059 10062 5416 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776019655080 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10069] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10069/stat : 10069 (java) S 10059 10062 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776018602792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10070] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10070/stat : 10070 (java) S 10059 10062 5416 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776017549992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10071] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10071/stat : 10071 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776016497704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10072] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10072/stat : 10072 (java) S 10059 10062 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4867624 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776015444904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10073] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10073/stat : 10073 (java) S 10059 10062 5416 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4867625 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776003246312 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10074] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10074/stat : 10074 (java) S 10059 10062 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4867625 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776002192376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10075] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10075/stat : 10075 (java) S 10059 10062 5416 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4867625 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776001139976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10076] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10076/stat : 10076 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867628 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139776000088464 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10077] ppid=10059 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/10062/task/10077/stat : 10077 (java) S 10059 10062 5416 0 -1 4202560 7590 0 0 0 93 2 0 0 20 0 19 0 4867628 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139775999036088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10078] ppid=10059 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/10062/task/10078/stat : 10078 (java) S 10059 10062 5416 0 -1 4202560 7777 0 0 0 83 2 0 0 20 0 19 0 4867628 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139775997983288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10079] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10079/stat : 10079 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867628 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139775996931192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10080] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10080/stat : 10080 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4867628 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139775995878600 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10083] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10083/stat : 10083 (java) S 10059 10062 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4867644 10060525568 46791 33554432000 1073741824 1073778376 140733331247040 139775992620200 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9824732
################
# More data... #
################
/proc/10062/task/10067/stat : 10067 (java) S 10059 10062 5416 0 -1 4202560 469 0 0 0 207 13 0 0 20 0 22 0 4867624 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776356506152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10068] ppid=10059 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/10062/task/10068/stat : 10068 (java) S 10059 10062 5416 0 -1 4202560 482 0 0 0 238 11 0 0 20 0 22 0 4867624 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776019655080 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10069] ppid=10059 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/10062/task/10069/stat : 10069 (java) S 10059 10062 5416 0 -1 4202560 533 0 0 0 259 15 0 0 20 0 22 0 4867624 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776018602792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10070] ppid=10059 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/10062/task/10070/stat : 10070 (java) S 10059 10062 5416 0 -1 4202560 494 0 0 0 232 16 0 0 20 0 22 0 4867624 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776017549992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10071] ppid=10059 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/10062/task/10071/stat : 10071 (java) S 10059 10062 5416 0 -1 4202560 508 0 0 0 215 15 0 0 20 0 22 0 4867624 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776016497704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10072] ppid=10059 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/10062/task/10072/stat : 10072 (java) S 10059 10062 5416 0 -1 4202560 552 0 0 0 234 16 0 0 20 0 22 0 4867624 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776015444904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10073] ppid=10059 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/10062/task/10073/stat : 10073 (java) S 10059 10062 5416 0 -1 4202560 2011 0 0 0 241 10 0 0 20 0 22 0 4867625 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776003246312 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10074] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10074/stat : 10074 (java) S 10059 10062 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4867625 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776002192376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10075] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10075/stat : 10075 (java) S 10059 10062 5416 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 4867625 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776001139976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10076] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10076/stat : 10076 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4867628 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139776000088464 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10077] ppid=10059 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/10062/task/10077/stat : 10077 (java) S 10059 10062 5416 0 -1 4202560 13075 0 0 0 221 3 0 0 20 0 22 0 4867628 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139775999036088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10078] ppid=10059 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/10062/task/10078/stat : 10078 (java) S 10059 10062 5416 0 -1 4202560 11657 0 0 0 167 2 0 0 20 0 22 0 4867628 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139775997983288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10079] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10079/stat : 10079 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4867628 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139775996931192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10080] ppid=10059 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/10062/task/10080/stat : 10080 (java) S 10059 10062 5416 0 -1 4202560 51 0 0 0 15 18 0 0 20 0 22 0 4867628 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139775995878600 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10083] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10083/stat : 10083 (java) S 10059 10062 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4867644 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139775992620200 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10152] ppid=10059 vsize=9824732 CPUtime=858.39 cores=1,3,5,7
/proc/10062/task/10152/stat : 10152 (java) R 10059 10062 5416 0 -1 4202560 63 0 0 0 85823 16 0 0 20 0 22 0 4869014 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139775991558528 139776239119490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10153] ppid=10059 vsize=9824732 CPUtime=858.38 cores=1,3,5,7
/proc/10062/task/10153/stat : 10153 (java) R 10059 10062 5416 0 -1 4202560 958 0 0 0 85794 44 0 0 20 0 22 0 4869014 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139775993670928 139776238312194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10154] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10154/stat : 10154 (java) S 10059 10062 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4869014 10060525568 893231 33554432000 1073741824 1073778376 140733331247040 139775994725160 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1757.11
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.701 s]
/proc/loadavg: 3.99 4.01 3.96 5/220 10854
/proc/meminfo: memFree=23463652/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/10062/stat : 10062 (java) S 10059 10062 5416 0 -1 4202496 36591 0 1 0 179781 225 0 0 20 0 22 0 4867622 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 140733331238176 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 2456183 893233 2304 9 0 2446860 0
[pid=10062/tid=10064] ppid=10059 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/10062/task/10064/stat : 10064 (java) S 10059 10062 5416 0 -1 4202560 2436 0 1 0 23 4 0 0 20 0 22 0 4867623 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776380511096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10065] ppid=10059 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/10062/task/10065/stat : 10065 (java) S 10059 10062 5416 0 -1 4202560 503 0 0 0 249 14 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776358611240 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10066] ppid=10059 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/10062/task/10066/stat : 10066 (java) S 10059 10062 5416 0 -1 4202560 525 0 0 0 245 16 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776357558440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10067] ppid=10059 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/10062/task/10067/stat : 10067 (java) S 10059 10062 5416 0 -1 4202560 469 0 0 0 214 13 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776356506152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10068] ppid=10059 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/10062/task/10068/stat : 10068 (java) S 10059 10062 5416 0 -1 4202560 482 0 0 0 247 11 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776019655080 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10069] ppid=10059 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/10062/task/10069/stat : 10069 (java) S 10059 10062 5416 0 -1 4202560 533 0 0 0 265 15 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776018602792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10070] ppid=10059 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/10062/task/10070/stat : 10070 (java) S 10059 10062 5416 0 -1 4202560 494 0 0 0 238 16 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776017549992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10071] ppid=10059 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/10062/task/10071/stat : 10071 (java) S 10059 10062 5416 0 -1 4202560 508 0 0 0 220 15 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776016497704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10072] ppid=10059 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/10062/task/10072/stat : 10072 (java) S 10059 10062 5416 0 -1 4202560 552 0 0 0 239 16 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776015444904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10073] ppid=10059 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/10062/task/10073/stat : 10073 (java) S 10059 10062 5416 0 -1 4202560 2013 0 0 0 241 10 0 0 20 0 22 0 4867625 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776003246312 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10074] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10074/stat : 10074 (java) S 10059 10062 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4867625 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776002192376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10075] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10075/stat : 10075 (java) S 10059 10062 5416 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 4867625 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776001139976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10076] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10076/stat : 10076 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776000088464 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10077] ppid=10059 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/10062/task/10077/stat : 10077 (java) S 10059 10062 5416 0 -1 4202560 13075 0 0 0 221 3 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775999036088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10078] ppid=10059 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/10062/task/10078/stat : 10078 (java) S 10059 10062 5416 0 -1 4202560 11657 0 0 0 167 2 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775997983288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10079] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10079/stat : 10079 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775996931192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10080] ppid=10059 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/10062/task/10080/stat : 10080 (java) S 10059 10062 5416 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775995878600 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10083] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10083/stat : 10083 (java) S 10059 10062 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4867644 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775992620200 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10152] ppid=10059 vsize=9824732 CPUtime=879.59 cores=1,3,5,7
/proc/10062/task/10152/stat : 10152 (java) R 10059 10062 5416 0 -1 4202560 64 0 0 0 87943 16 0 0 20 0 22 0 4869014 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775991566208 139776238463519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10153] ppid=10059 vsize=9824732 CPUtime=879.57 cores=1,3,5,7
/proc/10062/task/10153/stat : 10153 (java) R 10059 10062 5416 0 -1 4202560 960 0 0 0 87913 44 0 0 20 0 22 0 4869014 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775993672080 139776238449412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10154] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10154/stat : 10154 (java) S 10059 10062 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4869014 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775994725160 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 10062 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+903.701 s]
/proc/loadavg: 3.99 4.01 3.96 5/220 10854
/proc/meminfo: memFree=23463652/32872528 swapFree=239532/272236
[pid=10062] ppid=10059 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/10062/stat : 10062 (java) S 10059 10062 5416 0 -1 4202496 36591 0 1 0 179781 225 0 0 20 0 22 0 4867622 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 140733331238176 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10062/statm: 2456183 893233 2304 9 0 2446860 0
[pid=10062/tid=10064] ppid=10059 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/10062/task/10064/stat : 10064 (java) S 10059 10062 5416 0 -1 4202560 2436 0 1 0 23 4 0 0 20 0 22 0 4867623 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776380511096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10065] ppid=10059 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/10062/task/10065/stat : 10065 (java) S 10059 10062 5416 0 -1 4202560 503 0 0 0 249 14 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776358611240 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10066] ppid=10059 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/10062/task/10066/stat : 10066 (java) S 10059 10062 5416 0 -1 4202560 525 0 0 0 245 16 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776357558440 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10067] ppid=10059 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/10062/task/10067/stat : 10067 (java) S 10059 10062 5416 0 -1 4202560 469 0 0 0 214 13 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776356506152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10068] ppid=10059 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/10062/task/10068/stat : 10068 (java) S 10059 10062 5416 0 -1 4202560 482 0 0 0 247 11 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776019655080 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10069] ppid=10059 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/10062/task/10069/stat : 10069 (java) S 10059 10062 5416 0 -1 4202560 533 0 0 0 265 15 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776018602792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10070] ppid=10059 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/10062/task/10070/stat : 10070 (java) S 10059 10062 5416 0 -1 4202560 494 0 0 0 238 16 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776017549992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10071] ppid=10059 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/10062/task/10071/stat : 10071 (java) S 10059 10062 5416 0 -1 4202560 508 0 0 0 220 15 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776016497704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10072] ppid=10059 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/10062/task/10072/stat : 10072 (java) S 10059 10062 5416 0 -1 4202560 552 0 0 0 239 16 0 0 20 0 22 0 4867624 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776015444904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10062/tid=10073] ppid=10059 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/10062/task/10073/stat : 10073 (java) S 10059 10062 5416 0 -1 4202560 2013 0 0 0 241 10 0 0 20 0 22 0 4867625 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776003246312 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10074] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10074/stat : 10074 (java) S 10059 10062 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4867625 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776002192376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10075] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10075/stat : 10075 (java) S 10059 10062 5416 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 4867625 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776001139976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10076] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10076/stat : 10076 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139776000088464 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10077] ppid=10059 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/10062/task/10077/stat : 10077 (java) S 10059 10062 5416 0 -1 4202560 13075 0 0 0 221 3 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775999036088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10078] ppid=10059 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/10062/task/10078/stat : 10078 (java) S 10059 10062 5416 0 -1 4202560 11657 0 0 0 167 2 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775997983288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10079] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10079/stat : 10079 (java) S 10059 10062 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775996931192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10080] ppid=10059 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/10062/task/10080/stat : 10080 (java) S 10059 10062 5416 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 4867628 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775995878600 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10062/tid=10083] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10083/stat : 10083 (java) S 10059 10062 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4867644 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775992620200 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10152] ppid=10059 vsize=9824732 CPUtime=879.59 cores=1,3,5,7
/proc/10062/task/10152/stat : 10152 (java) R 10059 10062 5416 0 -1 4202560 64 0 0 0 87943 16 0 0 20 0 22 0 4869014 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775991566208 139776238463519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10062/tid=10153] ppid=10059 vsize=9824732 CPUtime=879.57 cores=1,3,5,7
/proc/10062/task/10153/stat : 10153 (java) R 10059 10062 5416 0 -1 4202560 960 0 0 0 87913 44 0 0 20 0 22 0 4869014 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775993672080 139776238449412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10062/tid=10154] ppid=10059 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10062/task/10154/stat : 10154 (java) S 10059 10062 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4869014 10060525568 893233 33554432000 1073741824 1073778376 140733331247040 139775994725160 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10062 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=418358
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=682592
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 903.763
CPU time (s): 1800.06
CPU user time (s): 1797.81
CPU system time (s): 2.25
CPU usage (%): 199.174
Max. virtual memory (cumulated for all children) (KiB): 9826200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.42
system time used= 2.68259
maximum resident set size= 3573044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36627
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24501
involuntary context switches= 25626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57415 second user time and 7.83181 second system time
The end