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-1783674-1241862772.cnf
0.00/0.00 c found header 'p cnf 29249 861366'
2.39/2.47 c finished parsing
2.39/2.47 c
2.39/2.47 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
2.39/2.47 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
2.39/2.47 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
2.39/2.47 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
2.39/2.47 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
2.39/2.47 c --random=1 --spread=2000 --seed=0 --skip=25
2.39/2.47 c
2.39/2.47 c sizeof vars[0] = 16 alignment = 0 0 MB
2.39/2.47 c sizeof orgs[0] = 8 alignment = 0 0 MB
2.39/2.47 c sizeof occs[0] = 8 alignment = 0 0 MB
2.39/2.47 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
2.39/2.47 c
2.39/2.47 c starting search after 2.5 seconds
2.39/2.47 c no decision limit
2.49/2.53 c
2.49/2.53 c original/binary fixed eliminated learned agility
2.49/2.53 c seconds variables equivalent conflicts height MB
2.49/2.53 c
2.49/2.53 c * 2.5 861366 29249 0 0 0 0 0 0.0 0 56
10.89/10.96 c s 11.0 449131 17056 8114 602 3477 0 0 0.0 0 33
10.89/10.96 c l 11.0 449131 17056 8114 602 3477 0 105504 0.0 0 33
10.99/11.05 c R 11.0 449209 17052 8118 602 3477 152 145 995.9 2 34
10.99/11.06 c R 11.1 449292 17050 8118 604 3477 252 242 980.6 4 34
11.19/11.20 c R 11.2 449704 17050 8118 604 3477 854 824 719.2 4 34
11.29/11.30 c B 11.3 449772 17050 8118 604 3477 1000 968 689.4 4 34
11.59/11.65 c B 11.7 450447 17048 8119 605 3477 2002 1946 533.1 4 35
12.59/12.64 c R 12.6 455576 17023 8138 611 3477 4770 4623 421.4 4 37
13.89/13.98 c B 14.0 461219 17002 8151 619 3477 8006 7760 371.4 6 38
14.19/14.21 c R 14.2 461785 16999 8152 621 3477 8780 8511 364.4 5 38
21.48/21.56 c B 21.6 508286 16762 8340 670 3477 24009 23372 303.5 6 43
35.28/35.39 c s 35.4 515994 16128 8714 755 3652 42544 34742 265.3 6 39
35.28/35.39 c - 35.4 515994 16128 8714 755 3652 42544 102339 265.3 6 39
49.57/49.65 c B 49.6 584225 15340 9383 874 3652 64015 55869 238.7 7 50
65.48/65.57 c s 65.6 543257 14694 9636 968 3951 79807 57917 225.8 5 43
65.48/65.57 c - 65.6 543257 14694 9636 968 3951 79807 97223 225.8 5 43
78.57/78.62 c R 78.6 568393 14500 9795 1003 3951 93548 71599 218.3 5 51
82.77/82.83 c + 82.8 575968 14433 9847 1018 3951 97224 106945 216.7 4 53
101.57/101.67 c
101.57/101.67 c original/binary fixed eliminated learned agility
101.57/101.67 c seconds variables equivalent conflicts height MB
101.57/101.67 c
101.57/101.67 c s 101.7 553386 14064 9946 1061 4178 110963 70202 210.1 6 46
101.57/101.67 c - 101.7 553386 14064 9946 1061 4178 110963 105876 210.1 6 46
112.66/112.73 c + 112.7 567712 13984 10003 1084 4178 120315 116463 206.2 7 52
141.66/141.74 c s 141.7 561342 13648 10124 1134 4343 140193 77828 199.0 7 48
155.16/155.24 c + 155.2 575143 13576 10169 1161 4343 150395 128109 195.7 7 54
156.16/156.22 c 0 156.2 578119 11167 12555 1184 4343 151000 88603 195.5 7 54
156.16/156.22 c
156.16/156.22 s UNSATISFIABLE
156.16/156.22 c
156.16/156.22 c 151000 conflicts, 1080308 decisions, 550 random
156.16/156.22 c 67 iterations, 690 restarts, 0 skipped
156.16/156.22 c 3 enlarged, 2581 shrunken, 1479 rescored, 61 rebiased
156.16/156.22 c 5 simplifications, 0 reductions
156.16/156.22 c
156.16/156.22 c vars: 12555 fixed, 1184 equiv, 4343 elim, 1254 merged
156.16/156.22 c elim: 3434664 resolutions, 5 phases, 0 rounds
156.16/156.22 c sbst: 97% substituted, 0.1% nots, 99.9% ands, 0.0% xors, 0.0% ites
156.16/156.22 c arty: 5.41 and 0.00 xor average arity
156.16/156.22 c prbe: 349993 probed, 89 phases, 9 rounds
156.16/156.22 c prbe: 9263 failed, 472 lifted, 112 merged
156.16/156.22 c sccs: 7 non trivial, 0 fixed, 8 merged
156.16/156.22 c hash: 88 units, 1134 merged
156.16/156.22 c mins: 4335127 learned, 36% deleted, 78 strong, 37 depth
156.16/156.22 c subs: 5210 forward, 11768 backward, 33291 doms
156.16/156.22 c strs: 109169 forward, 136 backward
156.16/156.22 c doms: 40341 dominators, 26249 high, 233 low
156.16/156.22 c prps: 108250531 propagations, 0.69 megaprops
156.16/156.22 c
156.16/156.22 c 156.2 seconds, 59 MB max, 37 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783674-1241862772/watcher-1783674-1241862772 -o /tmp/evaluation-result-1783674-1241862772/solver-1783674-1241862772 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783674-1241862772.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.99 0.95 0.62 3/64 25168
/proc/meminfo: memFree=1707824/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=1944 CPUtime=0
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 214305409 1990656 364 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/25168/statm: 486 365 59 155 0 329 0
[startup+0.099524 s]
/proc/loadavg: 0.99 0.95 0.62 3/64 25168
/proc/meminfo: memFree=1707824/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=6704 CPUtime=0.09
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 1677 0 0 0 8 1 0 0 18 0 1 0 214305409 6864896 1564 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 1676 1564 63 155 0 1519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6704
[startup+0.102522 s]
/proc/loadavg: 0.99 0.95 0.62 3/64 25168
/proc/meminfo: memFree=1707824/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=6836 CPUtime=0.09
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 1700 0 0 0 8 1 0 0 18 0 1 0 214305409 7000064 1587 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 1709 1587 63 155 0 1552 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6836
[startup+0.30154 s]
/proc/loadavg: 0.99 0.95 0.62 3/64 25168
/proc/meminfo: memFree=1707824/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=12364 CPUtime=0.29
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 3211 0 0 0 27 2 0 0 19 0 1 0 214305409 12660736 2969 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 3091 2969 63 155 0 2934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12364
[startup+0.702575 s]
/proc/loadavg: 0.99 0.95 0.62 3/64 25168
/proc/meminfo: memFree=1707824/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=26332 CPUtime=0.69
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 6977 0 0 0 65 4 0 0 22 0 1 0 214305409 26963968 6478 1992294400 134512640 135151029 4294956240 18446744073709551615 134572506 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 6583 6478 63 155 0 6426 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26332
[startup+1.50164 s]
/proc/loadavg: 0.99 0.95 0.62 2/65 25169
/proc/meminfo: memFree=1677864/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=49120 CPUtime=1.49
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 13190 0 0 0 143 6 0 0 25 0 1 0 214305409 50298880 12178 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 12280 12178 63 155 0 12123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49120
[startup+3.10178 s]
/proc/loadavg: 0.99 0.95 0.62 2/65 25169
/proc/meminfo: memFree=1650920/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=66552 CPUtime=3.09
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 18560 0 0 0 300 9 0 0 25 0 1 0 214305409 68149248 16522 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16638 16522 79 155 0 16481 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66552
[startup+6.30106 s]
/proc/loadavg: 0.99 0.95 0.62 2/65 25169
/proc/meminfo: memFree=1640872/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=59200 CPUtime=6.29
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 18882 0 0 0 620 9 0 0 25 0 1 0 214305409 60620800 14680 1992294400 134512640 135151029 4294956240 18446744073709551615 134673072 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 14800 14680 79 155 0 14643 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59200
[startup+12.7016 s]
/proc/loadavg: 0.99 0.95 0.63 2/65 25169
/proc/meminfo: memFree=1643112/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=64888 CPUtime=12.69
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 25166 0 0 0 1257 12 0 0 25 0 1 0 214305409 66445312 16139 1992294400 134512640 135151029 4294956240 18446744073709551615 134520115 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16222 16139 79 155 0 16065 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64888
[startup+25.5017 s]
/proc/loadavg: 0.99 0.95 0.63 2/65 25169
/proc/meminfo: memFree=1643112/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=64888 CPUtime=25.48
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 25166 0 0 0 2536 12 0 0 25 0 1 0 214305409 66445312 16139 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16222 16139 79 155 0 16065 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64888
[startup+51.102 s]
/proc/loadavg: 0.99 0.95 0.64 2/65 25169
/proc/meminfo: memFree=1642600/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=65600 CPUtime=51.08
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 30826 0 0 0 5092 16 0 0 25 0 1 0 214305409 67174400 16285 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16400 16285 79 155 0 16243 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65600
[startup+102.305 s]
/proc/loadavg: 0.99 0.96 0.66 2/65 25169
/proc/meminfo: memFree=1641704/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=66416 CPUtime=102.27
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 41894 0 0 0 10206 21 0 0 25 0 1 0 214305409 68009984 16488 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16604 16488 79 155 0 16447 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66416
Solver just ended. Dumping a history of the last processes samples
[startup+127.902 s]
/proc/loadavg: 0.99 0.96 0.66 2/65 25169
/proc/meminfo: memFree=1641768/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=66416 CPUtime=127.86
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 41895 0 0 0 12765 21 0 0 25 0 1 0 214305409 68009984 16489 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16604 16489 79 155 0 16447 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 66416
[startup+140.702 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 25169
/proc/meminfo: memFree=1642600/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=65440 CPUtime=140.66
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 45422 0 0 0 14043 23 0 0 25 0 1 0 214305409 67010560 16274 1992294400 134512640 135151029 4294956240 18446744073709551615 134550581 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16360 16274 79 155 0 16203 0
Current children cumulated CPU time (s) 140.66
Current children cumulated vsize (KiB) 65440
[startup+147.101 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 25169
/proc/meminfo: memFree=1640168/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=67968 CPUtime=147.06
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 47434 0 0 0 14681 25 0 0 25 0 1 0 214305409 69599232 16874 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16992 16874 79 155 0 16835 0
Current children cumulated CPU time (s) 147.06
Current children cumulated vsize (KiB) 67968
[startup+150.302 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 25169
/proc/meminfo: memFree=1640168/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=67968 CPUtime=150.26
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 47434 0 0 0 15001 25 0 0 25 0 1 0 214305409 69599232 16874 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16992 16874 79 155 0 16835 0
Current children cumulated CPU time (s) 150.26
Current children cumulated vsize (KiB) 67968
[startup+153.502 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 25169
/proc/meminfo: memFree=1640168/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=67968 CPUtime=153.46
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 47435 0 0 0 15321 25 0 0 25 0 1 0 214305409 69599232 16875 1992294400 134512640 135151029 4294956240 18446744073709551615 134578182 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16992 16875 79 155 0 16835 0
Current children cumulated CPU time (s) 153.46
Current children cumulated vsize (KiB) 67968
[startup+155.104 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 25169
/proc/meminfo: memFree=1640168/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=67968 CPUtime=155.06
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 47435 0 0 0 15481 25 0 0 25 0 1 0 214305409 69599232 16875 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16992 16875 79 155 0 16835 0
Current children cumulated CPU time (s) 155.06
Current children cumulated vsize (KiB) 67968
[startup+155.901 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 25169
/proc/meminfo: memFree=1640168/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=67968 CPUtime=155.86
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 47435 0 0 0 15561 25 0 0 25 0 1 0 214305409 69599232 16875 1992294400 134512640 135151029 4294956240 18446744073709551615 134552173 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16992 16875 79 155 0 16835 0
Current children cumulated CPU time (s) 155.86
Current children cumulated vsize (KiB) 67968
[startup+156.101 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 25169
/proc/meminfo: memFree=1640168/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=67968 CPUtime=156.06
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 47435 0 0 0 15581 25 0 0 25 0 1 0 214305409 69599232 16875 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16992 16875 79 155 0 16835 0
Current children cumulated CPU time (s) 156.06
Current children cumulated vsize (KiB) 67968
[startup+156.205 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 25169
/proc/meminfo: memFree=1640168/2055920 swapFree=4164020/4192956
[pid=25168] ppid=25166 vsize=67968 CPUtime=156.16
/proc/25168/stat : 25168 (precosat) R 25166 25168 25072 0 -1 4194304 47435 0 0 0 15591 25 0 0 25 0 1 0 214305409 69599232 16875 1992294400 134512640 135151029 4294956240 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25168/statm: 16992 16875 79 155 0 16835 0
Current children cumulated CPU time (s) 156.16
Current children cumulated vsize (KiB) 67968
Child status: 20
Real time (s): 156.238
CPU time (s): 156.2
CPU user time (s): 155.935
CPU system time (s): 0.264959
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 70028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.935
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47436
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= 290
runsolver used 0.133979 second user time and 0.334949 second system time
The end
Begin job on node50 at 2009-05-09 11:52:54
IDJOB=1783674
IDBENCH=24634
IDSOLVER=607
FILE ID=node50/1783674-1241862772
PBS_JOBID= 9264565
Free space on /tmp= 66340 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783674-1241862772/watcher-1783674-1241862772 -o /tmp/evaluation-result-1783674-1241862772/solver-1783674-1241862772 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783674-1241862772.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c7db94a671d9411eb90a6ffa8f8c530f
RANDOM SEED=811516074
node50.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.216
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.216
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: 1708240 kB
Buffers: 23452 kB
Cached: 258336 kB
SwapCached: 23396 kB
Active: 178756 kB
Inactive: 128256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1708240 kB
SwapTotal: 4192956 kB
SwapFree: 4164020 kB
Dirty: 12816 kB
Writeback: 0 kB
Mapped: 13516 kB
Slab: 26608 kB
Committed_AS: 661612 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= 66340 MiB
End job on node50 at 2009-05-09 11:55:30