Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -15 | 1800.33 | 1800.98 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_1.opb |
MD5SUM | fdd11e948ae8a5c2828dd3ba6f1a1add |
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 | -85 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -85 |
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) | 31432 |
Sum of products size (including duplicates) | 62864 |
Number of different products | 15716 |
Sum of products size | 31432 |
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/454851-1178032433/instance-454851-1178032433.opb 0.00/0.00 c File size is 432333 bytes. 0.09/0.19 c Highest Coefficient sum: 1000 0.09/0.19 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.192 s 0.19/0.25 c Var: 32432 Constr: 64366 31932/1002/31432 Lit: 223024 Watch. Lit: 190594 0.19/0.25 c Obj. Vars: 500 (1.54169 % of total variables) 179.23/179.32 c Pre-processing Time: 179.26 s 179.23/179.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.23/179.33 c 0 32432 64366 223024 3 190594 528661 0 0 179.26 179.23/179.33 c Switching off LPR mode. 179.23/179.36 o -1 179.301 179.33/179.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.33/179.42 c 0 32432 64367 223524 3 190597 528994 1 0 179.32 179.33/179.42 o -2 179.361 179.33/179.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.33/179.49 c 0 32432 64368 224024 3 190601 529494 2 0 179.38 179.33/179.49 o -3 179.421 179.42/179.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.42/179.55 c 0 32432 64369 224524 3 190606 530161 3 0 179.44 179.42/179.55 o -4 179.482 179.52/179.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.52/179.61 c 0 32432 64370 225024 3 190612 530994 4 0 179.50 179.52/179.61 o -5 179.544 179.52/179.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.52/179.67 c 0 32432 64371 225524 3 190619 531994 5 0 179.56 179.52/179.67 o -6 179.606 179.62/179.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.62/179.73 c 0 32432 64372 226024 3 190627 532994 6 0 179.62 179.62/179.73 o -7 179.669 179.62/179.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.62/179.80 c 0 32432 64373 226524 3 190636 533994 7 0 179.69 179.62/179.80 o -8 179.732 179.73/179.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.73/179.86 c 0 32432 64374 227024 3 190646 534994 8 0 179.75 179.73/179.86 o -9 179.795 179.83/179.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.83/179.92 c 0 32432 64375 227524 3 190657 535994 9 0 179.81 179.83/179.92 o -10 179.859 179.83/179.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.83/179.99 c 0 32432 64376 228024 3 190669 536994 10 0 179.88 179.83/179.99 o -11 179.922 179.93/180.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.93/180.05 c 0 32432 64377 228524 3 190682 537994 11 0 179.94 179.93/180.05 o -12 179.986 180.02/180.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.02/180.11 c 0 32432 64378 229024 3 190696 538994 12 0 180.00 180.02/180.11 o -13 180.05 180.12/180.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.12/180.21 c 0 32432 64379 229524 3 190711 539994 13 0 180.07 180.12/180.21 o -14 180.151 192.32/192.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 192.32/192.41 c 3 32432 64383 231790 3 190733 539994 17 0 180.17 192.32/192.41 c 103 32432 64483 288127 4 190933 593994 117 0 181.25 192.32/192.41 c 353 32432 64733 437189 6 191433 653394 367 1 183.65 192.32/192.41 c 828 32432 65208 745640 11 192383 718734 842 4 187.50 192.32/192.41 c 1641 32432 66021 1351955 20 194009 790608 1655 8 191.65 192.32/192.41 o -15 192.345 1800.05/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.71 c 1906 32432 66287 1587382 23 194556 539994 1921 9 192.37 1800.05/1800.71 c 2006 32432 66387 1637383 24 194756 593994 2021 10 192.88 1800.05/1800.71 c 2256 32432 66637 1762391 26 195256 653394 2271 11 193.71 1800.05/1800.71 c 2731 32432 67112 2039722 30 196206 718734 2746 13 198.38 1800.05/1800.71 c 3544 32432 67925 2571930 37 197832 790608 3559 17 206.95 1800.05/1800.71 c 4864 32432 69245 3444567 49 200472 869669 4879 22 219.50 1800.05/1800.71 c 6945 32432 71326 4805136 67 204634 956636 6960 28 240.69 1800.05/1800.71 c 10168 32432 74549 6930120 92 211080 500000 10183 38 264.29 1800.05/1800.71 c 15104 32432 79485 10164595 127 220952 550001 15119 49 307.34 1800.05/1800.71 c 22610 32432 86991 15252485 175 235964 605002 22625 59 380.05 1800.05/1800.71 c 33971 32432 98352 23080977 234 258686 665503 33986 69 486.96 1800.05/1800.71 c 51115 32432 115496 34387985 297 292974 732054 51130 84 603.09 1800.05/1800.71 c 76934 32432 141315 51914863 367 344612 805260 76949 100 766.62 1800.05/1800.71 c 115766 32432 180147 78127428 433 422276 885787 115781 114 1013.36 1800.05/1800.71 c 174118 32432 238499 117129478 491 538980 974366 174133 106 1636.38 1800.05/1800.71 c Caught signal: 15 1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.71 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x884 -x887 -x778 -x916 -x794 -x836 1800.05/1800.71 v -x993 -x650 -x922 -x863 -x528 -x691 -x560 -x764 -x927 -x541 -x673 -x737 -x712 -x869 -x568 -x930 -x783 -x531 -x624 -x507 -x517 1800.05/1800.71 v -x519 -x534 -x540 -x575 -x576 -x578 -x600 -x611 -x631 -x663 -x850 -x891 -x901 -x928 -x934 -x956 -x965 -x501 x636 x803 -x523 1800.05/1800.71 v x559 x570 x668 -x894 -x957 -x512 -x543 -x730 -x874 x920 x785 -x538 x699 -x825 x816 x871 -x914 x527 -x592 -x644 x648 -x655 -x660 1800.05/1800.71 v x678 -x681 x768 -x782 -x795 -x961 -x999 -x502 -x981 -x671 -x997 -x806 -x926 -x585 -x828 -x837 -x506 -x847 -x814 -x858 -x625 1800.05/1800.71 v -x896 -x583 -x546 -x815 -x868 -x935 -x865 -x518 -x526 -x547 -x587 -x588 -x607 -x622 -x634 -x651 -x750 -x833 -x835 -x882 -x897 1800.05/1800.71 v -x954 -x503 -x544 -x751 -x809 -x777 -x679 -x789 -x904 -x652 -x755 -x900 -x933 -x561 -x677 -x740 -x513 -x727 -x595 -x796 -x571 1800.05/1800.71 v -x530 -x563 -x574 -x614 -x626 -x667 -x675 -x689 -x693 -x714 -x860 -x875 -x910 -x504 -x879 -x968 -x602 -x598 -x903 -x818 -x653 1800.05/1800.71 v -x757 -x802 -x781 -x787 -x942 -x866 -x690 -x945 -x620 -x941 -x532 -x618 -x772 -x982 -x676 -x710 -x515 -x516 -x577 -x621 -x704 1800.05/1800.71 v -x723 -x728 -x765 -x830 -x832 -x872 -x937 -x973 -x505 -x857 -x998 -x854 -x966 -x807 -x684 -x720 -x529 -x733 -x520 -x771 -x709 1800.05/1800.71 v -x716 -x841 -x797 -x509 -x562 -x581 -x713 -x729 -x844 -x963 -x724 -x619 -x746 -x952 -x556 -x880 -x989 -x842 -x851 -x694 -x535 1800.05/1800.71 v -x915 -x988 -x744 -x992 -x536 -x542 -x554 -x604 -x736 -x843 -x919 -x552 -x938 -x776 -x908 -x975 -x859 -x738 -x819 -x929 -x905 1800.05/1800.71 v -x944 -x539 -x510 -x599 -x617 -x639 -x672 -x756 -x784 -x921 -x932 -x508 -x629 -x870 -x918 -x971 -x991 -x1000 -x773 -x726 1800.05/1800.71 v -x645 -x591 -x640 -x955 -x670 -x565 -x584 -x593 -x613 -x642 -x674 -x698 -x721 -x749 -x994 -x856 -x805 -x849 -x612 -x623 -x829 1800.05/1800.71 v -x800 -x747 -x569 -x923 -x812 -x811 -x606 -x662 -x731 -x821 -x616 -x665 -x683 -x692 -x701 -x734 -x748 -x754 -x767 -x917 -x627 1800.05/1800.71 v -x759 -x925 -x638 -x601 -x537 -x953 -x551 -x969 -x572 -x974 -x632 -x931 -x548 -x597 -x637 -x718 -x876 -x511 -x895 -x661 -x664 1800.05/1800.71 v -x700 -x960 -x774 -x669 -x596 -x967 -x685 -x877 -x573 -x766 -x913 -x608 -x946 -x680 -x888 -x711 -x707 -x873 -x822 -x820 -x722 1800.05/1800.71 v -x522 -x605 -x657 -x719 -x753 -x792 -x853 -x940 -x706 -x628 -x985 -x659 -x725 -x770 -x582 -x793 -x886 -x557 -x558 -x696 -x834 1800.05/1800.71 v -x939 -x514 -x641 -x899 -x799 -x525 -x656 -x995 -x861 -x564 -x643 -x580 -x885 -x962 -x827 -x760 -x703 -x909 -x959 -x752 -x838 1800.05/1800.71 v -x804 -x649 -x798 -x864 -x893 -x775 -x890 -x687 -x976 -x658 -x555 -x881 -x943 -x682 -x635 -x840 -x630 -x550 -x786 -x739 -x566 1800.05/1800.71 v -x654 -x705 -x745 -x912 -x972 -x950 -x790 -x762 -x524 -x810 -x735 -x615 -x813 -x553 -x579 -x947 -x791 -x647 -x845 -x892 -x521 1800.05/1800.71 v -x594 -x715 -x980 -x970 -x889 -x839 -x567 -x761 -x984 -x741 -x898 -x979 -x758 -x788 -x986 -x848 -x948 -x732 -x826 -x978 -x686 1800.05/1800.71 v -x708 -x586 -x702 x951 -x590 -x769 -x883 -x823 -x695 -x983 -x987 -x878 -x763 -x589 -x666 -x906 -x964 -x633 -x779 -x852 -x867 1800.05/1800.71 v -x533 -x697 -x831 -x846 -x907 -x936 -x743 -x958 -x610 -x990 -x808 -x977 -x817 -x949 -x911 -x646 -x924 -x855 -x717 -x902 -x862 1800.05/1800.71 v -x801 -x603 -x609 -x549 -x824 -x545 -x742 -x780 -x996 -x688 1800.05/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.71 c 33 194821 539 609504 259202 131589273 194836 108 1800.06 1800.05/1800.71 c Objective: -15 1800.05/1800.71 s SATISFIABLE 1800.05/1800.71 c Total time: 1800.06 s
OK -15
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-454851-1178032433 -o ROOT/results/node40/solver-454851-1178032433 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454851-1178032433/instance-454851-1178032433.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: 1.00 0.97 0.98 3/77 21973 /proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=12160 CPUtime=0 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 132122884 12451840 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 3040 333 279 324 0 2004 0 [startup+0.101804 s] /proc/loadavg: 1.00 0.97 0.98 3/77 21973 /proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=9520 CPUtime=0.09 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 1722 0 0 0 8 1 0 0 18 0 1 0 132122884 9748480 1692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 2380 1692 343 324 0 1344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9520 [startup+0.201824 s] /proc/loadavg: 1.00 0.97 0.98 3/77 21973 /proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=13712 CPUtime=0.19 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 2968 0 0 0 17 2 0 0 18 0 1 0 132122884 14041088 2792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134523468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 3428 2792 300 324 0 2498 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13712 [startup+0.301846 s] /proc/loadavg: 1.00 0.97 0.98 3/77 21973 /proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21200 CPUtime=0.29 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4710 0 0 0 27 2 0 0 19 0 1 0 132122884 21708800 4534 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5300 4534 305 324 0 4370 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21200 [startup+0.701929 s] /proc/loadavg: 1.00 0.97 0.98 3/77 21973 /proc/meminfo: memFree=1761840/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21200 CPUtime=0.69 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4747 0 0 0 67 2 0 0 23 0 1 0 132122884 21708800 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5300 4571 305 324 0 4370 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21200 [startup+1.50109 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21974 /proc/meminfo: memFree=1744616/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21200 CPUtime=1.49 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4747 0 0 0 147 2 0 0 25 0 1 0 132122884 21708800 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5300 4571 305 324 0 4370 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21200 [startup+3.10143 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21974 /proc/meminfo: memFree=1744488/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21200 CPUtime=3.08 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4747 0 0 0 306 2 0 0 25 0 1 0 132122884 21708800 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5300 4571 305 324 0 4370 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21200 [startup+6.3011 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21974 /proc/meminfo: memFree=1744240/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21200 CPUtime=6.29 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4747 0 0 0 626 3 0 0 25 0 1 0 132122884 21708800 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7344278 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5300 4571 305 324 0 4370 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21200 [startup+12.7014 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21974 /proc/meminfo: memFree=1744240/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21332 CPUtime=12.68 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 1265 3 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7340174 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5333 4572 305 324 0 4403 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21332 [startup+25.5011 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21974 /proc/meminfo: memFree=1744240/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21332 CPUtime=25.48 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 2544 4 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5333 4572 305 324 0 4403 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21332 [startup+51.1015 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21974 /proc/meminfo: memFree=1744240/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21332 CPUtime=51.07 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 5102 5 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5333 4572 305 324 0 4403 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21332 [startup+102.301 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21974 /proc/meminfo: memFree=1744304/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21332 CPUtime=102.25 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 10217 8 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5333 4572 305 324 0 4403 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 21332 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21974 /proc/meminfo: memFree=1744304/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=21332 CPUtime=162.23 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 4748 0 0 0 16212 11 0 0 25 0 1 0 132122884 21843968 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7343987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 5333 4572 305 324 0 4403 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 21332 [startup+222.305 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21974 /proc/meminfo: memFree=1700272/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=65252 CPUtime=222.21 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 15863 0 0 0 22201 20 0 0 25 0 1 0 132122884 66818048 15623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 16313 15623 311 324 0 15383 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 65252 [startup+282.302 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=1638256/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=127284 CPUtime=282.19 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 31386 0 0 0 28187 32 0 0 25 0 1 0 132122884 130338816 31146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 31821 31146 311 324 0 30891 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 127284 [startup+342.302 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=1584624/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=180488 CPUtime=342.17 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 44688 0 0 0 34174 43 0 0 25 0 1 0 132122884 184819712 44448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 45122 44448 311 324 0 44192 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 180488 [startup+402.302 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=1529520/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=236412 CPUtime=402.14 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 58654 0 0 0 40163 51 0 0 25 0 1 0 132122884 242085888 58414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 59103 58414 311 324 0 58173 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 236412 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=1475120/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=290564 CPUtime=462.12 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 72201 0 0 0 46154 58 0 0 25 0 1 0 132122884 297537536 71961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 72641 71961 311 324 0 71711 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 290564 [startup+522.302 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=1407984/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=357532 CPUtime=522.1 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 88943 0 0 0 52142 68 0 0 25 0 1 0 132122884 366112768 88703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550573 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 89383 88703 311 324 0 88453 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 357532 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=1339888/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=425056 CPUtime=582.08 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 105839 0 0 0 58130 78 0 0 25 0 1 0 132122884 435257344 105599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 106264 105599 311 324 0 105334 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 425056 [startup+642.302 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=1258800/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=507168 CPUtime=642.06 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 126369 0 0 0 64115 91 0 0 25 0 1 0 132122884 519340032 126129 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 126792 126129 311 324 0 125862 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 507168 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=883184/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=880644 CPUtime=881.98 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 219713 0 0 0 88047 151 0 0 25 0 1 0 132122884 901779456 219473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 220161 219473 311 324 0 219231 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 880644 [startup+942.302 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=788720/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=974912 CPUtime=941.95 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 243286 0 0 0 94029 166 0 0 25 0 1 0 132122884 998309888 243046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 243728 243046 311 324 0 242798 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 974912 [startup+1002.3 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=745840/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1017708 CPUtime=1001.93 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 253997 0 0 0 100019 174 0 0 25 0 1 0 132122884 1042132992 253757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 254427 253757 311 324 0 253497 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1017708 [startup+1062.3 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=706160/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1057616 CPUtime=1061.9 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 263958 0 0 0 106010 180 0 0 25 0 1 0 132122884 1082998784 263718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 264404 263718 311 324 0 263474 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1057616 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=662768/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1100716 CPUtime=1121.89 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 274740 0 0 0 112002 187 0 0 25 0 1 0 132122884 1127133184 274500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 275179 274500 311 324 0 274249 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1100716 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=618288/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1145620 CPUtime=1181.87 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 285964 0 0 0 117992 195 0 0 25 0 1 0 132122884 1173114880 285724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 286405 285724 311 324 0 285475 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1145620 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=572272/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1190952 CPUtime=1241.84 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 297312 0 0 0 123983 201 0 0 25 0 1 0 132122884 1219534848 297072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 297738 297072 311 324 0 296808 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1190952 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.98 2/78 21976 /proc/meminfo: memFree=526960/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1236824 CPUtime=1301.82 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 308754 0 0 0 129973 209 0 0 25 0 1 0 132122884 1266507776 308514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 309206 308514 311 324 0 308276 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1236824 [startup+1362.3 s] /proc/loadavg: 1.06 0.99 0.99 2/78 21976 /proc/meminfo: memFree=478128/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1285032 CPUtime=1361.8 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 320825 0 0 0 135964 216 0 0 25 0 1 0 132122884 1315872768 320585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 321258 320585 311 324 0 320328 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1285032 [startup+1422.3 s] /proc/loadavg: 1.02 0.99 0.99 2/78 21976 /proc/meminfo: memFree=431408/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1331440 CPUtime=1421.79 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 332413 0 0 0 141954 225 0 0 25 0 1 0 132122884 1363394560 332173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 332860 332173 311 324 0 331930 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1331440 [startup+1482.3 s] /proc/loadavg: 1.01 0.99 0.99 2/78 21976 /proc/meminfo: memFree=382320/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1381268 CPUtime=1481.76 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 344875 0 0 0 147942 234 0 0 25 0 1 0 132122884 1414418432 344635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 345317 344635 311 324 0 344387 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 1381268 [startup+1542.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21976 /proc/meminfo: memFree=326704/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1435980 CPUtime=1541.74 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 358558 0 0 0 153930 244 0 0 25 0 1 0 132122884 1470443520 358318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 358995 358318 311 324 0 358065 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1435980 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21976 /proc/meminfo: memFree=269232/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1493820 CPUtime=1601.71 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 373002 0 0 0 159920 251 0 0 25 0 1 0 132122884 1529671680 372762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 373455 372762 311 324 0 372525 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1493820 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21976 /proc/meminfo: memFree=209712/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1552880 CPUtime=1661.69 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 387782 0 0 0 165907 262 0 0 25 0 1 0 132122884 1590149120 387542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 388220 387542 311 324 0 387290 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 1552880 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21976 /proc/meminfo: memFree=148656/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1614284 CPUtime=1721.67 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 403141 0 0 0 171894 273 0 0 25 0 1 0 132122884 1653026816 402901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 403571 402901 311 324 0 402641 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 1614284 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21976 /proc/meminfo: memFree=74352/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1688176 CPUtime=1781.64 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 421614 0 0 0 177880 284 0 0 25 0 1 0 132122884 1728692224 421374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 422044 421374 311 324 0 421114 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 1688176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21976 /proc/meminfo: memFree=50160/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=1711868 CPUtime=1800.05 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194304 427535 0 0 0 179718 287 0 0 25 0 1 0 132122884 1752952832 427295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 427967 427295 311 324 0 427037 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1711868 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 0.99 0.99 2/78 21976 /proc/meminfo: memFree=50160/2055920 swapFree=4157412/4192956 [pid=21973] ppid=21971 vsize=0 CPUtime=1800.24 /proc/21973/stat : 21973 (bsolo3.0.17) R 21971 21973 21784 0 -1 4194308 427539 0 0 0 179718 306 0 0 25 0 1 0 132122884 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/21973/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.98 CPU time (s): 1800.33 CPU user time (s): 1797.19 CPU system time (s): 3.13852 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (KiB): 1711868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.19 system time used= 3.13852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 427539 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= 38704 runsolver used 1.35279 second user time and 3.86441 second system time The end
Begin job on node40 on Tue May 1 15:13:53 UTC 2007 IDJOB= 454851 IDBENCH= 48224 IDSOLVER= 199 FILE ID= node40/454851-1178032433 PBS_JOBID= 4728412 Free space on /tmp= 66537 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_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454851-1178032433/instance-454851-1178032433.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-454851-1178032433 -o ROOT/results/node40/solver-454851-1178032433 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454851-1178032433/instance-454851-1178032433.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fdd11e948ae8a5c2828dd3ba6f1a1add RANDOM SEED= 19149203 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1762184 kB Buffers: 63356 kB Cached: 141388 kB SwapCached: 15100 kB Active: 108540 kB Inactive: 120160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1762184 kB SwapTotal: 4192956 kB SwapFree: 4157412 kB Dirty: 7144 kB Writeback: 0 kB Mapped: 30128 kB Slab: 50372 kB Committed_AS: 3022276 kB PageTables: 1932 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= 66537 MiB End job on node40 on Tue May 1 15:43:56 UTC 2007