runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454384-1307189717/watcher-3454384-1307189717 -o /tmp/evaluation-result-3454384-1307189717/solver-3454384-1307189717 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454384-1307189717.opb
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.98 3.93 3.69 3/551 9135
/proc/meminfo: memFree=13100988/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 2271 0 1 0 0 0 0 0 25 0 2 0 830570342 10681323520 1973 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2607745 1986 906 9 0 2598901 0
[pid=9135/tid=9136] ppid=9133 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) R 9133 9135 4029 0 -1 4202560 6302 0 1 0 0 0 0 0 25 0 2 0 830570342 10694979584 7119 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0786809 s]
/proc/loadavg: 3.98 3.93 3.69 3/551 9135
/proc/meminfo: memFree=13100988/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10538624 CPUtime=0.06 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 11957 0 1 0 5 1 0 0 25 0 18 0 830570342 10791550976 11654 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2634656 11654 1755 9 0 2625390 0
[pid=9135/tid=9136] ppid=9133 vsize=10538624 CPUtime=0.06 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) R 9133 9135 4029 0 -1 4202560 10782 0 1 0 5 1 0 0 25 0 18 0 830570342 10791550976 11654 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 46912505223008 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624
[startup+0.100724 s]
/proc/loadavg: 3.98 3.93 3.69 3/551 9135
/proc/meminfo: memFree=13100988/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10539940 CPUtime=0.1 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 13032 0 1 0 9 1 0 0 25 0 18 0 830570342 10792898560 12729 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2634985 12729 2093 9 0 2625719 0
[pid=9135/tid=9136] ppid=9133 vsize=10539940 CPUtime=0.08 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) R 9133 9135 4029 0 -1 4202560 11107 0 1 0 7 1 0 0 18 0 18 0 830570342 10792898560 12729 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 47580372581814 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539940
[startup+0.341727 s]
/proc/loadavg: 3.98 3.93 3.69 3/551 9135
/proc/meminfo: memFree=13100988/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10543288 CPUtime=0.58 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 18147 0 1 0 56 2 0 0 25 0 18 0 830570342 10796326912 16865 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2635822 16866 2205 9 0 2626556 0
[pid=9135/tid=9136] ppid=9133 vsize=10543288 CPUtime=0.32 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) R 9133 9135 4029 0 -1 4202560 13804 0 1 0 31 1 0 0 18 0 18 0 830570342 10796326912 16866 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 46912505574145 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10543288
[startup+0.700637 s]
/proc/loadavg: 3.98 3.93 3.69 3/551 9135
/proc/meminfo: memFree=13100988/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10544588 CPUtime=1.18 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 54539 0 1 0 111 7 0 0 25 0 18 0 830570342 10797658112 52680 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2636147 52685 2214 9 0 2626881 0
[pid=9135/tid=9136] ppid=9133 vsize=10544588 CPUtime=0.67 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) R 9133 9135 4029 0 -1 4202560 48043 0 1 0 62 5 0 0 18 0 18 0 830570342 10797658112 52688 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 46912505761754 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10544588
[startup+1.50148 s]
/proc/loadavg: 3.90 3.92 3.68 3/570 9157
/proc/meminfo: memFree=12874916/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10548872 CPUtime=1.93 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 66597 0 1 0 185 8 0 0 25 0 19 0 830570342 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2637218 61965 2234 9 0 2627952 0
[pid=9135/tid=9136] ppid=9133 vsize=10548872 CPUtime=0.73 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) S 9133 9135 4029 0 -1 4202560 53478 0 1 0 67 6 0 0 17 0 19 0 830570342 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 2 0 0 0
[pid=9135/tid=9138] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9138/stat : 9138 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830570344 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9139] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9139/stat : 9139 (java) S 9133 9135 4029 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830570344 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9140] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9140/stat : 9140 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830570344 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9141] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9141/stat : 9141 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830570344 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9142] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9142/stat : 9142 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830570344 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9143] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9143/stat : 9143 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830570344 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9144] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9144/stat : 9144 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830570344 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9145] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9145/stat : 9145 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830570344 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9146] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9146/stat : 9146 (java) S 9133 9135 4029 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830570345 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 0 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9147] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9147/stat : 9147 (java) S 9133 9135 4029 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830570345 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9148] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9148/stat : 9148 (java) S 9133 9135 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830570345 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9149] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9149/stat : 9149 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830570348 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982373809 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9150] ppid=9133 vsize=10548872 CPUtime=0.56 cores=0,2,4,6
/proc/9135/task/9150/stat : 9150 (java) R 9133 9135 4029 0 -1 4202560 8246 0 0 0 55 1 0 0 16 0 19 0 830570348 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 47580375424802 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9135/tid=9151] ppid=9133 vsize=10548872 CPUtime=0.36 cores=0,2,4,6
/proc/9135/task/9151/stat : 9151 (java) S 9133 9135 4029 0 -1 4202560 2964 0 0 0 36 0 0 0 18 0 19 0 830570348 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9152] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9152/stat : 9152 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830570348 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9153] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9153/stat : 9153 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830570348 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 2 0 0 0
[pid=9135/tid=9156] ppid=9133 vsize=10548872 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9156/stat : 9156 (java) S 9133 9135 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830570418 10802044928 61965 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10548872
[startup+3.10122 s]
/proc/loadavg: 3.90 3.92 3.68 4/570 9163
/proc/meminfo: memFree=12849868/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10550936 CPUtime=3.63 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 84716 0 1 0 351 12 0 0 25 0 22 0 830570342 10804158464 79749 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2637734 79750 2240 9 0 2628468 0
[pid=9135/tid=9136] ppid=9133 vsize=10550936 CPUtime=0.74 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) S 9133 9135 4029 0 -1 4202560 53618 0 1 0 68 6 0 0 16 0 22 0 830570342 10804158464 79750 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9138] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9138/stat : 9138 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570344 10804158464 79752 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9139] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9139/stat : 9139 (java) S 9133 9135 4029 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830570344 10804158464 79752 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9140] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9140/stat : 9140 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570344 10804158464 79752 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9141] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9141/stat : 9141 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570344 10804158464 79753 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9142] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9142/stat : 9142 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570344 10804158464 79753 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9143] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9143/stat : 9143 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570344 10804158464 79753 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9144] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9144/stat : 9144 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570344 10804158464 79753 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9145] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9145/stat : 9145 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570344 10804158464 79754 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9146] ppid=9133 vsize=10550936 CPUtime=0.03 cores=0,2,4,6
/proc/9135/task/9146/stat : 9146 (java) S 9133 9135 4029 0 -1 4202560 2 0 0 0 3 0 0 0 18 0 22 0 830570345 10804158464 79754 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 0 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9147] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9147/stat : 9147 (java) S 9133 9135 4029 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830570345 10804158464 79755 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9148] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9148/stat : 9148 (java) S 9133 9135 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830570345 10804158464 79756 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9149] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9149/stat : 9149 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570348 10804158464 79756 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982373809 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9150] ppid=9133 vsize=10550936 CPUtime=0.97 cores=0,2,4,6
/proc/9135/task/9150/stat : 9150 (java) S 9133 9135 4029 0 -1 4202560 9396 0 0 0 96 1 0 0 15 0 22 0 830570348 10804158464 79756 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9151] ppid=9133 vsize=10550936 CPUtime=0.61 cores=0,2,4,6
/proc/9135/task/9151/stat : 9151 (java) S 9133 9135 4029 0 -1 4202560 3547 0 0 0 61 0 0 0 15 0 22 0 830570348 10804158464 79756 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9152] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9152/stat : 9152 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570348 10804158464 79757 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9153] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9153/stat : 9153 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830570348 10804158464 79757 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9156] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9156/stat : 9156 (java) S 9133 9135 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830570418 10804158464 79757 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 10550936
[startup+6.30164 s]
/proc/loadavg: 3.90 3.92 3.68 8/573 9172
/proc/meminfo: memFree=12398904/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10550936 CPUtime=9.73 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 207243 0 1 0 946 27 0 0 25 0 22 0 830570342 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2637734 201407 2268 9 0 2628468 0
[pid=9135/tid=9136] ppid=9133 vsize=10550936 CPUtime=0.75 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) S 9133 9135 4029 0 -1 4202560 53619 0 1 0 69 6 0 0 17 0 22 0 830570342 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9138] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9138/stat : 9138 (java) S 9133 9135 4029 0 -1 4202560 1731 0 0 0 0 0 0 0 16 0 22 0 830570344 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9139] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9139/stat : 9139 (java) S 9133 9135 4029 0 -1 4202560 1757 0 0 0 0 0 0 0 16 0 22 0 830570344 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9140] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9140/stat : 9140 (java) S 9133 9135 4029 0 -1 4202560 1310 0 0 0 0 0 0 0 16 0 22 0 830570344 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9141] ppid=9133 vsize=10550936 CPUtime=0.01 cores=0,2,4,6
/proc/9135/task/9141/stat : 9141 (java) S 9133 9135 4029 0 -1 4202560 2219 0 0 0 1 0 0 0 18 0 22 0 830570344 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9142] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9142/stat : 9142 (java) S 9133 9135 4029 0 -1 4202560 2381 0 0 0 0 0 0 0 18 0 22 0 830570344 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 2 0 0 0
[pid=9135/tid=9143] ppid=9133 vsize=10550936 CPUtime=0.01 cores=0,2,4,6
/proc/9135/task/9143/stat : 9143 (java) S 9133 9135 4029 0 -1 4202560 2166 0 0 0 1 0 0 0 18 0 22 0 830570344 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 2 0 0 0
[pid=9135/tid=9144] ppid=9133 vsize=10550936 CPUtime=0.01 cores=0,2,4,6
/proc/9135/task/9144/stat : 9144 (java) S 9133 9135 4029 0 -1 4202560 4006 0 0 0 1 0 0 0 18 0 22 0 830570344 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9145] ppid=9133 vsize=10550936 CPUtime=0.02 cores=0,2,4,6
/proc/9135/task/9145/stat : 9145 (java) S 9133 9135 4029 0 -1 4202560 1760 0 0 0 2 0 0 0 18 0 22 0 830570344 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9146] ppid=9133 vsize=10550936 CPUtime=0.22 cores=0,2,4,6
/proc/9135/task/9146/stat : 9146 (java) S 9133 9135 4029 0 -1 4202560 14263 0 0 0 21 1 0 0 15 0 22 0 830570345 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 0 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9147] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9147/stat : 9147 (java) S 9133 9135 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830570345 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9148] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9148/stat : 9148 (java) S 9133 9135 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830570345 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9149] ppid=9133 vsize=10550936 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9149/stat : 9149 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570348 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982373809 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9150] ppid=9133 vsize=10550936 CPUtime=1.13 cores=0,2,4,6
/proc/9135/task/9150/stat : 9150 (java) S 9133 9135 4029 0 -1 4202560 9413 0 0 0 112 1 0 0 15 0 22 0 830570348 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9151] ppid=9133 vsize=10550936 CPUtime=0.64 cores=0,2,4,6
/proc/9135/task/9151/stat : 9151 (java) S 9133 9135 4029 0 -1 4202560 3552 0 0 0 64 0 0 0 15 0 22 0 830570348 10804158464 201407 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/9135/task/9138/stat : 9138 (java) S 9133 9135 4029 0 -1 4202560 11517 0 0 0 161 2 0 0 16 0 22 0 830570344 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9139] ppid=9133 vsize=10548264 CPUtime=0.92 cores=0,2,4,6
/proc/9135/task/9139/stat : 9139 (java) S 9133 9135 4029 0 -1 4202560 9692 0 0 0 91 1 0 0 16 0 22 0 830570344 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9140] ppid=9133 vsize=10548264 CPUtime=1.1 cores=0,2,4,6
/proc/9135/task/9140/stat : 9140 (java) S 9133 9135 4029 0 -1 4202560 4130 0 0 0 110 0 0 0 16 0 22 0 830570344 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9141] ppid=9133 vsize=10548264 CPUtime=1.17 cores=0,2,4,6
/proc/9135/task/9141/stat : 9141 (java) S 9133 9135 4029 0 -1 4202560 12569 0 0 0 116 1 0 0 15 0 22 0 830570344 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9142] ppid=9133 vsize=10548264 CPUtime=1.26 cores=0,2,4,6
/proc/9135/task/9142/stat : 9142 (java) S 9133 9135 4029 0 -1 4202560 14015 0 0 0 124 2 0 0 16 0 22 0 830570344 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9143] ppid=9133 vsize=10548264 CPUtime=1.31 cores=0,2,4,6
/proc/9135/task/9143/stat : 9143 (java) S 9133 9135 4029 0 -1 4202560 8561 0 0 0 130 1 0 0 16 0 22 0 830570344 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9144] ppid=9133 vsize=10548264 CPUtime=1.23 cores=0,2,4,6
/proc/9135/task/9144/stat : 9144 (java) S 9133 9135 4029 0 -1 4202560 12586 0 0 0 122 1 0 0 15 0 22 0 830570344 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9145] ppid=9133 vsize=10548264 CPUtime=1.35 cores=0,2,4,6
/proc/9135/task/9145/stat : 9145 (java) S 9133 9135 4029 0 -1 4202560 12235 0 0 0 134 1 0 0 16 0 22 0 830570344 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9146] ppid=9133 vsize=10548264 CPUtime=72.79 cores=0,2,4,6
/proc/9135/task/9146/stat : 9146 (java) S 9133 9135 4029 0 -1 4202560 210093 0 0 0 7257 22 0 0 15 0 22 0 830570345 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 0 0 16800975 18446604445755629760 0 0 -1 2 0 0 0
[pid=9135/tid=9147] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9147/stat : 9147 (java) S 9133 9135 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830570345 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9148] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9148/stat : 9148 (java) S 9133 9135 4029 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 830570345 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9149] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9149/stat : 9149 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570348 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982373809 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9150] ppid=9133 vsize=10548264 CPUtime=1.37 cores=0,2,4,6
/proc/9135/task/9150/stat : 9150 (java) S 9133 9135 4029 0 -1 4202560 9449 0 0 0 136 1 0 0 15 0 22 0 830570348 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9151] ppid=9133 vsize=10548264 CPUtime=1.09 cores=0,2,4,6
/proc/9135/task/9151/stat : 9151 (java) S 9133 9135 4029 0 -1 4202560 5015 0 0 0 108 1 0 0 15 0 22 0 830570348 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9152] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9152/stat : 9152 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570348 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9153] ppid=9133 vsize=10548264 CPUtime=0.01 cores=0,2,4,6
/proc/9135/task/9153/stat : 9153 (java) S 9133 9135 4029 0 -1 4202560 49 0 0 0 0 1 0 0 15 0 22 0 830570348 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9175] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9175/stat : 9175 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830570934 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9192] ppid=9133 vsize=10548264 CPUtime=343.94 cores=0,2,4,6
/proc/9135/task/9192/stat : 9192 (java) R 9133 9135 4029 0 -1 4202560 29 0 0 0 34394 0 0 0 25 0 22 0 830613537 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 46912505880416 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9135/tid=9193] ppid=9133 vsize=10548264 CPUtime=343.92 cores=0,2,4,6
/proc/9135/task/9193/stat : 9193 (java) R 9133 9135 4029 0 -1 4202560 5949 0 0 0 34391 1 0 0 25 0 22 0 830613537 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 46912505931303 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9135/tid=9194] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9194/stat : 9194 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830613537 10801422336 816691 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1567.6
Current children cumulated vsize (KiB) 10548264
[startup+882.301 s]
/proc/loadavg: 4.02 3.90 3.80 5/573 9257
/proc/meminfo: memFree=9007660/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10548264 CPUtime=1683.07 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 877761 0 1 0 168194 113 0 0 25 0 22 0 830570342 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2637066 869466 2269 9 0 2627800 0
[pid=9135/tid=9136] ppid=9133 vsize=10548264 CPUtime=0.75 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) S 9133 9135 4029 0 -1 4202560 53632 0 1 0 69 6 0 0 15 0 22 0 830570342 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 2 0 0 0
[pid=9135/tid=9138] ppid=9133 vsize=10548264 CPUtime=1.74 cores=0,2,4,6
/proc/9135/task/9138/stat : 9138 (java) S 9133 9135 4029 0 -1 4202560 11966 0 0 0 172 2 0 0 15 0 22 0 830570344 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9139] ppid=9133 vsize=10548264 CPUtime=0.99 cores=0,2,4,6
/proc/9135/task/9139/stat : 9139 (java) S 9133 9135 4029 0 -1 4202560 9758 0 0 0 98 1 0 0 16 0 22 0 830570344 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9140] ppid=9133 vsize=10548264 CPUtime=1.11 cores=0,2,4,6
/proc/9135/task/9140/stat : 9140 (java) S 9133 9135 4029 0 -1 4202560 4190 0 0 0 111 0 0 0 15 0 22 0 830570344 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9141] ppid=9133 vsize=10548264 CPUtime=1.22 cores=0,2,4,6
/proc/9135/task/9141/stat : 9141 (java) S 9133 9135 4029 0 -1 4202560 12573 0 0 0 121 1 0 0 15 0 22 0 830570344 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9142] ppid=9133 vsize=10548264 CPUtime=1.38 cores=0,2,4,6
/proc/9135/task/9142/stat : 9142 (java) S 9133 9135 4029 0 -1 4202560 15420 0 0 0 136 2 0 0 16 0 22 0 830570344 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 2 0 0 0
[pid=9135/tid=9143] ppid=9133 vsize=10548264 CPUtime=1.38 cores=0,2,4,6
/proc/9135/task/9143/stat : 9143 (java) S 9133 9135 4029 0 -1 4202560 9154 0 0 0 137 1 0 0 16 0 22 0 830570344 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9144] ppid=9133 vsize=10548264 CPUtime=1.35 cores=0,2,4,6
/proc/9135/task/9144/stat : 9144 (java) S 9133 9135 4029 0 -1 4202560 12597 0 0 0 134 1 0 0 16 0 22 0 830570344 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9145] ppid=9133 vsize=10548264 CPUtime=1.46 cores=0,2,4,6
/proc/9135/task/9145/stat : 9145 (java) S 9133 9135 4029 0 -1 4202560 12990 0 0 0 145 1 0 0 16 0 22 0 830570344 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9146] ppid=9133 vsize=10548264 CPUtime=77.62 cores=0,2,4,6
/proc/9135/task/9146/stat : 9146 (java) S 9133 9135 4029 0 -1 4202560 216128 0 0 0 7740 22 0 0 18 0 22 0 830570345 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 0 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9147] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9147/stat : 9147 (java) S 9133 9135 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830570345 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9148] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9148/stat : 9148 (java) S 9133 9135 4029 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 830570345 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9149] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9149/stat : 9149 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570348 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982373809 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9150] ppid=9133 vsize=10548264 CPUtime=1.37 cores=0,2,4,6
/proc/9135/task/9150/stat : 9150 (java) S 9133 9135 4029 0 -1 4202560 9449 0 0 0 136 1 0 0 15 0 22 0 830570348 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9151] ppid=9133 vsize=10548264 CPUtime=1.09 cores=0,2,4,6
/proc/9135/task/9151/stat : 9151 (java) S 9133 9135 4029 0 -1 4202560 5015 0 0 0 108 1 0 0 15 0 22 0 830570348 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9152] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9152/stat : 9152 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570348 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9153] ppid=9133 vsize=10548264 CPUtime=0.01 cores=0,2,4,6
/proc/9135/task/9153/stat : 9153 (java) S 9133 9135 4029 0 -1 4202560 53 0 0 0 0 1 0 0 15 0 22 0 830570348 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9175] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9175/stat : 9175 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830570934 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9192] ppid=9133 vsize=10548264 CPUtime=398.93 cores=0,2,4,6
/proc/9135/task/9192/stat : 9192 (java) R 9133 9135 4029 0 -1 4202560 1324 0 0 0 39893 0 0 0 25 0 22 0 830613537 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 46912505881344 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9135/tid=9193] ppid=9133 vsize=10548264 CPUtime=398.9 cores=0,2,4,6
/proc/9135/task/9193/stat : 9193 (java) R 9133 9135 4029 0 -1 4202560 48058 0 0 0 39883 7 0 0 25 0 22 0 830613537 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 46912505931184 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9135/tid=9194] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9194/stat : 9194 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830613537 10801422336 869466 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1683.07
Current children cumulated vsize (KiB) 10548264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+942.102 s]
/proc/loadavg: 4.07 3.94 3.82 5/573 9259
/proc/meminfo: memFree=8498244/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=10548264 CPUtime=1800.13 cores=0,2,4,6
/proc/9135/stat : 9135 (java) S 9133 9135 4029 0 -1 4202496 1004633 0 1 0 179883 130 0 0 25 0 22 0 830570342 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 2637066 996317 2269 9 0 2627800 0
[pid=9135/tid=9136] ppid=9133 vsize=10548264 CPUtime=0.75 cores=0,2,4,6
/proc/9135/task/9136/stat : 9136 (java) S 9133 9135 4029 0 -1 4202560 53633 0 1 0 69 6 0 0 15 0 22 0 830570342 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 2 0 0 0
[pid=9135/tid=9138] ppid=9133 vsize=10548264 CPUtime=1.88 cores=0,2,4,6
/proc/9135/task/9138/stat : 9138 (java) S 9133 9135 4029 0 -1 4202560 13884 0 0 0 186 2 0 0 16 0 22 0 830570344 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9139] ppid=9133 vsize=10548264 CPUtime=1.08 cores=0,2,4,6
/proc/9135/task/9139/stat : 9139 (java) S 9133 9135 4029 0 -1 4202560 13282 0 0 0 106 2 0 0 16 0 22 0 830570344 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9140] ppid=9133 vsize=10548264 CPUtime=1.2 cores=0,2,4,6
/proc/9135/task/9140/stat : 9140 (java) S 9133 9135 4029 0 -1 4202560 6106 0 0 0 120 0 0 0 15 0 22 0 830570344 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9141] ppid=9133 vsize=10548264 CPUtime=1.3 cores=0,2,4,6
/proc/9135/task/9141/stat : 9141 (java) S 9133 9135 4029 0 -1 4202560 13463 0 0 0 129 1 0 0 15 0 22 0 830570344 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9142] ppid=9133 vsize=10548264 CPUtime=1.58 cores=0,2,4,6
/proc/9135/task/9142/stat : 9142 (java) S 9133 9135 4029 0 -1 4202560 23455 0 0 0 155 3 0 0 16 0 22 0 830570344 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9143] ppid=9133 vsize=10548264 CPUtime=1.5 cores=0,2,4,6
/proc/9135/task/9143/stat : 9143 (java) S 9133 9135 4029 0 -1 4202560 11417 0 0 0 148 2 0 0 15 0 22 0 830570344 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9144] ppid=9133 vsize=10548264 CPUtime=1.44 cores=0,2,4,6
/proc/9135/task/9144/stat : 9144 (java) S 9133 9135 4029 0 -1 4202560 15322 0 0 0 142 2 0 0 16 0 22 0 830570344 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9145] ppid=9133 vsize=10548264 CPUtime=1.46 cores=0,2,4,6
/proc/9135/task/9145/stat : 9145 (java) S 9133 9135 4029 0 -1 4202560 12990 0 0 0 145 1 0 0 15 0 22 0 830570344 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9146] ppid=9133 vsize=10548264 CPUtime=80.57 cores=0,2,4,6
/proc/9135/task/9146/stat : 9146 (java) S 9133 9135 4029 0 -1 4202560 228317 0 0 0 8033 24 0 0 15 0 22 0 830570345 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 0 0 16800975 18446604445755629760 0 0 -1 2 0 0 0
[pid=9135/tid=9147] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9147/stat : 9147 (java) S 9133 9135 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830570345 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9148] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9148/stat : 9148 (java) S 9133 9135 4029 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 830570345 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9149] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9149/stat : 9149 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570348 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982373809 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9150] ppid=9133 vsize=10548264 CPUtime=1.37 cores=0,2,4,6
/proc/9135/task/9150/stat : 9150 (java) S 9133 9135 4029 0 -1 4202560 9449 0 0 0 136 1 0 0 15 0 22 0 830570348 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9151] ppid=9133 vsize=10548264 CPUtime=1.09 cores=0,2,4,6
/proc/9135/task/9151/stat : 9151 (java) S 9133 9135 4029 0 -1 4202560 5015 0 0 0 108 1 0 0 15 0 22 0 830570348 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 4 0 0 0
[pid=9135/tid=9152] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9152/stat : 9152 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830570348 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366105 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9153] ppid=9133 vsize=10548264 CPUtime=0.01 cores=0,2,4,6
/proc/9135/task/9153/stat : 9153 (java) S 9133 9135 4029 0 -1 4202560 57 0 0 0 0 1 0 0 15 0 22 0 830570348 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
[pid=9135/tid=9175] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9175/stat : 9175 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830570934 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 6 0 0 0
[pid=9135/tid=9192] ppid=9133 vsize=10548264 CPUtime=455.58 cores=0,2,4,6
/proc/9135/task/9192/stat : 9192 (java) R 9133 9135 4029 0 -1 4202560 8869 0 0 0 45557 1 0 0 25 0 22 0 830613537 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 46912505852173 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9135/tid=9193] ppid=9133 vsize=10548264 CPUtime=455.55 cores=0,2,4,6
/proc/9135/task/9193/stat : 9193 (java) R 9133 9135 4029 0 -1 4202560 133920 0 0 0 45537 18 0 0 25 0 22 0 830613537 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 46912505931267 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9135/tid=9194] ppid=9133 vsize=10548264 CPUtime=0 cores=0,2,4,6
/proc/9135/task/9194/stat : 9194 (java) S 9133 9135 4029 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830613537 10801422336 996317 33554432000 1073741824 1073778376 140734576675856 18446744073709551615 242982366720 0 4 0 16800975 18446604445755629760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10548264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+942.301 s]
/proc/loadavg: 4.07 3.94 3.82 5/573 9259
/proc/meminfo: memFree=8498244/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=0 CPUtime=1800.41 cores=0,2,4,6
/proc/9135/stat : 9135 (java) Z 9133 9135 4029 0 -1 4203548 1004664 0 1 0 179897 144 0 0 17 0 2 0 830570342 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+942.301 s]
/proc/loadavg: 4.07 3.94 3.82 5/573 9259
/proc/meminfo: memFree=8498244/32951132 swapFree=46579808/67111528
[pid=9135] ppid=9133 vsize=0 CPUtime=1800.41 cores=0,2,4,6
/proc/9135/stat : 9135 (java) Z 9133 9135 4029 0 -1 4203548 1004664 0 1 0 179897 144 0 0 17 0 2 0 830570342 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 942.319
CPU time (s): 1800.45
CPU user time (s): 1798.98
CPU system time (s): 1.46678
CPU usage (%): 191.065
Max. virtual memory (cumulated for all children) (KiB): 10557560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.46678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1004664
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24125
involuntary context switches= 21167
runsolver used 5.59115 second user time and 11.6012 second system time
The end