Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -11 | 1797.9 | 1798.41 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb |
MD5SUM | 3258ae2375db1ca5a9ce9d305f00baf0 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1275.94 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1228 |
Sum of products size (including duplicates) | 2456 |
Number of different products | 614 |
Sum of products size | 1228 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671122-1276719620.opb 0.00/0.00 c File size is 50240 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 714 Constr: 1380 664/102/614 Lit: 5212 Watch. Lit: 4500 0.00/0.01 c Obj. Vars: 50 (7.0028 % of total variables) 0.09/0.13 c Pre-processing Time: 0.134 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 714 1380 5212 3 4500 10651 0 0 0.13 0.09/0.13 c Switching off lower bounding mode. 0.09/0.13 o -1 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 714 1381 5262 3 4503 10685 1 0 0.14 0.09/0.13 o -2 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 2 714 1384 5429 3 4511 10701 4 14 0.14 0.09/0.15 c 102 714 1484 12034 8 4711 11772 104 684 0.15 0.09/0.15 o -3 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 130 714 1513 13535 8 4772 10718 133 855 0.15 0.09/0.16 c 230 714 1613 20398 12 4972 11790 233 1393 0.17 0.09/0.16 o -4 1.90/1.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.90/1.95 c 230 714 1614 20448 12 4978 10735 234 1393 0.17 1.90/1.95 c 330 714 1714 28468 16 5178 11809 334 1853 0.18 1.90/1.95 c 580 714 1964 49479 25 5678 12990 584 2815 0.21 1.90/1.95 c 1055 714 2439 88789 36 6628 14290 1059 3951 0.27 1.90/1.95 c 1868 714 3252 155398 47 8254 15720 1872 4877 0.38 1.90/1.95 c 3188 714 4572 258125 56 10894 17293 3192 5269 0.60 1.90/1.95 c 5269 714 6653 426704 64 15056 19023 5273 5090 1.03 1.90/1.95 c 8493 714 9877 693587 70 21504 20926 8497 4444 1.91 1.90/1.95 o -9 1.99/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.04 c 8560 714 9945 695087 69 21649 10818 8565 4391 1.95 1.99/2.04 c 8660 714 10045 701110 69 21849 11900 8665 4360 1.99 1.99/2.04 o -10 603.16/603.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 603.16/603.39 c 8883 714 10269 715184 69 22307 10835 8889 4339 2.05 603.16/603.39 c 8983 714 10369 721200 69 22507 11919 8989 4331 2.07 603.16/603.39 c 9233 714 10619 736624 69 23007 13111 9239 4328 2.13 603.16/603.39 c 9708 714 11094 770304 69 23957 14423 9714 4261 2.28 603.16/603.39 c 10521 714 11907 829594 69 25583 15866 10527 4161 2.53 603.16/603.39 c 11841 714 13227 921875 69 28223 17453 11847 4042 2.93 603.16/603.39 c 13922 714 15308 1077139 70 32385 19199 13928 3747 3.71 603.16/603.39 c 17145 714 18531 1304942 70 38831 21119 17151 3119 5.50 603.16/603.39 c 22081 714 12253 746884 60 26256 23231 10873 2383 9.26 603.16/603.39 c 29588 714 19760 1274216 64 41270 25555 18380 2337 12.66 603.16/603.39 c 40949 714 15835 980322 61 33420 28111 14455 1841 22.24 603.16/603.39 c 58093 714 15185 984067 64 32120 30923 13805 1661 34.95 603.16/603.39 c 83912 714 20552 1275213 62 42854 34016 19172 1504 55.77 603.16/603.39 c 122744 714 12607 692866 54 26964 37418 11227 1415 86.72 603.16/603.39 c 181096 714 17466 990189 56 36682 41160 16086 1325 136.63 603.16/603.39 c 268728 714 13902 868847 62 29554 45277 12522 1158 231.90 603.16/603.39 c 400281 714 41963 2776470 66 85676 49805 40583 1086 368.43 603.16/603.39 c 597713 714 45226 2892387 63 92202 54786 43846 1041 573.73 603.16/603.39 o -11 1797.90/1798.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.39 c 611355 714 15042 889922 59 31845 10851 13662 1013 603.26 1797.90/1798.39 c 611455 714 6907 363484 52 15565 11937 5527 1013 603.55 1797.90/1798.39 c 611705 714 7157 377712 52 16065 13131 5777 1013 603.62 1797.90/1798.39 c 612181 714 7633 404077 52 17017 14445 6253 1013 603.75 1797.90/1798.39 c 612994 714 8446 453141 53 18643 15890 7066 1014 603.96 1797.90/1798.39 c 614314 714 9766 543122 55 21283 17480 8386 1016 604.27 1797.90/1798.39 c 616395 714 11847 679360 57 25445 19229 10467 1018 605.05 1797.90/1798.39 c 619618 714 15070 883139 58 31891 21152 13690 1021 606.59 1797.90/1798.39 c 624554 714 20006 1204118 60 41763 23268 18626 1023 609.95 1797.90/1798.39 c 632060 714 14468 883731 61 30687 25595 13088 1024 617.02 1797.90/1798.39 c 643421 714 25829 1663366 64 53409 28155 24449 1031 623.72 1797.90/1798.39 c 660566 714 25253 1753336 69 52257 30971 23873 1035 637.68 1797.90/1798.39 c 686385 714 30555 1815098 59 62861 34069 29175 1039 660.42 1797.90/1798.39 c 725217 714 22369 1568896 70 46489 37476 20989 1034 701.05 1797.90/1798.39 c 783569 714 27092 1883729 69 55935 41224 25712 1034 757.64 1797.90/1798.39 c 871201 714 23210 1453960 62 48171 45347 21830 1001 869.95 1797.90/1798.39 c 1002753 714 16753 1136456 67 35257 49882 15373 974 1029.28 1797.90/1798.39 c 1200185 714 19473 1234449 63 40697 54871 18093 929 1290.53 1797.90/1798.39 c 1496437 714 52824 3499369 66 107399 60359 51444 891 1678.46 1797.90/1798.39 c Resources Exceeded 1797.90/1798.39 v -x1 x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 x86 -x87 x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 1797.90/1798.39 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.39 c 52 1577943 1608 1583522 35820 2475028 34440 877 1798.01 1797.90/1798.39 c Objective: -11 1797.90/1798.39 s SATISFIABLE 1797.90/1798.39 c Total time: 1798.01 s
OK -11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671122-1276719620/watcher-2671122-1276719620 -o /tmp/evaluation-result-2671122-1276719620/solver-2671122-1276719620 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671122-1276719620.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18860 /proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=10848 CPUtime=0 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 13257385 11108352 253 1992294400 134512640 137138936 4290193072 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 2712 253 175 642 0 2055 0 [startup+0.0313171 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18860 /proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=11060 CPUtime=0.02 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 413 0 0 0 2 0 0 0 20 0 1 0 13257385 11325440 318 1992294400 134512640 137138936 4290193072 18446744073709551615 136500398 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 2765 318 184 642 0 2121 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11060 [startup+0.101321 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18860 /proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=11060 CPUtime=0.09 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 413 0 0 0 9 0 0 0 20 0 1 0 13257385 11325440 318 1992294400 134512640 137138936 4290193072 18446744073709551615 136504438 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 2765 318 184 642 0 2121 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11060 [startup+0.301332 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18860 /proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=12572 CPUtime=0.29 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 786 0 0 0 29 0 0 0 20 0 1 0 13257385 12873728 691 1992294400 134512640 137138936 4290193072 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 3143 691 191 642 0 2499 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12572 [startup+0.701357 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18860 /proc/meminfo: memFree=1850028/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=15320 CPUtime=0.69 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 1471 0 0 0 68 1 0 0 21 0 1 0 13257385 15687680 1376 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 3830 1376 191 642 0 3186 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15320 [startup+1.50141 s] /proc/loadavg: 0.92 0.98 0.99 2/107 18861 /proc/meminfo: memFree=1843572/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=19072 CPUtime=1.49 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 2430 0 0 0 147 2 0 0 23 0 1 0 13257385 19529728 2335 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 4768 2335 191 642 0 4124 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19072 [startup+3.10151 s] /proc/loadavg: 0.92 0.98 0.99 2/107 18861 /proc/meminfo: memFree=1839108/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=24472 CPUtime=3.09 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 3761 0 0 0 305 4 0 0 25 0 1 0 13257385 25059328 3666 1992294400 134512640 137138936 4290193072 18446744073709551615 135984577 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 6118 3667 191 642 0 5474 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24472 [startup+6.3007 s] /proc/loadavg: 0.93 0.98 0.99 2/107 18861 /proc/meminfo: memFree=1830676/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=30616 CPUtime=6.29 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 5324 0 0 0 623 6 0 0 25 0 1 0 13257385 31350784 5229 1992294400 134512640 137138936 4290193072 18446744073709551615 134599815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 7654 5229 191 642 0 7010 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30616 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 18861 /proc/meminfo: memFree=1826212/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=33944 CPUtime=12.69 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 6146 0 0 0 1260 9 0 0 25 0 1 0 13257385 34758656 6051 1992294400 134512640 137138936 4290193072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 8486 6051 191 642 0 7842 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33944 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 0.99 2/107 18861 /proc/meminfo: memFree=1823112/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=37116 CPUtime=25.49 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 6944 0 0 0 2534 15 0 0 25 0 1 0 13257385 38006784 6849 1992294400 134512640 137138936 4290193072 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 9279 6849 191 642 0 8635 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37116 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/107 18863 /proc/meminfo: memFree=1818152/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=41952 CPUtime=51.07 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 8158 0 0 0 5086 21 0 0 25 0 1 0 13257385 42958848 8063 1992294400 134512640 137138936 4290193072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 10488 8063 191 642 0 9844 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41952 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 18863 /proc/meminfo: memFree=1815052/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=44940 CPUtime=102.27 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 8937 0 0 0 10191 36 0 0 25 0 1 0 13257385 46018560 8808 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 11235 8808 191 642 0 10591 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 44940 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18865 /proc/meminfo: memFree=1810464/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=49440 CPUtime=162.25 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 10125 0 0 0 16174 51 0 0 25 0 1 0 13257385 50626560 9917 1992294400 134512640 137138936 4290193072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 12360 9917 191 642 0 11716 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49440 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18867 /proc/meminfo: memFree=1807860/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=52136 CPUtime=222.24 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 10786 0 0 0 22159 65 0 0 25 0 1 0 13257385 53387264 10578 1992294400 134512640 137138936 4290193072 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 13034 10578 191 642 0 12390 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 52136 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18869 /proc/meminfo: memFree=1805008/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=54744 CPUtime=282.23 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 11510 0 0 0 28143 80 0 0 25 0 1 0 13257385 56057856 11257 1992294400 134512640 137138936 4290193072 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 13686 11257 191 642 0 13042 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 54744 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18871 /proc/meminfo: memFree=1804760/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=55188 CPUtime=342.21 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 11594 0 0 0 34127 94 0 0 25 0 1 0 13257385 56512512 11341 1992294400 134512640 137138936 4290193072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 13797 11341 191 642 0 13153 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 55188 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18871 /proc/meminfo: memFree=1799552/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=60228 CPUtime=402.2 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 12906 0 0 0 40112 108 0 0 25 0 1 0 13257385 61673472 12603 1992294400 134512640 137138936 4290193072 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 15057 12603 191 642 0 14413 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 60228 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18873 /proc/meminfo: memFree=1799428/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=60424 CPUtime=462.19 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 12953 0 0 0 46096 123 0 0 25 0 1 0 13257385 61874176 12650 1992294400 134512640 137138936 4290193072 18446744073709551615 134540742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 15106 12650 191 642 0 14462 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 60424 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18875 /proc/meminfo: memFree=1799304/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=60144 CPUtime=522.17 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 12953 0 0 0 52080 137 0 0 25 0 1 0 13257385 61587456 12612 1992294400 134512640 137138936 4290193072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 15036 12612 191 642 0 14392 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 60144 [startup+582.301 s] /proc/loadavg: 1.04 1.00 1.00 2/107 18877 /proc/meminfo: memFree=1799304/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=60144 CPUtime=582.16 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 12953 0 0 0 58065 151 0 0 25 0 1 0 13257385 61587456 12612 1992294400 134512640 137138936 4290193072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 15036 12612 191 642 0 14392 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 60144 [startup+642.301 s] /proc/loadavg: 1.06 1.01 1.00 2/107 18879 /proc/meminfo: memFree=1795708/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=63728 CPUtime=642.15 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 13889 0 0 0 64050 165 0 0 25 0 1 0 13257385 65257472 13493 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 15932 13493 191 642 0 15288 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 63728 [startup+702.301 s] ################ # More data... # ################ [pid=18860] ppid=18858 vsize=68328 CPUtime=1421.98 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 141878 320 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 134573345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 17082 14626 191 642 0 16438 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 68328 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18904 /proc/meminfo: memFree=1790748/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=68328 CPUtime=1481.97 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 147866 331 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 17082 14626 191 642 0 16438 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 68328 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18906 /proc/meminfo: memFree=1790748/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=68328 CPUtime=1541.95 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 153852 343 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 17082 14626 191 642 0 16438 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 68328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18906 /proc/meminfo: memFree=1790624/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=68328 CPUtime=1601.94 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 159837 357 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 17082 14626 191 642 0 16438 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 68328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 18908 /proc/meminfo: memFree=1790624/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=68328 CPUtime=1661.93 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15022 0 0 0 165823 370 0 0 25 0 1 0 13257385 69967872 14626 1992294400 134512640 137138936 4290193072 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 17082 14626 191 642 0 16438 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 68328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18910 /proc/meminfo: memFree=1788516/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=70200 CPUtime=1721.92 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 15568 0 0 0 171814 378 0 0 25 0 1 0 13257385 71884800 15112 1992294400 134512640 137138936 4290193072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 17550 15112 191 642 0 16906 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 70200 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=72432 CPUtime=1781.9 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 177800 390 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 18108 15651 191 642 0 17464 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 72432 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1797.9 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1797.9 s) to the 'lost time'. [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=72432 CPUtime=1797.9 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179396 394 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 18108 15651 191 642 0 17464 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 72432 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1805008/2059040 swapFree=4139272/4192956 [pid=18860] ppid=-1 vsize=0 CPUtime=0 /proc/18860/stat : -- couldn't open stat file --/proc/18860/statm: }HCurrent children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=72432 CPUtime=1791.51 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 178759 392 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 18108 15651 191 642 0 17464 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (KiB) 72432 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=72432 CPUtime=1794.7 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179077 393 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 18108 15651 191 642 0 17464 0 Current children cumulated CPU time (s) 1794.7 Current children cumulated vsize (KiB) 72432 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=72432 CPUtime=1796.3 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179237 393 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 18108 15651 191 642 0 17464 0 Current children cumulated CPU time (s) 1796.3 Current children cumulated vsize (KiB) 72432 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=72432 CPUtime=1797.1 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179316 394 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 18108 15651 191 642 0 17464 0 Current children cumulated CPU time (s) 1797.1 Current children cumulated vsize (KiB) 72432 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=72432 CPUtime=1797.5 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179356 394 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 18108 15651 191 642 0 17464 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (KiB) 72432 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1786408/2059040 swapFree=4139272/4192956 [pid=18860] ppid=18858 vsize=72432 CPUtime=1797.9 /proc/18860/stat : 18860 (bsolo_pb10) R 18858 18860 18544 0 -1 4202496 16107 0 0 0 179396 394 0 0 25 0 1 0 13257385 74170368 15651 1992294400 134512640 137138936 4290193072 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18860/statm: 18108 15651 191 642 0 17464 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 72432 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18912 /proc/meminfo: memFree=1805008/2059040 swapFree=4139272/4192956 [pid=18860] ppid=-1 vsize=0 CPUtime=0 /proc/18860/stat : -- couldn't open stat file --/proc/18860/statm: }HCurrent children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18860 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=63260 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=950399 # CPU time returned by wait4() is 1798.01 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1797.9 # lost CPU user time (s): 1793.96 # lost CPU system time (s): 3.94 Real time (s): 1798.41 CPU time (s): 1797.9 CPU user time (s): 1793.96 CPU system time (s): 3.94 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 72432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.06 system time used= 3.9504 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16108 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= 1 involuntary context switches= 6384 runsolver used 2.90656 second user time and 8.5527 second system time The end
Begin job on node029 at 2010-06-16 22:20:20 IDJOB=2671122 IDBENCH=48277 IDSOLVER=1163 FILE ID=node029/2671122-1276719620 PBS_JOBID= 11174182 Free space on /tmp= 62576 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671122-1276719620/watcher-2671122-1276719620 -o /tmp/evaluation-result-2671122-1276719620/solver-2671122-1276719620 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671122-1276719620.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0 RANDOM SEED=950311507 node029.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 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 physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1850680 kB Buffers: 28664 kB Cached: 99652 kB SwapCached: 7080 kB Active: 85640 kB Inactive: 56708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1850680 kB SwapTotal: 4192956 kB SwapFree: 4139272 kB Dirty: 4004 kB Writeback: 0 kB AnonPages: 11720 kB Mapped: 12880 kB Slab: 44184 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183308 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671122-1276719620.opb Free space on /tmp at the end= 62572 MiB End job on node029 at 2010-06-16 22:50:18