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-3500779-1308036278/watcher-3500779-1308036278 -o /tmp/evaluation-result-3500779-1308036278/solver-3500779-1308036278 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3500779-1308036278.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: 0.53 0.11 0.04 1/177 25987
/proc/meminfo: memFree=31869600/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=11804 CPUtime=0 cores=1,3
/proc/25987/stat : 25987 (runsolver) S 25985 25987 25945 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 1 0 915225520 12087296 51 33554432000 4194304 5436572 140735643534256 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/25987/statm: 2951 51 31 304 0 2643 0
[startup+0.080191 s]
/proc/loadavg: 0.53 0.11 0.04 1/177 25987
/proc/meminfo: memFree=31869600/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=11804 CPUtime=0 cores=1,3
/proc/25987/stat : 25987 (runsolver) S 25985 25987 25945 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 1 0 915225520 12087296 51 33554432000 4194304 5436572 140735643534256 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/25987/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.101192 s]
/proc/loadavg: 0.53 0.11 0.04 1/177 25987
/proc/meminfo: memFree=31869600/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=11804 CPUtime=0 cores=1,3
/proc/25987/stat : 25987 (runsolver) S 25985 25987 25945 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 1 0 915225520 12087296 51 33554432000 4194304 5436572 140735643534256 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/25987/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.301144 s]
/proc/loadavg: 0.53 0.11 0.04 1/177 25987
/proc/meminfo: memFree=31869600/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=11804 CPUtime=0 cores=1,3
/proc/25987/stat : 25987 (runsolver) S 25985 25987 25945 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 1 0 915225520 12087296 56 33554432000 4194304 5436572 140735643534256 18446744073709551615 5057063 0 2147483391 4096 24578 18446744071699199166 0 0 17 1 0 0 0
/proc/25987/statm: 2951 56 36 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.701052 s]
/proc/loadavg: 0.53 0.11 0.04 1/177 25987
/proc/meminfo: memFree=31869600/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=252 CPUtime=0 cores=1,3
/proc/25987/stat : 25987 (java) S 25985 25987 25945 0 -1 4194304 77 0 0 0 0 0 0 0 16 0 1 0 915225520 258048 31 33554432000 1073741824 1073778376 140736364841104 18446744073709551615 254495768199 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 0
/proc/25987/statm: 63 31 24 9 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 252
[startup+1.5009 s]
/proc/loadavg: 0.53 0.11 0.04 1/178 25988
/proc/meminfo: memFree=31847612/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=252 CPUtime=0 cores=1,3
/proc/25987/stat : 25987 (java) S 25985 25987 25945 0 -1 4194304 77 0 0 0 0 0 0 0 16 0 1 0 915225520 258048 31 33554432000 1073741824 1073778376 140736364841104 18446744073709551615 254495768199 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 0
/proc/25987/statm: 63 31 24 9 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 252
[startup+3.10059 s]
/proc/loadavg: 0.53 0.11 0.04 1/178 25988
/proc/meminfo: memFree=31821368/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=2464 CPUtime=0 cores=1,3
/proc/25987/stat : 25987 (java) S 25985 25987 25945 0 -1 4194304 280 0 0 0 0 0 0 0 15 0 1 0 915225520 2523136 44 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254495768199 0 2147483391 4096 0 18446744071699199166 0 0 17 1 0 0 0
/proc/25987/statm: 616 44 35 9 0 27 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2464
heavy processes:
[startup+6.30094 s]
/proc/loadavg: 0.73 0.16 0.05 1/194 26010
/proc/meminfo: memFree=31703608/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=6430104 CPUtime=0.11 cores=1,3
/proc/25987/stat : 25987 (java) S 25985 25987 25945 0 -1 4202496 9625 0 1 0 9 2 0 0 16 0 18 0 915225520 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25987/statm: 1607526 9322 2090 9 0 1598264 0
[pid=25987/tid=25989] ppid=25985 vsize=6430104 CPUtime=0.08 cores=1,3
/proc/25987/task/25989/stat : 25989 (java) D 25985 25987 25945 0 -1 4202560 7890 0 1 0 7 1 0 0 18 0 18 0 915225866 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512518603 0 4 0 16800975 18446744071562234166 0 0 -1 1 0 0 34
[pid=25987/tid=26000] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26000/stat : 26000 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915226003 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26001] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26001/stat : 26001 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26002] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26002/stat : 26002 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26003] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26003/stat : 26003 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26004] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26004/stat : 26004 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26005] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26005/stat : 26005 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26006] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26006/stat : 26006 (java) S 25985 25987 25945 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 915226003 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26007] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26007/stat : 26007 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26008] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26008/stat : 26008 (java) S 25985 25987 25945 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 915226015 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26009] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26009/stat : 26009 (java) S 25985 25987 25945 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 915226016 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26010] ppid=25985 vsize=6430104 CPUtime=0 cores=1,3
/proc/25987/task/26010/stat : 26010 (java) S 25985 25987 25945 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 18 0 915226016 6584426496 9322 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 6430104
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+7.90061 s]
/proc/loadavg: 1.15 0.26 0.08 4/237 26059
/proc/meminfo: memFree=31328512/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=6433396 CPUtime=1.07 cores=1,3
/proc/25987/stat : 25987 (java) S 25985 25987 25945 0 -1 4202496 44933 0 1 0 101 6 0 0 16 0 18 0 915225520 6587797504 44245 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25987/statm: 1608349 44247 2201 9 0 1599087 0
[pid=25987/tid=25989] ppid=25985 vsize=6433396 CPUtime=0.87 cores=1,3
/proc/25987/task/25989/stat : 25989 (java) R 25985 25987 25945 0 -1 4202560 41887 0 1 0 82 5 0 0 19 0 18 0 915225866 6587797504 44248 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 46912505545096 0 4 0 16800975 0 0 0 -1 1 0 0 122
[pid=25987/tid=26000] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26000/stat : 26000 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915226003 6587797504 44249 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26001] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26001/stat : 26001 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6587797504 44250 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26002] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26002/stat : 26002 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6587797504 44251 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26003] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26003/stat : 26003 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6587797504 44253 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26004] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26004/stat : 26004 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6587797504 44254 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26005] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26005/stat : 26005 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6587797504 44256 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26006] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26006/stat : 26006 (java) S 25985 25987 25945 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 915226003 6587797504 44257 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26007] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26007/stat : 26007 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915226003 6587797504 44258 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26008] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26008/stat : 26008 (java) S 25985 25987 25945 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 915226015 6587797504 44259 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26009] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26009/stat : 26009 (java) S 25985 25987 25945 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 915226016 6587797504 44260 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26010] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26010/stat : 26010 (java) S 25985 25987 25945 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 18 0 915226016 6587797504 44261 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26030] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26030/stat : 26030 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915226100 6587797504 44263 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26031] ppid=25985 vsize=6433396 CPUtime=0.11 cores=1,3
/proc/25987/task/26031/stat : 26031 (java) S 25985 25987 25945 0 -1 4202560 802 0 0 0 11 0 0 0 17 0 18 0 915226100 6587797504 44264 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26032] ppid=25985 vsize=6433396 CPUtime=0.07 cores=1,3
/proc/25987/task/26032/stat : 26032 (java) S 25985 25987 25945 0 -1 4202560 1096 0 0 0 7 0 0 0 17 0 18 0 915226100 6587797504 44265 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26033] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26033/stat : 26033 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 915226100 6587797504 44266 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26034] ppid=25985 vsize=6433396 CPUtime=0 cores=1,3
/proc/25987/task/26034/stat : 26034 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 915226100 6587797504 44267 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 6433396
[startup+8.70139 s]
/proc/loadavg: 1.15 0.26 0.08 5/238 26060
/proc/meminfo: memFree=30736680/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=6435564 CPUtime=2.13 cores=1,3
/proc/25987/stat : 25987 (java) S 25985 25987 25945 0 -1 4202496 72771 0 1 0 203 10 0 0 16 0 19 0 915225520 6590017536 71487 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25987/statm: 1608891 71487 2227 9 0 1599629 0
[pid=25987/tid=25989] ppid=25985 vsize=6435564 CPUtime=1.54 cores=1,3
/proc/25987/task/25989/stat : 25989 (java) R 25985 25987 25945 0 -1 4202560 68708 0 1 0 145 9 0 0 19 0 19 0 915225866 6590017536 71489 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 46912505228560 0 4 0 16800975 0 0 0 -1 3 0 0 122
[pid=25987/tid=26000] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26000/stat : 26000 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226003 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26001] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26001/stat : 26001 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26002] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26002/stat : 26002 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26003] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26003/stat : 26003 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26004] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26004/stat : 26004 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26005] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26005/stat : 26005 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26006] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26006/stat : 26006 (java) S 25985 25987 25945 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 915226003 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26007] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26007/stat : 26007 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26008] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26008/stat : 26008 (java) S 25985 25987 25945 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 915226015 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26009] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26009/stat : 26009 (java) S 25985 25987 25945 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 915226016 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26010] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26010/stat : 26010 (java) S 25985 25987 25945 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 915226016 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26030] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26030/stat : 26030 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226100 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26031] ppid=25985 vsize=6435564 CPUtime=0.32 cores=1,3
/proc/25987/task/26031/stat : 26031 (java) S 25985 25987 25945 0 -1 4202560 1343 0 0 0 32 0 0 0 16 0 19 0 915226100 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26032] ppid=25985 vsize=6435564 CPUtime=0.25 cores=1,3
/proc/25987/task/26032/stat : 26032 (java) S 25985 25987 25945 0 -1 4202560 1562 0 0 0 25 0 0 0 15 0 19 0 915226100 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26033] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26033/stat : 26033 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 915226100 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26034] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26034/stat : 26034 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 915226100 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26060] ppid=25985 vsize=6435564 CPUtime=0 cores=1,3
/proc/25987/task/26060/stat : 26060 (java) S 25985 25987 25945 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 915226373 6590017536 71491 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 6435564
[startup+9.50123 s]
/proc/loadavg: 1.15 0.26 0.08 5/238 26060
/proc/meminfo: memFree=30736680/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=6435680 CPUtime=3.1 cores=1,3
/proc/25987/stat : 25987 (java) S 25985 25987 25945 0 -1 4202496 82251 0 1 0 299 11 0 0 16 0 19 0 915225520 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25987/statm: 1608920 80544 2232 9 0 1599658 0
[pid=25987/tid=25989] ppid=25985 vsize=6435680 CPUtime=2.32 cores=1,3
/proc/25987/task/25989/stat : 25989 (java) R 25985 25987 25945 0 -1 4202560 77704 0 1 0 222 10 0 0 19 0 19 0 915225866 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 46912505644840 0 4 0 16800975 0 0 0 -1 3 0 0 122
[pid=25987/tid=26000] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26000/stat : 26000 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226003 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26001] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26001/stat : 26001 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26002] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26002/stat : 26002 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26003] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26003/stat : 26003 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26004] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26004/stat : 26004 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26005] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26005/stat : 26005 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26006] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26006/stat : 26006 (java) S 25985 25987 25945 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 915226003 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26007] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26007/stat : 26007 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26008] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26008/stat : 26008 (java) S 25985 25987 25945 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 915226015 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26009] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26009/stat : 26009 (java) S 25985 25987 25945 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 915226016 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26010] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26010/stat : 26010 (java) S 25985 25987 25945 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 915226016 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26030] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26030/stat : 26030 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226100 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26031] ppid=25985 vsize=6435680 CPUtime=0.49 cores=1,3
/proc/25987/task/26031/stat : 26031 (java) S 25985 25987 25945 0 -1 4202560 1822 0 0 0 49 0 0 0 15 0 19 0 915226100 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26032] ppid=25985 vsize=6435680 CPUtime=0.26 cores=1,3
/proc/25987/task/26032/stat : 26032 (java) S 25985 25987 25945 0 -1 4202560 1562 0 0 0 26 0 0 0 15 0 19 0 915226100 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26033] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26033/stat : 26033 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 915226100 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26034] ppid=25985 vsize=6435680 CPUtime=0 cores=1,3
/proc/25987/task/26034/stat : 26034 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 915226100 6590136320 80544 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 6435680
[startup+9.9072 s]
/proc/loadavg: 1.15 0.26 0.08 4/238 26065
/proc/meminfo: memFree=30275588/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=6435808 CPUtime=3.56 cores=1,3
/proc/25987/stat : 25987 (java) S 25985 25987 25945 0 -1 4202496 88677 0 1 0 344 12 0 0 16 0 19 0 915225520 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25987/statm: 1608952 86517 2232 9 0 1599690 0
[pid=25987/tid=25989] ppid=25985 vsize=6435808 CPUtime=2.73 cores=1,3
/proc/25987/task/25989/stat : 25989 (java) R 25985 25987 25945 0 -1 4202560 83639 0 1 0 262 11 0 0 19 0 19 0 915225866 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 46912505698096 0 4 0 16800975 0 0 0 -1 1 0 0 122
[pid=25987/tid=26000] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26000/stat : 26000 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226003 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26001] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26001/stat : 26001 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26002] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26002/stat : 26002 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26003] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26003/stat : 26003 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26004] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26004/stat : 26004 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26005] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26005/stat : 26005 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26006] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26006/stat : 26006 (java) S 25985 25987 25945 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 915226003 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26007] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26007/stat : 26007 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915226003 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26008] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26008/stat : 26008 (java) S 25985 25987 25945 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 915226015 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26009] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26009/stat : 26009 (java) S 25985 25987 25945 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 915226016 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26010] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26010/stat : 26010 (java) S 25985 25987 25945 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 915226016 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26030] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26030/stat : 26030 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915226100 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26031] ppid=25985 vsize=6435808 CPUtime=0.55 cores=1,3
/proc/25987/task/26031/stat : 26031 (java) S 25985 25987 25945 0 -1 4202560 2313 0 0 0 55 0 0 0 15 0 19 0 915226100 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26032] ppid=25985 vsize=6435808 CPUtime=0.26 cores=1,3
/proc/25987/task/26032/stat : 26032 (java) S 25985 25987 25945 0 -1 4202560 1562 0 0 0 26 0 0 0 15 0 19 0 915226100 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 3 0 0 0
[pid=25987/tid=26033] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26033/stat : 26033 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 915226100 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26034] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26034/stat : 26034 (java) S 25985 25987 25945 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 915226100 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
[pid=25987/tid=26065] ppid=25985 vsize=6435808 CPUtime=0 cores=1,3
/proc/25987/task/26065/stat : 26065 (java) S 25985 25987 25945 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 915226498 6590267392 86517 33554432000 1073741824 1073778376 140736974553536 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 6435808
[startup+10.0012 s]
/proc/loadavg: 1.15 0.26 0.08 4/238 26065
/proc/meminfo: memFree=30275588/32950928 swapFree=67053884/67111528
[pid=25987] ppid=25985 vsize=0 CPUtime=3.58 cores=1,3
/proc/25987/stat : 25987 (java) Z 25985 25987 25945 0 -1 4203548 88701 0 1 0 345 13 0 0 15 0 2 0 915225520 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25987/statm: 0 0 0 0 0 0 0
[pid=25987/tid=26007] ppid=25985 vsize=0 CPUtime=0.01 cores=1,3
/proc/25987/task/26007/stat : 26007 (java) S 25985 25987 25945 0 -1 4203588 1 0 0 0 0 1 0 0 17 0 2 0 915226003 0 0 33554432000 0 0 0 0 0 0 2147483391 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 10.039
CPU time (s): 3.59245
CPU user time (s): 3.45847
CPU system time (s): 0.133979
CPU usage (%): 35.7848
Max. virtual memory (cumulated for all children) (KiB): 6435808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.45847
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88701
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= 550
involuntary context switches= 339
runsolver used 0.026995 second user time and 0.045993 second system time
The end