Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 209.615 | 209.706 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb |
MD5SUM | 30c4f9acafc0f3a30de05f75833db699 |
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 | 209.615 |
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 | 689 |
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.10 c -- Unit propagations: (none) 0.10 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: 376 maxlim: 638 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 | 6274 19661 | 2091 0 0 nan | 0.000 % | 0.13 c | 100 | 6267 19638 | 2300 99 1181 11.9 | 3.295 % | 0.15 c | 250 | 6267 19638 | 2530 249 10241 41.1 | 3.295 % | 0.17 c | 475 | 6267 19638 | 2783 474 20681 43.6 | 3.295 % | 0.22 c | 815 | 6267 19638 | 3061 814 34320 42.2 | 3.295 % | 0.28 c | 1323 | 6267 19638 | 3367 1322 59924 45.3 | 3.295 % | 0.40 c | 2084 | 6267 19638 | 3704 2083 108325 52.0 | 3.295 % | 0.58 c | 3224 | 6267 19638 | 4074 3223 189707 58.9 | 3.295 % | 0.84 c | 4933 | 6219 19473 | 4482 2864 157197 54.9 | 4.070 % | 1.29 c | 7496 | 6182 19347 | 4930 3033 142509 47.0 | 4.651 % | 2.04 c | 11340 | 6182 19347 | 5423 4284 252932 59.0 | 4.651 % | 3.31 c | 17106 | 6182 19347 | 5965 4367 245393 56.2 | 4.651 % | 5.17 c | 25755 | 6182 19347 | 6562 3660 162981 44.5 | 4.651 % | 8.14 c | 38729 | 6173 19318 | 7218 6377 345788 54.2 | 4.845 % | 12.66 c | 58191 | 6173 19318 | 7940 7302 373464 51.1 | 4.845 % | 19.40 c | 87385 | 6173 19318 | 8734 7704 401541 52.1 | 4.845 % | 30.51 c | 131176 | 6173 19318 | 9608 6507 327951 50.4 | 4.845 % | 48.42 c | 196864 | 6173 19318 | 10568 7832 400879 51.2 | 4.845 % | 70.68 c | 295390 | 6173 19318 | 11625 8079 345031 42.7 | 4.845 % | 104.84 c | 443181 | 6173 19318 | 12788 6954 273785 39.4 | 4.845 % | 150.73 c | 664864 | 6155 19256 | 14067 7321 226373 30.9 | 5.039 % | 209.70 c ============================================================================== 209.70 c [1mUNSATISFIABLE[0m 209.70 s UNSATISFIABLE 209.70 c _______________________________________________________________________________ 209.70 c 209.70 c restarts : 21 209.70 c conflicts : 970578 (4631 /sec) 209.70 c decisions : 1317493 (6286 /sec) 209.70 c propagations : 0 (0 /sec) 209.70 c inspects : 0 (0 /sec) 209.70 c CPU time : 209.582 s 209.70 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/node52/watcher-34730-1149224193 -o ROOT/results/node52/solver-34730-1149224193 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node52/34730-1149224193/instance-34730-1149224193.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.91 3/64 19380 /proc/meminfo: memFree=1506772/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=1048 CPUtime=0 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 188087102 1073152 88 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134596820 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 262 89 74 215 0 44 0 [startup+10.0011 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1503316/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=4328 CPUtime=9.97 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 988 0 0 0 996 1 0 0 25 0 1 0 188087102 4431872 973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576729 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1082 973 122 215 0 864 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 4328 [startup+20.0066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1502756/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=4988 CPUtime=19.97 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1132 0 0 0 1996 1 0 0 25 0 1 0 188087102 5107712 1117 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575246 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1247 1117 122 215 0 1029 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 4988 [startup+30.0121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1502372/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=5252 CPUtime=29.97 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1221 0 0 0 2996 1 0 0 25 0 1 0 188087102 5378048 1206 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568545 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1313 1206 122 215 0 1095 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 5252 [startup+40.0176 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1501924/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=5780 CPUtime=39.97 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1336 0 0 0 3996 1 0 0 25 0 1 0 188087102 5918720 1321 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1445 1321 122 215 0 1227 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 5780 [startup+50.0241 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1501860/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=5912 CPUtime=49.98 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1363 0 0 0 4997 1 0 0 25 0 1 0 188087102 6053888 1348 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1478 1348 122 215 0 1260 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 5912 [startup+60.0296 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1501796/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=5912 CPUtime=59.98 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1388 0 0 0 5997 1 0 0 25 0 1 0 188087102 6053888 1373 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1478 1373 122 215 0 1260 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 5912 [startup+70.0362 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1501732/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=6056 CPUtime=69.99 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1401 0 0 0 6997 2 0 0 25 0 1 0 188087102 6201344 1386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1514 1386 122 215 0 1296 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 6056 [startup+80.0427 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1501348/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=6444 CPUtime=79.99 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1496 0 0 0 7997 2 0 0 25 0 1 0 188087102 6598656 1481 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1611 1481 122 215 0 1393 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 6444 [startup+90.0482 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1501220/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=6444 CPUtime=89.99 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1521 0 0 0 8997 2 0 0 25 0 1 0 188087102 6598656 1506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1611 1506 122 215 0 1393 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 6444 [startup+100.054 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1501220/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=6584 CPUtime=99.99 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1526 0 0 0 9997 2 0 0 25 0 1 0 188087102 6742016 1511 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578112 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1646 1511 122 215 0 1428 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 6584 [startup+110.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1500900/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=6852 CPUtime=110 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1594 0 0 0 10998 2 0 0 25 0 1 0 188087102 7016448 1579 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1713 1579 122 215 0 1495 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 6852 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1500772/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=6984 CPUtime=120 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1629 0 0 0 11998 2 0 0 25 0 1 0 188087102 7151616 1614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1746 1614 122 215 0 1528 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 6984 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1500644/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=7116 CPUtime=130 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1665 0 0 0 12998 2 0 0 25 0 1 0 188087102 7286784 1650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1779 1650 122 215 0 1561 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 7116 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1500324/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=7392 CPUtime=140 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1731 0 0 0 13998 2 0 0 25 0 1 0 188087102 7569408 1716 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1848 1716 122 215 0 1630 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 7392 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1500132/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=7672 CPUtime=150 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1802 0 0 0 14998 2 0 0 25 0 1 0 188087102 7856128 1787 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1918 1787 122 215 0 1700 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 7672 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1499940/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=7804 CPUtime=160 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1850 0 0 0 15998 2 0 0 25 0 1 0 188087102 7991296 1835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 1951 1835 122 215 0 1733 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 7804 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1499684/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=8080 CPUtime=170.01 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1903 0 0 0 16999 2 0 0 25 0 1 0 188087102 8273920 1888 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 2020 1888 122 215 0 1802 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 8080 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1499620/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=8220 CPUtime=180.01 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1923 0 0 0 17999 2 0 0 25 0 1 0 188087102 8417280 1908 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574460 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 2055 1908 122 215 0 1837 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 8220 [startup+190.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1499492/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=8220 CPUtime=190.01 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1954 0 0 0 18999 2 0 0 25 0 1 0 188087102 8417280 1939 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 2055 1939 122 215 0 1837 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 8220 [startup+200.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19380 /proc/meminfo: memFree=1499364/2055920 swapFree=4181360/4192956 [pid=19380] ppid=19378 vsize=8364 CPUtime=200.02 /proc/19380/stat : 19380 (minisat+) R 19378 19380 19335 0 -1 4194304 1980 0 0 0 19999 3 0 0 25 0 1 0 188087102 8564736 1965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19380/statm: 2091 1965 122 215 0 1873 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 8364 Child status: 20 Real time (s): 209.706 CPU time (s): 209.615 CPU user time (s): 209.583 CPU system time (s): 0.031995 CPU usage (%): 99.9565 Max. virtual memory (cumulated for all children) (Kb): 8364
Begin job on node52 on Fri Jun 2 04:56:33 UTC 2006 FILE ID= 34730-1149224193 PBS_JOBID= 295684 BENCH NAME= ROOT/tmp/node52/34730-1149224193/instance-34730-1149224193.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node52/34730-1149224193/instance-34730-1149224193.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-34730-1149224193 -o ROOT/results/node52/solver-34730-1149224193 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node52/34730-1149224193/instance-34730-1149224193.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 30c4f9acafc0f3a30de05f75833db699 RANDOM SEED= 719137014 /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: 1506980 kB Buffers: 23108 kB Cached: 458496 kB SwapCached: 3508 kB Active: 245072 kB Inactive: 245444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1506980 kB SwapTotal: 4192956 kB SwapFree: 4181360 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14904 kB Slab: 44404 kB Committed_AS: 254420 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node52 on Fri Jun 2 05:00:03 UTC 2006