Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -36 | 1800.19 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
MD5SUM | 49f1950e042362832bbb830f499dd3e3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58245 |
Number of constraints which are clauses | 58245 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
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 | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.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/433098-1177954394/instance-433098-1177954394.opb 0.00/0.00 c File size is 1390935 bytes. 0.19/0.23 c Highest Coefficient sum: 945 0.19/0.23 c Parsing was ok!! 0.19/0.23 c Total parsing time: 0.235 s 0.19/0.26 c Var: 945 Constr: 58245 58245/0/0 Lit: 116490 Watch. Lit: 116490 0.19/0.26 c Obj. Vars: 945 (100 % of total variables) 1.39/1.42 c Pre-processing Time: 1.418 s 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 0 945 58245 116490 2 116490 19414 0 0 1.42 1.39/1.42 c Switching off LPR mode. 1.39/1.43 o -29 1.428 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 0 945 58246 117435 2 116521 20414 1 0 1.43 1.39/1.43 o -30 1.433 1.39/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.44 c 3 945 58250 121122 2 116559 20414 5 2 1.44 1.39/1.44 o -32 1.437 1.89/1.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.92 c 3 945 58251 122067 2 116593 20414 6 2 1.44 1.89/1.92 c 103 945 58351 212978 3 116793 22456 106 69 1.49 1.89/1.92 c 353 945 58601 440352 7 117293 24702 356 216 1.63 1.89/1.92 c 829 945 59077 873346 14 118245 27173 832 433 1.91 1.89/1.92 o -34 1.917 1197.45/1197.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1197.45/1197.89 c 829 945 59078 874291 14 118281 20414 833 431 1.92 1197.45/1197.89 c 929 945 59178 965058 16 118481 22456 933 470 1.98 1197.45/1197.89 c 1179 945 59428 1191740 20 118981 24702 1183 550 2.14 1197.45/1197.89 c 1654 945 59903 1622524 27 119931 27173 1658 665 2.48 1197.45/1197.89 c 2468 945 60717 2360978 38 121559 29891 2472 779 3.17 1197.45/1197.89 c 3788 945 62037 3557869 57 124199 32881 3792 889 4.26 1197.45/1197.89 c 5869 945 64118 5445774 84 128361 36170 5873 913 6.43 1197.45/1197.89 c 9093 945 67342 8370065 124 134809 39788 9097 704 12.91 1197.45/1197.89 c 14029 945 72278 12849025 177 144681 43767 14033 587 23.89 1197.45/1197.89 c 21535 945 79784 19653978 246 159693 48144 21539 393 54.68 1197.45/1197.89 c 32896 945 91145 29960580 328 182415 52959 32900 284 115.46 1197.45/1197.89 c 50041 945 108290 45520242 420 216705 58255 50045 194 257.20 1197.45/1197.89 c 75860 945 86689 25932268 299 173412 64081 28444 168 450.99 1197.45/1197.89 c 114693 945 72415 12967809 179 144864 70490 14170 127 902.93 1197.45/1197.89 o -35 1197.54 1279.52/1279.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1279.52/1279.91 c 146263 945 103986 41617902 400 208041 20414 45741 122 1197.55 1279.52/1279.91 c 146363 945 68553 9470483 138 137141 22456 10308 121 1206.74 1279.52/1279.91 c 146613 945 68803 9696933 140 137641 24702 10558 121 1207.00 1279.52/1279.91 c 147088 945 69278 10127443 146 138591 27173 11033 121 1207.54 1279.52/1279.91 c 147901 945 70091 10863669 154 140217 29891 11846 122 1208.97 1279.52/1279.91 c 149221 945 71411 12059171 168 142857 32881 13166 123 1210.42 1279.52/1279.91 c 151304 945 73494 13946118 189 147023 36170 15249 124 1214.87 1279.52/1279.91 c 154528 945 76718 16865977 219 153471 39788 18473 126 1221.06 1279.52/1279.91 c 159464 945 81654 21339633 261 163343 43767 23409 129 1235.43 1279.52/1279.91 c 166970 945 89160 28136435 315 178355 48144 30915 130 1278.56 1279.52/1279.91 o -36 1279.54 1800.06/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.70 c 167163 945 89354 28312379 316 178779 20414 31109 130 1279.54 1800.06/1800.70 c 167263 945 68553 9452221 137 137142 22456 10308 129 1290.23 1800.06/1800.70 c 167513 945 68803 9678515 140 137642 24702 10558 129 1290.82 1800.06/1800.70 c 167988 945 69278 10108315 145 138592 27173 11033 130 1291.38 1800.06/1800.70 c 168802 945 70092 10844031 154 140220 29891 11847 130 1292.17 1800.06/1800.70 c 170122 945 71412 12039400 168 142860 32881 13167 131 1294.77 1800.06/1800.70 c 172203 945 73493 13922236 189 147022 36170 15248 132 1297.83 1800.06/1800.70 c 175426 945 76716 16839632 219 153468 39788 18471 134 1307.07 1800.06/1800.70 c 180363 945 81653 21307677 260 163342 43767 23408 136 1322.75 1800.06/1800.70 c 187869 945 89159 28100069 315 178354 48144 30914 137 1364.37 1800.06/1800.70 c 199230 945 100520 38376786 381 201076 52959 42275 142 1398.60 1800.06/1800.70 c 216374 945 75476 15711472 208 150988 58255 17231 143 1509.19 1800.06/1800.70 c 242193 945 101295 39068160 385 202626 64081 43050 144 1676.62 1800.06/1800.70 c Caught signal: 15 1800.06/1800.70 v -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1800.06/1800.70 v x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1800.06/1800.70 v -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.06/1800.70 v -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.06/1800.70 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1800.06/1800.70 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1800.06/1800.70 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.06/1800.70 v -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1800.06/1800.70 v x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1800.06/1800.70 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.06/1800.70 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1800.06/1800.70 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.06/1800.70 v -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1800.06/1800.70 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1800.06/1800.70 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.06/1800.70 v x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1800.06/1800.70 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1800.06/1800.70 v -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1800.06/1800.70 v -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.06/1800.70 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1800.06/1800.70 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 1800.06/1800.70 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1800.06/1800.70 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1800.06/1800.70 v x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.06/1800.70 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.06/1800.70 v x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.06/1800.70 v -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.06/1800.70 v -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1800.06/1800.70 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1800.06/1800.70 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.06/1800.70 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1800.06/1800.70 v -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1800.06/1800.70 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 1800.06/1800.70 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 1800.06/1800.70 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 1800.06/1800.70 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 1800.06/1800.70 v -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.06/1800.70 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.06/1800.70 v -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.06/1800.70 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 1800.06/1800.70 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1800.06/1800.70 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 1800.06/1800.70 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 1800.06/1800.70 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 1800.06/1800.70 v -x1 1800.06/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.70 c 43 259019 29815 298526 118121 54298634 59876 143 1800.07 1800.06/1800.70 c Objective: -36 1800.06/1800.70 s SATISFIABLE 1800.06/1800.70 c Total time: 1800.07 s
OK -36
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-433098-1177954394 -o ROOT/results/node9/solver-433098-1177954394 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433098-1177954394/instance-433098-1177954394.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.77 0.93 0.92 3/77 21296 /proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=13096 CPUtime=0 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 271476939 13410304 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 3274 335 279 324 0 2004 0 [startup+0.0563849 s] /proc/loadavg: 0.77 0.93 0.92 3/77 21296 /proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=6660 CPUtime=0.05 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 766 0 0 0 5 0 0 0 18 0 1 0 271476939 6819840 736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134527859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 1665 736 354 324 0 395 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6660 [startup+0.10139 s] /proc/loadavg: 0.77 0.93 0.92 3/77 21296 /proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=7760 CPUtime=0.09 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 1108 0 0 0 9 0 0 0 18 0 1 0 271476939 7946240 1078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 1940 1078 420 324 0 670 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7760 [startup+0.301412 s] /proc/loadavg: 0.77 0.93 0.92 3/77 21296 /proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=12472 CPUtime=0.29 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 2862 0 0 0 28 1 0 0 19 0 1 0 271476939 12771328 2492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 3118 2492 303 324 0 2188 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12472 [startup+0.701459 s] /proc/loadavg: 0.77 0.93 0.92 3/77 21296 /proc/meminfo: memFree=1858248/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=14324 CPUtime=0.69 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 3336 0 0 0 67 2 0 0 22 0 1 0 271476939 14667776 2966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 3581 2966 305 324 0 2651 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14324 [startup+1.50155 s] /proc/loadavg: 0.77 0.93 0.92 2/78 21297 /proc/meminfo: memFree=1847488/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=13880 CPUtime=1.49 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 4080 0 0 0 145 4 0 0 25 0 1 0 271476939 14213120 2857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 3470 2857 310 324 0 2540 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13880 [startup+3.10173 s] /proc/loadavg: 0.77 0.93 0.92 2/78 21297 /proc/meminfo: memFree=1836096/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=40504 CPUtime=3.09 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 10711 0 0 0 302 7 0 0 25 0 1 0 271476939 41476096 9488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 10126 9488 310 324 0 9196 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40504 [startup+6.30109 s] /proc/loadavg: 0.79 0.94 0.92 2/78 21297 /proc/meminfo: memFree=1788736/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=79396 CPUtime=6.29 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 20460 0 0 0 618 11 0 0 25 0 1 0 271476939 81301504 19237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 19849 19237 310 324 0 18919 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 79396 [startup+12.7018 s] /proc/loadavg: 0.81 0.94 0.92 2/78 21297 /proc/meminfo: memFree=1746880/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=117264 CPUtime=12.68 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 29919 0 0 0 1254 14 0 0 25 0 1 0 271476939 120078336 28696 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 29316 28696 310 324 0 28386 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 117264 [startup+25.5013 s] /proc/loadavg: 0.85 0.94 0.92 2/78 21297 /proc/meminfo: memFree=1677504/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=186236 CPUtime=25.48 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 47154 0 0 0 2525 23 0 0 25 0 1 0 271476939 190705664 45931 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 46559 45931 310 324 0 45629 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 186236 [startup+51.1011 s] /proc/loadavg: 0.90 0.94 0.92 2/78 21297 /proc/meminfo: memFree=1606016/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=256824 CPUtime=51.08 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 64803 0 0 0 5076 32 0 0 25 0 1 0 271476939 262987776 63580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 64206 63580 310 324 0 63276 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 256824 [startup+102.306 s] /proc/loadavg: 0.95 0.95 0.92 2/78 21298 /proc/meminfo: memFree=1482304/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=378752 CPUtime=102.27 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 95280 0 0 0 10178 49 0 0 25 0 1 0 271476939 387842048 94057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 94688 94057 310 324 0 93758 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 378752 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.92 2/78 21299 /proc/meminfo: memFree=1368320/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=493052 CPUtime=162.24 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 123857 0 0 0 16160 64 0 0 25 0 1 0 271476939 504885248 122634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 123263 122634 310 324 0 122333 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 493052 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.92 2/78 21299 /proc/meminfo: memFree=1300544/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=560252 CPUtime=222.23 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 140675 0 0 0 22151 72 0 0 25 0 1 0 271476939 573698048 139452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9105185 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 140063 139452 310 324 0 139133 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 560252 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1167104/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=695172 CPUtime=282.21 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 174379 0 0 0 28134 87 0 0 25 0 1 0 271476939 711856128 173156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 173793 173156 310 324 0 172863 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 695172 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1159360/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=700928 CPUtime=342.19 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 34131 88 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 175232 174601 310 324 0 174302 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 700928 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1159360/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=700928 CPUtime=402.17 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 40128 89 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 175232 174601 310 324 0 174302 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 700928 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1159424/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=700928 CPUtime=462.15 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 46126 89 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 175232 174601 310 324 0 174302 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 700928 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1159424/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=700928 CPUtime=522.14 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 52124 90 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 175232 174601 310 324 0 174302 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 700928 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1159488/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=700928 CPUtime=582.12 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 58121 91 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 175232 174601 310 324 0 174302 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 700928 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1159488/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=700928 CPUtime=642.11 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 175882 0 0 0 64120 91 0 0 25 0 1 0 271476939 717750272 174601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 175232 174601 310 324 0 174302 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 700928 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1091392/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=882.03 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 88102 101 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 768732 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1091456/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=942.02 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 94100 102 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 768732 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1091456/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=1002 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 100098 102 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 768732 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1091456/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=1061.98 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 106095 103 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 768732 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 21299 /proc/meminfo: memFree=1091520/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=1121.96 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 112093 103 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9096848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 768732 [startup+1182.3 s] /proc/loadavg: 1.03 0.99 0.93 2/78 21299 /proc/meminfo: memFree=1091584/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=1181.95 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 118091 104 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 768732 [startup+1242.3 s] /proc/loadavg: 1.01 0.99 0.93 2/78 21299 /proc/meminfo: memFree=1091520/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=1241.93 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 124089 104 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 768732 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 21299 /proc/meminfo: memFree=1091520/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=1301.92 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 130087 105 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 768732 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 21299 /proc/meminfo: memFree=1091520/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=1361.89 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 136084 105 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 768732 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.93 2/78 21299 /proc/meminfo: memFree=1091456/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768732 CPUtime=1421.88 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 142082 106 0 0 25 0 1 0 271476939 787181568 191563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192183 191563 310 324 0 191253 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 768732 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 21299 /proc/meminfo: memFree=1091648/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768360 CPUtime=1481.86 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 148080 106 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192090 191482 310 324 0 191160 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 768360 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 21299 /proc/meminfo: memFree=1091648/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768360 CPUtime=1541.84 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 154077 107 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192090 191482 310 324 0 191160 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 768360 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 21299 /proc/meminfo: memFree=1091648/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768360 CPUtime=1601.82 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 160075 107 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192090 191482 310 324 0 191160 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 768360 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 21299 /proc/meminfo: memFree=1091712/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768360 CPUtime=1661.81 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 166073 108 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192090 191482 310 324 0 191160 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 768360 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.93 2/84 21477 /proc/meminfo: memFree=1090512/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768360 CPUtime=1721.67 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 172059 108 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192090 191482 310 324 0 191160 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 768360 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 21496 /proc/meminfo: memFree=1091584/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768360 CPUtime=1781.66 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 178057 109 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192090 191482 310 324 0 191160 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 768360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 0.99 0.93 2/78 21496 /proc/meminfo: memFree=1091584/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=768360 CPUtime=1800.06 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194304 192908 0 0 0 179897 109 0 0 25 0 1 0 271476939 786800640 191482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9096968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 192090 191482 310 324 0 191160 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 768360 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 0.99 0.93 2/78 21496 /proc/meminfo: memFree=1091584/2055920 swapFree=4145476/4192956 [pid=21296] ppid=21294 vsize=0 CPUtime=1800.16 /proc/21296/stat : 21296 (bsolo3.0.17) R 21294 21296 21233 0 -1 4194308 192912 0 0 0 179897 119 0 0 25 0 1 0 271476939 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/21296/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.83 CPU time (s): 1800.19 CPU user time (s): 1798.98 CPU system time (s): 1.21581 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 768732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.21582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 192912 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= 2619 runsolver used 1.43078 second user time and 3.85841 second system time The end
Begin job on node9 on Mon Apr 30 17:33:14 UTC 2007 IDJOB= 433098 IDBENCH= 2250 IDSOLVER= 199 FILE ID= node9/433098-1177954394 PBS_JOBID= 4727691 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433098-1177954394/instance-433098-1177954394.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-433098-1177954394 -o ROOT/results/node9/solver-433098-1177954394 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433098-1177954394/instance-433098-1177954394.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3 RANDOM SEED= 315117703 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1858656 kB Buffers: 33932 kB Cached: 95544 kB SwapCached: 15432 kB Active: 44460 kB Inactive: 107636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858656 kB SwapTotal: 4192956 kB SwapFree: 4145476 kB Dirty: 8144 kB Writeback: 0 kB Mapped: 29628 kB Slab: 30716 kB Committed_AS: 6733620 kB PageTables: 1784 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= 66557 MiB End job on node9 on Mon Apr 30 18:03:17 UTC 2007