3.70/3.80 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776180-1244929266.cnf
3.70/3.80 c Using SATTIMEOUT of 10000
3.70/3.80 c Using SATRAM of 2047
3.70/3.80 c Size of subset node = 16
3.70/3.80 c Variables = 312628
3.70/3.80 c Clauses = 905106
3.70/3.80 c Literals = 2361159
3.70/3.80 c Reduced size:
3.70/3.80 c Variables = 312579
3.70/3.80 c Clauses = 868353
3.70/3.80 c Literals = 2322725
3.70/3.80 c a2
4.90/4.93 c a1
5.50/5.58 c Independent sub-problems = 19
5.50/5.58 c Sub-problem with 95 variables and 157 clauses
5.50/5.58 c using permutation method 3
5.50/5.58 ...........................................................c Ordering finished 5.580 seconds
5.50/5.58 c mapped 5.580 seconds
5.50/5.58 c permuted 5.580 seconds
5.50/5.58 c about to sort
5.50/5.58 c sorted
5.50/5.58 c clauses now 157
5.50/5.58 c init finished 5.580 seconds
5.50/5.58 c tree built 5.580 seconds
5.50/5.58 c
5.50/5.58 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
5.50/5.58 c ---------------------------------|----------------------------------|------------------------------------------------------
5.50/5.58 c ................................ | .......... | 5.6 0.0
5.50/5.58 c ................................ | .......... 1 | 5.6 0.2
5.70/5.79 c Satisfiable sub-problem
5.70/5.79 c Sub-problem with 95 variables and 157 clauses
5.70/5.79 c using permutation method 3
5.70/5.79 ...........................................................c Ordering finished 5.780 seconds
5.70/5.79 c mapped 5.780 seconds
5.70/5.79 c permuted 5.780 seconds
5.70/5.79 c about to sort
5.70/5.79 c sorted
5.70/5.79 c clauses now 157
5.70/5.79 c init finished 5.790 seconds
5.70/5.79 c tree built 5.790 seconds
5.70/5.79 c
5.70/5.79 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
5.70/5.79 c ---------------------------------|----------------------------------|------------------------------------------------------
5.70/5.79 c ................................ | .......... 2 | 5.8 0.3
5.70/5.79 c ................................ | .......... 3 | 5.8 0.5
5.70/5.79 c ................................ | .......... 4 | 5.8 0.7
5.70/5.79 c ................................ | .......... 5 | 5.8 0.9
5.70/5.79 c ................................ | .......... 6 | 5.8 1.0
5.70/5.79 c ................................ | .......... 7 | 5.8 1.2
6.00/6.00 c Satisfiable sub-problem
6.00/6.00 c Sub-problem with 95 variables and 157 clauses
6.00/6.00 c using permutation method 3
6.00/6.00 ...........................................................c Ordering finished 6.000 seconds
6.00/6.00 c mapped 6.000 seconds
6.00/6.00 c permuted 6.000 seconds
6.00/6.00 c about to sort
6.00/6.00 c sorted
6.00/6.01 c clauses now 157
6.00/6.01 c init finished 6.000 seconds
6.00/6.01 c tree built 6.000 seconds
6.00/6.01 c
6.00/6.01 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.00/6.01 c ---------------------------------|----------------------------------|------------------------------------------------------
6.00/6.01 c ................................ | .......... 8 | 6.0 1.3
6.00/6.01 c ................................ | .......... 9 | 6.0 1.5
6.00/6.01 c ................................ | .......... 10 | 6.0 1.7
6.00/6.01 c ................................ | .......... 11 | 6.0 1.8
6.00/6.01 c ................................ | .......... 12 | 6.0 2.0
6.00/6.01 c ................................ | .......... 13 | 6.0 2.2
6.20/6.22 c Satisfiable sub-problem
6.20/6.22 c Sub-problem with 95 variables and 157 clauses
6.20/6.22 c using permutation method 3
6.20/6.22 ...........................................................c Ordering finished 6.210 seconds
6.20/6.22 c mapped 6.210 seconds
6.20/6.22 c permuted 6.210 seconds
6.20/6.22 c about to sort
6.20/6.22 c sorted
6.20/6.22 c clauses now 157
6.20/6.22 c init finished 6.210 seconds
6.20/6.22 c tree built 6.210 seconds
6.20/6.22 c
6.20/6.22 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.20/6.22 c ---------------------------------|----------------------------------|------------------------------------------------------
6.20/6.22 c ................................ | .......... 104 | 6.2 16.7
6.20/6.22 c ................................ | .......... 105 | 6.2 16.9
6.20/6.22 c ................................ | .......... 106 | 6.2 17.1
6.20/6.22 c ................................ | .......... 107 | 6.2 17.2
6.20/6.22 c ................................ | .......... 108 | 6.2 17.4
6.20/6.22 c ................................ | .......... 109 | 6.2 17.6
6.38/6.43 c Satisfiable sub-problem
6.38/6.43 c Sub-problem with 95 variables and 157 clauses
6.38/6.43 c using permutation method 3
6.38/6.43 ...........................................................c Ordering finished 6.410 seconds
6.38/6.43 c mapped 6.410 seconds
6.38/6.43 c permuted 6.410 seconds
6.38/6.43 c about to sort
6.38/6.43 c sorted
6.38/6.43 c clauses now 157
6.38/6.43 c init finished 6.420 seconds
6.38/6.43 c tree built 6.420 seconds
6.38/6.43 c
6.38/6.43 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.38/6.43 c ---------------------------------|----------------------------------|------------------------------------------------------
6.38/6.43 c ................................ | .......... 200 | 6.4 31.2
6.38/6.43 c ................................ | .......... 201 | 6.4 31.3
6.38/6.43 c ................................ | .......... 202 | 6.4 31.5
6.38/6.43 c ................................ | .......... 203 | 6.4 31.6
6.38/6.43 c ................................ | .......... 204 | 6.4 31.8
6.38/6.43 c ................................ | .......... 205 | 6.4 31.9
6.60/6.64 c Satisfiable sub-problem
6.60/6.64 c Sub-problem with 95 variables and 157 clauses
6.60/6.64 c using permutation method 3
6.60/6.64 ...........................................................c Ordering finished 6.630 seconds
6.60/6.64 c mapped 6.630 seconds
6.60/6.64 c permuted 6.630 seconds
6.60/6.64 c about to sort
6.60/6.64 c sorted
6.60/6.65 c clauses now 157
6.60/6.65 c init finished 6.630 seconds
6.60/6.65 c tree built 6.630 seconds
6.60/6.65 c
6.60/6.65 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.60/6.65 c ---------------------------------|----------------------------------|------------------------------------------------------
6.60/6.65 c ................................ | .......... 296 | 6.6 44.6
6.60/6.65 c ................................ | .......... 297 | 6.6 44.8
6.60/6.65 c ................................ | .......... 298 | 6.6 44.9
6.60/6.65 c ................................ | .......... 299 | 6.6 45.1
6.60/6.65 c ................................ | .......... 300 | 6.6 45.2
6.60/6.65 c ................................ | .......... 301 | 6.6 45.4
6.78/6.86 c Satisfiable sub-problem
6.78/6.86 c Sub-problem with 95 variables and 157 clauses
6.78/6.86 c using permutation method 3
6.78/6.86 ...........................................................c Ordering finished 6.850 seconds
6.78/6.86 c mapped 6.850 seconds
6.78/6.86 c permuted 6.850 seconds
6.78/6.86 c about to sort
6.78/6.86 c sorted
6.78/6.86 c clauses now 157
6.78/6.86 c init finished 6.850 seconds
6.78/6.86 c tree built 6.850 seconds
6.78/6.86 c
6.78/6.86 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.78/6.86 c ---------------------------------|----------------------------------|------------------------------------------------------
6.78/6.86 c ................................ | .......... 392 | 6.8 57.2
6.78/6.86 c ................................ | .......... 393 | 6.8 57.4
6.78/6.86 c ................................ | .......... 394 | 6.8 57.5
6.78/6.86 c ................................ | .......... 395 | 6.8 57.7
6.78/6.86 c ................................ | .......... 396 | 6.8 57.8
6.78/6.86 c ................................ | .......... 397 | 6.8 58.0
6.98/7.07 c Satisfiable sub-problem
6.98/7.07 c Sub-problem with 95 variables and 157 clauses
6.98/7.07 c using permutation method 3
6.98/7.07 ...........................................................c Ordering finished 7.060 seconds
6.98/7.07 c mapped 7.060 seconds
6.98/7.07 c permuted 7.060 seconds
6.98/7.07 c about to sort
6.98/7.07 c sorted
6.98/7.08 c clauses now 157
6.98/7.08 c init finished 7.060 seconds
6.98/7.08 c tree built 7.060 seconds
6.98/7.08 c
6.98/7.08 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
6.98/7.08 c ---------------------------------|----------------------------------|------------------------------------------------------
6.98/7.08 c ................................ | .......... 488 | 7.1 69.1
6.98/7.08 c ................................ | .......... 489 | 7.1 69.3
6.98/7.08 c ................................ | .......... 490 | 7.1 69.4
6.98/7.08 c ................................ | .......... 491 | 7.1 69.5
6.98/7.08 c ................................ | .......... 492 | 7.1 69.7
6.98/7.08 c ................................ | .......... 493 | 7.1 69.8
7.18/7.29 c Satisfiable sub-problem
7.18/7.29 c Sub-problem with 95 variables and 157 clauses
7.18/7.29 c using permutation method 3
7.18/7.29 ...........................................................c Ordering finished 7.270 seconds
7.18/7.29 c mapped 7.270 seconds
7.18/7.29 c permuted 7.270 seconds
7.18/7.29 c about to sort
7.18/7.29 c sorted
7.18/7.29 c clauses now 157
7.18/7.29 c init finished 7.280 seconds
7.18/7.29 c tree built 7.280 seconds
7.18/7.29 c
7.18/7.29 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
7.18/7.29 c ---------------------------------|----------------------------------|------------------------------------------------------
7.18/7.29 c ................................ | .......... 584 | 7.3 80.2
7.18/7.29 c ................................ | .......... 585 | 7.3 80.4
7.18/7.29 c ................................ | .......... 586 | 7.3 80.5
7.18/7.29 c ................................ | .......... 587 | 7.3 80.6
7.18/7.29 c ................................ | .......... 588 | 7.3 80.8
7.18/7.29 c ................................ | .......... 589 | 7.3 80.9
7.48/7.50 c Satisfiable sub-problem
7.48/7.50 c Sub-problem with 95 variables and 157 clauses
7.48/7.50 c using permutation method 3
7.48/7.50 ...........................................................c Ordering finished 7.490 seconds
7.48/7.50 c mapped 7.490 seconds
7.48/7.50 c permuted 7.490 seconds
7.48/7.50 c about to sort
7.48/7.50 c sorted
7.48/7.51 c clauses now 157
7.48/7.51 c init finished 7.490 seconds
7.48/7.51 c tree built 7.490 seconds
7.48/7.51 c
7.48/7.51 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
7.48/7.51 c ---------------------------------|----------------------------------|------------------------------------------------------
7.48/7.51 c ................................ | .......... 680 | 7.5 90.8
7.48/7.51 c ................................ | .......... 681 | 7.5 90.9
7.48/7.51 c ................................ | .......... 682 | 7.5 91.1
7.48/7.51 c ................................ | .......... 683 | 7.5 91.2
7.48/7.51 c ................................ | .......... 684 | 7.5 91.3
7.48/7.51 c ................................ | .......... 685 | 7.5 91.5
7.70/7.72 c Satisfiable sub-problem
7.70/7.72 c Sub-problem with 95 variables and 157 clauses
7.70/7.72 c using permutation method 3
7.70/7.72 ...........................................................c Ordering finished 7.700 seconds
7.70/7.72 c mapped 7.700 seconds
7.70/7.72 c permuted 7.700 seconds
7.70/7.72 c about to sort
7.70/7.72 c sorted
7.70/7.72 c clauses now 157
7.70/7.72 c init finished 7.700 seconds
7.70/7.72 c tree built 7.700 seconds
7.70/7.72 c
7.70/7.72 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
7.70/7.72 c ---------------------------------|----------------------------------|------------------------------------------------------
7.70/7.72 c ................................ | .......... 776 | 7.7 100.8
7.70/7.72 c ................................ | .......... 777 | 7.7 100.9
7.70/7.72 c ................................ | .......... 778 | 7.7 101.0
7.70/7.72 c ................................ | .......... 779 | 7.7 101.2
7.88/7.93 c Satisfiable sub-problem
7.88/7.93 c Sub-problem with 95 variables and 157 clauses
7.88/7.93 c using permutation method 3
7.88/7.93 ...........................................................c Ordering finished 7.910 seconds
7.88/7.93 c mapped 7.910 seconds
7.88/7.93 c permuted 7.910 seconds
7.88/7.93 c about to sort
7.88/7.93 c sorted
7.88/7.93 c clauses now 157
7.88/7.93 c init finished 7.920 seconds
7.88/7.93 c tree built 7.920 seconds
7.88/7.93 c
7.88/7.93 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
7.88/7.93 c ---------------------------------|----------------------------------|------------------------------------------------------
7.88/7.93 c ................................ | .......... 780 | 7.9 98.5
7.88/7.93 c ................................ | .......... 781 | 7.9 98.6
7.88/7.93 c ................................ | .......... 782 | 7.9 98.7
7.88/7.93 c ................................ | .......... 783 | 7.9 98.9
7.88/7.93 c ................................ | .......... 784 | 7.9 99.0
7.88/7.93 c ................................ | .......... 785 | 7.9 99.1
12.00/12.07 c Satisfiable sub-problem
12.00/12.07 c Sub-problem with 214 variables and 505 clauses
12.00/12.07 c using permutation method 3
12.00/12.07 c Ordering finished 12.050 seconds
12.00/12.07 c mapped 12.050 seconds
12.00/12.07 c permuted 12.050 seconds
12.00/12.07 c about to sort
12.00/12.07 c sorted
12.00/12.08 c clauses now 505
12.00/12.08 c init finished 12.060 seconds
12.00/12.08 c tree built 12.060 seconds
12.00/12.08 c
12.00/12.08 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
12.00/12.08 c ---------------------------------|----------------------------------|------------------------------------------------------
12.00/12.08 c ................................ | .......... 876 | 12.1 72.6 2
12.00/12.08 c ................................ | .......... 877 | 12.1 72.7 31
12.00/12.08 c ................................ | .......... 878 | 12.1 72.8 31
12.00/12.08 c ................................ | .......... 879 | 12.1 72.9 31
12.00/12.08 c ................................ | .......... 880 | 12.1 73.0 31
12.00/12.08 c ................................ | .......... 881 | 12.1 73.1 31
12.00/12.08 c ................................ | .......... 1000 | 12.1 82.9 51
15.30/15.36 c Satisfiable sub-problem
15.30/15.36 c Sub-problem with 223 variables and 445 clauses
15.30/15.36 c using permutation method 3
15.30/15.36 c Ordering finished 15.340 seconds
15.30/15.36 c mapped 15.340 seconds
15.30/15.36 c permuted 15.340 seconds
15.30/15.36 c about to sort
15.30/15.36 c sorted
15.30/15.37 c clauses now 445
15.30/15.37 c init finished 15.350 seconds
15.30/15.37 c tree built 15.350 seconds
15.30/15.37 c
15.30/15.37 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
15.30/15.37 c ---------------------------------|----------------------------------|------------------------------------------------------
15.30/15.37 c ................................ | .......... 1091 | 15.3 71.1 74
15.30/15.37 c ................................ | .......... 1092 | 15.3 71.1 90
15.30/15.37 c ................................ | .......... 1093 | 15.3 71.2 96
15.30/15.37 c ................................ | .......... 1094 | 15.3 71.3 98
15.30/15.37 c ................................ | .......... 1095 | 15.3 71.3 100
15.30/15.37 c ................................ | .......... 1096 | 15.3 71.4 104
19.58/19.67 c Satisfiable sub-problem
19.58/19.67 c Sub-problem with 256 variables and 576 clauses
19.58/19.67 c using permutation method 3
19.58/19.67 .c Ordering finished 19.650 seconds
19.58/19.67 c mapped 19.650 seconds
19.58/19.67 c permuted 19.650 seconds
19.58/19.67 c about to sort
19.58/19.67 c sorted
19.58/19.68 c clauses now 576
19.58/19.68 c init finished 19.650 seconds
19.58/19.68 c tree built 19.650 seconds
19.58/19.68 c
19.58/19.68 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
19.58/19.68 c ---------------------------------|----------------------------------|------------------------------------------------------
19.58/19.68 c ................................ | .......... 1414 | 22 19.6 72.0 338
19.58/19.68 c ................................ | .......... 1415 | 22 19.6 72.0 338
19.58/19.68 c ****************................ | .......... 1416 | 23 19.6 72.1 338
19.58/19.68 c ****************................ | .......... 1417 | 23 19.6 72.1 338
19.58/19.68 c ****************................ | .......... 1418 | 23 19.6 72.2 338
19.58/19.68 c ****************................ | .......... 1419 | 23 19.6 72.2 338
19.58/19.68 c ****************................ | .......... 1420 | 23 19.6 72.3 338
19.58/19.68 c *****************............... | .......... 1421 | 24 19.6 72.3 338
19.58/19.69 c *****************............... | .......... 2000 | 38 19.7 101.6 1016
24.48/24.59 c Satisfiable sub-problem
24.48/24.59 c Sub-problem with 356 variables and 844 clauses
24.48/24.59 c using permutation method 3
24.48/24.59 ......................................................................................................................................................................c Ordering finished 24.550 seconds
24.48/24.59 c mapped 24.550 seconds
24.48/24.59 c permuted 24.550 seconds
24.48/24.59 c about to sort
24.48/24.59 c sorted
24.58/24.60 c clauses now 844
24.58/24.60 c init finished 24.560 seconds
24.58/24.60 c tree built 24.570 seconds
24.58/24.60 c
24.58/24.60 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
24.58/24.60 c ---------------------------------|----------------------------------|------------------------------------------------------
24.58/24.60 c ................................ | .......... 2028 | 38 24.6 82.5 1016
24.58/24.60 c ................................ | .......... 2029 | 38 24.6 82.6 1016
24.58/24.60 c ................................ | .......... 2030 | 38 24.6 82.6 1016
24.58/24.60 c ................................ | .......... 2031 | 38 24.6 82.7 1016
24.58/24.60 c ................................ | .......... 2032 | 38 24.6 82.7 1016
24.58/24.60 c ................................ | .......... 2033 | 38 24.6 82.7 1016
24.58/24.61 c Thread 12 result 0
24.58/24.61 c Thread 10 result 0
24.58/24.61 c Thread 11 result 0
24.58/24.61 c Thread 9 result 0
24.58/24.61 c Thread 4 result 0
24.58/24.61 c Thread 2 result 0
24.58/24.61 c Thread 14 result 0
24.58/24.61 c Thread 5 result 0
24.58/24.61 c Thread 1 result 0
24.58/24.61 c Thread 0 result 0
24.58/24.61 c Thread 8 result 0
24.58/24.61 c Thread 13 result 0
24.58/24.61 c Thread 7 result 0
24.58/24.61 c Thread 6 result 0
24.58/24.61 c UnSatisfiable sub-problem
24.58/24.61 c Partial assignments = 2898, improvements = 87 PA/sec = 117.95, subset nodes = 2657
24.58/24.61 s UNSATISFIABLE
24.58/24.61 c CPU time = 24.57 seconds
24.58/24.61 c Elapsed time = 25 seconds
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776180-1244929266/watcher-1776180-1244929266 -o /tmp/evaluation-result-1776180-1244929266/solver-1776180-1244929266 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776180-1244929266.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: 2.41 3.76 2.32 2/184 17781
/proc/meminfo: memFree=19042208/36427776 swapFree=4016/7816
[pid=17781] ppid=17779 vsize=1936 CPUtime=0
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 652233009 1982464 341 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 484 342 75 177 0 306 0
[startup+0.084875 s]
/proc/loadavg: 2.41 3.76 2.32 2/184 17781
/proc/meminfo: memFree=19042208/36427776 swapFree=4016/7816
[pid=17781] ppid=17779 vsize=7232 CPUtime=0.08
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 1674 0 0 0 6 2 0 0 20 0 1 0 652233009 7405568 1630 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 1808 1632 75 177 0 1630 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7232
[startup+0.100872 s]
/proc/loadavg: 2.41 3.76 2.32 2/184 17781
/proc/meminfo: memFree=19042208/36427776 swapFree=4016/7816
[pid=17781] ppid=17779 vsize=8156 CPUtime=0.1
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 1921 0 0 0 8 2 0 0 20 0 1 0 652233009 8351744 1877 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 2039 1878 75 177 0 1861 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8156
[startup+0.300901 s]
/proc/loadavg: 2.41 3.76 2.32 2/184 17781
/proc/meminfo: memFree=19042208/36427776 swapFree=4016/7816
[pid=17781] ppid=17779 vsize=20920 CPUtime=0.28
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 5003 0 0 0 26 2 0 0 20 0 1 0 652233009 21422080 4959 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 5230 4960 75 177 0 5052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20920
[startup+0.700927 s]
/proc/loadavg: 2.41 3.76 2.32 2/184 17781
/proc/meminfo: memFree=19042208/36427776 swapFree=4016/7816
[pid=17781] ppid=17779 vsize=45508 CPUtime=0.68
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 10961 0 0 0 64 4 0 0 20 0 1 0 652233009 46600192 10917 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 11377 10919 75 177 0 11199 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 45508
[startup+1.50099 s]
/proc/loadavg: 2.30 3.72 2.32 2/185 17782
/proc/meminfo: memFree=18979456/36427776 swapFree=4572/71568
[pid=17781] ppid=17779 vsize=66856 CPUtime=1.48
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 15840 0 0 0 142 6 0 0 20 0 1 0 652233009 68460544 15796 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134534291 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 16714 15796 75 177 0 16536 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 66856
[startup+3.10115 s]
/proc/loadavg: 2.30 3.72 2.32 2/185 17782
/proc/meminfo: memFree=18977876/36427776 swapFree=4596/71996
[pid=17781] ppid=17779 vsize=66856 CPUtime=3.1
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 15840 0 0 0 302 8 0 0 20 0 1 0 652233009 68460544 15796 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134534052 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 16714 15796 75 177 0 16536 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 66856
[startup+6.3014 s]
/proc/loadavg: 2.30 3.72 2.32 2/185 17782
/proc/meminfo: memFree=18916116/36427776 swapFree=4616/132884
[pid=17781] ppid=17779 vsize=167424 CPUtime=6.28
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 44992 0 0 0 610 18 0 0 20 0 1 0 652233009 171442176 29995 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134601506 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 41856 29995 112 177 0 41678 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 167424
[startup+12.7019 s]
/proc/loadavg: 2.10 3.63 2.30 2/185 17974
/proc/meminfo: memFree=18913040/36427776 swapFree=4760/137192
[pid=17781] ppid=17779 vsize=179712 CPUtime=12.7
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 47954 0 0 0 1248 22 0 0 20 0 1 0 652233009 184025088 32661 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134594462 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 44928 32661 112 177 0 44750 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 179712
Solver just ended. Dumping a history of the last processes samples
[startup+19.1025 s]
/proc/loadavg: 2.01 3.58 2.29 2/185 18006
/proc/meminfo: memFree=18908460/36427776 swapFree=4760/142088
[pid=17781] ppid=17779 vsize=181760 CPUtime=19.08
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 48624 0 0 0 1886 22 0 0 20 0 1 0 652233009 186122240 33283 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134738965 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 45440 33283 112 177 0 45262 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 181760
[startup+22.3027 s]
/proc/loadavg: 1.93 3.54 2.29 3/185 18022
/proc/meminfo: memFree=18905600/36427776 swapFree=4760/145000
[pid=17781] ppid=17779 vsize=184832 CPUtime=22.28
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 49404 0 0 0 2206 22 0 0 20 0 1 0 652233009 189267968 34014 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134601495 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 46208 34014 112 177 0 46030 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 184832
[startup+23.9029 s]
/proc/loadavg: 1.93 3.54 2.29 2/185 18022
/proc/meminfo: memFree=18905632/36427776 swapFree=4760/145292
[pid=17781] ppid=17779 vsize=184832 CPUtime=23.88
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 49404 0 0 0 2366 22 0 0 20 0 1 0 652233009 189267968 34014 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134738920 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 46208 34014 112 177 0 46030 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 184832
[startup+24.3029 s]
/proc/loadavg: 1.93 3.54 2.29 2/185 18022
/proc/meminfo: memFree=18905756/36427776 swapFree=4760/145016
[pid=17781] ppid=17779 vsize=184832 CPUtime=24.28
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 49404 0 0 0 2406 22 0 0 20 0 1 0 652233009 189267968 34014 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134605969 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 46208 34014 112 177 0 46030 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 184832
[startup+24.5029 s]
/proc/loadavg: 1.93 3.54 2.29 2/185 18022
/proc/meminfo: memFree=18905756/36427776 swapFree=4760/145016
[pid=17781] ppid=17779 vsize=184832 CPUtime=24.48
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 49404 0 0 0 2426 22 0 0 20 0 1 0 652233009 189267968 34014 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134606961 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 46208 34014 112 177 0 46030 0
Current children cumulated CPU time (s) 24.48
Current children cumulated vsize (KiB) 184832
[startup+24.6029 s]
/proc/loadavg: 1.93 3.54 2.29 2/185 18022
/proc/meminfo: memFree=18905756/36427776 swapFree=4760/145016
[pid=17781] ppid=17779 vsize=188928 CPUtime=24.58
/proc/17781/stat : 17781 (ttsth-5-0) R 17779 17781 15497 0 -1 4202496 50333 0 0 0 2436 22 0 0 20 0 1 0 652233009 193462272 34943 18446744073709551615 134512640 135237372 4288168032 18446744073709551615 134732535 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/17781/statm: 47232 34945 112 177 0 47054 0
Current children cumulated CPU time (s) 24.58
Current children cumulated vsize (KiB) 188928
Child status: 20
Real time (s): 24.6344
CPU time (s): 24.5975
CPU user time (s): 24.3535
CPU system time (s): 0.244015
CPU usage (%): 99.8503
Max. virtual memory (cumulated for all children) (KiB): 188928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.3535
system time used= 0.244015
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50439
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= 552
involuntary context switches= 174
runsolver used 0.052003 second user time and 0.17201 second system time
The end
Begin job on xenhost3-49 at 2009-06-13 23:41:06
IDJOB=1776180
IDBENCH=20461
IDSOLVER=634
FILE ID=xenhost3-49/1776180-1244929266
PBS_JOBID=
Free space on /tmp= 7008 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc11813.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776180-1244929266/watcher-1776180-1244929266 -o /tmp/evaluation-result-1776180-1244929266/solver-1776180-1244929266 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776180-1244929266.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 1d84e062d693fe840d2f54155b9ad4a4
RANDOM SEED= 1611078628
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: 19042208 kB
Buffers: 472576 kB
Cached: 14132656 kB
SwapCached: 0 kB
Active: 4118404 kB
Inactive: 10494756 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 18780 kB
Writeback: 0 kB
AnonPages: 7816 kB
Mapped: 3352 kB
Slab: 718328 kB
SReclaimable: 691212 kB
SUnreclaim: 27116 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7008 MiB
End job on xenhost3-49 at 2009-06-13 23:41:31