0.49/0.51 c Executing aigtocnf /tmp/evaluation/460760-1179256124/instance-460760-1179256124.aig /tmp/evaluation/460760-1179256124/instance-460760-1179256124.aig.cnf
0.49/0.51 c Pre-processing provided 0 assignments
0.49/0.51 c REMAP internally 1
0.49/0.51 c | Number of variables: 203836 |
1.17/1.26 c | Number of clauses: 607475 |
239.50/239.60 c | Parsing time: 0.65 sec |
239.50/239.60 c #varS 203836 #clauseS 271707
239.50/239.60 c After remapping new number of variables: 37663
239.50/239.60 c DBreduced=0 GV=102[0] GL=271809[ 271707,102] Prune=272 decisions=170 restart=0 est=0.000161583 DB Impl=382530[0]
239.50/239.60 c DBreduced=0 GV=152[0] GL=271859[ 271707,152] Prune=458 decisions=306 restart=1 est=7.05493e-08 DB Impl=935285[0]
239.50/239.60 c DBreduced=0 GV=226[0] GL=271933[ 271707,226] Prune=653 decisions=427 restart=2 est=0.000810225 DB Impl=1345656[0]
239.50/239.60 c DBreduced=0 GV=338[0] GL=272045[ 271707,338] Prune=1006 decisions=668 restart=3 est=7.04988e-08 DB Impl=1748248[0]
239.50/239.60 c DBreduced=0 GV=507[0] GL=272214[ 271707,507] Prune=1403 decisions=896 restart=4 est=8.04108e-06 DB Impl=2361348[0]
239.50/239.60 c DBreduced=0 GV=760[0] GL=272467[ 271707,760] Prune=2044 decisions=1284 restart=5 est=5.52697e-05 DB Impl=4168177[0]
239.50/239.60 c DBreduced=0 GV=1140[0] GL=272847[ 271707,1140] Prune=2985 decisions=1845 restart=6 est=7.50641e-08 DB Impl=6375401[0]
239.50/239.60 c DBreduced=0 GV=1709[0] GL=273416[ 271707,1709] Prune=4358 decisions=2649 restart=7 est=8.03674e-06 DB Impl=9322398[0]
239.50/239.60 c DBreduced=0 GV=2563[0] GL=274269[ 271707,2562] Prune=6416 decisions=3853 restart=8 est=0.063729 DB Impl=13927586[0]
239.50/239.60 c DBreduced=0 GV=3846[0] GL=275552[ 271707,3845] Prune=9292 decisions=5446 restart=9 est=0.0639019 DB Impl=19137756[0]
239.50/239.60 c DBreduced=0 GV=5767[0] GL=277473[ 271707,5766] Prune=13477 decisions=7710 restart=10 est=0.0639032 DB Impl=26302220[0]
239.50/239.60 c DBreduced=0 GV=8650[0] GL=280356[ 271707,8649] Prune=19772 decisions=11122 restart=11 est=0.063925 DB Impl=37970679[0]
239.50/239.60 c DBreduced=0 GV=12975[0] GL=284681[ 271707,12974] Prune=29328 decisions=16353 restart=12 est=0.0637253 DB Impl=55723124[0]
239.50/239.60 c DBreduced=0 GV=19463[0] GL=291169[ 271707,19462] Prune=43164 decisions=23701 restart=13 est=0.0637242 DB Impl=74676597[0]
239.50/239.60 c DBreduced=0 GV=29193[0] GL=300899[ 271707,29192] Prune=64040 decisions=34847 restart=14 est=0.0637253 DB Impl=102184272[0]
239.50/239.60 c DBreduced=0 GV=43790[0] GL=315495[ 271707,43788] Prune=95091 decisions=51301 restart=15 est=0.151397 DB Impl=143722143[0]
239.50/239.60 c DBreduced=0 GV=65685[0] GL=337389[ 271707,65682] Prune=141349 decisions=75664 restart=16 est=0.217723 DB Impl=196969005[0]
239.50/239.60 c #Total time (in seconds): 238.719
239.50/239.60 c #Memory used (in MB): 137.273
239.50/239.61 c
239.50/239.61 s UNSATISFIABLE
runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-460760-1179256124 -o ROOT/results/node24/solver-460760-1179256124 -C 1200 -W 1800 -M 1800 --output-limit 1,15 /tmp/evaluation/460760-1179256124/aig-cmusat /tmp/evaluation/460760-1179256124/instance-460760-1179256124.aig
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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.92 0.97 0.91 3/77 22912
/proc/meminfo: memFree=1856336/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=1000 CPUtime=0
/proc/22912/stat : 22912 (aig-cmusat) S 22910 22912 22372 0 -1 0 109 0 0 0 0 0 0 0 18 0 1 0 373530401 1024000 94 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 135073394 0 65536 4102 33 18446744071563356171 0 0 17 1 0 0
/proc/22912/statm: 250 94 83 233 0 10 0
[pid=22913] ppid=22912 vsize=4424 CPUtime=0
/proc/22913/stat : 22913 (aigtocnf) R 22912 22912 22372 0 -1 0 727 0 0 0 0 0 0 0 19 0 1 0 373530401 4530176 480 18446744073709551615 134512640 134935624 4294956672 18446744073709551615 134605452 0 0 4096 0 0 0 0 17 1 0 0
/proc/22913/statm: 1106 487 34 103 0 1001 0
[startup+0.015967 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 22912
/proc/meminfo: memFree=1856336/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=1000 CPUtime=0
/proc/22912/stat : 22912 (aig-cmusat) S 22910 22912 22372 0 -1 0 109 0 0 0 0 0 0 0 18 0 1 0 373530401 1024000 94 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 135073394 0 65536 4102 33 18446744071563356171 0 0 17 1 0 0
/proc/22912/statm: 250 94 83 233 0 10 0
[pid=22913] ppid=22912 vsize=4424 CPUtime=0
/proc/22913/stat : 22913 (aigtocnf) R 22912 22912 22372 0 -1 0 1284 0 0 0 0 0 0 0 19 0 1 0 373530401 4530176 1037 18446744073709551615 134512640 134935624 4294956672 18446744073709551615 134609229 0 0 4096 0 0 0 0 17 1 0 0
/proc/22913/statm: 1106 1037 35 103 0 1001 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5424
[startup+0.102987 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 22912
/proc/meminfo: memFree=1856336/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=1000 CPUtime=0
/proc/22912/stat : 22912 (aig-cmusat) S 22910 22912 22372 0 -1 0 109 0 0 0 0 0 0 0 18 0 1 0 373530401 1024000 94 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 135073394 0 65536 4102 33 18446744071563356171 0 0 17 1 0 0
/proc/22912/statm: 250 94 83 233 0 10 0
[pid=22913] ppid=22912 vsize=4444 CPUtime=0.09
/proc/22913/stat : 22913 (aigtocnf) R 22912 22912 22372 0 -1 0 1289 0 0 0 9 0 0 0 20 0 1 0 373530401 4550656 1042 18446744073709551615 134512640 134935624 4294956672 18446744073709551615 134520889 0 0 4096 0 0 0 0 17 1 0 0
/proc/22913/statm: 1111 1042 35 103 0 1006 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5444
[startup+0.301997 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 22912
/proc/meminfo: memFree=1856336/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=1000 CPUtime=0
/proc/22912/stat : 22912 (aig-cmusat) S 22910 22912 22372 0 -1 0 109 0 0 0 0 0 0 0 18 0 1 0 373530401 1024000 94 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 135073394 0 65536 4102 33 18446744071563356171 0 0 17 1 0 0
/proc/22912/statm: 250 94 83 233 0 10 0
[pid=22913] ppid=22912 vsize=4448 CPUtime=0.29
/proc/22913/stat : 22913 (aigtocnf) R 22912 22912 22372 0 -1 0 1296 0 0 0 27 2 0 0 21 0 1 0 373530401 4554752 1048 18446744073709551615 134512640 134935624 4294956672 18446744073709551615 134609325 0 0 4096 0 0 0 0 17 1 0 0
/proc/22913/statm: 1112 1048 40 103 0 1007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5448
[startup+0.70205 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 22912
/proc/meminfo: memFree=1856336/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=18160 CPUtime=0.67
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 4214 1297 0 0 16 2 45 4 18 0 1 0 373530401 18595840 4191 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134525780 0 0 4096 35 0 0 0 17 0 0 0
/proc/22912/statm: 4540 4191 101 233 0 4300 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 18160
[startup+1.50213 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1806984/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=61288 CPUtime=1.47
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 14798 1297 0 0 88 10 45 4 24 0 1 0 373530401 62758912 14775 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 135033488 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 15322 14775 111 233 0 15082 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 61288
[startup+3.1013 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1766664/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=114516 CPUtime=3.07
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 27630 1297 0 0 241 17 45 4 25 0 1 0 373530401 117264384 27607 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 135033488 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 28629 27607 111 233 0 28389 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 114516
[startup+6.30164 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1692296/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=163528 CPUtime=6.27
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 39348 1297 0 0 554 24 45 4 25 0 1 0 373530401 167452672 39325 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134531960 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 40882 39325 111 233 0 40642 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 163528
[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1678280/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=165572 CPUtime=12.67
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 42561 1297 0 0 1192 26 45 4 25 0 1 0 373530401 169545728 38899 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134824639 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 41393 38899 112 233 0 41153 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 165572
[startup+25.5017 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1709704/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=25.46
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 44937 1297 0 0 2469 28 45 4 25 0 1 0 373530401 143937536 33965 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134579596 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 33965 117 233 0 34901 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 140564
[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1709768/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=51.05
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 44972 1297 0 0 5028 28 45 4 25 0 1 0 373530401 143937536 34000 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583629 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34000 117 233 0 34901 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 140564
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1709448/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=102.25
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45058 1297 0 0 10147 29 45 4 25 0 1 0 373530401 143937536 34086 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583553 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34086 117 233 0 34901 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 140564
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1709064/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=162.22
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45160 1297 0 0 16144 29 45 4 25 0 1 0 373530401 143937536 34188 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583629 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34188 117 233 0 34901 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 140564
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1708616/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=222.21
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45241 1297 0 0 22142 30 45 4 25 0 1 0 373530401 143937536 34269 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583629 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34269 117 233 0 34901 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 140564
Solver just ended. Dumping a history of the last processes samples
[startup+230.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1708616/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=230.2
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45248 1297 0 0 22941 30 45 4 25 0 1 0 373530401 143937536 34276 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583685 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34276 117 233 0 34901 0
Current children cumulated CPU time (s) 230.2
Current children cumulated vsize (KiB) 140564
[startup+233.502 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1708616/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=233.4
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45248 1297 0 0 23261 30 45 4 25 0 1 0 373530401 143937536 34276 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583629 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34276 117 233 0 34901 0
Current children cumulated CPU time (s) 233.4
Current children cumulated vsize (KiB) 140564
[startup+236.701 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1708616/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=236.6
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45248 1297 0 0 23581 30 45 4 25 0 1 0 373530401 143937536 34276 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583621 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34276 117 233 0 34901 0
Current children cumulated CPU time (s) 236.6
Current children cumulated vsize (KiB) 140564
[startup+238.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1708616/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=238.2
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45248 1297 0 0 23741 30 45 4 25 0 1 0 373530401 143937536 34276 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583629 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34276 117 233 0 34901 0
Current children cumulated CPU time (s) 238.2
Current children cumulated vsize (KiB) 140564
[startup+239.101 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1708616/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=239
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45249 1297 0 0 23821 30 45 4 25 0 1 0 373530401 143937536 34277 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583513 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34277 117 233 0 34901 0
Current children cumulated CPU time (s) 239
Current children cumulated vsize (KiB) 140564
[startup+239.501 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1708616/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=239.4
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45249 1297 0 0 23861 30 45 4 25 0 1 0 373530401 143937536 34277 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583312 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34277 117 233 0 34901 0
Current children cumulated CPU time (s) 239.4
Current children cumulated vsize (KiB) 140564
[startup+239.602 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22914
/proc/meminfo: memFree=1708616/2055920 swapFree=4143704/4192956
[pid=22912] ppid=22910 vsize=140564 CPUtime=239.5
/proc/22912/stat : 22912 (aig-cmusat) R 22910 22912 22372 0 -1 0 45250 1297 0 0 23871 30 45 4 25 0 1 0 373530401 143937536 34278 18446744073709551615 134512640 135469250 4294956672 18446744073709551615 134583538 0 0 4096 35 0 0 0 17 1 0 0
/proc/22912/statm: 35141 34278 117 233 0 34901 0
Current children cumulated CPU time (s) 239.5
Current children cumulated vsize (KiB) 140564
Child status: 20
Real time (s): 239.636
CPU time (s): 239.563
CPU user time (s): 239.178
CPU system time (s): 0.384941
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 172180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.178
system time used= 0.384941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46555
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= 14
involuntary context switches= 356
runsolver used 0.26296 second user time and 0.615906 second system time
The end
Begin job on node24 on Tue May 15 19:08:44 UTC 2007
IDJOB= 460760
IDBENCH= 48534
IDSOLVER= 204
FILE ID= node24/460760-1179256124
PBS_JOBID= 5277197
Free space on /tmp= 66526 MiB
SOLVER NAME= aig-cmusat 2007-05-15
BENCH NAME= HOME/pub/bench/AIG07/industrial-aig/palacios/medium/blocks-4-ipc5-h21-unknown.aig
COMMAND LINE= /tmp/evaluation/460760-1179256124/aig-cmusat /tmp/evaluation/460760-1179256124/instance-460760-1179256124.aig
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-460760-1179256124 -o ROOT/results/node24/solver-460760-1179256124 -C 1200 -W 1800 -M 1800 --output-limit 1,15 /tmp/evaluation/460760-1179256124/aig-cmusat /tmp/evaluation/460760-1179256124/instance-460760-1179256124.aig
META MD5SUM SOLVER= 46c0b88679dc7b9c7f6dd96ef04c5851
MD5SUM BENCH= 7b2f234981000ba350dcbdb329f2593d
RANDOM SEED= 707994853
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node24.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.238
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.238
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: 1856616 kB
Buffers: 19800 kB
Cached: 60580 kB
SwapCached: 16996 kB
Active: 45700 kB
Inactive: 57928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1856616 kB
SwapTotal: 4192956 kB
SwapFree: 4143704 kB
Dirty: 2560 kB
Writeback: 0 kB
Mapped: 30364 kB
Slab: 81208 kB
Committed_AS: 7523892 kB
PageTables: 1808 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= 66526 MiB
End job on node24 on Tue May 15 19:12:44 UTC 2007