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-4106161-1466269086/watcher-4106161-1466269086 -o /tmp/evaluation-result-4106161-1466269086/solver-4106161-1466269086 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28301 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106161-1466269086.opb
pid=30026
running on 4 cores: 0,2,4,6
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.51 3.97 3.97 4/196 30029
/proc/meminfo: memFree=28953960/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/30029/stat : 30029 (java) D 30026 30029 28285 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 28956995 2560000 47 33554432000 1073741824 1073778376 140735724593584 140735724590712 217401355559 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 625 47 37 9 0 29 0
[startup+0.100058 s]
/proc/loadavg: 3.51 3.97 3.97 4/196 30029
/proc/meminfo: memFree=28953960/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 4313 0 1 0 7 1 0 0 20 0 18 0 28956995 9787879424 5432 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2389619 5432 2096 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200213 s]
/proc/loadavg: 3.51 3.97 3.97 4/196 30029
/proc/meminfo: memFree=28953960/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 4788 0 1 0 21 1 0 0 20 0 22 0 28956995 10060525568 7909 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2456183 7909 2203 9 0 2446860 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9824732
[startup+0.300218 s]
/proc/loadavg: 3.51 3.97 3.97 4/196 30029
/proc/meminfo: memFree=28953960/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 6562 0 1 0 39 1 0 0 20 0 22 0 28956995 10060525568 9025 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2456183 9025 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9824732
[startup+0.700186 s]
/proc/loadavg: 3.51 3.97 3.97 4/196 30029
/proc/meminfo: memFree=28953960/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 13144 0 1 0 159 2 0 0 20 0 22 0 28956995 10060525568 16976 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2456183 16976 2239 9 0 2446860 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9824732
[startup+1.50081 s]
/proc/loadavg: 3.51 3.97 3.97 2/215 30051
/proc/meminfo: memFree=28866120/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 18465 0 1 0 271 5 0 0 20 0 19 0 28956995 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2456183 25685 2256 9 0 2446860 0
[pid=30029/tid=30031] ppid=30026 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/30029/task/30031/stat : 30031 (java) S 30026 30029 28285 0 -1 4202560 2408 0 1 0 12 1 0 0 20 0 19 0 28956996 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423437706104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30032] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30032/stat : 30032 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423426767272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30033] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30033/stat : 30033 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423425714728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30034] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30034/stat : 30034 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423424661672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30035] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30035/stat : 30035 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423423609128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30036] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30036/stat : 30036 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423422557096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30037] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30037/stat : 30037 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423421504552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30038] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30038/stat : 30038 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423420451496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30039] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30039/stat : 30039 (java) S 30026 30029 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423273855784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30040] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30040/stat : 30040 (java) S 30026 30029 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28956999 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423261657448 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30041] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30041/stat : 30041 (java) S 30026 30029 28285 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28956999 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423260603768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30042] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30042/stat : 30042 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28956999 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423259550600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30043] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30043/stat : 30043 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28957001 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423258499344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30044] ppid=30026 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/30029/task/30044/stat : 30044 (java) S 30026 30029 28285 0 -1 4202560 6483 0 0 0 74 1 0 0 20 0 19 0 28957001 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423257447224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30045] ppid=30026 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/30029/task/30045/stat : 30045 (java) S 30026 30029 28285 0 -1 4202560 8210 0 0 0 78 0 0 0 20 0 19 0 28957002 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423256394680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30046] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30046/stat : 30046 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28957002 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423255341816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30047] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30047/stat : 30047 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28957002 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423254289480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30050] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30050/stat : 30050 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28957013 10060525568 25685 33554432000 1073741824 1073778376 140735120228560 140423251129128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 9824732
[startup+3.10094 s]
/proc/loadavg: 3.51 3.97 3.97 4/218 30060
/proc/meminfo: memFree=28840380/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9824732 CPUtime=5.1 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 20297 0 1 0 502 8 0 0 20 0 22 0 28956995 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2456183 50320 2278 9 0 2446860 0
[pid=30029/tid=30031] ppid=30026 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/30029/task/30031/stat : 30031 (java) S 30026 30029 28285 0 -1 4202560 2409 0 1 0 12 1 0 0 20 0 22 0 28956996 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423437706104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30032] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30032/stat : 30032 (java) S 30026 30029 28285 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423426767272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30033] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30033/stat : 30033 (java) S 30026 30029 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423425714728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30034] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30034/stat : 30034 (java) S 30026 30029 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423424661672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30035] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30035/stat : 30035 (java) S 30026 30029 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423423609128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30036] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30036/stat : 30036 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423422557096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30037] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30037/stat : 30037 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423421504552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30038] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30038/stat : 30038 (java) S 30026 30029 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423420451496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30039] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30039/stat : 30039 (java) S 30026 30029 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423273855784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30040] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30040/stat : 30040 (java) S 30026 30029 28285 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423261657448 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30041] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30041/stat : 30041 (java) S 30026 30029 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423260603768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30042] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30042/stat : 30042 (java) S 30026 30029 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423259550600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30043] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30043/stat : 30043 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957001 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423258499344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30044] ppid=30026 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/30029/task/30044/stat : 30044 (java) R 30026 30029 28285 0 -1 4202560 8133 0 0 0 108 1 0 0 20 0 22 0 28957001 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423257447104 140423443667950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30045] ppid=30026 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/30029/task/30045/stat : 30045 (java) S 30026 30029 28285 0 -1 4202560 8214 0 0 0 91 0 0 0 20 0 22 0 28957002 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423256394680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30046] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30046/stat : 30046 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957002 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423255341816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30047] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30047/stat : 30047 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957002 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423254289480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30050] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30050/stat : 30050 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28957013 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423251129128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30058] ppid=30026 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/30029/task/30058/stat : 30058 (java) R 30026 30029 28285 0 -1 4202560 11 0 0 0 88 0 0 0 20 0 22 0 28957213 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423250067088 140423302321775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30059] ppid=30026 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/30029/task/30059/stat : 30059 (java) R 30026 30029 28285 0 -1 4202560 43 0 0 0 87 1 0 0 20 0 22 0 28957213 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423253232864 140423301985772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30060] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30060/stat : 30060 (java) S 30026 30029 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28957213 10060525568 50320 33554432000 1073741824 1073778376 140735120228560 140423252182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30029 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20115 s]
/proc/loadavg: 3.51 3.97 3.97 4/218 30060
/proc/meminfo: memFree=28840380/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9824732 CPUtime=5.41 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 21312 0 1 0 532 9 0 0 20 0 22 0 28956995 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2456183 53450 2278 9 0 2446860 0
[pid=30029/tid=30031] ppid=30026 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/30029/task/30031/stat : 30031 (java) S 30026 30029 28285 0 -1 4202560 2409 0 1 0 12 1 0 0 20 0 22 0 28956996 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423437706104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30032] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30032/stat : 30032 (java) S 30026 30029 28285 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 28956997 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423426767272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30033] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30033/stat : 30033 (java) S 30026 30029 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423425714728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30034] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30034/stat : 30034 (java) S 30026 30029 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423424661672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30035] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30035/stat : 30035 (java) S 30026 30029 28285 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423423609128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30036] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30036/stat : 30036 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423422557096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30037] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30037/stat : 30037 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423421504552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30038] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30038/stat : 30038 (java) S 30026 30029 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423420451496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30039] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30039/stat : 30039 (java) S 30026 30029 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423273855784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30040] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30040/stat : 30040 (java) S 30026 30029 28285 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423261657448 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30041] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30041/stat : 30041 (java) S 30026 30029 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423260603768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30042] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30042/stat : 30042 (java) S 30026 30029 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423259550600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30043] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30043/stat : 30043 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957001 10060525568 53450 33554432000 1073741824 1073778376 140735120228560 140423258499344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=30029/tid=30040] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30040/stat : 30040 (java) S 30026 30029 28285 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423261657448 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30041] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30041/stat : 30041 (java) S 30026 30029 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423260603768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30042] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30042/stat : 30042 (java) S 30026 30029 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423259550600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30043] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30043/stat : 30043 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957001 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423258499344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30044] ppid=30026 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/30029/task/30044/stat : 30044 (java) R 30026 30029 28285 0 -1 4202560 11823 0 0 0 146 2 0 0 20 0 22 0 28957001 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423257441088 140423440611416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30045] ppid=30026 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/30029/task/30045/stat : 30045 (java) S 30026 30029 28285 0 -1 4202560 8214 0 0 0 95 0 0 0 20 0 22 0 28957002 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423256394680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30046] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30046/stat : 30046 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957002 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423255341816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30047] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30047/stat : 30047 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957002 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423254289480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30050] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30050/stat : 30050 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28957013 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423251129128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30058] ppid=30026 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/30029/task/30058/stat : 30058 (java) R 30026 30029 28285 0 -1 4202560 13 0 0 0 175 0 0 0 20 0 22 0 28957213 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423250067088 140423301957244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30059] ppid=30026 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/30029/task/30059/stat : 30059 (java) R 30026 30029 28285 0 -1 4202560 97 0 0 0 173 2 0 0 20 0 22 0 28957213 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423253232928 140423302168137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30060] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30060/stat : 30060 (java) S 30026 30029 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28957213 10060525568 84224 33554432000 1073741824 1073778376 140735120228560 140423252182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 9824732
[startup+4.40093 s]
/proc/loadavg: 3.47 3.95 3.97 4/218 30060
/proc/meminfo: memFree=28612944/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9824732 CPUtime=8.48 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 24755 0 1 0 833 15 0 0 20 0 22 0 28956995 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2456183 86856 2278 9 0 2446860 0
[pid=30029/tid=30031] ppid=30026 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/30029/task/30031/stat : 30031 (java) S 30026 30029 28285 0 -1 4202560 2409 0 1 0 12 1 0 0 20 0 22 0 28956996 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423437706104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30032] ppid=30026 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/30029/task/30032/stat : 30032 (java) S 30026 30029 28285 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 28956997 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423426767272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30033] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30033/stat : 30033 (java) S 30026 30029 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 28956997 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423425714728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30034] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30034/stat : 30034 (java) S 30026 30029 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423424661672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30035] ppid=30026 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/30029/task/30035/stat : 30035 (java) S 30026 30029 28285 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 28956997 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423423609128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30036] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30036/stat : 30036 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423422557096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30037] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30037/stat : 30037 (java) S 30026 30029 28285 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 28956997 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423421504552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30038] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30038/stat : 30038 (java) S 30026 30029 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28956997 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423420451496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30039] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30039/stat : 30039 (java) S 30026 30029 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 28956997 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423273855784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30040] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30040/stat : 30040 (java) S 30026 30029 28285 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423261657448 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30041] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30041/stat : 30041 (java) S 30026 30029 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423260603768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30042] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30042/stat : 30042 (java) S 30026 30029 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28956999 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423259550600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30043] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30043/stat : 30043 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957001 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423258499344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30044] ppid=30026 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
/proc/30029/task/30044/stat : 30044 (java) S 30026 30029 28285 0 -1 4202560 12344 0 0 0 174 3 0 0 20 0 22 0 28957001 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423257447224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30045] ppid=30026 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/30029/task/30045/stat : 30045 (java) S 30026 30029 28285 0 -1 4202560 8214 0 0 0 95 0 0 0 20 0 22 0 28957002 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423256394680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30046] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30046/stat : 30046 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957002 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423255341816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30047] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30047/stat : 30047 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28957002 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423254289480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30050] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30050/stat : 30050 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28957013 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423251129128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30058] ppid=30026 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/30029/task/30058/stat : 30058 (java) R 30026 30029 28285 0 -1 4202560 14 0 0 0 213 0 0 0 20 0 22 0 28957213 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423250075832 140423301932879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30059] ppid=30026 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/30029/task/30059/stat : 30059 (java) R 30026 30029 28285 0 -1 4202560 98 0 0 0 211 2 0 0 20 0 22 0 28957213 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423253232912 140423301915352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30060] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30060/stat : 30060 (java) S 30026 30029 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28957213 10060525568 86856 33554432000 1073741824 1073778376 140735120228560 140423252182568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.48
Current children cumulated vsize (KiB) 9824732
[startup+4.60098 s]
/proc/loadavg: 3.47 3.95 3.97 4/218 30060
/proc/meminfo: memFree=28612944/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9824732 CPUtime=8.8 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 24755 0 1 0 864 16 0 0 20 0 19 0 28956995 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2456183 86844 2278 9 0 2446860 0
[pid=30029/tid=30031] ppid=30026 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/30029/task/30031/stat : 30031 (java) S 30026 30029 28285 0 -1 4202560 2409 0 1 0 12 1 0 0 20 0 19 0 28956996 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423437706104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30032] ppid=30026 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/30029/task/30032/stat : 30032 (java) S 30026 30029 28285 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423426767272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30033] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30033/stat : 30033 (java) S 30026 30029 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423425714728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30034] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30034/stat : 30034 (java) S 30026 30029 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423424661672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30035] ppid=30026 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/30029/task/30035/stat : 30035 (java) S 30026 30029 28285 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423423609128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30036] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30036/stat : 30036 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423422557096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30037] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30037/stat : 30037 (java) S 30026 30029 28285 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423421504552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30038] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30038/stat : 30038 (java) S 30026 30029 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423420451496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30039] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30039/stat : 30039 (java) S 30026 30029 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423273855784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30040] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30040/stat : 30040 (java) S 30026 30029 28285 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 19 0 28956999 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423261657448 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30041] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30041/stat : 30041 (java) S 30026 30029 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28956999 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423260603768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30042] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30042/stat : 30042 (java) S 30026 30029 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28956999 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423259550600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30043] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30043/stat : 30043 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28957001 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423258499344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30044] ppid=30026 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/30029/task/30044/stat : 30044 (java) S 30026 30029 28285 0 -1 4202560 12344 0 0 0 175 3 0 0 20 0 19 0 28957001 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423257447224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30045] ppid=30026 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/30029/task/30045/stat : 30045 (java) S 30026 30029 28285 0 -1 4202560 8214 0 0 0 95 0 0 0 20 0 19 0 28957002 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423256394680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30046] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30046/stat : 30046 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28957002 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423255341816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30047] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30047/stat : 30047 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28957002 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423254289480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30050] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30050/stat : 30050 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28957013 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423251129128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.8
Current children cumulated vsize (KiB) 9824732
[startup+4.70094 s]
/proc/loadavg: 3.47 3.95 3.97 4/218 30060
/proc/meminfo: memFree=28612944/32872528 swapFree=1534436/1655032
[pid=30029] ppid=30026 vsize=9824732 CPUtime=8.81 cores=0,2,4,6
/proc/30029/stat : 30029 (java) S 30026 30029 28285 0 -1 4202496 24755 0 1 0 865 16 0 0 20 0 19 0 28956995 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140735120219696 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30029/statm: 2456183 86844 2278 9 0 2446860 0
[pid=30029/tid=30031] ppid=30026 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/30029/task/30031/stat : 30031 (java) R 30026 30029 28285 0 -1 4202560 2409 0 1 0 13 1 0 0 20 0 19 0 28956996 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423437706104 140423302160034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30032] ppid=30026 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/30029/task/30032/stat : 30032 (java) S 30026 30029 28285 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423426767272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30033] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30033/stat : 30033 (java) S 30026 30029 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423425714728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30034] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30034/stat : 30034 (java) S 30026 30029 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423424661672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30035] ppid=30026 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/30029/task/30035/stat : 30035 (java) S 30026 30029 28285 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423423609128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30036] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30036/stat : 30036 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423422557096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30037] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30037/stat : 30037 (java) S 30026 30029 28285 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423421504552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30038] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30038/stat : 30038 (java) S 30026 30029 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423420451496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30039] ppid=30026 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/30029/task/30039/stat : 30039 (java) S 30026 30029 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 28956997 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423273855784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30040] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30040/stat : 30040 (java) S 30026 30029 28285 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 19 0 28956999 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423261657448 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30029/tid=30041] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30041/stat : 30041 (java) S 30026 30029 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28956999 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423260603768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30042] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30042/stat : 30042 (java) S 30026 30029 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28956999 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423259550600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30043] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30043/stat : 30043 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28957001 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423258499344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30044] ppid=30026 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/30029/task/30044/stat : 30044 (java) S 30026 30029 28285 0 -1 4202560 12344 0 0 0 175 3 0 0 20 0 19 0 28957001 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423257447224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30029/tid=30045] ppid=30026 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/30029/task/30045/stat : 30045 (java) S 30026 30029 28285 0 -1 4202560 8214 0 0 0 95 0 0 0 20 0 19 0 28957002 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423256394680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30046] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30046/stat : 30046 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28957002 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423255341816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30029/tid=30047] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30047/stat : 30047 (java) S 30026 30029 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28957002 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423254289480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30029/tid=30050] ppid=30026 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30029/task/30050/stat : 30050 (java) S 30026 30029 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28957013 10060525568 86844 33554432000 1073741824 1073778376 140735120228560 140423251129128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.81
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 4.73725
CPU time (s): 8.91064
CPU user time (s): 8.69068
CPU system time (s): 0.219966
CPU usage (%): 188.097
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.69068
system time used= 0.219966
maximum resident set size= 352032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24762
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 675
involuntary context switches= 364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014997 second user time and 0.054991 second system time
The end