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-4081777-1465255189/watcher-4081777-1465255189 -o /tmp/evaluation-result-4081777-1465255189/solver-4081777-1465255189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081777-1465255189.opb
pid=22667
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.83 4.11 4.07 4/197 22670
/proc/meminfo: memFree=28864436/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 107452207 98570240 977 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 24065 977 743 9 0 16771 0
[pid=22670/tid=22671] ppid=22667 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) R 22667 22670 20210 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 107452208 98570240 978 33554432000 1073741824 1073778376 140734326906944 139701471551016 262962759040 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100082 s]
/proc/loadavg: 3.83 4.11 4.07 4/197 22670
/proc/meminfo: memFree=28864436/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 4561 0 1 0 10 1 0 0 20 0 18 0 107452207 9787879424 5671 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2389619 5671 2156 9 0 2380296 0
[pid=22670/tid=22671] ppid=22667 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) R 22667 22670 20210 0 -1 4202560 2439 0 1 0 6 1 0 0 20 0 18 0 107452208 9787879424 5671 33554432000 1073741824 1073778376 140734326906944 139701471554464 139701343254720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200333 s]
/proc/loadavg: 3.83 4.11 4.07 4/197 22670
/proc/meminfo: memFree=28864436/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 4670 0 1 0 22 1 0 0 20 0 18 0 107452207 9787879424 6784 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2389619 6784 2213 9 0 2380296 0
[pid=22670/tid=22671] ppid=22667 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) R 22667 22670 20210 0 -1 4202560 2453 0 1 0 16 1 0 0 20 0 18 0 107452208 9787879424 6784 33554432000 1073741824 1073778376 140734326906944 139701471554464 139701343257479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300332 s]
/proc/loadavg: 3.83 4.11 4.07 4/197 22670
/proc/meminfo: memFree=28864436/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 6137 0 1 0 40 3 0 0 20 0 19 0 107452207 10060525568 9155 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2456183 9155 2235 9 0 2446860 0
[pid=22670/tid=22671] ppid=22667 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) S 22667 22670 20210 0 -1 4202560 2466 0 1 0 21 2 0 0 20 0 19 0 107452208 10060525568 9155 33554432000 1073741824 1073778376 140734326906944 139701471556472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824732
[startup+0.700253 s]
/proc/loadavg: 3.83 4.11 4.07 4/197 22670
/proc/meminfo: memFree=28864436/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 6137 0 1 0 40 3 0 0 20 0 19 0 107452207 10060525568 9155 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2456183 9155 2235 9 0 2446860 0
[pid=22670/tid=22671] ppid=22667 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) S 22667 22670 20210 0 -1 4202560 2466 0 1 0 21 2 0 0 20 0 19 0 107452208 10060525568 9155 33554432000 1073741824 1073778376 140734326906944 139701471556472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824732
[startup+1.50083 s]
/proc/loadavg: 3.83 4.11 4.07 3/216 22695
/proc/meminfo: memFree=28828836/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 9074 0 1 0 83 7 0 0 20 0 19 0 107452207 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2456183 13742 2250 9 0 2446860 0
[pid=22670/tid=22671] ppid=22667 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) S 22667 22670 20210 0 -1 4202560 2466 0 1 0 22 2 0 0 20 0 19 0 107452208 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701471556472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22673] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22673/stat : 22673 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701315565864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22674] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22674/stat : 22674 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701314513064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22675] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22675/stat : 22675 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701313460776 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22670/tid=22676] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22676/stat : 22676 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701312407976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22677] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22677/stat : 22677 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701311355688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22678] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22678/stat : 22678 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701310302888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22679] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22679/stat : 22679 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701309250600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22680] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22680/stat : 22680 (java) S 22667 22670 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701308197800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22681] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22681/stat : 22681 (java) S 22667 22670 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107452209 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701295786216 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22682] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22682/stat : 22682 (java) S 22667 22670 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107452210 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701294732280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22683] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22683/stat : 22683 (java) S 22667 22670 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107452210 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701293679880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22684] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22684/stat : 22684 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452212 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701292628368 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22685] ppid=22667 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/22670/task/22685/stat : 22685 (java) S 22667 22670 20210 0 -1 4202560 2088 0 0 0 19 0 0 0 20 0 19 0 107452212 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701291575992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22686] ppid=22667 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/22670/task/22686/stat : 22686 (java) S 22667 22670 20210 0 -1 4202560 3166 0 0 0 25 0 0 0 20 0 19 0 107452212 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701290523192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22687] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22687/stat : 22687 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452212 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701289471096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22688] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22688/stat : 22688 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452212 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701288418504 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22692] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22692/stat : 22692 (java) S 22667 22670 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107452233 10060525568 13742 33554432000 1073741824 1073778376 140734326906944 139701284156456 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 9824732
[startup+3.10082 s]
/proc/loadavg: 3.83 4.11 4.07 3/216 22701
/proc/meminfo: memFree=28812784/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 16076 0 1 0 170 14 0 0 20 0 19 0 107452207 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2456183 22771 2262 9 0 2446860 0
[pid=22670/tid=22671] ppid=22667 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) S 22667 22670 20210 0 -1 4202560 2467 0 1 0 22 2 0 0 20 0 19 0 107452208 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701471556472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22673] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22673/stat : 22673 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701315565864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22674] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22674/stat : 22674 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701314513064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22675] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22675/stat : 22675 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701313460776 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22670/tid=22676] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22676/stat : 22676 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701312407976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22677] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22677/stat : 22677 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701311355688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22678] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22678/stat : 22678 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701310302888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22679] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22679/stat : 22679 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701309250600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22680] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22680/stat : 22680 (java) S 22667 22670 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107452208 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701308197800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22681] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22681/stat : 22681 (java) S 22667 22670 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107452209 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701295786216 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22682] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22682/stat : 22682 (java) S 22667 22670 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107452210 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701294732280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22683] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22683/stat : 22683 (java) S 22667 22670 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107452210 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701293679880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22684] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22684/stat : 22684 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452212 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701292628368 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22685] ppid=22667 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/22670/task/22685/stat : 22685 (java) S 22667 22670 20210 0 -1 4202560 5580 0 0 0 42 2 0 0 20 0 19 0 107452212 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701291575992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22686] ppid=22667 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/22670/task/22686/stat : 22686 (java) S 22667 22670 20210 0 -1 4202560 6640 0 0 0 63 0 0 0 20 0 19 0 107452212 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701290523192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22687] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22687/stat : 22687 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452212 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701289471096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22688] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22688/stat : 22688 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107452212 10060525568 22771 33554432000 1073741824 1073778376 140734326906944 139701288418504 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.3008 s]
/proc/loadavg: 4.00 4.14 4.08 5/219 22716
/proc/meminfo: memFree=28666052/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9824732 CPUtime=6.46 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 17989 0 1 0 618 28 0 0 20 0 22 0 107452207 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2456183 83152 2286 9 0 2446860 0
[pid=22670/tid=22671] ppid=22667 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) S 22667 22670 20210 0 -1 4202560 2469 0 1 0 22 2 0 0 20 0 22 0 107452208 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701471556472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22673] ppid=22667 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/22670/task/22673/stat : 22673 (java) S 22667 22670 20210 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 22 0 107452208 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701315565864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22674] ppid=22667 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/22670/task/22674/stat : 22674 (java) S 22667 22670 20210 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 107452208 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701314513064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22675] ppid=22667 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22670/task/22675/stat : 22675 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 22 0 107452208 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701313460776 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22676] ppid=22667 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/22670/task/22676/stat : 22676 (java) S 22667 22670 20210 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 107452208 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701312407976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22677] ppid=22667 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22670/task/22677/stat : 22677 (java) S 22667 22670 20210 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 107452208 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701311355688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22678] ppid=22667 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/22670/task/22678/stat : 22678 (java) S 22667 22670 20210 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 107452208 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701310302888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22679] ppid=22667 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22670/task/22679/stat : 22679 (java) S 22667 22670 20210 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 107452208 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701309250600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22680] ppid=22667 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/22670/task/22680/stat : 22680 (java) S 22667 22670 20210 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 107452208 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701308197800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22681] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22681/stat : 22681 (java) S 22667 22670 20210 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 107452209 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701295786216 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22682] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22682/stat : 22682 (java) S 22667 22670 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107452210 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701294732280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22683] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22683/stat : 22683 (java) S 22667 22670 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107452210 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701293679880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22684] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22684/stat : 22684 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107452212 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701292628368 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22685] ppid=22667 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/22670/task/22685/stat : 22685 (java) S 22667 22670 20210 0 -1 4202560 7004 0 0 0 73 3 0 0 20 0 22 0 107452212 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701291575992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22686] ppid=22667 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/22670/task/22686/stat : 22686 (java) S 22667 22670 20210 0 -1 4202560 6673 0 0 0 91 0 0 0 20 0 22 0 107452212 10060525568 83152 33554432000 1073741824 1073778376 140734326906944 139701290523192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 3.89 4.03 4.06 5/219 22937
/proc/meminfo: memFree=25602816/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9824732 CPUtime=1763.59 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 27230 0 1 0 176177 182 0 0 20 0 22 0 107452207 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2456183 615661 2294 9 0 2446860 0
[pid=22670/tid=22671] ppid=22667 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) S 22667 22670 20210 0 -1 4202560 2477 0 1 0 25 4 0 0 20 0 22 0 107452208 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701471556472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22673] ppid=22667 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/22670/task/22673/stat : 22673 (java) S 22667 22670 20210 0 -1 4202560 528 0 0 0 233 9 0 0 20 0 22 0 107452208 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701315565864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22674] ppid=22667 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/22670/task/22674/stat : 22674 (java) S 22667 22670 20210 0 -1 4202560 394 0 0 0 243 10 0 0 20 0 22 0 107452208 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701314513064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22675] ppid=22667 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/22670/task/22675/stat : 22675 (java) S 22667 22670 20210 0 -1 4202560 489 0 0 0 227 9 0 0 20 0 22 0 107452208 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701313460776 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22676] ppid=22667 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/22670/task/22676/stat : 22676 (java) S 22667 22670 20210 0 -1 4202560 407 0 0 0 242 10 0 0 20 0 22 0 107452208 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701312407976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22677] ppid=22667 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/22670/task/22677/stat : 22677 (java) S 22667 22670 20210 0 -1 4202560 456 0 0 0 239 10 0 0 20 0 22 0 107452208 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701311355688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22678] ppid=22667 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/22670/task/22678/stat : 22678 (java) S 22667 22670 20210 0 -1 4202560 405 0 0 0 221 9 0 0 20 0 22 0 107452208 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701310302888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22670/tid=22679] ppid=22667 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/22670/task/22679/stat : 22679 (java) S 22667 22670 20210 0 -1 4202560 459 0 0 0 239 9 0 0 20 0 22 0 107452208 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701309250600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22680] ppid=22667 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/22670/task/22680/stat : 22680 (java) S 22667 22670 20210 0 -1 4202560 402 0 0 0 233 11 0 0 20 0 22 0 107452208 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701308197800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22681] ppid=22667 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/22670/task/22681/stat : 22681 (java) S 22667 22670 20210 0 -1 4202560 1586 0 0 0 236 16 0 0 20 0 22 0 107452209 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701295786216 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22682] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22682/stat : 22682 (java) S 22667 22670 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107452210 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701294732280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22683] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22683/stat : 22683 (java) S 22667 22670 20210 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107452210 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701293679880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22684] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22684/stat : 22684 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107452212 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701292628368 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22685] ppid=22667 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/22670/task/22685/stat : 22685 (java) S 22667 22670 20210 0 -1 4202560 7219 0 0 0 79 3 0 0 20 0 22 0 107452212 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701291575992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22686] ppid=22667 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/22670/task/22686/stat : 22686 (java) S 22667 22670 20210 0 -1 4202560 9518 0 0 0 157 2 0 0 20 0 22 0 107452212 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701290523192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22687] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22687/stat : 22687 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107452212 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701289471096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22688] ppid=22667 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/22670/task/22688/stat : 22688 (java) S 22667 22670 20210 0 -1 4202560 51 0 0 0 17 23 0 0 20 0 22 0 107452212 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701288418504 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22707] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22707/stat : 22707 (java) S 22667 22670 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107452483 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701287314600 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22726] ppid=22667 vsize=9824732 CPUtime=822.17 cores=1,3,5,7
/proc/22670/task/22726/stat : 22726 (java) R 22667 22670 20210 0 -1 4202560 69 0 0 0 82202 15 0 0 20 0 22 0 107457439 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701286260256 139701343656808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22727] ppid=22667 vsize=9824732 CPUtime=822.1 cores=1,3,5,7
/proc/22670/task/22727/stat : 22727 (java) R 22667 22670 20210 0 -1 4202560 166 0 0 0 82192 18 0 0 20 0 22 0 107457439 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701284154016 139701343707647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22728] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22728/stat : 22728 (java) S 22667 22670 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107457439 10060525568 615661 33554432000 1073741824 1073778376 140734326906944 139701285209512 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1763.59
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.501 s]
/proc/loadavg: 4.40 4.13 4.09 5/219 22937
/proc/meminfo: memFree=25589352/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 27293 0 1 0 179832 184 0 0 20 0 22 0 107452207 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2456183 618798 2294 9 0 2446860 0
[pid=22670/tid=22671] ppid=22667 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) S 22667 22670 20210 0 -1 4202560 2478 0 1 0 25 4 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701471556472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22673] ppid=22667 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/22670/task/22673/stat : 22673 (java) S 22667 22670 20210 0 -1 4202560 528 0 0 0 236 9 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701315565864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22674] ppid=22667 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/22670/task/22674/stat : 22674 (java) S 22667 22670 20210 0 -1 4202560 403 0 0 0 251 10 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701314513064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22675] ppid=22667 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/22670/task/22675/stat : 22675 (java) S 22667 22670 20210 0 -1 4202560 495 0 0 0 233 9 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701313460776 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22676] ppid=22667 vsize=9824732 CPUtime=2.56 cores=1,3,5,7
/proc/22670/task/22676/stat : 22676 (java) S 22667 22670 20210 0 -1 4202560 415 0 0 0 246 10 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701312407976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22677] ppid=22667 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/22670/task/22677/stat : 22677 (java) S 22667 22670 20210 0 -1 4202560 465 0 0 0 244 10 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701311355688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22678] ppid=22667 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/22670/task/22678/stat : 22678 (java) S 22667 22670 20210 0 -1 4202560 412 0 0 0 228 9 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701310302888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22670/tid=22679] ppid=22667 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/22670/task/22679/stat : 22679 (java) S 22667 22670 20210 0 -1 4202560 463 0 0 0 242 9 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701309250600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22670/tid=22680] ppid=22667 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/22670/task/22680/stat : 22680 (java) S 22667 22670 20210 0 -1 4202560 419 0 0 0 239 11 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701308197800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22681] ppid=22667 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/22670/task/22681/stat : 22681 (java) S 22667 22670 20210 0 -1 4202560 1586 0 0 0 236 16 0 0 20 0 22 0 107452209 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701295786216 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22682] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22682/stat : 22682 (java) S 22667 22670 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107452210 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701294732280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22683] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22683/stat : 22683 (java) S 22667 22670 20210 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107452210 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701293679880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22684] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22684/stat : 22684 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701292628368 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22685] ppid=22667 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/22670/task/22685/stat : 22685 (java) S 22667 22670 20210 0 -1 4202560 7219 0 0 0 79 3 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701291575992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22686] ppid=22667 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/22670/task/22686/stat : 22686 (java) S 22667 22670 20210 0 -1 4202560 9518 0 0 0 157 2 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701290523192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22687] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22687/stat : 22687 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701289471096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22688] ppid=22667 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/22670/task/22688/stat : 22688 (java) S 22667 22670 20210 0 -1 4202560 51 0 0 0 17 23 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701288418504 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22707] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22707/stat : 22707 (java) S 22667 22670 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107452483 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701287314600 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22726] ppid=22667 vsize=9824732 CPUtime=840.24 cores=1,3,5,7
/proc/22670/task/22726/stat : 22726 (java) R 22667 22670 20210 0 -1 4202560 69 0 0 0 84009 15 0 0 20 0 22 0 107457439 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701286259488 139701343678043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22727] ppid=22667 vsize=9824732 CPUtime=840.18 cores=1,3,5,7
/proc/22670/task/22727/stat : 22727 (java) R 22667 22670 20210 0 -1 4202560 168 0 0 0 84000 18 0 0 20 0 22 0 107457439 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701284154904 139701343717962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22728] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22728/stat : 22728 (java) S 22667 22670 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107457439 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701285209512 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 22670 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+900.501 s]
/proc/loadavg: 4.40 4.13 4.09 5/219 22937
/proc/meminfo: memFree=25589352/32872528 swapFree=11320/319964
[pid=22670] ppid=22667 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/22670/stat : 22670 (java) S 22667 22670 20210 0 -1 4202496 27293 0 1 0 179832 184 0 0 20 0 22 0 107452207 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 140734326898080 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22670/statm: 2456183 618798 2294 9 0 2446860 0
[pid=22670/tid=22671] ppid=22667 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/22670/task/22671/stat : 22671 (java) S 22667 22670 20210 0 -1 4202560 2478 0 1 0 25 4 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701471556472 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22673] ppid=22667 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/22670/task/22673/stat : 22673 (java) S 22667 22670 20210 0 -1 4202560 528 0 0 0 236 9 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701315565864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22674] ppid=22667 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/22670/task/22674/stat : 22674 (java) S 22667 22670 20210 0 -1 4202560 403 0 0 0 251 10 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701314513064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22675] ppid=22667 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/22670/task/22675/stat : 22675 (java) S 22667 22670 20210 0 -1 4202560 495 0 0 0 233 9 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701313460776 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22676] ppid=22667 vsize=9824732 CPUtime=2.56 cores=1,3,5,7
/proc/22670/task/22676/stat : 22676 (java) S 22667 22670 20210 0 -1 4202560 415 0 0 0 246 10 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701312407976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22677] ppid=22667 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/22670/task/22677/stat : 22677 (java) S 22667 22670 20210 0 -1 4202560 465 0 0 0 244 10 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701311355688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22678] ppid=22667 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/22670/task/22678/stat : 22678 (java) S 22667 22670 20210 0 -1 4202560 412 0 0 0 228 9 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701310302888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22670/tid=22679] ppid=22667 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/22670/task/22679/stat : 22679 (java) S 22667 22670 20210 0 -1 4202560 463 0 0 0 242 9 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701309250600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22670/tid=22680] ppid=22667 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/22670/task/22680/stat : 22680 (java) S 22667 22670 20210 0 -1 4202560 419 0 0 0 239 11 0 0 20 0 22 0 107452208 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701308197800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22681] ppid=22667 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/22670/task/22681/stat : 22681 (java) S 22667 22670 20210 0 -1 4202560 1586 0 0 0 236 16 0 0 20 0 22 0 107452209 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701295786216 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22682] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22682/stat : 22682 (java) S 22667 22670 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107452210 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701294732280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22683] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22683/stat : 22683 (java) S 22667 22670 20210 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107452210 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701293679880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22684] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22684/stat : 22684 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701292628368 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22685] ppid=22667 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/22670/task/22685/stat : 22685 (java) S 22667 22670 20210 0 -1 4202560 7219 0 0 0 79 3 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701291575992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22670/tid=22686] ppid=22667 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/22670/task/22686/stat : 22686 (java) S 22667 22670 20210 0 -1 4202560 9518 0 0 0 157 2 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701290523192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22687] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22687/stat : 22687 (java) S 22667 22670 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701289471096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22688] ppid=22667 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/22670/task/22688/stat : 22688 (java) S 22667 22670 20210 0 -1 4202560 51 0 0 0 17 23 0 0 20 0 22 0 107452212 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701288418504 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22707] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22707/stat : 22707 (java) S 22667 22670 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107452483 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701287314600 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22726] ppid=22667 vsize=9824732 CPUtime=840.24 cores=1,3,5,7
/proc/22670/task/22726/stat : 22726 (java) R 22667 22670 20210 0 -1 4202560 69 0 0 0 84009 15 0 0 20 0 22 0 107457439 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701286259488 139701343678043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22670/tid=22727] ppid=22667 vsize=9824732 CPUtime=840.18 cores=1,3,5,7
/proc/22670/task/22727/stat : 22727 (java) R 22667 22670 20210 0 -1 4202560 168 0 0 0 84000 18 0 0 20 0 22 0 107457439 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701284154904 139701343717962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22670/tid=22728] ppid=22667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22670/task/22728/stat : 22728 (java) S 22667 22670 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107457439 10060525568 618798 33554432000 1073741824 1073778376 140734326906944 139701285209512 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 900.57
CPU time (s): 1800.79
CPU user time (s): 1798.48
CPU system time (s): 2.31165
CPU usage (%): 199.961
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 2.31165
maximum resident set size= 2903568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27336
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27758
involuntary context switches= 45144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45202 second user time and 6.87695 second system time
The end