Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 65 | 1798.01 | 1798.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb |
MD5SUM | d95d18eb9f9494c32273975c1bc570ba |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 6.586 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | YES |
Number of variables | 756 |
Total number of constraints | 1853 |
Number of constraints which are clauses | 1853 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 756 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 756 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 756 |
Number of bits of the biggest sum of numbers | 10 |
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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1880613-1245240035.opb 0.00/0.00 c File size is 166800 bytes. 0.00/0.02 c Highest Coefficient sum: 756 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.024 s 0.00/0.02 c Var: 756 Constr: 1853 1853/0/0 Lit: 19125 Watch. Lit: 3689 0.00/0.02 c Obj. Vars: 756 (100 % of total variables) 0.00/0.07 c Formula reductions applied at preprocessing 0.00/0.07 c Pre-processing Time: 0.074 s 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 612 1235 16248 13 2470 411 0 0 0.07 0.09/0.17 c Initial Lower Bound: 62 0.09/0.17 c Initial Path Cost: 19 0.09/0.17 o 83 1.69/1.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.73 c 1 612 1238 16898 13 3024 1411 3 5 0.18 1.69/1.73 o 76 18.99/19.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.99/19.08 c 2 612 1241 17519 14 3585 1411 6 1 1.73 18.99/19.08 c 116 612 1574 101434 64 4251 1553 339 25 4.51 18.99/19.08 c 366 612 2179 256745 117 5461 1709 944 42 8.64 18.99/19.08 c 841 612 2164 283790 131 4883 1880 929 48 17.38 18.99/19.08 o 75 20.58/20.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.58/20.67 c 844 612 2170 285407 131 5451 1411 935 44 19.08 20.58/20.67 o 74 22.09/22.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.09/22.12 c 848 612 2179 288053 132 6026 1411 944 41 20.66 22.09/22.12 o 73 23.38/23.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.38/23.48 c 856 612 2198 294375 133 6622 1411 963 38 22.12 23.38/23.48 o 72 132.34/132.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 132.34/132.47 c 861 612 2212 299375 135 7209 1411 977 36 23.48 132.34/132.47 c 971 612 2527 402662 159 7839 1553 1292 37 25.65 132.34/132.47 c 1222 612 2014 265493 131 4587 1709 779 41 29.41 132.34/132.47 c 1699 612 2092 300054 143 4743 1880 857 48 34.71 132.34/132.47 c 2519 612 2894 509747 176 6347 2069 1659 56 44.27 132.34/132.47 c 3847 612 2271 328149 144 5101 2276 1036 65 59.15 132.34/132.47 c 5931 612 3175 582873 183 6909 2504 1940 75 78.59 132.34/132.47 c 9154 612 3845 765641 199 8249 2755 2610 81 112.77 132.34/132.47 o 71 146.44/146.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 146.44/146.51 c 11017 612 3150 574605 182 7419 1411 1915 83 132.42 146.44/146.51 c 11117 612 2211 306639 138 4982 1553 976 82 134.60 146.44/146.51 c 11369 612 2886 516905 179 6332 1709 1651 81 138.83 146.44/146.51 c 11844 612 2842 534412 188 6244 1880 1607 81 144.71 146.44/146.51 o 70 301.38/301.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 301.38/301.54 c 11856 612 2874 541178 188 6869 1411 1639 80 146.46 301.38/301.54 c 11957 612 2238 335880 150 5037 1553 1003 80 148.90 301.38/301.54 c 12211 612 2015 261851 129 4591 1709 780 80 152.59 301.38/301.54 c 12692 612 2093 268022 128 4747 1880 858 80 158.07 301.38/301.54 c 13511 612 3002 515470 171 6565 2069 1767 80 167.67 301.38/301.54 c 14834 612 2273 304262 133 5107 2276 1038 81 182.04 301.38/301.54 c 16917 612 2541 343355 135 5643 2504 1306 82 204.34 301.38/301.54 c 20141 612 3412 545195 159 7385 2755 2177 80 248.76 301.38/301.54 c 25083 612 2751 372085 135 6063 3031 1516 83 299.85 301.38/301.54 o 69 318.59/318.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 318.59/318.76 c 25095 612 2783 381332 137 6689 1411 1548 83 301.44 318.59/318.76 c 25210 612 1951 185012 94 4464 1553 716 82 303.83 318.59/318.76 c 25460 612 2629 358796 136 5820 1709 1394 82 307.33 318.59/318.76 c 25936 612 2719 372684 137 6000 1880 1484 82 313.35 318.59/318.76 o 68 334.18/334.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 334.18/334.36 c 26348 612 2353 300480 127 5831 1411 1118 82 318.65 334.18/334.36 c 26466 612 2683 380428 141 6491 1553 1448 82 321.08 334.18/334.36 c 26719 612 2256 265933 117 5075 1709 1021 81 325.86 334.18/334.36 c 27198 612 2319 277367 119 5201 1880 1084 81 331.97 334.18/334.36 o 67 1010.26/1010.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1010.26/1010.66 c 27278 612 2531 334379 132 6189 1411 1296 81 334.25 1010.26/1010.66 c 27378 612 1946 177130 91 4456 1553 711 81 336.26 1010.26/1010.66 c 27629 612 2638 294989 111 5840 1709 1403 81 340.69 1010.26/1010.66 c 28104 612 2806 293319 104 6176 1880 1571 80 348.41 1010.26/1010.66 c 28917 612 2491 233046 93 5546 2069 1256 80 358.87 1010.26/1010.66 c 30240 612 2274 181796 79 5112 2276 1039 80 377.04 1010.26/1010.66 c 32331 612 3592 400800 111 7748 2504 2357 80 402.33 1010.26/1010.66 c 35554 612 3224 481852 149 7012 2755 1989 80 440.00 1010.26/1010.66 c 40491 612 2619 364156 139 5802 3031 1384 82 489.82 1010.26/1010.66 c 48005 612 2755 385480 139 6074 3335 1520 84 567.53 1010.26/1010.66 c 59366 612 3868 497260 128 8300 3669 2633 86 685.57 1010.26/1010.66 c 76550 612 3591 497847 138 7746 4036 2356 87 873.77 1010.26/1010.66 o 66 1022.15/1022.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1022.15/1022.52 c 90239 612 4660 712338 152 10449 1411 3425 89 1010.33 1022.15/1022.52 c 90339 612 2209 198633 89 4983 1553 974 89 1012.53 1022.15/1022.52 c 90589 612 2018 169276 83 4601 1709 783 89 1015.70 1022.15/1022.52 o 65 1797.91/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.58 c 90934 612 3015 317712 105 7161 1411 1780 88 1022.19 1797.91/1798.58 c 91037 612 2248 196258 87 5062 1553 1013 88 1024.39 1797.91/1798.58 c 91287 612 2017 138743 68 4600 1709 782 88 1028.83 1797.91/1798.58 c 91762 612 2251 164995 73 5068 1880 1016 88 1036.14 1797.91/1798.58 c 92585 612 2178 133126 61 4922 2069 943 88 1049.64 1797.91/1798.58 c 93919 612 3341 251965 75 7248 2276 2106 87 1070.83 1797.91/1798.58 c 96012 612 2376 151034 63 5318 2504 1141 86 1104.35 1797.91/1798.58 c 99235 612 2536 153600 60 5638 2755 1301 86 1152.89 1797.91/1798.58 c 104184 612 3779 302026 79 8124 3031 2544 84 1234.15 1797.91/1798.58 c 111694 612 2818 165401 58 6202 3335 1583 82 1361.71 1797.91/1798.58 c 123070 612 2906 214133 73 6378 3669 1671 79 1548.04 1797.91/1798.58 c Resources Exceeded 1797.91/1798.59 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 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 x708 x709 -x710 -x711 -x712 -x713 -x714 x715 x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 x751 x752 -x753 -x754 -x755 -x756 1797.91/1798.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.59 c 63 137965 8670 171968 4179 348793 2944 76 1798.01 1797.91/1798.59 c Objective: 65 1797.91/1798.59 s SATISFIABLE 1797.91/1798.59 c Total time: 1798.01 s
OK 65
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880613-1245240035/watcher-1880613-1245240035 -o /tmp/evaluation-result-1880613-1245240035/solver-1880613-1245240035 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880613-1245240035.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.91 3/64 6743 /proc/meminfo: memFree=1375872/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=10880 CPUtime=0 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 191599261 11141120 230 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 2720 230 174 640 0 2035 0 [startup+0.089268 s] /proc/loadavg: 1.00 1.00 0.91 3/64 6743 /proc/meminfo: memFree=1375872/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=11460 CPUtime=0.08 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 549 0 0 0 8 0 0 0 18 0 1 0 191599261 11735040 490 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 2865 490 225 640 0 2221 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11460 [startup+0.10127 s] /proc/loadavg: 1.00 1.00 0.91 3/64 6743 /proc/meminfo: memFree=1375872/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=11828 CPUtime=0.09 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 890 0 0 0 9 0 0 0 18 0 1 0 191599261 12111872 552 1992294400 134512640 137136520 4294956256 18446744073709551615 134710037 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 2957 524 225 640 0 2313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11828 [startup+0.301303 s] /proc/loadavg: 1.00 1.00 0.91 3/64 6743 /proc/meminfo: memFree=1375872/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=13100 CPUtime=0.29 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5380 0 0 0 27 2 0 0 19 0 1 0 191599261 13414400 714 1992294400 134512640 137136520 4294956256 18446744073709551615 135402619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 3275 714 292 640 0 2631 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13100 [startup+0.701369 s] /proc/loadavg: 1.00 1.00 0.91 3/64 6743 /proc/meminfo: memFree=1375872/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=13748 CPUtime=0.69 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 17441 0 0 0 63 6 0 0 22 0 1 0 191599261 14077952 759 1992294400 134512640 137136520 4294956256 18446744073709551615 135377277 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 3437 763 292 640 0 2793 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13748 [startup+1.5025 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6744 /proc/meminfo: memFree=1374136/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=13500 CPUtime=1.5 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 41556 0 0 0 134 16 0 0 25 0 1 0 191599261 13824000 716 1992294400 134512640 137136520 4294956256 18446744073709551615 135249398 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 3375 716 292 640 0 2731 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13500 [startup+3.10177 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6744 /proc/meminfo: memFree=1373816/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=11736 CPUtime=3.09 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 89306 0 0 0 278 31 0 0 25 0 1 0 191599261 12017664 629 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 2934 629 293 640 0 2290 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11736 [startup+6.3013 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6744 /proc/meminfo: memFree=1372792/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=14556 CPUtime=6.29 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 205978 0 0 0 561 68 0 0 25 0 1 0 191599261 14905344 1000 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 3639 1000 293 640 0 2995 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14556 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6744 /proc/meminfo: memFree=1370176/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=16124 CPUtime=12.69 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 457202 0 0 0 1122 147 0 0 25 0 1 0 191599261 16510976 1726 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 4031 1726 293 640 0 3387 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16124 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6744 /proc/meminfo: memFree=1365504/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=21160 CPUtime=25.48 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 753481 0 0 0 2303 245 0 0 25 0 1 0 191599261 21667840 2756 1992294400 134512640 137136520 4294956256 18446744073709551615 134731897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 5290 2756 293 640 0 4646 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21160 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1363456/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=23248 CPUtime=51.07 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 1031835 0 0 0 4755 352 0 0 25 0 1 0 191599261 23805952 3280 1992294400 134512640 137136520 4294956256 18446744073709551615 134731897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 5812 3280 293 640 0 5168 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23248 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1361728/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25412 CPUtime=102.25 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 1591706 0 0 0 9667 558 0 0 25 0 1 0 191599261 26021888 3716 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6353 3716 293 640 0 5709 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 25412 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360384/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25552 CPUtime=162.23 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 2046406 0 0 0 15495 728 0 0 25 0 1 0 191599261 26165248 4048 1992294400 134512640 137136520 4294956256 18446744073709551615 135386496 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6388 4048 293 640 0 5744 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 25552 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26756 CPUtime=222.21 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 2373258 0 0 0 21368 853 0 0 25 0 1 0 191599261 27398144 4038 1992294400 134512640 137136520 4294956256 18446744073709551615 135467994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6689 4038 293 640 0 6045 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 26756 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360576/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25116 CPUtime=282.19 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 2765578 0 0 0 27195 1024 0 0 25 0 1 0 191599261 25718784 3974 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6279 3974 293 640 0 5635 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 25116 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26496 CPUtime=342.17 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 3067931 0 0 0 33064 1153 0 0 25 0 1 0 191599261 27131904 3989 1992294400 134512640 137136520 4294956256 18446744073709551615 134838703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6624 3989 293 640 0 5980 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 26496 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25852 CPUtime=402.15 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 3158643 0 0 0 39015 1200 0 0 25 0 1 0 191599261 26472448 4000 1992294400 134512640 137136520 4294956256 18446744073709551615 135378664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6463 4000 293 640 0 5819 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 25852 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360576/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25856 CPUtime=462.14 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 3173629 0 0 0 45003 1211 0 0 25 0 1 0 191599261 26476544 3987 1992294400 134512640 137136520 4294956256 18446744073709551615 134847253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6464 3987 293 640 0 5820 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 25856 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360576/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25456 CPUtime=522.12 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 3177937 0 0 0 50995 1217 0 0 25 0 1 0 191599261 26066944 3971 1992294400 134512640 137136520 4294956256 18446744073709551615 135469392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6364 3971 293 640 0 5720 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 25456 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25856 CPUtime=582.09 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 3185255 0 0 0 56986 1223 0 0 25 0 1 0 191599261 26476544 4001 1992294400 134512640 137136520 4294956256 18446744073709551615 134849529 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6464 4001 293 640 0 5820 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 25856 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25860 CPUtime=642.08 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 3187798 0 0 0 62982 1226 0 0 25 0 1 0 191599261 26480640 4010 1992294400 134512640 137136520 4294956256 18446744073709551615 134748806 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6465 4010 293 640 0 5821 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 25860 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25104 CPUtime=1061.95 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5023135 0 0 0 104178 2017 0 0 25 0 1 0 191599261 25706496 3971 1992294400 134512640 137136520 4294956256 18446744073709551615 134748249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6276 3971 293 640 0 5632 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 25104 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25104 CPUtime=1121.93 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5167030 0 0 0 110105 2088 0 0 25 0 1 0 191599261 25706496 3971 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6276 3971 293 640 0 5632 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 25104 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25980 CPUtime=1181.9 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5287953 0 0 0 116036 2154 0 0 25 0 1 0 191599261 26603520 3980 1992294400 134512640 137136520 4294956256 18446744073709551615 135455861 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6495 3980 293 640 0 5851 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 25980 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360448/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26032 CPUtime=1241.88 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5406534 0 0 0 121971 2217 0 0 25 0 1 0 191599261 26656768 3977 1992294400 134512640 137136520 4294956256 18446744073709551615 134849500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6508 3977 293 640 0 5864 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 26032 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360448/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25684 CPUtime=1301.88 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5525809 0 0 0 127909 2279 0 0 25 0 1 0 191599261 26300416 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6421 3973 293 640 0 5777 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 25684 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360384/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25104 CPUtime=1361.85 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5642147 0 0 0 133843 2342 0 0 25 0 1 0 191599261 25706496 3971 1992294400 134512640 137136520 4294956256 18446744073709551615 134748922 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6419 3973 293 640 0 5775 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 25104 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26056 CPUtime=1421.84 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5757886 0 0 0 139779 2405 0 0 25 0 1 0 191599261 26681344 3991 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6514 3991 293 640 0 5870 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 26056 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360256/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26068 CPUtime=1481.81 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5875668 0 0 0 145713 2468 0 0 25 0 1 0 191599261 26693632 3979 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6517 3979 293 640 0 5873 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 26068 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25832 CPUtime=1541.79 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 5991887 0 0 0 151651 2528 0 0 25 0 1 0 191599261 26451968 3976 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6503 3977 293 640 0 5859 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 25832 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360384/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=25104 CPUtime=1601.77 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6109566 0 0 0 157587 2590 0 0 25 0 1 0 191599261 25706496 3971 1992294400 134512640 137136520 4294956256 18446744073709551615 134572220 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6276 3971 293 640 0 5632 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 25104 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360384/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26004 CPUtime=1661.75 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6227120 0 0 0 163520 2655 0 0 25 0 1 0 191599261 26628096 3977 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6501 3977 293 640 0 5857 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 26004 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26032 CPUtime=1721.73 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6345818 0 0 0 169456 2717 0 0 25 0 1 0 191599261 26656768 3983 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6508 3983 293 640 0 5864 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 26032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26020 CPUtime=1781.72 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6462636 0 0 0 175389 2783 0 0 25 0 1 0 191599261 26644480 3989 1992294400 134512640 137136520 4294956256 18446744073709551615 135464055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6505 3989 293 640 0 5861 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 26020 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26036 CPUtime=1791.32 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6481741 0 0 0 176338 2794 0 0 25 0 1 0 191599261 26660864 3982 1992294400 134512640 137136520 4294956256 18446744073709551615 135068921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6509 3982 293 640 0 5865 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 26036 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26064 CPUtime=1794.52 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6487922 0 0 0 176654 2798 0 0 25 0 1 0 191599261 26689536 3986 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6516 3986 293 640 0 5872 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 26064 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26068 CPUtime=1796.11 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6491076 0 0 0 176812 2799 0 0 25 0 1 0 191599261 26693632 3978 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6517 3978 293 640 0 5873 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (KiB) 26068 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26072 CPUtime=1796.91 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6492629 0 0 0 176892 2799 0 0 25 0 1 0 191599261 26697728 3985 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6518 3985 293 640 0 5874 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (KiB) 26072 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26044 CPUtime=1797.71 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6494118 0 0 0 176970 2801 0 0 25 0 1 0 191599261 26669056 3984 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6511 3984 293 640 0 5867 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 26044 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.91 2/65 6750 /proc/meminfo: memFree=1360320/2055920 swapFree=4192956/4192956 [pid=6743] ppid=6741 vsize=26056 CPUtime=1797.91 /proc/6743/stat : 6743 (bsolo) R 6741 6743 6214 0 -1 4194304 6494466 0 0 0 176990 2801 0 0 25 0 1 0 191599261 26681344 3978 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6743/statm: 6514 3978 293 640 0 5870 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 26056 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.01 CPU user time (s): 1769.99 CPU system time (s): 28.0207 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 27068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.99 system time used= 28.0207 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6494677 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= 2 involuntary context switches= 2852 runsolver used 1.3418 second user time and 3.69344 second system time The end
Begin job on node57 at 2009-06-17 14:00:35 IDJOB=1880613 IDBENCH=2880 IDSOLVER=701 FILE ID=node57/1880613-1245240035 PBS_JOBID= 9372286 Free space on /tmp= 66456 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880613-1245240035/watcher-1880613-1245240035 -o /tmp/evaluation-result-1880613-1245240035/solver-1880613-1245240035 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880613-1245240035.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba RANDOM SEED=695750921 node57.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1376288 kB Buffers: 64340 kB Cached: 523860 kB SwapCached: 0 kB Active: 124880 kB Inactive: 476268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1376288 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4104 kB Writeback: 0 kB Mapped: 22712 kB Slab: 64544 kB Committed_AS: 90060 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880613-1245240035.opb Free space on /tmp at the end= 66452 MiB End job on node57 at 2009-06-17 14:30:34