Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -14 | 1800.04 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb |
MD5SUM | 4ec3492215da9d1ca4e43111c42870de |
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.02 |
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) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 1244 |
Sum of products size | 2488 |
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/455160-1178038355/instance-455160-1178038355.opb 0.00/0.00 c File size is 35915 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: 2688 Constr: 5278 2588/202/2488 Lit: 18016 Watch. Lit: 15330 0.00/0.02 c Obj. Vars: 100 (3.72024 % of total variables) 0.89/0.96 c Pre-processing Time: 0.958 s 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 2688 5278 18016 3 15330 27594 0 0 0.96 0.89/0.96 c Switching off LPR mode. 0.89/0.96 o -1 0.962 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 2688 5279 18116 3 15333 27661 1 0 0.96 0.89/0.96 o -2 0.966 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 2688 5280 18216 3 15337 27761 2 0 0.97 0.89/0.97 o -3 0.969 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 2688 5281 18316 3 15342 27894 3 0 0.97 0.89/0.97 o -4 0.973 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2688 5282 18416 3 15348 28061 4 0 0.97 0.89/0.98 o -5 0.976 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2688 5283 18516 3 15355 28261 5 0 0.98 0.89/0.98 o -6 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 2688 5284 18616 3 15363 28494 6 0 0.98 0.89/0.98 o -7 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 2688 5285 18716 3 15372 28761 7 0 0.98 0.89/0.99 o -8 0.986 0.99/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.09 c 1 2688 5287 18949 3 15384 28794 9 1 0.99 0.99/1.09 c 101 2688 5387 32315 5 15584 31674 109 99 1.01 0.99/1.09 c 351 2688 5637 62292 11 16084 34842 359 325 1.08 0.99/1.09 o -9 1.091 177.93/178.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.93/178.03 c 392 2688 5679 67931 11 16177 28828 401 358 1.09 177.93/178.03 c 492 2688 5779 80188 13 16377 31711 501 432 1.14 177.93/178.03 c 742 2688 6029 112767 18 16877 34883 751 598 1.24 177.93/178.03 c 1217 2688 6504 176151 27 17827 38372 1226 854 1.43 177.93/178.03 c 2030 2688 7317 285575 39 19453 42210 2039 1212 1.67 177.93/178.03 c 3350 2688 8637 471113 54 22093 46432 3359 1651 2.03 177.93/178.03 c 5431 2688 10718 708764 66 26255 51076 5440 2012 2.70 177.93/178.03 c 8654 2688 13941 1144895 82 32701 56184 8663 2094 4.13 177.93/178.03 c 13590 2688 18877 1774160 93 42573 61803 13599 1989 6.83 177.93/178.03 c 21096 2688 26383 2816378 106 57585 67984 21105 1574 13.40 177.93/178.03 c 32457 2688 37744 4319110 114 80307 74783 32466 1294 25.08 177.93/178.03 c 49601 2688 54888 6593819 120 114595 82262 49610 936 52.99 177.93/178.03 c 75420 2688 80707 10234341 126 166233 90489 75429 722 104.46 177.93/178.03 o -10 177.969 205.13/205.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 205.13/205.30 c 98304 2688 22755 2820694 123 50303 27961 17477 552 177.97 205.13/205.30 c 98404 2688 22855 2832776 123 50503 30758 17577 551 178.29 205.13/205.30 c 98654 2688 23105 2863770 123 51003 33834 17827 551 178.94 205.13/205.30 c 99129 2688 23580 2920963 123 51953 37218 18302 550 179.91 205.13/205.30 c 99942 2688 24393 3021312 123 53579 40940 19115 551 181.11 205.13/205.30 c 101262 2688 25713 3183063 123 56219 45035 20435 553 182.87 205.13/205.30 c 103343 2688 27794 3410317 122 60381 49539 22516 559 184.69 205.13/205.30 c 106566 2688 31017 3801246 122 66827 54493 25739 561 189.81 205.13/205.30 c 111502 2688 35953 4480882 124 76699 59943 30675 561 198.48 205.13/205.30 o -11 205.23 234.52/234.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 234.52/234.64 c 115059 2688 39511 4994074 126 83826 27994 34233 560 205.23 234.52/234.64 c 115159 2688 16569 1542830 93 37923 30794 11291 553 207.98 234.52/234.64 c 115409 2688 16819 1571019 93 38423 33874 11541 554 208.17 234.52/234.64 c 115884 2688 17294 1623951 93 39373 37262 12016 555 208.60 234.52/234.64 c 116697 2688 18107 1723293 95 40999 40989 12829 557 209.40 234.52/234.64 c 118017 2688 19427 1909862 98 43639 45088 14149 559 210.81 234.52/234.64 c 120098 2688 21508 2194004 102 47801 49597 16230 564 212.87 234.52/234.64 c 123321 2688 24731 2567557 103 54247 54557 19453 573 214.93 234.52/234.64 c 128257 2688 29667 3182903 107 64119 60013 24389 582 220.01 234.52/234.64 c 135763 2688 37173 4080019 109 79131 66015 31895 595 227.99 234.52/234.64 o -12 234.569 251.41/251.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 251.41/251.54 c 141404 2688 42815 4787306 111 90427 28028 37537 602 234.57 251.41/251.54 c 141504 2688 16685 1416088 84 38156 30831 11407 596 237.11 251.41/251.54 c 141754 2688 16935 1444404 85 38656 33915 11657 597 237.25 251.41/251.54 c 142229 2688 17410 1500807 86 39606 37307 12132 598 237.59 251.41/251.54 c 143042 2688 18223 1597828 87 41232 41038 12945 600 238.08 251.41/251.54 c 144362 2688 19543 1749978 89 43872 45142 14265 604 238.79 251.41/251.54 c 146443 2688 21624 1997631 92 48034 49657 16346 610 239.80 251.41/251.54 c 149666 2688 24847 2378448 95 54480 54623 19569 618 241.97 251.41/251.54 c 154602 2688 29783 2963518 99 64352 60086 24505 630 245.10 251.41/251.54 c 162108 2688 37289 3852695 103 79364 66095 32011 646 250.88 251.41/251.54 o -13 251.464 272.81/272.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 272.81/272.91 c 162713 2688 37895 3939101 103 80589 28061 32617 647 251.47 272.81/272.91 c 162813 2688 16561 1368554 82 37909 30868 11283 643 253.07 272.81/272.91 c 163063 2688 16811 1396164 83 38409 33955 11533 643 253.21 272.81/272.91 c 163538 2688 17286 1450963 83 39359 37351 12008 645 253.48 272.81/272.91 c 164351 2688 18099 1541695 85 40985 41087 12821 647 253.86 272.81/272.91 c 165671 2688 19419 1686920 86 43625 45196 14141 651 254.34 272.81/272.91 c 167752 2688 21500 1929691 89 47787 49716 16222 656 255.43 272.81/272.91 c 170975 2688 24723 2298423 92 54233 54688 19445 665 256.99 272.81/272.91 c 175911 2688 29659 2885840 97 64105 60157 24381 677 259.80 272.81/272.91 c 183417 2688 37165 3789558 101 79117 66173 31887 690 265.57 272.81/272.91 o -14 272.827 1799.94/1800.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.55 c 191901 2688 45650 4746432 103 96101 28094 40372 703 272.83 1799.94/1800.55 c 192001 2688 16820 1358249 80 38428 30904 11542 694 276.44 1799.94/1800.55 c 192251 2688 17070 1392808 81 38928 33995 11792 695 276.61 1799.94/1800.55 c 192726 2688 17545 1458109 83 39878 37395 12267 696 276.85 1799.94/1800.55 c 193539 2688 18358 1542164 84 41504 41135 13080 698 277.13 1799.94/1800.55 c 194859 2688 19678 1678316 85 44144 45249 14400 701 277.61 1799.94/1800.55 c 196940 2688 21759 1913477 87 48306 49774 16481 706 278.62 1799.94/1800.55 c 200163 2688 24982 2287848 91 54752 54752 19704 713 280.46 1799.94/1800.55 c 205099 2688 29918 2854401 95 64624 60228 24640 724 283.17 1799.94/1800.55 c 212605 2688 37424 3640180 97 79636 66251 32146 738 287.98 1799.94/1800.55 c 223966 2688 48785 4840993 99 102358 72877 43507 756 295.94 1799.94/1800.55 c 241110 2688 65929 6774764 102 136646 80165 60651 772 312.21 1799.94/1800.55 c 266929 2688 21050 2088510 99 46888 88182 15772 606 439.85 1799.94/1800.55 c 305761 2688 59882 7155273 119 124552 97001 54604 629 486.01 1799.94/1800.55 c 364113 2688 31148 3469643 111 67084 106702 25870 487 747.20 1799.94/1800.55 c 451745 2688 21974 2318855 105 48736 117373 16696 451 1000.11 1799.94/1800.55 c 583297 2688 46102 5405953 117 96992 129111 40824 442 1319.57 1799.94/1800.55 c Resources Exceeded 1799.94/1800.55 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.94/1800.55 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.94/1800.55 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 -x82 1799.94/1800.55 v -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 -x147 -x186 -x169 -x141 x126 -x173 -x177 1799.94/1800.55 v -x102 -x165 -x159 -x123 -x133 -x170 x101 x125 -x194 -x140 -x103 x142 x176 -x196 -x116 -x114 x118 -x150 -x155 x160 -x180 -x197 1799.94/1800.55 v -x143 x139 -x174 -x148 -x138 x199 -x108 -x132 -x145 -x175 -x115 -x137 -x107 -x162 -x179 -x191 -x112 x119 -x128 -x188 -x193 1799.94/1800.55 v -x198 -x104 -x195 x149 -x189 -x182 -x153 -x183 -x106 -x109 -x131 -x151 -x105 -x200 -x190 -x187 -x110 -x172 -x136 -x168 -x178 1799.94/1800.55 v -x134 -x124 -x120 -x184 -x117 -x127 -x185 x154 -x167 -x192 -x111 -x129 -x181 -x146 -x157 -x130 -x122 -x161 -x152 -x135 -x144 1799.94/1800.55 v -x156 -x113 -x171 -x121 x163 -x158 -x164 x166 1799.94/1800.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.55 c 79 685838 160 709855 29696 3037501 24418 381 1800.00 1799.94/1800.55 c Objective: -14 1799.94/1800.55 s SATISFIABLE 1799.94/1800.55 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/node26/watcher-455160-1178038355 -o ROOT/results/node26/solver-455160-1178038355 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455160-1178038355/instance-455160-1178038355.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1216 /proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=3960 CPUtime=0 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 251752338 4055040 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 990 348 291 324 0 50 0 [startup+0.048336 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1216 /proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=5304 CPUtime=0.04 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 740 0 0 0 4 0 0 0 18 0 1 0 251752338 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 1326 700 306 324 0 395 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5304 [startup+0.101341 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1216 /proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=5304 CPUtime=0.09 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 740 0 0 0 9 0 0 0 18 0 1 0 251752338 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 1326 700 306 324 0 395 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5304 [startup+0.301359 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1216 /proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=5304 CPUtime=0.29 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 740 0 0 0 29 0 0 0 19 0 1 0 251752338 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 1326 700 306 324 0 395 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5304 [startup+0.701396 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1216 /proc/meminfo: memFree=1783112/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=5304 CPUtime=0.69 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 740 0 0 0 69 0 0 0 23 0 1 0 251752338 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 1326 700 306 324 0 395 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5304 [startup+1.50147 s] /proc/loadavg: 0.92 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1781184/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=7980 CPUtime=1.49 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 1452 0 0 0 147 2 0 0 25 0 1 0 251752338 8171520 1366 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 1995 1366 313 324 0 1064 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7980 [startup+3.10162 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1774528/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=16372 CPUtime=3.09 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 3569 0 0 0 305 4 0 0 25 0 1 0 251752338 16764928 3483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 4093 3483 313 324 0 3162 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16372 [startup+6.30192 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1762048/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=28232 CPUtime=6.29 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 6520 0 0 0 622 7 0 0 25 0 1 0 251752338 28909568 6434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 7058 6434 313 324 0 6127 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28232 [startup+12.7015 s] /proc/loadavg: 0.94 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1746176/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=41648 CPUtime=12.69 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 9890 0 0 0 1259 10 0 0 25 0 1 0 251752338 42647552 9804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 10412 9804 313 324 0 9481 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41648 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1722624/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=64344 CPUtime=25.48 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 15541 0 0 0 2532 16 0 0 25 0 1 0 251752338 65888256 15455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 16086 15455 313 324 0 15155 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64344 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1694208/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=92716 CPUtime=51.06 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 22642 0 0 0 5082 24 0 0 25 0 1 0 251752338 94941184 22556 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 23179 22556 313 324 0 22248 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 92716 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1645056/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=141472 CPUtime=102.26 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 34831 0 0 0 10187 39 0 0 25 0 1 0 251752338 144867328 34745 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 35368 34745 313 324 0 34437 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 141472 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1606592/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179492 CPUtime=162.23 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 16169 54 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44873 44243 313 324 0 43942 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 179492 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1606656/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179492 CPUtime=222.22 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 22160 62 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44873 44243 313 324 0 43942 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 179492 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1606720/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179492 CPUtime=282.2 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 28151 69 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44873 44243 313 324 0 43942 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 179492 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1606784/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179492 CPUtime=342.19 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 34143 76 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44873 44243 313 324 0 43942 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 179492 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1606848/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179492 CPUtime=402.18 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 40141 77 0 0 25 0 1 0 251752338 183799808 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44873 44243 313 324 0 43942 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 179492 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1217 /proc/meminfo: memFree=1606912/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179480 CPUtime=462.16 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 46135 81 0 0 25 0 1 0 251752338 183787520 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44870 44243 313 324 0 43939 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 179480 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/84 1325 /proc/meminfo: memFree=1605584/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179480 CPUtime=522.1 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44420 0 0 0 52123 87 0 0 25 0 1 0 251752338 183787520 44243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44870 44243 313 324 0 43939 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 179480 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1606592/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179492 CPUtime=582.04 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44423 0 0 0 58110 94 0 0 25 0 1 0 251752338 183799808 44246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44873 44246 313 324 0 43942 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 179492 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1606272/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179764 CPUtime=642.03 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44594 0 0 0 64108 95 0 0 25 0 1 0 251752338 184078336 44319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44941 44319 313 324 0 44010 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 179764 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1606464/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179764 CPUtime=821.98 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44594 0 0 0 82092 106 0 0 25 0 1 0 251752338 184078336 44319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44941 44319 313 324 0 44010 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 179764 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1606464/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=179764 CPUtime=881.96 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 44594 0 0 0 88085 111 0 0 25 0 1 0 251752338 184078336 44319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 44941 44319 313 324 0 44010 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 179764 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1581440/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=204624 CPUtime=941.95 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50913 0 0 0 94071 124 0 0 25 0 1 0 251752338 209534976 50531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 51156 50531 313 324 0 50225 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 204624 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1581440/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=204624 CPUtime=1001.93 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50913 0 0 0 100068 125 0 0 25 0 1 0 251752338 209534976 50531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 51156 50531 313 324 0 50225 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 204624 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1581504/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=204624 CPUtime=1061.92 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50913 0 0 0 106059 133 0 0 25 0 1 0 251752338 209534976 50531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 51156 50531 313 324 0 50225 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 204624 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1581504/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=204624 CPUtime=1121.91 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50913 0 0 0 112052 139 0 0 25 0 1 0 251752338 209534976 50531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 51156 50531 313 324 0 50225 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 204624 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1581568/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=204636 CPUtime=1181.89 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 50916 0 0 0 118045 144 0 0 25 0 1 0 251752338 209547264 50534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 51159 50534 313 324 0 50228 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 204636 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1570048/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=215864 CPUtime=1241.88 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 53848 0 0 0 124039 149 0 0 25 0 1 0 251752338 221044736 53348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 53966 53348 313 324 0 53035 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 215864 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1570112/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=215864 CPUtime=1301.86 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 53848 0 0 0 130035 151 0 0 25 0 1 0 251752338 221044736 53348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 53966 53348 313 324 0 53035 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 215864 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1570176/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=215864 CPUtime=1361.85 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 53848 0 0 0 136026 159 0 0 25 0 1 0 251752338 221044736 53348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 53966 53348 313 324 0 53035 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 215864 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1570240/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=215864 CPUtime=1421.83 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 53848 0 0 0 142017 166 0 0 25 0 1 0 251752338 221044736 53348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 53966 53348 313 324 0 53035 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 215864 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1568768/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=217660 CPUtime=1481.82 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 54303 0 0 0 148010 172 0 0 25 0 1 0 251752338 222883840 53803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 54415 53803 313 324 0 53484 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 217660 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1549568/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=236592 CPUtime=1541.8 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 59026 0 0 0 154001 179 0 0 25 0 1 0 251752338 242270208 58526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 59148 58526 313 324 0 58217 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 236592 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1535872/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=250020 CPUtime=1601.78 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 62514 0 0 0 159993 185 0 0 25 0 1 0 251752338 256020480 61885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 62505 61885 313 324 0 61574 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 250020 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1535936/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=250020 CPUtime=1661.78 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 62514 0 0 0 165992 186 0 0 25 0 1 0 251752338 256020480 61885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 62505 61885 313 324 0 61574 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 250020 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1535936/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=250020 CPUtime=1721.76 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 62514 0 0 0 171990 186 0 0 25 0 1 0 251752338 256020480 61885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 62505 61885 313 324 0 61574 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 250020 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1415 /proc/meminfo: memFree=1536000/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=250020 CPUtime=1781.75 /proc/1216/stat : 1216 (bsolo3.0.16) R 1214 1216 674 0 -1 4194304 62514 0 0 0 177988 187 0 0 25 0 1 0 251752338 256020480 61885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1216/statm: 62505 61885 313 324 0 61574 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 250020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 1/77 1415 /proc/meminfo: memFree=1782664/2055920 swapFree=4170240/4192956 [pid=1216] ppid=1214 vsize=0 CPUtime=1800.03 /proc/1216/stat : 1216 (bsolo3.0.16) D 1214 1216 674 0 -1 4194308 62515 0 0 0 179811 192 0 0 24 0 1 0 251752338 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/1216/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.04 CPU user time (s): 1798.12 CPU system time (s): 1.92871 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 250536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.12 system time used= 1.92871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62515 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= 29611 runsolver used 1.3088 second user time and 3.88741 second system time The end
Begin job on node26 on Tue May 1 16:52:35 UTC 2007 IDJOB= 455160 IDBENCH= 48245 IDSOLVER= 163 FILE ID= node26/455160-1178038355 PBS_JOBID= 4728408 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_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455160-1178038355/instance-455160-1178038355.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-455160-1178038355 -o ROOT/results/node26/solver-455160-1178038355 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455160-1178038355/instance-455160-1178038355.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 4ec3492215da9d1ca4e43111c42870de RANDOM SEED= 273156849 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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.213 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.213 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: 1783584 kB Buffers: 55584 kB Cached: 119160 kB SwapCached: 3416 kB Active: 118636 kB Inactive: 87088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1783584 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 6712 kB Writeback: 0 kB Mapped: 37100 kB Slab: 52208 kB Committed_AS: 2472176 kB PageTables: 1728 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 node26 on Tue May 1 17:22:38 UTC 2007