Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.08 | 1800.02 |
Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo |
MD5SUM | 1923b56554147f45c1335542a0a2f539 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 3328 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 336 |
Total number of constraints | 69031 |
Number of soft constraints | 69017 |
Number of constraints which are clauses | 69017 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 24 |
Top cost | 47694 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 9891329 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 25 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.29/0.39 c constraints 14/0 clauses 0/69017 units 0 0.29/0.39 c vars 336 0.29/0.39 c Setting top cost 47694 8.29/8.33 c 8.15676 375.441 1 138461 8.29/8.33 o 39008 8.39/8.46 c 8.25075 384.941 1 207630 8.39/8.46 o 32184 8.59/8.60 c 8.34073 384.941 2 269241 8.59/8.60 o 32052 8.69/8.74 c 8.43372 384.941 6 346842 8.69/8.74 o 15947 8.90/8.98 c 8.58169 384.941 56 422516 8.90/8.98 o 15852 9.09/9.11 c 8.66668 384.941 56 491632 9.09/9.11 o 9112 14.69/14.73 c 12.3881 385.973 3350 846637 14.69/14.73 o 9065 15.99/16.00 c 13.245 385.598 3929 948259 15.99/16.00 o 8500 22.00/22.01 c 17.3104 386.254 7067 1072585 22.00/22.01 o 8447 22.19/22.22 c 17.4563 386.266 7098 1122532 22.19/22.22 o 8408 23.49/23.59 c 18.3672 386.406 7746 1311479 23.49/23.59 o 8307 24.30/24.35 c 18.9061 386.547 8264 1379594 24.30/24.35 o 8271 27.29/27.37 c 20.8968 386.816 9969 1529256 27.29/27.37 o 8167 32.29/32.30 c 24.1673 388.102 12831 1662076 32.29/32.30 o 8157 52.49/52.56 c 37.2853 389.391 10955 2230253 52.49/52.56 o 7978 64.09/64.18 c 45.0522 389.391 16302 2479878 64.09/64.18 o 7887 69.59/69.61 c 48.7576 390.035 19202 2637110 69.59/69.61 o 7857 78.89/78.94 c 55.1686 391.324 23519 2832186 78.89/78.94 o 7683 89.29/89.31 c 62.1536 391.324 16063 3095155 89.29/89.31 o 7375 96.20/96.29 c 66.7618 391.078 19717 3227845 96.20/96.29 o 7327 98.69/98.77 c 68.4056 391.348 20551 3310644 98.69/98.77 o 7316 100.10/100.12 c 69.3505 391.488 21205 3383865 100.10/100.12 o 7238 100.60/100.60 c 69.6844 391.5 21352 3410244 100.60/100.60 o 7235 115.50/115.50 c 79.7719 391.887 16383 3627421 115.50/115.50 o 7208 115.69/115.79 c 79.9718 391.887 16407 3691307 115.69/115.79 o 6636 117.40/117.46 c 81.1907 392.145 17060 3757117 117.40/117.46 o 6595 135.79/135.87 c 94.2207 393.562 22192 3917811 135.79/135.87 o 6547 192.40/192.44 c 133.214 397.957 19910 4273824 192.40/192.44 o 5888 192.61/192.61 c 133.34 397.957 19919 4338566 192.61/192.61 o 5567 208.01/208.03 c 144.478 397.957 14277 4633370 208.01/208.03 o 5476 252.00/252.03 c 175.702 397.957 18583 5149027 252.00/252.03 o 5352 256.10/256.10 c 178.709 397.957 19934 5217629 256.10/256.10 o 5348 315.50/315.54 c 221.623 397.957 13378 5629162 315.50/315.54 o 5311 316.40/316.47 c 222.439 397.957 13514 5678730 316.40/316.47 o 5230 384.50/384.59 c 271.555 398.086 23131 6251446 384.50/384.59 o 5197 396.41/396.48 c 279.652 398.086 16958 6441062 396.41/396.48 o 5010 516.71/516.77 c 357.016 399.504 17768 7343539 516.71/516.77 o 4842 517.02/517.02 c 357.19 399.504 17822 7391761 517.02/517.02 o 4780 519.21/519.28 c 358.841 399.504 18549 7449248 519.21/519.28 o 4736 541.91/541.99 c 375.172 399.504 16196 7713666 541.91/541.99 o 4523 603.51/603.52 c 418.949 399.504 14680 8218937 603.51/603.52 o 4507 604.11/604.14 c 419.368 399.504 14842 8252521 604.11/604.14 o 4504 626.31/626.38 c 434.916 399.504 23335 8504722 626.31/626.38 o 4486 627.12/627.11 c 435.448 399.504 11937 8577987 627.12/627.11 o 4358 670.51/670.55 c 466.316 400.406 22208 8870917 670.51/670.55 o 4342 702.32/702.39 c 490.126 400.535 18736 9112017 702.32/702.39 o 4260 809.62/809.67 c 562.69 402.469 20143 9738382 809.62/809.67 o 4087 884.12/884.15 c 616.279 402.469 17122 10182241 884.12/884.15 o 4009 982.33/982.31 c 687.518 406.078 22436 10822926 982.33/982.31 o 3991 1004.92/1004.91 c 702.993 406.078 18324 11027073 1004.92/1004.91 o 3871 1110.73/1110.71 c 780.591 406.078 13449 11750851 1110.73/1110.71 o 3856 1348.74/1348.71 c 932.591 414.477 25687 13100349 1348.74/1348.71 o 3850 1380.74/1380.71 c 950.595 415.121 12173 13488540 1380.74/1380.71 o 3841 1395.04/1395.04 c 957.901 415.121 17008 13642134 1395.04/1395.04 o 3768 1510.24/1510.26 c 1019.57 425 18638 14599776 1510.24/1510.26 o 3371 1645.45/1645.46 c 1095.6 425 17406 15795441 1645.45/1645.46 o 3328 1800.05/1800.00 s SATISFIABLE 1800.05/1800.00 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
OK 3328
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701287-1278538997/watcher-2701287-1278538997 -o /tmp/evaluation-result-2701287-1278538997/solver-2701287-1278538997 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701287-1278538997.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.95 4/178 21302 /proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=2136 CPUtime=0 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 262 0 0 0 0 0 0 0 25 0 1 0 22113890 2187264 181 4089446400 134512640 136422188 4290680256 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21302/statm: 534 181 144 467 0 65 0 [startup+0.104209 s] /proc/loadavg: 2.00 2.00 1.95 4/178 21302 /proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=3708 CPUtime=0.1 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 673 0 0 0 10 0 0 0 25 0 1 0 22113890 3796992 494 4089446400 134512640 136422188 4290680256 18446744073709551615 135204108 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21302/statm: 927 494 144 467 0 458 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3708 [startup+0.201192 s] /proc/loadavg: 2.00 2.00 1.95 4/178 21302 /proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=5144 CPUtime=0.2 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 1125 0 0 0 20 0 0 0 25 0 1 0 22113890 5267456 817 4089446400 134512640 136422188 4290680256 18446744073709551615 135809638 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21302/statm: 1286 817 144 467 0 817 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 5144 [startup+0.301183 s] /proc/loadavg: 2.00 2.00 1.95 4/178 21302 /proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=5672 CPUtime=0.29 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 1318 0 0 0 29 0 0 0 25 0 1 0 22113890 5808128 1010 4089446400 134512640 136422188 4290680256 18446744073709551615 135523996 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21302/statm: 1418 1010 144 467 0 949 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5672 [startup+0.701095 s] /proc/loadavg: 2.00 2.00 1.95 4/178 21302 /proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=77616 CPUtime=0.69 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 19613 0 0 0 67 2 0 0 25 0 1 0 22113890 79478784 18343 4089446400 134512640 136422188 4290680256 18446744073709551615 135820688 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 19404 18345 195 467 0 18935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 77616 [startup+1.50096 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21303 /proc/meminfo: memFree=28202912/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=241900 CPUtime=1.49 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 63337 0 0 0 141 8 0 0 25 0 1 0 22113890 247705600 59522 4089446400 134512640 136422188 4290680256 18446744073709551615 134701237 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 60475 59524 195 467 0 60006 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 241900 [startup+3.10065 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21303 /proc/meminfo: memFree=28001164/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=375368 CPUtime=3.09 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 97176 0 0 0 297 12 0 0 25 0 1 0 22113890 384376832 90470 4089446400 134512640 136422188 4290680256 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 93842 90470 209 467 0 93373 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 375368 [startup+6.30106 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21303 /proc/meminfo: memFree=27996780/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=378328 CPUtime=6.29 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 97904 0 0 0 617 12 0 0 25 0 1 0 22113890 387407872 91198 4089446400 134512640 136422188 4290680256 18446744073709551615 135017819 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 94582 91198 209 467 0 94113 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 378328 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21303 /proc/meminfo: memFree=27990848/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=394176 CPUtime=12.69 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 101856 0 0 0 1103 166 0 0 25 0 1 0 22113890 403636224 92710 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 98544 92710 238 467 0 98075 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 394176 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21303 /proc/meminfo: memFree=27989596/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=395820 CPUtime=25.49 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 102984 0 0 0 1964 585 0 0 25 0 1 0 22113890 405319680 93137 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 98955 93137 238 467 0 98486 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 395820 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21304 /proc/meminfo: memFree=27987360/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=398732 CPUtime=51.09 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 103808 0 0 0 3634 1475 0 0 25 0 1 0 22113890 408301568 93827 4089446400 134512640 136422188 4290680256 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 99683 93827 238 467 0 99214 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 398732 [startup+102.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21305 /proc/meminfo: memFree=27983108/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=401024 CPUtime=102.3 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 104957 0 0 0 7081 3149 0 0 25 0 1 0 22113890 410648576 94407 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 100256 94407 238 467 0 99787 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 401024 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21307 /proc/meminfo: memFree=27975140/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=407372 CPUtime=162.3 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106544 0 0 0 11327 4903 0 0 25 0 1 0 22113890 417148928 95990 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 101843 95990 238 467 0 101374 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 407372 [startup+222.307 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21309 /proc/meminfo: memFree=27974972/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=407504 CPUtime=222.31 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106570 0 0 0 15438 6793 0 0 25 0 1 0 22113890 417284096 96013 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 101876 96013 238 467 0 101407 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 407504 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21310 /proc/meminfo: memFree=27975076/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=407504 CPUtime=282.3 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106572 0 0 0 19814 8416 0 0 25 0 1 0 22113890 417284096 96013 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 101876 96013 238 467 0 101407 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 407504 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21312 /proc/meminfo: memFree=27974916/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=407504 CPUtime=342.31 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106574 0 0 0 24105 10126 0 0 25 0 1 0 22113890 417284096 96013 4089446400 134512640 136422188 4290680256 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 101876 96013 238 467 0 101407 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 407504 [startup+402.3 s] /proc/loadavg: 2.07 2.02 1.96 3/179 21313 /proc/meminfo: memFree=27974772/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=407636 CPUtime=402.3 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106613 0 0 0 28366 11864 0 0 25 0 1 0 22113890 417419264 96050 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 101909 96050 238 467 0 101440 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 407636 [startup+462.301 s] /proc/loadavg: 2.02 2.01 1.96 3/179 21315 /proc/meminfo: memFree=27973368/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=409088 CPUtime=462.31 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106988 0 0 0 32349 13882 0 0 25 0 1 0 22113890 418906112 96425 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 102272 96425 238 467 0 101803 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 409088 [startup+522.301 s] /proc/loadavg: 2.04 2.02 1.96 3/179 21317 /proc/meminfo: memFree=27973344/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=409088 CPUtime=522.31 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106991 0 0 0 36093 16138 0 0 25 0 1 0 22113890 418906112 96425 4089446400 134512640 136422188 4290680256 18446744073709551615 134643371 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 102272 96425 238 467 0 101803 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 409088 [startup+582.301 s] /proc/loadavg: 2.01 2.02 1.96 3/179 21318 /proc/meminfo: memFree=27973188/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=409088 CPUtime=582.31 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106993 0 0 0 40237 17994 0 0 25 0 1 0 22113890 418906112 96426 4089446400 134512640 136422188 4290680256 18446744073709551615 134871152 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 102272 96426 238 467 0 101803 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 409088 [startup+642.301 s] /proc/loadavg: 2.00 2.01 1.96 3/179 21320 /proc/meminfo: memFree=27973152/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=409088 CPUtime=642.32 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106997 0 0 0 44675 19557 0 0 25 0 1 0 22113890 418906112 96426 4089446400 134512640 136422188 4290680256 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 102272 96426 238 467 0 101803 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 409088 [startup+702.3 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21326 /proc/meminfo: memFree=27970544/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=412124 CPUtime=882.33 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 107732 0 0 0 61492 26741 0 0 25 0 1 0 22113890 422014976 97158 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 103031 97158 238 467 0 102562 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 412124 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21328 /proc/meminfo: memFree=27967524/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=415292 CPUtime=942.33 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 108522 0 0 0 65804 28429 0 0 25 0 1 0 22113890 425259008 97947 4089446400 134512640 136422188 4290680256 18446744073709551615 135024012 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 103823 97947 238 467 0 103354 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 415292 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21329 /proc/meminfo: memFree=27966728/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=415820 CPUtime=1002.32 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 108679 0 0 0 70120 30112 0 0 25 0 1 0 22113890 425799680 98103 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 103955 98103 238 467 0 103486 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 415820 [startup+1062.3 s] /proc/loadavg: 2.05 2.01 1.97 3/179 21331 /proc/meminfo: memFree=27966584/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=415820 CPUtime=1062.32 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 108680 0 0 0 74405 31827 0 0 25 0 1 0 22113890 425799680 98103 4089446400 134512640 136422188 4290680256 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/21302/statm: 103955 98103 238 467 0 103486 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 415820 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 1.97 3/179 21342 /proc/meminfo: memFree=27965724/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=415820 CPUtime=1122.33 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 108681 0 0 0 78916 33317 0 0 25 0 1 0 22113890 425799680 98103 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/21302/statm: 103955 98103 238 467 0 103486 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 415820 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 21343 /proc/meminfo: memFree=27962968/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=418196 CPUtime=1182.33 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 109280 0 0 0 83219 35014 0 0 25 0 1 0 22113890 428232704 98702 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/21302/statm: 104549 98702 238 467 0 104080 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 418196 [startup+1242.3 s] /proc/loadavg: 2.26 2.07 2.00 3/179 22271 /proc/meminfo: memFree=28502492/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=424420 CPUtime=1242.33 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 110813 0 0 0 87080 37153 0 0 25 0 1 0 22113890 434606080 100235 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 106105 100235 238 467 0 105636 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 424420 [startup+1302.3 s] /proc/loadavg: 2.05 2.04 1.99 3/179 22726 /proc/meminfo: memFree=28528768/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=424420 CPUtime=1302.34 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 110813 0 0 0 90942 39292 0 0 25 0 1 0 22113890 434606080 100235 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 106105 100235 238 467 0 105636 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 424420 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 1.99 3/179 22728 /proc/meminfo: memFree=28522368/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=424420 CPUtime=1362.34 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 110814 0 0 0 94018 42216 0 0 25 0 1 0 22113890 434606080 100235 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 106105 100235 238 467 0 105636 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 424420 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 1.99 3/179 22730 /proc/meminfo: memFree=28514764/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=431868 CPUtime=1422.34 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 112691 0 0 0 97194 45040 0 0 25 0 1 0 22113890 442232832 102110 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 107967 102110 238 467 0 107498 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 431868 [startup+1482.3 s] /proc/loadavg: 2.06 2.03 1.99 3/179 22731 /proc/meminfo: memFree=28509768/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=435196 CPUtime=1482.34 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113523 0 0 0 100489 47745 0 0 25 0 1 0 22113890 445640704 102942 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 108799 102942 238 467 0 108330 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 435196 [startup+1542.31 s] /proc/loadavg: 2.02 2.03 1.99 3/179 22733 /proc/meminfo: memFree=28509968/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=435196 CPUtime=1542.35 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113525 0 0 0 103867 50368 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 108799 102943 238 467 0 108330 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 435196 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 1.99 3/179 22734 /proc/meminfo: memFree=28509556/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=435196 CPUtime=1602.34 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113525 0 0 0 107326 52908 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 108799 102943 238 467 0 108330 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 435196 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.99 3/179 22736 /proc/meminfo: memFree=28508396/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=435196 CPUtime=1662.35 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 110561 55674 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 108799 102943 238 467 0 108330 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 435196 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.99 3/179 22738 /proc/meminfo: memFree=28508372/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=435196 CPUtime=1722.35 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 113920 58315 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 108799 102943 238 467 0 108330 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 435196 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.99 3/179 22739 /proc/meminfo: memFree=28506616/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=435196 CPUtime=1782.35 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 117035 61200 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21302/statm: 108799 102943 238 467 0 108330 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 435196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.99 3/179 22740 /proc/meminfo: memFree=28507352/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=435196 CPUtime=1800.05 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 117949 62056 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/21302/statm: 108799 102943 238 467 0 108330 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 435196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.00 2.00 1.99 3/179 22740 /proc/meminfo: memFree=28507352/32951124 swapFree=67111528/67111528 [pid=21302] ppid=21300 vsize=435196 CPUtime=1800.05 /proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 117949 62056 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/21302/statm: 108799 102943 238 467 0 108330 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 435196 Child status: 0 Real time (s): 1800.02 CPU time (s): 1800.08 CPU user time (s): 1179.5 CPU system time (s): 620.586 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 435196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1179.5 system time used= 620.586 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113527 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= 1 involuntary context switches= 9445 runsolver used 2.72959 second user time and 5.74413 second system time The end
Begin job on node111 at 2010-07-07 23:43:17 IDJOB=2701287 IDBENCH=79554 IDSOLVER=1212 FILE ID=node111/2701287-1278538997 PBS_JOBID= 11239255 Free space on /tmp= 73616 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub1-24_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701287-1278538997/watcher-2701287-1278538997 -o /tmp/evaluation-result-2701287-1278538997/solver-2701287-1278538997 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701287-1278538997.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1923b56554147f45c1335542a0a2f539 RANDOM SEED=2140087209 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5233.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28361540 kB Buffers: 145744 kB Cached: 3552260 kB SwapCached: 0 kB Active: 2719856 kB Inactive: 1719684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28361540 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3936 kB Writeback: 0 kB AnonPages: 741280 kB Mapped: 15556 kB Slab: 84296 kB PageTables: 5684 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 918304 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73616 MiB End job on node111 at 2010-07-08 00:13:19