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-1783982-1241907754.cnf
0.00/0.00 c found header 'p cnf 1100 7545'
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.00 c
0.00/0.00 c original/binary fixed eliminated learned agility
0.00/0.00 c seconds variables equivalent conflicts height MB
0.00/0.00 c
0.00/0.00 c * 0.0 7545 1100 0 0 0 0 0 0.0 0 1
0.00/0.02 c - 0.0 7499 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 7399 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 7300 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 7203 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 7104 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 7006 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 6907 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 6810 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 6712 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 6620 1100 0 0 0 0 1000 0.0 0 1
0.00/0.02 c - 0.0 6524 1100 0 0 0 0 1000 0.0 0 1
0.00/0.03 c - 0.0 6333 1100 0 0 0 0 1000 0.0 0 1
0.00/0.03 c - 0.0 6238 1100 0 0 0 0 1000 0.0 0 1
0.00/0.03 c - 0.0 6144 1100 0 0 0 0 1000 0.0 0 1
0.00/0.03 c - 0.0 6050 1100 0 0 0 0 1000 0.0 0 1
0.00/0.03 c - 0.0 5956 1100 0 0 0 0 1000 0.0 0 1
0.00/0.03 c - 0.0 5861 1100 0 0 0 0 1000 0.0 0 1
0.00/0.03 c - 0.0 5767 1100 0 0 0 0 1000 0.0 0 1
0.00/0.03 c
0.00/0.03 c original/binary fixed eliminated learned agility
0.00/0.03 c seconds variables equivalent conflicts height MB
0.00/0.03 c
0.00/0.03 c - 0.0 5377 985 0 0 115 0 1000 0.0 0 1
0.00/0.03 c - 0.0 5280 951 0 0 149 0 1000 0.0 0 1
0.04/0.05 c s 0.1 5243 940 0 0 160 0 0 0.0 0 0
0.04/0.05 c l 0.1 5243 940 0 0 160 0 5160 0.0 0 0
0.04/0.05 c R 0.1 5298 940 0 0 160 100 55 72.5 6 0
0.04/0.06 c R 0.1 5347 940 0 0 160 200 117 63.2 12 0
0.04/0.09 c R 0.1 5552 940 0 0 160 803 628 48.6 21 1
0.10/0.10 c B 0.1 5612 940 0 0 160 1000 812 46.7 20 1
0.10/0.16 c s 0.2 5735 940 0 0 160 1904 1685 41.2 21 1
0.10/0.17 c B 0.2 5738 940 0 0 160 2001 1779 40.5 20 1
0.20/0.20 c R 0.2 5745 940 0 0 160 2407 2178 39.3 23 1
0.30/0.34 c s 0.3 5764 940 0 0 160 4140 3892 35.0 22 1
0.40/0.43 c + 0.4 5774 940 0 0 160 5160 5676 33.4 21 1
0.50/0.56 c R 0.6 5779 940 0 0 160 6421 5698 31.9 22 1
0.50/0.56 c + 0.6 5780 940 0 0 160 6451 6243 31.9 22 1
0.60/0.61 c s 0.6 5788 940 0 0 160 6854 6103 31.3 21 1
0.70/0.73 c B 0.7 5790 940 0 0 160 8001 6262 30.0 19 1
0.70/0.74 c + 0.7 5790 940 0 0 160 8062 6867 29.9 20 1
0.90/0.95 c s 1.0 5794 940 0 0 160 9984 6875 28.6 23 1
0.90/0.97 c
0.90/0.97 c original/binary fixed eliminated learned agility
0.90/0.97 c seconds variables equivalent conflicts height MB
0.90/0.97 c
0.90/0.97 c + 1.0 5795 940 0 0 160 10075 7553 28.6 22 1
1.20/1.24 c + 1.2 5799 940 0 0 160 12592 8308 27.4 21 2
1.30/1.35 c s 1.4 5802 940 0 0 160 13401 8342 27.1 21 1
1.60/1.62 c + 1.6 5803 940 0 0 160 15740 9138 26.4 21 2
1.60/1.66 c R 1.7 5803 940 0 0 160 16039 8623 26.3 20 2
1.80/1.81 c s 1.8 5803 940 0 0 160 17119 9158 25.8 22 2
2.10/2.11 c + 2.1 5805 940 0 0 160 19675 10051 25.1 24 2
2.20/2.29 c s 2.3 5806 940 0 0 160 21026 10070 24.8 19 2
2.59/2.68 c B 2.7 5807 940 0 0 160 24011 10063 24.5 22 2
2.69/2.75 c + 2.8 5807 940 0 0 160 24590 11056 24.5 23 2
2.79/2.84 c s 2.8 5807 940 0 0 160 25170 10647 24.4 22 2
3.49/3.54 c s 3.5 5808 940 0 0 160 30171 11089 23.5 23 2
3.59/3.61 c + 3.6 5809 940 0 0 160 30735 12161 23.5 22 2
4.09/4.18 c s 4.2 5811 940 0 0 160 34541 12174 23.0 23 2
4.69/4.72 c + 4.7 5811 940 0 0 160 38415 13377 22.4 23 2
4.69/4.73 c R 4.7 5811 940 0 0 160 38500 12263 22.4 22 2
5.79/5.90 c s 5.9 5812 940 0 0 160 46798 13399 21.7 24 2
5.99/6.06 c + 6.1 5812 940 0 0 160 48015 14714 21.7 21 2
6.59/6.69 c s 6.7 5815 940 0 0 160 51997 14739 21.7 23 2
7.49/7.55 c
7.49/7.55 c original/binary fixed eliminated learned agility
7.49/7.55 c seconds variables equivalent conflicts height MB
7.49/7.55 c
7.49/7.55 c s 7.6 5819 940 0 0 160 57300 14725 21.7 22 2
7.89/7.99 c + 8.0 5819 940 0 0 160 60016 16185 21.6 23 3
8.49/8.59 c B 8.6 5819 940 0 0 160 64020 16195 21.5 21 3
8.89/8.97 c s 9.0 5820 940 0 0 160 65906 16204 21.4 21 2
10.38/10.49 c + 10.5 5820 940 0 0 160 75022 17803 21.4 22 3
11.88/11.98 c s 12.0 5821 940 0 0 160 83416 17812 21.1 22 3
12.98/13.07 c R 13.1 5821 940 0 0 160 89788 17833 20.9 20 3
13.08/13.19 c s 13.2 5822 940 0 0 160 90291 17815 20.9 22 3
13.68/13.77 c + 13.8 5822 940 0 0 160 93776 19583 20.8 22 3
17.08/17.13 c s 17.1 5823 940 0 0 160 111860 19595 20.6 24 3
18.18/18.27 c + 18.3 5823 940 0 0 160 117221 21541 20.5 23 4
19.07/19.13 c s 19.1 5824 940 0 0 160 121630 21563 20.4 22 3
20.97/21.05 c s 21.0 5825 940 0 0 160 130294 21563 20.3 23 3
24.08/24.13 c + 24.1 5825 940 0 0 160 146527 23695 20.3 22 4
27.08/27.12 c B 27.1 5825 940 0 0 160 160054 23708 20.4 23 5
28.18/28.20 c s 28.2 5826 940 0 0 160 164377 23706 20.3 22 3
31.38/31.48 c s 31.5 5827 940 0 0 160 179107 23739 20.3 21 3
32.28/32.32 c + 32.3 5827 940 0 0 160 183155 26064 20.3 21 4
36.88/36.98 c R 37.0 5827 940 0 0 160 205183 26087 20.2 20 5
37.28/37.33 c
37.28/37.33 c original/binary fixed eliminated learned agility
37.28/37.33 c seconds variables equivalent conflicts height MB
37.28/37.33 c
37.28/37.33 c s 37.3 5828 940 0 0 160 206254 26091 20.2 21 4
42.28/42.35 c + 42.3 5828 940 0 0 160 228942 28670 19.6 23 5
57.17/57.27 c s 57.3 5829 940 0 0 160 285297 28692 19.8 22 4
57.46/57.57 c + 57.5 5829 940 0 0 160 286178 31537 19.8 22 5
63.36/63.49 c s 63.5 5830 940 0 0 160 306038 31557 19.7 22 4
77.56/77.67 c + 77.6 5830 940 0 0 160 357720 34690 19.5 23 6
85.36/85.40 c s 85.4 5831 940 0 0 160 383309 34714 19.5 23 5
85.56/85.68 c B 85.6 5831 940 0 0 160 384099 34697 19.5 22 5
99.26/99.38 c s 99.3 5832 940 0 0 160 430283 34714 19.4 21 5
103.84/103.99 c + 103.9 5832 940 0 0 160 447150 38159 19.4 20 6
107.94/108.00 c R 107.9 5832 940 0 0 160 461606 38185 19.4 20 7
108.34/108.46 c s 108.4 5833 940 0 0 160 462524 38193 19.4 20 5
116.33/116.48 c s 116.4 5834 940 0 0 160 492617 38179 19.1 19 5
137.82/137.90 c + 137.8 5834 940 0 0 160 558936 41974 18.9 19 8
142.22/142.33 c s 142.3 5835 940 0 0 160 569867 41995 18.9 22 5
176.62/176.78 c s 176.7 5836 940 0 0 160 665267 42004 19.0 23 5
189.31/189.49 c + 189.4 5836 940 0 0 160 698670 46171 19.0 19 8
259.18/259.31 c + 259.2 5836 940 0 0 160 873335 50788 18.8 23 10
268.37/268.53 c B 268.4 5836 940 0 0 160 896206 50808 18.9 20 11
308.46/308.64 c
308.46/308.64 c original/binary fixed eliminated learned agility
308.46/308.64 c seconds variables equivalent conflicts height MB
308.46/308.64 c
308.46/308.64 c s 308.5 5837 940 0 0 160 989278 50818 18.9 21 7
322.76/322.97 c R 322.8 5837 940 0 0 160 1025678 50817 18.9 21 9
341.25/341.41 c s 341.3 5838 940 0 0 160 1076286 50813 18.8 21 7
347.24/347.44 c + 347.3 5838 940 0 0 160 1091665 55866 18.7 21 9
353.04/353.24 c s 353.1 5839 940 0 0 160 1106995 55903 18.7 22 7
376.03/376.29 c s 376.1 5840 940 0 0 160 1155432 55891 18.7 21 7
388.13/388.36 c s 388.2 5841 940 0 0 160 1180710 55882 18.7 20 7
476.68/476.92 c + 476.7 5841 940 0 0 160 1364582 61452 18.5 23 11
650.11/650.44 c + 650.2 5841 940 0 0 160 1705729 67597 18.3 19 14
847.93/848.36 c B 848.0 5841 940 0 0 160 2048422 67620 18.4 20 15
890.30/890.79 c + 890.4 5841 940 0 0 160 2132160 74356 18.3 22 16
956.75/957.24 c R 956.8 5841 940 0 0 160 2256191 74386 18.1 21 17
1202.14/1202.72 c + 1202.2 5841 940 0 0 160 2665200 81791 17.8 19 19
1641.47/1642.30 c + 1641.6 5841 940 0 0 160 3331500 89970 17.7 22 21
2232.92/2233.99 c + 2233.0 5841 940 0 0 160 4164375 98967 17.5 20 24
2569.37/2570.56 c B 2569.4 5841 940 0 0 160 4608854 98980 17.5 21 25
2784.98/2786.22 c R 2785.0 5841 940 0 0 160 4922028 99004 17.5 19 28
2993.17/2994.55 c + 2993.2 5841 940 0 0 160 5205465 108863 17.5 20 29
3306.95/3308.41 c s 3307.0 5842 940 0 0 160 5548973 108908 17.5 20 14
3417.00/3418.51 c
3417.00/3418.51 c original/binary fixed eliminated learned agility
3417.00/3418.51 c seconds variables equivalent conflicts height MB
3417.00/3418.51 c
3417.00/3418.51 c s 3417.0 5843 940 0 0 160 5667605 108888 17.5 22 13
4120.40/4122.23 c + 4120.4 5843 940 0 0 160 6506830 119749 17.3 23 24
5000.02/5002.20 c
5000.02/5002.20 c *** CAUGHT SIGNAL 15 ***
5000.02/5002.20 c
5000.02/5002.20 c 7492430 conflicts, 9024152 decisions, 2 random
5000.02/5002.20 c 0 iterations, 12269 restarts, 15 skipped
5000.02/5002.20 c 33 enlarged, 1816 shrunken, 73260 rescored, 1564 rebiased
5000.02/5002.20 c 38 simplifications, 0 reductions
5000.02/5002.20 c
5000.02/5002.20 c vars: 0 fixed, 0 equiv, 160 elim, 0 merged
5000.02/5002.20 c elim: 25699 resolutions, 1 phases, 1 rounds
5000.02/5002.20 c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.02/5002.20 c arty: 0.00 and 0.00 xor average arity
5000.02/5002.20 c prbe: 1263680 probed, 672 phases, 672 rounds
5000.02/5002.20 c prbe: 0 failed, 0 lifted, 0 merged
5000.02/5002.20 c sccs: 0 non trivial, 0 fixed, 0 merged
5000.02/5002.20 c hash: 0 units, 0 merged
5000.02/5002.20 c mins: 164385350 learned, 36% deleted, 289 strong, 32 depth
5000.02/5002.20 c subs: 127 forward, 1891 backward, 317 doms
5000.02/5002.20 c strs: 2066 forward, 1776 backward
5000.02/5002.20 c doms: 317 dominators, 316 high, 0 low
5000.02/5002.20 c prps: 1170889204 propagations, 0.23 megaprops
5000.02/5002.20 c
5000.02/5002.20 c 5000.0 seconds, 31 MB max, 787 MB recycled
5000.02/5002.20 c
5000.02/5002.20 c *** CAUGHT SIGNAL 15 ***
5000.02/5002.20 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783982-1241907754/watcher-1783982-1241907754 -o /tmp/evaluation-result-1783982-1241907754/solver-1783982-1241907754 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783982-1241907754.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: 1.00 1.00 1.00 3/64 23945
/proc/meminfo: memFree=1760696/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=1052 CPUtime=0
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 218808894 1077248 163 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 263 163 63 155 0 106 0
[startup+0.049288 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23945
/proc/meminfo: memFree=1760696/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=1716 CPUtime=0.04
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 361 0 0 0 4 0 0 0 18 0 1 0 218808894 1757184 345 1992294400 134512640 135151029 4294956240 18446744073709551615 134517437 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 429 345 79 155 0 272 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1716
[startup+0.102286 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23945
/proc/meminfo: memFree=1760696/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=1716 CPUtime=0.1
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 361 0 0 0 10 0 0 0 18 0 1 0 218808894 1757184 345 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 429 345 79 155 0 272 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1716
[startup+0.301301 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23945
/proc/meminfo: memFree=1760696/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=1848 CPUtime=0.3
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 381 0 0 0 30 0 0 0 19 0 1 0 218808894 1892352 365 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 462 365 79 155 0 305 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1848
[startup+0.70134 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23945
/proc/meminfo: memFree=1760696/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=2340 CPUtime=0.7
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 497 0 0 0 70 0 0 0 23 0 1 0 218808894 2396160 481 1992294400 134512640 135151029 4294956240 18446744073709551615 134574619 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 585 481 79 155 0 428 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 2340
[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1758896/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=2720 CPUtime=1.5
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 591 0 0 0 150 0 0 0 25 0 1 0 218808894 2785280 575 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 680 575 79 155 0 523 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 2720
[startup+3.10156 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1758384/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=3092 CPUtime=3.09
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 698 0 0 0 309 0 0 0 25 0 1 0 218808894 3166208 682 1992294400 134512640 135151029 4294956240 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 773 682 79 155 0 616 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3092
[startup+6.30186 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1757616/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=3640 CPUtime=6.29
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 871 0 0 0 629 0 0 0 25 0 1 0 218808894 3727360 833 1992294400 134512640 135151029 4294956240 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 910 833 79 155 0 753 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3640
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1756592/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=4472 CPUtime=12.68
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 1102 0 0 0 1268 0 0 0 25 0 1 0 218808894 4579328 1034 1992294400 134512640 135151029 4294956240 18446744073709551615 134552594 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 1118 1034 79 155 0 961 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4472
[startup+25.5026 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1755632/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=5648 CPUtime=25.47
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 1480 0 0 0 2547 0 0 0 25 0 1 0 218808894 5783552 1308 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 1412 1308 79 155 0 1255 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 5648
[startup+51.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1753968/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=7304 CPUtime=51.07
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 1948 0 0 0 5106 1 0 0 25 0 1 0 218808894 7479296 1707 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 1826 1707 79 155 0 1669 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7304
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1752880/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=7844 CPUtime=102.25
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 2206 0 0 0 10223 2 0 0 25 0 1 0 218808894 8032256 1884 1992294400 134512640 135151029 4294956240 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 1961 1884 79 155 0 1804 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 7844
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1751280/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=9760 CPUtime=162.22
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 2706 0 0 0 16219 3 0 0 25 0 1 0 218808894 9994240 2331 1992294400 134512640 135151029 4294956240 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 2440 2331 79 155 0 2283 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 9760
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1750256/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=10816 CPUtime=222.2
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 3060 0 0 0 22217 3 0 0 25 0 1 0 218808894 11075584 2567 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 2704 2567 79 155 0 2547 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 10816
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1748720/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=12352 CPUtime=282.17
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 3429 0 0 0 28213 4 0 0 25 0 1 0 218808894 12648448 2936 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 3088 2936 79 155 0 2931 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 12352
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1748592/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=12184 CPUtime=342.14
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 3587 0 0 0 34210 4 0 0 25 0 1 0 218808894 12476416 2960 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 3046 2960 79 155 0 2889 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 12184
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1748528/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=12184 CPUtime=402.12
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 3594 0 0 0 40208 4 0 0 25 0 1 0 218808894 12476416 2967 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 3046 2967 79 155 0 2889 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 12184
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1747824/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=13256 CPUtime=462.08
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 3763 0 0 0 46204 4 0 0 25 0 1 0 218808894 13574144 3136 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23945/statm: 3314 3136 79 155 0 3157 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 13256
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1746992/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=14044 CPUtime=522.07
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 3961 0 0 0 52202 5 0 0 25 0 1 0 218808894 14381056 3334 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 3511 3334 79 155 0 3354 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 14044
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1746544/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=14732 CPUtime=582.05
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 4079 0 0 0 58200 5 0 0 25 0 1 0 218808894 15085568 3452 1992294400 134512640 135151029 4294956240 18446744073709551615 134552644 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 3683 3452 79 155 0 3526 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 14732
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23946
/proc/meminfo: memFree=1745840/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=15568 CPUtime=642.02
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 4265 0 0 0 64197 5 0 0 25 0 1 0 218808894 15941632 3638 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 3892 3638 79 155 0 3735 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 15568
[startup+702.301 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1733040/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=26516 CPUtime=4000.56
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8329 0 0 0 400044 12 0 0 25 0 1 0 218808894 27152384 6467 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 6629 6467 79 155 0 6472 0
Current children cumulated CPU time (s) 4000.56
Current children cumulated vsize (KiB) 26516
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1732656/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=27028 CPUtime=4060.53
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8402 0 0 0 406041 12 0 0 25 0 1 0 218808894 27676672 6540 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 6757 6540 79 155 0 6600 0
Current children cumulated CPU time (s) 4060.53
Current children cumulated vsize (KiB) 27028
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1732208/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=27540 CPUtime=4120.5
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8496 0 0 0 412038 12 0 0 25 0 1 0 218808894 28200960 6634 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 6885 6634 79 155 0 6728 0
Current children cumulated CPU time (s) 4120.5
Current children cumulated vsize (KiB) 27540
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1731888/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=27804 CPUtime=4180.48
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8585 0 0 0 418036 12 0 0 25 0 1 0 218808894 28471296 6723 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 6951 6723 79 155 0 6794 0
Current children cumulated CPU time (s) 4180.48
Current children cumulated vsize (KiB) 27804
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1731632/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=28284 CPUtime=4240.44
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8662 0 0 0 424032 12 0 0 25 0 1 0 218808894 28962816 6800 1992294400 134512640 135151029 4294956240 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7071 6800 79 155 0 6914 0
Current children cumulated CPU time (s) 4240.44
Current children cumulated vsize (KiB) 28284
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1731440/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=28700 CPUtime=4300.42
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8715 0 0 0 430030 12 0 0 25 0 1 0 218808894 29388800 6853 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7175 6853 79 155 0 7018 0
Current children cumulated CPU time (s) 4300.42
Current children cumulated vsize (KiB) 28700
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1731440/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=28700 CPUtime=4360.39
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8724 0 0 0 436027 12 0 0 25 0 1 0 218808894 29388800 6862 1992294400 134512640 135151029 4294956240 18446744073709551615 134580721 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7175 6862 79 155 0 7018 0
Current children cumulated CPU time (s) 4360.39
Current children cumulated vsize (KiB) 28700
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1731248/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=28860 CPUtime=4420.36
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8749 0 0 0 442024 12 0 0 25 0 1 0 218808894 29552640 6887 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7215 6887 79 155 0 7058 0
Current children cumulated CPU time (s) 4420.36
Current children cumulated vsize (KiB) 28860
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1730928/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=29180 CPUtime=4480.34
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8815 0 0 0 448022 12 0 0 25 0 1 0 218808894 29880320 6953 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7295 6953 79 155 0 7138 0
Current children cumulated CPU time (s) 4480.34
Current children cumulated vsize (KiB) 29180
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1730672/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=29628 CPUtime=4540.32
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8873 0 0 0 454020 12 0 0 25 0 1 0 218808894 30339072 7011 1992294400 134512640 135151029 4294956240 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7407 7011 79 155 0 7250 0
Current children cumulated CPU time (s) 4540.32
Current children cumulated vsize (KiB) 29628
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23954
/proc/meminfo: memFree=1730096/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=30268 CPUtime=4600.29
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8986 0 0 0 460017 12 0 0 25 0 1 0 218808894 30994432 7124 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7567 7124 79 155 0 7410 0
Current children cumulated CPU time (s) 4600.29
Current children cumulated vsize (KiB) 30268
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23956
/proc/meminfo: memFree=1729840/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=30268 CPUtime=4660.26
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 8994 0 0 0 466014 12 0 0 25 0 1 0 218808894 30994432 7132 1992294400 134512640 135151029 4294956240 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7567 7132 79 155 0 7410 0
Current children cumulated CPU time (s) 4660.26
Current children cumulated vsize (KiB) 30268
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23956
/proc/meminfo: memFree=1729840/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=30460 CPUtime=4720.24
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 9026 0 0 0 472012 12 0 0 25 0 1 0 218808894 31191040 7164 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7615 7164 79 155 0 7458 0
Current children cumulated CPU time (s) 4720.24
Current children cumulated vsize (KiB) 30460
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23956
/proc/meminfo: memFree=1729776/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=30652 CPUtime=4780.21
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 9071 0 0 0 478009 12 0 0 25 0 1 0 218808894 31387648 7209 1992294400 134512640 135151029 4294956240 18446744073709551615 134555108 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7663 7209 79 155 0 7506 0
Current children cumulated CPU time (s) 4780.21
Current children cumulated vsize (KiB) 30652
[startup+4842.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 23956
/proc/meminfo: memFree=1729712/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=30652 CPUtime=4840.19
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 9085 0 0 0 484007 12 0 0 25 0 1 0 218808894 31387648 7223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7663 7223 79 155 0 7506 0
Current children cumulated CPU time (s) 4840.19
Current children cumulated vsize (KiB) 30652
[startup+4902.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 23956
/proc/meminfo: memFree=1729584/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=30652 CPUtime=4900.16
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 9111 0 0 0 490004 12 0 0 25 0 1 0 218808894 31387648 7249 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7663 7249 79 155 0 7506 0
Current children cumulated CPU time (s) 4900.16
Current children cumulated vsize (KiB) 30652
[startup+4962.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/65 23956
/proc/meminfo: memFree=1729456/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=30844 CPUtime=4960.13
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 9129 0 0 0 496001 12 0 0 25 0 1 0 218808894 31584256 7267 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7711 7267 79 155 0 7554 0
Current children cumulated CPU time (s) 4960.13
Current children cumulated vsize (KiB) 30844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5002.2 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 23956
/proc/meminfo: memFree=1729328/2055920 swapFree=4110764/4192956
[pid=23945] ppid=23943 vsize=31036 CPUtime=5000.02
/proc/23945/stat : 23945 (precosat) R 23943 23945 23866 0 -1 4194304 9165 0 0 0 499990 12 0 0 25 0 1 0 218808894 31780864 7303 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23945/statm: 7759 7303 79 155 0 7602 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 31036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5002.21
CPU time (s): 5000.04
CPU user time (s): 4999.91
CPU system time (s): 0.132979
CPU usage (%): 99.9567
Max. virtual memory (cumulated for all children) (KiB): 34224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.91
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9165
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= 15174
runsolver used 4.04538 second user time and 14.1598 second system time
The end
Begin job on node14 at 2009-05-10 00:22:34
IDJOB=1783982
IDBENCH=24750
IDSOLVER=607
FILE ID=node14/1783982-1241907754
PBS_JOBID= 9264788
Free space on /tmp= 66008 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Difficult/contest-02-03-04/contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783982-1241907754/watcher-1783982-1241907754 -o /tmp/evaluation-result-1783982-1241907754/solver-1783982-1241907754 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783982-1241907754.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3c6e2bf4052a26ce5bdb6cfc9e1f735c
RANDOM SEED=1918008731
node14.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.256
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 : 5931.00
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.256
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: 1761112 kB
Buffers: 46204 kB
Cached: 107556 kB
SwapCached: 77100 kB
Active: 59092 kB
Inactive: 173732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1761112 kB
SwapTotal: 4192956 kB
SwapFree: 4110764 kB
Dirty: 856 kB
Writeback: 0 kB
Mapped: 13496 kB
Slab: 47960 kB
Committed_AS: 670764 kB
PageTables: 1448 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= 66004 MiB
End job on node14 at 2009-05-10 01:45:58