Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 74 | 1800.17 | 1800.88 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_4.opb |
MD5SUM | 7603a459a5769ea7e43f52c522eb87aa |
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 | 68 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 68 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6326 |
Sum of products size (including duplicates) | 12652 |
Number of different products | 6326 |
Sum of products size | 12652 |
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/453261-1178126636/instance-453261-1178126636.opb 0.00/0.00 c File size is 96776 bytes. 0.05/0.06 c Highest Coefficient sum: 500 0.05/0.06 c Parsing was ok!! 0.05/0.06 c Total parsing time: 0.06 s 0.05/0.07 c Var: 6826 Constr: 13152 6826/0/6326 Lit: 44782 Watch. Lit: 32630 0.05/0.07 c Obj. Vars: 500 (7.32493 % of total variables) 0.19/0.28 c Pre-processing Time: 0.284 s 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 6826 13152 44782 3 32630 40231 0 0 0.28 0.19/0.28 c Switching off LPR mode. 0.19/0.29 o 499 0.291 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 6826 13153 45282 3 32633 40564 1 0 0.29 0.29/0.30 o 498 0.301 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 6826 13154 45782 3 32637 41064 2 0 0.30 0.29/0.31 o 497 0.312 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 6826 13155 46282 3 32642 41731 3 0 0.32 0.29/0.32 o 496 0.322 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 6826 13156 46782 3 32648 42564 4 0 0.32 0.29/0.33 o 495 0.333 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 6826 13157 47282 3 32655 43564 5 0 0.34 0.29/0.34 o 494 0.344 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 6826 13158 47782 3 32663 44564 6 0 0.35 0.29/0.35 o 493 0.355 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 6826 13159 48282 3 32672 45564 7 0 0.36 0.29/0.36 o 492 0.366 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 6826 13160 48782 3 32682 46564 8 0 0.37 0.29/0.37 o 491 0.374 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 6826 13161 49282 3 32693 47564 9 0 0.38 0.29/0.38 o 490 0.382 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 0 6826 13162 49782 3 32705 48564 10 0 0.39 0.29/0.39 o 489 0.393 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 0 6826 13163 50282 3 32718 49564 11 0 0.40 0.39/0.40 o 488 0.402 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 6826 13164 50782 3 32732 50564 12 0 0.41 0.39/0.41 o 487 0.411 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 6826 13165 51282 3 32747 51564 13 0 0.41 0.39/0.42 o 486 0.422 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 6826 13166 51782 3 32763 52564 14 0 0.42 0.39/0.43 o 485 0.431 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 6826 13167 52282 3 32780 53564 15 0 0.43 0.39/0.44 o 484 0.442 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 6826 13168 52782 4 32798 54564 16 0 0.45 0.39/0.45 o 483 0.45 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 6826 13169 53282 4 32817 55564 17 0 0.45 0.39/0.46 o 482 0.459 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 0 6826 13170 53782 4 32837 56564 18 0 0.46 0.39/0.47 o 481 0.468 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 1 6826 13172 54764 4 32860 56564 20 2 0.47 0.39/0.48 o 74 0.479 1800.09/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.80 c 1 6826 13173 55264 4 33288 56564 21 2 0.48 1800.09/1800.80 c 102 6826 13274 66848 5 33490 62221 122 198 0.51 1800.09/1800.80 c 352 6826 13524 96852 7 33990 68444 372 614 0.57 1800.09/1800.80 c 827 6826 13999 146152 10 34940 75289 847 1168 0.71 1800.09/1800.80 c 1641 6826 14813 235847 15 36568 82818 1661 1827 0.90 1800.09/1800.80 c 2961 6826 16133 393878 24 39208 91100 2981 2290 1.29 1800.09/1800.80 c 5042 6826 18214 609623 33 43370 100211 5062 2749 1.83 1800.09/1800.80 c 8265 6826 21437 958445 44 49816 110233 8285 2824 2.93 1800.09/1800.80 c 13201 6826 26373 1601882 60 59688 121257 13221 2460 5.37 1800.09/1800.80 c 20708 6826 33880 2566448 75 74702 133383 20728 2349 8.81 1800.09/1800.80 c 32070 6826 45242 3680403 81 97426 146722 32090 2117 15.14 1800.09/1800.80 c 49214 6826 62386 5609491 89 131714 161395 49234 1837 26.79 1800.09/1800.80 c 75033 6826 88205 8499644 96 183352 177535 75053 1478 50.75 1800.09/1800.80 c 113866 6826 127038 12743369 100 261018 195289 113886 980 116.09 1800.09/1800.80 c 172218 6826 185390 19299487 104 377722 214818 172238 721 238.81 1800.09/1800.80 c 259850 6826 66879 6496634 97 140510 236300 53727 598 434.07 1800.09/1800.80 c 391403 6826 198432 22410321 112 403616 259931 185280 498 785.56 1800.09/1800.80 c 588835 6826 144548 16081098 111 295848 285925 131396 367 1601.88 1800.09/1800.80 c Caught signal: 15 1800.09/1800.80 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 x31 x32 1800.09/1800.80 v 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 -x58 1800.09/1800.80 v -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 1800.09/1800.80 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.09/1800.80 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 x122 -x123 -x124 x125 x126 -x127 x128 -x129 x130 1800.09/1800.80 v x131 x132 x133 x134 x135 x136 -x137 x138 x139 x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1800.09/1800.80 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1800.09/1800.80 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 1800.09/1800.80 v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1800.09/1800.80 v -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 x235 x236 -x237 1800.09/1800.80 v x238 -x239 -x240 -x241 x242 x243 -x244 -x245 -x246 x247 x248 -x249 x250 x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 x259 1800.09/1800.80 v -x260 x261 x262 -x263 x264 x265 x266 -x267 -x268 x269 x270 -x271 -x272 -x273 x274 x275 -x276 -x277 x278 x279 x280 x281 x282 1800.09/1800.80 v x283 x284 x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 1800.09/1800.80 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 1800.09/1800.80 v -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 1800.09/1800.80 v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 1800.09/1800.80 v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1800.09/1800.80 v -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1800.09/1800.80 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 1800.09/1800.80 v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1800.09/1800.80 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 1800.09/1800.80 v -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 x492 1800.09/1800.80 v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1800.09/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.80 c 37 637145 238173 1197466 192858 22129293 179706 353 1800.10 1800.09/1800.80 c Objective: 74 1800.09/1800.80 s SATISFIABLE 1800.09/1800.80 c Total time: 1800.1 s
OK 74
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-453261-1178126636 -o ROOT/results/node13/solver-453261-1178126636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453261-1178126636/instance-453261-1178126636.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.99 1.00 1.00 3/77 13862 /proc/meminfo: memFree=1761792/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=11832 CPUtime=0 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 260581407 12115968 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 2958 333 279 324 0 2004 0 [startup+0.0613289 s] /proc/loadavg: 0.99 1.00 1.00 3/77 13862 /proc/meminfo: memFree=1761792/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=5940 CPUtime=0.05 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 860 0 0 0 5 0 0 0 18 0 1 0 260581407 6082560 830 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 1485 830 311 324 0 531 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5940 [startup+0.101337 s] /proc/loadavg: 0.99 1.00 1.00 3/77 13862 /proc/meminfo: memFree=1761792/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=7332 CPUtime=0.09 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 1220 0 0 0 8 1 0 0 18 0 1 0 260581407 7507968 1166 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 1833 1166 303 324 0 903 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7332 [startup+0.30138 s] /proc/loadavg: 0.99 1.00 1.00 3/77 13862 /proc/meminfo: memFree=1761792/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=7476 CPUtime=0.29 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 1583 0 0 0 27 2 0 0 19 0 1 0 260581407 7655424 1215 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 12312308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 1869 1215 309 324 0 939 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7476 [startup+0.702466 s] /proc/loadavg: 0.99 1.00 1.00 3/77 13862 /proc/meminfo: memFree=1761792/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=8776 CPUtime=0.69 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 1925 0 0 0 67 2 0 0 22 0 1 0 260581407 8986624 1557 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 2194 1557 310 324 0 1264 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8776 [startup+1.50164 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1754808/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=13452 CPUtime=1.49 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 3095 0 0 0 146 3 0 0 25 0 1 0 260581407 13774848 2727 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 3363 2727 310 324 0 2433 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13452 [startup+3.10198 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1748792/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=21016 CPUtime=3.1 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 4972 0 0 0 306 4 0 0 25 0 1 0 260581407 21520384 4604 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 5254 4604 310 324 0 4324 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 21016 [startup+6.30166 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1736184/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=33456 CPUtime=6.29 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 8094 0 0 0 624 5 0 0 25 0 1 0 260581407 34258944 7726 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 8364 7726 310 324 0 7434 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33456 [startup+12.702 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1714040/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=52436 CPUtime=12.68 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 12834 0 0 0 1260 8 0 0 25 0 1 0 260581407 53694464 12466 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 13109 12466 310 324 0 12179 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52436 [startup+25.5018 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1683896/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=81820 CPUtime=25.48 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 20168 0 0 0 2535 13 0 0 25 0 1 0 260581407 83783680 19800 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 20455 19800 310 324 0 19525 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81820 [startup+51.1012 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1641976/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=124852 CPUtime=51.07 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 30924 0 0 0 5085 22 0 0 25 0 1 0 260581407 127848448 30556 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 31213 30556 310 324 0 30283 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 124852 [startup+102.305 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1591736/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=173484 CPUtime=102.25 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 43109 0 0 0 10191 34 0 0 25 0 1 0 260581407 177647616 42741 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 43371 42741 310 324 0 42441 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 173484 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1532856/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=232940 CPUtime=162.23 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 57974 0 0 0 16174 49 0 0 25 0 1 0 260581407 238530560 57606 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 58235 57606 310 324 0 57305 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 232940 [startup+222.302 s] /proc/loadavg: 1.07 1.03 1.01 2/78 13863 /proc/meminfo: memFree=1500792/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=264224 CPUtime=222.21 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 65785 0 0 0 22164 57 0 0 25 0 1 0 260581407 270565376 65417 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 66056 65417 310 324 0 65126 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 264224 [startup+282.302 s] /proc/loadavg: 1.14 1.05 1.01 2/78 13863 /proc/meminfo: memFree=1443448/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=322352 CPUtime=282.18 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 80299 0 0 0 28149 69 0 0 25 0 1 0 260581407 330088448 79931 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 80588 79931 310 324 0 79658 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 322352 [startup+342.301 s] /proc/loadavg: 1.12 1.05 1.01 2/78 13863 /proc/meminfo: memFree=1412856/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=351648 CPUtime=342.16 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 87867 0 0 0 34140 76 0 0 25 0 1 0 260581407 360087552 87283 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 87912 87283 310 324 0 86982 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 351648 [startup+402.301 s] /proc/loadavg: 1.11 1.06 1.01 2/78 13863 /proc/meminfo: memFree=1412856/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=351648 CPUtime=402.13 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 87868 0 0 0 40137 76 0 0 25 0 1 0 260581407 360087552 87284 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 87912 87284 310 324 0 86982 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 351648 [startup+462.302 s] /proc/loadavg: 1.04 1.05 1.00 2/78 13863 /proc/meminfo: memFree=1412856/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=351648 CPUtime=462.11 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 87868 0 0 0 46134 77 0 0 25 0 1 0 260581407 360087552 87284 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 12312134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 87912 87284 310 324 0 86982 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 351648 [startup+522.302 s] /proc/loadavg: 1.01 1.03 1.00 2/78 13863 /proc/meminfo: memFree=1412856/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=351648 CPUtime=522.09 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 87868 0 0 0 52132 77 0 0 25 0 1 0 260581407 360087552 87284 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 87912 87284 310 324 0 86982 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 351648 [startup+582.302 s] /proc/loadavg: 1.00 1.03 1.00 2/78 13863 /proc/meminfo: memFree=1412920/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=351648 CPUtime=582.07 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 87868 0 0 0 58129 78 0 0 25 0 1 0 260581407 360087552 87284 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 87912 87284 310 324 0 86982 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 351648 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13863 /proc/meminfo: memFree=1412920/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=351648 CPUtime=642.04 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 87868 0 0 0 64126 78 0 0 25 0 1 0 260581407 360087552 87284 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 87912 87284 310 324 0 86982 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 351648 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1405304/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=360164 CPUtime=821.97 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 89968 0 0 0 82115 82 0 0 25 0 1 0 260581407 368807936 89384 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 90041 89384 310 324 0 89111 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 360164 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1365624/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=399164 CPUtime=881.94 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 99738 0 0 0 88102 92 0 0 25 0 1 0 260581407 408743936 99154 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 99791 99154 310 324 0 98861 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 399164 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1331320/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=433832 CPUtime=941.93 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 108385 0 0 0 94092 101 0 0 25 0 1 0 260581407 444243968 107801 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 108458 107801 310 324 0 107528 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 433832 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1001.9 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 100086 104 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 444416 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13863 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1061.88 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 106083 105 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 444416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319928/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1121.85 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 112080 105 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 444416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1181.83 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 118078 105 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 444416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1241.81 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 124075 106 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 444416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1301.79 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 130072 107 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134547635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 444416 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1320056/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1361.76 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 136069 107 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 444416 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1421.74 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 142067 107 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 444416 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1320056/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1481.71 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 148063 108 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 444416 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1541.69 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 154061 108 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 444416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1601.67 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 160058 109 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 444416 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1661.64 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 166055 109 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 444416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1721.62 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 172052 110 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 444416 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1781.59 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 178049 110 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 444416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13865 /proc/meminfo: memFree=1319992/2055920 swapFree=4159360/4192956 [pid=13862] ppid=13860 vsize=444416 CPUtime=1800.09 /proc/13862/stat : 13862 (bsolo3.0.17) R 13860 13862 13544 0 -1 4194304 111314 0 0 0 179899 110 0 0 25 0 1 0 260581407 455081984 110470 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13862/statm: 111104 110470 310 324 0 110174 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 444416 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.88 CPU time (s): 1800.17 CPU user time (s): 1798.99 CPU system time (s): 1.17782 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 445456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.99 system time used= 1.17782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111318 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= 2138 runsolver used 1.3118 second user time and 3.9774 second system time The end
Begin job on node13 on Wed May 2 17:23:56 UTC 2007 IDJOB= 453261 IDBENCH= 48118 IDSOLVER= 199 FILE ID= node13/453261-1178126636 PBS_JOBID= 4751046 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_500_10_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453261-1178126636/instance-453261-1178126636.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-453261-1178126636 -o ROOT/results/node13/solver-453261-1178126636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453261-1178126636/instance-453261-1178126636.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 7603a459a5769ea7e43f52c522eb87aa RANDOM SEED= 851417199 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1762264 kB Buffers: 88608 kB Cached: 106272 kB SwapCached: 12860 kB Active: 125624 kB Inactive: 99560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1762264 kB SwapTotal: 4192956 kB SwapFree: 4159360 kB Dirty: 6672 kB Writeback: 0 kB Mapped: 36120 kB Slab: 53948 kB Committed_AS: 9461896 kB PageTables: 1884 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 node13 on Wed May 2 17:53:59 UTC 2007