Trace number 455586

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (MO)-18 953.405 953.793

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_4.opb
MD5SUMd34b8195c337caa741dffbe26b4db95e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74916
Sum of products size (including duplicates)149832
Number of different products37458
Sum of products size74916

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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/455586-1178046087/instance-455586-1178046087.opb
0.00/0.00	c File size is 986475 bytes.
0.69/0.71	c Highest Coefficient sum: 1000
0.69/0.71	c Parsing was ok!!
0.69/0.71	c Total parsing time: 0.712 s
0.79/0.84	c Var: 75916 Constr: 151334 75416/1002/74916 Lit: 527412 Watch. Lit: 451498
0.79/0.84	c Obj. Vars: 500 (0.658623 % of total variables)
179.78/179.99	c Pre-processing Time: 179.877 s
179.88/180.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.88/180.00	c        0  75916   151334   527412    3   451498  500000      0      0 179.88
179.88/180.00	c Switching off LPR mode.
179.88/180.08	o -1	179.966
180.08/180.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.08/180.21	c        0  75916   151335   527912    3   451501  500000      1      0 180.00
180.08/180.21	o -2	180.101
180.18/180.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.18/180.35	c        0  75916   151336   528412    3   451505  500000      2      0 180.14
180.18/180.35	o -3	180.239
180.28/180.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.28/180.49	c        0  75916   151337   528912    3   451510  500000      3      0 180.28
180.28/180.49	o -4	180.379
180.47/180.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.47/180.63	c        0  75916   151338   529412    3   451516  500000      4      0 180.42
180.47/180.63	o -5	180.522
180.57/180.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.57/180.78	c        0  75916   151339   529912    3   451523  500000      5      0 180.56
180.57/180.78	o -6	180.666
180.77/180.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.77/180.92	c        0  75916   151340   530412    3   451531  500000      6      0 180.71
180.77/180.92	o -7	180.812
180.87/181.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.87/181.07	c        0  75916   151341   530912    3   451540  500000      7      0 180.85
180.87/181.07	o -8	180.959
181.07/181.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.07/181.22	c        0  75916   151342   531412    3   451550  500000      8      0 181.00
181.07/181.22	o -9	181.106
181.17/181.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.17/181.37	c        0  75916   151343   531912    3   451561  500000      9      0 181.15
181.17/181.37	o -10	181.254
181.38/181.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.38/181.51	c        0  75916   151344   532412    3   451573  500000     10      0 181.29
181.38/181.51	o -11	181.402
181.47/181.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.47/181.66	c        0  75916   151345   532912    3   451586  500000     11      0 181.44
181.47/181.66	o -12	181.552
181.67/181.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.67/181.81	c        0  75916   151346   533412    3   451600  500000     12      0 181.59
181.67/181.81	o -13	181.702
181.77/181.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.77/181.96	c        0  75916   151347   533912    3   451615  500000     13      0 181.74
181.77/181.96	o -14	181.852
181.97/182.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.97/182.12	c        0  75916   151348   534412    3   451631  500000     14      0 181.90
181.97/182.12	o -15	182.003
182.07/182.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.07/182.27	c        0  75916   151349   534912    3   451648  500000     15      0 182.05
182.07/182.27	o -16	182.155
182.27/182.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.27/182.42	c        0  75916   151350   535412    3   451666  500000     16      0 182.20
182.27/182.42	o -17	182.306
182.67/182.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.67/182.85	c        0  75916   151351   535912    3   451685  500000     17      0 182.35
182.67/182.85	o -18	182.739
953.11/953.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
953.11/953.50	c        2  75916   151354   536418    3   451709  500000     20      0 182.78
953.11/953.50	c      102  75916   151454   590905    3   451909  550001    120      0 183.35
953.11/953.50	c      352  75916   151704   723160    4   452409  605002    370      1 184.55
953.11/953.50	c      827  75916   152179  1070617    7   453359  665503    845      4 188.62
953.11/953.50	c     1640  75916   152992  1721816   11   454985  732054   1658      8 191.76
953.11/953.50	c     2960  75916   154312  2408592   15   457625  805260   2978     15 196.14
953.11/953.50	c     5041  75916   156393  3458486   22   461787  885787   5059     25 200.91
953.11/953.50	c     8264  75916   159616  5182233   32   468233  974366   8282     38 213.43
953.11/953.50	c    13200  75916   164552  7800521   47   478105  500000  13218     56 233.14
953.11/953.50	c    20706  75916   172058 11582862   67   493117  550001  20724     85 241.73
953.11/953.50	c    32067  75916   183419 17371632   94   515839  605002  32085    122 262.36
953.11/953.50	c    49211  75916   200563 26381823  131   550127  665503  49229    156 313.96
953.11/953.50	c    75030  75916   226382 39937150  176   601765  732054  75048    192 388.76
953.11/953.50	c   113862  75916   265214 60137817  226   679429  805260 113880    227 501.20
953.11/953.50	c   172214  75916   323566 89740144  277   796133  885787 172232    263 653.00
953.11/953.50	c   259846  75916   411198 134864624  327   971397  974366 259864    282 921.41
953.11/953.50	c Caught signal: 15
953.11/953.50	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
953.11/953.50	v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57
953.11/953.50	v -x58 -x59 -x60 -x61 -x62 x63 -x64 x65 x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84
953.11/953.50	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
953.11/953.50	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
953.11/953.50	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
953.11/953.50	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
953.11/953.50	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
953.11/953.50	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
953.11/953.50	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
953.11/953.50	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
953.11/953.50	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
953.11/953.50	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
953.11/953.50	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
953.11/953.50	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
953.11/953.50	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
953.11/953.50	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
953.11/953.50	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
953.11/953.50	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
953.11/953.50	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
953.11/953.50	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
953.11/953.50	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
953.11/953.50	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x802 -x584 -x775 -x827 -x864 -x538 -x526
953.11/953.50	v -x529 -x886 -x545 -x955 -x715 -x965 -x904 -x915 -x903 -x942 -x902 -x650 -x718 -x605 -x969 -x780 -x574 -x719 -x823 -x883 -x721
953.11/953.50	v -x821 -x631 -x874 -x905 -x757 -x700 -x620 -x795 -x725 -x984 -x962 -x880 -x777 -x676 -x845 -x532 -x943 -x599 -x973 -x844 -x748
953.11/953.50	v -x690 -x948 -x568 -x822 -x873 -x787 -x996 -x755 -x507 -x817 -x738 -x502 -x509 -x518 -x539 -x553 -x558 -x588 -x596 -x603 -x615
953.11/953.50	v -x625 -x626 -x638 -x641 -x642 -x651 -x660 -x678 -x699 -x708 -x720 -x759 -x773 -x779 -x803 -x816 -x848 -x852 -x916 -x926 -x501
953.11/953.50	v x732 -x573 x994 -x932 -x692 x640 -x508 -x527 -x970 x907 -x591 -x997 -x974 -x939 x701 x947 -x634 x800 x988 -x933 -x868 x661
953.11/953.50	v -x806 -x506 -x657 -x912 -x825 -x595 -x749 -x847 -x878 -x940 x986 -x967 -x707 -x742 -x703 -x879 -x513 -x627 -x853 -x897 -x865
953.11/953.50	v -x717 -x521 -x980 -x765 -x697 -x981 -x712 -x503 -x515 -x535 -x547 -x551 -x560 -x563 -x576 -x589 -x590 -x597 -x600 -x612 -x618
953.11/953.50	v -x652 -x653 -x665 -x666 -x682 -x685 -x695 -x714 -x727 -x731 -x752 -x756 -x776 -x831 x854 -x876 -x982 -x998 -x945 -x885 -x664
953.11/953.50	v -x826 -x963 -x884 -x927 -x556 -x771 -x983 -x635 -x910 -x987 -x557 -x537 -x810 -x724 -x869 -x921 -x849 -x578 -x601 -x655 -x505
953.11/953.50	v -x639 -x577 -x860 -x519 -x770 -x679 -x587 -x979 -x896 -x730 -x674 -x663 -x520 -x543 -x559 -x562 -x572 -x609 -x616 -x643 -x659
953.11/953.50	v -x698 -x710 -x750 -x753 -x772 -x811 -x832 -x863 -x891 -x900 -x929 -x975 -x977 -x866 -x741 -x819 -x614 -x758 x530 -x794 -x711
953.11/953.50	v x922 -x813 -x843 x985 -x781 -x815 -x528 -x768 -x702 -x769 -x956 -x566 -x555 -x976 -x696 -x888 -x871 -x890 -x855 -x670 -x959
953.11/953.50	v x669 -x549 -x579 -x681 -x602 -x511 -x514 -x517 -x565 -x575 -x580 -x593 -x611 -x637 -x716 -x734 -x788 -x809 -x835 -x934 -x953
953.11/953.50	v -x966 -x504 -x739 -x841 -x668 -x928 -x585 -x531 -x622 -x892 -x949 x989 -x525 -x899 -x693 -x887 -x632 -x991 -x542 -x606 -x836
953.11/953.50	v -x554 -x824 -x540 -x510 -x552 -x567 -x569 -x594 -x617 -x628 -x723 -x729 -x754 -x760 -x762 -x764 -x790 -x814 -x820 -x828 -x870
953.11/953.50	v -x906 -x917 -x952 -x833 -x604 -x968 -x704 -x957 -x851 -x840 -x792 -x747 -x786 -x850 -x534 -x581 -x630 -x592 -x548 -x935 -x544
953.11/953.50	v -x918 -x766 -x706 -x713 -x746 -x785 -x791 -x898 -x972 -x978 -x889 -x856 -x610 -x837 -x877 -x924 -x673 -x858 -x516 -x675 -x561
953.11/953.50	v -x550 -x523 -x672 -x512 -x536 -x570 -x629 -x636 -x646 -x647 -x654 -x656 -x658 -x662 -x671 -x684 -x733 -x761 -x763 -x784 -x834
953.11/953.50	v -x881 -x909 -x751 -x958 -x872 -x805 -x621 -x782 -x624 -x911 -x960 -x954 -x796 -x936 -x882 -x533 -x667 -x680 -x689 -x743 -x783
953.11/953.50	v -x857 -x930 -x1000 -x522 -x677 -x607 -x582 -x709 -x687 -x644 -x862 -x838 -x546 -x645 -x649 -x740 -x774 x999 -x686 -x789 -x722
953.11/953.50	v -x951 -x895 -x925 -x541 -x524 -x598 -x613 -x623 -x797 -x801 -x807 -x919 -x964 -x648 -x908 -x861 -x920 -x941 -x728 -x931 -x736
953.11/953.50	v -x691 -x726 -x990 -x745 -x995 -x808 -x839 -x944 -x688 -x705 -x961 -x846 -x938 -x799 -x793 -x586 -x804 -x992 -x619 -x859 -x767
953.11/953.50	v -x798 -x564 -x914 -x683 -x950 -x744 -x913 -x583 -x901 -x893 x993 -x633 -x735 -x694 -x875 -x737 -x946 -x937 -x608 -x812 -x829
953.11/953.50	v -x842 -x571 -x923 -x830 -x818 -x894 -x971 -x778 -x867
953.11/953.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
953.11/953.51	c   33   269502    469  1459008   420854 139698762 269520    282 953.12
953.11/953.51	c Objective: -18
953.11/953.51	s SATISFIABLE
953.11/953.51	c Total time: 953.121 s

Verifier Data (download as text)

OK	-18

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node20/watcher-455586-1178046087 -o ROOT/results/node20/solver-455586-1178046087 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455586-1178046087/instance-455586-1178046087.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.91 0.97 0.99 3/83 19322
/proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=12700 CPUtime=0
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 252526069 13004800 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 3175 334 279 324 0 2004 0

[startup+0.042236 s]
/proc/loadavg: 0.91 0.97 0.99 3/83 19322
/proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=6264 CPUtime=0.03
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 710 0 0 0 3 0 0 0 18 0 1 0 252526069 6414336 680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 1566 680 302 324 0 395 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6264

[startup+0.101235 s]
/proc/loadavg: 0.91 0.97 0.99 3/83 19322
/proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=8348 CPUtime=0.09
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 1256 0 0 0 9 0 0 0 18 0 1 0 252526069 8548352 1226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 2087 1226 323 324 0 916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8348

[startup+0.301275 s]
/proc/loadavg: 0.91 0.97 0.99 3/83 19322
/proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=14800 CPUtime=0.29
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 2982 0 0 0 28 1 0 0 19 0 1 0 252526069 15155200 2912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 3700 2912 389 324 0 2529 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14800

[startup+0.701355 s]
/proc/loadavg: 0.91 0.97 0.99 3/83 19322
/proc/meminfo: memFree=1723288/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=27400 CPUtime=0.69
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 6406 0 0 0 67 2 0 0 23 0 1 0 252526069 28057600 6208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 6850 6209 522 324 0 5679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27400

[startup+1.50152 s]
/proc/loadavg: 0.91 0.97 0.99 2/84 19323
/proc/meminfo: memFree=1683600/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=44976 CPUtime=1.49
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10790 0 0 0 144 5 0 0 25 0 1 0 252526069 46055424 10351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 11244 10351 305 324 0 10314 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44976

[startup+3.10184 s]
/proc/loadavg: 0.91 0.97 0.99 2/84 19341
/proc/meminfo: memFree=1682704/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=44976 CPUtime=3.08
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10790 0 0 0 303 5 0 0 25 0 1 0 252526069 46055424 10351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7736436 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 11244 10351 305 324 0 10314 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44976

[startup+6.30148 s]
/proc/loadavg: 0.92 0.97 0.99 2/84 19349
/proc/meminfo: memFree=1682640/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=44976 CPUtime=6.28
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10795 0 0 0 623 5 0 0 25 0 1 0 252526069 46055424 10356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 11244 10356 305 324 0 10314 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44976

[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.99 2/84 19353
/proc/meminfo: memFree=1682640/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=44976 CPUtime=12.66
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10803 0 0 0 1261 5 0 0 25 0 1 0 252526069 46055424 10364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 11244 10364 305 324 0 10314 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 44976

[startup+25.5013 s]
/proc/loadavg: 0.94 0.97 0.99 2/84 19361
/proc/meminfo: memFree=1682704/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=44976 CPUtime=25.45
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10807 0 0 0 2540 5 0 0 25 0 1 0 252526069 46055424 10368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 11244 10368 305 324 0 10314 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 44976

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 19383
/proc/meminfo: memFree=1683840/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=45108 CPUtime=51.03
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10811 0 0 0 5097 6 0 0 25 0 1 0 252526069 46190592 10372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052823 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 11277 10372 305 324 0 10347 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 45108

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 19383
/proc/meminfo: memFree=1683904/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=45108 CPUtime=102.21
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10811 0 0 0 10215 6 0 0 25 0 1 0 252526069 46190592 10372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 11277 10372 305 324 0 10347 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 45108

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=1683904/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=45108 CPUtime=162.18
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 10814 0 0 0 16211 7 0 0 25 0 1 0 252526069 46190592 10375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048709 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 11277 10375 305 324 0 10347 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 45108

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=1608320/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=120044 CPUtime=222.16
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 29849 0 0 0 22199 17 0 0 25 0 1 0 252526069 122925056 29261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 30011 29261 311 324 0 29081 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 120044

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=1419328/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=311648 CPUtime=282.14
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 77746 0 0 0 28175 39 0 0 25 0 1 0 252526069 319127552 77158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 77912 77158 311 324 0 76982 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 311648

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=1289920/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=438096 CPUtime=342.12
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 109353 0 0 0 34156 56 0 0 25 0 1 0 252526069 448610304 108765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 109524 108765 311 324 0 108594 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 438096

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=1147904/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=582264 CPUtime=402.1
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 145405 0 0 0 40133 77 0 0 25 0 1 0 252526069 596238336 144817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052264 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 145566 144817 311 324 0 144636 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 582264

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=1016128/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=712272 CPUtime=462.07
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 177897 0 0 0 46113 94 0 0 25 0 1 0 252526069 729366528 177309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052220 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 178068 177309 311 324 0 177138 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 712272

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=836544/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=894176 CPUtime=522.06
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 223379 0 0 0 52082 124 0 0 25 0 1 0 252526069 915636224 222791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 223544 222791 311 324 0 222614 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 894176

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=649536/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=1078352 CPUtime=582.04
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 269432 0 0 0 58052 152 0 0 25 0 1 0 252526069 1104232448 268844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 269588 268844 311 324 0 268658 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 1078352

[startup+642.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=546624/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=1179716 CPUtime=642.02
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 294775 0 0 0 64032 170 0 0 25 0 1 0 252526069 1208029184 294187 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 294929 294189 311 324 0 293999 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 1179716

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=440512/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=1287044 CPUtime=702
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 321596 0 0 0 70011 189 0 0 25 0 1 0 252526069 1317933056 321008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 321761 321008 311 324 0 320831 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 1287044

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=324992/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=1401128 CPUtime=761.97
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 350134 0 0 0 75989 208 0 0 25 0 1 0 252526069 1434755072 349546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 350282 349546 311 324 0 349352 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 1401128

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=178944/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=1549008 CPUtime=821.95
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 387106 0 0 0 81963 232 0 0 25 0 1 0 252526069 1586184192 386518 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 387252 386518 311 324 0 386322 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 1549008

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 19383
/proc/meminfo: memFree=27904/2055920 swapFree=4154876/4192956
[pid=19322] ppid=19320 vsize=1697992 CPUtime=881.93
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 424328 0 0 0 87934 259 0 0 25 0 1 0 252526069 1738743808 423740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 424498 423740 311 324 0 423568 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 1697992

[startup+942.301 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 19383
/proc/meminfo: memFree=15936/2055920 swapFree=4154868/4192956
[pid=19322] ppid=19320 vsize=1822012 CPUtime=941.91
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 455336 0 0 0 93910 281 0 0 25 0 1 0 252526069 1865740288 454748 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 455503 454748 311 324 0 454573 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 1822012



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+953.501 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 19383
/proc/meminfo: memFree=14912/2055920 swapFree=4154868/4192956
[pid=19322] ppid=19320 vsize=1843204 CPUtime=953.11
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194304 460638 0 0 0 95027 284 0 0 25 0 1 0 252526069 1887440896 460050 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 460801 460050 311 324 0 459871 0
Current children cumulated CPU time (s) 953.11
Current children cumulated vsize (KiB) 1843204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+953.605 s]
/proc/loadavg: 1.03 0.99 0.99 2/79 19384
/proc/meminfo: memFree=630904/2055920 swapFree=4154868/4192956
[pid=19322] ppid=19320 vsize=0 CPUtime=953.22
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194308 460642 0 0 0 95028 294 0 0 25 0 1 0 252526069 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 953.22
Current children cumulated vsize (KiB) 0

[startup+953.705 s]
/proc/loadavg: 1.03 0.99 0.99 2/79 19384
/proc/meminfo: memFree=630904/2055920 swapFree=4154868/4192956
[pid=19322] ppid=19320 vsize=0 CPUtime=953.31
/proc/19322/stat : 19322 (bsolo3.0.17) R 19320 19322 25535 0 -1 4194308 460642 0 0 0 95028 303 0 0 25 0 1 0 252526069 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/19322/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 953.31
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 953.793
CPU time (s): 953.405
CPU user time (s): 950.283
CPU system time (s): 3.12252
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 1843204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 950.283
system time used= 3.12252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460642
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= 19744

runsolver used 0.823874 second user time and 2.09768 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue May  1 19:01:27 UTC 2007

IDJOB= 455586
IDBENCH= 48273
IDSOLVER= 199
FILE ID= node20/455586-1178046087

PBS_JOBID= 4728447

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455586-1178046087/instance-455586-1178046087.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-455586-1178046087 -o ROOT/results/node20/solver-455586-1178046087 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455586-1178046087/instance-455586-1178046087.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  d34b8195c337caa741dffbe26b4db95e

RANDOM SEED= 343987778

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:       1723640 kB
Buffers:        104256 kB
Cached:         129808 kB
SwapCached:      16448 kB
Active:         182052 kB
Inactive:        82812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723640 kB
SwapTotal:     4192956 kB
SwapFree:      4154876 kB
Dirty:            7640 kB
Writeback:           0 kB
Mapped:          36408 kB
Slab:            52516 kB
Committed_AS:  5464924 kB
PageTables:       1992 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 node20 on Tue May  1 19:17:23 UTC 2007