Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | MSAT (TO) | 1800.09 | 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.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.30/0.37 c constraints 22/0 clauses 0/72732 units 0 0.30/0.37 c vars 440 0.30/0.37 c Setting top cost 69687 7.49/7.57 c 7.34988 394.844 1 146017 7.49/7.57 o 52136 7.70/7.71 c 7.37788 404.891 1 218918 7.70/7.71 o 48337 7.79/7.84 c 7.40687 404.891 2 291804 7.79/7.84 o 47314 7.89/7.98 c 7.43087 404.891 3 369988 7.89/7.98 o 42169 8.09/8.13 c 7.45687 404.891 7 456771 8.09/8.13 o 41079 8.19/8.27 c 7.48686 404.891 16 530380 8.19/8.27 o 26098 8.39/8.46 c 7.51986 404.891 25 626205 8.39/8.46 o 25822 8.59/8.60 c 7.55185 404.891 25 699127 8.59/8.60 o 22464 8.70/8.75 c 7.58685 404.891 44 772283 8.70/8.75 o 21501 8.80/8.89 c 7.61084 404.891 44 845230 8.80/8.89 o 15658 25.79/25.88 c 12.0032 408.449 9133 1437167 25.79/25.88 o 15655 27.50/27.56 c 12.4291 408.707 9974 1524799 27.50/27.56 o 15583 28.09/28.15 c 12.5851 408.836 10288 1625949 28.09/28.15 o 15572 29.60/29.61 c 13.005 409.094 11141 1710025 29.60/29.61 o 15475 37.29/37.31 c 14.9427 410.512 15033 1876438 37.29/37.31 o 15414 38.50/38.58 c 15.2487 410.77 15621 1925424 38.50/38.58 o 15412 42.09/42.17 c 16.3665 411.285 17670 2067307 42.09/42.17 o 15403 42.90/42.99 c 16.5775 411.543 18053 2142109 42.90/42.99 o 15323 64.80/64.88 c 22.4856 412.703 16549 2716107 64.80/64.88 o 15076 71.99/72.09 c 24.3553 412.703 20249 2949358 71.99/72.09 o 14405 75.50/75.53 c 25.2912 412.832 22330 3112270 75.50/75.53 o 14361 80.99/81.06 c 26.7549 413.336 11509 3254373 80.99/81.06 o 14360 81.89/81.98 c 27.0399 413.336 12029 3368180 81.89/81.98 o 14066 85.90/86.00 c 28.1067 413.336 14160 3510066 85.90/86.00 o 13870 98.29/98.36 c 31.1023 413.336 19237 3765281 98.29/98.36 o 13660 111.59/111.66 c 34.4478 413.336 11853 4086215 111.59/111.66 o 13640 112.30/112.31 c 34.6387 413.336 12156 4155389 112.30/112.31 o 13545 127.60/127.66 c 38.9971 413.336 22118 4577340 127.60/127.66 o 13450 130.39/130.48 c 39.676 413.594 23529 4698268 130.39/130.48 o 13254 130.60/130.65 c 39.715 413.594 23534 4769619 130.60/130.65 o 13024 149.80/149.83 c 45.1761 413.594 19270 5137943 149.80/149.83 o 12952 175.80/175.89 c 53.6858 413.594 15283 6219899 175.80/175.89 o 12905 185.81/185.84 c 56.2904 413.594 20795 6580127 185.81/185.84 o 12860 188.20/188.22 c 56.9493 413.594 21897 6692427 188.20/188.22 o 12658 232.50/232.51 c 65.599 413.594 24214 7146568 232.50/232.51 o 12575 262.40/262.48 c 73.1849 413.594 25101 7677353 262.40/262.48 o 12519 266.21/266.21 c 74.4107 413.594 13144 7803075 266.21/266.21 o 12455 270.31/270.39 c 75.9035 413.594 14142 7875246 270.31/270.39 o 12413 276.20/276.20 c 77.8612 413.594 16904 7983358 276.20/276.20 o 12404 409.31/409.38 c 111.395 418.016 15406 9949361 409.31/409.38 o 12373 465.41/465.49 c 126.073 418.016 19771 11184585 465.41/465.49 o 12346 527.41/527.47 c 143.236 418.016 22445 12424625 527.41/527.47 o 12188 609.71/609.76 c 164.61 418.016 14701 13425881 609.71/609.76 o 12024 676.21/676.28 c 182.567 418.016 11764 14575190 676.21/676.28 o 11968 691.62/691.69 c 186.629 418.016 18982 14968345 691.62/691.69 o 11935 749.92/749.92 c 204.123 418.016 24217 15929176 749.92/749.92 o 11896 1004.53/1004.57 c 278.773 420.852 28767 19323956 1004.53/1004.57 o 11885 1082.83/1082.83 c 302.164 421.109 12207 20604053 1082.83/1082.83 o 11858 1089.74/1089.73 c 304.07 421.109 16181 20845408 1089.74/1089.73 o 11727 1092.14/1092.17 c 304.854 421.109 17290 20958917 1092.14/1092.17 o 11637 1128.13/1128.18 c 316.019 421.109 19614 21579042 1128.13/1128.18 o 11612 1136.54/1136.56 c 318.281 421.109 23323 21794109 1136.54/1136.56 o 11521 1216.33/1216.36 c 342.147 421.109 22143 22889712 1216.33/1216.36 o 11520 1218.94/1218.93 c 343.155 421.109 22865 22981176 1218.94/1218.93 o 11384 1270.84/1270.81 c 359.8 421.109 18212 23670119 1270.84/1270.81 o 11348 1277.74/1277.72 c 361.59 421.109 21587 23819613 1277.74/1277.72 o 11320 1288.15/1288.15 c 364.472 421.109 15286 24118403 1288.15/1288.15 o 11304 1403.14/1403.16 c 398.246 421.109 16205 25768093 1403.14/1403.16 o 11206 1420.35/1420.34 c 403.075 421.109 12706 26104545 1420.35/1420.34 o 11134 1420.64/1420.61 c 403.144 421.109 12775 26155194 1420.64/1420.61 o 11111 1436.15/1436.15 c 407.764 421.109 19559 26409265 1436.15/1436.15 o 11089 1489.85/1489.84 c 421.281 421.109 22886 27413651 1489.85/1489.84 o 10919 1573.95/1573.98 c 448.869 421.109 22777 28618132 1573.95/1573.98 o 10467 1622.25/1622.24 c 463.975 421.109 18308 29272830 1622.25/1622.24 o 10389 1800.07/1800.00 s SATISFIABLE 1800.07/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-2701273-1278538573/watcher-2701273-1278538573 -o /tmp/evaluation-result-2701273-1278538573/solver-2701273-1278538573 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701273-1278538573.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.02 2.01 2.00 4/195 16904 /proc/meminfo: memFree=30421468/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=2136 CPUtime=0 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 265 0 0 0 0 0 0 0 20 0 1 0 22004509 2187264 185 4089446400 134512640 136421960 4291995984 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16904/statm: 534 185 144 467 0 65 0 [startup+0.0135029 s] /proc/loadavg: 2.02 2.01 2.00 4/195 16904 /proc/meminfo: memFree=30421468/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=2280 CPUtime=0.01 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 300 0 0 0 1 0 0 0 20 0 1 0 22004509 2334720 220 4089446400 134512640 136421960 4291995984 18446744073709551615 135160337 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16904/statm: 570 220 144 467 0 101 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2280 [startup+0.100492 s] /proc/loadavg: 2.02 2.01 2.00 4/195 16904 /proc/meminfo: memFree=30421468/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=3720 CPUtime=0.1 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 680 0 0 0 10 0 0 0 20 0 1 0 22004509 3809280 502 4089446400 134512640 136421960 4291995984 18446744073709551615 135372721 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16904/statm: 930 502 144 467 0 461 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3720 [startup+0.300453 s] /proc/loadavg: 2.02 2.01 2.00 4/195 16904 /proc/meminfo: memFree=30421468/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=5948 CPUtime=0.3 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 1406 0 0 0 30 0 0 0 20 0 1 0 22004509 6090752 1099 4089446400 134512640 136421960 4291995984 18446744073709551615 135153472 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16904/statm: 1487 1099 144 467 0 1018 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 5948 [startup+0.700377 s] /proc/loadavg: 2.02 2.01 2.00 4/195 16904 /proc/meminfo: memFree=30421468/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=89736 CPUtime=0.69 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 22776 0 0 0 68 1 0 0 20 0 1 0 22004509 91889664 21350 4089446400 134512640 136421960 4291995984 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 22434 21351 194 467 0 21965 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 89736 [startup+1.50022 s] /proc/loadavg: 2.02 2.01 2.00 3/196 16905 /proc/meminfo: memFree=30267080/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=279440 CPUtime=1.49 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 73073 0 0 0 141 8 0 0 23 0 1 0 22004509 286146560 67012 4089446400 134512640 136421960 4291995984 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 69860 67013 194 467 0 69391 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 279440 [startup+3.10092 s] /proc/loadavg: 2.02 2.01 2.00 3/196 16905 /proc/meminfo: memFree=30041648/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=394692 CPUtime=3.09 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 102344 0 0 0 298 11 0 0 25 0 1 0 22004509 404164608 95440 4089446400 134512640 136421960 4291995984 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 98673 95440 209 467 0 98204 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 394692 [startup+6.30031 s] /proc/loadavg: 2.02 2.01 2.00 3/196 16905 /proc/meminfo: memFree=30037344/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=398448 CPUtime=6.3 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 103269 0 0 0 618 12 0 0 25 0 1 0 22004509 408010752 96365 4089446400 134512640 136421960 4291995984 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 99612 96365 209 467 0 99143 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 398448 [startup+12.7011 s] /proc/loadavg: 2.02 2.01 2.00 3/196 16905 /proc/meminfo: memFree=30031556/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=414972 CPUtime=12.7 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 107398 0 0 0 862 408 0 0 25 0 1 0 22004509 424931328 97910 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 103743 97910 238 467 0 103274 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 414972 [startup+25.5007 s] /proc/loadavg: 2.01 2.00 2.00 3/196 16905 /proc/meminfo: memFree=30030264/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=417480 CPUtime=25.5 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 108030 0 0 0 1190 1360 0 0 25 0 1 0 22004509 427499520 98542 4089446400 134512640 136421960 4291995984 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 104370 98542 238 467 0 103901 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 417480 [startup+51.1008 s] /proc/loadavg: 2.01 2.00 2.00 3/196 16907 /proc/meminfo: memFree=30025508/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=422208 CPUtime=51.1 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 109202 0 0 0 1864 3246 0 0 25 0 1 0 22004509 432340992 99706 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 105552 99706 238 467 0 105083 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 422208 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16907 /proc/meminfo: memFree=30024088/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=423252 CPUtime=102.31 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 109449 0 0 0 3212 7019 0 0 25 0 1 0 22004509 433410048 99946 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 105813 99946 238 467 0 105344 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 423252 [startup+162.301 s] /proc/loadavg: 2.08 2.02 2.01 3/196 16909 /proc/meminfo: memFree=30023268/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=423516 CPUtime=162.3 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 109511 0 0 0 4883 11347 0 0 25 0 1 0 22004509 433680384 100002 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 105879 100002 238 467 0 105410 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 423516 [startup+222.3 s] /proc/loadavg: 2.03 2.01 2.00 3/196 16911 /proc/meminfo: memFree=30020716/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=423516 CPUtime=222.3 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 109514 0 0 0 6332 15898 0 0 25 0 1 0 22004509 433680384 100002 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 105879 100002 238 467 0 105410 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 423516 [startup+282.301 s] /proc/loadavg: 2.01 2.00 2.00 3/196 16913 /proc/meminfo: memFree=30020288/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=423516 CPUtime=282.3 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 109527 0 0 0 7949 20281 0 0 25 0 1 0 22004509 433680384 100010 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 105879 100010 238 467 0 105410 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 423516 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16914 /proc/meminfo: memFree=30017884/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=425800 CPUtime=342.3 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 110092 0 0 0 9524 24706 0 0 25 0 1 0 22004509 436019200 100575 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 106450 100575 238 467 0 105981 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 425800 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16915 /proc/meminfo: memFree=30014456/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=428044 CPUtime=402.31 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 110640 0 0 0 10962 29269 0 0 25 0 1 0 22004509 438317056 101123 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 428044 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16917 /proc/meminfo: memFree=30014116/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=428044 CPUtime=462.31 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 110641 0 0 0 12527 33704 0 0 25 0 1 0 22004509 438317056 101123 4089446400 134512640 136421960 4291995984 18446744073709551615 135006120 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 428044 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16919 /proc/meminfo: memFree=30013776/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=428044 CPUtime=522.31 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 110642 0 0 0 14187 38044 0 0 25 0 1 0 22004509 438317056 101123 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 428044 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16921 /proc/meminfo: memFree=30013088/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=428044 CPUtime=582.31 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 110643 0 0 0 15750 42481 0 0 25 0 1 0 22004509 438317056 101123 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 428044 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16922 /proc/meminfo: memFree=30013128/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=428044 CPUtime=642.32 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 110644 0 0 0 17314 46918 0 0 25 0 1 0 22004509 438317056 101123 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 428044 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16927 /proc/meminfo: memFree=30012280/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=428044 CPUtime=822.32 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 110647 0 0 0 22100 60132 0 0 25 0 1 0 22004509 438317056 101123 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107011 101123 238 467 0 106542 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 428044 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16929 /proc/meminfo: memFree=30011312/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=428704 CPUtime=882.32 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 110808 0 0 0 23758 64474 0 0 25 0 1 0 22004509 438992896 101284 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107176 101284 238 467 0 106707 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 428704 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/196 16930 /proc/meminfo: memFree=30011224/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=428704 CPUtime=942.32 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 110808 0 0 0 25393 68839 0 0 25 0 1 0 22004509 438992896 101284 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107176 101284 238 467 0 106707 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 428704 [startup+1002.3 s] /proc/loadavg: 1.99 2.00 2.00 3/196 16979 /proc/meminfo: memFree=29840040/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=430156 CPUtime=1002.33 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111166 0 0 0 27797 72436 0 0 25 0 1 0 22004509 440479744 101642 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107539 101642 238 467 0 107070 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 430156 [startup+1062.3 s] /proc/loadavg: 1.99 2.00 2.00 3/196 16981 /proc/meminfo: memFree=29803540/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1062.33 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111440 0 0 0 29707 76526 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 431212 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 2.00 3/196 16983 /proc/meminfo: memFree=29796388/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1122.33 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111443 0 0 0 31442 80791 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 431212 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 2.00 3/196 16985 /proc/meminfo: memFree=29796204/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1182.33 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111445 0 0 0 33245 84988 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 431212 [startup+1242.3 s] /proc/loadavg: 1.99 2.00 2.00 3/196 16986 /proc/meminfo: memFree=29794032/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1242.34 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111447 0 0 0 34969 89265 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 431212 [startup+1302.3 s] /proc/loadavg: 1.99 2.00 2.00 3/196 16987 /proc/meminfo: memFree=29792460/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1302.34 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111450 0 0 0 36903 93331 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 431212 [startup+1362.3 s] /proc/loadavg: 1.99 2.00 2.00 3/196 16989 /proc/meminfo: memFree=29792400/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1362.34 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111450 0 0 0 38672 97562 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 431212 [startup+1422.31 s] /proc/loadavg: 1.99 2.00 2.00 3/196 16991 /proc/meminfo: memFree=29792208/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1422.36 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111453 0 0 0 40365 101871 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 431212 [startup+1482.3 s] /proc/loadavg: 1.99 2.00 2.00 3/196 16993 /proc/meminfo: memFree=29792748/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1482.34 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111454 0 0 0 41912 106322 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 431212 [startup+1542.3 s] /proc/loadavg: 2.03 2.01 2.00 3/196 17003 /proc/meminfo: memFree=29791444/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1542.35 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111455 0 0 0 43846 110389 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 431212 [startup+1602.3 s] /proc/loadavg: 2.01 2.00 2.00 3/196 17004 /proc/meminfo: memFree=29791480/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=431212 CPUtime=1602.36 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 111456 0 0 0 45729 114507 0 0 25 0 1 0 22004509 441561088 101915 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 107803 101915 238 467 0 107334 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 431212 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/196 17006 /proc/meminfo: memFree=29787680/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=434908 CPUtime=1662.36 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 112398 0 0 0 48041 118195 0 0 25 0 1 0 22004509 445345792 102856 4089446400 134512640 136421960 4291995984 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 108727 102856 238 467 0 108258 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 434908 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/196 17008 /proc/meminfo: memFree=29786504/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=436096 CPUtime=1722.36 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 112696 0 0 0 49758 122478 0 0 25 0 1 0 22004509 446562304 103154 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 109024 103154 238 467 0 108555 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 436096 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/196 17010 /proc/meminfo: memFree=29786176/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=436096 CPUtime=1782.36 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 112696 0 0 0 52057 126179 0 0 25 0 1 0 22004509 446562304 103154 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 109024 103154 238 467 0 108555 0 Current children cumulated CPU time (s) 1782.36 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/196 17010 /proc/meminfo: memFree=29786156/32950928 swapFree=67111528/67111528 [pid=16904] ppid=16902 vsize=436096 CPUtime=1800.07 /proc/16904/stat : 16904 (pbct) R 16902 16904 15410 0 -1 4202496 112696 0 0 0 52709 127298 0 0 25 0 1 0 22004509 446562304 103154 4089446400 134512640 136421960 4291995984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16904/statm: 109024 103154 238 467 0 108555 0 Current children cumulated CPU time (s) 1800.07 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.09 CPU user time (s): 527.092 CPU system time (s): 1273 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 436096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 527.092 system time used= 1273 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= 2573 runsolver used 2.92656 second user time and 6.16706 second system time The end
Begin job on node115 at 2010-07-07 23:36:13 IDJOB=2701273 IDBENCH=79552 IDSOLVER=1208 FILE ID=node115/2701273-1278538573 PBS_JOBID= 11239248 Free space on /tmp= 73624 MiB SOLVER NAME= PB/CT 0.1 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-2701273-1278538573/watcher-2701273-1278538573 -o /tmp/evaluation-result-2701273-1278538573/solver-2701273-1278538573 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701273-1278538573.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5f5e1cce587d06ad23ab7b467bfd3ca9 RANDOM SEED=1314536026 node115.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.812 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.62 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.812 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.76 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.812 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.812 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.75 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.812 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.74 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.812 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.75 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.812 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.82 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.812 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30421988 kB Buffers: 130948 kB Cached: 2112236 kB SwapCached: 0 kB Active: 997108 kB Inactive: 1388440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30421988 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4252 kB Writeback: 0 kB AnonPages: 142188 kB Mapped: 20352 kB Slab: 78540 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1650188 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= 73620 MiB End job on node115 at 2010-07-08 00:06:15