Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -36 | 1800.13 | 1800.82 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353540-1176668725/instance-353540-1176668725.opb 0.00/0.00 c File size is 1390935 bytes. 0.39/0.43 c Highest Coefficient sum: 945 0.39/0.43 c Parsing was ok!! 0.39/0.43 c Total parsing time: 0.43 s 0.39/0.45 c Var: 945 Constr: 58245 58245/0/0 Lit: 116490 Watch. Lit: 116490 0.39/0.45 c Obj. Vars: 945 (100 % of total variables) 1.59/1.62 c Pre-processing Time: 1.625 s 1.59/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.63 c 0 945 58245 116490 2 116490 19414 0 0 1.62 1.59/1.63 c Switching off LPR mode. 1.59/1.63 o -29 1.634 1.59/1.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.64 c 0 945 58246 117435 2 116521 20414 1 0 1.64 1.59/1.64 o -30 1.64 1.59/1.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.64 c 3 945 58250 121122 2 116559 20414 5 1 1.64 1.59/1.64 o -32 1.644 2.09/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.13 c 3 945 58251 122067 2 116593 20414 6 1 1.65 2.09/2.13 c 103 945 58351 212978 3 116793 22456 106 60 1.70 2.09/2.13 c 353 945 58601 440352 7 117293 24702 356 191 1.84 2.09/2.13 c 829 945 59077 873346 14 118245 27173 832 389 2.13 2.09/2.13 o -34 2.13 1199.02/1199.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1199.02/1199.55 c 829 945 59078 874291 14 118281 20414 833 388 2.13 1199.02/1199.55 c 929 945 59178 965058 16 118481 22456 933 424 2.19 1199.02/1199.55 c 1179 945 59428 1191740 20 118981 24702 1183 500 2.36 1199.02/1199.55 c 1654 945 59903 1622524 27 119931 27173 1658 611 2.71 1199.02/1199.55 c 2468 945 60717 2360978 38 121559 29891 2472 727 3.39 1199.02/1199.55 c 3788 945 62037 3557869 57 124199 32881 3792 843 4.49 1199.02/1199.55 c 5869 945 64118 5445774 84 128361 36170 5873 881 6.66 1199.02/1199.55 c 9093 945 67342 8370065 124 134809 39788 9097 693 13.11 1199.02/1199.55 c 14029 945 72278 12849025 177 144681 43767 14033 580 24.18 1199.02/1199.55 c 21535 945 79784 19653978 246 159693 48144 21539 392 54.83 1199.02/1199.55 c 32896 945 91145 29960580 328 182415 52959 32900 284 115.65 1199.02/1199.55 c 50041 945 108290 45520242 420 216705 58255 50045 194 257.45 1199.02/1199.55 c 75860 945 86689 25932268 299 173412 64081 28444 168 451.50 1199.02/1199.55 c 114693 945 72415 12967809 179 144864 70490 14170 126 904.42 1199.02/1199.55 o -35 1199.09 1281.19/1281.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1281.19/1281.71 c 146263 945 103986 41617902 400 208041 20414 45741 121 1199.09 1281.19/1281.71 c 146363 945 68553 9470483 138 137141 22456 10308 121 1208.29 1281.19/1281.71 c 146613 945 68803 9696933 140 137641 24702 10558 121 1208.54 1281.19/1281.71 c 147088 945 69278 10127443 146 138591 27173 11033 121 1209.07 1281.19/1281.71 c 147901 945 70091 10863669 154 140217 29891 11846 122 1210.49 1281.19/1281.71 c 149221 945 71411 12059171 168 142857 32881 13166 123 1211.94 1281.19/1281.71 c 151304 945 73494 13946118 189 147023 36170 15249 124 1216.38 1281.19/1281.71 c 154528 945 76718 16865977 219 153471 39788 18473 126 1222.65 1281.19/1281.71 c 159464 945 81654 21339633 261 163343 43767 23409 128 1236.97 1281.19/1281.71 c 166970 945 89160 28136435 315 178355 48144 30915 130 1280.24 1281.19/1281.71 o -36 1281.22 1799.90/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.90/1800.70 c 167163 945 89354 28312379 316 178779 20414 31109 130 1281.22 1799.90/1800.70 c 167263 945 68553 9452221 137 137142 22456 10308 129 1291.94 1799.90/1800.70 c 167513 945 68803 9678515 140 137642 24702 10558 129 1292.52 1799.90/1800.70 c 167988 945 69278 10108315 145 138592 27173 11033 129 1293.08 1799.90/1800.70 c 168802 945 70092 10844031 154 140220 29891 11847 130 1293.87 1799.90/1800.70 c 170122 945 71412 12039400 168 142860 32881 13167 131 1296.47 1799.90/1800.70 c 172203 945 73493 13922236 189 147022 36170 15248 132 1299.55 1799.90/1800.70 c 175426 945 76716 16839632 219 153468 39788 18471 134 1308.81 1799.90/1800.70 c 180363 945 81653 21307677 260 163342 43767 23408 136 1324.59 1799.90/1800.70 c 187869 945 89159 28100069 315 178354 48144 30914 137 1366.24 1799.90/1800.70 c 199230 945 100520 38376786 381 201076 52959 42275 142 1400.46 1799.90/1800.70 c 216374 945 75476 15711472 208 150988 58255 17231 143 1511.09 1799.90/1800.70 c 242193 945 101295 39068160 385 202626 64081 43050 144 1678.91 1799.90/1800.70 c Resources Exceeded 1799.90/1800.70 v -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1799.90/1800.70 v x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1799.90/1800.70 v -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1799.90/1800.70 v -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1799.90/1800.70 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1799.90/1800.70 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1799.90/1800.70 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1799.90/1800.70 v -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1799.90/1800.70 v x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1799.90/1800.70 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1799.90/1800.70 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1799.90/1800.70 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1799.90/1800.70 v -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1799.90/1800.70 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1799.90/1800.70 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1799.90/1800.70 v x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1799.90/1800.70 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1799.90/1800.70 v -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1799.90/1800.70 v -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1799.90/1800.70 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1799.90/1800.70 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 1799.90/1800.70 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1799.90/1800.70 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1799.90/1800.70 v x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1799.90/1800.70 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1799.90/1800.70 v x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1799.90/1800.70 v -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1799.90/1800.70 v -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1799.90/1800.70 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1799.90/1800.70 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1799.90/1800.70 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1799.90/1800.70 v -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1799.90/1800.70 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 1799.90/1800.70 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 1799.90/1800.70 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 1799.90/1800.70 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 1799.90/1800.70 v -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1799.90/1800.70 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1799.90/1800.70 v -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1799.90/1800.70 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 1799.90/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 1799.90/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 1799.90/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 1799.90/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 1799.90/1800.70 v -x1 1799.90/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.70 c 43 258537 29758 297968 117639 53862196 59394 143 1800.01 1799.90/1800.70 c Objective: -36 1799.90/1800.70 s SATISFIABLE 1799.90/1800.70 c Total time: 1800.01 s
OK -36
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-353540-1176668725 -o ROOT/results/node20/solver-353540-1176668725 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353540-1176668725/instance-353540-1176668725.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.09 1.22 1.15 3/77 30095 /proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=13096 CPUtime=0 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 114789886 13410304 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 3274 334 281 324 0 2003 0 [startup+0.013635 s] /proc/loadavg: 1.09 1.22 1.15 3/77 30095 /proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=5428 CPUtime=0.01 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 413 0 0 0 1 0 0 0 18 0 1 0 114789886 5558272 381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546132 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 1357 382 289 324 0 86 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5428 [startup+0.101652 s] /proc/loadavg: 1.09 1.22 1.15 3/77 30095 /proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=6800 CPUtime=0.09 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 841 0 0 0 9 0 0 0 18 0 1 0 114789886 6963200 809 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 1700 809 369 324 0 429 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6800 [startup+0.301691 s] /proc/loadavg: 1.09 1.22 1.15 3/77 30095 /proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=9412 CPUtime=0.29 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 1624 0 0 0 29 0 0 0 19 0 1 0 114789886 9637888 1592 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 2353 1592 521 324 0 1082 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9412 [startup+0.701772 s] /proc/loadavg: 1.09 1.22 1.15 3/77 30095 /proc/meminfo: memFree=1795536/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=14324 CPUtime=0.69 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 3340 0 0 0 68 1 0 0 23 0 1 0 114789886 14667776 2968 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 3581 2968 307 324 0 2650 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14324 [startup+1.50193 s] /proc/loadavg: 1.09 1.22 1.15 2/78 30096 /proc/meminfo: memFree=1784840/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=14324 CPUtime=1.49 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 3340 0 0 0 146 3 0 0 25 0 1 0 114789886 14667776 2968 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 3581 2968 307 324 0 2650 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14324 [startup+3.10125 s] /proc/loadavg: 1.08 1.21 1.15 2/78 30096 /proc/meminfo: memFree=1777352/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=38200 CPUtime=3.09 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 10160 0 0 0 302 7 0 0 25 0 1 0 114789886 39116800 8935 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 9550 8935 312 324 0 8619 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38200 [startup+6.30189 s] /proc/loadavg: 1.08 1.21 1.15 2/78 30096 /proc/meminfo: memFree=1729048/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=77604 CPUtime=6.29 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 20002 0 0 0 617 12 0 0 25 0 1 0 114789886 79466496 18777 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 19401 18777 312 324 0 18470 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77604 [startup+12.7012 s] /proc/loadavg: 1.07 1.21 1.15 2/78 30096 /proc/meminfo: memFree=1684960/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=116752 CPUtime=12.69 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 29804 0 0 0 1254 15 0 0 25 0 1 0 114789886 119554048 28579 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 29188 28579 312 324 0 28257 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 116752 [startup+25.5017 s] /proc/loadavg: 1.06 1.20 1.14 2/78 30096 /proc/meminfo: memFree=1616992/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=184064 CPUtime=25.48 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 46632 0 0 0 2525 23 0 0 25 0 1 0 114789886 188481536 45407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 46016 45407 312 324 0 45085 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 184064 [startup+51.1019 s] /proc/loadavg: 1.04 1.18 1.14 2/78 30096 /proc/meminfo: memFree=1543776/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=256312 CPUtime=51.06 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 64670 0 0 0 5072 34 0 0 25 0 1 0 114789886 262463488 63445 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 64078 63445 312 324 0 63147 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 256312 [startup+102.305 s] /proc/loadavg: 1.01 1.15 1.13 2/78 30096 /proc/meminfo: memFree=1420192/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=378496 CPUtime=102.24 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 95220 0 0 0 10173 51 0 0 25 0 1 0 114789886 387579904 93995 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 94624 93995 312 324 0 93693 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 378496 [startup+162.301 s] /proc/loadavg: 1.04 1.13 1.12 2/78 30096 /proc/meminfo: memFree=1305888/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=492796 CPUtime=162.22 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 123815 0 0 0 16157 65 0 0 25 0 1 0 114789886 504623104 122590 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134547597 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 123199 122590 312 324 0 122268 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 492796 [startup+222.301 s] /proc/loadavg: 1.01 1.11 1.11 2/78 30096 /proc/meminfo: memFree=1238112/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=560124 CPUtime=222.2 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 140626 0 0 0 22142 78 0 0 25 0 1 0 114789886 573566976 139401 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 140031 139401 312 324 0 139100 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 560124 [startup+282.301 s] /proc/loadavg: 1.00 1.08 1.10 2/78 30096 /proc/meminfo: memFree=1105248/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=694280 CPUtime=282.18 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 174177 0 0 0 28121 97 0 0 25 0 1 0 114789886 710942720 172952 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 173570 172952 312 324 0 172639 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 694280 [startup+342.301 s] /proc/loadavg: 1.00 1.07 1.09 2/78 30096 /proc/meminfo: memFree=1096736/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=700928 CPUtime=342.16 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 34117 99 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 175232 174603 312 324 0 174301 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 700928 [startup+402.301 s] /proc/loadavg: 1.00 1.05 1.08 2/78 30096 /proc/meminfo: memFree=1096736/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=700928 CPUtime=402.13 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 40112 101 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 175232 174603 312 324 0 174301 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 700928 [startup+462.301 s] /proc/loadavg: 1.00 1.04 1.08 2/78 30096 /proc/meminfo: memFree=1096800/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=700928 CPUtime=462.1 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 46107 103 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 175232 174603 312 324 0 174301 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 700928 [startup+522.301 s] /proc/loadavg: 1.00 1.03 1.07 2/78 30096 /proc/meminfo: memFree=1096800/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=700928 CPUtime=522.09 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 52104 105 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 175232 174603 312 324 0 174301 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 700928 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.07 2/78 30096 /proc/meminfo: memFree=1096800/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=700928 CPUtime=582.06 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 58100 106 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 175232 174603 312 324 0 174301 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 700928 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.06 2/78 30096 /proc/meminfo: memFree=1096800/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=700928 CPUtime=642.04 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 175886 0 0 0 64096 108 0 0 25 0 1 0 114789886 717750272 174603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 175232 174603 312 324 0 174301 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 700928 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.04 2/78 30098 /proc/meminfo: memFree=1028704/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=881.95 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 88070 125 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 768732 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.03 2/78 30098 /proc/meminfo: memFree=1028704/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=941.92 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 94065 127 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 768732 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.02 2/78 30098 /proc/meminfo: memFree=1028704/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=1001.91 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 100061 130 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 768732 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.02 2/78 30098 /proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=1061.88 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 106057 131 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 768732 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.01 2/78 30098 /proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=1121.86 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 112053 133 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 768732 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.01 2/78 30098 /proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=1181.83 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 118048 135 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 768732 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30098 /proc/meminfo: memFree=1028832/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=1241.82 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 124044 138 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 768732 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30098 /proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=1301.79 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 130039 140 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 768732 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30098 /proc/meminfo: memFree=1028768/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=1361.77 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 136034 143 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 768732 [startup+1422.31 s] /proc/loadavg: 1.18 1.04 1.01 2/78 30098 /proc/meminfo: memFree=1028704/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768732 CPUtime=1421.75 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 142028 147 0 0 25 0 1 0 114789886 787181568 191565 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192183 191565 312 324 0 191252 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 768732 [startup+1482.3 s] /proc/loadavg: 1.14 1.05 1.01 2/78 30098 /proc/meminfo: memFree=1028832/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768360 CPUtime=1481.72 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 148023 149 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192090 191484 312 324 0 191159 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 768360 [startup+1542.3 s] /proc/loadavg: 1.12 1.05 1.01 2/78 30098 /proc/meminfo: memFree=1028896/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768360 CPUtime=1541.7 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 154018 152 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192090 191484 312 324 0 191159 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 768360 [startup+1602.3 s] /proc/loadavg: 1.10 1.06 1.01 2/78 30098 /proc/meminfo: memFree=1028960/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768360 CPUtime=1601.68 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 160014 154 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192090 191484 312 324 0 191159 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 768360 [startup+1662.3 s] /proc/loadavg: 1.09 1.06 1.01 2/78 30098 /proc/meminfo: memFree=1028960/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768360 CPUtime=1661.65 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 166010 155 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192090 191484 312 324 0 191159 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 768360 [startup+1722.3 s] /proc/loadavg: 1.24 1.11 1.03 2/78 30098 /proc/meminfo: memFree=1029024/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768360 CPUtime=1721.64 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 172006 158 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192090 191484 312 324 0 191159 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 768360 [startup+1782.3 s] /proc/loadavg: 1.14 1.10 1.03 2/78 30098 /proc/meminfo: memFree=1029024/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=768360 CPUtime=1781.61 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194304 192912 0 0 0 178002 159 0 0 25 0 1 0 114789886 786800640 191484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 192090 191484 312 324 0 191159 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 768360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.10 1.10 1.02 2/78 30098 /proc/meminfo: memFree=1049504/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=0 CPUtime=1800.01 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194308 192913 0 0 0 179841 160 0 0 25 0 1 0 114789886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 0 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.10 1.10 1.02 2/78 30098 /proc/meminfo: memFree=1049504/2055920 swapFree=4156516/4192956 [pid=30095] ppid=30093 vsize=0 CPUtime=1800.11 /proc/30095/stat : 30095 (bsolo3.0.16) R 30093 30095 10675 0 -1 4194308 192913 0 0 0 179841 170 0 0 25 0 1 0 114789886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30095/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.13 CPU user time (s): 1798.41 CPU system time (s): 1.71774 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 768988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.41 system time used= 1.71774 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 192913 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= 4426 runsolver used 2.19067 second user time and 4.24136 second system time The end
Begin job on node20 on Sun Apr 15 20:25:25 UTC 2007 IDJOB= 353540 IDBENCH= 2250 IDSOLVER= 163 FILE ID= node20/353540-1176668725 PBS_JOBID= 4559929 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/353540-1176668725/instance-353540-1176668725.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-353540-1176668725 -o ROOT/results/node20/solver-353540-1176668725 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353540-1176668725/instance-353540-1176668725.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3 RANDOM SEED= 158404319 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1795944 kB Buffers: 55204 kB Cached: 137492 kB SwapCached: 17968 kB Active: 121060 kB Inactive: 101092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795944 kB SwapTotal: 4192956 kB SwapFree: 4156516 kB Dirty: 5860 kB Writeback: 0 kB Mapped: 32624 kB Slab: 23416 kB Committed_AS: 1338176 kB PageTables: 1700 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 node20 on Sun Apr 15 20:55:28 UTC 2007