Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 14 | 1800.18 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb |
MD5SUM | 88e7a647c6e46a38e952354158b1fb76 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6204 |
Sum of products size (including duplicates) | 12408 |
Number of different products | 6204 |
Sum of products size | 12408 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453411-1178135335/instance-453411-1178135335.opb 0.00/0.00 c File size is 83980 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.039 s 0.00/0.05 c Var: 6404 Constr: 12608 6404/0/6204 Lit: 43628 Watch. Lit: 31420 0.00/0.05 c Obj. Vars: 200 (3.12305 % of total variables) 0.39/0.43 c Pre-processing Time: 0.427 s 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 6404 12608 43628 3 31420 39358 0 0 0.43 0.39/0.43 c Switching off LPR mode. 0.39/0.43 o 199 0.433 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 6404 12609 43828 3 31423 39491 1 0 0.44 0.39/0.44 o 198 0.44 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 6404 12610 44028 3 31427 39691 2 0 0.44 0.39/0.45 o 197 0.448 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 6404 12611 44228 3 31432 39958 3 0 0.45 0.39/0.45 o 196 0.455 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 6404 12612 44428 3 31438 40291 4 0 0.46 0.39/0.46 o 195 0.463 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 0 6404 12613 44628 3 31445 40691 5 0 0.47 0.39/0.47 o 194 0.471 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 0 6404 12614 44828 3 31453 41158 6 0 0.47 0.39/0.48 o 193 0.479 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 6404 12615 45028 3 31462 41691 7 0 0.48 0.39/0.49 o 192 0.486 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 6404 12616 45228 3 31472 42291 8 0 0.49 0.39/0.49 o 191 0.494 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 0 6404 12617 45428 3 31483 42958 9 0 0.50 0.49/0.50 o 190 0.502 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 0 6404 12618 45628 3 31495 43691 10 0 0.51 0.49/0.51 o 189 0.51 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6404 12619 45828 3 31508 44491 11 0 0.51 0.49/0.52 o 188 0.518 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 6404 12620 46028 3 31522 45358 12 0 0.52 0.49/0.53 o 187 0.527 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 6404 12621 46228 3 31537 46291 13 0 0.53 0.49/0.53 o 186 0.535 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 6404 12622 46428 3 31553 47291 14 0 0.54 0.49/0.54 o 185 0.543 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6404 12623 46628 3 31570 48291 15 0 0.55 0.49/0.55 o 184 0.551 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6404 12624 46828 3 31588 49291 16 0 0.55 0.49/0.56 o 183 0.559 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6404 12625 47028 3 31607 50291 17 0 0.56 0.49/0.57 o 182 0.567 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6404 12626 47228 3 31627 51291 18 0 0.57 0.49/0.57 o 181 0.575 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6404 12627 47428 3 31648 52291 19 0 0.58 0.49/0.58 o 180 0.583 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 6404 12628 47628 3 31670 53291 20 0 0.59 0.49/0.59 o 179 0.591 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 6404 12629 47828 3 31693 54291 21 0 0.59 0.59/0.60 o 178 0.6 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 6404 12630 48028 3 31717 55291 22 0 0.60 0.59/0.61 o 177 0.608 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 6404 12631 48228 3 31742 56291 23 0 0.61 0.59/0.61 o 176 0.616 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 0 6404 12632 48428 3 31768 57291 24 0 0.62 0.59/0.62 o 175 0.624 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 6404 12633 48628 3 31795 58291 25 0 0.63 0.59/0.63 o 174 0.632 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 6404 12634 48828 3 31823 59291 26 0 0.64 0.59/0.64 o 173 0.64 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 6404 12635 49028 3 31852 60291 27 0 0.64 0.59/0.65 o 172 0.649 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 6404 12636 49228 3 31882 61291 28 0 0.65 0.59/0.66 o 171 0.657 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 6404 12637 49428 3 31913 62291 29 0 0.66 0.59/0.66 o 170 0.665 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 6404 12638 49628 3 31945 63291 30 0 0.67 0.59/0.67 o 169 0.673 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 6404 12639 49828 3 31978 64291 31 0 0.68 0.59/0.68 o 168 0.681 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 6404 12640 50028 3 32012 65291 32 0 0.68 0.59/0.69 o 167 0.69 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 0 6404 12641 50228 3 32047 66291 33 0 0.69 0.69/0.70 o 166 0.699 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 0 6404 12642 50428 3 32083 67291 34 0 0.70 0.69/0.71 o 165 0.708 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 0 6404 12643 50628 4 32120 68291 35 0 0.71 0.69/0.71 o 164 0.716 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 0 6404 12644 50828 4 32158 69291 36 0 0.72 0.69/0.72 o 163 0.724 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 6404 12645 51028 4 32197 70291 37 0 0.73 0.69/0.73 o 153 0.734 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 1 6404 12647 51391 4 32248 70291 39 1 0.74 0.69/0.74 o 15 0.745 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 1 6404 12648 51591 4 32435 70291 40 1 0.75 0.69/0.75 o 14 0.756 1800.08/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.70 c 5 6404 12653 52115 4 32631 70291 45 6 0.76 1800.08/1800.70 c 106 6404 12754 67021 5 32833 77321 146 132 0.80 1800.08/1800.70 c 357 6404 13005 91051 7 33335 85054 397 406 0.88 1800.08/1800.70 c 833 6404 13481 143768 10 34287 93560 873 815 1.02 1800.08/1800.70 c 1646 6404 14294 261633 18 35913 102917 1686 1260 1.31 1800.08/1800.70 c 2966 6404 15614 421472 26 38553 113209 3006 1665 1.78 1800.08/1800.70 c 5048 6404 17696 652055 36 42717 124530 5088 1952 2.59 1800.08/1800.70 c 8273 6404 20921 974892 46 49167 136984 8313 1807 4.58 1800.08/1800.70 c 13209 6404 25857 1395009 53 59039 150683 13249 1589 8.31 1800.08/1800.70 c 20716 6404 33364 2266582 67 74053 165752 20756 1384 14.96 1800.08/1800.70 c 32078 6404 44726 3963506 88 96777 182328 32118 1000 32.07 1800.08/1800.70 c 49222 6404 61870 6503997 105 131065 200561 49262 737 66.73 1800.08/1800.70 c 75041 6404 87689 9960801 113 182703 220618 75081 550 136.29 1800.08/1800.70 c 113873 6404 126521 14773948 116 260367 242680 113913 429 265.25 1800.08/1800.70 c 172225 6404 184873 20438140 110 377071 266949 172265 290 593.16 1800.08/1800.70 c 259857 6404 272505 31760385 116 552335 293644 259897 224 1155.30 1800.08/1800.70 c Caught signal: 15 1800.08/1800.70 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 -x25 -x26 x27 -x28 x29 -x30 1800.08/1800.70 v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1800.08/1800.70 v -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 1800.08/1800.70 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1800.08/1800.70 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.08/1800.70 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.08/1800.70 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.08/1800.70 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.08/1800.70 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1800.08/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.70 c 55 340894 109664 570468 71443 7939420 58835 189 1800.09 1800.08/1800.70 c Objective: 14 1800.08/1800.70 s SATISFIABLE 1800.08/1800.70 c Total time: 1800.09 s
OK 14
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-453411-1178135335 -o ROOT/results/node2/solver-453411-1178135335 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453411-1178135335/instance-453411-1178135335.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): 3600 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.98 0.99 3/77 2811 /proc/meminfo: memFree=1460152/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=11820 CPUtime=0 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 289571348 12103680 346 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 1002 346 289 324 0 51 0 [startup+0.095189 s] /proc/loadavg: 0.92 0.98 0.99 3/77 2811 /proc/meminfo: memFree=1460152/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=7192 CPUtime=0.08 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 1183 0 0 0 8 0 0 0 18 0 1 0 289571348 7364608 1132 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 1798 1132 303 324 0 868 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7192 [startup+0.101189 s] /proc/loadavg: 0.92 0.98 0.99 3/77 2811 /proc/meminfo: memFree=1460152/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=7192 CPUtime=0.09 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 1183 0 0 0 9 0 0 0 18 0 1 0 289571348 7364608 1132 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 1798 1132 303 324 0 868 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7192 [startup+0.30121 s] /proc/loadavg: 0.92 0.98 0.99 3/77 2811 /proc/meminfo: memFree=1460152/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=7192 CPUtime=0.29 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 1183 0 0 0 29 0 0 0 19 0 1 0 289571348 7364608 1132 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 1798 1132 303 324 0 868 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7192 [startup+0.701252 s] /proc/loadavg: 0.92 0.98 0.99 3/77 2811 /proc/meminfo: memFree=1460152/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=7340 CPUtime=0.69 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 1557 0 0 0 67 2 0 0 23 0 1 0 289571348 7516160 1202 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10968929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 1835 1202 309 324 0 905 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7340 [startup+1.50133 s] /proc/loadavg: 0.92 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1455216/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=11236 CPUtime=1.49 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 2515 0 0 0 146 3 0 0 25 0 1 0 289571348 11505664 2160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 2809 2160 310 324 0 1879 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11236 [startup+3.1015 s] /proc/loadavg: 0.92 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1449840/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=17092 CPUtime=3.09 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 3985 0 0 0 305 4 0 0 25 0 1 0 289571348 17502208 3630 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 4273 3630 310 324 0 3343 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17092 [startup+6.30183 s] /proc/loadavg: 0.93 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1441840/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=23324 CPUtime=6.29 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 5547 0 0 0 624 5 0 0 25 0 1 0 289571348 23883776 5192 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 5831 5192 310 324 0 4901 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23324 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1430256/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=34468 CPUtime=12.69 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 8316 0 0 0 1262 7 0 0 25 0 1 0 289571348 35295232 7961 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 8617 7961 310 324 0 7687 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34468 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1410672/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=53564 CPUtime=25.48 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 13094 0 0 0 2538 10 0 0 25 0 1 0 289571348 54849536 12739 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 13391 12739 310 324 0 12461 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 53564 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1382448/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=82060 CPUtime=51.07 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 20229 0 0 0 5091 16 0 0 25 0 1 0 289571348 84029440 19874 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 20515 19874 310 324 0 19585 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 82060 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1341424/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=122220 CPUtime=102.26 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 30286 0 0 0 10203 23 0 0 25 0 1 0 289571348 125153280 29931 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 30555 29931 310 324 0 29625 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 122220 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1305392/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=158740 CPUtime=162.24 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 39405 0 0 0 16191 33 0 0 25 0 1 0 289571348 162549760 39050 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 39685 39050 310 324 0 38755 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 158740 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1273840/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=189648 CPUtime=222.23 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 47124 0 0 0 22182 41 0 0 25 0 1 0 289571348 194199552 46769 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 47412 46769 310 324 0 46482 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 189648 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1249200/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=214396 CPUtime=282.21 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 53328 0 0 0 28174 47 0 0 25 0 1 0 289571348 219541504 52973 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 53599 52973 310 324 0 52669 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 214396 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1229424/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=234016 CPUtime=342.19 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 58208 0 0 0 34166 53 0 0 25 0 1 0 289571348 239632384 57853 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 58504 57853 310 324 0 57574 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 234016 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1215024/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=248556 CPUtime=402.17 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 61850 0 0 0 40161 56 0 0 25 0 1 0 289571348 254521344 61495 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 62139 61495 310 324 0 61209 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 248556 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1203184/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=260232 CPUtime=462.16 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 64776 0 0 0 46155 61 0 0 25 0 1 0 289571348 266477568 64421 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 65058 64421 310 324 0 64128 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 260232 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1191984/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=271424 CPUtime=522.14 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 67581 0 0 0 52150 64 0 0 25 0 1 0 289571348 277938176 67226 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 67856 67226 310 324 0 66926 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 271424 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1179824/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=283612 CPUtime=582.12 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 70614 0 0 0 58146 66 0 0 25 0 1 0 289571348 290418688 70259 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 70903 70259 310 324 0 69973 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 283612 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 2812 /proc/meminfo: memFree=1156592/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=306652 CPUtime=642.11 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 76383 0 0 0 64139 72 0 0 25 0 1 0 289571348 314011648 76028 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 76663 76028 310 324 0 75733 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 306652 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=1080752/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=382280 CPUtime=881.93 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 95275 0 0 0 88101 92 0 0 25 0 1 0 289571348 391454720 94920 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 95570 94920 310 324 0 94640 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 382280 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=1063920/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=399064 CPUtime=941.91 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 99483 0 0 0 94094 97 0 0 25 0 1 0 289571348 408641536 99128 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 99766 99128 310 324 0 98836 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 399064 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=1053872/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=409064 CPUtime=1001.9 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 101993 0 0 0 100090 100 0 0 25 0 1 0 289571348 418881536 101638 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 102266 101638 310 324 0 101336 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 409064 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=1042096/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=421144 CPUtime=1061.87 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 104985 0 0 0 106084 103 0 0 25 0 1 0 289571348 431251456 104630 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 105286 104630 310 324 0 104356 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 421144 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=1029808/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=433220 CPUtime=1121.86 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 108018 0 0 0 112080 106 0 0 25 0 1 0 289571348 443617280 107663 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 108305 107663 310 324 0 107375 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 433220 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=1017520/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=445648 CPUtime=1181.84 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 111123 0 0 0 118074 110 0 0 25 0 1 0 289571348 456343552 110768 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 111412 110768 310 324 0 110482 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 445648 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=1002224/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=460696 CPUtime=1241.83 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 114897 0 0 0 124069 114 0 0 25 0 1 0 289571348 471752704 114542 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 115174 114542 310 324 0 114244 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 460696 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=986992/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=475832 CPUtime=1301.81 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 118679 0 0 0 130064 117 0 0 25 0 1 0 289571348 487251968 118324 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 118958 118324 310 324 0 118028 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 475832 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=974192/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=488792 CPUtime=1361.8 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 121920 0 0 0 136059 121 0 0 25 0 1 0 289571348 500523008 121565 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 122198 121565 310 324 0 121268 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 488792 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=956656/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=506280 CPUtime=1421.79 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 126272 0 0 0 142055 124 0 0 25 0 1 0 289571348 518430720 125917 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 126570 125917 310 324 0 125640 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 506280 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=948848/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=513808 CPUtime=1481.76 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 128451 0 0 0 148050 126 0 0 25 0 1 0 289571348 526139392 127804 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 128452 127804 310 324 0 127522 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 513808 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=948848/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=513808 CPUtime=1541.74 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 128451 0 0 0 154048 126 0 0 25 0 1 0 289571348 526139392 127804 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 128452 127804 310 324 0 127522 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 513808 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=948912/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=513808 CPUtime=1601.73 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 128451 0 0 0 160046 127 0 0 25 0 1 0 289571348 526139392 127804 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 128452 127804 310 324 0 127522 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 513808 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=948976/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=513808 CPUtime=1661.71 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 128451 0 0 0 166044 127 0 0 25 0 1 0 289571348 526139392 127804 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 128452 127804 310 324 0 127522 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 513808 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=948976/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=513808 CPUtime=1721.69 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 128451 0 0 0 172041 128 0 0 25 0 1 0 289571348 526139392 127804 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 128452 127804 310 324 0 127522 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 513808 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=949040/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=513808 CPUtime=1781.68 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 128451 0 0 0 178039 129 0 0 25 0 1 0 289571348 526139392 127804 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 128452 127804 310 324 0 127522 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 513808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=949040/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=513808 CPUtime=1800.08 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 128451 0 0 0 179879 129 0 0 25 0 1 0 289571348 526139392 127804 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 128452 127804 310 324 0 127522 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 513808 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3010 /proc/meminfo: memFree=949040/2055920 swapFree=4148856/4192956 [pid=2811] ppid=2809 vsize=513808 CPUtime=1800.08 /proc/2811/stat : 2811 (bsolo3.0.17) R 2809 2811 32514 0 -1 4194304 128451 0 0 0 179879 129 0 0 25 0 1 0 289571348 526139392 127804 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2811/statm: 128452 127804 310 324 0 127522 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 513808 Child status: 15 Real time (s): 1800.8 CPU time (s): 1800.18 CPU user time (s): 1798.8 CPU system time (s): 1.38279 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 514976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.8 system time used= 1.38279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 128455 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= 12 involuntary context switches= 37135 runsolver used 1.39679 second user time and 3.90641 second system time The end
Begin job on node2 on Wed May 2 19:48:56 UTC 2007 IDJOB= 453411 IDBENCH= 48128 IDSOLVER= 199 FILE ID= node2/453411-1178135335 PBS_JOBID= 4751040 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453411-1178135335/instance-453411-1178135335.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-453411-1178135335 -o ROOT/results/node2/solver-453411-1178135335 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453411-1178135335/instance-453411-1178135335.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76 RANDOM SEED= 348899694 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1460560 kB Buffers: 211640 kB Cached: 234764 kB SwapCached: 12392 kB Active: 185076 kB Inactive: 290392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1460560 kB SwapTotal: 4192956 kB SwapFree: 4148856 kB Dirty: 6768 kB Writeback: 0 kB Mapped: 35264 kB Slab: 105348 kB Committed_AS: 11439820 kB PageTables: 1872 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= 66558 MiB End job on node2 on Wed May 2 20:18:58 UTC 2007