Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -14 | 1800.08 | 1800.54 |
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.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/455466-1178043992/instance-455466-1178043992.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.014 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.97 c Pre-processing Time: 0.973 s 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 2704 5310 18128 3 15426 27834 0 0 0.97 0.89/0.97 c Switching off LPR mode. 0.89/0.97 o -1 0.975 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2704 5311 18228 3 15429 27901 1 0 0.98 0.89/0.98 o -2 0.977 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2704 5312 18328 3 15433 28001 2 0 0.98 0.89/0.98 o -3 0.979 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2704 5313 18428 3 15438 28134 3 0 0.98 0.89/0.98 o -4 0.981 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2704 5314 18528 3 15444 28301 4 0 0.98 0.89/0.98 o -5 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 5315 18628 3 15451 28501 5 0 0.98 0.89/0.99 o -6 0.986 0.99/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.05 c 4 2704 5320 19183 3 15467 28534 10 4 0.99 0.99/1.05 c 104 2704 5420 31552 5 15667 31388 110 102 1.02 0.99/1.05 o -7 1.053 1.79/1.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.89 c 323 2704 5640 61174 10 16114 28568 330 306 1.05 1.79/1.89 c 423 2704 5740 75006 13 16314 31425 430 385 1.10 1.79/1.89 c 673 2704 5990 110249 18 16814 34568 680 568 1.18 1.79/1.89 c 1148 2704 6465 169548 26 17764 38025 1155 888 1.29 1.79/1.89 c 1961 2704 7278 281452 38 19390 41828 1968 1303 1.50 1.79/1.89 o -8 1.885 121.35/121.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.35/121.45 c 3212 2704 8530 483588 56 21902 28601 3220 1702 1.89 121.35/121.45 c 3312 2704 8630 493601 57 22102 31462 3320 1736 1.91 121.35/121.45 c 3562 2704 8880 518646 58 22602 34609 3570 1826 1.95 121.35/121.45 c 4037 2704 9355 566286 60 23552 38070 4045 1984 2.03 121.35/121.45 c 4850 2704 10168 649587 63 25178 41878 4858 2228 2.18 121.35/121.45 c 6170 2704 11488 787931 68 27818 46066 6178 2559 2.41 121.35/121.45 c 8251 2704 13569 999141 73 31980 50673 8259 2952 2.79 121.35/121.45 c 11474 2704 16792 1352933 80 38426 55741 11482 3121 3.68 121.35/121.45 c 16410 2704 21728 1951471 89 48298 61316 16418 2694 6.09 121.35/121.45 c 23916 2704 29234 2918326 99 63310 67448 23924 2073 11.54 121.35/121.45 c 35277 2704 40595 4582154 112 86032 74193 35285 1549 22.77 121.35/121.45 c 52421 2704 57739 7211257 124 120320 81613 52429 1066 49.13 121.35/121.45 c 78240 2704 83558 10933270 130 171958 89775 78248 727 107.59 121.35/121.45 o -9 121.409 201.63/201.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 201.63/201.79 c 83762 2704 89081 11665057 130 183013 28634 83771 689 121.41 201.63/201.79 c 83862 2704 17551 1756375 100 39917 31498 12241 520 161.01 201.63/201.79 c 84112 2704 17801 1787342 100 40417 34648 12491 521 161.31 201.63/201.79 c 84587 2704 18276 1850058 101 41367 38113 12966 522 161.77 201.63/201.79 c 85400 2704 19089 1957526 102 42993 41925 13779 525 162.37 201.63/201.79 c 86720 2704 20409 2131763 104 45633 46118 15099 531 163.14 201.63/201.79 c 88801 2704 22490 2386082 106 49795 50730 17180 537 165.10 201.63/201.79 c 92025 2704 25714 2804968 109 56243 55804 20404 548 167.84 201.63/201.79 c 96961 2704 30650 3428770 111 66115 61385 25340 564 171.85 201.63/201.79 c 104467 2704 38156 4401965 115 81127 67524 32846 579 180.19 201.63/201.79 c 115829 2704 49518 6031645 121 103851 74277 44208 597 193.97 201.63/201.79 o -10 201.734 389.78/389.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 389.78/389.95 c 120432 2704 54122 6654426 122 113069 28201 48812 596 201.74 389.78/389.95 c 120532 2704 17011 1711548 100 38838 31022 11701 575 209.49 389.78/389.95 c 120782 2704 17261 1736824 100 39338 34125 11951 576 209.63 389.78/389.95 c 121257 2704 17736 1789695 100 40288 37538 12426 577 209.94 389.78/389.95 c 122070 2704 18549 1890643 101 41914 41292 13239 579 210.59 389.78/389.95 c 123390 2704 19869 2056333 103 44554 45422 14559 583 211.52 389.78/389.95 c 125471 2704 21950 2320006 105 48716 49965 16640 589 212.99 389.78/389.95 c 128694 2704 25173 2705893 107 55162 54962 19863 598 215.09 389.78/389.95 c 133630 2704 30109 3241851 107 65034 60459 24799 612 218.05 389.78/389.95 c 141136 2704 37615 4072239 108 80046 66505 32305 632 223.24 389.78/389.95 c 152497 2704 48976 5489497 112 102768 73156 43666 656 232.46 389.78/389.95 c 169641 2704 66120 7566672 114 137056 80472 60810 669 253.44 389.78/389.95 c 195460 2704 21022 2375594 113 46860 88520 15712 620 315.20 389.78/389.95 c 234292 2704 59854 7400945 123 124524 97373 54544 646 362.32 389.78/389.95 o -11 389.843 451.77/451.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 451.77/451.98 c 257172 2704 82735 10159315 122 170297 28234 77425 659 389.85 451.77/451.98 c 257272 2704 17460 1477659 84 39737 31058 12150 574 448.03 451.77/451.98 c 257522 2704 17710 1509028 85 40237 34164 12400 574 448.17 451.77/451.98 c 257997 2704 18185 1578183 86 41187 37581 12875 575 448.45 451.77/451.98 c 258810 2704 18998 1677356 88 42813 41340 13688 576 449.02 451.77/451.98 c 260130 2704 20318 1838926 90 45453 45475 15008 578 449.74 451.77/451.98 c 262211 2704 22399 2077845 92 49615 50023 17089 581 451.02 451.77/451.98 o -12 451.865 1108.40/1108.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1108.40/1108.73 c 264635 2704 24824 2347663 94 54477 28268 19514 585 451.87 1108.40/1108.73 c 264735 2704 24924 2359315 94 54677 31095 19614 585 451.95 1108.40/1108.73 c 264985 2704 25174 2387872 94 55177 34205 19864 586 452.13 1108.40/1108.73 c 265460 2704 25649 2442071 95 56127 37626 20339 586 452.41 1108.40/1108.73 c 266273 2704 26462 2545092 96 57753 41389 21152 587 452.85 1108.40/1108.73 c 267593 2704 27782 2691619 96 60393 45528 22472 589 453.59 1108.40/1108.73 c 269674 2704 29863 2935835 98 64555 50081 24553 592 454.90 1108.40/1108.73 c 272897 2704 33086 3277462 99 71001 55090 27776 597 456.59 1108.40/1108.73 c 277833 2704 38022 3837757 100 80873 60600 32712 603 460.38 1108.40/1108.73 c 285339 2704 45528 4739937 104 95885 66661 40218 608 469.13 1108.40/1108.73 c 296700 2704 56889 6091961 107 118607 73328 51579 620 478.10 1108.40/1108.73 c 313844 2704 74033 8267364 111 152895 80661 68723 628 499.28 1108.40/1108.73 c 339663 2704 28756 2820146 98 62330 88728 23446 601 564.82 1108.40/1108.73 c 378495 2704 67588 7457821 110 139994 97601 62278 624 605.98 1108.40/1108.73 c 436847 2704 38099 3629957 95 81016 107362 32789 538 811.66 1108.40/1108.73 c 524479 2704 28464 2814986 98 61746 118099 23154 495 1058.25 1108.40/1108.73 o -13 1108.45 1164.29/1164.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1164.29/1164.63 c 569821 2704 73807 8042951 108 152445 28301 68497 514 1108.45 1164.29/1164.63 c 569921 2704 17393 1531263 88 39605 31132 12083 495 1151.33 1164.29/1164.63 c 570172 2704 17644 1564085 88 40107 34246 12334 495 1151.50 1164.29/1164.63 c 570647 2704 18119 1628549 89 41057 37671 12809 495 1151.73 1164.29/1164.63 c 571460 2704 18932 1713101 90 42683 41439 13622 496 1152.11 1164.29/1164.63 c 572780 2704 20252 1850778 91 45323 45583 14942 496 1152.71 1164.29/1164.63 c 574861 2704 22333 2080100 93 49485 50142 17023 498 1154.11 1164.29/1164.63 c 578084 2704 25556 2433238 95 55931 55157 20246 500 1155.90 1164.29/1164.63 c 583020 2704 30492 2936897 96 65803 60673 25182 503 1158.19 1164.29/1164.63 c 590526 2704 37998 3778354 99 80815 66741 32688 507 1163.85 1164.29/1164.63 o -14 1164.34 1800.05/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.50 c 591081 2704 38554 3844213 99 81941 28334 33244 507 1164.34 1800.05/1800.50 c 591181 2704 16627 1253997 75 38074 31168 11317 505 1170.03 1800.05/1800.50 c 591431 2704 16877 1280315 75 38574 34285 11567 505 1170.14 1800.05/1800.50 c 591906 2704 17352 1330561 76 39524 37714 12042 505 1170.35 1800.05/1800.50 c 592719 2704 18165 1418213 78 41150 41486 12855 506 1170.70 1800.05/1800.50 c 594039 2704 19485 1559056 80 43790 45635 14175 507 1171.21 1800.05/1800.50 c 596120 2704 21566 1771786 82 47952 50199 16256 508 1171.89 1800.05/1800.50 c 599343 2704 24789 2113242 85 54398 55219 19479 510 1173.14 1800.05/1800.50 c 604279 2704 29725 2668940 89 64270 60741 24415 514 1175.38 1800.05/1800.50 c 611785 2704 37231 3448120 92 79282 66816 31921 519 1178.40 1800.05/1800.50 c 623146 2704 48592 4615558 94 102004 73498 43282 526 1183.78 1800.05/1800.50 c 640290 2704 65736 6431500 97 136292 80848 60426 534 1196.88 1800.05/1800.50 c 666109 2704 20408 1760644 86 45636 88933 15098 530 1256.72 1800.05/1800.50 c 704941 2704 59240 6048934 102 123300 97827 53930 548 1285.72 1800.05/1800.50 c 763293 2704 29556 2780475 94 63932 107610 24246 513 1487.51 1800.05/1800.50 c 850925 2704 19458 1730427 88 43736 118372 14148 495 1715.85 1800.05/1800.50 c Caught signal: 15 1800.05/1800.50 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 1800.05/1800.50 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 1800.05/1800.50 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 1800.05/1800.50 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 1800.05/1800.50 v -x121 -x150 -x174 -x182 -x112 -x123 -x132 -x149 -x152 -x155 -x167 -x189 -x101 x127 -x161 -x199 x129 -x187 x115 -x106 -x105 1800.05/1800.50 v -x110 -x114 x135 -x171 -x102 -x180 -x184 -x153 -x168 -x147 -x128 x185 -x137 -x141 -x146 -x178 -x194 -x103 -x109 -x200 -x162 1800.05/1800.50 v -x172 -x154 -x138 -x108 -x140 -x179 -x193 -x104 -x136 -x124 -x116 -x186 x190 -x143 -x117 -x134 x169 -x151 -x191 -x145 -x188 1800.05/1800.50 v x118 -x181 -x107 -x175 -x164 -x120 -x142 -x144 -x195 x192 -x159 -x119 -x125 -x126 x130 -x158 x163 x113 -x170 -x197 -x198 -x122 1800.05/1800.50 v x165 -x196 -x156 -x131 -x183 x157 -x160 -x139 -x148 1800.05/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.50 c 99 917286 154 940658 85819 10518486 80509 509 1800.05 1800.05/1800.50 c Objective: -14 1800.05/1800.50 s SATISFIABLE 1800.05/1800.50 c Total time: 1800.05 s
OK -14
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-455466-1178043992 -o ROOT/results/node14/solver-455466-1178043992 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455466-1178043992/instance-455466-1178043992.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.78 0.95 0.98 3/77 19328 /proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=3960 CPUtime=0 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 252317000 4055040 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 990 347 289 324 0 51 0 [startup+0.106059 s] /proc/loadavg: 0.78 0.95 0.98 3/77 19328 /proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=5308 CPUtime=0.1 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 739 0 0 0 10 0 0 0 18 0 1 0 252317000 5435392 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 1327 700 304 324 0 397 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5308 [startup+0.201066 s] /proc/loadavg: 0.78 0.95 0.98 3/77 19328 /proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=5308 CPUtime=0.19 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 739 0 0 0 19 0 0 0 18 0 1 0 252317000 5435392 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 1327 700 304 324 0 397 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5308 [startup+0.301076 s] /proc/loadavg: 0.78 0.95 0.98 3/77 19328 /proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=5308 CPUtime=0.29 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 739 0 0 0 29 0 0 0 19 0 1 0 252317000 5435392 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 1327 700 304 324 0 397 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5308 [startup+0.701113 s] /proc/loadavg: 0.78 0.95 0.98 3/77 19328 /proc/meminfo: memFree=1843184/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=5308 CPUtime=0.69 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 739 0 0 0 69 0 0 0 23 0 1 0 252317000 5435392 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 1327 700 304 324 0 397 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5308 [startup+1.50119 s] /proc/loadavg: 0.78 0.95 0.98 2/78 19329 /proc/meminfo: memFree=1840744/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=9024 CPUtime=1.48 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 1703 0 0 0 148 0 0 0 25 0 1 0 252317000 9240576 1617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 2256 1618 311 324 0 1326 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9024 [startup+3.10134 s] /proc/loadavg: 0.78 0.95 0.98 2/78 19329 /proc/meminfo: memFree=1832616/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=20388 CPUtime=3.08 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 4570 0 0 0 306 2 0 0 25 0 1 0 252317000 20877312 4484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 5097 4484 311 324 0 4167 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20388 [startup+6.30164 s] /proc/loadavg: 0.80 0.95 0.98 2/78 19329 /proc/meminfo: memFree=1816360/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=32356 CPUtime=6.29 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 7546 0 0 0 625 4 0 0 25 0 1 0 252317000 33132544 7460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 8089 7460 311 324 0 7159 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32356 [startup+12.7012 s] /proc/loadavg: 0.81 0.95 0.98 2/78 19329 /proc/meminfo: memFree=1800624/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=47068 CPUtime=12.68 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 11233 0 0 0 1262 6 0 0 25 0 1 0 252317000 48197632 11147 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 11767 11147 311 324 0 10837 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47068 [startup+25.5015 s] /proc/loadavg: 0.85 0.95 0.98 2/78 19329 /proc/meminfo: memFree=1774448/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=72460 CPUtime=25.48 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 17581 0 0 0 2537 11 0 0 25 0 1 0 252317000 74199040 17495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 18115 17495 311 324 0 17185 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 72460 [startup+51.1019 s] /proc/loadavg: 0.90 0.96 0.98 2/78 19329 /proc/meminfo: memFree=1742384/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=104688 CPUtime=51.07 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 25649 0 0 0 5090 17 0 0 25 0 1 0 252317000 107200512 25563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 26172 25563 311 324 0 25242 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 104688 [startup+102.302 s] /proc/loadavg: 0.96 0.96 0.98 2/78 19329 /proc/meminfo: memFree=1697840/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=148608 CPUtime=102.26 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 36606 0 0 0 10197 29 0 0 25 0 1 0 252317000 152174592 36520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 37152 36520 311 324 0 36222 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 148608 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.98 2/78 19329 /proc/meminfo: memFree=1683312/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=162924 CPUtime=162.24 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40264 0 0 0 16191 33 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 40731 40096 311 324 0 39801 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 162924 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19329 /proc/meminfo: memFree=1683312/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=162924 CPUtime=222.23 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 22189 34 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 40731 40096 311 324 0 39801 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 19329 /proc/meminfo: memFree=1683312/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=162924 CPUtime=282.21 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 28187 34 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 40731 40096 311 324 0 39801 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 162924 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19329 /proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=162924 CPUtime=342.2 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 34185 35 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7361427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 40731 40096 311 324 0 39801 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 19329 /proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=162924 CPUtime=402.18 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 40183 35 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 40731 40096 311 324 0 39801 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 162924 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19329 /proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=162924 CPUtime=462.17 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 46181 36 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7368334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 40731 40096 311 324 0 39801 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 162924 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19329 /proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=162924 CPUtime=522.15 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 52179 36 0 0 25 0 1 0 252317000 166834176 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 40731 40096 311 324 0 39801 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 162924 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19329 /proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=162916 CPUtime=582.14 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 58177 37 0 0 25 0 1 0 252317000 166825984 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 40729 40096 311 324 0 39799 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 162916 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19329 /proc/meminfo: memFree=1683320/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=162916 CPUtime=642.12 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 40312 0 0 0 64175 37 0 0 25 0 1 0 252317000 166825984 40096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 40729 40096 311 324 0 39799 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 162916 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19331 /proc/meminfo: memFree=1675192/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=170828 CPUtime=822.08 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 42382 0 0 0 82167 41 0 0 25 0 1 0 252317000 174927872 42068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 42707 42068 311 324 0 41777 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 170828 [startup+882.305 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19331 /proc/meminfo: memFree=1675192/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=170828 CPUtime=882.07 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 42382 0 0 0 88166 41 0 0 25 0 1 0 252317000 174927872 42068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 42707 42068 311 324 0 41777 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 170828 [startup+942.301 s] /proc/loadavg: 1.05 0.99 0.99 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180128 CPUtime=942.05 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44823 0 0 0 94161 44 0 0 25 0 1 0 252317000 184451072 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45032 44401 311 324 0 44102 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 180128 [startup+1002.3 s] /proc/loadavg: 1.02 0.99 0.99 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180128 CPUtime=1002.04 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44823 0 0 0 100159 45 0 0 25 0 1 0 252317000 184451072 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45032 44401 311 324 0 44102 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 180128 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180128 CPUtime=1062.02 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44823 0 0 0 106157 45 0 0 25 0 1 0 252317000 184451072 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45032 44401 311 324 0 44102 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 180128 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180128 CPUtime=1122.01 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 112155 46 0 0 25 0 1 0 252317000 184451072 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45032 44401 311 324 0 44102 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 180128 [startup+1182.3 s] /proc/loadavg: 1.11 1.02 1.00 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180092 CPUtime=1181.99 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 118153 46 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45023 44401 311 324 0 44093 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 180092 [startup+1242.3 s] /proc/loadavg: 1.11 1.03 1.00 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180092 CPUtime=1241.97 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 124151 46 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45023 44401 311 324 0 44093 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 180092 [startup+1302.3 s] /proc/loadavg: 1.04 1.02 1.00 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180092 CPUtime=1301.96 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 130149 47 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45023 44401 311 324 0 44093 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 180092 [startup+1362.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180092 CPUtime=1361.94 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 136147 47 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45023 44401 311 324 0 44093 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 180092 [startup+1422.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180092 CPUtime=1421.94 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 142146 48 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45023 44401 311 324 0 44093 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 180092 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180092 CPUtime=1481.91 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 148143 48 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7373624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45023 44401 311 324 0 44093 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 180092 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180092 CPUtime=1541.91 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 154142 49 0 0 25 0 1 0 252317000 184414208 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45023 44401 311 324 0 44093 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 180092 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19331 /proc/meminfo: memFree=1665720/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=180072 CPUtime=1601.89 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 44890 0 0 0 160140 49 0 0 25 0 1 0 252317000 184393728 44401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 45018 44401 311 324 0 44088 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 180072 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19331 /proc/meminfo: memFree=1661112/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=184584 CPUtime=1661.88 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 46112 0 0 0 166137 51 0 0 25 0 1 0 252317000 189014016 45515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 46146 45515 311 324 0 45216 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 184584 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19331 /proc/meminfo: memFree=1661112/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=184584 CPUtime=1721.86 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 46112 0 0 0 172135 51 0 0 25 0 1 0 252317000 189014016 45515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551400 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 46146 45515 311 324 0 45216 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 184584 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19331 /proc/meminfo: memFree=1661048/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=184584 CPUtime=1781.84 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 46112 0 0 0 178133 51 0 0 25 0 1 0 252317000 189014016 45515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 46146 45515 311 324 0 45216 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 184584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19331 /proc/meminfo: memFree=1661048/2055920 swapFree=4148768/4192956 [pid=19328] ppid=19326 vsize=184584 CPUtime=1800.05 /proc/19328/stat : 19328 (bsolo3.0.17) R 19326 19328 19263 0 -1 4194304 46112 0 0 0 179953 52 0 0 25 0 1 0 252317000 189014016 45515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19328/statm: 46146 45515 311 324 0 45216 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 184584 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.54 CPU time (s): 1800.08 CPU user time (s): 1799.53 CPU system time (s): 0.549916 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 185016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.549916 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= 36367 runsolver used 1.36879 second user time and 3.98739 second system time The end
Begin job on node14 on Tue May 1 18:26:32 UTC 2007 IDJOB= 455466 IDBENCH= 48265 IDSOLVER= 199 FILE ID= node14/455466-1178043992 PBS_JOBID= 4728455 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/bsg/normalized-bsg_100_10_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455466-1178043992/instance-455466-1178043992.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-455466-1178043992 -o ROOT/results/node14/solver-455466-1178043992 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455466-1178043992/instance-455466-1178043992.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= ae2bd1e13f1871c16ad2ebb51fc6f92a RANDOM SEED= 765949592 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1843656 kB Buffers: 49708 kB Cached: 74536 kB SwapCached: 11212 kB Active: 103268 kB Inactive: 45084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843656 kB SwapTotal: 4192956 kB SwapFree: 4148768 kB Dirty: 6808 kB Writeback: 0 kB Mapped: 29480 kB Slab: 49440 kB Committed_AS: 8573556 kB PageTables: 1784 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 node14 on Tue May 1 18:56:35 UTC 2007