0.00/0.00 c This is MiniSat 2.0 (Feb 1 2007, SAT-Competition version)
0.00/0.00 c ============================[ Problem Statistics ]=============================
0.00/0.00 c | |
0.00/0.00 c | Number of variables: 360 |
0.00/0.00 c | Number of clauses: 1533 |
0.00/0.00 c | Parsing time: 0.00 s |
0.00/0.00 c ============================[ Search Statistics ]==============================
0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.00 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.00 c ===============================================================================
0.00/0.00 c | 0 | 351 1524 4626 | 508 0 nan | 0.000 % |
0.00/0.00 c | 100 | 351 1524 4626 | 558 100 18 | 0.001 % |
0.00/0.01 c | 250 | 351 1524 4626 | 614 250 17 | 0.001 % |
0.00/0.01 c | 475 | 351 1524 4626 | 676 475 18 | 0.001 % |
0.01/0.02 c | 812 | 351 1524 4626 | 743 461 16 | 0.001 % |
0.01/0.04 c | 1319 | 351 1524 4626 | 818 584 16 | 0.001 % |
0.01/0.07 c | 2078 | 351 1524 4626 | 899 482 13 | 0.001 % |
0.09/0.11 c | 3217 | 351 1524 4626 | 989 696 14 | 0.001 % |
0.09/0.17 c | 4926 | 351 1524 4626 | 1088 875 14 | 0.001 % |
0.19/0.26 c | 7488 | 351 1524 4626 | 1197 631 14 | 0.001 % |
0.39/0.41 c | 11337 | 351 1524 4626 | 1317 802 14 | 0.001 % |
0.59/0.63 c | 17104 | 351 1524 4626 | 1449 1144 15 | 0.001 % |
0.89/0.98 c | 25755 | 351 1524 4626 | 1594 938 14 | 0.001 % |
1.49/1.52 c | 38729 | 351 1524 4626 | 1753 930 16 | 0.001 % |
2.29/2.35 c | 58190 | 351 1524 4626 | 1929 1656 17 | 0.001 % |
3.59/3.65 c | 87382 | 351 1524 4626 | 2122 1485 17 | 0.001 % |
5.59/5.65 c | 131172 | 351 1524 4626 | 2334 1273 14 | 0.001 % |
8.70/8.78 c | 196857 | 351 1524 4626 | 2567 1918 16 | 0.001 % |
13.69/13.74 c | 295383 | 351 1524 4626 | 2824 1550 15 | 0.001 % |
21.09/21.15 c | 443172 | 351 1524 4626 | 3106 2290 16 | 0.001 % |
32.48/32.59 c | 664856 | 351 1524 4626 | 3417 2724 17 | 0.001 % |
50.48/50.57 c | 997382 | 351 1524 4626 | 3759 2355 16 | 0.001 % |
78.76/78.87 c | 1496174 | 351 1524 4626 | 4135 2560 15 | 0.001 % |
122.05/122.16 c | 2244356 | 351 1524 4626 | 4548 3008 14 | 0.001 % |
190.23/190.34 c | 3366630 | 351 1524 4626 | 5003 2895 17 | 0.002 % |
296.49/296.67 c | 5050041 | 350 1509 4581 | 5504 4851 16 | 0.279 % |
463.14/463.30 c | 7575157 | 347 1461 4416 | 6054 3016 13 | 1.113 % |
478.34/478.55 c ===============================================================================
478.34/478.55 c restarts : 27
478.34/478.55 c conflicts : 7807556 (16321 /sec)
478.34/478.55 c decisions : 9248211 (1.81 % random) (19332 /sec)
478.34/478.55 c propagations : 434513399 (908297 /sec)
478.34/478.55 c conflict literals : 131567993 (26.47 % deleted)
478.34/478.55 c Memory used : 4.45 MB
478.34/478.55 c CPU time : 478.382 s
478.34/478.55 c
478.34/478.55 s UNSATISFIABLE
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node67/watcher-426789-1177829099 -o ROOT/results/node67/solver-426789-1177829099 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426789-1177829099/minisat_noassertions /tmp/evaluation/426789-1177829099/instance-426789-1177829099.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: 1.00 1.00 1.00 3/64 21073
/proc/meminfo: memFree=1545648/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=1852 CPUtime=0
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 133 0 0 0 0 0 0 0 18 0 1 0 258899422 1896448 119 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134682543 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 463 119 63 130 0 330 0
[startup+0.0195669 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21073
/proc/meminfo: memFree=1545648/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=1852 CPUtime=0.01
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 136 0 0 0 1 0 0 0 18 0 1 0 258899422 1896448 122 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134552771 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 463 122 66 130 0 330 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1852
[startup+0.101582 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21073
/proc/meminfo: memFree=1545648/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=1852 CPUtime=0.09
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 150 0 0 0 9 0 0 0 18 0 1 0 258899422 1896448 136 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134683871 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 463 136 66 130 0 330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1852
[startup+0.30162 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21073
/proc/meminfo: memFree=1545648/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=1984 CPUtime=0.29
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 166 0 0 0 29 0 0 0 19 0 1 0 258899422 2031616 152 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134552826 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 496 152 66 130 0 363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1984
[startup+0.701693 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21073
/proc/meminfo: memFree=1545648/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=1984 CPUtime=0.69
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 180 0 0 0 69 0 0 0 22 0 1 0 258899422 2031616 166 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546951 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 496 166 66 130 0 363 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1984
[startup+1.50184 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1545192/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=2116 CPUtime=1.49
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 197 0 0 0 149 0 0 0 25 0 1 0 258899422 2166784 183 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546885 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 529 183 66 130 0 396 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2116
[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1544936/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=2116 CPUtime=3.09
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 222 0 0 0 309 0 0 0 25 0 1 0 258899422 2166784 208 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134552479 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 529 208 66 130 0 396 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2116
[startup+6.30272 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1544744/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=2248 CPUtime=6.29
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 255 0 0 0 629 0 0 0 25 0 1 0 258899422 2301952 241 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134547282 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 562 241 66 130 0 429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2248
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1544424/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=2512 CPUtime=12.69
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 295 0 0 0 1269 0 0 0 25 0 1 0 258899422 2572288 281 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134547326 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 628 281 66 130 0 495 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2512
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1544232/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=2644 CPUtime=25.49
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 336 0 0 0 2549 0 0 0 25 0 1 0 258899422 2707456 322 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546875 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 661 322 66 130 0 528 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2644
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1543976/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=3040 CPUtime=51.07
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 427 0 0 0 5107 0 0 0 25 0 1 0 258899422 3112960 413 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134548910 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 760 413 66 130 0 627 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3040
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1543592/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=3308 CPUtime=102.26
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 503 0 0 0 10226 0 0 0 25 0 1 0 258899422 3387392 489 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134552668 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 827 489 66 130 0 694 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 3308
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1543336/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=3576 CPUtime=162.24
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 568 0 0 0 16223 1 0 0 25 0 1 0 258899422 3661824 554 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546897 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 894 554 66 130 0 761 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 3576
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1543016/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=3852 CPUtime=222.22
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 647 0 0 0 22221 1 0 0 25 0 1 0 258899422 3944448 633 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134558220 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 963 633 66 130 0 830 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 3852
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542824/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=3988 CPUtime=282.2
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 687 0 0 0 28219 1 0 0 25 0 1 0 258899422 4083712 673 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546820 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 997 673 66 130 0 864 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 3988
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542632/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=4144 CPUtime=342.18
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 730 0 0 0 34217 1 0 0 25 0 1 0 258899422 4243456 716 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546586 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 1036 716 66 130 0 903 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 4144
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542568/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=4416 CPUtime=402.16
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 774 0 0 0 40215 1 0 0 25 0 1 0 258899422 4521984 760 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546807 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 1104 760 66 130 0 971 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 4416
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542440/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=4416 CPUtime=462.14
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 789 0 0 0 46213 1 0 0 25 0 1 0 258899422 4521984 775 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134547004 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 1104 775 66 130 0 971 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 4416
Solver just ended. Dumping a history of the last processes samples
[startup+467.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542440/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=4416 CPUtime=466.94
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 790 0 0 0 46693 1 0 0 25 0 1 0 258899422 4521984 776 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546870 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 1104 776 66 130 0 971 0
Current children cumulated CPU time (s) 466.94
Current children cumulated vsize (KiB) 4416
[startup+473.503 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542440/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=4416 CPUtime=473.34
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 792 0 0 0 47333 1 0 0 25 0 1 0 258899422 4521984 778 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546870 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 1104 778 66 130 0 971 0
Current children cumulated CPU time (s) 473.34
Current children cumulated vsize (KiB) 4416
[startup+476.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542440/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=4548 CPUtime=476.53
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 800 0 0 0 47652 1 0 0 25 0 1 0 258899422 4657152 786 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546864 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 1137 786 66 130 0 1004 0
Current children cumulated CPU time (s) 476.53
Current children cumulated vsize (KiB) 4548
[startup+477.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542440/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=4548 CPUtime=477.33
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 800 0 0 0 47732 1 0 0 25 0 1 0 258899422 4657152 786 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134552734 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 1137 786 66 130 0 1004 0
Current children cumulated CPU time (s) 477.33
Current children cumulated vsize (KiB) 4548
[startup+478.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542440/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=4548 CPUtime=478.13
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 800 0 0 0 47812 1 0 0 25 0 1 0 258899422 4657152 786 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134546820 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 1137 786 66 130 0 1004 0
Current children cumulated CPU time (s) 478.13
Current children cumulated vsize (KiB) 4548
[startup+478.505 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21074
/proc/meminfo: memFree=1542440/2055920 swapFree=4182984/4192956
[pid=21073] ppid=21071 vsize=4548 CPUtime=478.34
/proc/21073/stat : 21073 (minisat_noasser) R 21071 21073 20780 0 -1 4194304 800 0 0 0 47833 1 0 0 25 0 1 0 258899422 4657152 786 18446744073709551615 134512640 135048876 4294956640 18446744073709551615 134552698 0 0 4096 3 0 0 0 17 1 0 0
/proc/21073/statm: 1137 786 66 130 0 1004 0
Current children cumulated CPU time (s) 478.34
Current children cumulated vsize (KiB) 4548
Child status: 20
Real time (s): 478.559
CPU time (s): 478.396
CPU user time (s): 478.382
CPU system time (s): 0.013997
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 4548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 478.382
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 806
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= 8
involuntary context switches= 354
runsolver used 0.338948 second user time and 0.977851 second system time
The end
Begin job on node67 on Sun Apr 29 06:44:59 UTC 2007
IDJOB= 426789
IDBENCH= 19989
IDSOLVER= 189
FILE ID= node67/426789-1177829099
PBS_JOBID= 4718255
Free space on /tmp= 66563 MiB
SOLVER NAME= minisat SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v360/unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426789-1177829099/minisat_noassertions /tmp/evaluation/426789-1177829099/instance-426789-1177829099.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-426789-1177829099 -o ROOT/results/node67/solver-426789-1177829099 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426789-1177829099/minisat_noassertions /tmp/evaluation/426789-1177829099/instance-426789-1177829099.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= ba211b00665e5525ca8dfbd839bb6bc4
RANDOM SEED= 334726896
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node67.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.263
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.263
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: 1546056 kB
Buffers: 45368 kB
Cached: 386812 kB
SwapCached: 4176 kB
Active: 278356 kB
Inactive: 163900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1546056 kB
SwapTotal: 4192956 kB
SwapFree: 4182984 kB
Dirty: 1484 kB
Writeback: 0 kB
Mapped: 15788 kB
Slab: 53540 kB
Committed_AS: 1272980 kB
PageTables: 1452 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= 66563 MiB
End job on node67 on Sun Apr 29 06:52:58 UTC 2007