Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB/CT 0.1 fixed | MSAT (TO) | 1800.11 | 1800.06 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1_wcsp.wbo |
| MD5SUM | 2761e2185b4635bfb360739bf2448c3f |
| 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 | 4988 |
| Best CPU time to get the best result obtained on this benchmark | 1800.11 |
| 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 | 241978 |
| Number of soft constraints | 241964 |
| Number of constraints which are clauses | 241964 |
| 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 | 48694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 34489736 |
| 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.29/1.34 c constraints 14/0 clauses 0/241964 units 0 1.29/1.34 c vars 616 1.29/1.35 c Setting top cost 48694 88.29/88.32 c 87.7117 1289.68 1 484892 88.29/88.32 o 39011 88.80/88.80 c 88.0366 1323.47 1 727261 88.80/88.80 o 35784 89.19/89.29 c 88.3496 1331.15 2 969680 89.19/89.29 o 33437 89.69/89.77 c 88.6635 1331.15 2 1212042 89.69/89.77 o 26690 90.20/90.26 c 89.0095 1331.15 3 1434796 90.20/90.26 o 26170 90.89/90.91 c 89.4474 1331.15 27 1730870 90.89/90.91 o 25743 91.39/91.40 c 89.7844 1331.15 27 1973189 91.39/91.40 o 23218 91.79/91.89 c 90.1363 1331.28 27 2215594 91.79/91.89 o 19432 92.89/92.92 c 90.8262 1331.28 45 2513326 92.89/92.92 o 18992 94.09/94.14 c 91.6601 1331.67 145 2791717 94.09/94.14 o 17440 94.60/94.63 c 91.993 1331.67 145 2977200 94.60/94.63 o 17344 95.09/95.15 c 92.341 1331.16 146 3237531 95.09/95.15 o 16706 95.60/95.66 c 92.7019 1331.18 147 3481501 95.60/95.66 o 15870 96.39/96.45 c 93.2568 1331.32 247 3743131 96.39/96.45 o 15414 96.90/96.96 c 93.6238 1331.33 247 3960361 96.90/96.96 o 15171 97.39/97.45 c 93.9587 1332.21 247 4044164 97.39/97.45 o 15163 97.90/97.94 c 94.3067 1332.23 249 4262247 97.90/97.94 o 14285 98.40/98.47 c 94.6746 1332.24 251 4496299 98.40/98.47 o 13527 98.89/98.97 c 95.0216 1332.25 251 4712917 98.89/98.97 o 13398 99.39/99.48 c 95.3725 1332.26 251 4955360 99.39/99.48 o 10953 102.79/102.87 c 97.8161 1332.29 778 5255507 102.79/102.87 o 10847 104.79/104.82 c 99.2099 1332.57 1083 5518551 104.79/104.82 o 10521 105.39/105.44 c 99.6518 1332.59 1120 5744334 105.39/105.44 o 10065 109.09/109.17 c 102.264 1332.62 1724 6027890 109.09/109.17 o 9982 114.10/114.12 c 105.815 1333.05 2373 6273659 114.10/114.12 o 9948 124.89/124.90 c 113.385 1333.73 4180 6597819 124.89/124.90 o 9921 125.49/125.53 c 113.834 1333.77 4197 6684453 125.49/125.53 o 9915 126.80/126.80 c 114.73 1333.8 4445 6860983 126.80/126.80 o 9904 128.60/128.63 c 116.025 1333.97 4600 7020008 128.60/128.63 o 9882 150.49/150.59 c 131.391 1335.04 8105 7414325 150.49/150.59 o 9817 155.40/155.44 c 134.788 1335.2 8604 7654052 155.40/155.44 o 9789 157.09/157.14 c 135.987 1335.24 8718 7882505 157.09/157.14 o 9674 209.40/209.45 c 172.309 1337.34 17182 8876289 209.40/209.45 o 9641 228.71/228.78 c 185.628 1338.14 20646 9293091 228.71/228.78 o 9604 235.20/235.24 c 190.143 1338.57 22239 9643717 235.20/235.24 o 9490 293.90/293.97 c 232.321 1342.42 28829 10056217 293.90/293.97 o 9412 294.99/295.02 c 233.102 1342.42 28908 10277229 294.99/295.02 o 8843 318.40/318.41 c 249.154 1342.56 32348 10655978 318.40/318.41 o 8755 341.69/341.79 c 265.529 1342.84 37000 11209256 341.69/341.79 o 8537 369.80/369.81 c 284.905 1343.43 41534 11867514 369.80/369.81 o 8424 374.50/374.58 c 288.206 1343.56 42347 12085007 374.50/374.58 o 8351 389.41/389.42 c 299.063 1345 44146 12417427 389.41/389.42 o 8197 451.60/451.69 c 345.705 1347.66 52981 13313746 451.60/451.69 o 7664 506.30/506.30 c 384.789 1351.7 62187 13847759 506.30/506.30 o 7660 518.40/518.40 c 393.407 1352.64 64043 14211234 518.40/518.40 o 7163 614.81/614.86 c 464.061 1358.36 79123 15342862 614.81/614.86 o 7140 711.51/711.59 c 536.044 1358.48 21279 16190461 711.51/711.59 o 7102 719.01/719.07 c 541.369 1358.48 22061 16324348 719.01/719.07 o 7092 972.42/972.43 c 735.966 1383.02 47921 18031874 972.42/972.43 o 7055 1059.33/1059.31 c 806.889 1407.88 59059 18783139 1059.33/1059.31 o 7014 1061.62/1061.65 c 808.619 1408.05 59298 19031092 1061.62/1061.65 o 6872 1107.12/1107.18 c 842.299 1412.48 65210 19531395 1107.12/1107.18 o 6380 1120.22/1120.24 c 852.431 1417.21 67572 19927280 1120.22/1120.24 o 6232 1120.83/1120.81 c 852.845 1417.25 67577 20077351 1120.83/1120.81 o 6198 1129.52/1129.55 c 858.875 1418.06 68407 20395313 1129.52/1129.55 o 5737 1257.23/1257.22 c 954.18 1431.53 85911 20975603 1257.23/1257.22 o 5736 1572.83/1572.90 c 1135.06 1431.53 43153 22732413 1572.83/1572.90 o 5644 1595.13/1595.12 c 1145.16 1431.53 45513 23126599 1595.13/1595.12 o 5047 1604.33/1604.34 c 1149.67 1431.53 48960 23347175 1604.33/1604.34 o 4988 1800.05/1800.00 s SATISFIABLE 1800.05/1800.00 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -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 4988
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701251-1278538301/watcher-2701251-1278538301 -o /tmp/evaluation-result-2701251-1278538301/solver-2701251-1278538301 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701251-1278538301.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.01 2.00 1.94 4/178 18278 /proc/meminfo: memFree=29467204/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=2136 CPUtime=0 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 266 0 0 0 0 0 0 0 25 0 1 0 22043078 2187264 185 4089446400 134512640 136422188 4290194352 18446744073709551615 135372822 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18278/statm: 534 185 144 467 0 65 0 [startup+0.012174 s] /proc/loadavg: 2.01 2.00 1.94 4/178 18278 /proc/meminfo: memFree=29467204/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=2292 CPUtime=0.01 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 284 0 0 0 1 0 0 0 25 0 1 0 22043078 2347008 203 4089446400 134512640 136422188 4290194352 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18278/statm: 573 203 144 467 0 104 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2292 [startup+0.101157 s] /proc/loadavg: 2.01 2.00 1.94 4/178 18278 /proc/meminfo: memFree=29467204/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=3732 CPUtime=0.09 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 677 0 0 0 9 0 0 0 25 0 1 0 22043078 3821568 498 4089446400 134512640 136422188 4290194352 18446744073709551615 135372805 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18278/statm: 933 498 144 467 0 464 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3732 [startup+0.300119 s] /proc/loadavg: 2.01 2.00 1.94 4/178 18278 /proc/meminfo: memFree=29467204/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=5696 CPUtime=0.29 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 1325 0 0 0 29 0 0 0 25 0 1 0 22043078 5832704 1017 4089446400 134512640 136422188 4290194352 18446744073709551615 135154957 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18278/statm: 1424 1017 144 467 0 955 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5696 [startup+0.701048 s] /proc/loadavg: 2.01 2.00 1.94 4/178 18278 /proc/meminfo: memFree=29467204/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=10152 CPUtime=0.69 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 2713 0 0 0 69 0 0 0 25 0 1 0 22043078 10395648 2148 4089446400 134512640 136422188 4290194352 18446744073709551615 135152381 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18278/statm: 2538 2148 144 467 0 2069 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10152 [startup+1.5009 s] /proc/loadavg: 2.01 2.00 1.94 3/179 18279 /proc/meminfo: memFree=29455672/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=53288 CPUtime=1.49 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 13733 0 0 0 148 1 0 0 25 0 1 0 22043078 54566912 12655 4089446400 134512640 136422188 4290194352 18446744073709551615 134706444 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 13322 12655 195 467 0 12853 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 53288 [startup+3.10062 s] /proc/loadavg: 2.01 2.00 1.94 3/179 18279 /proc/meminfo: memFree=29286908/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=404072 CPUtime=3.09 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 106425 0 0 0 297 12 0 0 25 0 1 0 22043078 413769728 98939 4089446400 134512640 136422188 4290194352 18446744073709551615 134701211 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 101018 98939 195 467 0 100549 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 404072 [startup+6.30104 s] /proc/loadavg: 2.01 2.00 1.94 3/179 18279 /proc/meminfo: memFree=28620444/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1218020 CPUtime=6.29 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 321019 0 0 0 589 40 0 0 25 0 1 0 22043078 1247252480 298057 4089446400 134512640 136422188 4290194352 18446744073709551615 134723335 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 304505 298057 196 467 0 304036 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1218020 [startup+12.7009 s] /proc/loadavg: 2.01 2.00 1.94 3/179 18279 /proc/meminfo: memFree=28207408/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1289184 CPUtime=12.69 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 339151 0 0 0 1226 43 0 0 25 0 1 0 22043078 1320124416 314634 4089446400 134512640 136422188 4290194352 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 322296 314634 209 467 0 321827 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1289184 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18280 /proc/meminfo: memFree=28201776/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1295460 CPUtime=25.49 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 340712 0 0 0 2506 43 0 0 25 0 1 0 22043078 1326551040 316195 4089446400 134512640 136422188 4290194352 18446744073709551615 135017800 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 323865 316195 209 467 0 323396 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1295460 [startup+51.101 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18281 /proc/meminfo: memFree=28196452/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1301004 CPUtime=51.09 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 342114 0 0 0 5066 43 0 0 25 0 1 0 22043078 1332228096 317597 4089446400 134512640 136422188 4290194352 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 325251 317597 209 467 0 324782 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1301004 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18282 /proc/meminfo: memFree=28170636/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1364232 CPUtime=102.3 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 360938 0 0 0 9741 489 0 0 25 0 1 0 22043078 1396973568 323325 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 341058 323325 238 467 0 340589 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 1364232 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18283 /proc/meminfo: memFree=28167732/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1367280 CPUtime=162.29 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 366887 0 0 0 13960 2269 0 0 25 0 1 0 22043078 1400094720 324097 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 341820 324097 238 467 0 341351 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 1367280 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18285 /proc/meminfo: memFree=28161868/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1369692 CPUtime=222.3 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 367929 0 0 0 18124 4106 0 0 25 0 1 0 22043078 1402564608 324675 4089446400 134512640 136422188 4290194352 18446744073709551615 134856255 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 342423 324675 238 467 0 341954 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 1369692 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18287 /proc/meminfo: memFree=28160084/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1371996 CPUtime=282.3 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 369436 0 0 0 22395 5835 0 0 25 0 1 0 22043078 1404923904 325257 4089446400 134512640 136422188 4290194352 18446744073709551615 135006730 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 342999 325257 238 467 0 342530 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1371996 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18289 /proc/meminfo: memFree=28156200/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1375068 CPUtime=342.3 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 370681 0 0 0 26591 7639 0 0 25 0 1 0 22043078 1408069632 326042 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 343767 326042 238 467 0 343298 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1375068 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18290 /proc/meminfo: memFree=28154172/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1377544 CPUtime=402.3 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 373043 0 0 0 30822 9408 0 0 25 0 1 0 22043078 1410605056 326642 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 344386 326642 238 467 0 343917 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1377544 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18291 /proc/meminfo: memFree=28149292/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1382252 CPUtime=462.3 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 374869 0 0 0 35374 10856 0 0 25 0 1 0 22043078 1415426048 327823 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 345563 327823 238 467 0 345094 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1382252 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18293 /proc/meminfo: memFree=28145296/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1385096 CPUtime=522.3 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 376540 0 0 0 39620 12610 0 0 25 0 1 0 22043078 1418338304 328551 4089446400 134512640 136422188 4290194352 18446744073709551615 134873052 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 346274 328551 238 467 0 345805 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1385096 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18295 /proc/meminfo: memFree=28143040/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1388276 CPUtime=582.31 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 377325 0 0 0 43989 14242 0 0 25 0 1 0 22043078 1421594624 329336 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 347069 329336 238 467 0 346600 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1388276 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18297 /proc/meminfo: memFree=28131104/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1391084 CPUtime=642.31 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 378489 0 0 0 48425 15806 0 0 25 0 1 0 22043078 1424470016 330033 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 347771 330033 238 467 0 347302 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1391084 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18301 /proc/meminfo: memFree=28124952/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1399084 CPUtime=822.31 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 380506 0 0 0 61829 20402 0 0 25 0 1 0 22043078 1432662016 332048 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 349771 332048 238 467 0 349302 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1399084 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18303 /proc/meminfo: memFree=28112272/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1410344 CPUtime=882.31 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 383308 0 0 0 66639 21592 0 0 25 0 1 0 22043078 1444192256 334850 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 352586 334850 238 467 0 352117 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1410344 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18305 /proc/meminfo: memFree=28108028/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1414576 CPUtime=942.32 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 384368 0 0 0 71122 23110 0 0 25 0 1 0 22043078 1448525824 335910 4089446400 134512640 136422188 4290194352 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 353644 335910 238 467 0 353175 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1414576 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18306 /proc/meminfo: memFree=28103792/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1419708 CPUtime=1002.32 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 386239 0 0 0 75984 24248 0 0 25 0 1 0 22043078 1453780992 337176 4089446400 134512640 136422188 4290194352 18446744073709551615 134863997 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 354927 337176 238 467 0 354458 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1419708 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18307 /proc/meminfo: memFree=28079820/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1441836 CPUtime=1062.32 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 392747 0 0 0 80910 25322 0 0 25 0 1 0 22043078 1476440064 342734 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 360459 342734 238 467 0 359990 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1441836 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18309 /proc/meminfo: memFree=28070616/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1451256 CPUtime=1122.32 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 396542 0 0 0 85383 26849 0 0 25 0 1 0 22043078 1486086144 345089 4089446400 134512640 136422188 4290194352 18446744073709551615 135010360 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 362814 345089 238 467 0 362345 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1451256 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18311 /proc/meminfo: memFree=28068092/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1454356 CPUtime=1182.32 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 398746 0 0 0 89876 28356 0 0 25 0 1 0 22043078 1489260544 345834 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 363589 345834 238 467 0 363120 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1454356 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18313 /proc/meminfo: memFree=28058764/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1463736 CPUtime=1242.32 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 401114 0 0 0 94321 29911 0 0 25 0 1 0 22043078 1498865664 348202 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 365934 348202 238 467 0 365465 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1463736 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18314 /proc/meminfo: memFree=28055632/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1465884 CPUtime=1302.33 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402195 0 0 0 98608 31625 0 0 25 0 1 0 22043078 1501065216 348812 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 366471 348812 238 467 0 366002 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1465884 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18315 /proc/meminfo: memFree=28055212/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1465884 CPUtime=1362.33 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402195 0 0 0 102890 33343 0 0 25 0 1 0 22043078 1501065216 348812 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18278/statm: 366471 348812 238 467 0 366002 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1465884 [startup+1422.31 s] /proc/loadavg: 2.02 2.00 1.94 3/179 18345 /proc/meminfo: memFree=27650680/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1465884 CPUtime=1422.33 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402195 0 0 0 106314 35919 0 0 25 0 1 0 22043078 1501065216 348812 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/18278/statm: 366471 348812 238 467 0 366002 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1465884 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 1.94 3/179 18347 /proc/meminfo: memFree=27643336/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1465884 CPUtime=1482.33 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402195 0 0 0 109058 39175 0 0 25 0 1 0 22043078 1501065216 348812 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18278/statm: 366471 348812 238 467 0 366002 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1465884 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18349 /proc/meminfo: memFree=27637612/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1465884 CPUtime=1542.34 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402195 0 0 0 111828 42406 0 0 25 0 1 0 22043078 1501065216 348812 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18278/statm: 366471 348812 238 467 0 366002 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1465884 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18350 /proc/meminfo: memFree=27633000/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1465884 CPUtime=1602.34 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402197 0 0 0 114865 45369 0 0 25 0 1 0 22043078 1501065216 348812 4089446400 134512640 136422188 4290194352 18446744073709551615 134860207 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18278/statm: 366471 348812 238 467 0 366002 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1465884 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18351 /proc/meminfo: memFree=27629608/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1465884 CPUtime=1662.33 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402198 0 0 0 118252 47981 0 0 25 0 1 0 22043078 1501065216 348812 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18278/statm: 366471 348812 238 467 0 366002 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1465884 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18353 /proc/meminfo: memFree=27627336/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1465884 CPUtime=1722.34 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402198 0 0 0 121948 50286 0 0 25 0 1 0 22043078 1501065216 348812 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18278/statm: 366471 348812 238 467 0 366002 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1465884 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18364 /proc/meminfo: memFree=27619740/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1467072 CPUtime=1782.34 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402477 0 0 0 125025 53209 0 0 25 0 1 0 22043078 1502281728 349091 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18278/statm: 366768 349091 238 467 0 366299 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1467072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18364 /proc/meminfo: memFree=27616240/32951124 swapFree=67111528/67111528 [pid=18278] ppid=18276 vsize=1468140 CPUtime=1800.05 /proc/18278/stat : 18278 (pbct) R 18276 18278 17528 0 -1 4202496 402907 0 0 0 125700 54305 0 0 25 0 1 0 22043078 1503375360 349375 4089446400 134512640 136422188 4290194352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18278/statm: 367035 349375 238 467 0 366566 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1468140 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.11 CPU user time (s): 1257 CPU system time (s): 543.108 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1468260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1257 system time used= 543.108 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 402908 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= 7321 runsolver used 2.88056 second user time and 6.08507 second system time The end
Begin job on node142 at 2010-07-07 23:31:42 IDJOB=2701251 IDBENCH=79548 IDSOLVER=1212 FILE ID=node142/2701251-1278538301 PBS_JOBID= 11239193 Free space on /tmp= 73324 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub1_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701251-1278538301/watcher-2701251-1278538301 -o /tmp/evaluation-result-2701251-1278538301/solver-2701251-1278538301 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701251-1278538301.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2761e2185b4635bfb360739bf2448c3f RANDOM SEED=2002142184 node142.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.874 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.74 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.874 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.874 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.874 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.79 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.874 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 : 5311.06 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.874 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.874 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.874 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: 29467732 kB Buffers: 138344 kB Cached: 3061008 kB SwapCached: 0 kB Active: 1039772 kB Inactive: 2290128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29467732 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 8488 kB Writeback: 0 kB AnonPages: 130820 kB Mapped: 15552 kB Slab: 89416 kB PageTables: 4856 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 276220 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= 73320 MiB End job on node142 at 2010-07-08 00:01:44