10.75/10.84 c run March_dl for 5 seconds ...
10.75/10.84 c Bin: Executing march_dl
10.75/10.84 c child exit by a signal
10.75/10.84 c march_dl returned code 137.
10.75/10.84 c run saps (UBCSAT implementation) for 2 seconds ...
10.75/10.84 c Bin: Executing ubcsat2006
10.75/10.84 c child exited successfully
10.75/10.84 c ubcsat2006 returned code 0.
10.75/10.84 c satzilla computing base features
10.75/10.84 c satzilla doing unit-prop probe
10.75/10.84 c satzilla doing local search probe
10.75/10.84 c satzilla doing lobjois search-space size estimate
10.75/10.84 c satzilla's ranking:
10.75/10.84 c 1) minisat20: 1.820411
10.75/10.84 c 2) minisat20+P: 2.098755
10.75/10.84 c 3) zchaff_rand+P: 2.185600
10.75/10.84 c 4) vallst+P: 2.375520
10.75/10.84 c 5) march_dl+P: 3.250471
10.75/10.84 c 6) march_dl: 3.622367
10.75/10.84 c 7) kcnfs+P: 999.000000
10.75/10.84 c 8) kcnfs: 999.000000
10.75/10.84 c 9) vallst: 999.000000
10.75/10.84 c 10) zchaff_rand: 999.000000
10.75/10.84 c satzilla running minisat20 ...
10.75/10.84 This is MiniSat 2.0 beta
10.75/10.84 WARNING: for repeatability, setting FPU to use double precision
10.75/10.84 ============================[ Problem Statistics ]=============================
10.75/10.84 | |
10.75/10.84 | Number of variables: 132 |
10.75/10.84 | Number of clauses: 1527 |
10.75/10.84 | Parsing time: 0.00 s |
10.75/10.84 ============================[ Search Statistics ]==============================
10.75/10.84 | Conflicts | ORIGINAL | LEARNT | Progress |
10.75/10.84 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.75/10.84 ===============================================================================
10.75/10.84 | 0 | 132 1527 4472 | 509 0 nan | 0.000 % |
10.75/10.84 | 101 | 132 1527 4472 | 559 101 16 | 0.006 % |
10.75/10.85 | 251 | 132 1527 4472 | 615 251 14 | 0.040 % |
10.75/10.85 | 477 | 132 1527 4472 | 677 477 13 | 0.006 % |
10.75/10.85 | 815 | 132 1527 4472 | 745 432 18 | 0.006 % |
10.75/10.86 | 1321 | 132 1527 4472 | 819 551 16 | 0.006 % |
10.75/10.88 | 2080 | 132 1527 4472 | 901 859 20 | 0.006 % |
10.85/10.90 | 3219 | 132 1527 4472 | 991 570 17 | 0.006 % |
10.85/10.94 | 4927 | 132 1527 4472 | 1091 701 20 | 0.006 % |
10.95/11.01 | 7490 | 132 1527 4472 | 1200 1009 17 | 0.006 % |
11.05/11.11 | 11336 | 132 1527 4472 | 1320 1095 21 | 0.040 % |
11.15/11.25 | 17104 | 132 1527 4472 | 1452 787 16 | 0.006 % |
11.35/11.47 | 25754 | 132 1527 4472 | 1597 1270 14 | 0.046 % |
11.65/11.76 | 38728 | 132 1527 4472 | 1757 1203 17 | 0.046 % |
12.05/12.19 | 58190 | 131 1479 4334 | 1932 1574 16 | 0.763 % |
12.85/12.92 | 87383 | 131 1479 4334 | 2126 1363 16 | 0.763 % |
13.95/14.02 | 131172 | 130 1437 4208 | 2338 1948 17 | 1.521 % |
15.65/15.75 | 196857 | 128 1348 3947 | 2572 1591 18 | 3.036 % |
18.45/18.55 | 295387 | 127 1308 3833 | 2829 2423 19 | 3.794 % |
20.65/20.72 ===============================================================================
20.65/20.72 restarts : 19
20.65/20.72 conflicts : 376128 (38102 /sec)
20.65/20.72 decisions : 507160 (1.68 % random) (51376 /sec)
20.65/20.72 propagations : 5993392 (607141 /sec)
20.65/20.72 conflict literals : 6478913 (26.12 % deleted)
20.65/20.72 Memory used : 2.42 MB
20.65/20.72 CPU time : 9.8715 s
20.65/20.72
20.65/20.72 c Bin: Executing minisat20
20.65/20.72 c child exited successfully
20.65/20.72 c minisat20 returned code 20.
20.65/20.72 s UNSATISFIABLE
20.65/20.72 c SATZILLA_TIME=20.680000
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-370055-1177551855 -o ROOT/results/node4/solver-370055-1177551855 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/370055-1177551855/SATzilla2007_C /tmp/evaluation/370055-1177551855/instance-370055-1177551855.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): 7500 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.96 0.91 3/77 28149
/proc/meminfo: memFree=1692120/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1440 CPUtime=0
/proc/28149/stat : 28149 (SATzilla2007_C) R 28147 28149 27092 0 -1 4194304 126 0 0 0 0 0 0 0 18 0 1 0 231223253 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216547 0 0 4096 0 0 0 0 17 1 0 0
/proc/28149/statm: 360 110 95 260 0 84 0
[pid=28150] ppid=28149 vsize=640 CPUtime=0
/proc/28150/stat : 28150 (march_dl) R 28149 28149 27092 0 -1 4194304 97 0 0 0 0 0 0 0 18 0 1 0 231223253 655360 89 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134617428 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28150/statm: 160 89 53 118 0 39 0
[startup+0.0548811 s]
/proc/loadavg: 0.99 0.96 0.91 3/77 28149
/proc/meminfo: memFree=1692120/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1440 CPUtime=0
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 231223253 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 360 110 95 260 0 84 0
[pid=28150] ppid=28149 vsize=836 CPUtime=0.05
/proc/28150/stat : 28150 (march_dl) R 28149 28149 27092 0 -1 4194304 163 0 0 0 5 0 0 0 19 0 1 0 231223253 856064 155 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134573152 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28150/statm: 209 155 75 118 0 88 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2276
[startup+0.101884 s]
/proc/loadavg: 0.99 0.96 0.91 3/77 28149
/proc/meminfo: memFree=1692120/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1440 CPUtime=0
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 231223253 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 360 110 95 260 0 84 0
[pid=28150] ppid=28149 vsize=836 CPUtime=0.09
/proc/28150/stat : 28150 (march_dl) R 28149 28149 27092 0 -1 4194304 165 0 0 0 9 0 0 0 19 0 1 0 231223253 856064 157 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134551409 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28150/statm: 209 157 75 118 0 88 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2276
[startup+0.301902 s]
/proc/loadavg: 0.99 0.96 0.91 3/77 28149
/proc/meminfo: memFree=1692120/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1440 CPUtime=0
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 231223253 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 360 110 95 260 0 84 0
[pid=28150] ppid=28149 vsize=836 CPUtime=0.29
/proc/28150/stat : 28150 (march_dl) R 28149 28149 27092 0 -1 4194304 166 0 0 0 29 0 0 0 21 0 1 0 231223253 856064 158 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134564364 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28150/statm: 209 158 75 118 0 88 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2276
[startup+0.701942 s]
/proc/loadavg: 0.99 0.96 0.91 3/77 28149
/proc/meminfo: memFree=1692120/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1440 CPUtime=0
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 231223253 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 360 110 95 260 0 84 0
[pid=28150] ppid=28149 vsize=836 CPUtime=0.69
/proc/28150/stat : 28150 (march_dl) R 28149 28149 27092 0 -1 4194304 167 0 0 0 69 0 0 0 25 0 1 0 231223253 856064 159 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134587301 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28150/statm: 209 159 75 118 0 88 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2276
[startup+1.50202 s]
/proc/loadavg: 0.99 0.96 0.91 2/79 28151
/proc/meminfo: memFree=1691656/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1440 CPUtime=0
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 231223253 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 360 110 95 260 0 84 0
[pid=28150] ppid=28149 vsize=836 CPUtime=1.49
/proc/28150/stat : 28150 (march_dl) R 28149 28149 27092 0 -1 4194304 167 0 0 0 149 0 0 0 25 0 1 0 231223253 856064 159 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134536977 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28150/statm: 209 159 75 118 0 88 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2276
[startup+3.10217 s]
/proc/loadavg: 0.99 0.96 0.91 2/79 28151
/proc/meminfo: memFree=1691528/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1440 CPUtime=0
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 231223253 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 360 110 95 260 0 84 0
[pid=28150] ppid=28149 vsize=836 CPUtime=3.09
/proc/28150/stat : 28150 (march_dl) R 28149 28149 27092 0 -1 4194304 168 0 0 0 309 0 0 0 25 0 1 0 231223253 856064 160 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134528141 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28150/statm: 209 160 75 118 0 88 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2276
[startup+6.30148 s]
/proc/loadavg: 1.07 0.98 0.91 2/79 28152
/proc/meminfo: memFree=1691400/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1440 CPUtime=4.99
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 134 169 0 0 0 0 499 0 16 0 1 0 231223253 1474560 111 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 360 111 96 260 0 84 0
[pid=28152] ppid=28149 vsize=6188 CPUtime=1.28
/proc/28152/stat : 28152 (ubcsat2006) R 28149 28149 27092 0 -1 4194304 255 0 1 0 108 20 0 0 25 0 1 0 231223753 6336512 239 18446744073709551615 134512640 134777720 4294956544 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/28152/statm: 1547 239 156 64 0 1128 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 7628
[startup+12.7011 s]
/proc/loadavg: 1.07 0.98 0.91 2/79 28153
/proc/meminfo: memFree=1690888/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1680 CPUtime=10.8
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 551 430 0 1 312 30 700 38 25 0 1 0 231223253 1720320 232 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 420 232 157 260 0 144 0
[pid=28153] ppid=28149 vsize=2208 CPUtime=1.85
/proc/28153/stat : 28153 (minisat20) R 28149 28149 27092 0 -1 4194304 211 0 0 0 185 0 0 0 25 0 1 0 231224338 2260992 205 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134529260 0 0 8392704 3 0 0 0 17 1 0 0
/proc/28153/statm: 552 205 58 118 0 430 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 3888
Solver just ended. Dumping a history of the last processes samples
[startup+15.9014 s]
/proc/loadavg: 1.06 0.98 0.91 2/79 28153
/proc/meminfo: memFree=1690696/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1680 CPUtime=10.8
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 551 430 0 1 312 30 700 38 25 0 1 0 231223253 1720320 232 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 420 232 157 260 0 144 0
[pid=28153] ppid=28149 vsize=2340 CPUtime=5.05
/proc/28153/stat : 28153 (minisat20) R 28149 28149 27092 0 -1 4194304 260 0 0 0 505 0 0 0 25 0 1 0 231224338 2396160 254 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525554 0 0 8392704 3 0 0 0 17 1 0 0
/proc/28153/statm: 585 254 58 118 0 463 0
Current children cumulated CPU time (s) 15.85
Current children cumulated vsize (KiB) 4020
[startup+19.1017 s]
/proc/loadavg: 1.06 0.98 0.91 2/79 28153
/proc/meminfo: memFree=1690568/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1680 CPUtime=10.8
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 551 430 0 1 312 30 700 38 25 0 1 0 231223253 1720320 232 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 420 232 157 260 0 144 0
[pid=28153] ppid=28149 vsize=2472 CPUtime=8.25
/proc/28153/stat : 28153 (minisat20) R 28149 28149 27092 0 -1 4194304 286 0 0 0 825 0 0 0 25 0 1 0 231224338 2531328 280 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134519335 0 0 8392704 3 0 0 0 17 1 0 0
/proc/28153/statm: 618 280 58 118 0 496 0
Current children cumulated CPU time (s) 19.05
Current children cumulated vsize (KiB) 4152
[startup+19.9028 s]
/proc/loadavg: 1.06 0.98 0.91 2/79 28153
/proc/meminfo: memFree=1690568/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1680 CPUtime=10.8
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 551 430 0 1 312 30 700 38 25 0 1 0 231223253 1720320 232 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 420 232 157 260 0 144 0
[pid=28153] ppid=28149 vsize=2472 CPUtime=9.05
/proc/28153/stat : 28153 (minisat20) R 28149 28149 27092 0 -1 4194304 291 0 0 0 905 0 0 0 25 0 1 0 231224338 2531328 285 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525828 0 0 8392704 3 0 0 0 17 1 0 0
/proc/28153/statm: 618 285 58 118 0 496 0
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (KiB) 4152
[startup+20.3028 s]
/proc/loadavg: 1.06 0.98 0.91 2/79 28153
/proc/meminfo: memFree=1690568/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1680 CPUtime=10.8
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 551 430 0 1 312 30 700 38 25 0 1 0 231223253 1720320 232 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 420 232 157 260 0 144 0
[pid=28153] ppid=28149 vsize=2472 CPUtime=9.45
/proc/28153/stat : 28153 (minisat20) R 28149 28149 27092 0 -1 4194304 291 0 0 0 945 0 0 0 25 0 1 0 231224338 2531328 285 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525116 0 0 8392704 3 0 0 0 17 1 0 0
/proc/28153/statm: 618 285 58 118 0 496 0
Current children cumulated CPU time (s) 20.25
Current children cumulated vsize (KiB) 4152
[startup+20.7029 s]
/proc/loadavg: 1.06 0.98 0.91 2/79 28153
/proc/meminfo: memFree=1690568/2055920 swapFree=4141080/4192956
[pid=28149] ppid=28147 vsize=1680 CPUtime=10.8
/proc/28149/stat : 28149 (SATzilla2007_C) S 28147 28149 27092 0 -1 4194304 551 430 0 1 312 30 700 38 25 0 1 0 231223253 1720320 232 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28149/statm: 420 232 157 260 0 144 0
[pid=28153] ppid=28149 vsize=2472 CPUtime=9.85
/proc/28153/stat : 28153 (minisat20) R 28149 28149 27092 0 -1 4194304 291 0 0 0 985 0 0 0 25 0 1 0 231224338 2531328 285 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525749 0 0 8392704 3 0 0 0 17 1 0 0
/proc/28153/statm: 618 285 58 118 0 496 0
Current children cumulated CPU time (s) 20.65
Current children cumulated vsize (KiB) 4152
Child status: 20
Real time (s): 20.7254
CPU time (s): 20.6959
CPU user time (s): 19.997
CPU system time (s): 0.698893
CPU usage (%): 99.8575
Max. virtual memory (cumulated for all children) (KiB): 7628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.997
system time used= 0.698893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1289
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 434
runsolver used 0.025996 second user time and 0.055991 second system time
The end
Begin job on node4 on Thu Apr 26 01:44:15 UTC 2007
IDJOB= 370055
IDBENCH= 24579
IDSOLVER= 179
FILE ID= node4/370055-1177551855
PBS_JOBID= 4696479
Free space on /tmp= 66470 MiB
SOLVER NAME= SATzilla CRAFTED
BENCH NAME= HOME/pub/bench/SAT07/crafted/Medium/contest05/sabharwal/counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/370055-1177551855/SATzilla2007_C /tmp/evaluation/370055-1177551855/instance-370055-1177551855.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-370055-1177551855 -o ROOT/results/node4/solver-370055-1177551855 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/370055-1177551855/SATzilla2007_C /tmp/evaluation/370055-1177551855/instance-370055-1177551855.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= f1a3e3797897d8c4a2bfe10d09ad0bda
RANDOM SEED= 334086923
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.218
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.218
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: 1692592 kB
Buffers: 40272 kB
Cached: 238280 kB
SwapCached: 15616 kB
Active: 201580 kB
Inactive: 119400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1692592 kB
SwapTotal: 4192956 kB
SwapFree: 4141080 kB
Dirty: 8456 kB
Writeback: 0 kB
Mapped: 48720 kB
Slab: 27784 kB
Committed_AS: 6328020 kB
PageTables: 1876 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= 66470 MiB
End job on node4 on Thu Apr 26 01:44:36 UTC 2007