0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-1783986-1241908183.cnf
0.00/0.00 c found header 'p cnf 796 10039'
0.00/0.00 c finished parsing
0.00/0.00 c
0.00/0.00 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.00 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.00 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.00 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.00 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.00 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.00 c
0.00/0.00 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.00 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.00 c
0.00/0.00 c starting search after 0.0 seconds
0.00/0.00 c no decision limit
0.00/0.01 c
0.00/0.01 c original/binary fixed eliminated learned agility
0.00/0.01 c seconds variables equivalent conflicts height MB
0.00/0.01 c
0.00/0.01 c * 0.0 10039 796 0 0 0 0 0 0.0 0 1
0.01/0.09 c s 0.1 9840 597 0 0 199 0 0 0.0 0 1
0.01/0.09 c l 0.1 9840 597 0 0 199 0 9840 0.0 0 1
0.01/0.09 c R 0.1 9840 597 0 0 199 100 100 96.1 13 1
0.01/0.10 c R 0.1 9840 597 0 0 199 200 200 74.4 25 1
0.10/0.14 c N 0.1 9840 597 0 0 199 803 803 41.1 38 1
0.10/0.15 c B 0.2 9840 597 0 0 199 1000 1000 38.1 40 1
0.20/0.23 c B 0.2 9840 597 0 0 199 2000 2000 29.4 39 1
0.20/0.27 c N 0.3 9840 597 0 0 199 2409 2409 27.5 39 1
0.59/0.68 c N 0.7 9840 597 0 0 199 6422 6422 20.5 41 2
0.69/0.75 c s 0.8 9841 597 0 0 199 6958 6957 20.1 41 2
0.79/0.86 c B 0.9 9842 597 0 0 199 8007 8005 19.8 40 2
1.00/1.05 c + 1.1 9842 597 0 0 199 9843 10824 19.5 40 2
1.29/1.34 c + 1.3 9846 597 0 0 199 12300 11906 18.2 40 2
1.49/1.50 c s 1.5 9846 597 0 0 199 13441 11918 17.8 40 2
1.69/1.72 c + 1.7 9847 597 0 0 199 15375 13096 17.7 41 2
1.79/1.80 c N 1.8 9847 597 0 0 199 16043 12588 17.6 39 3
2.19/2.20 c + 2.2 9851 597 0 0 199 19216 14405 17.2 42 3
2.49/2.59 c s 2.6 9851 597 0 0 199 22058 14422 16.9 39 2
2.69/2.79 c
2.69/2.79 c original/binary fixed eliminated learned agility
2.69/2.79 c seconds variables equivalent conflicts height MB
2.69/2.79 c
2.69/2.79 c B 2.8 9851 597 0 0 199 24009 14412 16.8 40 3
2.69/2.79 c + 2.8 9851 597 0 0 199 24022 15845 16.8 39 3
3.49/3.51 c + 3.5 9851 597 0 0 199 30026 17429 16.3 40 3
3.99/4.03 c s 4.0 9852 597 0 0 199 33614 17436 16.0 40 3
4.49/4.53 c + 4.5 9853 597 0 0 199 37530 19171 15.8 41 3
4.59/4.65 c N 4.7 9853 597 0 0 199 38498 18405 15.7 42 3
5.49/5.50 c s 5.5 9860 597 0 0 199 44239 19180 15.4 41 3
5.79/5.88 c + 5.9 9860 597 0 0 199 46913 21088 15.2 41 3
7.59/7.67 c + 7.7 9860 597 0 0 199 58641 23196 14.8 41 4
8.48/8.56 c B 8.6 9860 597 0 0 199 64029 23206 14.7 40 4
9.78/9.81 c s 9.8 9861 597 0 0 199 71182 23207 14.5 43 3
9.98/10.09 c + 10.1 9861 597 0 0 199 73301 25515 14.6 39 4
11.69/11.74 c s 11.7 9863 597 0 0 199 84609 25526 14.7 38 4
12.59/12.64 c N 12.6 9863 597 0 0 199 89808 25532 14.8 42 5
12.89/12.94 c + 12.9 9863 597 0 0 199 91626 28066 14.9 42 5
16.19/16.20 c s 16.2 9864 597 0 0 199 108597 28073 14.8 41 4
17.19/17.29 c + 17.3 9865 597 0 0 199 114530 30872 14.7 40 5
18.89/18.90 c s 18.9 9865 597 0 0 199 122762 30886 14.5 42 4
21.68/21.79 c s 21.8 9867 597 0 0 199 138282 30890 14.8 41 4
22.58/22.68 c
22.58/22.68 c original/binary fixed eliminated learned agility
22.58/22.68 c seconds variables equivalent conflicts height MB
22.58/22.68 c
22.58/22.68 c + 22.7 9868 597 0 0 199 143160 33959 14.7 40 5
24.68/24.72 c s 24.7 9868 597 0 0 199 153683 33972 14.8 42 5
25.88/25.91 c B 25.9 9868 597 0 0 199 160063 33968 14.7 43 6
29.38/29.47 c + 29.5 9868 597 0 0 199 178950 37354 14.4 41 6
29.88/29.91 c s 29.9 9869 597 0 0 199 181102 36129 14.4 40 5
33.47/33.52 c s 33.5 9870 597 0 0 199 199651 37370 14.5 42 5
34.67/34.72 c N 34.7 9872 597 0 0 199 205273 37368 14.5 42 6
37.17/37.25 c s 37.2 9873 597 0 0 199 217733 37372 14.3 42 5
38.38/38.47 c + 38.5 9874 597 0 0 199 223687 41089 14.3 41 6
40.87/40.99 c s 41.0 9874 597 0 0 199 235741 41100 14.2 41 5
45.18/45.30 c s 45.3 9875 597 0 0 199 256618 41100 14.1 41 5
49.27/49.36 c s 49.3 9879 597 0 0 199 277288 41121 14.1 40 6
49.87/49.91 c + 49.9 9879 597 0 0 199 279607 45197 14.1 38 6
53.88/53.92 c s 53.9 9884 597 0 0 199 295258 45210 14.0 39 6
58.77/58.88 c s 58.9 9885 597 0 0 199 315590 45214 14.1 41 6
63.77/63.84 c s 63.8 9886 597 0 0 199 336589 45214 14.0 41 6
66.76/66.86 c + 66.8 9887 597 0 0 199 349508 49716 14.0 40 7
68.86/68.96 c s 68.9 9887 597 0 0 199 357783 49727 13.9 39 7
74.66/74.73 c s 74.7 9888 597 0 0 199 383779 49726 13.9 41 7
74.76/74.88 c
74.76/74.88 c original/binary fixed eliminated learned agility
74.76/74.88 c seconds variables equivalent conflicts height MB
74.76/74.88 c
74.76/74.88 c B 74.9 9888 597 0 0 199 384122 49728 13.9 42 7
80.85/80.98 c s 81.0 9889 597 0 0 199 406910 49734 13.7 42 6
87.46/87.57 c + 87.5 9889 597 0 0 199 436885 54687 13.9 42 8
94.66/94.72 c N 94.7 9889 597 0 0 199 461726 54702 13.8 41 10
119.95/120.08 c + 120.0 9889 597 0 0 199 546107 60155 13.9 42 11
122.55/122.68 c s 122.6 9890 597 0 0 199 554290 60171 13.9 41 8
130.85/130.91 c s 130.9 9891 597 0 0 199 581052 60175 13.8 40 8
138.44/138.59 c s 138.5 9892 597 0 0 199 611252 60172 13.9 42 8
145.53/145.65 c s 145.6 9894 597 0 0 199 637354 60175 14.0 43 8
161.23/161.37 c + 161.3 9894 597 0 0 199 682632 66170 13.8 39 10
176.03/176.16 c s 176.1 9895 597 0 0 199 722564 66194 13.7 41 8
218.41/218.57 c + 218.5 9895 597 0 0 199 853290 72787 13.5 40 12
233.80/233.98 c B 233.9 9895 597 0 0 199 896238 72802 13.5 41 14
280.29/280.44 c N 280.3 9895 597 0 0 199 1025890 72803 13.4 42 15
295.49/295.60 c + 295.5 9895 597 0 0 199 1066610 80065 13.4 41 15
406.85/407.02 c + 406.9 9895 597 0 0 199 1333260 88071 13.6 43 18
563.79/564.09 c + 563.9 9895 597 0 0 199 1666578 96878 13.4 41 20
618.57/618.80 c s 618.6 9896 597 0 0 199 1778995 96882 13.3 42 12
710.74/711.07 c s 710.8 9897 597 0 0 199 1979110 96886 13.2 41 13
742.63/742.97 c
742.63/742.97 c original/binary fixed eliminated learned agility
742.63/742.97 c seconds variables equivalent conflicts height MB
742.63/742.97 c
742.63/742.97 c B 742.7 9897 597 0 0 199 2048482 96892 13.1 42 16
758.02/758.30 c + 758.0 9897 597 0 0 199 2083221 106565 13.1 42 16
840.39/840.78 c N 840.5 9897 597 0 0 199 2256581 106584 12.9 42 19
999.63/1000.06 c s 999.7 9846 596 1 0 199 2557319 19465 12.7 42 3
999.63/1000.06 c - 999.7 9846 596 1 0 199 2557319 105500 12.7 42 3
1004.03/1004.45 c + 1004.1 9846 596 1 0 199 2577985 116050 12.7 43 6
1037.92/1038.31 c s 1037.9 9847 596 1 0 199 2667733 116062 12.6 42 13
1342.11/1342.65 c + 1342.2 9847 596 1 0 199 3222482 127655 12.4 43 24
1531.54/1532.14 c s 1531.6 9848 596 1 0 199 3529451 127681 12.4 40 16
1561.73/1562.33 c s 1561.8 9851 596 1 0 199 3584131 127668 12.3 43 15
1603.62/1604.27 c s 1603.7 9852 596 1 0 199 3655902 127671 12.3 42 15
1708.98/1709.69 c s 1709.1 9853 596 1 0 199 3844288 127678 12.2 43 15
1793.15/1793.86 c s 1793.2 9854 596 1 0 199 4003097 127674 12.1 43 15
1806.24/1806.95 c + 1806.3 9855 596 1 0 199 4028102 140420 12.1 41 18
1819.84/1820.57 c s 1819.9 9856 596 1 0 199 4055827 140445 12.1 43 16
1908.91/1909.61 c s 1908.9 9858 596 1 0 199 4202988 140447 12.1 43 17
1941.59/1942.39 c s 1941.7 9858 596 1 0 199 4261576 140440 12.1 42 17
1974.38/1975.15 c s 1974.4 9859 596 1 0 199 4318135 140433 12.1 43 17
2007.87/2008.65 c s 2007.9 9860 596 1 0 199 4376502 140445 12.1 41 17
2040.65/2041.47 c
2040.65/2041.47 c original/binary fixed eliminated learned agility
2040.65/2041.47 c seconds variables equivalent conflicts height MB
2040.65/2041.47 c
2040.65/2041.47 c s 2040.7 11076 595 2 0 199 4435341 129669 12.1 42 15
2154.71/2155.57 c B 2154.8 11076 595 2 0 199 4608950 140438 12.1 43 26
2211.20/2212.01 c s 2211.2 11077 595 2 0 199 4691313 140439 12.0 43 18
2246.59/2247.45 c s 2246.6 9726 594 3 0 199 4750639 130453 12.0 41 16
2246.59/2247.45 c - 2246.6 9726 594 3 0 199 4750639 139016 12.0 41 16
2278.28/2279.15 c s 2278.3 9739 594 3 0 199 4803425 139044 12.0 41 16
2313.36/2314.27 c - 2313.4 9726 593 3 1 199 4858986 137626 12.0 40 8
2313.56/2314.45 c s 2313.6 9688 593 3 1 199 4858986 83290 12.0 40 10
2313.56/2314.45 c - 2313.6 9688 593 3 1 199 4858986 136250 12.0 40 10
2325.85/2326.78 c + 2325.9 15093 591 5 1 199 4885578 149875 11.9 43 15
2330.45/2331.33 c s 2330.5 17213 591 5 1 199 4894378 70340 11.9 41 8
2330.45/2331.33 c - 2330.5 17213 591 5 1 199 4894378 148377 11.9 41 8
2343.75/2344.68 c 0 2343.8 50068 417 171 9 199 4921777 97653 11.9 42 14
2343.75/2344.68 c
2343.75/2344.68 s UNSATISFIABLE
2343.75/2344.68 c
2343.75/2344.68 c 4921777 conflicts, 5314966 decisions, 1 random
2343.75/2344.68 c 12 iterations, 2 restarts, 9050 skipped
2343.75/2344.68 c 29 enlarged, 113 shrunken, 48054 rescored, 1022 rebiased
2343.75/2344.68 c 49 simplifications, 0 reductions
2343.75/2344.68 c
2343.75/2344.68 c vars: 171 fixed, 9 equiv, 199 elim, 45 merged
2343.75/2344.68 c elim: 201128 resolutions, 5 phases, 5 rounds
2343.75/2344.68 c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
2343.75/2344.68 c arty: 0.00 and 0.00 xor average arity
2343.75/2344.68 c prbe: 64718 probed, 51 phases, 54 rounds
2343.75/2344.68 c prbe: 1 failed, 2 lifted, 0 merged
2343.75/2344.68 c sccs: 0 non trivial, 0 fixed, 0 merged
2343.75/2344.68 c hash: 6 units, 45 merged
2343.75/2344.68 c mins: 100522529 learned, 40% deleted, 261 strong, 32 depth
2343.75/2344.68 c subs: 146 forward, 20736 backward, 59929 doms
2343.75/2344.68 c strs: 10818 forward, 51 backward
2343.75/2344.68 c doms: 59936 dominators, 59607 high, 144 low
2343.75/2344.68 c prps: 518180216 propagations, 0.22 megaprops
2343.75/2344.68 c
2343.75/2344.68 c 2343.8 seconds, 27 MB max, 489 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783986-1241908183/watcher-1783986-1241908183 -o /tmp/evaluation-result-1783986-1241908183/solver-1783986-1241908183 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783986-1241908183.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 26251
/proc/meminfo: memFree=1858040/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=1052 CPUtime=0
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 170 0 0 0 0 0 0 0 18 0 1 0 218851546 1077248 155 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 263 156 63 155 0 106 0
[startup+0.012901 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 26251
/proc/meminfo: memFree=1858040/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=1576 CPUtime=0.01
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 327 0 0 0 1 0 0 0 18 0 1 0 218851546 1613824 311 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 394 311 79 155 0 237 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1576
[startup+0.101912 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 26251
/proc/meminfo: memFree=1858040/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=1892 CPUtime=0.1
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 424 0 0 0 10 0 0 0 18 0 1 0 218851546 1937408 394 1992294400 134512640 135151029 4294956240 18446744073709551615 134703854 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 473 394 79 155 0 316 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1892
[startup+0.301947 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 26251
/proc/meminfo: memFree=1858040/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=2024 CPUtime=0.3
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 446 0 0 0 30 0 0 0 19 0 1 0 218851546 2072576 416 1992294400 134512640 135151029 4294956240 18446744073709551615 134551835 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 506 416 79 155 0 349 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2024
[startup+0.702016 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 26251
/proc/meminfo: memFree=1858040/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=2688 CPUtime=0.69
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 607 0 0 0 69 0 0 0 22 0 1 0 218851546 2752512 577 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 672 577 79 155 0 515 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2688
[startup+1.50116 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1855664/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=3472 CPUtime=1.49
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 793 0 0 0 149 0 0 0 25 0 1 0 218851546 3555328 763 1992294400 134512640 135151029 4294956240 18446744073709551615 134520115 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 868 763 79 155 0 711 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3472
[startup+3.10144 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1854896/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=4004 CPUtime=3.09
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 923 0 0 0 309 0 0 0 25 0 1 0 218851546 4100096 893 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 1001 893 79 155 0 844 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4004
[startup+6.302 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1853872/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=4652 CPUtime=6.28
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 1122 0 0 0 628 0 0 0 25 0 1 0 218851546 4763648 1076 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 1163 1076 79 155 0 1006 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 4652
[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1852784/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=5724 CPUtime=12.69
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 1421 0 0 0 1268 1 0 0 25 0 1 0 218851546 5861376 1337 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 1431 1337 79 155 0 1274 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5724
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1851312/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=7196 CPUtime=25.48
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 1791 0 0 0 2547 1 0 0 25 0 1 0 218851546 7368704 1697 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 1799 1697 79 155 0 1642 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7196
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1850352/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=8380 CPUtime=51.07
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 2448 0 0 0 5105 2 0 0 25 0 1 0 218851546 8581120 1989 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 2095 1989 79 155 0 1938 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8380
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1846832/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=11860 CPUtime=102.26
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 3578 0 0 0 10222 4 0 0 25 0 1 0 218851546 12144640 2786 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 2965 2786 79 155 0 2808 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 11860
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1845680/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=13052 CPUtime=162.23
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 4062 0 0 0 16219 4 0 0 25 0 1 0 218851546 13365248 3078 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 3263 3078 79 155 0 3106 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 13052
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1843504/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=15276 CPUtime=222.21
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 4859 0 0 0 22216 5 0 0 25 0 1 0 218851546 15642624 3582 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 3819 3582 79 155 0 3662 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 15276
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1842224/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=16904 CPUtime=282.19
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 5184 0 0 0 28213 6 0 0 25 0 1 0 218851546 17309696 3907 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 4226 3907 79 155 0 4069 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 16904
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1839856/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=19592 CPUtime=342.17
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 5755 0 0 0 34210 7 0 0 25 0 1 0 218851546 20062208 4478 1992294400 134512640 135151029 4294956240 18446744073709551615 134551626 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 4898 4478 79 155 0 4741 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 19592
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1839088/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=20616 CPUtime=402.15
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 5952 0 0 0 40208 7 0 0 25 0 1 0 218851546 21110784 4675 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 5154 4675 79 155 0 4997 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 20616
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1837488/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=22116 CPUtime=462.13
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 6341 0 0 0 46205 8 0 0 25 0 1 0 218851546 22646784 5064 1992294400 134512640 135151029 4294956240 18446744073709551615 134574672 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 5529 5064 79 155 0 5372 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 22116
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1837104/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=22632 CPUtime=522.11
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 6451 0 0 0 52203 8 0 0 25 0 1 0 218851546 23175168 5174 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 5658 5174 79 155 0 5501 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 22632
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26252
/proc/meminfo: memFree=1836528/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=23152 CPUtime=582.08
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 6583 0 0 0 58200 8 0 0 25 0 1 0 218851546 23707648 5306 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 5788 5306 79 155 0 5631 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 23152
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26254
/proc/meminfo: memFree=1836072/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=22892 CPUtime=642.06
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 6693 0 0 0 64198 8 0 0 25 0 1 0 218851546 23441408 5351 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 5723 5351 79 155 0 5566 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 22892
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1830832/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=26876 CPUtime=1721.68
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 8593 0 0 0 172155 13 0 0 25 0 1 0 218851546 27521024 6573 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 6719 6573 79 155 0 6562 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 26876
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26254
/proc/meminfo: memFree=1830768/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=26876 CPUtime=1781.65
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 8596 0 0 0 178152 13 0 0 25 0 1 0 218851546 27521024 6576 1992294400 134512640 135151029 4294956240 18446744073709551615 134555112 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 6719 6576 79 155 0 6562 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 26876
[startup+1842.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26254
/proc/meminfo: memFree=1830704/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=26876 CPUtime=1841.63
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 8597 0 0 0 184150 13 0 0 25 0 1 0 218851546 27521024 6577 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 6719 6577 79 155 0 6562 0
Current children cumulated CPU time (s) 1841.63
Current children cumulated vsize (KiB) 26876
[startup+1902.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1830440/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=26876 CPUtime=1901.61
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 8613 0 0 0 190147 14 0 0 25 0 1 0 218851546 27521024 6593 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 6719 6593 79 155 0 6562 0
Current children cumulated CPU time (s) 1901.61
Current children cumulated vsize (KiB) 26876
[startup+1962.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1830440/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=26876 CPUtime=1961.59
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 8615 0 0 0 196145 14 0 0 25 0 1 0 218851546 27521024 6595 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 6719 6595 79 155 0 6562 0
Current children cumulated CPU time (s) 1961.59
Current children cumulated vsize (KiB) 26876
[startup+2022.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1830376/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=26876 CPUtime=2021.56
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 8615 0 0 0 202142 14 0 0 25 0 1 0 218851546 27521024 6595 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 6719 6595 79 155 0 6562 0
Current children cumulated CPU time (s) 2021.56
Current children cumulated vsize (KiB) 26876
[startup+2082.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1830248/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=27132 CPUtime=2081.54
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 8647 0 0 0 208140 14 0 0 25 0 1 0 218851546 27783168 6627 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 6783 6627 79 155 0 6626 0
Current children cumulated CPU time (s) 2081.54
Current children cumulated vsize (KiB) 27132
[startup+2142.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828136/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=29560 CPUtime=2141.52
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9174 0 0 0 214137 15 0 0 25 0 1 0 218851546 30269440 7154 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7390 7154 79 155 0 7233 0
Current children cumulated CPU time (s) 2141.52
Current children cumulated vsize (KiB) 29560
[startup+2202.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1827120/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=30972 CPUtime=2201.49
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9432 0 0 0 220134 15 0 0 25 0 1 0 218851546 31715328 7412 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7743 7412 79 155 0 7586 0
Current children cumulated CPU time (s) 2201.49
Current children cumulated vsize (KiB) 30972
[startup+2262.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2261.48
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9451 0 0 0 226132 16 0 0 25 0 1 0 218851546 29483008 7067 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7067 79 155 0 7041 0
Current children cumulated CPU time (s) 2261.48
Current children cumulated vsize (KiB) 28792
[startup+2322.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2321.46
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9453 0 0 0 232130 16 0 0 25 0 1 0 218851546 29483008 7069 1992294400 134512640 135151029 4294956240 18446744073709551615 134555119 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7069 79 155 0 7041 0
Current children cumulated CPU time (s) 2321.46
Current children cumulated vsize (KiB) 28792
Solver just ended. Dumping a history of the last processes samples
[startup+2329.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2328.65
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9453 0 0 0 232849 16 0 0 25 0 1 0 218851546 29483008 7069 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7069 79 155 0 7041 0
Current children cumulated CPU time (s) 2328.65
Current children cumulated vsize (KiB) 28792
[startup+2335.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2335.05
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9453 0 0 0 233489 16 0 0 25 0 1 0 218851546 29483008 7069 1992294400 134512640 135151029 4294956240 18446744073709551615 134554872 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7069 79 155 0 7041 0
Current children cumulated CPU time (s) 2335.05
Current children cumulated vsize (KiB) 28792
[startup+2339.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2338.25
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9453 0 0 0 233809 16 0 0 25 0 1 0 218851546 29483008 7069 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7069 79 155 0 7041 0
Current children cumulated CPU time (s) 2338.25
Current children cumulated vsize (KiB) 28792
[startup+2342.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2341.45
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9453 0 0 0 234129 16 0 0 25 0 1 0 218851546 29483008 7069 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7069 79 155 0 7041 0
Current children cumulated CPU time (s) 2341.45
Current children cumulated vsize (KiB) 28792
[startup+2343.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2343.05
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9453 0 0 0 234289 16 0 0 25 0 1 0 218851546 29483008 7069 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7069 79 155 0 7041 0
Current children cumulated CPU time (s) 2343.05
Current children cumulated vsize (KiB) 28792
[startup+2344.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2343.45
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9453 0 0 0 234329 16 0 0 25 0 1 0 218851546 29483008 7069 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7069 79 155 0 7041 0
Current children cumulated CPU time (s) 2343.45
Current children cumulated vsize (KiB) 28792
[startup+2344.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2343.65
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9453 0 0 0 234349 16 0 0 25 0 1 0 218851546 29483008 7069 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7069 79 155 0 7041 0
Current children cumulated CPU time (s) 2343.65
Current children cumulated vsize (KiB) 28792
[startup+2344.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26260
/proc/meminfo: memFree=1828464/2055920 swapFree=4155092/4192956
[pid=26251] ppid=26249 vsize=28792 CPUtime=2343.75
/proc/26251/stat : 26251 (precosat) R 26249 26251 26134 0 -1 4194304 9453 0 0 0 234359 16 0 0 25 0 1 0 218851546 29483008 7069 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/26251/statm: 7198 7069 79 155 0 7041 0
Current children cumulated CPU time (s) 2343.75
Current children cumulated vsize (KiB) 28792
Child status: 20
Real time (s): 2344.69
CPU time (s): 2343.84
CPU user time (s): 2343.67
CPU system time (s): 0.171973
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 30972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2343.67
system time used= 0.171973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9454
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= 2
involuntary context switches= 5711
runsolver used 1.77373 second user time and 4.80027 second system time
The end
Begin job on node18 at 2009-05-10 00:29:43
IDJOB=1783986
IDBENCH=24751
IDSOLVER=607
FILE ID=node18/1783986-1241908183
PBS_JOBID= 9264768
Free space on /tmp= 66256 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Difficult/contest-02-03-04/contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783986-1241908183/watcher-1783986-1241908183 -o /tmp/evaluation-result-1783986-1241908183/solver-1783986-1241908183 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783986-1241908183.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d8fa78c834564753f42ad3a5aaefa23a
RANDOM SEED=909698509
node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.280
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.280
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1858456 kB
Buffers: 40364 kB
Cached: 80520 kB
SwapCached: 31980 kB
Active: 19928 kB
Inactive: 135240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1858456 kB
SwapTotal: 4192956 kB
SwapFree: 4155092 kB
Dirty: 852 kB
Writeback: 0 kB
Mapped: 13520 kB
Slab: 28332 kB
Committed_AS: 763716 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66256 MiB
End job on node18 at 2009-05-10 01:08:48