Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -16 | 1800.34 | 1800.98 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_2.opb |
MD5SUM | 493eec42e81abed935f584a4e365015a |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -84 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -84 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31340 |
Sum of products size (including duplicates) | 62680 |
Number of different products | 15670 |
Sum of products size | 31340 |
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/455016-1178035456/instance-455016-1178035456.opb 0.00/0.00 c File size is 431169 bytes. 0.29/0.30 c Highest Coefficient sum: 1000 0.29/0.30 c Parsing was ok!! 0.29/0.30 c Total parsing time: 0.3 s 0.29/0.35 c Var: 32340 Constr: 64182 31840/1002/31340 Lit: 222380 Watch. Lit: 190042 0.29/0.35 c Obj. Vars: 500 (1.54607 % of total variables) 179.33/179.43 c Pre-processing Time: 179.361 s 179.33/179.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.33/179.43 c 0 32340 64182 222380 3 190042 525974 0 0 179.36 179.33/179.43 c Switching off LPR mode. 179.33/179.47 o -1 179.403 179.42/179.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.42/179.53 c 0 32340 64183 222880 3 190045 526308 1 0 179.42 179.42/179.53 o -2 179.462 179.42/179.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.42/179.59 c 0 32340 64184 223380 3 190049 526808 2 0 179.48 179.42/179.59 o -3 179.522 179.52/179.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.52/179.65 c 0 32340 64185 223880 3 190054 527474 3 0 179.54 179.52/179.65 o -4 179.582 179.62/179.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.62/179.71 c 0 32340 64186 224380 3 190060 528308 4 0 179.60 179.62/179.71 o -5 179.643 179.62/179.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.62/179.77 c 0 32340 64187 224880 3 190067 529308 5 0 179.66 179.62/179.77 o -6 179.704 179.72/179.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.72/179.83 c 0 32340 64188 225380 3 190075 530308 6 0 179.72 179.72/179.83 o -7 179.766 179.72/179.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.72/179.90 c 0 32340 64189 225880 3 190084 531308 7 0 179.78 179.72/179.90 o -8 179.828 179.82/179.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.82/179.96 c 0 32340 64190 226380 3 190094 532308 8 0 179.84 179.82/179.96 o -9 179.89 179.92/180.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.92/180.02 c 0 32340 64191 226880 3 190105 533308 9 0 179.91 179.92/180.02 o -10 179.952 179.92/180.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.92/180.08 c 0 32340 64192 227380 3 190117 534308 10 0 179.97 179.92/180.08 o -11 180.015 180.02/180.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.02/180.15 c 0 32340 64193 227880 3 190130 535308 11 0 180.03 180.02/180.15 o -12 180.078 180.12/180.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.12/180.21 c 0 32340 64194 228380 3 190144 536308 12 0 180.09 180.12/180.21 o -13 180.141 180.12/180.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.12/180.27 c 0 32340 64195 228880 3 190159 537308 13 0 180.16 180.12/180.27 o -14 180.204 180.23/180.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.23/180.38 c 0 32340 64196 229380 3 190175 538308 14 0 180.22 180.23/180.38 o -15 180.313 197.12/197.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 197.12/197.26 c 4 32340 64201 232205 3 190200 538308 19 0 180.33 197.12/197.26 c 104 32340 64301 291063 4 190400 592139 119 0 181.46 197.12/197.26 c 354 32340 64551 445460 6 190900 651353 369 1 184.02 197.12/197.26 c 829 32340 65026 747127 11 191850 716489 844 4 187.87 197.12/197.26 c 1642 32340 65839 1299004 19 193476 788138 1657 8 194.22 197.12/197.26 o -16 197.186 1800.07/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.71 c 2469 32340 66667 1983728 29 195148 538308 2485 12 197.21 1800.07/1800.71 c 2569 32340 66767 2033231 30 195348 592139 2585 13 197.55 1800.07/1800.71 c 2819 32340 67017 2158231 32 195848 651353 2835 14 197.91 1800.07/1800.71 c 3294 32340 67492 2436455 36 196798 716489 3310 16 202.93 1800.07/1800.71 c 4107 32340 68305 2977748 43 198424 788138 4123 19 211.55 1800.07/1800.71 c 5427 32340 69625 3865348 55 201064 866952 5443 24 224.81 1800.07/1800.71 c 7508 32340 71706 5250852 73 205226 953648 7524 30 247.41 1800.07/1800.71 c 10731 32340 74929 7324319 97 211672 500000 10747 39 274.79 1800.07/1800.71 c 15667 32340 79865 10578231 132 221544 550001 15683 49 318.46 1800.07/1800.71 c 23173 32340 87371 15545148 177 236556 605002 23189 59 389.55 1800.07/1800.71 c 34534 32340 98732 22994177 232 259278 665503 34550 70 487.76 1800.07/1800.71 c 51678 32340 115876 34388148 296 293566 732054 51694 83 620.07 1800.07/1800.71 c 77497 32340 141695 52175720 368 345204 805260 77513 94 821.55 1800.07/1800.71 c 116329 32340 180527 78827124 436 422868 885787 116345 111 1040.71 1800.07/1800.71 c 174681 32340 238879 110788382 463 539572 974366 174697 123 1411.93 1800.07/1800.71 c Caught signal: 15 1800.07/1800.71 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 1800.07/1800.71 v 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 1800.07/1800.71 v -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 1800.07/1800.71 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1800.07/1800.71 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.07/1800.71 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.07/1800.71 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.07/1800.71 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.07/1800.71 v x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1800.07/1800.71 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1800.07/1800.71 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1800.07/1800.71 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.07/1800.71 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.07/1800.71 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1800.07/1800.71 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.07/1800.71 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1800.07/1800.71 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1800.07/1800.71 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.07/1800.71 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.07/1800.71 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.07/1800.71 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1800.07/1800.71 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.07/1800.71 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x791 -x720 -x789 -x576 -x562 -x999 1800.07/1800.71 v -x865 -x778 -x746 -x628 -x843 -x680 -x650 -x594 -x538 -x550 -x655 -x774 -x868 -x731 -x503 -x573 -x570 -x816 -x768 -x519 -x578 1800.07/1800.71 v -x601 -x606 -x610 -x625 -x629 -x644 -x727 -x769 -x796 -x837 -x851 -x888 -x926 -x931 -x945 -x957 -x959 -x501 x892 -x711 x631 1800.07/1800.71 v x797 x564 -x514 x587 x783 x803 x662 -x697 -x653 x878 -x974 x898 -x858 x668 x929 -x507 -x761 -x966 -x557 -x915 x591 -x776 -x512 1800.07/1800.71 v -x541 -x546 x560 x561 -x574 -x588 -x673 -x728 -x738 -x810 -x812 -x828 -x869 -x885 -x947 -x502 -x645 -x946 -x700 -x567 -x967 1800.07/1800.71 v -x824 -x949 -x887 -x963 -x544 -x522 -x617 -x718 -x787 -x691 -x518 -x526 -x589 -x623 -x671 -x683 -x753 -x755 -x798 -x820 -x829 1800.07/1800.71 v -x971 -x763 -x558 -x705 -x686 -x734 -x800 -x704 -x961 -x938 -x652 -x918 -x582 -x870 -x766 -x702 -x656 -x809 -x719 -x551 -x575 1800.07/1800.71 v -x602 -x630 -x712 -x744 -x799 -x891 -x920 -x504 -x516 -x989 -x710 -x983 -x747 -x984 -x598 -x924 -x535 -x690 -x693 -x506 -x907 1800.07/1800.71 v -x875 -x521 -x524 -x532 -x539 -x572 -x595 -x642 -x678 -x839 -x876 -x916 -x505 -x882 -x833 -x861 -x831 -x988 -x638 -x580 -x823 1800.07/1800.71 v -x973 -x542 -x921 -x510 -x817 -x807 -x699 -x517 -x545 -x605 -x681 -x752 -x775 -x813 -x899 -x960 -x706 -x867 -x646 -x741 -x622 1800.07/1800.71 v -x632 -x982 -x835 -x732 -x579 -x792 -x571 -x568 -x723 -x893 -x540 -x548 -x661 -x672 -x679 -x688 -x757 -x836 -x922 -x941 -x969 1800.07/1800.71 v -x665 -x785 -x972 -x600 -x840 -x657 -x615 -x802 -x914 -x725 -x897 -x939 -x729 -x730 -x754 -x748 -x520 -x627 -x651 -x654 -x659 1800.07/1800.71 v -x714 -x759 -x881 -x883 -x993 -x508 -x670 -x709 -x620 -x736 -x902 -x666 -x742 -x758 -x677 -x708 -x911 -x781 -x857 -x586 -x658 1800.07/1800.71 v -x511 -x515 -x649 -x663 -x968 -x509 -x749 -x927 -x841 -x955 -x772 -x827 -x904 -x844 -x513 -x826 -x923 -x640 -x676 -x765 -x793 1800.07/1800.71 v -x852 -x913 -x987 -x767 -x619 -x533 -x788 -x643 -x942 -x950 -x596 -x565 -x863 -x990 -x890 -x534 -x636 -x896 -x930 -x944 -x996 1800.07/1800.71 v -x786 -x994 -x530 -x952 -x853 -x985 -x978 -x722 -x698 -x593 -x599 -x733 -x739 -x856 -x937 -x618 -x777 -x597 -x581 -x818 -x934 1800.07/1800.71 v -x611 -x675 -x674 -x717 -x750 -x773 -x808 -x822 -x928 -x849 -x556 -x981 -x804 -x932 -x590 -x692 -x850 -x624 -x543 -x735 -x647 1800.07/1800.71 v -x847 -x903 -x917 -x737 -x905 -x559 -x694 -x713 -x779 -x900 -x948 -x669 -x616 -x756 -x873 -x609 -x607 -x536 -x577 -x584 -x716 1800.07/1800.71 v -x745 -x687 -x637 -x956 -x626 -x780 -x848 -x919 -x621 -x523 -x547 -x553 -x815 -x721 -x958 -x689 -x814 -x879 -x970 -x954 -x795 1800.07/1800.71 v -x592 -x634 -x529 -x859 -x860 -x936 -x608 -x953 -x855 -x604 -x525 -x528 -x555 -x583 -x790 -x908 -x912 -x874 -x866 -x695 -x554 1800.07/1800.71 v -x975 -x998 -x901 -x527 -x819 -x760 -x794 -x614 -x566 -x740 -x965 -x943 -x549 -x825 -x872 -x933 -x552 -x762 -x877 -x845 -x635 1800.07/1800.71 v -x743 -x830 -x641 -x660 -x806 -x864 -x682 -x801 -x834 -x537 -x648 -x770 -x980 -x986 -x664 -x805 -x862 x880 -x612 -x935 -x696 1800.07/1800.71 v -x979 -x995 -x832 -x784 -x563 -x889 -x940 -x1000 -x925 -x909 -x821 -x685 -x910 -x531 -x846 -x977 -x842 -x639 -x751 -x838 1800.07/1800.71 v -x782 -x569 -x613 -x603 -x726 -x707 -x701 -x684 -x811 -x906 -x633 -x991 -x771 -x964 -x962 -x764 -x997 -x724 -x992 -x884 -x951 1800.07/1800.71 v -x894 -x585 -x667 -x854 -x895 -x715 -x703 -x976 -x871 -x886 1800.07/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.71 c 34 203056 493 646998 267254 130346345 203072 112 1800.08 1800.07/1800.71 c Objective: -16 1800.07/1800.71 s SATISFIABLE 1800.07/1800.71 c Total time: 1800.08 s
OK -16
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-455016-1178035456 -o ROOT/results/node39/solver-455016-1178035456 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455016-1178035456/instance-455016-1178035456.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.92 0.98 0.99 3/77 23410 /proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=12160 CPUtime=0 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 251457618 12451840 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 3040 333 279 324 0 2004 0 [startup+0.0692491 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23410 /proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=6548 CPUtime=0.06 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 953 0 0 0 6 0 0 0 18 0 1 0 251457618 6705152 923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 1637 923 312 324 0 601 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6548 [startup+0.102253 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23410 /proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=7800 CPUtime=0.09 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 1257 0 0 0 9 0 0 0 18 0 1 0 251457618 7987200 1227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 1950 1227 324 324 0 914 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7800 [startup+0.301288 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23410 /proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=14000 CPUtime=0.29 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 2937 0 0 0 28 1 0 0 19 0 1 0 251457618 14336000 2867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 3500 2867 393 324 0 2464 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14000 [startup+0.701355 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23410 /proc/meminfo: memFree=1836224/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=21168 CPUtime=0.69 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4734 0 0 0 67 2 0 0 22 0 1 0 251457618 21676032 4558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 5292 4558 305 324 0 4362 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21168 [startup+1.50149 s] /proc/loadavg: 0.92 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1819128/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=21168 CPUtime=1.49 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 147 2 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11525971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 5292 4559 305 324 0 4362 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21168 [startup+3.10176 s] /proc/loadavg: 0.92 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1819000/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=21168 CPUtime=3.09 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 307 2 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 5292 4559 305 324 0 4362 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21168 [startup+6.3013 s] /proc/loadavg: 0.93 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1818744/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=21168 CPUtime=6.29 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 626 3 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 5292 4559 305 324 0 4362 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21168 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1818744/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=21168 CPUtime=12.69 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 1266 3 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583062 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 5292 4559 305 324 0 4362 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21168 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 3/78 23411 /proc/meminfo: memFree=1818808/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=21168 CPUtime=25.49 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 2545 4 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11526231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 5292 4559 305 324 0 4362 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21168 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1818872/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=21168 CPUtime=51.07 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 5102 5 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 5292 4559 305 324 0 4362 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21168 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1818872/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=21168 CPUtime=102.25 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 10217 8 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11534122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 5292 4559 305 324 0 4362 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 21168 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1818872/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=21168 CPUtime=162.22 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 4735 0 0 0 16212 10 0 0 25 0 1 0 251457618 21676032 4559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 5292 4559 305 324 0 4362 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 21168 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1773880/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=66032 CPUtime=222.21 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 16064 0 0 0 22201 20 0 0 25 0 1 0 251457618 67616768 15824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 16508 15824 311 324 0 15578 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 66032 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1720184/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=119780 CPUtime=282.19 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 29515 0 0 0 28190 29 0 0 25 0 1 0 251457618 122654720 29275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 29945 29275 311 324 0 29015 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 119780 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1661560/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=177940 CPUtime=342.17 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 44060 0 0 0 34180 37 0 0 25 0 1 0 251457618 182210560 43820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 44485 43820 311 324 0 43555 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 177940 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1610680/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=229716 CPUtime=402.14 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 56997 0 0 0 40168 46 0 0 25 0 1 0 251457618 235229184 56757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 57429 56757 311 324 0 56499 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 229716 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1550968/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=288536 CPUtime=462.12 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 71682 0 0 0 46155 57 0 0 25 0 1 0 251457618 295460864 71442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 72134 71442 311 324 0 71204 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 288536 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1486328/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=353424 CPUtime=522.11 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 87906 0 0 0 52144 67 0 0 25 0 1 0 251457618 361906176 87666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 88356 87666 311 324 0 87426 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 353424 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1416952/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=422364 CPUtime=582.08 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 105155 0 0 0 58130 78 0 0 25 0 1 0 251457618 432500736 104915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 105591 104915 311 324 0 104661 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 422364 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=1354360/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=484508 CPUtime=642.06 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 120701 0 0 0 64116 90 0 0 25 0 1 0 251457618 496136192 120461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 121127 120461 311 324 0 120197 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 484508 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=980728/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=858964 CPUtime=941.96 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 214297 0 0 0 94045 151 0 0 25 0 1 0 251457618 879579136 214057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 214741 214057 311 324 0 213811 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 858964 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=883512/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=954876 CPUtime=1001.93 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 238294 0 0 0 100028 165 0 0 25 0 1 0 251457618 977793024 238054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 238719 238054 311 324 0 237789 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 954876 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=756856/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1082776 CPUtime=1061.91 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 270264 0 0 0 106006 185 0 0 25 0 1 0 251457618 1108762624 270024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 270694 270024 311 324 0 269764 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1082776 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=617528/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1220944 CPUtime=1121.89 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 304786 0 0 0 111980 209 0 0 25 0 1 0 251457618 1250246656 304546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551297 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 305236 304546 311 324 0 304306 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1220944 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=525368/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1312144 CPUtime=1181.88 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 327582 0 0 0 117963 225 0 0 25 0 1 0 251457618 1343635456 327342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 328036 327342 311 324 0 327106 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1312144 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=492024/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1345220 CPUtime=1241.85 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 335868 0 0 0 123955 230 0 0 25 0 1 0 251457618 1377505280 335628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 336305 335628 311 324 0 335375 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1345220 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=459576/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1377564 CPUtime=1301.83 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 343937 0 0 0 129947 236 0 0 25 0 1 0 251457618 1410625536 343697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 344391 343697 311 324 0 343461 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1377564 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=422328/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1415040 CPUtime=1361.81 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 353307 0 0 0 135936 245 0 0 25 0 1 0 251457618 1449000960 353067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 353760 353067 311 324 0 352830 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1415040 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=385336/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1451452 CPUtime=1421.8 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 362432 0 0 0 141928 252 0 0 25 0 1 0 251457618 1486286848 362192 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 362863 362192 311 324 0 361933 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1451452 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23411 /proc/meminfo: memFree=345720/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1491584 CPUtime=1481.77 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 372457 0 0 0 147918 259 0 0 25 0 1 0 251457618 1527382016 372217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 372896 372217 311 324 0 371966 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1491584 [startup+1542.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 23411 /proc/meminfo: memFree=310712/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1526084 CPUtime=1541.75 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 381095 0 0 0 153910 265 0 0 25 0 1 0 251457618 1562710016 380855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 381521 380855 311 324 0 380591 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1526084 [startup+1602.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 23411 /proc/meminfo: memFree=274296/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1562612 CPUtime=1601.72 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 390214 0 0 0 159903 269 0 0 25 0 1 0 251457618 1600114688 389974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 390653 389974 311 324 0 389723 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 1562612 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23411 /proc/meminfo: memFree=234552/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1601956 CPUtime=1661.71 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 400060 0 0 0 165895 276 0 0 25 0 1 0 251457618 1640402944 399820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 400489 399820 311 324 0 399559 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1601956 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23411 /proc/meminfo: memFree=194424/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1643088 CPUtime=1721.69 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 410329 0 0 0 171887 282 0 0 25 0 1 0 251457618 1682522112 410089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 410772 410089 311 324 0 409842 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1643088 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23411 /proc/meminfo: memFree=155192/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1681588 CPUtime=1781.67 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 419947 0 0 0 177878 289 0 0 25 0 1 0 251457618 1721946112 419707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 420397 419707 311 324 0 419467 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1681588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23411 /proc/meminfo: memFree=139384/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=1696884 CPUtime=1800.07 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194304 423780 0 0 0 179715 292 0 0 25 0 1 0 251457618 1737609216 423540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 424221 423540 311 324 0 423291 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1696884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23411 /proc/meminfo: memFree=139384/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=0 CPUtime=1800.17 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194308 423784 0 0 0 179716 301 0 0 25 0 1 0 251457618 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23411 /proc/meminfo: memFree=139384/2055920 swapFree=4159404/4192956 [pid=23410] ppid=23408 vsize=0 CPUtime=1800.26 /proc/23410/stat : 23410 (bsolo3.0.17) R 23408 23410 23094 0 -1 4194308 423784 0 0 0 179716 310 0 0 25 0 1 0 251457618 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/23410/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.98 CPU time (s): 1800.34 CPU user time (s): 1797.16 CPU system time (s): 3.18052 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 1696884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.16 system time used= 3.18052 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 423784 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= 4557 runsolver used 1.44678 second user time and 4.07038 second system time The end
Begin job on node39 on Tue May 1 16:04:16 UTC 2007 IDJOB= 455016 IDBENCH= 48235 IDSOLVER= 199 FILE ID= node39/455016-1178035456 PBS_JOBID= 4728440 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455016-1178035456/instance-455016-1178035456.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-455016-1178035456 -o ROOT/results/node39/solver-455016-1178035456 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455016-1178035456/instance-455016-1178035456.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 493eec42e81abed935f584a4e365015a RANDOM SEED= 593304982 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1836640 kB Buffers: 57088 kB Cached: 70432 kB SwapCached: 13784 kB Active: 102704 kB Inactive: 49148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1836640 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 7028 kB Writeback: 0 kB Mapped: 31140 kB Slab: 52696 kB Committed_AS: 3922208 kB PageTables: 2012 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 node39 on Tue May 1 16:34:19 UTC 2007