Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.4.8 | ? (TO) | 2758 | 1800.07 | 1800.02 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb |
| MD5SUM | ed36462db2ffa04ea65b986069441496 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2642 |
| Best CPU time to get the best result obtained on this benchmark | 0.051992 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2642 |
| Optimality of the best value was proved | YES |
| Number of variables | 907 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 126 |
| Number of constraints which are cardinality constraints (but not clauses) | 277 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| Number of terms in the objective function | 748 |
| Biggest coefficient in the objective function | 240 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 33855 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 240 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 33855 |
| Number of bits of the biggest sum of numbers | 16 |
| 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 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.00/0.01 o 9902 0.00/0.02 o 9802 0.00/0.03 o 9703 0.00/0.04 o 9702 0.04/0.04 o 9603 0.04/0.04 o 9602 0.19/0.21 o 9502 0.19/0.24 o 9403 0.19/0.24 o 9402 0.19/0.25 o 9303 0.19/0.25 o 9302 0.29/0.30 o 9202 0.29/0.30 o 9201 0.29/0.33 o 9101 0.29/0.38 o 9100 0.39/0.46 o 9099 0.59/0.66 o 9098 0.79/0.80 o 9097 1.99/2.04 o 8997 2.21/2.25 o 8898 2.39/2.44 o 8797 2.49/2.58 o 8796 13.59/13.65 o 8698 17.09/17.18 o 8601 17.19/17.21 o 8600 17.99/18.09 o 8499 18.09/18.19 o 8498 19.09/19.17 o 8399 19.49/19.56 o 8398 22.01/22.08 o 8298 22.09/22.11 o 8197 22.09/22.11 o 8196 22.19/22.22 o 8195 22.29/22.34 o 8194 23.00/23.07 o 8095 23.00/23.08 o 8094 23.49/23.56 o 7995 23.49/23.56 o 7994 26.41/26.45 o 7993 27.79/27.83 o 7992 28.09/28.17 o 7893 28.09/28.18 o 7892 28.79/28.80 o 7794 28.89/28.97 o 7793 32.79/32.86 o 7792 33.19/33.20 o 7692 50.89/50.97 o 7593 50.89/50.97 o 7592 54.79/54.90 o 7591 56.69/56.75 o 7590 57.39/57.49 o 7589 60.59/60.69 o 7588 61.79/61.89 o 7587 70.59/70.62 o 7493 78.49/78.58 o 7492 78.49/78.58 o 7393 78.59/78.60 o 7392 86.59/86.69 o 7295 86.59/86.70 o 7294 86.69/86.70 o 7293 86.69/86.70 o 7292 87.90/87.98 o 7291 89.00/89.02 o 7290 89.89/89.92 o 7191 90.10/90.16 o 7190 90.89/90.93 o 7189 92.30/92.32 o 7089 97.49/97.58 o 7088 100.79/100.89 o 6989 100.79/100.89 o 6988 107.59/107.70 o 6987 116.79/116.81 o 6889 116.79/116.81 o 6888 119.39/119.47 o 6887 121.39/121.41 o 6886 123.10/123.17 o 6885 123.79/123.86 o 6785 125.09/125.16 o 6686 127.29/127.34 o 6685 152.29/152.36 o 6684 156.99/157.03 o 6585 165.79/165.88 o 6491 165.89/165.98 o 6490 166.99/167.08 o 6489 167.89/167.99 o 6392 172.29/172.36 o 6391 173.39/173.40 o 6390 173.81/173.85 o 6389 176.89/176.95 o 6293 177.69/177.78 o 6291 193.69/193.74 o 6197 193.69/193.74 o 6196 193.69/193.76 o 6195 193.79/193.80 o 6194 195.40/195.44 o 6193 203.10/203.12 o 6192 205.39/205.49 o 6191 206.40/206.46 o 6190 210.69/210.74 o 6189 217.20/217.20 o 6188 239.40/239.43 o 6187 242.40/242.43 o 6186 245.40/245.45 o 6185 264.90/264.92 o 6086 264.90/264.99 o 6085 267.70/267.74 o 6084 272.81/272.83 o 5988 272.81/272.83 o 5987 272.81/272.83 o 5986 272.90/272.94 o 5985 274.00/274.02 o 5984 274.60/274.67 o 5983 275.40/275.44 o 5982 277.90/277.93 o 5981 278.90/278.92 o 5980 279.41/279.44 o 5979 279.70/279.71 o 5978 290.20/290.24 o 5885 290.20/290.24 o 5884 290.20/290.30 o 5883 290.41/290.48 o 5882 304.40/304.40 o 5881 312.41/312.47 o 5787 312.70/312.75 o 5786 312.70/312.76 o 5785 324.51/324.52 o 5784 324.51/324.53 o 5685 327.60/327.67 o 5684 328.40/328.45 o 5683 328.70/328.71 o 5682 329.20/329.21 o 5681 332.80/332.83 o 5584 332.80/332.84 o 5583 333.70/333.70 o 5582 337.10/337.15 o 5484 337.40/337.40 o 5483 339.70/339.71 o 5482 340.80/340.91 o 5481 341.02/341.02 o 5480 343.11/343.15 o 5479 346.00/346.09 o 5478 349.10/349.15 o 5477 360.50/360.56 o 5476 360.71/360.78 o 5475 363.40/363.45 o 5379 363.40/363.45 o 5378 363.40/363.45 o 5377 363.80/363.84 o 5376 363.90/363.91 o 5375 379.20/379.28 o 5282 379.30/379.31 o 5281 379.30/379.34 o 5280 382.10/382.17 o 5279 386.70/386.74 o 5278 395.10/395.18 o 5277 396.20/396.24 o 5178 396.20/396.25 o 5177 400.50/400.55 o 5176 401.70/401.73 o 5078 401.70/401.73 o 5077 401.70/401.73 o 5076 402.51/402.52 o 4979 402.51/402.52 o 4978 402.51/402.54 o 4977 403.30/403.37 o 4976 409.70/409.78 o 4879 409.70/409.78 o 4878 409.80/409.89 o 4877 414.50/414.55 o 4876 420.11/420.16 o 4875 421.50/421.50 o 4779 421.50/421.51 o 4778 422.00/422.03 o 4777 422.20/422.21 o 4776 422.20/422.21 o 4775 422.90/422.90 o 4774 423.80/423.81 o 4773 440.02/440.07 o 4679 440.02/440.07 o 4678 440.20/440.28 o 4677 441.50/441.51 o 4676 442.11/442.15 o 4675 444.20/444.28 o 4674 445.41/445.45 o 4673 446.80/446.89 o 4576 447.50/447.61 o 4575 448.90/448.96 o 4574 449.40/449.44 o 4573 449.60/449.65 o 4572 452.80/452.81 o 4571 459.30/459.36 o 4570 462.90/462.91 o 4471 462.90/462.91 o 4470 478.10/478.13 o 4375 478.10/478.13 o 4374 480.80/480.85 o 4373 480.80/480.88 o 4372 481.50/481.55 o 4371 483.50/483.52 o 4370 494.20/494.25 o 4369 499.60/499.60 o 4271 499.90/499.94 o 4270 500.41/500.45 o 4269 540.40/540.48 o 4179 540.40/540.49 o 4178 540.50/540.51 o 4177 540.80/540.86 o 4176 541.22/541.25 o 4175 543.60/543.66 o 4174 561.60/561.61 o 4076 561.60/561.61 o 4075 561.60/561.64 o 4074 562.20/562.21 o 4073 564.90/564.92 o 4072 566.70/566.75 o 4071 566.80/566.87 o 4070 572.80/572.80 o 4069 574.11/574.15 o 4068 574.11/574.20 o 4067 602.50/602.58 o 3974 603.81/603.82 o 3973 604.30/604.33 o 3971 604.60/604.64 o 3970 605.90/605.94 o 3969 606.30/606.36 o 3968 606.50/606.50 o 3967 630.61/630.69 o 3873 632.70/632.78 o 3872 633.20/633.20 o 3871 633.40/633.46 o 3870 666.71/666.73 o 3775 666.71/666.73 o 3774 666.91/666.98 o 3773 669.11/669.11 o 3772 669.21/669.28 o 3771 670.11/670.11 o 3770 670.41/670.48 o 3769 705.71/705.78 o 3768 709.01/709.04 o 3767 709.21/709.21 o 3766 733.62/733.71 o 3666 734.11/734.17 o 3665 741.81/741.87 o 3566 741.81/741.87 o 3565 757.51/757.59 o 3564 763.11/763.13 o 3563 776.81/776.84 o 3466 776.81/776.84 o 3465 778.61/778.68 o 3464 785.01/785.04 o 3463 785.61/785.65 o 3462 785.91/785.94 o 3362 786.21/786.24 o 3361 786.21/786.29 o 3360 793.21/793.29 o 3264 794.31/794.34 o 3263 806.71/806.77 o 3262 810.21/810.29 o 3166 810.31/810.30 o 3165 810.51/810.55 o 3164 811.31/811.30 o 3163 859.91/859.98 o 3070 860.12/860.18 o 3069 861.61/861.62 o 3068 865.01/865.01 o 3067 865.31/865.36 o 3066 865.51/865.60 o 3065 865.62/865.61 o 3064 865.91/865.97 o 3063 871.23/871.22 o 3062 874.71/874.74 o 3061 877.31/877.34 o 3060 878.01/878.07 o 3059 890.31/890.34 o 2964 898.11/898.17 o 2963 900.51/900.57 o 2962 911.82/911.84 o 2961 912.01/912.05 o 2960 915.12/915.17 o 2959 915.31/915.38 o 2958 918.53/918.57 o 2957 919.52/919.54 o 2860 919.52/919.55 o 2859 920.31/920.30 o 2858 921.61/921.67 o 2857 922.51/922.53 o 2856 922.71/922.80 o 2855 937.31/937.32 o 2761 937.31/937.32 o 2760 1025.92/1025.96 o 2759 1026.92/1026.98 o 2758 1800.05/1800.01 >>> Terminate signal received 1800.05/1800.01 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 -x757 -x758 -x759 x760 -x761 x762 x763 -x764 x765 x766 -x767 -x768 -x769 x770 -x771 x772 x773 x774 x775 x776 -x777 -x778 -x779 x780 -x781 -x782 x783 x784 -x785 x786 -x787 -x788 x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 x862 x863 -x864 x865 -x866 -x867 -x868 x869 x870 -x871 x872 -x873 -x874 -x875 x876 -x877 -x878 x879 -x880 -x881 -x882 x883 x884 -x885 x886 -x887 -x888 -x889 -x890 x891 -x892 x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 x901 x902 x903 -x904 x905 -x906 -x907
OK 2758
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3465340-1307392441/watcher-3465340-1307392441 -o /tmp/evaluation-result-3465340-1307392441/solver-3465340-1307392441 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3465340-1307392441.opb --verbosity=0 --format=opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.04 2.00 2/453 13503 /proc/meminfo: memFree=31493076/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=8388 CPUtime=0 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 674 0 0 0 0 0 0 0 25 0 1 0 850842001 8589312 623 33554432000 4194304 6539028 140733454559296 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 2097 625 252 573 0 1515 0 [startup+0.043488 s] /proc/loadavg: 2.01 2.04 2.00 2/453 13503 /proc/meminfo: memFree=31493076/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=4936 CPUtime=0.04 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 870 0 0 0 4 0 0 0 25 0 1 0 850842001 5054464 811 33554432000 4194304 6539028 140733454559296 18446744073709551615 4702306 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 1234 811 270 573 0 652 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4936 [startup+0.100477 s] /proc/loadavg: 2.01 2.04 2.00 2/453 13503 /proc/meminfo: memFree=31493076/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=4936 CPUtime=0.09 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 940 0 0 0 9 0 0 0 25 0 1 0 850842001 5054464 881 33554432000 4194304 6539028 140733454559296 18446744073709551615 4281501 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 1234 881 270 573 0 652 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4936 [startup+0.300442 s] /proc/loadavg: 2.01 2.04 2.00 2/453 13503 /proc/meminfo: memFree=31493076/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=5804 CPUtime=0.29 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 1035 0 0 0 29 0 0 0 25 0 1 0 850842001 5943296 976 33554432000 4194304 6539028 140733454559296 18446744073709551615 4503283 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 1451 976 270 573 0 869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5804 [startup+0.70037 s] /proc/loadavg: 2.01 2.04 2.00 2/453 13503 /proc/meminfo: memFree=31493076/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=6828 CPUtime=0.69 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 1292 0 0 0 69 0 0 0 25 0 1 0 850842001 6991872 1233 33554432000 4194304 6539028 140733454559296 18446744073709551615 4701810 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 1707 1233 270 573 0 1125 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6828 [startup+1.50026 s] /proc/loadavg: 2.01 2.04 2.00 3/454 13504 /proc/meminfo: memFree=31474100/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=8880 CPUtime=1.49 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 1721 0 0 0 149 0 0 0 25 0 1 0 850842001 9093120 1661 33554432000 4194304 6539028 140733454559296 18446744073709551615 4701897 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 2220 1661 271 573 0 1638 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8880 [startup+3.10096 s] /proc/loadavg: 2.01 2.04 2.00 3/454 13504 /proc/meminfo: memFree=31452648/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=13880 CPUtime=3.09 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 2227 0 0 0 309 0 0 0 25 0 1 0 850842001 14213120 2167 33554432000 4194304 6539028 140733454559296 18446744073709551615 4701493 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 3470 2167 271 573 0 2888 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13880 [startup+6.30038 s] /proc/loadavg: 2.01 2.04 2.00 3/454 13504 /proc/meminfo: memFree=31397664/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=13880 CPUtime=6.29 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 2784 0 0 0 629 0 0 0 25 0 1 0 850842001 14213120 2721 33554432000 4194304 6539028 140733454559296 18446744073709551615 4702244 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 3470 2721 271 573 0 2888 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13880 [startup+12.7002 s] /proc/loadavg: 2.16 2.08 2.01 3/454 13504 /proc/meminfo: memFree=31300120/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=13880 CPUtime=12.69 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 2784 0 0 0 1269 0 0 0 25 0 1 0 850842001 14213120 2721 33554432000 4194304 6539028 140733454559296 18446744073709551615 4701933 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 3470 2721 271 573 0 2888 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13880 [startup+25.5009 s] /proc/loadavg: 2.14 2.07 2.01 3/454 13504 /proc/meminfo: memFree=31330104/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=13880 CPUtime=25.49 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 2784 0 0 0 2549 0 0 0 25 0 1 0 850842001 14213120 2721 33554432000 4194304 6539028 140733454559296 18446744073709551615 4718165 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 3470 2721 271 573 0 2888 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13880 [startup+51.1002 s] /proc/loadavg: 2.09 2.06 2.01 3/454 13505 /proc/meminfo: memFree=31446372/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=13880 CPUtime=51.09 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 2840 0 0 0 5109 0 0 0 25 0 1 0 850842001 14213120 2777 33554432000 4194304 6539028 140733454559296 18446744073709551615 4716038 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 3470 2777 271 573 0 2888 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 13880 [startup+102.317 s] /proc/loadavg: 2.08 2.07 2.01 3/454 13506 /proc/meminfo: memFree=31157552/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=25416 CPUtime=102.31 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 5065 0 0 0 10231 0 0 0 25 0 1 0 850842001 26025984 3222 33554432000 4194304 6539028 140733454559296 18446744073709551615 4698819 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6354 3222 271 573 0 5772 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 25416 [startup+162.301 s] /proc/loadavg: 2.03 2.05 2.00 3/454 13508 /proc/meminfo: memFree=31415696/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=25416 CPUtime=162.29 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 5065 0 0 0 16229 0 0 0 25 0 1 0 850842001 26025984 3222 33554432000 4194304 6539028 140733454559296 18446744073709551615 4700430 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6354 3222 271 573 0 5772 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 25416 [startup+222.301 s] /proc/loadavg: 2.01 2.04 2.00 3/454 13510 /proc/meminfo: memFree=31336308/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=25416 CPUtime=222.3 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 5378 0 0 0 22230 0 0 0 25 0 1 0 850842001 26025984 3535 33554432000 4194304 6539028 140733454559296 18446744073709551615 4700388 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6354 3535 271 573 0 5772 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 25416 [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.00 3/454 13511 /proc/meminfo: memFree=31176192/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=25416 CPUtime=282.3 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 5378 0 0 0 28230 0 0 0 25 0 1 0 850842001 26025984 3535 33554432000 4194304 6539028 140733454559296 18446744073709551615 4700430 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6354 3535 271 573 0 5772 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 25416 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/454 13513 /proc/meminfo: memFree=31264704/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=25416 CPUtime=342.3 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 5378 0 0 0 34230 0 0 0 25 0 1 0 850842001 26025984 3535 33554432000 4194304 6539028 140733454559296 18446744073709551615 4717216 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6354 3535 271 573 0 5772 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 25416 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/454 13514 /proc/meminfo: memFree=31211976/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=25416 CPUtime=402.3 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 5378 0 0 0 40230 0 0 0 25 0 1 0 850842001 26025984 3535 33554432000 4194304 6539028 140733454559296 18446744073709551615 4498560 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6354 3535 271 573 0 5772 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 25416 [startup+462.3 s] /proc/loadavg: 2.04 2.03 2.00 3/454 13516 /proc/meminfo: memFree=31267128/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=25416 CPUtime=462.3 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 5378 0 0 0 46230 0 0 0 25 0 1 0 850842001 26025984 3535 33554432000 4194304 6539028 140733454559296 18446744073709551615 4700328 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6354 3535 271 573 0 5772 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 25416 [startup+522.301 s] /proc/loadavg: 2.06 2.03 2.00 3/454 13518 /proc/meminfo: memFree=30972724/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=25416 CPUtime=522.3 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 7837 0 0 0 52230 0 0 0 25 0 1 0 850842001 26025984 5979 33554432000 4194304 6539028 140733454559296 18446744073709551615 4700482 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6354 5979 271 573 0 5772 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 25416 [startup+582.301 s] /proc/loadavg: 2.15 2.06 2.01 3/454 13519 /proc/meminfo: memFree=31218696/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=582.3 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8093 0 0 0 58230 0 0 0 25 0 1 0 850842001 27176960 6235 33554432000 4194304 6539028 140733454559296 18446744073709551615 4702272 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6235 271 573 0 6053 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 26540 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.04 2.05 2.00 3/454 13526 /proc/meminfo: memFree=31322776/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=822.31 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 82231 0 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4701968 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 26540 [startup+882.301 s] /proc/loadavg: 2.01 2.04 2.00 3/454 13527 /proc/meminfo: memFree=31406192/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=882.31 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 88231 0 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4702465 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 26540 [startup+942.3 s] /proc/loadavg: 2.00 2.03 2.00 3/454 13529 /proc/meminfo: memFree=30977984/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=942.31 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 94231 0 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4717242 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 26540 [startup+1002.3 s] /proc/loadavg: 2.12 2.05 2.01 3/454 13530 /proc/meminfo: memFree=31019992/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=1002.32 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 100232 0 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4698819 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 26540 [startup+1062.3 s] /proc/loadavg: 2.11 2.06 2.01 3/454 13532 /proc/meminfo: memFree=31286436/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=1062.32 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 106232 0 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4281501 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 26540 [startup+1122.3 s] /proc/loadavg: 2.04 2.05 2.00 3/454 13534 /proc/meminfo: memFree=31083052/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=1122.33 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 112232 1 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4701491 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 26540 [startup+1182.3 s] /proc/loadavg: 2.09 2.06 2.01 3/454 13535 /proc/meminfo: memFree=31365136/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=1182.33 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 118232 1 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4698784 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 26540 [startup+1242.3 s] /proc/loadavg: 2.06 2.06 2.01 3/454 13537 /proc/meminfo: memFree=31126784/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=1242.33 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 124232 1 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4716055 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 26540 [startup+1302.3 s] /proc/loadavg: 2.02 2.05 2.00 3/454 13538 /proc/meminfo: memFree=31055328/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=1302.34 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 130233 1 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4715600 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 26540 [startup+1362.3 s] /proc/loadavg: 2.01 2.04 2.00 3/454 13540 /proc/meminfo: memFree=31288296/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=26540 CPUtime=1362.33 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 8094 0 0 0 136232 1 0 0 25 0 1 0 850842001 27176960 6236 33554432000 4194304 6539028 140733454559296 18446744073709551615 4698713 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 6635 6236 271 573 0 6053 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 26540 [startup+1422.32 s] /proc/loadavg: 2.00 2.03 2.00 3/454 13542 /proc/meminfo: memFree=31139080/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=28108 CPUtime=1422.35 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 12485 0 0 0 142234 1 0 0 25 0 1 0 850842001 28782592 6653 33554432000 4194304 6539028 140733454559296 18446744073709551615 4284208 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 7027 6653 271 573 0 6445 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 28108 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/454 13543 /proc/meminfo: memFree=31132224/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=28108 CPUtime=1482.34 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 15576 0 0 0 148232 2 0 0 25 0 1 0 850842001 28782592 6653 33554432000 4194304 6539028 140733454559296 18446744073709551615 4701524 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 7027 6653 271 573 0 6445 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 28108 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/454 13545 /proc/meminfo: memFree=31178564/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=28108 CPUtime=1542.34 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 15576 0 0 0 154232 2 0 0 25 0 1 0 850842001 28782592 6653 33554432000 4194304 6539028 140733454559296 18446744073709551615 4490158 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 7027 6653 271 573 0 6445 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 28108 [startup+1602.3 s] /proc/loadavg: 2.08 2.04 2.01 3/454 13574 /proc/meminfo: memFree=31413676/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=28108 CPUtime=1602.34 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 15576 0 0 0 160232 2 0 0 25 0 1 0 850842001 28782592 6653 33554432000 4194304 6539028 140733454559296 18446744073709551615 4494783 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 7027 6653 271 573 0 6445 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 28108 [startup+1662.3 s] /proc/loadavg: 2.06 2.04 2.00 3/454 13585 /proc/meminfo: memFree=31413140/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=28108 CPUtime=1662.34 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 15576 0 0 0 166232 2 0 0 25 0 1 0 850842001 28782592 6653 33554432000 4194304 6539028 140733454559296 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 7027 6653 271 573 0 6445 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 28108 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.00 3/454 13587 /proc/meminfo: memFree=31413116/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=28108 CPUtime=1722.34 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 15576 0 0 0 172232 2 0 0 25 0 1 0 850842001 28782592 6653 33554432000 4194304 6539028 140733454559296 18446744073709551615 4698646 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 7027 6653 271 573 0 6445 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 28108 [startup+1782.3 s] /proc/loadavg: 2.04 2.04 2.00 3/454 13588 /proc/meminfo: memFree=31412964/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=28108 CPUtime=1782.34 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 15576 0 0 0 178232 2 0 0 25 0 1 0 850842001 28782592 6653 33554432000 4194304 6539028 140733454559296 18446744073709551615 4702284 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 7027 6653 271 573 0 6445 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 28108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.03 2.00 3/454 13589 /proc/meminfo: memFree=31413688/32951124 swapFree=55639044/67111528 [pid=13503] ppid=13501 vsize=28108 CPUtime=1800.05 cores=0,2,4,6 /proc/13503/stat : 13503 (minisatid) R 13501 13503 12526 0 -1 4202496 15576 0 0 0 180003 2 0 0 25 0 1 0 850842001 28782592 6653 33554432000 4194304 6539028 140733454559296 18446744073709551615 4282414 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/13503/statm: 7027 6653 271 573 0 6445 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 28108 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.02 CPU time (s): 1800.07 CPU user time (s): 1800.04 CPU system time (s): 0.027995 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 46784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.027995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15579 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= 5 involuntary context switches= 2686 runsolver used 8.5427 second user time and 17.6643 second system time The end
Begin job on node133 at 2011-06-06 22:34:01 IDJOB=3465340 IDBENCH=2231 IDSOLVER=1956 FILE ID=node133/3465340-1307392441 RUNJOBID= node133-1307381323-12544 PBS_JOBID= 13514174 Free space on /tmp= 74000 MiB SOLVER NAME= MinisatID 2.4.8 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3465340-1307392441/watcher-3465340-1307392441 -o /tmp/evaluation-result-3465340-1307392441/solver-3465340-1307392441 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3465340-1307392441.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ed36462db2ffa04ea65b986069441496 RANDOM SEED=420105231 node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 6741.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31493364 kB Buffers: 349832 kB Cached: 684940 kB SwapCached: 10584 kB Active: 599272 kB Inactive: 583332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31493364 kB SwapTotal: 67111528 kB SwapFree: 55639044 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 145016 kB Mapped: 14028 kB Slab: 153584 kB PageTables: 53828 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 115056516 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73996 MiB End job on node133 at 2011-06-06 23:04:03