Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 202.099 | 202.162 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb |
MD5SUM | 58a39490a0f04cc377ab2aa6882fd7a1 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 176.512 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 671 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 0.09 c Converting 2707 PB-constraints to clauses... 0.09 c -- Unit propagations: (none) 0.09 c -- Detecting intervals from adjacent constraints: ###################### 0.10 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.11 c ---[ 43]---> BDD-cost: 19 0.11 c ---[ 41]---> BDD-cost: 19 0.11 c ---[ 39]---> BDD-cost: 19 0.11 c ---[ 37]---> BDD-cost: 19 0.11 c ---[ 35]---> BDD-cost: 19 0.11 c ---[ 33]---> BDD-cost: 19 0.11 c ---[ 31]---> BDD-cost: 19 0.11 c ---[ 29]---> BDD-cost: 19 0.11 c ---[ 27]---> BDD-cost: 19 0.11 c ---[ 25]---> BDD-cost: 19 0.11 c ---[ 23]---> BDD-cost: 19 0.11 c ---[ 21]---> BDD-cost: 19 0.11 c ---[ 19]---> BDD-cost: 19 0.11 c ---[ 17]---> BDD-cost: 19 0.11 c ---[ 15]---> BDD-cost: 19 0.11 c ---[ 13]---> BDD-cost: 19 0.11 c ---[ 11]---> BDD-cost: 19 0.11 c ---[ 9]---> BDD-cost: 19 0.11 c ---[ 7]---> BDD-cost: 19 0.11 c ---[ 5]---> BDD-cost: 19 0.11 c ---[ 3]---> BDD-cost: 19 0.11 c ---[ 1]---> BDD-cost: 19 0.11 c ---[ 0]---> Adder-cost: 368 maxlim: 620 bits: 10/10 0.13 c ==================================[MINISAT+]================================== 0.13 c | Conflicts | Original | Learnt | Progress | 0.13 c | | Clauses Literals | Max Clauses Literals LPC | | 0.13 c ============================================================================== 0.13 c | 0 | 6210 19422 | 2070 0 0 nan | 0.000 % | 0.13 c | 100 | 6203 19399 | 2277 99 486 4.9 | 3.135 % | 0.15 c | 250 | 6203 19399 | 2504 248 8692 35.0 | 3.523 % | 0.17 c | 476 | 6132 19158 | 2755 465 20499 44.1 | 4.305 % | 0.22 c | 813 | 6132 19158 | 3030 802 40382 50.4 | 4.305 % | 0.29 c | 1320 | 6132 19158 | 3333 1309 77030 58.8 | 4.305 % | 0.39 c | 2080 | 6132 19158 | 3667 2069 125063 60.4 | 4.305 % | 0.56 c | 3219 | 6123 19127 | 4033 3206 188727 58.9 | 4.403 % | 0.83 c | 4927 | 6123 19127 | 4437 2769 138175 49.9 | 4.403 % | 1.28 c | 7490 | 6123 19127 | 4880 2933 162348 55.4 | 4.403 % | 2.06 c | 11334 | 6123 19127 | 5369 4254 253862 59.7 | 4.403 % | 3.26 c | 17101 | 6072 18947 | 5905 4507 261370 58.0 | 5.186 % | 4.88 c | 25753 | 5985 18652 | 6496 3847 173121 45.0 | 6.556 % | 6.92 c | 38727 | 5985 18652 | 7146 6693 264460 39.5 | 6.556 % | 9.91 c | 58188 | 5985 18652 | 7860 3902 113644 29.1 | 6.556 % | 14.64 c | 87380 | 5985 18652 | 8646 4778 137457 28.8 | 6.556 % | 22.01 c | 131171 | 5985 18652 | 9511 8591 328435 38.2 | 6.556 % | 33.33 c | 196858 | 5979 18632 | 10462 5969 227340 38.1 | 6.654 % | 51.64 c | 295385 | 5964 18581 | 11509 7721 278856 36.1 | 6.849 % | 78.68 c | 443175 | 5958 18561 | 12659 8543 336087 39.3 | 6.947 % | 119.49 c | 664858 | 5958 18561 | 13925 10665 322084 30.2 | 6.947 % | 177.99 c | 997383 | 5958 18561 | 15318 10058 292998 29.1 | 6.947 % | 202.15 c ============================================================================== 202.15 c [1mUNSATISFIABLE[0m 202.15 s UNSATISFIABLE 202.15 c _______________________________________________________________________________ 202.15 c 202.15 c restarts : 22 202.15 c conflicts : 1133808 (5610 /sec) 202.15 c decisions : 1640447 (8117 /sec) 202.15 c propagations : 0 (0 /sec) 202.15 c inspects : 0 (0 /sec) 202.15 c CPU time : 202.091 s 202.15 c _______________________________________________________________________________
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-34640-1149213841 -o ROOT/results/node4/solver-34640-1149213841 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node4/34640-1149213841/instance-34640-1149213841.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.96 1.01 0.93 2/64 32014 /proc/meminfo: memFree=1366312/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=1048 CPUtime=0 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 105 0 0 0 0 0 0 0 19 0 1 0 187045980 1073152 90 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 262 90 74 215 0 44 0 [startup+10.002 s] /proc/loadavg: 0.96 1.01 0.93 2/64 32014 /proc/meminfo: memFree=1363048/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=4260 CPUtime=9.99 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 958 0 0 0 999 0 0 0 25 0 1 0 187045980 4362240 943 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580980 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1065 943 122 215 0 847 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4260 [startup+20.008 s] /proc/loadavg: 0.97 1.01 0.93 2/64 32014 /proc/meminfo: memFree=1362344/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=4920 CPUtime=19.99 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1128 0 0 0 1999 0 0 0 25 0 1 0 187045980 5038080 1113 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581030 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1230 1113 122 215 0 1012 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 4920 [startup+30.014 s] /proc/loadavg: 0.97 1.01 0.93 2/64 32014 /proc/meminfo: memFree=1361576/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=5700 CPUtime=29.99 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1315 0 0 0 2999 0 0 0 25 0 1 0 187045980 5836800 1300 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134585954 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1425 1300 122 215 0 1207 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 5700 [startup+40.02 s] /proc/loadavg: 0.98 1.01 0.93 2/64 32014 /proc/meminfo: memFree=1361192/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=6092 CPUtime=39.99 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1422 0 0 0 3999 0 0 0 25 0 1 0 187045980 6238208 1407 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1523 1407 122 215 0 1305 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 6092 [startup+50.027 s] /proc/loadavg: 0.98 1.01 0.93 2/64 32014 /proc/meminfo: memFree=1361000/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=6352 CPUtime=50 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1463 0 0 0 5000 0 0 0 25 0 1 0 187045980 6504448 1448 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134584584 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1588 1448 122 215 0 1370 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 6352 [startup+60.0329 s] /proc/loadavg: 0.98 1.01 0.93 2/64 32014 /proc/meminfo: memFree=1360680/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=6616 CPUtime=60 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1542 0 0 0 6000 0 0 0 25 0 1 0 187045980 6774784 1527 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1654 1527 122 215 0 1436 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 6616 [startup+70.0389 s] /proc/loadavg: 0.98 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1360488/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=6764 CPUtime=70.01 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1587 0 0 0 7001 0 0 0 25 0 1 0 187045980 6926336 1572 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1691 1572 122 215 0 1473 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 6764 [startup+80.0449 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1360360/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=6908 CPUtime=80.01 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1622 0 0 0 8001 0 0 0 25 0 1 0 187045980 7073792 1607 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134584776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1727 1607 122 215 0 1509 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 6908 [startup+90.0508 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1360296/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=7188 CPUtime=90.01 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1662 0 0 0 9001 0 0 0 25 0 1 0 187045980 7360512 1647 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1797 1647 122 215 0 1579 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 7188 [startup+100.057 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1360168/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=7188 CPUtime=100.01 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1679 0 0 0 10001 0 0 0 25 0 1 0 187045980 7360512 1664 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1797 1664 122 215 0 1579 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 7188 [startup+110.064 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1360168/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=7188 CPUtime=110.02 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1688 0 0 0 11002 0 0 0 25 0 1 0 187045980 7360512 1673 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134573285 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1797 1673 122 215 0 1579 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 7188 [startup+120.069 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1360040/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=7336 CPUtime=120.02 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1722 0 0 0 12002 0 0 0 25 0 1 0 187045980 7512064 1707 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580430 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 1834 1707 122 215 0 1616 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 7336 [startup+130.075 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1359208/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=8256 CPUtime=130.02 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1931 0 0 0 13002 0 0 0 25 0 1 0 187045980 8454144 1916 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 2064 1916 122 215 0 1846 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 8256 [startup+140.081 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1359080/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=8256 CPUtime=140.03 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1953 0 0 0 14003 0 0 0 25 0 1 0 187045980 8454144 1938 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 2064 1938 122 215 0 1846 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 8256 [startup+150.087 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1359080/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=8256 CPUtime=150.03 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1953 0 0 0 15003 0 0 0 25 0 1 0 187045980 8454144 1938 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 2064 1938 122 215 0 1846 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 8256 [startup+160.093 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1359080/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=8256 CPUtime=160.03 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1953 0 0 0 16003 0 0 0 25 0 1 0 187045980 8454144 1938 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 2064 1938 122 215 0 1846 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 8256 [startup+170.098 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1359080/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=8256 CPUtime=170.04 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1953 0 0 0 17004 0 0 0 25 0 1 0 187045980 8454144 1938 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134574436 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 2064 1938 122 215 0 1846 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 8256 [startup+180.104 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1359080/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=8256 CPUtime=180.04 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1954 0 0 0 18004 0 0 0 25 0 1 0 187045980 8454144 1939 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 2064 1939 122 215 0 1846 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 8256 [startup+190.11 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1359016/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=8396 CPUtime=190.04 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1969 0 0 0 19004 0 0 0 25 0 1 0 187045980 8597504 1954 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 2099 1954 122 215 0 1881 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 8396 [startup+200.116 s] /proc/loadavg: 0.99 1.00 0.93 2/64 32014 /proc/meminfo: memFree=1358952/2055920 swapFree=4181448/4192956 [pid=32014] ppid=32012 vsize=8540 CPUtime=200.05 /proc/32014/stat : 32014 (minisat+) R 32012 32014 31969 0 -1 4194304 1994 0 0 0 20005 0 0 0 25 0 1 0 187045980 8744960 1979 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/32014/statm: 2135 1979 122 215 0 1917 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 8540 Child status: 20 Real time (s): 202.162 CPU time (s): 202.099 CPU user time (s): 202.091 CPU system time (s): 0.007998 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (Kb): 8540
Begin job on node4 on Fri Jun 2 02:04:01 UTC 2006 FILE ID= 34640-1149213841 PBS_JOBID= 294509 BENCH NAME= ROOT/tmp/node4/34640-1149213841/instance-34640-1149213841.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node4/34640-1149213841/instance-34640-1149213841.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-34640-1149213841 -o ROOT/results/node4/solver-34640-1149213841 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node4/34640-1149213841/instance-34640-1149213841.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 58a39490a0f04cc377ab2aa6882fd7a1 RANDOM SEED= 477684648 /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.236 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.236 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: 1366520 kB Buffers: 16788 kB Cached: 602500 kB SwapCached: 3388 kB Active: 65356 kB Inactive: 562828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1366520 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14804 kB Slab: 47180 kB Committed_AS: 201652 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Fri Jun 2 02:07:23 UTC 2006