Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.09 | 1800.06 |
Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub2_wcsp.wbo |
MD5SUM | 4fd86302e553a3e850920dece7efe22c |
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 | 7793 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 688 |
Total number of constraints | 280826 |
Number of soft constraints | 280810 |
Number of constraints which are clauses | 280810 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
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 | 52140 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 37167130 |
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.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 1.40/1.43 c constraints 16/0 clauses 0/280810 units 0 1.40/1.43 c vars 688 1.40/1.43 c Setting top cost 52140 118.57/118.64 c 117.971 1507.27 1 562691 118.57/118.64 o 41926 119.08/119.17 c 118.324 1545.79 1 843941 119.08/119.17 o 38699 119.57/119.68 c 118.67 1546.18 2 1125244 119.57/119.68 o 36352 120.18/120.20 c 119.023 1546.18 2 1406469 120.18/120.20 o 29496 120.67/120.70 c 119.348 1547.18 2 1528311 120.67/120.70 o 29493 121.17/121.21 c 119.681 1547.18 2 1786044 121.17/121.21 o 28969 121.88/121.91 c 120.148 1546.81 102 2122707 121.88/121.91 o 18573 123.18/123.27 c 121.074 1546.82 166 2317718 123.18/123.27 o 18566 123.67/123.79 c 121.426 1546.83 166 2598954 123.67/123.79 o 15281 124.38/124.45 c 121.864 1546.97 214 2735635 124.38/124.45 o 15274 126.08/126.12 c 122.979 1547.24 347 3417013 126.08/126.12 o 15262 126.67/126.74 c 123.387 1547.25 364 3734163 126.67/126.74 o 14463 127.17/127.27 c 123.749 1547.39 368 3989005 127.17/127.27 o 14357 129.87/129.98 c 125.643 1546.79 776 4307008 129.87/129.98 o 13822 135.97/136.03 c 129.991 1547.48 2122 4779014 135.97/136.03 o 13784 136.57/136.67 c 130.449 1547.53 2123 5037718 136.57/136.67 o 13372 142.67/142.75 c 134.896 1548.22 3047 5374196 142.67/142.75 o 13205 143.98/144.03 c 135.82 1549.52 3326 5475625 143.98/144.03 o 13204 153.17/153.29 c 142.568 1550.73 5067 5991616 153.17/153.29 o 13109 153.87/153.94 c 143.025 1550.65 5067 6246579 153.87/153.94 o 12330 159.27/159.32 c 147.052 1551.21 5871 6582006 159.27/159.32 o 12279 163.77/163.82 c 150.194 1551.52 6372 6902069 163.77/163.82 o 12133 164.67/164.71 c 150.844 1551.57 6400 7161880 164.67/164.71 o 11606 171.87/171.93 c 155.843 1552.13 7726 7557103 171.87/171.93 o 11143 187.66/187.78 c 167.25 1552.82 9983 8000086 187.66/187.78 o 11118 195.37/195.42 c 172.839 1553.12 10919 8264275 195.37/195.42 o 11069 223.87/223.94 c 192.873 1554.07 14659 8774231 223.87/223.94 o 10916 232.67/232.70 c 199.22 1555.01 16027 9129320 232.67/232.70 o 10853 233.37/233.49 c 199.817 1555.05 16107 9407235 233.37/233.49 o 10660 234.07/234.19 c 200.342 1554.45 16107 9661740 234.07/234.19 o 10399 235.17/235.29 c 201.15 1554.5 16170 9920724 235.17/235.29 o 10221 238.27/238.36 c 203.485 1554.68 16523 10121288 238.27/238.36 o 10155 272.58/272.69 c 227.889 1557.18 23184 10669393 272.58/272.69 o 10113 316.97/317.05 c 259.746 1559.73 32102 11904560 316.97/317.05 o 9824 372.57/372.68 c 298.951 1562.46 41319 12993708 372.57/372.68 o 9792 380.67/380.79 c 304.662 1562.77 42037 13136410 380.67/380.79 o 9787 393.37/393.40 c 313.597 1563.07 43052 13385291 393.37/393.40 o 9741 396.88/396.97 c 316.295 1563.25 43294 13658874 396.88/396.97 o 9421 397.97/398.03 c 317.048 1563.3 43384 13831460 397.97/398.03 o 9354 593.89/593.94 c 459.584 1574.83 68947 15770572 593.89/593.94 o 9337 641.69/641.73 c 494.793 1577.34 74787 16509651 641.69/641.73 o 9306 651.99/652.01 c 502.182 1577.77 76163 16885237 651.99/652.01 o 9267 718.99/719.03 c 551.888 1581.43 86078 17784473 718.99/719.03 o 8693 739.59/739.65 c 567.27 1582.5 89295 18164947 739.59/739.65 o 8620 949.29/949.34 c 724.883 1584.97 34941 20063173 949.29/949.34 o 8551 1090.60/1090.67 c 829.504 1584.97 55351 21611143 1090.60/1090.67 o 8460 1133.49/1133.57 c 861.41 1584.97 60500 22334074 1133.49/1133.57 o 7999 1137.80/1137.83 c 864.861 1585.01 61505 22616357 1137.80/1137.83 o 7869 1564.81/1564.82 c 1189.4 1637.5 80821 23367238 1564.81/1564.82 o 7819 1755.62/1755.63 c 1306.08 1647.56 20413 24966325 1755.62/1755.63 o 7793 1800.02/1800.00 s SATISFIABLE 1800.02/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 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688
OK 7793
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701299-1278539203/watcher-2701299-1278539203 -o /tmp/evaluation-result-2701299-1278539203/solver-2701299-1278539203 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701299-1278539203.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.94 4/196 22552 /proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=2136 CPUtime=0 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 268 0 0 0 0 0 0 0 25 0 1 0 22132800 2187264 188 4089446400 134512640 136422188 4292900656 18446744073709551615 135818393 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22552/statm: 534 188 144 467 0 65 0 [startup+0.0733969 s] /proc/loadavg: 2.00 2.00 1.94 4/196 22552 /proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=3056 CPUtime=0.07 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 513 0 0 0 7 0 0 0 25 0 1 0 22132800 3129344 400 4089446400 134512640 136422188 4292900656 18446744073709551615 135154954 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22552/statm: 764 400 144 467 0 295 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3056 [startup+0.100392 s] /proc/loadavg: 2.00 2.00 1.94 4/196 22552 /proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=3708 CPUtime=0.1 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 686 0 0 0 10 0 0 0 25 0 1 0 22132800 3796992 508 4089446400 134512640 136422188 4292900656 18446744073709551615 135160514 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22552/statm: 927 508 144 467 0 458 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3708 [startup+0.300353 s] /proc/loadavg: 2.00 2.00 1.94 4/196 22552 /proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=5936 CPUtime=0.29 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 1414 0 0 0 29 0 0 0 25 0 1 0 22132800 6078464 1107 4089446400 134512640 136422188 4292900656 18446744073709551615 135818350 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22552/statm: 1484 1108 144 467 0 1015 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5936 [startup+0.70028 s] /proc/loadavg: 2.00 2.00 1.94 4/196 22552 /proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=14420 CPUtime=0.69 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 3836 0 0 0 69 0 0 0 25 0 1 0 22132800 14766080 2759 4089446400 134512640 136422188 4292900656 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22552/statm: 3605 2759 144 467 0 3136 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14420 [startup+1.50114 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22553 /proc/meminfo: memFree=28237512/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=39772 CPUtime=1.49 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 10658 0 0 0 148 1 0 0 25 0 1 0 22132800 40726528 8556 4089446400 134512640 136422188 4292900656 18446744073709551615 134707248 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22552/statm: 9943 8556 195 467 0 9474 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39772 [startup+3.10084 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22553 /proc/meminfo: memFree=28074824/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=418172 CPUtime=3.09 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 110160 0 0 0 295 14 0 0 25 0 1 0 22132800 428208128 101512 4089446400 134512640 136422188 4292900656 18446744073709551615 134707319 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22552/statm: 104543 101512 195 467 0 104074 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 418172 [startup+6.30026 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22553 /proc/meminfo: memFree=27344344/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1171972 CPUtime=6.29 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 310423 0 0 0 593 36 0 0 25 0 1 0 22132800 1200099328 282057 4089446400 134512640 136422188 4292900656 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22552/statm: 293026 282068 196 467 0 292557 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1171972 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22553 /proc/meminfo: memFree=26794048/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1502260 CPUtime=12.69 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 395537 0 0 0 1223 46 0 0 25 0 1 0 22132800 1538314240 363940 4089446400 134512640 136422188 4292900656 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22552/statm: 375565 363940 209 467 0 375096 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1502260 [startup+25.5008 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22554 /proc/meminfo: memFree=26787160/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1509196 CPUtime=25.49 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 397268 0 0 0 2503 46 0 0 25 0 1 0 22132800 1545416704 365671 4089446400 134512640 136422188 4292900656 18446744073709551615 135017388 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22552/statm: 377299 365671 209 467 0 376830 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1509196 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22555 /proc/meminfo: memFree=26782104/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1514344 CPUtime=51.1 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 398546 0 0 0 5063 47 0 0 25 0 1 0 22132800 1550688256 366949 4089446400 134512640 136422188 4292900656 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22552/statm: 378586 366949 209 467 0 378117 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 1514344 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22556 /proc/meminfo: memFree=26771936/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1524436 CPUtime=102.28 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 401652 0 0 0 10181 47 0 0 25 0 1 0 22132800 1561022464 369476 4089446400 134512640 136422188 4292900656 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/22552/statm: 381109 369476 209 467 0 380640 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1524436 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22557 /proc/meminfo: memFree=26748316/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1588704 CPUtime=162.27 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 425299 0 0 0 14909 1318 0 0 25 0 1 0 22132800 1626832896 374999 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 397176 374999 238 467 0 396707 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 1588704 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22559 /proc/meminfo: memFree=26746272/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1590924 CPUtime=222.27 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 428980 0 0 0 19166 3061 0 0 25 0 1 0 22132800 1629106176 375545 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 397731 375545 238 467 0 397262 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 1590924 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22561 /proc/meminfo: memFree=26741888/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1594808 CPUtime=282.27 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 434059 0 0 0 23483 4744 0 0 25 0 1 0 22132800 1633083392 376526 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 398702 376526 238 467 0 398233 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 1594808 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22563 /proc/meminfo: memFree=26738724/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1598052 CPUtime=342.28 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 435860 0 0 0 27765 6463 0 0 25 0 1 0 22132800 1636405248 377344 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 399513 377344 238 467 0 399044 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 1598052 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22564 /proc/meminfo: memFree=26735188/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1600812 CPUtime=402.27 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 440303 0 0 0 32010 8217 0 0 25 0 1 0 22132800 1639231488 378032 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 400203 378032 238 467 0 399734 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 1600812 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22565 /proc/meminfo: memFree=26729304/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1607240 CPUtime=462.28 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 442247 0 0 0 36521 9707 0 0 25 0 1 0 22132800 1645813760 379639 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 401810 379639 238 467 0 401341 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 1607240 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22567 /proc/meminfo: memFree=26726776/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1609880 CPUtime=522.28 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 442916 0 0 0 40734 11494 0 0 25 0 1 0 22132800 1648517120 380308 4089446400 134512640 136422188 4292900656 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 402470 380308 238 467 0 402001 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 1609880 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22569 /proc/meminfo: memFree=26724616/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1612048 CPUtime=582.29 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 443430 0 0 0 45122 13107 0 0 25 0 1 0 22132800 1650737152 380822 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 403012 380822 238 467 0 402543 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 1612048 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22571 /proc/meminfo: memFree=26720972/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1615188 CPUtime=642.28 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 445497 0 0 0 49521 14707 0 0 25 0 1 0 22132800 1653952512 381626 4089446400 134512640 136422188 4292900656 18446744073709551615 135028676 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 403797 381626 238 467 0 403328 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 1615188 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22575 /proc/meminfo: memFree=26714244/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1623008 CPUtime=822.29 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449285 0 0 0 62975 19254 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 405752 383534 238 467 0 405283 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 1623008 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22586 /proc/meminfo: memFree=26713176/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1623008 CPUtime=882.29 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449285 0 0 0 67558 20671 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22552/statm: 405752 383534 238 467 0 405283 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 1623008 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22588 /proc/meminfo: memFree=26713096/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1623008 CPUtime=942.29 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449285 0 0 0 71925 22304 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22552/statm: 405752 383534 238 467 0 405283 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 1623008 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22589 /proc/meminfo: memFree=26713276/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1623008 CPUtime=1002.29 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449286 0 0 0 76426 23803 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 405752 383534 238 467 0 405283 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 1623008 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22590 /proc/meminfo: memFree=26713232/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1623008 CPUtime=1062.3 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449286 0 0 0 80808 25422 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 405752 383534 238 467 0 405283 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1623008 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.94 3/197 22592 /proc/meminfo: memFree=26713028/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1623008 CPUtime=1122.29 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449287 0 0 0 85299 26930 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 405752 383534 238 467 0 405283 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 1623008 [startup+1182.3 s] /proc/loadavg: 2.07 2.02 1.95 3/197 22594 /proc/meminfo: memFree=26710364/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1626616 CPUtime=1182.29 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 450670 0 0 0 89883 28346 0 0 25 0 1 0 22132800 1665654784 384442 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 406654 384442 238 467 0 406185 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 1626616 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 1.95 3/197 22596 /proc/meminfo: memFree=26706960/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1629656 CPUtime=1242.3 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 451435 0 0 0 94712 29518 0 0 25 0 1 0 22132800 1668767744 385207 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 407414 385207 238 467 0 406945 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 1629656 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 1.95 3/197 22597 /proc/meminfo: memFree=26701332/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1635468 CPUtime=1302.3 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 452888 0 0 0 99267 30963 0 0 25 0 1 0 22132800 1674719232 386660 4089446400 134512640 136422188 4292900656 18446744073709551615 135032781 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 408867 386660 238 467 0 408398 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 1635468 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 22598 /proc/meminfo: memFree=26681852/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1655160 CPUtime=1362.3 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 457802 0 0 0 103883 32347 0 0 25 0 1 0 22132800 1694883840 391574 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 413790 391574 238 467 0 413321 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 1655160 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 1.95 3/197 22600 /proc/meminfo: memFree=26674352/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1662584 CPUtime=1422.31 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 459650 0 0 0 108862 33369 0 0 25 0 1 0 22132800 1702486016 393422 4089446400 134512640 136422188 4292900656 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/22552/statm: 415646 393422 238 467 0 415177 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 1662584 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 1.95 3/197 22722 /proc/meminfo: memFree=27046020/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1668680 CPUtime=1482.3 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 461193 0 0 0 113742 34488 0 0 25 0 1 0 22132800 1708728320 394965 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/22552/statm: 417170 394965 238 467 0 416701 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 1668680 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 22724 /proc/meminfo: memFree=27026996/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1674364 CPUtime=1542.3 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 462613 0 0 0 117292 36938 0 0 25 0 1 0 22132800 1714548736 396385 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/22552/statm: 418591 396385 238 467 0 418122 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 1674364 [startup+1602.3 s] /proc/loadavg: 2.05 2.01 1.96 3/197 22725 /proc/meminfo: memFree=27020228/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1680564 CPUtime=1602.31 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 465154 0 0 0 121269 38962 0 0 25 0 1 0 22132800 1720897536 397911 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/22552/statm: 420141 397911 238 467 0 419672 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1680564 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 1.96 3/197 22726 /proc/meminfo: memFree=27016048/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1684588 CPUtime=1662.31 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 468183 0 0 0 125055 41176 0 0 25 0 1 0 22132800 1725018112 398941 4089446400 134512640 136422188 4292900656 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/22552/statm: 421147 398941 238 467 0 420678 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1684588 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/197 22728 /proc/meminfo: memFree=27012888/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1687100 CPUtime=1722.31 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 468785 0 0 0 128706 43525 0 0 25 0 1 0 22132800 1727590400 399543 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/22552/statm: 421775 399543 238 467 0 421306 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 1687100 [startup+1782.3 s] /proc/loadavg: 2.03 2.01 1.96 3/197 22730 /proc/meminfo: memFree=27012560/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1687100 CPUtime=1782.31 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 468786 0 0 0 132489 45742 0 0 25 0 1 0 22132800 1727590400 399543 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/22552/statm: 421775 399543 238 467 0 421306 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 1687100 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.01 1.96 3/197 22730 /proc/meminfo: memFree=27012548/32951124 swapFree=67111528/67111528 [pid=22552] ppid=22550 vsize=1687100 CPUtime=1800.02 /proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 468786 0 0 0 133705 46297 0 0 25 0 1 0 22132800 1727590400 399543 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/22552/statm: 421775 399543 238 467 0 421306 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1687100 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.06 CPU time (s): 1800.09 CPU user time (s): 1337.06 CPU system time (s): 463.031 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1687100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1337.06 system time used= 463.031 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 468787 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= 7554 runsolver used 2.99354 second user time and 6.575 second system time The end
Begin job on node139 at 2010-07-07 23:46:43 IDJOB=2701299 IDBENCH=79556 IDSOLVER=1212 FILE ID=node139/2701299-1278539203 PBS_JOBID= 11239199 Free space on /tmp= 73672 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub2_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701299-1278539203/watcher-2701299-1278539203 -o /tmp/evaluation-result-2701299-1278539203/solver-2701299-1278539203 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701299-1278539203.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4fd86302e553a3e850920dece7efe22c RANDOM SEED=579044125 node139.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.841 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.68 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.841 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.83 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.841 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.841 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.841 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.75 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.841 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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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: 28250820 kB Buffers: 147280 kB Cached: 3919912 kB SwapCached: 0 kB Active: 1591948 kB Inactive: 2959000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28250820 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9764 kB Writeback: 0 kB AnonPages: 483764 kB Mapped: 20292 kB Slab: 84540 kB PageTables: 5672 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1644192 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= 73676 MiB End job on node139 at 2010-07-08 00:16:45