runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3500777-1308036278/watcher-3500777-1308036278 -o /tmp/evaluation-result-3500777-1308036278/solver-3500777-1308036278 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3500777-1308036278.gcnf
running on 2 cores: 0,2
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.73 0.16 0.05 2/182 25998
/proc/meminfo: memFree=31748276/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=11804 CPUtime=0 cores=0,2
/proc/25998/stat : 25998 (runsolver) S 25996 25998 25945 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 1 0 915225974 12087296 51 33554432000 4194304 5436572 140736772297344 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 2 0 0 0
/proc/25998/statm: 2951 51 31 304 0 2643 0
[startup+0.016936 s]
/proc/loadavg: 0.73 0.16 0.05 2/182 25998
/proc/meminfo: memFree=31748276/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=11804 CPUtime=0 cores=0,2
/proc/25998/stat : 25998 (runsolver) S 25996 25998 25945 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 1 0 915225974 12087296 51 33554432000 4194304 5436572 140736772297344 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 2 0 0 0
/proc/25998/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.100876 s]
/proc/loadavg: 0.73 0.16 0.05 2/182 25998
/proc/meminfo: memFree=31748276/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=11804 CPUtime=0 cores=0,2
/proc/25998/stat : 25998 (runsolver) S 25996 25998 25945 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 915225974 12087296 56 33554432000 4194304 5436572 140736772297344 18446744073709551615 5057063 0 2147483391 4096 24578 18446744071699199166 0 0 17 2 0 0 0
/proc/25998/statm: 2951 56 36 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.300904 s]
/proc/loadavg: 0.73 0.16 0.05 2/182 25998
/proc/meminfo: memFree=31748276/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=9100 CPUtime=0 cores=0,2
/proc/25998/stat : 25998 (java) S 25996 25998 25945 0 -1 4202496 229 0 0 0 0 0 0 0 18 0 1 0 915225974 9318400 166 33554432000 1073741824 1073778376 140735365791504 18446744073709551615 254500689920 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/25998/statm: 2275 166 125 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100
[startup+0.700807 s]
/proc/loadavg: 0.73 0.16 0.05 2/182 25998
/proc/meminfo: memFree=31748276/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=2464 CPUtime=0 cores=0,2
/proc/25998/stat : 25998 (java) S 25996 25998 25945 0 -1 4194304 281 0 0 0 0 0 0 0 16 0 1 0 915225974 2523136 44 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254495768199 0 2147483391 4096 0 18446744071699199166 0 0 17 2 0 0 0
/proc/25998/statm: 616 44 35 9 0 27 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2464
[startup+1.50064 s]
/proc/loadavg: 0.73 0.16 0.05 2/194 26011
/proc/meminfo: memFree=31699084/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=6363732 CPUtime=0.06 cores=0,2
/proc/25998/stat : 25998 (java) S 25996 25998 25945 0 -1 4202496 8619 0 1 0 5 1 0 0 16 0 18 0 915225974 6516461568 8315 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25998/statm: 1590933 8315 1751 9 0 1581671 0
[pid=25998/tid=26011] ppid=25996 vsize=6363732 CPUtime=0.05 cores=0,2
/proc/25998/task/26011/stat : 26011 (java) S 25996 25998 25945 0 -1 4202560 7443 0 1 0 5 0 0 0 17 0 18 0 915226070 6516461568 8315 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254500687717 0 2147483391 0 16800975 18446744071699199166 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6363732
[startup+3.1012 s]
/proc/loadavg: 0.73 0.16 0.05 1/221 26043
/proc/meminfo: memFree=31641164/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=6433244 CPUtime=0.75 cores=0,2
/proc/25998/stat : 25998 (java) S 25996 25998 25945 0 -1 4202496 36215 0 1 0 71 4 0 0 16 0 18 0 915225974 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25998/statm: 1608311 35383 2201 9 0 1599049 0
[pid=25998/tid=26011] ppid=25996 vsize=6433244 CPUtime=0.57 cores=0,2
/proc/25998/task/26011/stat : 26011 (java) R 25996 25998 25945 0 -1 4202560 32779 0 1 0 54 3 0 0 17 0 18 0 915226070 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 46912505498875 0 4 0 16800975 0 0 0 -1 2 0 0 102
[pid=25998/tid=26019] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26019/stat : 26019 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915226095 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26020] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26020/stat : 26020 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26021] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26021/stat : 26021 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26022] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26022/stat : 26022 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26023] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26023/stat : 26023 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26024] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26024/stat : 26024 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26025] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26025/stat : 26025 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 915226095 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26026] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26026/stat : 26026 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26035] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26035/stat : 26035 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 915226101 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 0 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26036] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26036/stat : 26036 (java) S 25996 25998 25945 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 915226101 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26037] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26037/stat : 26037 (java) S 25996 25998 25945 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 915226101 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26038] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26038/stat : 26038 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915226114 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512515505 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26039] ppid=25996 vsize=6433244 CPUtime=0.08 cores=0,2
/proc/25998/task/26039/stat : 26039 (java) S 25996 25998 25945 0 -1 4202560 907 0 0 0 8 0 0 0 15 0 18 0 915226114 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26040] ppid=25996 vsize=6433244 CPUtime=0.08 cores=0,2
/proc/25998/task/26040/stat : 26040 (java) S 25996 25998 25945 0 -1 4202560 1377 0 0 0 8 0 0 0 16 0 18 0 915226114 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26041] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26041/stat : 26041 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 915226114 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26042] ppid=25996 vsize=6433244 CPUtime=0 cores=0,2
/proc/25998/task/26042/stat : 26042 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 915226114 6587641856 35383 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 6433244
heavy processes:
[startup+6.30157 s]
/proc/loadavg: 1.15 0.26 0.08 4/221 26066
/proc/meminfo: memFree=30559316/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=6433288 CPUtime=4.12 cores=0,2
/proc/25998/stat : 25998 (java) S 25996 25998 25945 0 -1 4202496 179571 0 1 0 389 23 0 0 16 0 18 0 915225974 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25998/statm: 1608322 177444 2220 9 0 1599060 0
[pid=25998/tid=26011] ppid=25996 vsize=6433288 CPUtime=3.71 cores=0,2
/proc/25998/task/26011/stat : 26011 (java) R 25996 25998 25945 0 -1 4202560 173998 0 1 0 349 22 0 0 24 0 18 0 915226070 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 46912505655486 0 4 0 16800975 0 0 0 -1 0 0 0 102
[pid=25998/tid=26019] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26019/stat : 26019 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915226095 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26020] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26020/stat : 26020 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26021] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26021/stat : 26021 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26022] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26022/stat : 26022 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26023] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26023/stat : 26023 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26024] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26024/stat : 26024 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26025] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26025/stat : 26025 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 915226095 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26026] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26026/stat : 26026 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226095 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26035] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26035/stat : 26035 (java) S 25996 25998 25945 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 915226101 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 0 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26036] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26036/stat : 26036 (java) S 25996 25998 25945 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 915226101 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26037] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26037/stat : 26037 (java) S 25996 25998 25945 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 915226101 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26038] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26038/stat : 26038 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915226114 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512515505 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26039] ppid=25996 vsize=6433288 CPUtime=0.18 cores=0,2
/proc/25998/task/26039/stat : 26039 (java) S 25996 25998 25945 0 -1 4202560 1246 0 0 0 18 0 0 0 16 0 18 0 915226114 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26040] ppid=25996 vsize=6433288 CPUtime=0.2 cores=0,2
/proc/25998/task/26040/stat : 26040 (java) R 25996 25998 25945 0 -1 4202560 3173 0 0 0 20 0 0 0 16 0 18 0 915226114 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 47628708332560 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25998/tid=26041] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26041/stat : 26041 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 915226114 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26042] ppid=25996 vsize=6433288 CPUtime=0 cores=0,2
/proc/25998/task/26042/stat : 26042 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 915226114 6587686912 177444 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 6433288
heavy processes:
[startup+12.7013 s]
/proc/loadavg: 1.30 0.30 0.10 6/261 26152
/proc/meminfo: memFree=29153044/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=6435660 CPUtime=10.8 cores=0,2
/proc/25998/stat : 25998 (java) S 25996 25998 25945 0 -1 4202496 187005 0 1 0 1056 24 0 0 16 0 19 0 915225974 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25998/statm: 1608915 184778 2231 9 0 1599653 0
[pid=25998/tid=26011] ppid=25996 vsize=6435660 CPUtime=10.03 cores=0,2
/proc/25998/task/26011/stat : 26011 (java) R 25996 25998 25945 0 -1 4202560 180978 0 1 0 980 23 0 0 25 0 19 0 915226070 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 46912505806633 0 4 0 16800975 0 0 0 -1 0 0 0 102
[pid=25998/tid=26019] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26019/stat : 26019 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226095 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26020] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26020/stat : 26020 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226095 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26021] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26021/stat : 26021 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226095 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26022] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26022/stat : 26022 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226095 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26023] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26023/stat : 26023 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226095 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26024] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26024/stat : 26024 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226095 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26025] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26025/stat : 26025 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 915226095 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26026] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26026/stat : 26026 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226095 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26035] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26035/stat : 26035 (java) S 25996 25998 25945 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 915226101 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 0 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26036] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26036/stat : 26036 (java) S 25996 25998 25945 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 915226101 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26037] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26037/stat : 26037 (java) S 25996 25998 25945 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 915226101 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26038] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
/proc/25998/task/26038/stat : 26038 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226114 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512515505 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26039] ppid=25996 vsize=6435660 CPUtime=0.47 cores=0,2
/proc/25998/task/26039/stat : 26039 (java) S 25996 25998 25945 0 -1 4202560 1648 0 0 0 47 0 0 0 15 0 19 0 915226114 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26040] ppid=25996 vsize=6435660 CPUtime=0.28 cores=0,2
/proc/25998/task/26040/stat : 26040 (java) S 25996 25998 25945 0 -1 4202560 3214 0 0 0 28 0 0 0 16 0 19 0 915226114 6590115840 184778 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26041] ppid=25996 vsize=6435660 CPUtime=0 cores=0,2
################
# More data... #
################
[pid=25998/tid=26024] ppid=25996 vsize=6443612 CPUtime=0.07 cores=0,2
/proc/25998/task/26024/stat : 26024 (java) S 25996 25998 25945 0 -1 4202560 4 0 0 0 7 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26025] ppid=25996 vsize=6443612 CPUtime=0.68 cores=0,2
/proc/25998/task/26025/stat : 26025 (java) S 25996 25998 25945 0 -1 4202560 45829 0 0 0 64 4 0 0 18 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26026] ppid=25996 vsize=6443612 CPUtime=0.11 cores=0,2
/proc/25998/task/26026/stat : 26026 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26035] ppid=25996 vsize=6443612 CPUtime=5.82 cores=0,2
/proc/25998/task/26035/stat : 26035 (java) S 25996 25998 25945 0 -1 4202560 86463 0 0 0 572 10 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 0 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26036] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26036/stat : 26036 (java) S 25996 25998 25945 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26037] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26037/stat : 26037 (java) S 25996 25998 25945 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26038] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26038/stat : 26038 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512515505 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26039] ppid=25996 vsize=6443612 CPUtime=1.13 cores=0,2
/proc/25998/task/26039/stat : 26039 (java) S 25996 25998 25945 0 -1 4202560 8040 0 0 0 113 0 0 0 15 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26040] ppid=25996 vsize=6443612 CPUtime=0.29 cores=0,2
/proc/25998/task/26040/stat : 26040 (java) S 25996 25998 25945 0 -1 4202560 3215 0 0 0 29 0 0 0 16 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26041] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26041/stat : 26041 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26042] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26042/stat : 26042 (java) S 25996 25998 25945 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=15322] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/15322/stat : 15322 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 915378483 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 6443612
[startup+1722.3 s]
/proc/loadavg: 4.09 4.06 3.43 5/261 17192
/proc/meminfo: memFree=21393600/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=6443612 CPUtime=1721.71 cores=0,2
/proc/25998/stat : 25998 (java) S 25996 25998 25945 0 -1 4202496 355799 0 1 0 172126 45 0 0 16 0 19 0 915225974 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25998/statm: 1610903 348033 2260 9 0 1601641 0
[pid=25998/tid=26011] ppid=25996 vsize=6443612 CPUtime=1712.67 cores=0,2
/proc/25998/task/26011/stat : 26011 (java) R 25996 25998 25945 0 -1 4202560 181286 0 1 0 171242 25 0 0 25 0 19 0 915226070 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 46912505606755 0 4 0 16800975 0 0 0 -1 0 0 0 102
[pid=25998/tid=26019] ppid=25996 vsize=6443612 CPUtime=0.66 cores=0,2
/proc/25998/task/26019/stat : 26019 (java) S 25996 25998 25945 0 -1 4202560 29685 0 0 0 65 1 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26020] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26020/stat : 26020 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26021] ppid=25996 vsize=6443612 CPUtime=0.03 cores=0,2
/proc/25998/task/26021/stat : 26021 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26022] ppid=25996 vsize=6443612 CPUtime=0.06 cores=0,2
/proc/25998/task/26022/stat : 26022 (java) S 25996 25998 25945 0 -1 4202560 3 0 0 0 6 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26023] ppid=25996 vsize=6443612 CPUtime=0.07 cores=0,2
/proc/25998/task/26023/stat : 26023 (java) S 25996 25998 25945 0 -1 4202560 3 0 0 0 7 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26024] ppid=25996 vsize=6443612 CPUtime=0.07 cores=0,2
/proc/25998/task/26024/stat : 26024 (java) S 25996 25998 25945 0 -1 4202560 4 0 0 0 7 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26025] ppid=25996 vsize=6443612 CPUtime=0.68 cores=0,2
/proc/25998/task/26025/stat : 26025 (java) S 25996 25998 25945 0 -1 4202560 45829 0 0 0 64 4 0 0 18 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26026] ppid=25996 vsize=6443612 CPUtime=0.11 cores=0,2
/proc/25998/task/26026/stat : 26026 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26035] ppid=25996 vsize=6443612 CPUtime=5.82 cores=0,2
/proc/25998/task/26035/stat : 26035 (java) S 25996 25998 25945 0 -1 4202560 86463 0 0 0 572 10 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 0 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26036] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26036/stat : 26036 (java) S 25996 25998 25945 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26037] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26037/stat : 26037 (java) S 25996 25998 25945 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26038] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26038/stat : 26038 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512515505 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26039] ppid=25996 vsize=6443612 CPUtime=1.13 cores=0,2
/proc/25998/task/26039/stat : 26039 (java) S 25996 25998 25945 0 -1 4202560 8040 0 0 0 113 0 0 0 15 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26040] ppid=25996 vsize=6443612 CPUtime=0.29 cores=0,2
/proc/25998/task/26040/stat : 26040 (java) S 25996 25998 25945 0 -1 4202560 3215 0 0 0 29 0 0 0 16 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26041] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26041/stat : 26041 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26042] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26042/stat : 26042 (java) S 25996 25998 25945 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=15322] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/15322/stat : 15322 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 915378483 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 6443612
[startup+1782.3 s]
/proc/loadavg: 4.08 4.06 3.47 5/261 17745
/proc/meminfo: memFree=21270356/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=6443612 CPUtime=1781.71 cores=0,2
/proc/25998/stat : 25998 (java) S 25996 25998 25945 0 -1 4202496 355808 0 1 0 178126 45 0 0 16 0 19 0 915225974 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25998/statm: 1610903 348033 2260 9 0 1601641 0
[pid=25998/tid=26011] ppid=25996 vsize=6443612 CPUtime=1772.67 cores=0,2
/proc/25998/task/26011/stat : 26011 (java) R 25996 25998 25945 0 -1 4202560 181288 0 1 0 177242 25 0 0 25 0 19 0 915226070 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 46912505565223 0 4 0 16800975 0 0 0 -1 0 0 0 102
[pid=25998/tid=26019] ppid=25996 vsize=6443612 CPUtime=0.66 cores=0,2
/proc/25998/task/26019/stat : 26019 (java) S 25996 25998 25945 0 -1 4202560 29685 0 0 0 65 1 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26020] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26020/stat : 26020 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26021] ppid=25996 vsize=6443612 CPUtime=0.03 cores=0,2
/proc/25998/task/26021/stat : 26021 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26022] ppid=25996 vsize=6443612 CPUtime=0.06 cores=0,2
/proc/25998/task/26022/stat : 26022 (java) S 25996 25998 25945 0 -1 4202560 3 0 0 0 6 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26023] ppid=25996 vsize=6443612 CPUtime=0.07 cores=0,2
/proc/25998/task/26023/stat : 26023 (java) S 25996 25998 25945 0 -1 4202560 3 0 0 0 7 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26024] ppid=25996 vsize=6443612 CPUtime=0.07 cores=0,2
/proc/25998/task/26024/stat : 26024 (java) S 25996 25998 25945 0 -1 4202560 4 0 0 0 7 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26025] ppid=25996 vsize=6443612 CPUtime=0.68 cores=0,2
/proc/25998/task/26025/stat : 26025 (java) S 25996 25998 25945 0 -1 4202560 45829 0 0 0 64 4 0 0 18 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26026] ppid=25996 vsize=6443612 CPUtime=0.11 cores=0,2
/proc/25998/task/26026/stat : 26026 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26035] ppid=25996 vsize=6443612 CPUtime=5.82 cores=0,2
/proc/25998/task/26035/stat : 26035 (java) S 25996 25998 25945 0 -1 4202560 86464 0 0 0 572 10 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 0 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26036] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26036/stat : 26036 (java) S 25996 25998 25945 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26037] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26037/stat : 26037 (java) S 25996 25998 25945 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26038] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26038/stat : 26038 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512515505 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26039] ppid=25996 vsize=6443612 CPUtime=1.13 cores=0,2
/proc/25998/task/26039/stat : 26039 (java) S 25996 25998 25945 0 -1 4202560 8040 0 0 0 113 0 0 0 15 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26040] ppid=25996 vsize=6443612 CPUtime=0.29 cores=0,2
/proc/25998/task/26040/stat : 26040 (java) S 25996 25998 25945 0 -1 4202560 3215 0 0 0 29 0 0 0 16 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26041] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26041/stat : 26041 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26042] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26042/stat : 26042 (java) S 25996 25998 25945 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=17719] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/17719/stat : 17719 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 915403834 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 6443612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 4.05 4.06 3.48 5/261 17898
/proc/meminfo: memFree=21237572/32950928 swapFree=67053884/67111528
[pid=25998] ppid=25996 vsize=6443612 CPUtime=1800.02 cores=0,2
/proc/25998/stat : 25998 (java) S 25996 25998 25945 0 -1 4202496 355810 0 1 0 179957 45 0 0 16 0 19 0 915225974 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25998/statm: 1610903 348033 2260 9 0 1601641 0
[pid=25998/tid=26011] ppid=25996 vsize=6443612 CPUtime=1790.99 cores=0,2
/proc/25998/task/26011/stat : 26011 (java) R 25996 25998 25945 0 -1 4202560 181288 0 1 0 179074 25 0 0 25 0 19 0 915226070 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 46912505856625 0 4 0 16800975 0 0 0 -1 0 0 0 102
[pid=25998/tid=26019] ppid=25996 vsize=6443612 CPUtime=0.66 cores=0,2
/proc/25998/task/26019/stat : 26019 (java) S 25996 25998 25945 0 -1 4202560 29685 0 0 0 65 1 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26020] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26020/stat : 26020 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26021] ppid=25996 vsize=6443612 CPUtime=0.03 cores=0,2
/proc/25998/task/26021/stat : 26021 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26022] ppid=25996 vsize=6443612 CPUtime=0.06 cores=0,2
/proc/25998/task/26022/stat : 26022 (java) S 25996 25998 25945 0 -1 4202560 3 0 0 0 6 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26023] ppid=25996 vsize=6443612 CPUtime=0.07 cores=0,2
/proc/25998/task/26023/stat : 26023 (java) S 25996 25998 25945 0 -1 4202560 3 0 0 0 7 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26024] ppid=25996 vsize=6443612 CPUtime=0.07 cores=0,2
/proc/25998/task/26024/stat : 26024 (java) S 25996 25998 25945 0 -1 4202560 4 0 0 0 7 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26025] ppid=25996 vsize=6443612 CPUtime=0.68 cores=0,2
/proc/25998/task/26025/stat : 26025 (java) S 25996 25998 25945 0 -1 4202560 45829 0 0 0 64 4 0 0 18 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26026] ppid=25996 vsize=6443612 CPUtime=0.11 cores=0,2
/proc/25998/task/26026/stat : 26026 (java) S 25996 25998 25945 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 19 0 915226095 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26035] ppid=25996 vsize=6443612 CPUtime=5.82 cores=0,2
/proc/25998/task/26035/stat : 26035 (java) S 25996 25998 25945 0 -1 4202560 86464 0 0 0 572 10 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 0 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26036] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26036/stat : 26036 (java) S 25996 25998 25945 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26037] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26037/stat : 26037 (java) S 25996 25998 25945 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 915226101 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26038] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26038/stat : 26038 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512515505 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26039] ppid=25996 vsize=6443612 CPUtime=1.13 cores=0,2
/proc/25998/task/26039/stat : 26039 (java) S 25996 25998 25945 0 -1 4202560 8040 0 0 0 113 0 0 0 15 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 0 0 0 0
[pid=25998/tid=26040] ppid=25996 vsize=6443612 CPUtime=0.29 cores=0,2
/proc/25998/task/26040/stat : 26040 (java) S 25996 25998 25945 0 -1 4202560 3215 0 0 0 29 0 0 0 16 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26041] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26041/stat : 26041 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512507801 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
[pid=25998/tid=26042] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/26042/stat : 26042 (java) R 25996 25998 25945 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 915226114 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25998/tid=17719] ppid=25996 vsize=6443612 CPUtime=0 cores=0,2
/proc/25998/task/17719/stat : 17719 (java) S 25996 25998 25945 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 915403834 6598258688 348033 33554432000 1073741824 1073778376 140734585788928 18446744073709551615 254512508416 0 4 0 16800975 18446604453732631744 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 6443612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1800.69
CPU time (s): 1800.14
CPU user time (s): 1799.63
CPU system time (s): 0.505923
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 6456924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.505923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356016
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= 37293
involuntary context switches= 17814
runsolver used 3.13252 second user time and 6.71698 second system time
The end