Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | UNSAT | 332.245 | 332.354 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb |
MD5SUM | 8dbaef61ba32642517e0b17ac09a002e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | 117.186 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 31 |
Total number of constraints | 9 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 851 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2553 |
Number of bits of the biggest sum of numbers | 12 |
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/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2657202-1276601565.opb 0.00/0.00 c File size is 2100 bytes. 0.00/0.00 c Highest Coefficient sum: 2553 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 31 Constr: 9 1/0/8 Lit: 237 Watch. Lit: 87 0.00/0.00 c Obj. Vars: 1 (3.22581 % of total variables) 0.00/0.00 c Pre-processing Time: 0 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 30 8 236 29 88 472 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 332.18/332.35 c 100 30 162 3272 20 502 520 154 10000 0.01 332.18/332.35 c 251 30 388 7797 20 1039 573 380 9653 0.03 332.18/332.35 c 476 30 458 9506 20 1182 631 450 8981 0.05 332.18/332.35 c 814 30 336 6902 20 794 695 328 8659 0.09 332.18/332.35 c 1322 30 417 8509 20 980 765 409 8420 0.16 332.18/332.35 c 2085 30 454 9391 20 1062 842 446 8441 0.25 332.18/332.35 c 3231 30 531 10776 20 1229 927 523 8242 0.39 332.18/332.35 c 4952 30 511 10682 20 1158 1020 503 7987 0.62 332.18/332.35 c 7536 30 660 13811 20 1491 1123 652 7882 0.96 332.18/332.35 c 11416 30 973 20484 21 2265 1236 965 7771 1.47 332.18/332.35 c 17239 30 821 17605 21 1879 1360 813 7570 2.28 332.18/332.35 c 25978 30 1121 23980 21 2608 1497 1113 7361 3.53 332.18/332.35 c 39090 30 801 17198 21 1792 1647 793 7095 5.51 332.18/332.35 c 58760 30 1098 23164 21 2515 1812 1090 6805 8.63 332.18/332.35 c 88271 30 1546 32257 20 3590 1994 1538 6600 13.37 332.18/332.35 c 132541 30 1302 27501 21 3049 2194 1294 6366 20.82 332.18/332.35 c 198951 30 1795 37201 20 4375 2414 1787 6074 32.75 332.18/332.35 c 298572 30 1529 32154 21 3650 2656 1521 5690 52.46 332.18/332.35 c 448008 30 1907 39829 20 4571 2922 1899 5460 82.04 332.18/332.35 c 672166 30 2437 50470 20 5771 3215 2429 5210 129.01 332.18/332.35 c 1008410 30 2981 62438 20 6943 3537 2973 4961 203.26 332.18/332.35 c 1512781 27 2178 39373 18 4737 3891 2170 4753 318.24 332.18/332.35 c Backtracks by Clause: 1576842 332.18/332.35 c Backtracks by PB constraint: 1377 332.18/332.35 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 332.18/332.35 c 22 1578219 20624 1599473 3126 45854 3118 4750 332.24 332.18/332.35 s UNSATISFIABLE 332.18/332.35 c Total time: 332.243 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657202-1276601565/watcher-2657202-1276601565 -o /tmp/evaluation-result-2657202-1276601565/solver-2657202-1276601565 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657202-1276601565.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9663 /proc/meminfo: memFree=1798564/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=18600 CPUtime=0 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 325 0 0 0 0 0 0 0 18 0 1 0 1444549 19046400 242 1992294400 134512640 137138936 4292611792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4650 242 192 642 0 4006 0 [startup+0.0583431 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9663 /proc/meminfo: memFree=1798564/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=18728 CPUtime=0.05 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 372 0 0 0 5 0 0 0 18 0 1 0 1444549 19177472 289 1992294400 134512640 137138936 4292611792 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4682 289 192 642 0 4038 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 18728 [startup+0.101348 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9663 /proc/meminfo: memFree=1798564/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=18728 CPUtime=0.09 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 378 0 0 0 9 0 0 0 18 0 1 0 1444549 19177472 295 1992294400 134512640 137138936 4292611792 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4682 295 192 642 0 4038 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18728 [startup+0.301377 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9663 /proc/meminfo: memFree=1798564/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=18856 CPUtime=0.29 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 398 0 0 0 29 0 0 0 18 0 1 0 1444549 19308544 315 1992294400 134512640 137138936 4292611792 18446744073709551615 134599724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4714 315 192 642 0 4070 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18856 [startup+0.701434 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9663 /proc/meminfo: memFree=1798564/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=18860 CPUtime=0.69 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 417 0 0 0 69 0 0 0 18 0 1 0 1444549 19312640 334 1992294400 134512640 137138936 4292611792 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4715 334 192 642 0 4071 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18860 [startup+1.50055 s] /proc/loadavg: 0.92 0.98 0.99 2/107 9664 /proc/meminfo: memFree=1797812/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=18992 CPUtime=1.49 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 439 0 0 0 148 1 0 0 19 0 1 0 1444549 19447808 356 1992294400 134512640 137138936 4292611792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4748 356 192 642 0 4104 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18992 [startup+3.10077 s] /proc/loadavg: 0.92 0.98 0.99 2/107 9664 /proc/meminfo: memFree=1797564/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19116 CPUtime=3.09 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 455 0 0 0 307 2 0 0 23 0 1 0 1444549 19574784 372 1992294400 134512640 137138936 4292611792 18446744073709551615 136504455 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4779 372 192 642 0 4135 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19116 [startup+6.30024 s] /proc/loadavg: 0.93 0.98 0.99 2/107 9666 /proc/meminfo: memFree=1796572/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19116 CPUtime=6.28 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 483 0 0 0 623 5 0 0 25 0 1 0 1444549 19574784 400 1992294400 134512640 137138936 4292611792 18446744073709551615 134618183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4779 400 192 642 0 4135 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19116 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 9667 /proc/meminfo: memFree=1796324/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19244 CPUtime=12.68 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 500 0 0 0 1257 11 0 0 25 0 1 0 1444549 19705856 417 1992294400 134512640 137138936 4292611792 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4811 417 192 642 0 4167 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19244 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 0.99 2/107 9667 /proc/meminfo: memFree=1796324/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19372 CPUtime=25.48 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 540 0 0 0 2528 20 0 0 25 0 1 0 1444549 19836928 457 1992294400 134512640 137138936 4292611792 18446744073709551615 136502003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4843 457 192 642 0 4199 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19372 [startup+51.1006 s] /proc/loadavg: 0.96 0.98 0.99 2/107 9669 /proc/meminfo: memFree=1796324/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19504 CPUtime=51.06 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 564 0 0 0 5070 36 0 0 25 0 1 0 1444549 19972096 481 1992294400 134512640 137138936 4292611792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4876 481 192 642 0 4232 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 19504 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 9669 /proc/meminfo: memFree=1796200/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19752 CPUtime=102.25 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 615 0 0 0 10156 69 0 0 25 0 1 0 1444549 20226048 532 1992294400 134512640 137138936 4292611792 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4938 532 192 642 0 4294 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 19752 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9671 /proc/meminfo: memFree=1796200/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19848 CPUtime=162.23 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 642 0 0 0 16117 106 0 0 25 0 1 0 1444549 20324352 559 1992294400 134512640 137138936 4292611792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4962 559 192 642 0 4318 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 19848 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9673 /proc/meminfo: memFree=1796076/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19968 CPUtime=222.21 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 677 0 0 0 22082 139 0 0 25 0 1 0 1444549 20447232 594 1992294400 134512640 137138936 4292611792 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4992 594 192 642 0 4348 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 19968 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9675 /proc/meminfo: memFree=1796076/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19968 CPUtime=282.2 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 679 0 0 0 28048 172 0 0 25 0 1 0 1444549 20447232 596 1992294400 134512640 137138936 4292611792 18446744073709551615 134542164 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4992 596 192 642 0 4348 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 19968 Solver just ended. Dumping a history of the last processes samples [startup+307.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9675 /proc/meminfo: memFree=1796076/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19968 CPUtime=306.98 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 679 0 0 0 30515 183 0 0 25 0 1 0 1444549 20447232 596 1992294400 134512640 137138936 4292611792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4992 596 192 642 0 4348 0 Current children cumulated CPU time (s) 306.98 Current children cumulated vsize (KiB) 19968 [startup+319.902 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9675 /proc/meminfo: memFree=1796076/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19968 CPUtime=319.79 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 679 0 0 0 31788 191 0 0 25 0 1 0 1444549 20447232 596 1992294400 134512640 137138936 4292611792 18446744073709551615 136504373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4992 596 192 642 0 4348 0 Current children cumulated CPU time (s) 319.79 Current children cumulated vsize (KiB) 19968 [startup+326.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9675 /proc/meminfo: memFree=1796076/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19968 CPUtime=326.18 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 679 0 0 0 32424 194 0 0 25 0 1 0 1444549 20447232 596 1992294400 134512640 137138936 4292611792 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4992 596 192 642 0 4348 0 Current children cumulated CPU time (s) 326.18 Current children cumulated vsize (KiB) 19968 [startup+329.501 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9675 /proc/meminfo: memFree=1796076/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19968 CPUtime=329.38 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 679 0 0 0 32742 196 0 0 25 0 1 0 1444549 20447232 596 1992294400 134512640 137138936 4292611792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4992 596 192 642 0 4348 0 Current children cumulated CPU time (s) 329.38 Current children cumulated vsize (KiB) 19968 [startup+331.109 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9675 /proc/meminfo: memFree=1796076/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19968 CPUtime=330.99 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 679 0 0 0 32902 197 0 0 25 0 1 0 1444549 20447232 596 1992294400 134512640 137138936 4292611792 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4992 596 192 642 0 4348 0 Current children cumulated CPU time (s) 330.99 Current children cumulated vsize (KiB) 19968 [startup+331.9 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9675 /proc/meminfo: memFree=1796076/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19968 CPUtime=331.78 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 679 0 0 0 32980 198 0 0 25 0 1 0 1444549 20447232 596 1992294400 134512640 137138936 4292611792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4992 596 192 642 0 4348 0 Current children cumulated CPU time (s) 331.78 Current children cumulated vsize (KiB) 19968 [startup+332.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9677 /proc/meminfo: memFree=1796076/2059040 swapFree=4192956/4192956 [pid=9663] ppid=9661 vsize=19968 CPUtime=332.18 /proc/9663/stat : 9663 (bsolo_pb10) R 9661 9663 2479 0 -1 4202496 679 0 0 0 33020 198 0 0 25 0 1 0 1444549 20447232 596 1992294400 134512640 137138936 4292611792 18446744073709551615 134599746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9663/statm: 4992 596 192 642 0 4348 0 Current children cumulated CPU time (s) 332.18 Current children cumulated vsize (KiB) 19968 Child status: 0 Real time (s): 332.354 CPU time (s): 332.245 CPU user time (s): 330.258 CPU system time (s): 1.9867 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 19968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 330.258 system time used= 1.9867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 679 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= 1 involuntary context switches= 699 runsolver used 0.583911 second user time and 1.54276 second system time The end
Begin job on node049 at 2010-06-15 13:32:45 IDJOB=2657202 IDBENCH=2905 IDSOLVER=1162 FILE ID=node049/2657202-1276601565 PBS_JOBID= 11173563 Free space on /tmp= 62524 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657202-1276601565/watcher-2657202-1276601565 -o /tmp/evaluation-result-2657202-1276601565/solver-2657202-1276601565 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657202-1276601565.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8dbaef61ba32642517e0b17ac09a002e RANDOM SEED=1945922194 node049.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1799092 kB Buffers: 10864 kB Cached: 114196 kB SwapCached: 0 kB Active: 33616 kB Inactive: 150864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1799092 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3864 kB Writeback: 0 kB AnonPages: 59508 kB Mapped: 15460 kB Slab: 53452 kB PageTables: 3876 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184716 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node049 at 2010-06-15 13:38:17