3.22/3.25 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776195-1244929291.cnf
3.22/3.25 c Using SATTIMEOUT of 10000
3.22/3.25 c Using SATRAM of 2047
3.22/3.25 c Size of subset node = 16
3.22/3.25 c Variables = 276427
3.22/3.25 c Clauses = 798348
3.22/3.25 c Literals = 2080196
3.22/3.25 c Reduced size:
3.22/3.25 c Variables = 276402
3.22/3.25 c Clauses = 765331
3.22/3.25 c Literals = 2045604
3.22/3.25 c a2
4.20/4.24 c a1
4.80/4.83 c Independent sub-problems = 19
4.80/4.83 c Sub-problem with 95 variables and 157 clauses
4.80/4.83 c using permutation method 3
4.80/4.83 ...........................................................c Ordering finished 4.830 seconds
4.80/4.83 c mapped 4.830 seconds
4.80/4.83 c permuted 4.830 seconds
4.80/4.83 c about to sort
4.80/4.84 c sorted
4.80/4.84 c clauses now 157
4.80/4.84 c init finished 4.830 seconds
4.80/4.84 c tree built 4.830 seconds
4.80/4.84 c
4.80/4.84 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
4.80/4.84 c ---------------------------------|----------------------------------|------------------------------------------------------
4.80/4.84 c ................................ | .......... | 4.8 0.0
4.80/4.84 c ................................ | .......... 1 | 4.8 0.2
4.80/4.84 c ................................ | .......... 2 | 4.8 0.4
4.80/4.84 c ................................ | .......... 3 | 4.8 0.6
5.00/5.05 c Satisfiable sub-problem
5.00/5.05 c Sub-problem with 95 variables and 157 clauses
5.00/5.05 c using permutation method 3
5.00/5.05 ...........................................................c Ordering finished 5.040 seconds
5.00/5.05 c mapped 5.040 seconds
5.00/5.05 c permuted 5.040 seconds
5.00/5.05 c about to sort
5.00/5.05 c sorted
5.00/5.05 c clauses now 157
5.00/5.05 c init finished 5.050 seconds
5.00/5.05 c tree built 5.050 seconds
5.00/5.05 c
5.00/5.05 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
5.00/5.05 c ---------------------------------|----------------------------------|------------------------------------------------------
5.00/5.05 c ................................ | .......... 4 | 5.0 0.8
5.00/5.05 c ................................ | .......... 5 | 5.0 1.0
5.00/5.05 c ................................ | .......... 6 | 5.0 1.2
5.00/5.05 c ................................ | .......... 7 | 5.0 1.4
5.00/5.05 c ................................ | .......... 8 | 5.0 1.6
5.00/5.05 c ................................ | .......... 9 | 5.0 1.8
5.20/5.27 c Satisfiable sub-problem
5.20/5.27 c Sub-problem with 95 variables and 157 clauses
5.20/5.27 c using permutation method 3
5.20/5.27 ...........................................................c Ordering finished 5.260 seconds
5.20/5.27 c mapped 5.260 seconds
5.20/5.27 c permuted 5.260 seconds
5.20/5.27 c about to sort
5.20/5.27 c sorted
5.20/5.27 c clauses now 157
5.20/5.27 c init finished 5.260 seconds
5.20/5.27 c tree built 5.260 seconds
5.20/5.27 c
5.20/5.27 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
5.20/5.27 c ---------------------------------|----------------------------------|------------------------------------------------------
5.20/5.27 c ................................ | .......... 100 | 5.3 19.0
5.20/5.27 c ................................ | .......... 101 | 5.3 19.2
5.20/5.27 c ................................ | .......... 102 | 5.3 19.4
5.20/5.27 c ................................ | .......... 103 | 5.3 19.6
5.20/5.27 c ................................ | .......... 104 | 5.3 19.8
5.20/5.27 c ................................ | .......... 105 | 5.3 20.0
5.42/5.48 c Satisfiable sub-problem
5.42/5.48 c Sub-problem with 95 variables and 157 clauses
5.42/5.48 c using permutation method 3
5.42/5.48 ...........................................................c Ordering finished 5.480 seconds
5.42/5.48 c mapped 5.480 seconds
5.42/5.48 c permuted 5.480 seconds
5.42/5.48 c about to sort
5.42/5.48 c sorted
5.42/5.49 c clauses now 157
5.42/5.49 c init finished 5.480 seconds
5.42/5.49 c tree built 5.480 seconds
5.42/5.49 c
5.42/5.49 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
5.42/5.49 c ---------------------------------|----------------------------------|------------------------------------------------------
5.42/5.49 c ................................ | .......... 196 | 5.5 35.8
5.42/5.49 c ................................ | .......... 197 | 5.5 35.9
5.42/5.49 c ................................ | .......... 198 | 5.5 36.1
5.42/5.49 c ................................ | .......... 199 | 5.5 36.3
5.42/5.49 c ................................ | .......... 200 | 5.5 36.5
5.42/5.49 c ................................ | .......... 201 | 5.5 36.7
5.60/5.70 c Satisfiable sub-problem
5.60/5.70 c Sub-problem with 95 variables and 157 clauses
5.60/5.70 c using permutation method 3
5.60/5.70 ...........................................................c Ordering finished 5.680 seconds
5.60/5.70 c mapped 5.680 seconds
5.60/5.70 c permuted 5.680 seconds
5.60/5.70 c about to sort
5.60/5.70 c sorted
5.70/5.70 c clauses now 157
5.70/5.70 c init finished 5.690 seconds
5.70/5.70 c tree built 5.690 seconds
5.70/5.70 c
5.70/5.70 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
5.70/5.70 c ---------------------------------|----------------------------------|------------------------------------------------------
5.70/5.70 c ................................ | .......... 292 | 5.7 51.3
5.70/5.70 c ................................ | .......... 293 | 5.7 51.5
5.70/5.70 c ................................ | .......... 294 | 5.7 51.7
5.70/5.70 c ................................ | .......... 295 | 5.7 51.8
5.70/5.70 c ................................ | .......... 296 | 5.7 52.0
5.70/5.70 c ................................ | .......... 297 | 5.7 52.2
5.90/5.91 c Satisfiable sub-problem
5.90/5.91 c Sub-problem with 95 variables and 157 clauses
5.90/5.91 c using permutation method 3
5.90/5.91 ...........................................................c Ordering finished 5.910 seconds
5.90/5.91 c mapped 5.910 seconds
5.90/5.91 c permuted 5.910 seconds
5.90/5.91 c about to sort
5.90/5.91 c sorted
5.90/5.92 c clauses now 157
5.90/5.92 c init finished 5.910 seconds
5.90/5.92 c tree built 5.910 seconds
5.90/5.92 c
5.90/5.92 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
5.90/5.92 c ---------------------------------|----------------------------------|------------------------------------------------------
5.90/5.92 c ................................ | .......... 388 | 5.9 65.7
5.90/5.92 c ................................ | .......... 389 | 5.9 65.8
5.90/5.92 c ................................ | .......... 390 | 5.9 66.0
5.90/5.92 c ................................ | .......... 391 | 5.9 66.2
5.90/5.92 c ................................ | .......... 392 | 5.9 66.3
5.90/5.92 c ................................ | .......... 393 | 5.9 66.5
6.10/6.13 c Satisfiable sub-problem
6.10/6.13 c Sub-problem with 95 variables and 157 clauses
6.10/6.13 c using permutation method 3
6.10/6.13 ...........................................................c Ordering finished 6.120 seconds
6.10/6.13 c mapped 6.120 seconds
6.10/6.13 c permuted 6.120 seconds
6.10/6.13 c about to sort
6.10/6.13 c sorted
6.10/6.13 c clauses now 157
6.10/6.13 c init finished 6.120 seconds
6.10/6.13 c tree built 6.120 seconds
6.10/6.13 c
6.10/6.13 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.10/6.13 c ---------------------------------|----------------------------------|------------------------------------------------------
6.10/6.13 c ................................ | .......... 484 | 6.1 79.1
6.10/6.13 c ................................ | .......... 485 | 6.1 79.2
6.10/6.13 c ................................ | .......... 486 | 6.1 79.4
6.10/6.13 c ................................ | .......... 487 | 6.1 79.6
6.10/6.13 c ................................ | .......... 488 | 6.1 79.7
6.10/6.13 c ................................ | .......... 489 | 6.1 79.9
6.28/6.35 c Satisfiable sub-problem
6.28/6.35 c Sub-problem with 95 variables and 157 clauses
6.28/6.35 c using permutation method 3
6.28/6.35 ...........................................................c Ordering finished 6.330 seconds
6.28/6.35 c mapped 6.330 seconds
6.28/6.35 c permuted 6.330 seconds
6.28/6.35 c about to sort
6.28/6.35 c sorted
6.28/6.35 c clauses now 157
6.28/6.35 c init finished 6.330 seconds
6.28/6.35 c tree built 6.330 seconds
6.28/6.35 c
6.28/6.35 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.28/6.35 c ---------------------------------|----------------------------------|------------------------------------------------------
6.28/6.35 c ................................ | .......... 573 | 6.3 90.5
6.28/6.35 c ................................ | .......... 574 | 6.3 90.7
6.28/6.35 c ................................ | .......... 575 | 6.3 90.8
6.28/6.35 c ................................ | .......... 576 | 6.3 91.0
6.28/6.35 c ................................ | .......... 577 | 6.3 91.2
6.28/6.35 c ................................ | .......... 578 | 6.3 91.3
6.50/6.56 c Satisfiable sub-problem
6.50/6.56 c Sub-problem with 95 variables and 157 clauses
6.50/6.56 c using permutation method 3
6.50/6.56 ...........................................................c Ordering finished 6.550 seconds
6.50/6.56 c mapped 6.550 seconds
6.50/6.56 c permuted 6.550 seconds
6.50/6.56 c about to sort
6.50/6.56 c sorted
6.50/6.57 c clauses now 157
6.50/6.57 c init finished 6.550 seconds
6.50/6.57 c tree built 6.550 seconds
6.50/6.57 c
6.50/6.57 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.50/6.57 c ---------------------------------|----------------------------------|------------------------------------------------------
6.50/6.57 c ................................ | .......... 643 | 6.5 98.2
6.50/6.57 c ................................ | .......... 644 | 6.5 98.3
6.50/6.57 c ................................ | .......... 645 | 6.5 98.5
6.50/6.57 c ................................ | .......... 646 | 6.5 98.6
6.50/6.57 c ................................ | .......... 647 | 6.5 98.8
6.50/6.57 c ................................ | .......... 648 | 6.5 98.9
6.68/6.78 c Satisfiable sub-problem
6.68/6.78 c Sub-problem with 95 variables and 157 clauses
6.68/6.78 c using permutation method 3
6.68/6.78 ...........................................................c Ordering finished 6.760 seconds
6.68/6.78 c mapped 6.760 seconds
6.68/6.78 c permuted 6.760 seconds
6.68/6.78 c about to sort
6.68/6.78 c sorted
6.68/6.78 c clauses now 157
6.68/6.78 c init finished 6.770 seconds
6.68/6.78 c tree built 6.770 seconds
6.68/6.78 c
6.68/6.78 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.68/6.78 c ---------------------------------|----------------------------------|------------------------------------------------------
6.68/6.78 c ................................ | .......... 739 | 6.8 109.2
6.68/6.78 c ................................ | .......... 740 | 6.8 109.3
6.68/6.78 c ................................ | .......... 741 | 6.8 109.5
6.68/6.78 c ................................ | .......... 742 | 6.8 109.6
6.68/6.78 c ................................ | .......... 743 | 6.8 109.7
6.68/6.78 c ................................ | .......... 744 | 6.8 109.9
6.88/7.00 c Satisfiable sub-problem
6.88/7.00 c Sub-problem with 95 variables and 157 clauses
6.88/7.00 c using permutation method 3
6.88/7.00 ...........................................................c Ordering finished 6.980 seconds
6.88/7.00 c mapped 6.980 seconds
6.88/7.00 c permuted 6.980 seconds
6.88/7.00 c about to sort
6.88/7.00 c sorted
6.98/7.00 c clauses now 157
6.98/7.00 c init finished 6.980 seconds
6.98/7.00 c tree built 6.990 seconds
6.98/7.00 c
6.98/7.00 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.98/7.00 c ---------------------------------|----------------------------------|------------------------------------------------------
6.98/7.00 c ................................ | .......... 835 | 7.0 119.5
6.98/7.00 c ................................ | .......... 836 | 7.0 119.6
6.98/7.00 c ................................ | .......... 837 | 7.0 119.7
6.98/7.00 c ................................ | .......... 838 | 7.0 119.9
6.98/7.00 c ................................ | .......... 839 | 7.0 120.0
6.98/7.00 c ................................ | .......... 840 | 7.0 120.2
7.18/7.21 c Satisfiable sub-problem
7.18/7.21 c Sub-problem with 95 variables and 157 clauses
7.18/7.21 c using permutation method 3
7.18/7.21 ...........................................................c Ordering finished 7.200 seconds
7.18/7.21 c mapped 7.200 seconds
7.18/7.21 c permuted 7.200 seconds
7.18/7.21 c about to sort
7.18/7.21 c sorted
7.18/7.22 c clauses now 157
7.18/7.22 c init finished 7.200 seconds
7.18/7.22 c tree built 7.200 seconds
7.18/7.22 c
7.18/7.22 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
7.18/7.22 c ---------------------------------|----------------------------------|------------------------------------------------------
7.18/7.22 c ................................ | .......... 931 | 7.2 129.3
7.18/7.22 c ................................ | .......... 932 | 7.2 129.4
7.18/7.22 c ................................ | .......... 933 | 7.2 129.6
7.18/7.22 c ................................ | .......... 934 | 7.2 129.7
7.18/7.22 c ................................ | .......... 935 | 7.2 129.9
7.18/7.22 c ................................ | .......... 936 | 7.2 130.0
7.18/7.22 c ................................ | .......... 1000 | 7.2 138.9
11.30/11.39 c Satisfiable sub-problem
11.30/11.39 c Sub-problem with 214 variables and 505 clauses
11.30/11.39 c using permutation method 3
11.30/11.39 c Ordering finished 11.370 seconds
11.30/11.39 c mapped 11.370 seconds
11.30/11.39 c permuted 11.370 seconds
11.30/11.39 c about to sort
11.30/11.39 c sorted
11.30/11.40 c clauses now 505
11.30/11.40 c init finished 11.380 seconds
11.30/11.40 c tree built 11.380 seconds
11.30/11.40 c
11.30/11.40 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
11.30/11.40 c ---------------------------------|----------------------------------|------------------------------------------------------
11.30/11.40 c ................................ | .......... 1027 | 11.4 90.2 2
11.30/11.40 c ................................ | .......... 1028 | 11.4 90.3 14
11.30/11.40 c ................................ | .......... 1029 | 11.4 90.4 18
11.30/11.40 c ................................ | .......... 1030 | 11.4 90.5 24
11.30/11.40 c ................................ | .......... 1031 | 11.4 90.6 31
11.30/11.40 c ................................ | .......... 1032 | 11.4 90.7 36
14.70/14.78 c Satisfiable sub-problem
14.70/14.78 c Sub-problem with 223 variables and 445 clauses
14.70/14.78 c using permutation method 3
14.70/14.78 c Ordering finished 14.770 seconds
14.70/14.78 c mapped 14.770 seconds
14.70/14.78 c permuted 14.770 seconds
14.70/14.78 c about to sort
14.70/14.78 c sorted
14.70/14.79 c clauses now 445
14.70/14.79 c init finished 14.770 seconds
14.70/14.79 c tree built 14.770 seconds
14.70/14.79 c
14.70/14.79 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
14.70/14.79 c ---------------------------------|----------------------------------|------------------------------------------------------
14.70/14.79 c ................................ | .......... 1242 | 14.8 84.1 85
14.70/14.79 c ................................ | .......... 1243 | 14.8 84.2 99
14.70/14.79 c ................................ | .......... 1244 | 14.8 84.2 106
14.70/14.79 c ................................ | .......... 1245 | 14.8 84.3 108
14.70/14.79 c ................................ | .......... 1246 | 14.8 84.4 117
14.70/14.79 c ................................ | .......... 1247 | 14.8 84.4 117
19.10/19.13 c Satisfiable sub-problem
19.10/19.13 c Sub-problem with 256 variables and 576 clauses
19.10/19.13 c using permutation method 3
19.10/19.13 .c Ordering finished 19.100 seconds
19.10/19.13 c mapped 19.100 seconds
19.10/19.13 c permuted 19.100 seconds
19.10/19.13 c about to sort
19.10/19.13 c sorted
19.10/19.14 c clauses now 576
19.10/19.14 c init finished 19.110 seconds
19.10/19.14 c tree built 19.120 seconds
19.10/19.14 c
19.10/19.14 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
19.10/19.14 c ---------------------------------|----------------------------------|------------------------------------------------------
19.10/19.14 c ................................ | .......... 1565 | 21 19.1 81.9 225
19.10/19.14 c ................................ | .......... 1566 | 21 19.1 81.9 243
19.10/19.14 c ................................ | .......... 1567 | 21 19.1 82.0 243
19.10/19.14 c ................................ | .......... 1568 | 21 19.1 82.0 243
19.10/19.14 c ****************................ | .......... 1569 | 22 19.1 82.1 253
19.10/19.14 c ****************................ | .......... 1570 | 22 19.1 82.1 253
19.10/19.14 c ****************................ | .......... 1571 | 22 19.1 82.2 253
19.10/19.14 c ****************................ | .......... 1572 | 22 19.1 82.2 253
19.10/19.14 c ****************................ | .......... 1573 | 22 19.1 82.3 253
19.10/19.14 c *****************............... | .......... 1574 | 23 19.1 82.3 253
19.10/19.14 c *****************............... | .......... 2000 | 36 19.1 104.4 951
23.98/24.09 c Satisfiable sub-problem
23.98/24.09 c Sub-problem with 356 variables and 844 clauses
23.98/24.09 c using permutation method 3
23.98/24.09 ......................................................................................................................................................................c Ordering finished 24.070 seconds
23.98/24.09 c mapped 24.070 seconds
23.98/24.09 c permuted 24.070 seconds
23.98/24.09 c about to sort
23.98/24.09 c sorted
23.98/24.10 c clauses now 844
23.98/24.10 c init finished 24.080 seconds
23.98/24.10 c tree built 24.080 seconds
23.98/24.10 c
23.98/24.10 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
23.98/24.10 c ---------------------------------|----------------------------------|------------------------------------------------------
23.98/24.10 c ................................ | .......... 2181 | 37 24.1 90.6 951
23.98/24.10 c ................................ | .......... 2182 | 37 24.1 90.6 951
23.98/24.10 c ................................ | .......... 2183 | 37 24.1 90.7 951
23.98/24.10 c ................................ | .......... 2184 | 37 24.1 90.7 951
23.98/24.10 c ................................ | .......... 2185 | 37 24.1 90.7 951
23.98/24.10 c ................................ | .......... 2186 | 37 24.1 90.8 951
23.98/24.10 c ................................ | .......... 3000 | 77 24.1 124.6 2075
23.98/24.10 c Thread 7 result 0
23.98/24.10 c Thread 12 result 0
23.98/24.10 c Thread 3 result 0
23.98/24.10 c Thread 2 result 0
23.98/24.10 c Thread 5 result 0
23.98/24.10 c Thread 8 result 0
23.98/24.10 c Thread 13 result 0
23.98/24.10 c Thread 9 result 0
23.98/24.10 c Thread 0 result 0
23.98/24.10 c Thread 6 result 0
23.98/24.11 c Thread 10 result 0
23.98/24.11 c Thread 1 result 0
23.98/24.11 c Thread 11 result 0
23.98/24.11 c Thread 4 result 0
23.98/24.11 c UnSatisfiable sub-problem
23.98/24.11 c Partial assignments = 3115, improvements = 89 PA/sec = 129.36, subset nodes = 2605
23.98/24.11 s UNSATISFIABLE
23.98/24.11 c CPU time = 24.08 seconds
23.98/24.11 c Elapsed time = 24 seconds
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776195-1244929291/watcher-1776195-1244929291 -o /tmp/evaluation-result-1776195-1244929291/solver-1776195-1244929291 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776195-1244929291.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.93 3.54 2.29 2/184 18075
/proc/meminfo: memFree=19045304/36427776 swapFree=3436/7468
[pid=18075] ppid=18073 vsize=1936 CPUtime=0
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 652235547 1982464 336 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 484 336 75 177 0 306 0
[startup+0.071142 s]
/proc/loadavg: 1.93 3.54 2.29 2/184 18075
/proc/meminfo: memFree=19045304/36427776 swapFree=3436/7468
[pid=18075] ppid=18073 vsize=6128 CPUtime=0.06
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 1429 0 0 0 6 0 0 0 20 0 1 0 652235547 6275072 1386 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134639534 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 1532 1388 75 177 0 1354 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6128
[startup+0.103108 s]
/proc/loadavg: 1.93 3.54 2.29 2/184 18075
/proc/meminfo: memFree=19045304/36427776 swapFree=3436/7468
[pid=18075] ppid=18073 vsize=8156 CPUtime=0.1
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 1922 0 0 0 10 0 0 0 20 0 1 0 652235547 8351744 1880 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 2039 1880 75 177 0 1861 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8156
[startup+0.303135 s]
/proc/loadavg: 1.93 3.54 2.29 2/184 18075
/proc/meminfo: memFree=19045304/36427776 swapFree=3436/7468
[pid=18075] ppid=18073 vsize=20788 CPUtime=0.3
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 4967 0 0 0 26 4 0 0 20 0 1 0 652235547 21286912 4924 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 5197 4924 75 177 0 5019 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 20788
[startup+0.703188 s]
/proc/loadavg: 1.93 3.54 2.29 2/184 18075
/proc/meminfo: memFree=19045304/36427776 swapFree=3436/7468
[pid=18075] ppid=18073 vsize=44980 CPUtime=0.7
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 10833 0 0 0 64 6 0 0 20 0 1 0 652235547 46059520 10790 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134639534 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 11245 10791 75 177 0 11067 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 44980
[startup+1.50323 s]
/proc/loadavg: 1.86 3.50 2.28 2/185 18076
/proc/meminfo: memFree=18989788/36427776 swapFree=4536/64044
[pid=18075] ppid=18073 vsize=59476 CPUtime=1.5
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 13987 0 0 0 144 6 0 0 20 0 1 0 652235547 60903424 13944 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134534266 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 14869 13944 75 177 0 14691 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 59476
[startup+3.10337 s]
/proc/loadavg: 1.86 3.50 2.28 2/185 18076
/proc/meminfo: memFree=18989292/36427776 swapFree=4448/64636
[pid=18075] ppid=18073 vsize=59476 CPUtime=3.1
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 13987 0 0 0 304 6 0 0 20 0 1 0 652235547 60903424 13944 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134534101 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 14869 13944 75 177 0 14691 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 59476
[startup+6.30363 s]
/proc/loadavg: 1.79 3.46 2.27 2/185 18124
/proc/meminfo: memFree=18936208/36427776 swapFree=4696/116748
[pid=18075] ppid=18073 vsize=159004 CPUtime=6.28
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 41406 0 0 0 612 16 0 0 20 0 1 0 652235547 162820096 28033 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134737698 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 39751 28033 112 177 0 39573 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 159004
[startup+12.7002 s]
/proc/loadavg: 1.72 3.41 2.27 2/185 18284
/proc/meminfo: memFree=18924368/36427776 swapFree=4760/128880
[pid=18075] ppid=18073 vsize=167196 CPUtime=12.7
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 43512 0 0 0 1252 18 0 0 20 0 1 0 652235547 171208704 29938 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134594732 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 41799 29938 112 177 0 41621 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 167196
Solver just ended. Dumping a history of the last processes samples
[startup+19.1047 s]
/proc/loadavg: 1.67 3.37 2.26 2/185 18300
/proc/meminfo: memFree=18922000/36427776 swapFree=4760/131196
[pid=18075] ppid=18073 vsize=169244 CPUtime=19.1
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 44170 0 0 0 1892 18 0 0 20 0 1 0 652235547 173305856 30559 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134606071 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 42311 30559 112 177 0 42133 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 169244
[startup+22.301 s]
/proc/loadavg: 1.61 3.33 2.25 2/185 18316
/proc/meminfo: memFree=18919148/36427776 swapFree=4760/134348
[pid=18075] ppid=18073 vsize=172316 CPUtime=22.28
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 44951 0 0 0 2210 18 0 0 20 0 1 0 652235547 176451584 31279 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134730161 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 43079 31279 112 177 0 42901 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 172316
[startup+23.109 s]
/proc/loadavg: 1.61 3.33 2.25 2/185 18316
/proc/meminfo: memFree=18919148/36427776 swapFree=4760/134352
[pid=18075] ppid=18073 vsize=172316 CPUtime=23.1
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 44951 0 0 0 2292 18 0 0 20 0 1 0 652235547 176451584 31279 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134683155 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 43079 31279 112 177 0 42901 0
Current children cumulated CPU time (s) 23.1
Current children cumulated vsize (KiB) 172316
[startup+23.9011 s]
/proc/loadavg: 1.61 3.33 2.25 2/185 18316
/proc/meminfo: memFree=18919148/36427776 swapFree=4760/134352
[pid=18075] ppid=18073 vsize=172316 CPUtime=23.88
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202496 44951 0 0 0 2370 18 0 0 20 0 1 0 652235547 176451584 31279 18446744073709551615 134512640 135237372 4291531664 18446744073709551615 134606074 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 43079 31279 112 177 0 42901 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 172316
[startup+24.1011 s]
/proc/loadavg: 1.61 3.33 2.25 2/185 18316
/proc/meminfo: memFree=18916040/36427776 swapFree=4760/137400
[pid=18075] ppid=18073 vsize=0 CPUtime=24.08
/proc/18075/stat : 18075 (ttsth-5-0) R 18073 18075 15497 0 -1 4202500 45975 0 0 0 2390 18 0 0 20 0 1 0 652235547 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18075/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 24.08
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 24.1322
CPU time (s): 24.1055
CPU user time (s): 23.9015
CPU system time (s): 0.204012
CPU usage (%): 99.8892
Max. virtual memory (cumulated for all children) (KiB): 249116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.9015
system time used= 0.204012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45975
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 548
involuntary context switches= 199
runsolver used 0.060003 second user time and 0.156009 second system time
The end
Begin job on xenhost3-49 at 2009-06-13 23:41:31
IDJOB=1776195
IDBENCH=20463
IDSOLVER=634
FILE ID=xenhost3-49/1776195-1244929291
PBS_JOBID=
Free space on /tmp= 7011 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc11803.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776195-1244929291/watcher-1776195-1244929291 -o /tmp/evaluation-result-1776195-1244929291/solver-1776195-1244929291 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776195-1244929291.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 6c6fd606fd41d7205b07602118ad74a0
RANDOM SEED= 1693695642
Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 0
cpu cores : 1
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 0
cpu cores : 1
apicid : 8
initial apicid : 8
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 0
cpu cores : 1
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 0
cpu cores : 1
apicid : 24
initial apicid : 24
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 2
cpu cores : 1
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 2
cpu cores : 1
apicid : 10
initial apicid : 10
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 2
cpu cores : 1
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 2
cpu cores : 1
apicid : 26
initial apicid : 26
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 1
cpu cores : 1
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 1
cpu cores : 1
apicid : 9
initial apicid : 9
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 1
cpu cores : 1
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 1
cpu cores : 1
apicid : 25
initial apicid : 25
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 3
cpu cores : 1
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 3
cpu cores : 1
apicid : 11
initial apicid : 11
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 3
cpu cores : 1
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 3
cpu cores : 1
apicid : 27
initial apicid : 27
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 36427776 kB
MemFree: 19045296 kB
Buffers: 472584 kB
Cached: 14130400 kB
SwapCached: 0 kB
Active: 4118592 kB
Inactive: 10492468 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 16532 kB
Writeback: 0 kB
AnonPages: 7412 kB
Mapped: 3432 kB
Slab: 717544 kB
SReclaimable: 690652 kB
SUnreclaim: 26892 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7010 MiB
End job on xenhost3-49 at 2009-06-13 23:41:56