Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | MSAT (TO) | 1800.09 | 1800.05 |
Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1_wcsp.wbo |
MD5SUM | ffd43b20815bdb15a4cc4b3290fc84ae |
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 | 233546 |
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 | 616 |
Total number of constraints | 249748 |
Number of soft constraints | 249734 |
Number of constraints which are clauses | 249734 |
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 | 44 |
Top cost | 39275680 |
Min constraint cost | 1 |
Max constraint cost | 1000000 |
Sum of constraints costs | 19104596930 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 45 |
Number of bits of the biggest sum of numbers | 6 |
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 1.19/1.28 c constraints 14/0 clauses 0/249734 units 0 1.19/1.28 c vars 616 1.19/1.29 c Setting top cost 39275680 87.69/87.76 c 86.9768 1349.91 1 500435 87.69/87.76 o 33774553 88.19/88.29 c 87.1308 1385 1 750576 88.19/88.29 o 30704451 88.89/88.93 c 87.2747 1385 5 1076261 88.89/88.93 o 29773846 89.39/89.40 c 87.3847 1385 5 1326422 89.39/89.40 o 25533138 89.80/89.88 c 87.4837 1385 5 1571449 89.80/89.88 o 25512938 90.29/90.37 c 87.6087 1385 5 1816497 90.29/90.37 o 25502834 90.90/90.94 c 87.7467 1385 23 2097276 90.90/90.94 o 24593340 91.39/91.42 c 87.8576 1385 23 2347381 91.39/91.42 o 14713543 91.89/91.91 c 87.9736 1385 23 2597543 91.89/91.91 o 10623543 92.40/92.42 c 88.1006 1385 27 2850796 92.40/92.42 o 9713241 92.90/92.91 c 88.2156 1385 27 3083006 92.90/92.91 o 9592538 93.40/93.41 c 88.3756 1385 27 3333144 93.40/93.41 o 8592643 93.90/93.90 c 88.5635 1385 27 3583316 93.90/93.90 o 7562735 94.29/94.39 c 88.7445 1385 27 3833440 94.29/94.39 o 6642941 94.79/94.89 c 88.8655 1385 27 4083587 94.79/94.89 o 3623041 95.30/95.39 c 88.9885 1385 27 4333748 95.30/95.39 o 2572945 95.89/95.91 c 89.1145 1385.13 33 4573140 95.89/95.91 o 2553043 96.70/96.79 c 89.3654 1385.76 133 4814183 96.70/96.79 o 2503035 97.40/97.40 c 89.5074 1386.26 157 4975754 97.40/97.40 o 2503032 97.80/97.88 c 89.6154 1386.39 158 5207942 97.80/97.88 o 2383938 99.49/99.52 c 90.1213 1386.14 606 5465373 99.49/99.52 o 1542543 101.00/101.00 c 90.6982 1386.41 711 5702346 101.00/101.00 o 1522534 101.50/101.50 c 90.8332 1386.05 735 5843004 101.50/101.50 o 1513036 102.00/102.06 c 90.9992 1386.07 753 5979316 102.00/102.06 o 1512734 102.49/102.55 c 91.1161 1386.1 753 6211321 102.49/102.55 o 1432633 103.00/103.07 c 91.2531 1386.12 804 6356932 103.00/103.07 o 1422736 109.39/109.46 c 93.7487 1386.8 3521 6780679 109.39/109.46 o 1383335 146.20/146.23 c 108.092 1391.09 16105 7867119 146.20/146.23 o 1383141 165.79/165.81 c 115.807 1393.07 20788 8424814 165.79/165.81 o 1363244 178.59/178.68 c 120.632 1393.86 24066 8806098 178.59/178.68 o 1362943 299.00/299.10 c 163.871 1399.83 39816 9538569 299.00/299.10 o 1353438 303.70/303.70 c 165.691 1400.38 41804 9812852 303.70/303.70 o 1353345 305.10/305.14 c 166.285 1400.41 42317 9997110 305.10/305.14 o 1343652 313.90/313.93 c 169.541 1400.97 44136 10231564 313.90/313.93 o 1343141 338.59/338.69 c 179.332 1402.82 47694 10531342 338.59/338.69 o 1343140 381.50/381.53 c 195.496 1404.66 57801 11195430 381.50/381.53 o 1323543 384.00/384.02 c 196.465 1404.71 57941 11333298 384.00/384.02 o 1323349 395.40/395.45 c 200.786 1405.29 59095 11521825 395.40/395.45 o 1313748 401.00/401.04 c 202.762 1405.51 60008 11705061 401.00/401.04 o 1313044 402.30/402.32 c 203.283 1405.7 60359 11979362 402.30/402.32 o 1302949 524.61/524.62 c 251.707 1415.79 98237 13883934 524.61/524.62 o 573336 525.20/525.26 c 251.934 1415.79 14660 14115827 525.20/525.26 o 553137 525.81/525.81 c 252.07 1415.79 14660 14347725 525.81/525.81 o 543134 526.30/526.33 c 252.241 1415.79 14660 14579627 526.30/526.33 o 523334 526.81/526.87 c 252.473 1415.79 14661 14752645 526.81/526.87 o 523137 527.30/527.38 c 252.668 1415.79 14661 14984542 527.30/527.38 o 503337 527.91/527.98 c 252.831 1415.79 14663 15180899 527.91/527.98 o 503236 528.81/528.82 c 253.1 1415.79 14763 15424378 528.81/528.82 o 433039 529.30/529.37 c 253.25 1415.79 14809 15580432 529.30/529.37 o 432431 530.40/530.40 c 253.546 1415.79 14913 15721504 530.40/530.40 o 423241 532.00/532.04 c 254.127 1415.79 15054 15873619 532.00/532.04 o 413440 533.71/533.77 c 254.842 1415.79 15158 16112436 533.71/533.77 o 402733 534.51/534.53 c 255.089 1415.79 15264 16255254 534.51/534.53 o 402436 535.20/535.28 c 255.352 1415.79 15405 16400581 535.20/535.28 o 393244 537.81/537.84 c 256.26 1415.79 16164 16614429 537.81/537.84 o 392938 541.30/541.39 c 257.598 1415.79 7742 16900197 541.30/541.39 o 373144 548.91/548.91 c 259.997 1415.79 9124 17075408 548.91/548.91 o 363542 551.40/551.49 c 260.973 1415.79 10134 17389723 551.40/551.49 o 343540 552.31/552.33 c 261.252 1415.79 10248 17473531 552.31/552.33 o 343440 553.40/553.40 c 261.777 1415.79 10565 17648095 553.40/553.40 o 343043 554.11/554.10 c 261.975 1415.79 10600 17787010 554.11/554.10 o 333543 566.60/566.61 c 266.818 1415.79 15481 18193593 566.60/566.61 o 333541 567.51/567.59 c 267.114 1415.79 15597 18486726 567.51/567.59 o 323242 575.50/575.51 c 270.612 1415.79 19370 18885086 575.50/575.51 o 323241 578.51/578.56 c 271.666 1415.79 20023 19109395 578.51/578.56 o 313545 579.00/579.07 c 271.872 1415.79 20087 19248212 579.00/579.07 o 313241 579.61/579.67 c 272.135 1415.79 20342 19389405 579.61/579.67 o 313140 589.70/589.77 c 276.921 1415.79 29043 19963141 589.70/589.77 o 313034 592.11/592.13 c 277.918 1415.79 29952 20118713 592.11/592.13 o 312947 613.51/613.51 c 286.386 1415.79 36938 20733665 613.51/613.51 o 312843 653.31/653.38 c 304.129 1415.79 56700 22187264 653.31/653.38 o 302832 754.30/754.32 c 342.922 1415.79 83989 23251575 754.30/754.32 o 301737 759.61/759.61 c 345.116 1415.79 86145 23567920 759.61/759.61 o 292636 763.10/763.16 c 346.683 1415.79 88087 24027972 763.10/763.17 o 273142 772.61/772.67 c 350.353 1415.79 92293 24588555 772.61/772.67 o 262540 812.10/812.14 c 366.235 1415.79 20463 25749174 812.10/812.14 o 253248 821.11/821.10 c 370.043 1415.79 25492 26141315 821.11/821.10 o 253247 857.81/857.80 c 384.416 1415.79 41483 27048308 857.81/857.80 o 253243 867.31/867.39 c 388.14 1415.79 44315 27319132 867.31/867.39 o 252639 971.41/971.48 c 432.682 1415.79 98344 30289999 971.41/971.48 o 251840 1000.81/1000.88 c 446.296 1415.79 26886 31642907 1000.81/1000.88 o 243348 1049.21/1049.20 c 468.323 1415.79 54561 33030603 1049.21/1049.20 o 243141 1127.21/1127.24 c 501.432 1415.79 83205 34660109 1127.21/1127.24 o 242535 1143.41/1143.47 c 507.793 1415.79 89498 35173300 1143.41/1143.47 o 233546 1651.13/1651.18 c 719.801 1416.3 23094 45066657 1651.13/1651.18 o 223142 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 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616
OK 223142
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701315-1278539287/watcher-2701315-1278539287 -o /tmp/evaluation-result-2701315-1278539287/solver-2701315-1278539287 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701315-1278539287.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: 1.92 1.98 1.95 3/196 17837 /proc/meminfo: memFree=29020364/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=2136 CPUtime=0 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 265 0 0 0 0 0 0 0 21 0 1 0 22141854 2187264 185 4089446400 134512640 136421960 4286892880 18446744073709551615 135372656 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17837/statm: 534 185 144 467 0 65 0 [startup+0.0633291 s] /proc/loadavg: 1.92 1.98 1.95 3/196 17837 /proc/meminfo: memFree=29020364/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=2948 CPUtime=0.06 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 474 0 0 0 6 0 0 0 21 0 1 0 22141854 3018752 361 4089446400 134512640 136421960 4286892880 18446744073709551615 135152462 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17837/statm: 737 361 144 467 0 268 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2948 [startup+0.100324 s] /proc/loadavg: 1.92 1.98 1.95 3/196 17837 /proc/meminfo: memFree=29020364/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=3732 CPUtime=0.09 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 680 0 0 0 9 0 0 0 21 0 1 0 22141854 3821568 502 4089446400 134512640 136421960 4286892880 18446744073709551615 135809528 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17837/statm: 933 502 144 467 0 464 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3732 [startup+0.300287 s] /proc/loadavg: 1.92 1.98 1.95 3/196 17837 /proc/meminfo: memFree=29020364/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=5960 CPUtime=0.29 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 1392 0 0 0 29 0 0 0 21 0 1 0 22141854 6103040 1085 4089446400 134512640 136421960 4286892880 18446744073709551615 135820570 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17837/statm: 1490 1085 144 467 0 1021 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5960 [startup+0.700223 s] /proc/loadavg: 1.92 1.98 1.95 3/196 17837 /proc/meminfo: memFree=29020364/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=14444 CPUtime=0.69 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 3825 0 0 0 68 1 0 0 22 0 1 0 22141854 14790656 2748 4089446400 134512640 136421960 4286892880 18446744073709551615 135154804 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17837/statm: 3611 2748 144 467 0 3142 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14444 [startup+1.50108 s] /proc/loadavg: 1.92 1.98 1.95 3/197 17838 /proc/meminfo: memFree=29008240/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=70432 CPUtime=1.49 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 18246 0 0 0 146 3 0 0 25 0 1 0 22141854 72122368 17086 4089446400 134512640 136421960 4286892880 18446744073709551615 134632331 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17837/statm: 17608 17086 194 467 0 17139 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 70432 [startup+3.1008 s] /proc/loadavg: 1.92 1.98 1.95 3/197 17838 /proc/meminfo: memFree=28811700/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=442184 CPUtime=3.09 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 116361 0 0 0 293 16 0 0 25 0 1 0 22141854 452796416 108876 4089446400 134512640 136421960 4286892880 18446744073709551615 134632335 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17837/statm: 110546 108876 194 467 0 110077 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 442184 [startup+6.30024 s] /proc/loadavg: 1.93 1.98 1.95 3/197 17838 /proc/meminfo: memFree=28078340/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1311036 CPUtime=6.29 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 344751 0 0 0 585 44 0 0 25 0 1 0 22141854 1342500864 317149 4089446400 134512640 136421960 4286892880 18446744073709551615 134887679 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17837/statm: 327759 317150 201 467 0 327290 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1311036 [startup+12.7001 s] /proc/loadavg: 1.93 1.98 1.95 3/197 17838 /proc/meminfo: memFree=27721804/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1343004 CPUtime=12.69 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 353200 0 0 0 1224 45 0 0 25 0 1 0 22141854 1375236096 324581 4089446400 134512640 136421960 4286892880 18446744073709551615 135017052 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17837/statm: 335751 324581 211 467 0 335282 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1343004 [startup+25.5009 s] /proc/loadavg: 1.95 1.98 1.95 3/197 17838 /proc/meminfo: memFree=27715404/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1349940 CPUtime=25.49 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 354961 0 0 0 2504 45 0 0 25 0 1 0 22141854 1382338560 326342 4089446400 134512640 136421960 4286892880 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17837/statm: 337485 326342 211 467 0 337016 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1349940 [startup+51.1003 s] /proc/loadavg: 1.96 1.98 1.95 3/197 17838 /proc/meminfo: memFree=27706432/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1358184 CPUtime=51.09 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 357589 0 0 0 5064 45 0 0 25 0 1 0 22141854 1390780416 328391 4089446400 134512640 136421960 4286892880 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17837/statm: 339546 328391 211 467 0 339077 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1358184 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.95 3/197 17840 /proc/meminfo: memFree=27678708/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1419336 CPUtime=102.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 375040 0 0 0 9103 1127 0 0 25 0 1 0 22141854 1453400064 335322 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17837/statm: 354834 335322 239 467 0 354365 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 1419336 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.95 3/197 17842 /proc/meminfo: memFree=27673220/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1425284 CPUtime=162.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 380269 0 0 0 11474 4756 0 0 25 0 1 0 22141854 1459490816 336780 4089446400 134512640 136421960 4286892880 18446744073709551615 135160717 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 356321 336780 239 467 0 355852 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 1425284 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.95 3/197 17844 /proc/meminfo: memFree=27670512/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1428104 CPUtime=222.29 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 381595 0 0 0 13813 8416 0 0 25 0 1 0 22141854 1462378496 337483 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 357026 337483 239 467 0 356557 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 1428104 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.95 3/197 17844 /proc/meminfo: memFree=27666480/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1431932 CPUtime=282.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 382571 0 0 0 15818 12412 0 0 25 0 1 0 22141854 1466298368 338459 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 357983 338459 239 467 0 357514 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1431932 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.95 3/197 17846 /proc/meminfo: memFree=27660828/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1436484 CPUtime=342.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 386280 0 0 0 18074 16156 0 0 25 0 1 0 22141854 1470959616 339700 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 359121 339700 239 467 0 358652 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1436484 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.95 3/197 17848 /proc/meminfo: memFree=27658148/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1441372 CPUtime=402.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 391891 0 0 0 20325 19905 0 0 25 0 1 0 22141854 1475964928 340923 4089446400 134512640 136421960 4286892880 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 360343 340923 239 467 0 359874 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1441372 [startup+462.301 s] /proc/loadavg: 2.07 2.00 1.95 3/197 17850 /proc/meminfo: memFree=27653624/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1444420 CPUtime=462.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 394223 0 0 0 22781 23449 0 0 25 0 1 0 22141854 1479086080 341675 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 361105 341675 239 467 0 360636 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1444420 [startup+522.3 s] /proc/loadavg: 2.03 2.00 1.95 3/197 17852 /proc/meminfo: memFree=27648112/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449848 CPUtime=522.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 395538 0 0 0 25112 27118 0 0 25 0 1 0 22141854 1484644352 342990 4089446400 134512640 136421960 4286892880 18446744073709551615 134597630 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362462 342990 239 467 0 361993 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1449848 [startup+582.301 s] /proc/loadavg: 2.01 2.00 1.95 3/197 17852 /proc/meminfo: memFree=27647536/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=582.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396179 0 0 0 27340 30890 0 0 25 0 1 0 22141854 1484558336 342982 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342982 239 467 0 361972 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1449764 [startup+642.301 s] /proc/loadavg: 1.93 1.98 1.95 3/197 17902 /proc/meminfo: memFree=27281088/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=642.31 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396182 0 0 0 29905 34326 0 0 25 0 1 0 22141854 1484558336 342982 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342982 239 467 0 361972 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1449764 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.99 1.98 1.95 3/197 17917 /proc/meminfo: memFree=27280664/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=822.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396193 0 0 0 37065 45165 0 0 25 0 1 0 22141854 1484558336 342986 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342986 239 467 0 361972 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 1449764 [startup+882.301 s] /proc/loadavg: 1.99 1.98 1.95 3/197 17917 /proc/meminfo: memFree=27280584/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=882.3 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396195 0 0 0 39521 48709 0 0 25 0 1 0 22141854 1484558336 342986 4089446400 134512640 136421960 4286892880 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342986 239 467 0 361972 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 1449764 [startup+942.301 s] /proc/loadavg: 1.99 1.98 1.95 3/197 17919 /proc/meminfo: memFree=27280508/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=942.31 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396195 0 0 0 42033 52198 0 0 25 0 1 0 22141854 1484558336 342986 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342986 239 467 0 361972 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1449764 [startup+1002.3 s] /proc/loadavg: 1.99 1.98 1.95 3/197 17921 /proc/meminfo: memFree=27147404/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=1002.31 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396197 0 0 0 44707 55524 0 0 25 0 1 0 22141854 1484558336 342986 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342986 239 467 0 361972 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1449764 [startup+1062.3 s] /proc/loadavg: 2.04 2.00 1.95 3/197 17923 /proc/meminfo: memFree=27146856/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=1062.31 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396198 0 0 0 47390 58841 0 0 25 0 1 0 22141854 1484558336 342986 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342986 239 467 0 361972 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1449764 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 1.95 3/197 17925 /proc/meminfo: memFree=27146548/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=1122.31 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396198 0 0 0 49942 62289 0 0 25 0 1 0 22141854 1484558336 342986 4089446400 134512640 136421960 4286892880 18446744073709551615 134870295 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342986 239 467 0 361972 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1449764 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 17925 /proc/meminfo: memFree=27146364/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=1182.31 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396201 0 0 0 52205 66026 0 0 25 0 1 0 22141854 1484558336 342987 4089446400 134512640 136421960 4286892880 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342987 239 467 0 361972 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1449764 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 17927 /proc/meminfo: memFree=27145836/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=1242.32 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396201 0 0 0 54652 69580 0 0 25 0 1 0 22141854 1484558336 342987 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342987 239 467 0 361972 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1449764 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 17929 /proc/meminfo: memFree=27145164/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=1302.32 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396201 0 0 0 57414 72818 0 0 25 0 1 0 22141854 1484558336 342987 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342987 239 467 0 361972 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1449764 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 17931 /proc/meminfo: memFree=27144948/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1449764 CPUtime=1362.32 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396213 0 0 0 60023 76209 0 0 25 0 1 0 22141854 1484558336 342999 4089446400 134512640 136421960 4286892880 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362441 342999 239 467 0 361972 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1449764 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.95 3/197 17933 /proc/meminfo: memFree=27026104/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1450292 CPUtime=1422.33 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396335 0 0 0 62517 79716 0 0 25 0 1 0 22141854 1485099008 343121 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362573 343121 239 467 0 362104 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1450292 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 17933 /proc/meminfo: memFree=27025932/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1450292 CPUtime=1482.32 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396335 0 0 0 64957 83275 0 0 25 0 1 0 22141854 1485099008 343121 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362573 343121 239 467 0 362104 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1450292 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 17935 /proc/meminfo: memFree=27025860/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1450292 CPUtime=1542.32 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396335 0 0 0 67500 86732 0 0 25 0 1 0 22141854 1485099008 343121 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362573 343121 239 467 0 362104 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1450292 [startup+1602.3 s] /proc/loadavg: 2.06 2.01 1.96 3/197 17937 /proc/meminfo: memFree=27025460/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1450292 CPUtime=1602.32 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396335 0 0 0 69947 90285 0 0 25 0 1 0 22141854 1485099008 343121 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362573 343121 239 467 0 362104 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1450292 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 1.96 3/197 17939 /proc/meminfo: memFree=27025416/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1450292 CPUtime=1662.33 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396336 0 0 0 72485 93748 0 0 25 0 1 0 22141854 1485099008 343121 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362573 343121 239 467 0 362104 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1450292 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/197 17941 /proc/meminfo: memFree=27025224/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1450292 CPUtime=1722.33 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396336 0 0 0 74997 97236 0 0 25 0 1 0 22141854 1485099008 343121 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362573 343121 239 467 0 362104 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1450292 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 3/197 17941 /proc/meminfo: memFree=27024660/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1450292 CPUtime=1782.33 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396336 0 0 0 77449 100784 0 0 25 0 1 0 22141854 1485099008 343121 4089446400 134512640 136421960 4286892880 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362573 343121 239 467 0 362104 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1450292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.96 3/197 17943 /proc/meminfo: memFree=27024524/32951124 swapFree=67111528/67111528 [pid=17837] ppid=17835 vsize=1450292 CPUtime=1800.03 /proc/17837/stat : 17837 (pbct) R 17835 17837 16390 0 -1 4202496 396336 0 0 0 78085 101918 0 0 25 0 1 0 22141854 1485099008 343121 4089446400 134512640 136421960 4286892880 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/17837/statm: 362573 343121 239 467 0 362104 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1450292 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.05 CPU time (s): 1800.09 CPU user time (s): 780.859 CPU system time (s): 1019.23 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1451828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 780.859 system time used= 1019.23 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 396337 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= 2791 runsolver used 2.98455 second user time and 6.25505 second system time The end
Begin job on node136 at 2010-07-07 23:48:08 IDJOB=2701315 IDBENCH=79559 IDSOLVER=1208 FILE ID=node136/2701315-1278539287 PBS_JOBID= 11239206 Free space on /tmp= 73372 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar7-sub1_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701315-1278539287/watcher-2701315-1278539287 -o /tmp/evaluation-result-2701315-1278539287/solver-2701315-1278539287 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701315-1278539287.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ffd43b20815bdb15a4cc4b3290fc84ae RANDOM SEED=574187324 node136.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.834 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.66 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.834 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.82 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.834 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.74 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.834 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.82 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.834 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 : 5426.48 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.834 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.834 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.67 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.834 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29020884 kB Buffers: 139496 kB Cached: 3336748 kB SwapCached: 0 kB Active: 1127592 kB Inactive: 2648984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29020884 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9060 kB Writeback: 0 kB AnonPages: 300204 kB Mapped: 20280 kB Slab: 88788 kB PageTables: 5740 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1652844 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= 73348 MiB End job on node136 at 2010-07-08 00:18:10