Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 38 | 1800.05 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb |
MD5SUM | a226ce89d775a348c35d29e51d9044b6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1108 |
Total number of constraints | 2313 |
Number of constraints which are clauses | 2313 |
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 | 295 |
Number of terms in the objective function | 1108 |
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 | 1108 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1108 |
Number of bits of the biggest sum of numbers | 11 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433496-1177960076/instance-433496-1177960076.opb 0.00/0.00 c File size is 598740 bytes. 0.09/0.11 c Highest Coefficient sum: 1108 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.109 s 0.09/0.11 c Var: 1108 Constr: 2313 2313/0/0 Lit: 73571 Watch. Lit: 4610 0.09/0.11 c Obj. Vars: 1108 (100 % of total variables) 0.49/0.55 c Formula reductions applied at preprocessing 0.49/0.55 c Pre-processing Time: 0.554 s 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 0 966 1799 67169 37 3598 599 0 0 0.55 0.79/0.82 c Initial Lower Bound: 35 0.79/0.82 c Initial Path Cost: 13 0.79/0.82 o 53 0.818 3.09/3.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.11 c 0 966 1800 68135 37 4526 1599 1 0 0.82 3.09/3.11 o 42 3.106 * 7.28/7.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.35 c 0 966 1801 69101 38 5465 2599 2 0 3.11 7.28/7.35 o 41 7.346 * 8.78/8.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.78/8.81 c 32 966 1866 74680 40 6533 2599 67 4 7.35 8.78/8.81 o 40 8.802 * 9.68/9.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.68/9.78 c 33 966 1869 75716 40 7478 2599 70 3 8.80 9.68/9.78 o 39 9.775 * 26.28/26.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.28/26.32 c 34 966 1872 76764 41 8424 2599 73 3 9.78 26.28/26.32 c 136 966 2076 86556 41 8832 2859 277 8 15.33 26.28/26.32 o 38 26.306 * 1800.03/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.50 c 339 966 2483 101484 40 10587 2599 684 12 26.31 1800.03/1800.50 c 439 966 2683 107522 40 10987 2859 884 13 33.13 1800.03/1800.50 c 690 966 3185 119842 37 11991 3145 1386 15 45.56 1800.03/1800.50 c 1166 966 4136 144291 34 13893 3460 2337 16 70.30 1800.03/1800.50 c 1979 966 3850 122565 31 8641 3807 2051 18 109.88 1800.03/1800.50 c 3299 966 4406 130977 29 9753 4188 2607 19 166.78 1800.03/1800.50 c 5383 966 3993 153211 38 8927 4607 2194 19 272.39 1800.03/1800.50 c 8609 966 5486 184783 33 11913 5068 3687 18 453.23 1800.03/1800.50 c 13548 966 4497 152316 33 9935 5575 2698 18 720.71 1800.03/1800.50 c 21057 966 4630 174483 37 10201 6133 2831 19 1100.63 1800.03/1800.50 c 32419 966 7902 243190 30 16745 6747 6103 19 1621.55 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 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 1800.03/1800.50 v -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 1800.03/1800.50 v -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 1800.03/1800.50 v -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 1800.03/1800.50 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.03/1800.50 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.03/1800.50 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.03/1800.50 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.03/1800.50 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.03/1800.50 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.03/1800.50 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.03/1800.50 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.03/1800.50 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.03/1800.50 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 1800.03/1800.50 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.03/1800.50 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.03/1800.50 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.03/1800.50 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.03/1800.50 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 1800.03/1800.50 v -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.03/1800.50 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.03/1800.50 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.03/1800.50 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.03/1800.50 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.03/1800.50 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.03/1800.50 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.03/1800.50 v -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.03/1800.50 v -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.03/1800.50 v -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.03/1800.50 v x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.03/1800.50 v -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.03/1800.50 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.03/1800.50 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.03/1800.50 v -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.03/1800.50 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.03/1800.50 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.03/1800.50 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.03/1800.50 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.03/1800.50 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 1800.03/1800.50 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.03/1800.50 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.03/1800.50 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.03/1800.50 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.03/1800.50 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.03/1800.50 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 1800.03/1800.50 v -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.03/1800.50 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 1800.03/1800.50 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.03/1800.50 v -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.03/1800.50 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.03/1800.50 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.03/1800.50 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.03/1800.50 v -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 x1107 -x1108 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 17 35460 825 38330 6872 218805 5073 19 1800.04 1800.03/1800.50 c Objective: 38 1800.03/1800.50 s SATISFIABLE 1800.03/1800.50 c Total time: 1800.04 s
OK 38
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-433496-1177960076 -o ROOT/results/node60/solver-433496-1177960076 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433496-1177960076/instance-433496-1177960076.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.95 0.93 3/64 1383 /proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=12324 CPUtime=0 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243917600 12619776 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3081 334 279 324 0 2004 0 [startup+0.0227821 s] /proc/loadavg: 0.85 0.95 0.93 3/64 1383 /proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=4788 CPUtime=0.01 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 449 0 0 0 1 0 0 0 18 0 1 0 243917600 4902912 419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 1197 419 305 324 0 120 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4788 [startup+0.101789 s] /proc/loadavg: 0.85 0.95 0.93 3/64 1383 /proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=5568 CPUtime=0.09 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 755 0 0 0 9 0 0 0 18 0 1 0 243917600 5701632 725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 1392 725 411 324 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5568 [startup+0.301809 s] /proc/loadavg: 0.85 0.95 0.93 3/64 1383 /proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=6424 CPUtime=0.29 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1157 0 0 0 29 0 0 0 19 0 1 0 243917600 6578176 980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 1606 980 306 324 0 676 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6424 [startup+0.701848 s] /proc/loadavg: 0.85 0.95 0.93 3/64 1383 /proc/meminfo: memFree=1867448/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=7888 CPUtime=0.68 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 16721 0 0 0 63 5 0 0 22 0 1 0 243917600 8077312 1396 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 1972 1396 346 324 0 1042 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7888 [startup+1.50193 s] /proc/loadavg: 0.85 0.95 0.93 2/65 1384 /proc/meminfo: memFree=1862832/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=10516 CPUtime=1.48 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 24486 0 0 0 140 8 0 0 25 0 1 0 243917600 10768384 1582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134792849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2629 1582 394 324 0 1699 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10516 [startup+3.10108 s] /proc/loadavg: 0.85 0.95 0.93 2/65 1384 /proc/meminfo: memFree=1862640/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=7888 CPUtime=3.09 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 56883 0 0 0 287 22 0 0 25 0 1 0 243917600 8077312 1448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 1972 1448 394 324 0 1042 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7888 [startup+6.3014 s] /proc/loadavg: 0.86 0.95 0.93 2/65 1384 /proc/meminfo: memFree=1862848/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=9848 CPUtime=6.29 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 93871 0 0 0 588 41 0 0 25 0 1 0 243917600 10084352 1541 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2462 1547 394 324 0 1532 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9848 [startup+12.701 s] /proc/loadavg: 0.87 0.95 0.93 2/65 1384 /proc/meminfo: memFree=1862408/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=10208 CPUtime=12.68 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 196776 0 0 0 1183 85 0 0 25 0 1 0 243917600 10452992 1622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135311342 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2552 1622 395 324 0 1622 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10208 [startup+25.5013 s] /proc/loadavg: 0.90 0.96 0.93 2/65 1384 /proc/meminfo: memFree=1862408/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=10564 CPUtime=25.47 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 367503 0 0 0 2385 162 0 0 25 0 1 0 243917600 10817536 1663 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135210295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2641 1668 395 324 0 1711 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 10564 [startup+51.1018 s] /proc/loadavg: 0.93 0.96 0.93 2/65 1384 /proc/meminfo: memFree=1861640/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=8780 CPUtime=51.07 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 679386 0 0 0 4809 298 0 0 25 0 1 0 243917600 8990720 1672 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2195 1672 395 324 0 1265 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 8780 [startup+102.305 s] /proc/loadavg: 0.97 0.96 0.93 2/65 1384 /proc/meminfo: memFree=1860488/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=11444 CPUtime=102.26 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1113654 0 0 0 9729 497 0 0 25 0 1 0 243917600 11718656 2035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135279189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2861 2038 395 324 0 1931 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11444 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1384 /proc/meminfo: memFree=1860616/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=12384 CPUtime=162.24 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1446852 0 0 0 15555 669 0 0 25 0 1 0 243917600 12681216 2071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3096 2071 395 324 0 2166 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 12384 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1384 /proc/meminfo: memFree=1859976/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=12448 CPUtime=222.22 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1723852 0 0 0 21412 810 0 0 25 0 1 0 243917600 12746752 2200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135304705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3112 2200 395 324 0 2182 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 12448 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1384 /proc/meminfo: memFree=1859784/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=12136 CPUtime=282.21 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 1980591 0 0 0 27284 937 0 0 25 0 1 0 243917600 12427264 2226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135153475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3034 2230 395 324 0 2104 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12136 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1384 /proc/meminfo: memFree=1859464/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=12940 CPUtime=342.2 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 2235557 0 0 0 33152 1068 0 0 25 0 1 0 243917600 13250560 2325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3235 2325 395 324 0 2305 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12940 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 1384 /proc/meminfo: memFree=1859336/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=12948 CPUtime=402.18 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 2444851 0 0 0 39036 1182 0 0 25 0 1 0 243917600 13258752 2331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5971022 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3237 2331 395 324 0 2307 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 12948 [startup+462.301 s] /proc/loadavg: 1.03 0.99 0.94 2/65 1384 /proc/meminfo: memFree=1859336/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=12684 CPUtime=462.17 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 2639444 0 0 0 44934 1283 0 0 25 0 1 0 243917600 12988416 2340 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135314116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3171 2340 395 324 0 2241 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 12684 [startup+522.301 s] /proc/loadavg: 1.12 1.02 0.95 2/65 1384 /proc/meminfo: memFree=1859336/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=12876 CPUtime=522.14 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 2829286 0 0 0 50834 1380 0 0 25 0 1 0 243917600 13185024 2327 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5971022 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3219 2327 395 324 0 2289 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 12876 [startup+582.301 s] /proc/loadavg: 1.12 1.03 0.95 2/65 1384 /proc/meminfo: memFree=1859336/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=13136 CPUtime=582.13 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 3047879 0 0 0 56726 1487 0 0 25 0 1 0 243917600 13451264 2370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135316900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3284 2370 395 324 0 2354 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 13136 [startup+642.302 s] /proc/loadavg: 1.04 1.02 0.95 2/65 1384 /proc/meminfo: memFree=1859272/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=13188 CPUtime=642.12 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 3255519 0 0 0 62620 1592 0 0 25 0 1 0 243917600 13504512 2335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5971022 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3297 2335 395 324 0 2367 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 13188 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858952/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=13960 CPUtime=882.05 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 4364079 0 0 0 86052 2153 0 0 25 0 1 0 243917600 14295040 2388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3490 2388 395 324 0 2560 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 13960 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858888/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=13732 CPUtime=942.04 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 4827397 0 0 0 91834 2370 0 0 25 0 1 0 243917600 14061568 2402 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135267334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3433 2402 395 324 0 2503 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 13732 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858760/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=14156 CPUtime=1002.03 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 5297907 0 0 0 97613 2590 0 0 25 0 1 0 243917600 14495744 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3539 2476 395 324 0 2609 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 14156 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=14204 CPUtime=1062.01 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 5609126 0 0 0 103453 2748 0 0 25 0 1 0 243917600 14544896 2477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3551 2477 395 324 0 2621 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 14204 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858568/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=14276 CPUtime=1122 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 5906376 0 0 0 109304 2896 0 0 25 0 1 0 243917600 14618624 2472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5971022 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3569 2472 395 324 0 2639 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 14276 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858696/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=14240 CPUtime=1181.98 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 6274863 0 0 0 115122 3076 0 0 25 0 1 0 243917600 14581760 2489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3560 2489 395 324 0 2630 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 14240 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=11676 CPUtime=1241.97 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 6645027 0 0 0 120939 3258 0 0 25 0 1 0 243917600 11956224 2395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2919 2395 395 324 0 1989 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 11676 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=11672 CPUtime=1301.95 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 6995666 0 0 0 126757 3438 0 0 25 0 1 0 243917600 11952128 2394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2918 2394 395 324 0 1988 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 11672 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=13904 CPUtime=1361.94 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 7332435 0 0 0 132583 3611 0 0 25 0 1 0 243917600 14237696 2436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3476 2436 395 324 0 2546 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 13904 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=11668 CPUtime=1421.93 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 7669691 0 0 0 138407 3786 0 0 25 0 1 0 243917600 11948032 2393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2917 2393 395 324 0 1987 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 11668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=11668 CPUtime=1481.91 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 7981291 0 0 0 144249 3942 0 0 25 0 1 0 243917600 11948032 2393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2917 2393 395 324 0 1987 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 11668 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858632/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=11668 CPUtime=1541.9 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 8273131 0 0 0 150103 4087 0 0 25 0 1 0 243917600 11948032 2393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2917 2393 395 324 0 1987 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 11668 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858504/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=11668 CPUtime=1601.88 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 8553658 0 0 0 155963 4225 0 0 25 0 1 0 243917600 11948032 2393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 2917 2393 395 324 0 1987 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 11668 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858568/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=13800 CPUtime=1661.86 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 8810242 0 0 0 161833 4353 0 0 25 0 1 0 243917600 14131200 2457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3450 2457 395 324 0 2520 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 13800 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858568/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=14068 CPUtime=1721.85 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 9060975 0 0 0 167706 4479 0 0 25 0 1 0 243917600 14405632 2473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3517 2473 395 324 0 2587 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 14068 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858568/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=13980 CPUtime=1781.84 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 9302158 0 0 0 173580 4604 0 0 25 0 1 0 243917600 14315520 2435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135308400 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3495 2435 395 324 0 2565 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 13980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858504/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=14244 CPUtime=1800.03 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 9373478 0 0 0 175363 4640 0 0 25 0 1 0 243917600 14585856 2470 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135235178 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3561 2470 395 324 0 2631 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 14244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.95 2/65 1384 /proc/meminfo: memFree=1858504/2055920 swapFree=4183296/4192956 [pid=1383] ppid=1381 vsize=14244 CPUtime=1800.03 /proc/1383/stat : 1383 (bsolo3.0.17) R 1381 1383 387 0 -1 4194304 9373478 0 0 0 175363 4640 0 0 25 0 1 0 243917600 14585856 2470 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135235178 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1383/statm: 3561 2470 395 324 0 2631 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 14244 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1753.64 CPU system time (s): 46.4059 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 15288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.64 system time used= 46.4059 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9373481 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= 12 involuntary context switches= 2700 runsolver used 1.3228 second user time and 3.60245 second system time The end
Begin job on node60 on Mon Apr 30 19:07:56 UTC 2007 IDJOB= 433496 IDBENCH= 2883 IDSOLVER= 199 FILE ID= node60/433496-1177960076 PBS_JOBID= 4727708 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433496-1177960076/instance-433496-1177960076.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-433496-1177960076 -o ROOT/results/node60/solver-433496-1177960076 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433496-1177960076/instance-433496-1177960076.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED= 665404067 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.214 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.214 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: 1867920 kB Buffers: 9144 kB Cached: 104848 kB SwapCached: 3580 kB Active: 33508 kB Inactive: 90252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1867920 kB SwapTotal: 4192956 kB SwapFree: 4183296 kB Dirty: 7300 kB Writeback: 0 kB Mapped: 15840 kB Slab: 50252 kB Committed_AS: 2710168 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node60 on Mon Apr 30 19:37:59 UTC 2007