Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -12 | 1800.22 | 1800.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_5.opb |
MD5SUM | 996170804397234947041ed4d87d3aa0 |
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 | -59 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 5056 |
Sum of products size (including duplicates) | 10112 |
Number of different products | 2528 |
Sum of products size | 5056 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455475-1178044109/instance-455475-1178044109.opb 0.00/0.00 c File size is 75371 bytes. 0.00/0.03 c Highest Coefficient sum: 400 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.029 s 0.00/0.04 c Var: 5456 Constr: 10714 5256/402/5056 Lit: 36592 Watch. Lit: 31138 0.00/0.04 c Obj. Vars: 200 (3.66569 % of total variables) 2.29/2.31 c Pre-processing Time: 2.312 s 2.29/2.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.31 c 0 5456 10714 36592 3 31138 54477 0 0 2.31 2.29/2.31 c Switching off LPR mode. 2.29/2.32 o -1 2.322 2.29/2.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.33 c 0 5456 10715 36792 3 31141 54610 1 0 2.32 2.29/2.33 o -2 2.331 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 0 5456 10716 36992 3 31145 54810 2 0 2.33 2.29/2.34 o -3 2.34 2.29/2.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.35 c 0 5456 10717 37192 3 31150 55077 3 0 2.34 2.29/2.35 o -4 2.349 2.29/2.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.36 c 0 5456 10718 37392 3 31156 55410 4 0 2.35 2.29/2.36 o -5 2.359 2.29/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.37 c 0 5456 10719 37592 3 31163 55810 5 0 2.36 2.29/2.37 o -6 2.368 2.29/2.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.38 c 0 5456 10720 37792 3 31171 56277 6 0 2.37 2.29/2.38 o -7 2.377 2.29/2.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.39 c 0 5456 10721 37992 3 31180 56810 7 0 2.38 2.29/2.39 o -8 2.39 2.69/2.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.79 c 2 5456 10724 38635 3 31194 56877 10 0 2.39 2.69/2.79 c 102 5456 10824 62399 5 31394 62565 110 40 2.52 2.69/2.79 c 352 5456 11074 133144 12 31894 68822 360 128 2.75 2.69/2.79 o -9 2.794 22.27/22.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.27/22.40 c 538 5456 11261 171687 15 32277 56943 547 192 2.80 22.27/22.40 c 638 5456 11361 196404 17 32477 62638 647 212 3.01 22.27/22.40 c 888 5456 11611 267973 23 32977 68902 897 266 3.33 22.27/22.40 c 1363 5456 12086 396297 32 33927 75793 1372 336 4.05 22.27/22.40 c 2176 5456 12899 625138 48 35553 83373 2185 414 5.25 22.27/22.40 c 3496 5456 14219 996625 70 38193 91711 3505 474 7.36 22.27/22.40 c 5577 5456 16300 1595916 97 42355 100883 5586 506 11.00 22.27/22.40 c 8800 5456 19523 2467116 126 48801 110972 8809 623 14.11 22.27/22.40 c 13736 5456 24459 4022817 164 58673 122070 13745 702 19.55 22.27/22.40 o -10 22.377 688.84/689.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 688.84/689.13 c 16684 5456 27408 5054497 184 64581 57010 16694 745 22.38 688.84/689.13 c 16784 5456 27508 5079200 184 64781 62712 16794 740 22.65 688.84/689.13 c 17035 5456 27759 5152918 185 65283 68984 17045 734 23.21 688.84/689.13 c 17510 5456 28234 5272356 186 66233 75883 17520 722 24.24 688.84/689.13 c 18323 5456 29047 5491641 189 67859 83472 18333 705 25.98 688.84/689.13 c 19643 5456 30367 5844795 192 70499 91820 19653 696 28.21 688.84/689.13 c 21724 5456 32448 6441829 198 74661 101003 21734 681 31.89 688.84/689.13 c 24947 5456 35671 7367475 206 81107 111104 24957 677 36.81 688.84/689.13 c 29883 5456 40607 8869722 218 90979 122215 29893 698 42.77 688.84/689.13 c 37389 5456 48113 10516601 218 105991 134437 37399 770 48.55 688.84/689.13 c 48750 5456 59474 13209541 222 128713 147881 48760 710 68.63 688.84/689.13 c 65894 5456 76618 17973177 234 163001 162670 65904 580 113.56 688.84/689.13 c 91713 5456 102437 25791443 251 214639 178938 91723 453 202.33 688.84/689.14 c 130545 5456 141269 36647595 259 292303 196832 130555 354 367.78 688.84/689.14 c 188897 5456 199621 53973945 270 409007 216516 188907 293 642.63 688.84/689.14 o -11 688.883 1150.49/1150.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1150.49/1150.97 c 199742 5456 210467 57373428 272 430710 57077 199753 289 688.89 1150.49/1150.97 c 199842 5456 23822 4060140 170 57365 62785 13108 197 1011.93 1150.49/1150.97 c 200092 5456 24072 4122647 171 57865 69064 13358 197 1012.63 1150.49/1150.97 c 200567 5456 24547 4252415 173 58815 75971 13833 197 1013.90 1150.49/1150.97 c 201380 5456 25360 4477576 176 60441 83569 14646 198 1015.99 1150.49/1150.97 c 202700 5456 26680 4853064 181 63081 91926 15966 198 1019.33 1150.49/1150.97 c 204781 5456 28761 5410505 188 67243 101119 18047 200 1023.47 1150.49/1150.97 c 208004 5456 31984 6337854 198 73689 111231 21270 202 1028.68 1150.49/1150.97 c 212940 5456 36920 7826371 211 83561 122355 26206 205 1034.71 1150.49/1150.97 c 220446 5456 44426 9593260 215 98573 134591 33712 210 1047.50 1150.49/1150.97 c 231807 5456 55787 13010510 233 121295 148051 45073 214 1079.03 1150.49/1150.97 c 248951 5456 72931 17986960 246 155583 162857 62217 220 1127.65 1150.49/1150.97 o -12 1150.57 1800.09/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.70 c 258316 5456 82297 20769636 252 174327 55343 71583 224 1150.58 1800.09/1800.70 c 258416 5456 22846 3552832 155 55414 60878 12132 221 1166.20 1800.09/1800.70 c 258666 5456 23096 3619215 156 55914 66966 12382 221 1166.72 1800.09/1800.70 c 259141 5456 23571 3742876 158 56864 73663 12857 221 1167.61 1800.09/1800.70 c 259954 5456 24384 3950211 162 58490 81030 13670 222 1168.89 1800.09/1800.70 c 261274 5456 25704 4304947 167 61130 89134 14990 223 1171.26 1800.09/1800.70 c 263355 5456 27785 4873793 175 65292 98048 17071 224 1174.53 1800.09/1800.70 c 266578 5456 31008 5757934 185 71738 107853 20294 226 1178.83 1800.09/1800.70 c 271514 5456 35944 7133731 198 81610 118639 25230 229 1184.17 1800.09/1800.70 c 279020 5456 43450 8987060 206 96622 130503 32736 232 1199.25 1800.09/1800.70 c 290381 5456 54811 12066962 220 119344 143554 44097 238 1215.58 1800.09/1800.70 c 307525 5456 71955 17035708 236 153632 157910 61241 243 1262.98 1800.09/1800.70 c 333344 5456 97774 23182674 237 205270 173702 87060 255 1306.35 1800.09/1800.70 c 372176 5456 136606 32998812 241 282934 191073 125892 264 1408.59 1800.09/1800.70 c 430528 5456 194958 48368179 248 399638 210181 184244 257 1669.00 1800.09/1800.70 c Caught signal: 15 1800.09/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.09/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 1800.09/1800.70 v -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 1800.09/1800.70 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1800.09/1800.70 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.09/1800.70 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.09/1800.70 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.09/1800.70 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.09/1800.70 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x276 -x366 -x211 -x273 -x277 -x233 -x321 -x250 -x274 -x382 -x212 1800.09/1800.70 v -x222 -x247 -x248 -x258 -x272 -x322 -x201 x227 x249 -x261 x399 -x221 x229 -x287 x215 -x206 -x205 x232 -x343 -x355 -x367 -x377 1800.09/1800.70 v -x202 -x280 -x374 -x332 -x384 -x253 -x368 -x347 -x328 -x237 -x265 -x203 -x285 -x309 -x400 -x362 -x341 -x254 -x238 -x266 -x290 1800.09/1800.70 v -x204 -x214 x236 -x224 -x208 -x294 -x216 -x223 -x353 -x372 -x386 -x389 -x354 -x324 -x228 x390 -x243 -x317 -x282 -x298 -x342 1800.09/1800.70 v -x381 -x234 -x269 -x289 -x340 x251 -x291 -x345 -x288 -x210 -x267 -x316 -x336 -x352 -x391 -x207 -x304 -x275 -x279 -x264 -x219 1800.09/1800.70 v -x295 -x235 -x392 -x359 -x379 -x225 -x252 -x299 -x383 -x209 -x344 -x315 -x320 -x302 -x371 -x259 -x318 -x351 -x313 -x325 -x263 1800.09/1800.70 v -x270 -x397 -x333 -x308 -x330 x373 -x327 -x395 -x281 -x346 -x369 -x380 -x213 -x268 -x396 -x278 -x242 -x293 -x319 -x364 -x335 1800.09/1800.70 v -x284 -x358 -x256 -x226 -x244 -x365 -x217 -x218 -x300 -x337 -x376 -x311 -x326 -x339 -x307 x329 -x246 -x312 -x348 -x286 -x310 1800.09/1800.70 v -x314 -x338 x296 -x230 -x241 -x220 -x361 -x357 -x245 -x301 -x305 -x388 -x349 -x257 -x393 -x323 -x356 -x292 -x334 -x306 -x231 1800.09/1800.70 v -x297 -x370 -x283 -x260 -x350 -x239 -x360 -x271 -x255 -x240 -x394 -x303 -x331 -x398 -x387 -x262 -x375 -x363 -x378 -x385 1800.09/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.70 c 61 461543 139 511051 224076 56367390 213362 256 1800.10 1800.09/1800.70 c Objective: -12 1800.09/1800.70 s SATISFIABLE 1800.09/1800.70 c Total time: 1800.1 s
OK -12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-455475-1178044109 -o ROOT/results/node58/solver-455475-1178044109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455475-1178044109/instance-455475-1178044109.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.89 1.09 1.08 3/64 14929 /proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=11812 CPUtime=0 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 252320558 12095488 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 2953 334 281 324 0 2003 0 [startup+0.097933 s] /proc/loadavg: 0.89 1.09 1.08 3/64 14929 /proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=6816 CPUtime=0.09 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1094 0 0 0 9 0 0 0 18 0 1 0 252320558 6979584 1044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 1704 1044 306 324 0 773 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6816 [startup+0.101933 s] /proc/loadavg: 0.89 1.09 1.08 3/64 14929 /proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=6816 CPUtime=0.09 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1094 0 0 0 9 0 0 0 18 0 1 0 252320558 6979584 1044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 1704 1044 306 324 0 773 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6816 [startup+0.301966 s] /proc/loadavg: 0.89 1.09 1.08 3/64 14929 /proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=6816 CPUtime=0.29 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1095 0 0 0 29 0 0 0 19 0 1 0 252320558 6979584 1045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 1704 1045 306 324 0 773 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6816 [startup+0.701033 s] /proc/loadavg: 0.89 1.09 1.08 3/64 14929 /proc/meminfo: memFree=1822352/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=6816 CPUtime=0.69 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1095 0 0 0 69 0 0 0 22 0 1 0 252320558 6979584 1045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 1704 1045 306 324 0 773 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6816 [startup+1.50117 s] /proc/loadavg: 0.89 1.09 1.08 2/65 14930 /proc/meminfo: memFree=1819336/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=6816 CPUtime=1.49 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1095 0 0 0 149 0 0 0 25 0 1 0 252320558 6979584 1045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 1704 1045 306 324 0 773 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6816 [startup+3.10143 s] /proc/loadavg: 0.90 1.08 1.08 2/65 14930 /proc/meminfo: memFree=1819208/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=9404 CPUtime=3.09 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 1998 0 0 0 305 4 0 0 25 0 1 0 252320558 9629696 1712 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 2351 1712 313 324 0 1420 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9404 [startup+6.30198 s] /proc/loadavg: 0.90 1.08 1.08 2/65 14930 /proc/meminfo: memFree=1811080/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=16996 CPUtime=6.28 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 3904 0 0 0 623 5 0 0 25 0 1 0 252320558 17403904 3618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14929/statm: 4249 3618 313 324 0 3318 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16996 [startup+12.701 s] /proc/loadavg: 0.92 1.08 1.08 2/65 14930 /proc/meminfo: memFree=1795608/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=32676 CPUtime=12.67 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 7828 0 0 0 1258 9 0 0 25 0 1 0 252320558 33460224 7542 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5312194 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 8169 7542 313 324 0 7238 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 32676 [startup+25.5012 s] /proc/loadavg: 0.93 1.08 1.07 2/65 14930 /proc/meminfo: memFree=1749344/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=77236 CPUtime=25.47 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 18956 0 0 0 2529 18 0 0 25 0 1 0 252320558 79089664 18670 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 19309 18670 313 324 0 18378 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 77236 [startup+51.1015 s] /proc/loadavg: 1.01 1.09 1.08 2/65 14930 /proc/meminfo: memFree=1674912/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=153128 CPUtime=51.04 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 37950 0 0 0 5071 33 0 0 25 0 1 0 252320558 156803072 37664 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 38282 37664 313 324 0 37351 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 153128 [startup+102.306 s] /proc/loadavg: 1.00 1.07 1.07 2/65 14930 /proc/meminfo: memFree=1591904/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=234112 CPUtime=102.22 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 58172 0 0 0 10169 53 0 0 25 0 1 0 252320558 239730688 57886 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527360 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 58528 57886 313 324 0 57597 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 234112 [startup+162.301 s] /proc/loadavg: 1.00 1.06 1.07 2/65 14930 /proc/meminfo: memFree=1532320/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=293860 CPUtime=162.21 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 73140 0 0 0 16151 70 0 0 25 0 1 0 252320558 300912640 72854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 73465 72854 313 324 0 72534 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 293860 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.06 2/65 14930 /proc/meminfo: memFree=1467680/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=357948 CPUtime=222.19 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 89154 0 0 0 22132 87 0 0 25 0 1 0 252320558 366538752 88868 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 89487 88868 313 324 0 88556 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 357948 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.05 2/65 14930 /proc/meminfo: memFree=1406496/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=419784 CPUtime=282.17 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 104602 0 0 0 28112 105 0 0 25 0 1 0 252320558 429858816 104316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 104946 104316 313 324 0 104015 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 419784 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.05 2/65 14930 /proc/meminfo: memFree=1347872/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=477356 CPUtime=342.15 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 119009 0 0 0 34095 120 0 0 25 0 1 0 252320558 488812544 118723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 119339 118723 313 324 0 118408 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 477356 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.04 2/65 14930 /proc/meminfo: memFree=1319392/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=506640 CPUtime=402.13 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 126309 0 0 0 40084 129 0 0 25 0 1 0 252320558 518799360 126023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 126660 126023 313 324 0 125729 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 506640 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.04 2/65 14930 /proc/meminfo: memFree=1268704/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=556652 CPUtime=462.11 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 138815 0 0 0 46067 144 0 0 25 0 1 0 252320558 570011648 138529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 139163 138529 313 324 0 138232 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 556652 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.03 2/65 14930 /proc/meminfo: memFree=1224736/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=601368 CPUtime=522.09 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 150006 0 0 0 52053 156 0 0 25 0 1 0 252320558 615800832 149720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551279 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 150342 149720 313 324 0 149411 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 601368 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.02 2/65 14930 /proc/meminfo: memFree=1164832/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=660488 CPUtime=582.07 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 164777 0 0 0 58036 171 0 0 25 0 1 0 252320558 676339712 164491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 165122 164491 313 324 0 164191 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 660488 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.02 2/65 14930 /proc/meminfo: memFree=1111840/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=712800 CPUtime=642.06 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 177873 0 0 0 64020 186 0 0 25 0 1 0 252320558 729907200 177587 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 178200 177587 313 324 0 177269 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 712800 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066848/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=881.98 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 87997 201 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 757684 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066848/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=941.96 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 93995 201 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 757684 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066848/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1001.94 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 99993 201 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 757684 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1061.91 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 105986 205 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 757684 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1121.9 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 111979 211 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 757684 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1181.88 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 117975 213 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 757684 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1241.86 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 123968 218 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 757684 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1301.84 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 129963 221 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 757684 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1361.82 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 135955 227 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 757684 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066784/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1421.81 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 141949 232 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5304022 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 757684 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1481.78 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 147943 235 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 757684 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1541.76 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 153936 240 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 757684 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1601.74 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 159932 242 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 757684 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066656/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1661.73 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 165928 245 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 757684 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066720/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757684 CPUtime=1721.71 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189290 0 0 0 171922 249 0 0 25 0 1 0 252320558 775868416 188808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189421 188808 313 324 0 188490 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 757684 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066400/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757744 CPUtime=1781.69 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189516 0 0 0 177916 253 0 0 25 0 1 0 252320558 775929856 188823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189436 188823 313 324 0 188505 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 757744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066464/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=757744 CPUtime=1800.09 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194304 189516 0 0 0 179756 253 0 0 25 0 1 0 252320558 775929856 188823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 189436 188823 313 324 0 188505 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 757744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14932 /proc/meminfo: memFree=1066464/2055920 swapFree=4184476/4192956 [pid=14929] ppid=14927 vsize=0 CPUtime=1800.18 /proc/14929/stat : 14929 (bsolo3.0.16) R 14927 14929 2865 0 -1 4194308 189517 0 0 0 179756 262 0 0 25 0 1 0 252320558 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/14929/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.83 CPU time (s): 1800.22 CPU user time (s): 1797.57 CPU system time (s): 2.6516 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 758588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.57 system time used= 2.6516 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 189517 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= 2015 runsolver used 1.3368 second user time and 3.59645 second system time The end
Begin job on node58 on Tue May 1 18:28:29 UTC 2007 IDJOB= 455475 IDBENCH= 48266 IDSOLVER= 163 FILE ID= node58/455475-1178044109 PBS_JOBID= 4728404 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455475-1178044109/instance-455475-1178044109.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-455475-1178044109 -o ROOT/results/node58/solver-455475-1178044109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455475-1178044109/instance-455475-1178044109.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 996170804397234947041ed4d87d3aa0 RANDOM SEED= 925696706 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1822760 kB Buffers: 78740 kB Cached: 75276 kB SwapCached: 2180 kB Active: 125164 kB Inactive: 43648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822760 kB SwapTotal: 4192956 kB SwapFree: 4184476 kB Dirty: 6828 kB Writeback: 0 kB Mapped: 19892 kB Slab: 50416 kB Committed_AS: 4460276 kB PageTables: 1392 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 node58 on Tue May 1 18:58:32 UTC 2007