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-1784382-1241937117.cnf
0.00/0.00 c found header 'p cnf 1150 84314'
0.09/0.11 c finished parsing
0.09/0.11 c
0.09/0.11 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.11 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.11 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.11 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.11 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.11 c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.11 c
0.09/0.11 c sizeof vars[0] = 16 alignment = 0 0 MB
0.09/0.11 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.09/0.11 c sizeof occs[0] = 8 alignment = 0 0 MB
0.09/0.11 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.09/0.11 c
0.09/0.11 c starting search after 0.1 seconds
0.09/0.11 c no decision limit
0.09/0.12 c
0.09/0.12 c original/binary fixed eliminated learned agility
0.09/0.12 c seconds variables equivalent conflicts height MB
0.09/0.12 c
0.09/0.12 c * 0.1 84314 1150 0 0 0 0 0 0.0 0 6
0.29/0.39 c - 0.4 83544 1121 0 0 29 0 1000 0.0 0 8
1.39/1.41 c s 1.4 82787 1100 0 0 50 0 0 0.0 0 6
1.39/1.41 c l 1.4 82787 1100 0 0 50 0 5827 0.0 0 6
1.39/1.42 c R 1.4 82787 1100 0 0 50 101 101 113.8 4 6
1.39/1.43 c R 1.4 82787 1100 0 0 50 202 202 89.8 5 7
1.39/1.49 c R 1.5 82787 1100 0 0 50 805 805 60.7 5 7
1.49/1.51 c B 1.5 82787 1100 0 0 50 1001 1001 55.9 5 7
1.59/1.61 c B 1.6 82787 1100 0 0 50 2002 2002 53.2 6 7
1.59/1.64 c R 1.6 82787 1100 0 0 50 2411 2411 57.9 5 7
1.89/1.97 c + 2.0 82787 1100 0 0 50 5827 6409 57.0 6 8
1.99/2.04 c R 2.0 82787 1100 0 0 50 6420 6420 57.8 6 9
2.09/2.13 c + 2.1 82787 1100 0 0 50 7280 7049 55.3 5 9
2.19/2.21 c B 2.2 82787 1100 0 0 50 8006 7074 53.8 5 9
2.39/2.40 c + 2.4 82788 1100 0 0 50 9100 7753 54.7 5 9
2.59/2.64 c + 2.6 82788 1100 0 0 50 11375 8528 54.3 4 9
2.89/2.97 c + 3.0 82789 1100 0 0 50 14216 9380 52.1 6 9
3.19/3.21 c R 3.2 82790 1100 0 0 50 16040 9391 49.9 5 10
3.39/3.41 c + 3.4 82790 1100 0 0 50 17770 10318 49.6 5 10
3.89/3.93 c
3.89/3.93 c original/binary fixed eliminated learned agility
3.89/3.93 c seconds variables equivalent conflicts height MB
3.89/3.93 c
3.89/3.93 c + 3.9 82790 1100 0 0 50 22212 11349 50.4 5 10
4.09/4.16 c s 4.2 82790 1100 0 0 50 22447 10579 50.5 5 9
4.30/4.34 c B 4.3 82790 1100 0 0 50 24012 11356 50.3 4 9
4.69/4.75 c + 4.8 82790 1100 0 0 50 27765 12483 48.4 5 10
5.50/5.59 c + 5.6 82790 1100 0 0 50 34707 13731 47.4 5 10
5.99/6.06 c R 6.1 82790 1100 0 0 50 38481 13777 46.3 5 11
6.69/6.73 c + 6.7 82791 1100 0 0 50 43382 15104 45.3 6 11
7.49/7.56 c s 7.6 82793 1100 0 0 50 48642 15124 45.5 5 10
8.29/8.38 c + 8.4 82797 1100 0 0 50 54225 16614 44.6 5 11
9.59/9.64 c B 9.6 82797 1100 0 0 50 64019 16629 45.1 6 12
10.09/10.11 c + 10.1 82797 1100 0 0 50 67780 18275 45.3 5 12
11.18/11.29 c s 11.3 82804 1100 0 0 50 75069 18305 44.8 6 11
12.69/12.72 c + 12.7 82806 1100 0 0 50 84727 20102 44.1 7 12
13.39/13.42 c R 13.4 82806 1100 0 0 50 89758 20124 44.3 5 13
15.39/15.44 c s 15.4 82806 1100 0 0 50 101961 20125 42.5 6 11
16.08/16.12 c + 16.1 82809 1100 0 0 50 105905 22112 42.8 5 12
19.58/19.68 c s 19.7 82815 1100 0 0 50 128571 22129 41.8 5 11
20.29/20.37 c + 20.4 82817 1100 0 0 50 132384 24323 41.9 5 13
24.19/24.26 c s 24.3 82824 1100 0 0 50 155284 24340 42.6 6 12
24.88/24.96 c
24.88/24.96 c original/binary fixed eliminated learned agility
24.88/24.96 c seconds variables equivalent conflicts height MB
24.88/24.96 c
24.88/24.96 c B 25.0 82825 1100 0 0 50 160049 24338 42.8 4 14
25.88/25.92 c + 25.9 82826 1100 0 0 50 165480 26755 43.2 5 14
28.98/29.02 c s 29.0 82831 1100 0 0 50 182961 26786 43.5 5 13
32.89/32.90 c R 32.9 82833 1100 0 0 50 205149 26793 42.4 6 15
33.09/33.17 c + 33.2 82833 1100 0 0 50 206850 29430 42.2 5 15
33.99/34.09 c s 34.1 82833 1100 0 0 50 211284 29450 41.9 5 13
39.58/39.66 c s 39.6 82845 1100 0 0 50 241583 29437 41.1 6 14
42.58/42.63 c + 42.6 82847 1100 0 0 50 258562 32373 41.2 5 16
44.88/44.94 c s 44.9 82849 1100 0 0 50 270213 32395 41.3 5 14
50.68/50.77 c s 50.8 82853 1100 0 0 50 299250 32390 41.2 5 14
55.28/55.39 c + 55.4 82860 1100 0 0 50 323201 35610 40.8 5 17
56.78/56.85 c s 56.8 82860 1100 0 0 50 329696 35652 40.9 5 16
62.97/63.01 c s 63.0 82863 1100 0 0 50 360039 35623 41.4 5 16
68.08/68.17 c B 68.2 82863 1100 0 0 50 384097 35663 41.6 5 18
69.98/70.06 c s 70.0 82865 1100 0 0 50 391944 35645 41.5 5 15
72.28/72.32 c + 72.3 82865 1100 0 0 50 404000 39171 42.0 6 18
76.17/76.20 c s 76.2 82868 1100 0 0 50 422333 39185 41.7 5 17
83.67/83.71 c s 83.7 82871 1100 0 0 50 454805 39237 40.9 6 16
85.17/85.25 c R 85.2 82872 1100 0 0 50 461604 39230 40.8 5 18
91.18/91.20 c
91.18/91.20 c original/binary fixed eliminated learned agility
91.18/91.20 c seconds variables equivalent conflicts height MB
91.18/91.20 c
91.18/91.20 c s 91.2 82872 1100 0 0 50 485306 39225 40.8 6 16
95.27/95.35 c + 95.3 82874 1100 0 0 50 505002 43088 40.2 5 18
97.97/98.06 c s 98.0 82874 1100 0 0 50 516044 43132 40.3 5 17
104.96/105.00 c s 105.0 82876 1100 0 0 50 548340 43106 40.7 5 18
112.37/112.44 c s 112.4 82878 1100 0 0 50 581263 43133 41.0 6 18
119.66/119.74 c s 119.7 82880 1100 0 0 50 612242 43113 40.7 5 16
124.36/124.40 c + 124.4 82883 1100 0 0 50 631252 47396 40.7 6 19
127.25/127.34 c s 127.3 82889 1100 0 0 50 643019 47420 40.8 7 18
135.36/135.41 c s 135.4 82893 1100 0 0 50 675364 47400 41.2 5 19
152.95/153.01 c s 153.0 82894 1100 0 0 50 743658 47483 40.9 6 19
160.75/160.85 c s 160.8 82896 1100 0 0 50 776896 47427 40.8 6 19
163.45/163.59 c + 163.6 82898 1100 0 0 50 789065 52135 40.8 5 21
168.45/168.51 c s 168.5 82899 1100 0 0 50 810653 52207 41.1 5 20
177.14/177.22 c s 177.2 82901 1100 0 0 50 845831 52178 41.5 6 21
185.94/186.05 c s 186.0 82907 1100 0 0 50 879497 52193 42.0 5 21
190.24/190.38 c B 190.3 82908 1100 0 0 50 896228 52248 42.5 6 25
194.85/194.96 c s 194.9 82908 1100 0 0 50 912678 52193 42.6 5 22
204.34/204.42 c s 204.4 82909 1100 0 0 50 946857 52168 42.8 5 21
214.44/214.56 c s 214.5 82910 1100 0 0 50 983088 52163 42.5 6 20
215.83/215.95 c
215.83/215.95 c original/binary fixed eliminated learned agility
215.83/215.95 c seconds variables equivalent conflicts height MB
215.83/215.95 c
215.83/215.95 c + 215.9 82910 1100 0 0 50 986333 57348 42.5 5 21
231.13/231.28 c R 231.2 82910 1100 0 0 50 1025733 57375 42.2 5 25
258.52/258.67 c s 258.6 82912 1100 0 0 50 1128133 57398 40.9 5 22
276.03/276.13 c s 276.1 82914 1100 0 0 50 1201128 57381 41.1 6 21
284.22/284.39 c + 284.3 82914 1100 0 0 50 1232917 63082 41.2 6 25
296.22/296.36 c s 296.3 82915 1100 0 0 50 1275696 63139 41.1 6 23
325.11/325.25 c s 325.2 82916 1100 0 0 50 1372064 63128 41.0 5 24
335.71/335.89 c s 335.8 82917 1100 0 0 50 1408640 63132 41.2 5 24
348.10/348.26 c s 348.2 82918 1100 0 0 50 1448838 63107 41.4 5 24
360.00/360.13 c s 360.0 82920 1100 0 0 50 1483051 63100 41.5 6 24
376.59/376.75 c s 376.7 82921 1100 0 0 50 1533851 63107 41.6 5 24
378.79/378.90 c + 378.8 82922 1100 0 0 50 1541145 69390 41.7 5 27
388.59/388.71 c s 388.6 82922 1100 0 0 50 1571477 69417 42.0 6 27
415.78/415.94 c s 415.8 82924 1100 0 0 50 1654732 69414 41.5 5 26
449.88/450.02 c s 449.9 82925 1100 0 0 50 1757348 69414 41.5 4 26
462.98/463.16 c s 463.0 82931 1100 0 0 50 1795478 69410 41.4 5 26
499.77/499.92 c s 499.8 82932 1100 0 0 50 1905936 69407 41.7 5 26
506.27/506.49 c + 506.4 82932 1100 0 0 50 1926430 76329 41.7 5 30
512.76/512.90 c s 512.8 82933 1100 0 0 50 1944153 76346 41.8 5 29
525.95/526.17 c
525.95/526.17 c original/binary fixed eliminated learned agility
525.95/526.17 c seconds variables equivalent conflicts height MB
525.95/526.17 c
525.95/526.17 c s 526.0 82934 1100 0 0 50 1980862 76354 41.7 5 28
550.65/550.82 c B 550.7 82934 1100 0 0 50 2048450 76365 42.2 5 36
555.26/555.44 c s 555.3 82935 1100 0 0 50 2060191 76396 42.3 5 30
593.84/594.05 c s 593.9 82936 1100 0 0 50 2160245 76363 42.6 5 30
636.33/636.57 c R 636.4 82936 1100 0 0 50 2256432 76471 42.2 6 32
637.32/637.55 c s 637.4 82937 1100 0 0 50 2256432 76471 42.2 6 26
709.00/709.21 c + 709.0 82937 1100 0 0 50 2408036 83961 41.6 7 34
741.30/741.51 c s 741.3 82938 1100 0 0 50 2461235 115740 41.5 5 40
758.49/758.79 c s 758.6 82940 1100 0 0 50 2511812 83989 41.6 5 30
788.39/788.61 c s 788.4 82941 1100 0 0 50 2592329 83977 41.6 5 29
876.06/876.39 c s 876.2 82942 1100 0 0 50 2820410 83988 41.9 5 31
910.56/910.84 c s 910.6 82943 1100 0 0 50 2903775 83974 41.8 6 30
942.64/942.99 c s 942.8 82944 1100 0 0 50 2987815 84043 41.9 6 32
951.44/951.70 c + 951.5 82945 1100 0 0 50 3010047 92357 41.9 6 37
959.34/959.66 c s 959.4 82946 1100 0 0 50 3028736 92421 42.0 5 35
978.84/979.16 c s 978.9 82950 1100 0 0 50 3071622 92417 42.0 6 35
997.83/998.14 c s 997.9 82951 1100 0 0 50 3114530 92427 42.1 6 35
1283.76/1284.13 c + 1283.8 82951 1100 0 0 50 3762555 101592 42.2 6 49
1394.93/1395.31 c s 1394.9 82952 1100 0 0 50 4007978 101623 42.0 5 36
1691.66/1692.16 c
1691.66/1692.16 c original/binary fixed eliminated learned agility
1691.66/1692.16 c seconds variables equivalent conflicts height MB
1691.66/1692.16 c
1691.66/1692.16 c B 1691.7 82952 1100 0 0 50 4608943 101701 42.9 6 52
1745.73/1746.26 c + 1745.8 82952 1100 0 0 50 4703191 111751 43.7 5 52
1909.39/1909.93 c R 1909.4 82952 1100 0 0 50 4922665 111804 44.6 5 55
2467.34/2468.08 c + 2467.4 82952 1100 0 0 50 5878985 122926 44.3 5 62
3150.87/3151.74 c s 3150.9 82953 1100 0 0 50 7101876 123055 44.3 4 47
3302.83/3303.70 c + 3302.8 82953 1100 0 0 50 7348730 135218 44.6 6 59
3825.60/3826.66 c s 3825.7 82954 1100 0 0 50 8152910 135289 44.6 5 48
4533.31/4534.57 c + 4533.4 82954 1100 0 0 50 9185911 148739 44.7 5 72
5000.10/5001.40 c
5000.10/5001.40 c *** CAUGHT SIGNAL 15 ***
5000.10/5001.40 c
5000.10/5001.40 c 9768561 conflicts, 16093649 decisions, 8090 random
5000.10/5001.40 c 0 iterations, 16122 restarts, 0 skipped
5000.10/5001.40 c 34 enlarged, 200 shrunken, 95576 rescored, 2045 rebiased
5000.10/5001.40 c 62 simplifications, 3 reductions
5000.10/5001.40 c
5000.10/5001.40 c vars: 0 fixed, 0 equiv, 50 elim, 0 merged
5000.10/5001.40 c elim: 369381 resolutions, 1 phases, 1 rounds
5000.10/5001.40 c sbst: 100% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
5000.10/5001.40 c arty: 22.00 and 0.00 xor average arity
5000.10/5001.40 c prbe: 1113303 probed, 1012 phases, 506 rounds
5000.10/5001.40 c prbe: 0 failed, 0 lifted, 0 merged
5000.10/5001.40 c sccs: 0 non trivial, 0 fixed, 0 merged
5000.10/5001.40 c hash: 0 units, 0 merged
5000.10/5001.40 c mins: 742181016 learned, 48% deleted, 0 strong, 19 depth
5000.10/5001.40 c subs: 109 forward, 362 backward, 29 doms
5000.10/5001.40 c strs: 1149 forward, 0 backward
5000.10/5001.40 c doms: 29 dominators, 2 high, 0 low
5000.10/5001.40 c prps: 1608339000 propagations, 0.32 megaprops
5000.10/5001.40 c
5000.10/5001.40 c 5000.1 seconds, 84 MB max, 3007 MB recycled
5000.10/5001.40 c
5000.10/5001.40 c *** CAUGHT SIGNAL 15 ***
5000.10/5001.40 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784382-1241937117/watcher-1784382-1241937117 -o /tmp/evaluation-result-1784382-1241937117/solver-1784382-1241937117 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784382-1241937117.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/65 12491
/proc/meminfo: memFree=1768000/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=1068 CPUtime=0
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 221740714 1093632 169 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 267 169 63 155 0 110 0
[startup+0.053577 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 12491
/proc/meminfo: memFree=1768000/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=4140 CPUtime=0.04
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 1035 0 0 0 4 0 0 0 18 0 1 0 221740714 4239360 922 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 1035 922 63 155 0 878 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4140
[startup+0.101581 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 12491
/proc/meminfo: memFree=1768000/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=6236 CPUtime=0.09
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 1703 0 0 0 9 0 0 0 18 0 1 0 221740714 6385664 1461 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 1559 1461 63 155 0 1402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6236
[startup+0.301602 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 12491
/proc/meminfo: memFree=1768000/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=9160 CPUtime=0.29
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 3223 0 0 0 28 1 0 0 19 0 1 0 221740714 9379840 2208 1992294400 134512640 135151029 4294956240 18446744073709551615 134518952 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 2290 2208 79 155 0 2133 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9160
[startup+0.701644 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 12491
/proc/meminfo: memFree=1768000/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=10480 CPUtime=0.69
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 3535 0 0 0 68 1 0 0 22 0 1 0 221740714 10731520 2520 1992294400 134512640 135151029 4294956240 18446744073709551615 134526284 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 2620 2520 79 155 0 2463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10480
[startup+1.50173 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12492
/proc/meminfo: memFree=1758136/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=10480 CPUtime=1.49
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 3792 0 0 0 148 1 0 0 25 0 1 0 221740714 10731520 2520 1992294400 134512640 135151029 4294956240 18446744073709551615 134573883 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 2620 2520 79 155 0 2463 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10480
[startup+3.10189 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12492
/proc/meminfo: memFree=1757944/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=11536 CPUtime=3.09
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 4053 0 0 0 308 1 0 0 25 0 1 0 221740714 11812864 2781 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 2884 2781 79 155 0 2727 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11536
[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12492
/proc/meminfo: memFree=1755832/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=13164 CPUtime=6.29
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 4865 0 0 0 627 2 0 0 25 0 1 0 221740714 13479936 3207 1992294400 134512640 135151029 4294956240 18446744073709551615 134554855 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 3291 3207 79 155 0 3134 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13164
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12492
/proc/meminfo: memFree=1753472/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=14628 CPUtime=12.69
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 5992 0 0 0 1266 3 0 0 25 0 1 0 221740714 14979072 3562 1992294400 134512640 135151029 4294956240 18446744073709551615 134546656 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 3657 3562 79 155 0 3500 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14628
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12492
/proc/meminfo: memFree=1751040/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=17140 CPUtime=25.48
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 7980 0 0 0 2544 4 0 0 25 0 1 0 221740714 17551360 4176 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 4285 4176 79 155 0 4128 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17140
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12492
/proc/meminfo: memFree=1748544/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=19628 CPUtime=51.08
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 10627 0 0 0 5102 6 0 0 25 0 1 0 221740714 20099072 4798 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 4907 4798 79 155 0 4750 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19628
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12492
/proc/meminfo: memFree=1745536/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=22716 CPUtime=102.27
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 14670 0 0 0 10219 8 0 0 25 0 1 0 221740714 23261184 5589 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 5679 5589 79 155 0 5522 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22716
[startup+162.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 12492
/proc/meminfo: memFree=1742208/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=25912 CPUtime=162.25
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 18658 0 0 0 16215 10 0 0 25 0 1 0 221740714 26533888 6367 1992294400 134512640 135151029 4294956240 18446744073709551615 134583521 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 6478 6367 79 155 0 6321 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 25912
[startup+222.302 s]
/proc/loadavg: 1.12 1.04 1.01 2/66 12492
/proc/meminfo: memFree=1740160/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=27820 CPUtime=222.23
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 22018 0 0 0 22211 12 0 0 25 0 1 0 221740714 28487680 6878 1992294400 134512640 135151029 4294956240 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 6955 6878 79 155 0 6798 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27820
[startup+282.302 s]
/proc/loadavg: 1.12 1.04 1.01 2/66 12492
/proc/meminfo: memFree=1732736/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=35696 CPUtime=282.22
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 24495 0 0 0 28207 15 0 0 25 0 1 0 221740714 36552704 8750 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 8924 8750 79 155 0 8767 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 35696
[startup+342.301 s]
/proc/loadavg: 1.11 1.05 1.01 2/66 12492
/proc/meminfo: memFree=1733504/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=34668 CPUtime=342.2
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 24547 0 0 0 34205 15 0 0 25 0 1 0 221740714 35500032 8545 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 8667 8545 79 155 0 8510 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 34668
[startup+402.301 s]
/proc/loadavg: 1.14 1.07 1.01 2/66 12492
/proc/meminfo: memFree=1732096/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=36012 CPUtime=402.18
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 24910 0 0 0 40203 15 0 0 25 0 1 0 221740714 36876288 8908 1992294400 134512640 135151029 4294956240 18446744073709551615 134554805 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 9003 8908 79 155 0 8846 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 36012
[startup+462.302 s]
/proc/loadavg: 1.15 1.08 1.02 2/66 12492
/proc/meminfo: memFree=1731968/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=35876 CPUtime=462.17
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 25850 0 0 0 46201 16 0 0 25 0 1 0 221740714 36737024 8892 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 8969 8892 79 155 0 8812 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 35876
[startup+522.302 s]
/proc/loadavg: 1.05 1.07 1.01 2/66 12492
/proc/meminfo: memFree=1731520/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=36468 CPUtime=522.16
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 27363 0 0 0 52199 17 0 0 25 0 1 0 221740714 37343232 9008 1992294400 134512640 135151029 4294956240 18446744073709551615 134578098 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 9117 9008 79 155 0 8960 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 36468
[startup+582.301 s]
/proc/loadavg: 1.02 1.05 1.00 2/66 12494
/proc/meminfo: memFree=1728064/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=39820 CPUtime=582.14
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 29164 0 0 0 58195 19 0 0 25 0 1 0 221740714 40775680 9858 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 9955 9858 79 155 0 9798 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 39820
[startup+642.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/66 12494
/proc/meminfo: memFree=1728448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=39544 CPUtime=642.13
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 29891 0 0 0 64194 19 0 0 25 0 1 0 221740714 40493056 9807 1992294400 134512640 135151029 4294956240 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 9886 9807 79 155 0 9729 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 39544
[startup+702.302 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12500
/proc/meminfo: memFree=1680512/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4001.26
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 400088 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4001.26
Current children cumulated vsize (KiB) 86732
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12500
/proc/meminfo: memFree=1680512/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4061.24
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 406086 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4061.24
Current children cumulated vsize (KiB) 86732
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12500
/proc/meminfo: memFree=1680512/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4121.22
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 412084 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4121.22
Current children cumulated vsize (KiB) 86732
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4181.2
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 418082 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4181.2
Current children cumulated vsize (KiB) 86732
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4241.19
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 424081 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4241.19
Current children cumulated vsize (KiB) 86732
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4301.17
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 430079 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4301.17
Current children cumulated vsize (KiB) 86732
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4361.16
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 436078 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4361.16
Current children cumulated vsize (KiB) 86732
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4421.14
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 442076 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134520407 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4421.14
Current children cumulated vsize (KiB) 86732
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4481.12
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 448074 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4481.12
Current children cumulated vsize (KiB) 86732
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4541.11
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45589 0 0 0 454073 38 0 0 25 0 1 0 221740714 88813568 21587 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21587 79 155 0 21526 0
Current children cumulated CPU time (s) 4541.11
Current children cumulated vsize (KiB) 86732
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4601.09
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45595 0 0 0 460071 38 0 0 25 0 1 0 221740714 88813568 21593 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21593 79 155 0 21526 0
Current children cumulated CPU time (s) 4601.09
Current children cumulated vsize (KiB) 86732
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4661.08
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45596 0 0 0 466070 38 0 0 25 0 1 0 221740714 88813568 21594 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21594 79 155 0 21526 0
Current children cumulated CPU time (s) 4661.08
Current children cumulated vsize (KiB) 86732
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4721.06
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45597 0 0 0 472068 38 0 0 25 0 1 0 221740714 88813568 21595 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21595 79 155 0 21526 0
Current children cumulated CPU time (s) 4721.06
Current children cumulated vsize (KiB) 86732
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1680448/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=86732 CPUtime=4781.04
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 45597 0 0 0 478066 38 0 0 25 0 1 0 221740714 88813568 21595 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 21683 21595 79 155 0 21526 0
Current children cumulated CPU time (s) 4781.04
Current children cumulated vsize (KiB) 86732
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1678144/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=89316 CPUtime=4841.03
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 46184 0 0 0 484064 39 0 0 25 0 1 0 221740714 91459584 22182 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 22329 22182 79 155 0 22172 0
Current children cumulated CPU time (s) 4841.03
Current children cumulated vsize (KiB) 89316
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1677440/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=90236 CPUtime=4901.01
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 46361 0 0 0 490062 39 0 0 25 0 1 0 221740714 92401664 22359 1992294400 134512640 135151029 4294956240 18446744073709551615 134554954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 22559 22359 79 155 0 22402 0
Current children cumulated CPU time (s) 4901.01
Current children cumulated vsize (KiB) 90236
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1676992/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=90748 CPUtime=4961
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 46464 0 0 0 496060 40 0 0 25 0 1 0 221740714 92925952 22462 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 22687 22462 79 155 0 22530 0
Current children cumulated CPU time (s) 4961
Current children cumulated vsize (KiB) 90748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12502
/proc/meminfo: memFree=1676928/2055912 swapFree=4126764/4192956
[pid=12491] ppid=12489 vsize=90748 CPUtime=5000.1
/proc/12491/stat : 12491 (precosat) R 12489 12491 12265 0 -1 4194304 46482 0 0 0 499970 40 0 0 25 0 1 0 221740714 92925952 22480 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12491/statm: 22687 22480 79 155 0 22530 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 90748
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): 5001.42
CPU time (s): 5000.12
CPU user time (s): 4999.7
CPU system time (s): 0.416936
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 90748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.7
system time used= 0.416936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46482
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= 8584
runsolver used 5.87111 second user time and 11.6332 second system time
The end
Begin job on node78 at 2009-05-10 08:31:57
IDJOB=1784382
IDBENCH=71339
IDSOLVER=607
FILE ID=node78/1784382-1241937117
PBS_JOBID= 9264951
Free space on /tmp= 126684 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g2.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784382-1241937117/watcher-1784382-1241937117 -o /tmp/evaluation-result-1784382-1241937117/solver-1784382-1241937117 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784382-1241937117.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 63d94048c368060530aaae24bc900bb9
RANDOM SEED=835821753
node78.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.243
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.243
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: 2055912 kB
MemFree: 1768416 kB
Buffers: 51312 kB
Cached: 130848 kB
SwapCached: 59784 kB
Active: 113264 kB
Inactive: 129984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1768416 kB
SwapTotal: 4192956 kB
SwapFree: 4126764 kB
Dirty: 1712 kB
Writeback: 0 kB
Mapped: 14220 kB
Slab: 30084 kB
Committed_AS: 558372 kB
PageTables: 1428 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126684 MiB
End job on node78 at 2009-05-10 09:55:20