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 /var/tmp/evaluation-result-3500807-1308036326/watcher-3500807-1308036326 -o /var/tmp/evaluation-result-3500807-1308036326/solver-3500807-1308036326 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500807-1308036326.gcnf
running on 2 cores: 1,3
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: 1.09 0.33 0.11 2/195 28026
/proc/meminfo: memFree=14510036/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=11804 CPUtime=0 cores=1,3
/proc/28026/stat : 28026 (runsolver) S 28016 28026 26613 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 896048404 12087296 51 33554432000 4194304 5436572 140734972339328 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/28026/statm: 2951 51 31 304 0 2643 0
[startup+0.0115301 s]
/proc/loadavg: 1.09 0.33 0.11 2/195 28026
/proc/meminfo: memFree=14510036/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=11804 CPUtime=0 cores=1,3
/proc/28026/stat : 28026 (runsolver) S 28016 28026 26613 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 896048404 12087296 51 33554432000 4194304 5436572 140734972339328 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/28026/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.100525 s]
/proc/loadavg: 1.09 0.33 0.11 2/195 28026
/proc/meminfo: memFree=14510036/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=9100 CPUtime=0 cores=1,3
/proc/28026/stat : 28026 (java) S 28016 28026 26613 0 -1 4202496 236 0 0 0 0 0 0 0 17 0 1 0 896048404 9318400 172 33554432000 1073741824 1073778376 140735238878144 18446744073709551615 270338204663 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 0
/proc/28026/statm: 2275 172 131 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100
[startup+0.300487 s]
/proc/loadavg: 1.09 0.33 0.11 2/195 28026
/proc/meminfo: memFree=14510036/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=30536 CPUtime=0 cores=1,3
/proc/28026/stat : 28026 (java) S 28016 28026 26613 0 -1 4202496 1244 0 0 0 0 0 0 0 16 0 2 0 896048404 31268864 962 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28026/statm: 7634 962 736 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30536
[startup+0.700421 s]
/proc/loadavg: 1.09 0.33 0.11 2/195 28026
/proc/meminfo: memFree=14510036/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=6363732 CPUtime=0.06 cores=1,3
/proc/28026/stat : 28026 (java) S 28016 28026 26613 0 -1 4202496 8620 0 1 0 5 1 0 0 16 0 18 0 896048404 6516461568 8316 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28026/statm: 1590933 8316 1751 9 0 1581671 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6363732
[startup+1.50123 s]
/proc/loadavg: 1.09 0.33 0.11 8/241 28078
/proc/meminfo: memFree=14296212/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=6433620 CPUtime=0.98 cores=1,3
/proc/28026/stat : 28026 (java) S 28016 28026 26613 0 -1 4202496 44800 0 1 0 92 6 0 0 16 0 18 0 896048404 6588026880 44051 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28026/statm: 1608405 44052 2202 9 0 1599143 0
[pid=28026/tid=28042] ppid=28016 vsize=6433620 CPUtime=0.78 cores=1,3
/proc/28026/task/28042/stat : 28042 (java) R 28016 28026 26613 0 -1 4202560 41573 0 1 0 73 5 0 0 19 0 18 0 896048424 6588026880 44053 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 46912505522126 0 4 0 16800975 0 0 0 -1 1 0 0 2
[pid=28026/tid=28053] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28053/stat : 28053 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896048441 6588026880 44054 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28054] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28054/stat : 28054 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 44056 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28055] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28055/stat : 28055 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 44057 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28056] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28056/stat : 28056 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 44058 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28057] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28057/stat : 28057 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 44059 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28058] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28058/stat : 28058 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 44060 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28059] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28059/stat : 28059 (java) S 28016 28026 26613 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 44061 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28060] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28060/stat : 28060 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 44063 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28061] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28061/stat : 28061 (java) S 28016 28026 26613 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048443 6588026880 44064 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 0 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28062] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28062/stat : 28062 (java) S 28016 28026 26613 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896048444 6588026880 44065 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28063] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28063/stat : 28063 (java) S 28016 28026 26613 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896048444 6588026880 44066 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28064] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28064/stat : 28064 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048450 6588026880 44067 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350207409 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28065] ppid=28016 vsize=6433620 CPUtime=0.07 cores=1,3
/proc/28026/task/28065/stat : 28065 (java) S 28016 28026 26613 0 -1 4202560 725 0 0 0 7 0 0 0 16 0 18 0 896048450 6588026880 44068 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28066] ppid=28016 vsize=6433620 CPUtime=0.11 cores=1,3
/proc/28026/task/28066/stat : 28066 (java) S 28016 28026 26613 0 -1 4202560 1352 0 0 0 11 0 0 0 16 0 18 0 896048450 6588026880 44069 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28067] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28067/stat : 28067 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896048450 6588026880 44071 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28068] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28068/stat : 28068 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048450 6588026880 44072 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 4 0 16800975 18446604471122594624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 6433620
[startup+3.10091 s]
/proc/loadavg: 1.32 0.39 0.13 5/258 28095
/proc/meminfo: memFree=13444216/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=6433620 CPUtime=2.58 cores=1,3
/proc/28026/stat : 28026 (java) S 28016 28026 26613 0 -1 4202496 120477 0 1 0 244 14 0 0 16 0 18 0 896048404 6588026880 119728 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28026/statm: 1608405 119730 2202 9 0 1599143 0
[pid=28026/tid=28042] ppid=28016 vsize=6433620 CPUtime=2.38 cores=1,3
/proc/28026/task/28042/stat : 28042 (java) R 28016 28026 26613 0 -1 4202560 117251 0 1 0 225 13 0 0 23 0 18 0 896048424 6588026880 119731 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 46912505522700 0 4 0 16800975 0 0 0 -1 1 0 0 2
[pid=28026/tid=28053] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28053/stat : 28053 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896048441 6588026880 119732 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28054] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28054/stat : 28054 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 119733 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28055] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28055/stat : 28055 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 119734 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28056] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28056/stat : 28056 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 119735 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28057] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28057/stat : 28057 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 119737 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28058] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28058/stat : 28058 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 119738 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28059] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28059/stat : 28059 (java) S 28016 28026 26613 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 119739 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28060] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28060/stat : 28060 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 119740 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28061] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28061/stat : 28061 (java) S 28016 28026 26613 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048443 6588026880 119741 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 0 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28062] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28062/stat : 28062 (java) S 28016 28026 26613 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896048444 6588026880 119742 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28063] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28063/stat : 28063 (java) S 28016 28026 26613 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896048444 6588026880 119743 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28064] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28064/stat : 28064 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048450 6588026880 119744 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350207409 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28065] ppid=28016 vsize=6433620 CPUtime=0.07 cores=1,3
/proc/28026/task/28065/stat : 28065 (java) S 28016 28026 26613 0 -1 4202560 725 0 0 0 7 0 0 0 16 0 18 0 896048450 6588026880 119746 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28066] ppid=28016 vsize=6433620 CPUtime=0.11 cores=1,3
/proc/28026/task/28066/stat : 28066 (java) S 28016 28026 26613 0 -1 4202560 1352 0 0 0 11 0 0 0 16 0 18 0 896048450 6588026880 119747 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28067] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28067/stat : 28067 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896048450 6588026880 119748 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28068] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28068/stat : 28068 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048450 6588026880 119749 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 4 0 16800975 18446604471122594624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 6433620
Solver just ended. Dumping a history of the last processes samples
[startup+3.90074 s]
/proc/loadavg: 1.32 0.39 0.13 8/258 28095
/proc/meminfo: memFree=12614408/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=6433620 CPUtime=3.42 cores=1,3
/proc/28026/stat : 28026 (java) S 28016 28026 26613 0 -1 4202496 165698 0 1 0 323 19 0 0 16 0 18 0 896048404 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28026/statm: 1608405 164777 2215 9 0 1599143 0
[pid=28026/tid=28042] ppid=28016 vsize=6433620 CPUtime=3.16 cores=1,3
/proc/28026/task/28042/stat : 28042 (java) R 28016 28026 26613 0 -1 4202560 162278 0 1 0 298 18 0 0 25 0 18 0 896048424 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 46912505185147 0 4 0 16800975 0 0 0 -1 3 0 0 2
[pid=28026/tid=28053] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28053/stat : 28053 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896048441 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28054] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28054/stat : 28054 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28055] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28055/stat : 28055 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28056] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28056/stat : 28056 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28057] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28057/stat : 28057 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28058] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28058/stat : 28058 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28059] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28059/stat : 28059 (java) S 28016 28026 26613 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28060] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28060/stat : 28060 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28061] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28061/stat : 28061 (java) S 28016 28026 26613 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048443 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 0 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28062] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28062/stat : 28062 (java) S 28016 28026 26613 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896048444 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28063] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28063/stat : 28063 (java) S 28016 28026 26613 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896048444 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28064] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28064/stat : 28064 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048450 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350207409 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28065] ppid=28016 vsize=6433620 CPUtime=0.07 cores=1,3
/proc/28026/task/28065/stat : 28065 (java) R 28016 28026 26613 0 -1 4202560 725 0 0 0 7 0 0 0 15 0 18 0 896048450 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28026/tid=28066] ppid=28016 vsize=6433620 CPUtime=0.16 cores=1,3
/proc/28026/task/28066/stat : 28066 (java) R 28016 28026 26613 0 -1 4202560 1543 0 0 0 16 0 0 0 15 0 18 0 896048450 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 47251792939265 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28026/tid=28067] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28067/stat : 28067 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896048450 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28068] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28068/stat : 28068 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048450 6588026880 164777 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 4 0 16800975 18446604471122594624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 6433620
[startup+4.10068 s]
/proc/loadavg: 1.32 0.39 0.13 8/258 28095
/proc/meminfo: memFree=12614408/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=6433620 CPUtime=3.78 cores=1,3
/proc/28026/stat : 28026 (java) S 28016 28026 26613 0 -1 4202496 171103 0 1 0 358 20 0 0 16 0 18 0 896048404 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28026/statm: 1608405 168923 2219 9 0 1599143 0
[pid=28026/tid=28042] ppid=28016 vsize=6433620 CPUtime=3.35 cores=1,3
/proc/28026/task/28042/stat : 28042 (java) R 28016 28026 26613 0 -1 4202560 165235 0 1 0 317 18 0 0 25 0 18 0 896048424 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 46912505679265 0 4 0 16800975 0 0 0 -1 3 0 0 2
[pid=28026/tid=28053] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28053/stat : 28053 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896048441 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28054] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28054/stat : 28054 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28055] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28055/stat : 28055 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28056] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28056/stat : 28056 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28057] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28057/stat : 28057 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28058] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28058/stat : 28058 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28059] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28059/stat : 28059 (java) S 28016 28026 26613 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28060] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28060/stat : 28060 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28061] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28061/stat : 28061 (java) S 28016 28026 26613 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048443 6588026880 168923 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 0 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28062] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28062/stat : 28062 (java) S 28016 28026 26613 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896048444 6588026880 168924 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28063] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28063/stat : 28063 (java) S 28016 28026 26613 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896048444 6588026880 168924 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28064] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28064/stat : 28064 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048450 6588026880 168924 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350207409 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28065] ppid=28016 vsize=6433620 CPUtime=0.11 cores=1,3
/proc/28026/task/28065/stat : 28065 (java) R 28016 28026 26613 0 -1 4202560 739 0 0 0 11 0 0 0 15 0 18 0 896048450 6588026880 168924 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 47251789095203 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28026/tid=28066] ppid=28016 vsize=6433620 CPUtime=0.28 cores=1,3
/proc/28026/task/28066/stat : 28066 (java) S 28016 28026 26613 0 -1 4202560 3978 0 0 0 28 0 0 0 15 0 18 0 896048450 6588026880 168924 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28067] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28067/stat : 28067 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896048450 6588026880 168924 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28068] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28068/stat : 28068 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048450 6588026880 168924 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 4 0 16800975 18446604471122594624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 6433620
[startup+4.20066 s]
/proc/loadavg: 1.32 0.39 0.13 8/258 28095
/proc/meminfo: memFree=12614408/32951124 swapFree=67054448/67111528
[pid=28026] ppid=28016 vsize=6433620 CPUtime=3.9 cores=1,3
/proc/28026/stat : 28026 (java) S 28016 28026 26613 0 -1 4202496 171177 0 1 0 370 20 0 0 16 0 18 0 896048404 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28026/statm: 1608405 168997 2220 9 0 1599143 0
[pid=28026/tid=28042] ppid=28016 vsize=6433620 CPUtime=3.46 cores=1,3
/proc/28026/task/28042/stat : 28042 (java) R 28016 28026 26613 0 -1 4202560 165305 0 1 0 327 19 0 0 25 0 18 0 896048424 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 46912505731337 0 4 0 16800975 0 0 0 -1 3 0 0 2
[pid=28026/tid=28053] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28053/stat : 28053 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896048441 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28054] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28054/stat : 28054 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28055] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28055/stat : 28055 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28056] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28056/stat : 28056 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28057] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28057/stat : 28057 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28058] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28058/stat : 28058 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28059] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28059/stat : 28059 (java) S 28016 28026 26613 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28060] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28060/stat : 28060 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048441 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28061] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28061/stat : 28061 (java) S 28016 28026 26613 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048443 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 0 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28062] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28062/stat : 28062 (java) S 28016 28026 26613 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896048444 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28063] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28063/stat : 28063 (java) S 28016 28026 26613 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896048444 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28064] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28064/stat : 28064 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048450 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350207409 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28065] ppid=28016 vsize=6433620 CPUtime=0.13 cores=1,3
/proc/28026/task/28065/stat : 28065 (java) R 28016 28026 26613 0 -1 4202560 742 0 0 0 13 0 0 0 15 0 18 0 896048450 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 47251787082952 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28026/tid=28066] ppid=28016 vsize=6433620 CPUtime=0.28 cores=1,3
/proc/28026/task/28066/stat : 28066 (java) R 28016 28026 26613 0 -1 4202560 3978 0 0 0 28 0 0 0 15 0 18 0 896048450 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28026/tid=28067] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28067/stat : 28067 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896048450 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350199705 0 4 0 16800975 18446604471122594624 0 0 -1 1 0 0 0
[pid=28026/tid=28068] ppid=28016 vsize=6433620 CPUtime=0 cores=1,3
/proc/28026/task/28068/stat : 28068 (java) S 28016 28026 26613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048450 6588026880 168997 33554432000 1073741824 1073778376 140737480933792 18446744073709551615 270350200320 0 4 0 16800975 18446604471122594624 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 6433620
Child status: 20
Real time (s): 4.27873
CPU time (s): 3.98739
CPU user time (s): 3.75643
CPU system time (s): 0.230964
CPU usage (%): 93.1911
Max. virtual memory (cumulated for all children) (KiB): 6433620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.75643
system time used= 0.230964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171208
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= 351
involuntary context switches= 180
runsolver used 0.007998 second user time and 0.023996 second system time
The end