Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -14 | 1800.03 | 1800.51 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_5.opb |
MD5SUM | ae2bd1e13f1871c16ad2ebb51fc6f92a |
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 | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 2504 |
Sum of products size (including duplicates) | 5008 |
Number of different products | 1252 |
Sum of products size | 2504 |
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/455460-1178043875/instance-455460-1178043875.opb 0.00/0.00 c File size is 36113 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.015 s 0.00/0.02 c Var: 2704 Constr: 5310 2604/202/2504 Lit: 18128 Watch. Lit: 15426 0.00/0.02 c Obj. Vars: 100 (3.69822 % of total variables) 0.89/0.98 c Pre-processing Time: 0.979 s 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2704 5310 18128 3 15426 27834 0 0 0.98 0.89/0.98 c Switching off LPR mode. 0.89/0.98 o -1 0.983 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 2704 5311 18228 3 15429 27901 1 0 0.98 0.89/0.99 o -2 0.987 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 2704 5312 18328 3 15433 28001 2 0 0.99 0.89/0.99 o -3 0.991 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 2704 5313 18428 3 15438 28134 3 0 0.99 0.89/0.99 o -4 0.994 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 0 2704 5314 18528 3 15444 28301 4 0 0.99 0.99/1.00 o -5 0.998 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 0 2704 5315 18628 3 15451 28501 5 0 1.00 0.99/1.00 o -6 1.002 0.99/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.07 c 4 2704 5320 19183 3 15467 28534 10 3 1.00 0.99/1.07 c 104 2704 5420 31552 5 15667 31388 110 100 1.04 0.99/1.07 o -7 1.071 1.89/1.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.91 c 323 2704 5640 61174 10 16114 28568 330 301 1.07 1.89/1.91 c 423 2704 5740 75006 13 16314 31425 430 379 1.11 1.89/1.91 c 673 2704 5990 110249 18 16814 34568 680 560 1.20 1.89/1.91 c 1148 2704 6465 169548 26 17764 38025 1155 875 1.31 1.89/1.91 c 1961 2704 7278 281452 38 19390 41828 1968 1285 1.52 1.89/1.91 o -8 1.908 122.46/122.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 122.46/122.55 c 3212 2704 8530 483588 56 21902 28601 3220 1682 1.91 122.46/122.55 c 3312 2704 8630 493601 57 22102 31462 3320 1716 1.93 122.46/122.55 c 3562 2704 8880 518646 58 22602 34609 3570 1805 1.97 122.46/122.55 c 4037 2704 9355 566286 60 23552 38070 4045 1962 2.06 122.46/122.55 c 4850 2704 10168 649587 63 25178 41878 4858 2203 2.20 122.46/122.55 c 6170 2704 11488 787931 68 27818 46066 6178 2527 2.44 122.46/122.55 c 8251 2704 13569 999141 73 31980 50673 8259 2915 2.83 122.46/122.55 c 11474 2704 16792 1352933 80 38426 55741 11482 3086 3.72 122.46/122.55 c 16410 2704 21728 1951471 89 48298 61316 16418 2675 6.13 122.46/122.55 c 23916 2704 29234 2918326 99 63310 67448 23924 2058 11.62 122.46/122.55 c 35277 2704 40595 4582154 112 86032 74193 35285 1535 22.97 122.46/122.55 c 52421 2704 57739 7211257 124 120320 81613 52429 1057 49.56 122.46/122.55 c 78240 2704 83558 10933270 130 171958 89775 78248 720 108.58 122.46/122.55 o -9 122.519 203.35/203.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 203.35/203.41 c 83762 2704 89081 11665057 130 183013 28634 83771 683 122.52 203.35/203.41 c 83862 2704 17551 1756375 100 39917 31498 12241 516 162.25 203.35/203.41 c 84112 2704 17801 1787342 100 40417 34648 12491 517 162.55 203.35/203.41 c 84587 2704 18276 1850058 101 41367 38113 12966 518 163.02 203.35/203.41 c 85400 2704 19089 1957526 102 42993 41925 13779 521 163.63 203.35/203.41 c 86720 2704 20409 2131763 104 45633 46118 15099 527 164.40 203.35/203.41 c 88801 2704 22490 2386082 106 49795 50730 17180 533 166.37 203.35/203.41 c 92025 2704 25714 2804968 109 56243 55804 20404 544 169.14 203.35/203.41 c 96961 2704 30650 3428770 111 66115 61385 25340 559 173.19 203.35/203.41 c 104467 2704 38156 4401965 115 81127 67524 32846 575 181.61 203.35/203.41 c 115829 2704 49518 6031645 121 103851 74277 44208 592 195.52 203.35/203.41 o -10 203.355 393.19/393.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 393.19/393.37 c 120432 2704 54122 6654426 122 113069 28201 48812 592 203.36 393.19/393.37 c 120532 2704 17011 1711548 100 38838 31022 11701 571 211.06 393.19/393.37 c 120782 2704 17261 1736824 100 39338 34125 11951 571 211.21 393.19/393.37 c 121257 2704 17736 1789695 100 40288 37538 12426 573 211.51 393.19/393.37 c 122070 2704 18549 1890643 101 41914 41292 13239 575 212.17 393.19/393.37 c 123390 2704 19869 2056333 103 44554 45422 14559 578 213.12 393.19/393.37 c 125471 2704 21950 2320006 105 48716 49965 16640 584 214.60 393.19/393.37 c 128694 2704 25173 2705893 107 55162 54962 19863 593 216.73 393.19/393.37 c 133630 2704 30109 3241851 107 65034 60459 24799 608 219.72 393.19/393.37 c 141136 2704 37615 4072239 108 80046 66505 32305 627 224.97 393.19/393.37 c 152497 2704 48976 5489497 112 102768 73156 43666 650 234.30 393.19/393.37 c 169641 2704 66120 7566672 114 137056 80472 60810 663 255.53 393.19/393.37 c 195460 2704 21022 2375594 113 46860 88520 15712 615 317.68 393.19/393.37 c 234292 2704 59854 7400945 123 124524 97373 54544 641 365.38 393.19/393.37 o -11 393.266 455.27/455.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 455.27/455.49 c 257172 2704 82735 10159315 122 170297 28234 77425 653 393.27 455.27/455.49 c 257272 2704 17460 1477659 84 39737 31058 12150 569 451.49 455.27/455.49 c 257522 2704 17710 1509028 85 40237 34164 12400 570 451.64 455.27/455.49 c 257997 2704 18185 1578183 86 41187 37581 12875 570 451.92 455.27/455.49 c 258810 2704 18998 1677356 88 42813 41340 13688 571 452.49 455.27/455.49 c 260130 2704 20318 1838926 90 45453 45475 15008 573 453.22 455.27/455.49 c 262211 2704 22399 2077845 92 49615 50023 17089 576 454.52 455.27/455.49 o -12 455.376 1116.21/1116.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1116.21/1116.52 c 264635 2704 24824 2347663 94 54477 28268 19514 581 455.38 1116.21/1116.52 c 264735 2704 24924 2359315 94 54677 31095 19614 581 455.47 1116.21/1116.52 c 264985 2704 25174 2387872 94 55177 34205 19864 581 455.64 1116.21/1116.52 c 265460 2704 25649 2442071 95 56127 37626 20339 582 455.93 1116.21/1116.52 c 266273 2704 26462 2545092 96 57753 41389 21152 583 456.37 1116.21/1116.52 c 267593 2704 27782 2691619 96 60393 45528 22472 585 457.11 1116.21/1116.52 c 269674 2704 29863 2935835 98 64555 50081 24553 588 458.44 1116.21/1116.52 c 272897 2704 33086 3277462 99 71001 55090 27776 593 460.14 1116.21/1116.52 c 277833 2704 38022 3837757 100 80873 60600 32712 598 463.98 1116.21/1116.52 c 285339 2704 45528 4739937 104 95885 66661 40218 603 472.82 1116.21/1116.52 c 296700 2704 56889 6091961 107 118607 73328 51579 615 481.86 1116.21/1116.52 c 313844 2704 74033 8267364 111 152895 80661 68723 623 503.24 1116.21/1116.52 c 339663 2704 28756 2820146 98 62330 88728 23446 596 569.19 1116.21/1116.52 c 378495 2704 67588 7457821 110 139994 97601 62278 619 610.75 1116.21/1116.52 c 436847 2704 38099 3629957 95 81016 107362 32789 534 817.46 1116.21/1116.52 c 524479 2704 28464 2814986 98 61746 118099 23154 492 1065.52 1116.21/1116.52 o -13 1116.23 1172.59/1172.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1172.59/1172.92 c 569821 2704 73807 8042951 108 152445 28301 68497 510 1116.24 1172.59/1172.92 c 569921 2704 17393 1531263 88 39605 31132 12083 491 1159.45 1172.59/1172.92 c 570172 2704 17644 1564085 88 40107 34246 12334 491 1159.62 1172.59/1172.92 c 570647 2704 18119 1628549 89 41057 37671 12809 492 1159.85 1172.59/1172.92 c 571460 2704 18932 1713101 90 42683 41439 13622 492 1160.23 1172.59/1172.92 c 572780 2704 20252 1850778 91 45323 45583 14942 493 1160.84 1172.59/1172.92 c 574861 2704 22333 2080100 93 49485 50142 17023 494 1162.23 1172.59/1172.92 c 578084 2704 25556 2433238 95 55931 55157 20246 496 1164.03 1172.59/1172.92 c 583020 2704 30492 2936897 96 65803 60673 25182 499 1166.34 1172.59/1172.92 c 590526 2704 37998 3778354 99 80815 66741 32688 503 1172.11 1172.59/1172.92 o -14 1172.61 1799.93/1800.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.47 c 591081 2704 38554 3844213 99 81941 28334 33244 504 1172.62 1799.93/1800.47 c 591181 2704 16627 1253997 75 38074 31168 11317 501 1178.31 1799.93/1800.47 c 591431 2704 16877 1280315 75 38574 34285 11567 501 1178.42 1799.93/1800.47 c 591906 2704 17352 1330561 76 39524 37714 12042 502 1178.63 1799.93/1800.47 c 592719 2704 18165 1418213 78 41150 41486 12855 502 1178.99 1799.93/1800.47 c 594039 2704 19485 1559056 80 43790 45635 14175 503 1179.49 1799.93/1800.47 c 596120 2704 21566 1771786 82 47952 50199 16256 505 1180.17 1799.93/1800.47 c 599343 2704 24789 2113242 85 54398 55219 19479 507 1181.43 1799.93/1800.47 c 604279 2704 29725 2668940 89 64270 60741 24415 510 1183.67 1799.93/1800.47 c 611785 2704 37231 3448120 92 79282 66816 31921 515 1186.71 1799.93/1800.47 c 623146 2704 48592 4615558 94 102004 73498 43282 522 1192.18 1799.93/1800.47 c 640290 2704 65736 6431500 97 136292 80848 60426 531 1205.34 1799.93/1800.47 c 666109 2704 20408 1760644 86 45636 88933 15098 526 1265.50 1799.93/1800.47 c 704941 2704 59240 6048934 102 123300 97827 53930 544 1294.80 1799.93/1800.47 c 763293 2704 29556 2780475 94 63932 107610 24246 509 1497.52 1799.93/1800.47 c 850925 2704 19458 1730427 88 43736 118372 14148 492 1726.88 1799.93/1800.47 c Resources Exceeded 1799.93/1800.47 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 1799.93/1800.47 v -x30 -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 1799.93/1800.47 v -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 1799.93/1800.47 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x176 -x166 -x111 -x173 -x177 -x133 1799.93/1800.47 v -x121 -x150 -x174 -x182 -x112 -x123 -x132 -x149 -x152 -x155 -x167 -x189 -x101 x127 -x161 -x199 x129 -x187 x115 -x106 -x105 1799.93/1800.47 v -x110 -x114 x135 -x171 -x102 -x180 -x184 -x153 -x168 -x147 -x128 x185 -x137 -x141 -x146 -x178 -x194 -x103 -x109 -x200 -x162 1799.93/1800.47 v -x172 -x154 -x138 -x108 -x140 -x179 -x193 -x104 -x136 -x124 -x116 -x186 x190 -x143 -x117 -x134 x169 -x151 -x191 -x145 -x188 1799.93/1800.47 v x118 -x181 -x107 -x175 -x164 -x120 -x142 -x144 -x195 x192 -x159 -x119 -x125 -x126 x130 -x158 x163 x113 -x170 -x197 -x198 -x122 1799.93/1800.47 v x165 -x196 -x156 -x131 -x183 x157 -x160 -x139 -x148 1799.93/1800.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.47 c 99 910919 154 934290 79452 9629497 74142 506 1800.00 1799.93/1800.47 c Objective: -14 1799.93/1800.47 s SATISFIABLE 1799.93/1800.47 c Total time: 1800 s
OK -14
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-455460-1178043875 -o ROOT/results/node34/solver-455460-1178043875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455460-1178043875/instance-455460-1178043875.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.85 0.97 0.98 3/77 24557 /proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=11772 CPUtime=0 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 252302918 12054528 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 2943 345 291 324 0 2003 0 [startup+0.0885 s] /proc/loadavg: 0.85 0.97 0.98 3/77 24557 /proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=5308 CPUtime=0.08 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 742 0 0 0 8 0 0 0 18 0 1 0 252302918 5435392 702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 1327 702 306 324 0 396 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5308 [startup+0.101502 s] /proc/loadavg: 0.85 0.97 0.98 3/77 24557 /proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=5308 CPUtime=0.09 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 742 0 0 0 9 0 0 0 18 0 1 0 252302918 5435392 702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 1327 702 306 324 0 396 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5308 [startup+0.301516 s] /proc/loadavg: 0.85 0.97 0.98 3/77 24557 /proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=5308 CPUtime=0.29 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 742 0 0 0 29 0 0 0 19 0 1 0 252302918 5435392 702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 1327 702 306 324 0 396 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5308 [startup+0.701548 s] /proc/loadavg: 0.85 0.97 0.98 3/77 24557 /proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=5308 CPUtime=0.69 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 742 0 0 0 69 0 0 0 23 0 1 0 252302918 5435392 702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 1327 702 306 324 0 396 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5308 [startup+1.50161 s] /proc/loadavg: 0.85 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1848232/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=8768 CPUtime=1.49 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 1672 0 0 0 147 2 0 0 25 0 1 0 252302918 8978432 1585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 2192 1586 313 324 0 1261 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8768 [startup+3.10175 s] /proc/loadavg: 0.86 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1840552/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=20260 CPUtime=3.09 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 4523 0 0 0 305 4 0 0 25 0 1 0 252302918 20746240 4436 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 5065 4437 313 324 0 4134 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20260 [startup+6.30199 s] /proc/loadavg: 0.86 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1823976/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=32228 CPUtime=6.29 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 7534 0 0 0 622 7 0 0 25 0 1 0 252302918 33001472 7447 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 8057 7447 313 324 0 7126 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32228 [startup+12.7015 s] /proc/loadavg: 0.88 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1808056/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=46940 CPUtime=12.68 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 11195 0 0 0 1257 11 0 0 25 0 1 0 252302918 48066560 11108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 11735 11108 313 324 0 10804 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46940 [startup+25.5015 s] /proc/loadavg: 0.90 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1782008/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=72072 CPUtime=25.48 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 17496 0 0 0 2532 16 0 0 25 0 1 0 252302918 73801728 17409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 18018 17409 313 324 0 17087 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 72072 [startup+51.1015 s] /proc/loadavg: 0.93 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1750136/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=104172 CPUtime=51.07 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 25521 0 0 0 5080 27 0 0 25 0 1 0 252302918 106672128 25434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 26043 25434 313 324 0 25112 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 104172 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1705720/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=147964 CPUtime=102.27 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 36454 0 0 0 10183 44 0 0 25 0 1 0 252302918 151515136 36367 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 36991 36367 313 324 0 36060 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 147964 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=162924 CPUtime=162.25 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40267 0 0 0 16174 51 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 40731 40098 313 324 0 39800 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 162924 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=162924 CPUtime=222.23 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 22166 57 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 40731 40098 313 324 0 39800 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 162924 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=162924 CPUtime=282.22 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 28157 65 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 40731 40098 313 324 0 39800 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 162924 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=162924 CPUtime=342.2 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 34149 71 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 40731 40098 313 324 0 39800 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 162924 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=162924 CPUtime=402.19 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 40142 77 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 40731 40098 313 324 0 39800 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 162924 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1690552/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=162924 CPUtime=462.17 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 46137 80 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 40731 40098 313 324 0 39800 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 162924 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1690552/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=162924 CPUtime=522.16 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 52128 88 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 40731 40098 313 324 0 39800 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 162924 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1690552/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=162916 CPUtime=582.15 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 58124 91 0 0 25 0 1 0 252302918 166825984 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 40729 40098 313 324 0 39798 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 162916 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24558 /proc/meminfo: memFree=1690552/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=162916 CPUtime=642.13 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 64116 97 0 0 25 0 1 0 252302918 166825984 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 40729 40098 313 324 0 39798 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 162916 ################ # More data... # ################ [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24560 /proc/meminfo: memFree=1673016/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=180092 CPUtime=1181.99 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 118063 136 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 45023 44403 313 324 0 44092 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 180092 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24560 /proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=180092 CPUtime=1241.97 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 124054 143 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 45023 44403 313 324 0 44092 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 180092 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24560 /proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=180092 CPUtime=1301.95 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 130046 149 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 45023 44403 313 324 0 44092 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 180092 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24560 /proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=180092 CPUtime=1361.94 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 136039 155 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 45023 44403 313 324 0 44092 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 180092 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24560 /proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=180092 CPUtime=1421.92 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 142036 156 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 45023 44403 313 324 0 44092 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 180092 [startup+1482.3 s] /proc/loadavg: 1.09 1.00 0.99 2/78 24560 /proc/meminfo: memFree=1673016/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=180092 CPUtime=1481.91 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 148034 157 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 45023 44403 313 324 0 44092 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 180092 [startup+1542.3 s] /proc/loadavg: 1.03 1.00 0.99 2/78 24560 /proc/meminfo: memFree=1673016/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=180092 CPUtime=1541.89 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 154026 163 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 45023 44403 313 324 0 44092 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 180092 [startup+1602.3 s] /proc/loadavg: 1.01 1.00 0.99 2/78 24560 /proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=180072 CPUtime=1601.87 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 160018 169 0 0 25 0 1 0 252302918 184393728 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 45018 44403 313 324 0 44087 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 180072 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24560 /proc/meminfo: memFree=1668280/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=184584 CPUtime=1661.86 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 46115 0 0 0 166011 175 0 0 25 0 1 0 252302918 189014016 45517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 46146 45517 313 324 0 45215 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 184584 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24560 /proc/meminfo: memFree=1668280/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=184584 CPUtime=1721.84 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 46115 0 0 0 172009 175 0 0 25 0 1 0 252302918 189014016 45517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 46146 45517 313 324 0 45215 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 184584 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24560 /proc/meminfo: memFree=1668280/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=184584 CPUtime=1781.83 /proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 46115 0 0 0 177999 184 0 0 25 0 1 0 252302918 189014016 45517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24557/statm: 46146 45517 313 324 0 45215 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 184584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24560 /proc/meminfo: memFree=1668280/2055920 swapFree=4158948/4192956 [pid=24557] ppid=24555 vsize=0 CPUtime=1800.03 /proc/24557/stat : 24557 (bsolo3.0.16) D 24555 24557 22931 0 -1 4194308 46116 0 0 0 179814 189 0 0 25 0 1 0 252302918 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/24557/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.03 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1800.03 s) to the 'lost time'. [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 1/77 24560 /proc/meminfo: memFree=1849408/2055920 swapFree=4158948/4192956 [pid=24557] ppid=-1 vsize=0 CPUtime=0 /proc/24557/stat : -- couldn't open stat file --/proc/24557/statm: 1339 240 199 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 1/77 24560 /proc/meminfo: memFree=1849408/2055920 swapFree=4158948/4192956 [pid=24557] ppid=-1 vsize=0 CPUtime=0 /proc/24557/stat : -- couldn't open stat file --/proc/24557/statm: 1339 240 199 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 1/77 24560 /proc/meminfo: memFree=1849408/2055920 swapFree=4158948/4192956 [pid=24557] ppid=-1 vsize=0 CPUtime=0 /proc/24557/stat : -- couldn't open stat file --/proc/24557/statm: 1339 240 199 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 24557 and gives # childrusage.ru_utime.tv_sec=1798 # childrusage.ru_utime.tv_usec=141640 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=894711 # CPU time returned by wait4() is 1800.04 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.03 # lost CPU user time (s): 1798.14 # lost CPU system time (s): 1.89 Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1798.14 CPU system time (s): 1.89 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 185016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.14 system time used= 1.89471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46116 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= 38729 runsolver used 1.44178 second user time and 3.80342 second system time The end
Begin job on node34 on Tue May 1 18:24:35 UTC 2007 IDJOB= 455460 IDBENCH= 48265 IDSOLVER= 163 FILE ID= node34/455460-1178043875 PBS_JOBID= 4728413 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_100_10_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455460-1178043875/instance-455460-1178043875.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-455460-1178043875 -o ROOT/results/node34/solver-455460-1178043875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455460-1178043875/instance-455460-1178043875.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= ae2bd1e13f1871c16ad2ebb51fc6f92a RANDOM SEED= 212006502 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1850632 kB Buffers: 51444 kB Cached: 65800 kB SwapCached: 3048 kB Active: 64932 kB Inactive: 76924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850632 kB SwapTotal: 4192956 kB SwapFree: 4158948 kB Dirty: 6804 kB Writeback: 0 kB Mapped: 30844 kB Slab: 48740 kB Committed_AS: 4352184 kB PageTables: 1980 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 node34 on Tue May 1 18:54:35 UTC 2007