Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 73.5228 | 73.5663 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=257-P1=97-P2=149-B.opb |
MD5SUM | 67e6ddc28ca754c7106cfc653b1e11ec |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.934857 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 48 |
Total number of constraints | 5 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 128 |
Sum of products size (including duplicates) | 256 |
Number of different products | 128 |
Sum of products size | 256 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879405-1245243637.opb 0.00/0.00 c File size is 9362 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 176 Constr: 263 128/0/135 Lit: 1096 Watch. Lit: 678 0.00/0.00 c Obj. Vars: 8 (4.54545 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 176 263 1096 4 942 1466 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 24.28/24.40 c 101 176 457 13136 28 3828 1613 194 3060 0.03 24.28/24.40 c 251 176 755 32192 42 8208 1775 492 2698 0.09 24.28/24.40 c 476 176 1192 59377 49 13369 1953 929 1809 0.26 24.28/24.40 c 815 176 1844 100832 54 21576 2149 1581 1347 0.60 24.28/24.40 c 1323 176 1650 86070 52 13853 2364 1387 1102 1.20 24.28/24.40 c 2088 176 1866 100511 53 16484 2601 1603 899 2.32 24.28/24.40 c 3234 176 2676 152248 56 33057 2862 2413 811 3.99 24.28/24.40 c 4955 176 2933 168264 57 30577 3149 2670 714 6.93 24.28/24.40 c 7540 176 2884 167192 57 32052 3464 2621 628 12.00 24.28/24.40 c 11421 176 2928 169100 57 25442 3811 2665 544 20.98 24.28/24.40 o 3 73.44/73.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 73.44/73.56 c 13292 176 2299 137784 59 19262 1482 2036 545 24.38 73.44/73.56 c 13392 105 1203 63975 53 10014 1631 940 547 24.45 73.44/73.56 c 13642 105 1680 93762 55 17095 1795 1417 552 24.70 73.44/73.56 c 14117 105 1562 80645 51 16406 1975 1299 556 25.36 73.44/73.56 c 14932 105 2009 106970 53 20958 2173 1746 566 26.38 73.44/73.56 c 16252 105 2117 108908 51 20800 2391 1854 583 27.84 73.44/73.56 c 18334 105 2120 111719 52 19857 2631 1857 595 30.80 73.44/73.56 c 21557 105 2494 131638 52 29835 2895 2231 586 36.78 73.44/73.56 c 26494 105 2452 133412 54 27122 3185 2189 568 46.61 73.44/73.56 c 34001 100 2934 159816 54 38166 3504 2671 521 65.20 73.44/73.56 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 x19 x20 -x21 -x22 -x23 -x24 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 73.44/73.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 73.44/73.56 c 20 36982 401 38197 2837 141506 2574 503 73.52 73.44/73.56 c Objective: 3 73.44/73.56 s OPTIMUM FOUND 73.44/73.56 c Total time: 73.519 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879405-1245243637/watcher-1879405-1245243637 -o /tmp/evaluation-result-1879405-1245243637/solver-1879405-1245243637 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879405-1245243637.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: 1.00 1.00 0.95 3/64 11729 /proc/meminfo: memFree=1371208/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=10708 CPUtime=0 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 275 0 0 0 0 0 0 0 18 0 1 0 191964409 10964992 256 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 2677 256 197 640 0 2033 0 [startup+0.102707 s] /proc/loadavg: 1.00 1.00 0.95 3/64 11729 /proc/meminfo: memFree=1371208/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=11364 CPUtime=0.09 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 444 0 0 0 9 0 0 0 18 0 1 0 191964409 11636736 425 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 2841 425 197 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.201736 s] /proc/loadavg: 1.00 1.00 0.95 3/64 11729 /proc/meminfo: memFree=1371208/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=11760 CPUtime=0.19 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 528 0 0 0 19 0 0 0 18 0 1 0 191964409 12042240 509 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 2940 509 197 640 0 2296 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11760 [startup+0.301749 s] /proc/loadavg: 1.00 1.00 0.95 3/64 11729 /proc/meminfo: memFree=1371208/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=11888 CPUtime=0.29 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 580 0 0 0 29 0 0 0 19 0 1 0 191964409 12173312 561 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 2972 561 197 640 0 2328 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11888 [startup+0.701835 s] /proc/loadavg: 1.00 1.00 0.95 3/64 11729 /proc/meminfo: memFree=1371208/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=12936 CPUtime=0.69 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 829 0 0 0 69 0 0 0 23 0 1 0 191964409 13246464 810 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3234 810 197 640 0 2590 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12936 [startup+1.50201 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11730 /proc/meminfo: memFree=1368064/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=13592 CPUtime=1.49 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1000 0 0 0 149 0 0 0 25 0 1 0 191964409 13918208 981 1992294400 134512640 137136520 4294956256 18446744073709551615 136518922 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3398 981 197 640 0 2754 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13592 [startup+3.10135 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11730 /proc/meminfo: memFree=1367936/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=13848 CPUtime=3.09 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1059 0 0 0 308 1 0 0 25 0 1 0 191964409 14180352 1040 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3462 1040 198 640 0 2818 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13848 [startup+6.30203 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11730 /proc/meminfo: memFree=1367232/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=14248 CPUtime=6.29 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1177 0 0 0 628 1 0 0 25 0 1 0 191964409 14589952 1158 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3562 1158 198 640 0 2918 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14248 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11730 /proc/meminfo: memFree=1366984/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=14512 CPUtime=12.69 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1247 0 0 0 1268 1 0 0 25 0 1 0 191964409 14860288 1228 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3628 1228 198 640 0 2984 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14512 [startup+25.5022 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1365952/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=25.47 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 2545 2 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 15568 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1365960/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=51.06 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 5103 3 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 15568 Solver just ended. Dumping a history of the last processes samples [startup+51.2017 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1365960/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=51.16 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 5113 3 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 51.16 Current children cumulated vsize (KiB) 15568 [startup+64.0014 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1366024/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=63.96 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 6392 4 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 63.96 Current children cumulated vsize (KiB) 15568 [startup+70.4018 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1366024/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=70.35 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 7031 4 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 70.35 Current children cumulated vsize (KiB) 15568 [startup+72.0011 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1366024/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=71.95 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 7191 4 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 71.95 Current children cumulated vsize (KiB) 15568 [startup+72.8013 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1366024/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=72.74 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 7270 4 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 72.74 Current children cumulated vsize (KiB) 15568 [startup+73.2014 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1366024/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=73.14 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 7310 4 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 73.14 Current children cumulated vsize (KiB) 15568 [startup+73.4014 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1366024/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=73.34 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 7330 4 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 73.34 Current children cumulated vsize (KiB) 15568 [startup+73.5014 s] /proc/loadavg: 1.00 1.00 0.95 2/65 11736 /proc/meminfo: memFree=1366024/2055920 swapFree=4192812/4192956 [pid=11729] ppid=11727 vsize=15568 CPUtime=73.44 /proc/11729/stat : 11729 (bsolo) R 11727 11729 11208 0 -1 4194304 1496 0 0 0 7340 4 0 0 25 0 1 0 191964409 15941632 1477 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11729/statm: 3892 1477 198 640 0 3248 0 Current children cumulated CPU time (s) 73.44 Current children cumulated vsize (KiB) 15568 Child status: 0 Real time (s): 73.5663 CPU time (s): 73.5228 CPU user time (s): 73.4728 CPU system time (s): 0.049992 CPU usage (%): 99.9409 Max. virtual memory (cumulated for all children) (KiB): 15568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 73.4728 system time used= 0.049992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1498 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= 2 involuntary context switches= 260 runsolver used 0.056991 second user time and 0.215967 second system time The end
Begin job on node10 at 2009-06-17 15:00:37 IDJOB=1879405 IDBENCH=47955 IDSOLVER=701 FILE ID=node10/1879405-1245243637 PBS_JOBID= 9372327 Free space on /tmp= 65988 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=257-P1=97-P2=149-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879405-1245243637/watcher-1879405-1245243637 -o /tmp/evaluation-result-1879405-1245243637/solver-1879405-1245243637 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879405-1245243637.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 67e6ddc28ca754c7106cfc653b1e11ec RANDOM SEED=454759001 node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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: 1371688 kB Buffers: 61896 kB Cached: 551940 kB SwapCached: 0 kB Active: 87220 kB Inactive: 540036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1371688 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3992 kB Writeback: 0 kB Mapped: 23232 kB Slab: 42976 kB Committed_AS: 207228 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879405-1245243637.opb Free space on /tmp at the end= 65984 MiB End job on node10 at 2009-06-17 15:01:51