Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.05 | 1800.02 |
Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo |
MD5SUM | 5f5e1cce587d06ad23ab7b467bfd3ca9 |
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 | 8924 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 440 |
Total number of constraints | 72754 |
Number of soft constraints | 72732 |
Number of constraints which are clauses | 72732 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Top cost | 69687 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 10145370 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 21 |
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.37 c constraints 22/0 clauses 0/72732 units 0 0.29/0.37 c vars 440 0.29/0.37 c Setting top cost 69687 7.60/7.68 c 7.50686 394.844 1 146017 7.60/7.68 o 52136 7.80/7.81 c 7.59085 404.891 1 218918 7.80/7.81 o 48337 7.89/7.94 c 7.66983 404.891 2 291804 7.89/7.94 o 47314 7.99/8.07 c 7.75282 404.891 3 369988 7.99/8.07 o 42169 8.19/8.23 c 7.85081 404.891 7 456771 8.19/8.23 o 41079 8.29/8.36 c 7.94079 404.891 16 530380 8.29/8.36 o 26098 8.49/8.55 c 8.06777 404.891 25 626205 8.49/8.55 o 25822 8.60/8.68 c 8.15876 404.891 25 699127 8.60/8.68 o 22464 8.79/8.83 c 8.26874 404.891 44 772283 8.79/8.83 o 21501 8.89/8.96 c 8.35073 404.891 44 845230 8.89/8.96 o 15658 25.89/25.96 c 19.654 408.449 9133 1437167 25.89/25.96 o 15655 27.59/27.64 c 20.7808 408.707 9974 1524799 27.59/27.64 o 15583 28.19/28.22 c 21.1958 408.836 10288 1625949 28.19/28.22 o 15572 29.59/29.69 c 22.1866 409.094 11141 1710025 29.59/29.69 o 15475 37.30/37.38 c 27.2639 410.512 15033 1876438 37.30/37.38 o 15414 38.59/38.65 c 28.1227 410.77 15621 1925424 38.59/38.65 o 15412 42.19/42.24 c 30.5744 411.285 17670 2067307 42.19/42.24 o 15403 43.00/43.06 c 31.1413 411.543 18053 2142109 43.00/43.06 o 15323 64.89/64.92 c 45.7091 412.703 16549 2716107 64.89/64.92 o 15076 72.09/72.13 c 50.4733 412.703 20249 2949358 72.09/72.13 o 14405 75.49/75.56 c 52.815 412.832 22330 3112270 75.49/75.56 o 14361 80.99/81.08 c 56.4774 413.336 11509 3254373 80.99/81.08 o 14360 82.00/82.00 c 57.1283 413.336 12029 3368180 82.00/82.00 o 14066 85.99/86.02 c 59.8169 413.336 14160 3510066 85.99/86.02 o 13870 98.29/98.35 c 67.9687 413.336 19237 3765281 98.29/98.35 o 13660 111.59/111.64 c 76.7093 413.336 11853 4086215 111.59/111.64 o 13640 112.20/112.29 c 77.1583 413.336 12156 4155389 112.20/112.29 o 13545 127.60/127.62 c 87.6537 413.336 22118 4577340 127.60/127.62 o 13450 130.40/130.44 c 89.5314 413.594 23529 4698268 130.40/130.44 o 13254 130.59/130.61 c 89.6644 413.594 23534 4769619 130.59/130.61 o 13024 149.69/149.78 c 102.623 413.594 19270 5137943 149.69/149.78 o 12952 175.79/175.82 c 120.839 413.594 15283 6219899 175.79/175.82 o 12905 185.69/185.76 c 127.533 413.594 20795 6580127 185.69/185.76 o 12860 188.10/188.13 c 129.144 413.594 21897 6692427 188.10/188.13 o 12658 232.40/232.43 c 156.979 413.594 24214 7146568 232.40/232.43 o 12575 262.30/262.39 c 176.979 413.594 25101 7677353 262.30/262.39 o 12519 266.10/266.11 c 179.655 413.594 13144 7803075 266.10/266.11 o 12455 270.20/270.29 c 182.625 413.594 14142 7875246 270.20/270.29 o 12413 276.00/276.10 c 186.671 413.594 16904 7983358 276.00/276.10 o 12404 409.21/409.26 c 274.656 418.016 15406 9949361 409.21/409.26 o 12373 465.30/465.35 c 312.003 418.016 19771 11184585 465.30/465.35 o 12346 527.30/527.32 c 353.639 418.016 22445 12424625 527.30/527.32 o 12188 609.90/609.93 c 408.074 418.016 14701 13425881 609.90/609.93 o 12024 676.50/676.53 c 452.433 418.016 11764 14575190 676.50/676.53 o 11968 691.91/691.96 c 462.563 418.016 18982 14968345 691.91/691.96 o 11935 750.21/750.23 c 502.415 418.016 24217 15929176 750.21/750.23 o 11896 1005.01/1005.02 c 675.17 420.852 28767 19323956 1005.01/1005.02 o 11885 1083.31/1083.30 c 728.515 421.109 12207 20604053 1083.31/1083.30 o 11858 1090.21/1090.20 c 733.133 421.109 16181 20845408 1090.21/1090.20 o 11727 1092.61/1092.64 c 734.863 421.109 17290 20958917 1092.61/1092.64 o 11637 1128.71/1128.70 c 759.765 421.109 19614 21579042 1128.71/1128.70 o 11612 1137.11/1137.10 c 765.373 421.109 23323 21794109 1137.11/1137.10 o 11521 1216.91/1216.94 c 819.601 421.109 22143 22889712 1216.91/1216.94 o 11520 1219.51/1219.52 c 821.495 421.109 22865 22981176 1219.51/1219.52 o 11384 1271.42/1271.42 c 857.509 421.109 18212 23670119 1271.42/1271.42 o 11348 1278.31/1278.32 c 862.122 421.109 21587 23819613 1278.31/1278.32 o 11320 1288.71/1288.76 c 869.09 421.109 15286 24118403 1288.71/1288.76 o 11304 1403.81/1403.89 c 947.289 421.109 16205 25768093 1403.81/1403.89 o 11206 1421.02/1421.09 c 958.808 421.109 12706 26104545 1421.02/1421.09 o 11134 1421.31/1421.36 c 958.997 421.109 12775 26155194 1421.31/1421.36 o 11111 1436.81/1436.90 c 969.668 421.109 19559 26409265 1436.81/1436.90 o 11089 1490.52/1490.59 c 1005.25 421.109 22886 27413651 1490.52/1490.59 o 10919 1574.82/1574.82 c 1063.79 421.109 22777 28618132 1574.82/1574.82 o 10467 1623.11/1623.13 c 1096.94 421.109 18308 29272830 1623.11/1623.13 o 10389 1800.03/1800.00 s SATISFIABLE 1800.03/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 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
OK 10389
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701275-1278538748/watcher-2701275-1278538748 -o /tmp/evaluation-result-2701275-1278538748/solver-2701275-1278538748 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701275-1278538748.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 2.00 4/196 19431 /proc/meminfo: memFree=28968584/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=2136 CPUtime=0 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 264 0 0 0 0 0 0 0 25 0 1 0 22088339 2187264 184 4089446400 134512640 136422188 4291069936 18446744073709551615 135155129 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/19431/statm: 534 184 144 467 0 65 0 [startup+0.0924289 s] /proc/loadavg: 2.00 2.00 2.00 4/196 19431 /proc/meminfo: memFree=28968584/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=3720 CPUtime=0.09 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 674 0 0 0 9 0 0 0 25 0 1 0 22088339 3809280 496 4089446400 134512640 136422188 4291069936 18446744073709551615 135528811 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/19431/statm: 930 496 144 467 0 461 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3720 [startup+0.100415 s] /proc/loadavg: 2.00 2.00 2.00 4/196 19431 /proc/meminfo: memFree=28968584/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=3720 CPUtime=0.09 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 680 0 0 0 9 0 0 0 25 0 1 0 22088339 3809280 502 4089446400 134512640 136422188 4291069936 18446744073709551615 135806271 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/19431/statm: 930 502 144 467 0 461 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3720 [startup+0.300379 s] /proc/loadavg: 2.00 2.00 2.00 4/196 19431 /proc/meminfo: memFree=28968584/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=5948 CPUtime=0.29 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 1411 0 0 0 29 0 0 0 25 0 1 0 22088339 6090752 1104 4089446400 134512640 136422188 4291069936 18446744073709551615 135377312 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/19431/statm: 1487 1104 144 467 0 1018 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5948 [startup+0.700316 s] /proc/loadavg: 2.00 2.00 2.00 4/196 19431 /proc/meminfo: memFree=28968584/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=89868 CPUtime=0.69 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 22819 0 0 0 67 2 0 0 25 0 1 0 22088339 92024832 21393 4089446400 134512640 136422188 4291069936 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 22467 21395 195 467 0 21998 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 89868 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19432 /proc/meminfo: memFree=28813824/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=279176 CPUtime=1.49 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 73027 0 0 0 140 9 0 0 25 0 1 0 22088339 285876224 66966 4089446400 134512640 136422188 4291069936 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 69794 66968 195 467 0 69325 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 279176 [startup+3.10091 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19433 /proc/meminfo: memFree=28588888/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=394692 CPUtime=3.09 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 102345 0 0 0 297 12 0 0 25 0 1 0 22088339 404164608 95441 4089446400 134512640 136422188 4291069936 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 98673 95441 209 467 0 98204 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 394692 [startup+6.30038 s] /proc/loadavg: 2.08 2.02 2.00 3/197 19433 /proc/meminfo: memFree=28583804/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=398316 CPUtime=6.29 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 103257 0 0 0 617 12 0 0 25 0 1 0 22088339 407875584 96353 4089446400 134512640 136422188 4291069936 18446744073709551615 135017372 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 99579 96353 209 467 0 99110 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 398316 [startup+12.7003 s] /proc/loadavg: 2.07 2.02 2.00 3/197 19433 /proc/meminfo: memFree=28577004/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=414972 CPUtime=12.7 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 107398 0 0 0 1088 182 0 0 25 0 1 0 22088339 424931328 97910 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 103743 97910 238 467 0 103274 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 414972 [startup+25.5002 s] /proc/loadavg: 2.06 2.01 2.00 3/197 19433 /proc/meminfo: memFree=28574892/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=417480 CPUtime=25.49 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 108029 0 0 0 1933 616 0 0 25 0 1 0 22088339 427499520 98541 4089446400 134512640 136422188 4291069936 18446744073709551615 135025918 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 104370 98541 238 467 0 103901 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 417480 [startup+51.1009 s] /proc/loadavg: 2.04 2.01 2.00 3/197 19434 /proc/meminfo: memFree=28570080/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=422208 CPUtime=51.1 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 109200 0 0 0 3645 1465 0 0 25 0 1 0 22088339 432340992 99704 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 105552 99704 238 467 0 105083 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 422208 [startup+102.306 s] /proc/loadavg: 2.09 2.02 2.00 3/197 19435 /proc/meminfo: memFree=28568528/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=423252 CPUtime=102.3 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 109449 0 0 0 7055 3175 0 0 25 0 1 0 22088339 433410048 99946 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 105813 99946 238 467 0 105344 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 423252 [startup+162.3 s] /proc/loadavg: 2.03 2.02 2.00 3/197 19437 /proc/meminfo: memFree=28568352/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=423516 CPUtime=162.29 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 109511 0 0 0 11116 5113 0 0 25 0 1 0 22088339 433680384 100002 4089446400 134512640 136422188 4291069936 18446744073709551615 135686449 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 105879 100002 238 467 0 105410 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 423516 [startup+222.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 19438 /proc/meminfo: memFree=28568276/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=423516 CPUtime=222.29 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 109514 0 0 0 15036 7193 0 0 25 0 1 0 22088339 433680384 100002 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 105879 100002 238 467 0 105410 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 423516 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 19440 /proc/meminfo: memFree=28567860/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=423516 CPUtime=282.3 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 109527 0 0 0 19077 9153 0 0 25 0 1 0 22088339 433680384 100010 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 105879 100010 238 467 0 105410 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 423516 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19441 /proc/meminfo: memFree=28565204/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=425800 CPUtime=342.29 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 110092 0 0 0 23079 11150 0 0 25 0 1 0 22088339 436019200 100575 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 106450 100575 238 467 0 105981 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 425800 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 4/197 19443 /proc/meminfo: memFree=28562792/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=428044 CPUtime=402.29 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 110640 0 0 0 26999 13230 0 0 25 0 1 0 22088339 438317056 101123 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 428044 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19445 /proc/meminfo: memFree=28562720/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=428044 CPUtime=462.29 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 110641 0 0 0 30995 15234 0 0 25 0 1 0 22088339 438317056 101123 4089446400 134512640 136422188 4291069936 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 428044 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 19446 /proc/meminfo: memFree=28562396/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=428044 CPUtime=522.29 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 110642 0 0 0 35022 17207 0 0 25 0 1 0 22088339 438317056 101123 4089446400 134512640 136422188 4291069936 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 428044 [startup+582.301 s] /proc/loadavg: 2.04 2.01 2.00 3/179 19527 /proc/meminfo: memFree=28482476/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=428044 CPUtime=582.3 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 110643 0 0 0 38972 19258 0 0 25 0 1 0 22088339 438317056 101123 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 428044 [startup+642.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 19528 /proc/meminfo: memFree=28482288/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=428044 CPUtime=642.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 110644 0 0 0 42952 21279 0 0 25 0 1 0 22088339 438317056 101123 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 428044 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 19533 /proc/meminfo: memFree=28481808/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=428044 CPUtime=822.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 110647 0 0 0 54889 27342 0 0 25 0 1 0 22088339 438317056 101123 4089446400 134512640 136422188 4291069936 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 428044 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19535 /proc/meminfo: memFree=28481472/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=428704 CPUtime=882.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 110808 0 0 0 58933 29298 0 0 25 0 1 0 22088339 438992896 101284 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107176 101284 238 467 0 106707 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 428704 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19536 /proc/meminfo: memFree=28481556/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=428704 CPUtime=942.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 110808 0 0 0 62964 31267 0 0 25 0 1 0 22088339 438992896 101284 4089446400 134512640 136422188 4291069936 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107176 101284 238 467 0 106707 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 428704 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19538 /proc/meminfo: memFree=28480044/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=430156 CPUtime=1002.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111166 0 0 0 67317 32914 0 0 25 0 1 0 22088339 440479744 101642 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107539 101642 238 467 0 107070 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 430156 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19540 /proc/meminfo: memFree=28478896/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1062.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111440 0 0 0 71463 34768 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 431212 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19541 /proc/meminfo: memFree=28478728/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1122.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111443 0 0 0 75532 36699 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 431212 [startup+1182.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 19543 /proc/meminfo: memFree=28478680/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1182.3 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111445 0 0 0 79643 38587 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 431212 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 19544 /proc/meminfo: memFree=28478756/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1242.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111447 0 0 0 83684 40547 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 431212 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19546 /proc/meminfo: memFree=28478696/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1302.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111450 0 0 0 87832 42399 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 431212 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19557 /proc/meminfo: memFree=28477852/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1362.32 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111450 0 0 0 91919 44313 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 431212 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19558 /proc/meminfo: memFree=28477932/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1422.32 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111453 0 0 0 95964 46268 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 431212 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19560 /proc/meminfo: memFree=28477764/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1482.31 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111454 0 0 0 99952 48279 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 431212 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19561 /proc/meminfo: memFree=28477968/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1542.32 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111455 0 0 0 104129 50103 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 431212 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19563 /proc/meminfo: memFree=28478060/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=431212 CPUtime=1602.32 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 111456 0 0 0 108243 51989 0 0 25 0 1 0 22088339 441561088 101915 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 431212 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19565 /proc/meminfo: memFree=28474296/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=434908 CPUtime=1662.32 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 112398 0 0 0 112551 53681 0 0 25 0 1 0 22088339 445345792 102856 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 108727 102856 238 467 0 108258 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 434908 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19566 /proc/meminfo: memFree=28473032/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=436096 CPUtime=1722.32 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 112696 0 0 0 116579 55653 0 0 25 0 1 0 22088339 446562304 103154 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 109024 103154 238 467 0 108555 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 436096 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19568 /proc/meminfo: memFree=28472756/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=436096 CPUtime=1782.32 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 112696 0 0 0 120879 57353 0 0 25 0 1 0 22088339 446562304 103154 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 109024 103154 238 467 0 108555 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 436096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19568 /proc/meminfo: memFree=28472752/32951124 swapFree=67111528/67111528 [pid=19431] ppid=19429 vsize=436096 CPUtime=1800.03 /proc/19431/stat : 19431 (pbct) R 19429 19431 17954 0 -1 4202496 112696 0 0 0 122138 57865 0 0 25 0 1 0 22088339 446562304 103154 4089446400 134512640 136422188 4291069936 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19431/statm: 109024 103154 238 467 0 108555 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 436096 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.02 CPU time (s): 1800.05 CPU user time (s): 1221.38 CPU system time (s): 578.668 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 436096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1221.38 system time used= 578.668 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 112697 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= 2716 runsolver used 3.18152 second user time and 5.85411 second system time The end
Begin job on node118 at 2010-07-07 23:39:08 IDJOB=2701275 IDBENCH=79552 IDSOLVER=1212 FILE ID=node118/2701275-1278538748 PBS_JOBID= 11239242 Free space on /tmp= 73556 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub4-20_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701275-1278538748/watcher-2701275-1278538748 -o /tmp/evaluation-result-2701275-1278538748/solver-2701275-1278538748 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701275-1278538748.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5f5e1cce587d06ad23ab7b467bfd3ca9 RANDOM SEED=1754216396 node118.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.818 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.63 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.818 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.75 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.818 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.75 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.818 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.83 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.818 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 : 5332.72 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.818 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.83 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.818 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.76 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.818 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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28969104 kB Buffers: 142128 kB Cached: 3568340 kB SwapCached: 0 kB Active: 1279420 kB Inactive: 2553692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28969104 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4020 kB Writeback: 0 kB AnonPages: 122860 kB Mapped: 20484 kB Slab: 85168 kB PageTables: 4968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1641688 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= 73512 MiB End job on node118 at 2010-07-08 00:09:10