Trace number 432576

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 (TO)115 1800.09 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb
MD5SUMa432642e9fdf105f945bae55612ade38
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1800.39
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables280
Total number of constraints11
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint11
Maximum length of a constraint130
Number of terms in the objective function 180
Biggest coefficient in the objective function 43691
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524412
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261245
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524412
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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/432576-1177945474/instance-432576-1177945474.opb
0.00/0.00	c File size is 9116 bytes.
0.00/0.00	c Highest Coefficient sum: 524412
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 280 Constr: 17 0/0/17 Lit: 1615 Watch. Lit: 847
0.00/0.00	c Obj. Vars: 180 (64.2857 % of total variables)
0.00/0.01	c Pre-processing Time: 0.009 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    226       17     1615   95      900    3230      0      0 0.01
0.00/0.01	c Switching off LPR mode.
0.00/0.01	o 678	0.01
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    226       18     1741   96     1300    3482      1      0 0.01
0.00/0.01	o 677	0.012
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        1    226       20     2058  102     1403    3482      3     83 0.01
0.00/0.01	o 414	0.013
4.99/5.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.01	c        3    226       23     2407  104     1415    3482      6    230 0.01
4.99/5.01	c      107    226      127    13843  109     1514    3831    110   3689 0.03
4.99/5.01	c      357    226      377    39902  105     2009    4215    360   5666 0.06
4.99/5.01	c      832    226      852    96526  113     2926    4637    835   6028 0.14
4.99/5.01	c     1645    226     1665   192385  115     4547    5101   1648   5375 0.31
4.99/5.01	c     2965    226     2985   355508  119     7173    5612   2968   5077 0.58
4.99/5.01	c     5046    226     5066   518933  102    11464    6174   5049   5408 0.93
4.99/5.01	c     8269    226     5044   437363   86    11338    6792   5027   4951 1.67
4.99/5.01	c    13205    226     6388   743986  116    13979    7472   6371   4722 2.80
4.99/5.01	c    20711    226     6075   550749   90    13366    8220   6058   4138 5.00
4.99/5.01	o 359	5.008
16.09/16.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.09/16.17	c    20712    226     6077   550983   90    13433    3482   6060   4135 5.01
16.09/16.17	c    20812    226     1859   177253   95     4900    3831   1842   4108 5.07
16.09/16.17	c    21062    226     2109   201895   95     5388    4215   2092   4115 5.12
16.09/16.17	c    21539    226     2586   252101   97     6342    4637   2569   4150 5.19
16.09/16.17	c    22352    226     3399   355211  104     7951    5101   3382   4191 5.33
16.09/16.17	c    23672    226     4719   536761  113    10597    5612   4702   4104 5.77
16.09/16.17	c    25754    226     3831   426444  111     8902    6174   3814   4195 6.14
16.09/16.17	c    28977    226     3706   529410  142     8609    6792   3689   4195 6.91
16.09/16.17	c    33913    226     5077   448974   88    11418    7472   5060   4312 7.86
16.09/16.17	c    41420    226     4716   569286  120    10713    8220   4699   3175 13.04
16.09/16.17	o 127	16.162
46.77/46.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.77/46.81	c    49834    226     4622   362144   78    10692    3482   4605   3083 16.16
46.77/46.81	c    49935    226     1860   147401   79     4982    3831   1843   3076 16.23
46.77/46.81	c    50186    226     2111   163901   77     5487    4215   2094   3086 16.26
46.77/46.81	c    50661    226     2586   196671   76     6422    4637   2569   3104 16.32
46.77/46.81	c    51474    226     3399   250698   73     8130    5101   3382   3130 16.44
46.77/46.81	c    52794    226     4719   337592   71    10810    5612   4702   3158 16.71
46.77/46.81	c    54875    226     3772   283977   75     8934    6174   3755   3188 17.21
46.77/46.81	c    58098    226     3763   302037   80     8961    6792   3746   3233 17.97
46.77/46.81	c    63035    226     5079   477976   94    11504    7472   5062   3339 18.88
46.77/46.81	c    70542    226     4797   410706   85    10940    8220   4780   3306 21.34
46.77/46.81	c    81904    226     7527   827311  109    16389    9043   7510   3190 25.67
46.77/46.81	c    99049    226     5670   575728  101    12656    9948   5653   2126 46.57
46.77/46.81	o 115	46.789
1800.08/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.60	c    99994    226     6616   659820   99    14709    3482   6599   2137 46.79
1800.08/1800.60	c   100094    226     1859   173855   93     5056    3831   1842   2127 47.05
1800.08/1800.60	c   100344    226     2109   190371   90     5555    4215   2092   2129 47.11
1800.08/1800.60	c   100819    226     2584   218997   84     6518    4637   2567   2136 47.19
1800.08/1800.60	c   101632    226     3397   282553   83     8146    5101   3380   2146 47.35
1800.08/1800.60	c   102952    226     4717   427935   90    10781    5612   4700   2159 47.68
1800.08/1800.60	c   105035    226     3854   357424   92     9037    6174   3837   2183 48.10
1800.08/1800.60	c   108260    226     3850   308057   80     9031    6792   3833   2186 49.50
1800.08/1800.60	c   113198    226     5203   462343   88    11743    7472   5186   2218 51.03
1800.08/1800.60	c   120704    226     4937   455237   92    11208    8220   4920   2268 53.21
1800.08/1800.60	c   132066    226     7703   724533   94    16734    9043   7686   2173 60.77
1800.08/1800.60	c   149211    226     6095   634443  104    13529    9948   6078   2102 70.97
1800.08/1800.60	c   175032    226     6025   603508  100    13364   10943   6008   1992 87.86
1800.08/1800.60	c   213864    226    10878  1215318  111    23077   12038  10861   1784 119.85
1800.08/1800.60	c   272217    226     7079   662821   93    15458   13242   7062   1327 205.01
1800.08/1800.60	c   359850    226    13015  1394107  107    27337   14567  12998   1295 277.75
1800.08/1800.60	c   491402    226    10144  1072016  105    21575   16024  10127   1097 447.93
1800.08/1800.60	c   688834    226    10732  1030431   96    22752   17627  10715    906 759.50
1800.08/1800.60	c   985087    226     9442  1096711  116    20210   19390   9425    706 1394.83
1800.08/1800.60	c Caught signal: 15
1800.08/1800.60	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
1800.08/1800.60	v -x30 x31 -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
1800.08/1800.60	v -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
1800.08/1800.60	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 -x108 -x109 -x110
1800.08/1800.60	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 x124 x125 x126 x127 x128 x129 -x130 -x131 x132
1800.08/1800.60	v -x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 x154
1800.08/1800.60	v -x155 x156 -x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176
1800.08/1800.60	v -x177 -x178 -x179 -x180 -x181 x182 x183 x184 x185 -x186 -x187 -x188 x189 -x190 -x191 -x231 x232 x233 -x234 -x235 -x236 x237
1800.08/1800.60	v x238 -x239 -x240 -x241 x242 -x243 x244 -x245 x246 -x247 -x248 x249 -x250 -x251 -x252 x253 x254 x255 x256 x257 x258 x259 x260
1800.08/1800.60	v x261 -x262 -x263 x265 -x266 -x267 x268 x269 x270 x271 x272 x273 -x274 -x275 -x192 x203 x214 x225 -x276 x277 -x278 -x279 x280
1800.08/1800.60	v -x193 x194 -x195 x196 x197 -x198 x199 x200 -x201 -x202 -x204 -x205 x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x215 x216
1800.08/1800.60	v -x217 x218 x219 -x220 -x221 -x222 x223 x224 -x226 -x227 -x228 x229 -x230 x264
1800.08/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.60	c   53  1318718 323725  1942330    16419  1869286  16402    732 1800.08
1800.08/1800.60	c Objective: 115
1800.08/1800.60	s SATISFIABLE
1800.08/1800.60	c Total time: 1800.08 s

Verifier Data (download as text)

OK	115

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node71/watcher-432576-1177945474 -o ROOT/results/node71/solver-432576-1177945474 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432576-1177945474/instance-432576-1177945474.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 22454
/proc/meminfo: memFree=1792040/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=11748 CPUtime=0
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 270536707 12029952 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 2937 334 280 324 0 2004 0

[startup+0.0897461 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 22454
/proc/meminfo: memFree=1792040/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=4836 CPUtime=0.08
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 606 0 0 0 8 0 0 0 18 0 1 0 270536707 4952064 573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 1209 573 310 324 0 279 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4836

[startup+0.101747 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 22454
/proc/meminfo: memFree=1792040/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=4964 CPUtime=0.09
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 637 0 0 0 9 0 0 0 18 0 1 0 270536707 5083136 604 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 1241 605 310 324 0 311 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4964

[startup+0.301774 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 22454
/proc/meminfo: memFree=1792040/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=6648 CPUtime=0.29
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 1056 0 0 0 29 0 0 0 19 0 1 0 270536707 6807552 1023 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 1662 1023 310 324 0 732 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6648

[startup+0.701829 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 22454
/proc/meminfo: memFree=1792040/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=9744 CPUtime=0.69
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 1832 0 0 0 69 0 0 0 22 0 1 0 270536707 9977856 1799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 2436 1799 310 324 0 1506 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9744

[startup+1.50194 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 22455
/proc/meminfo: memFree=1784096/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=12832 CPUtime=1.49
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 2607 0 0 0 149 0 0 0 25 0 1 0 270536707 13139968 2574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7646854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 3208 2574 310 324 0 2278 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12832

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 22455
/proc/meminfo: memFree=1782496/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=15816 CPUtime=3.08
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 3379 0 0 0 308 0 0 0 25 0 1 0 270536707 16195584 3346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 3954 3346 310 324 0 3024 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15816

[startup+6.30259 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 22455
/proc/meminfo: memFree=1779424/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=15816 CPUtime=6.29
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 3379 0 0 0 628 1 0 0 25 0 1 0 270536707 16195584 3346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 3954 3346 310 324 0 3024 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15816

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 22455
/proc/meminfo: memFree=1779432/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=15928 CPUtime=12.69
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 3382 0 0 0 1268 1 0 0 25 0 1 0 270536707 16310272 3349 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 3982 3349 310 324 0 3052 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15928

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 22455
/proc/meminfo: memFree=1779176/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=16284 CPUtime=25.48
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 3483 0 0 0 2547 1 0 0 25 0 1 0 270536707 16674816 3450 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 4071 3450 310 324 0 3141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16284

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 22455
/proc/meminfo: memFree=1777704/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=17708 CPUtime=51.07
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 3835 0 0 0 5106 1 0 0 25 0 1 0 270536707 18132992 3802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 4427 3802 310 324 0 3497 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17708

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 22455
/proc/meminfo: memFree=1774504/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=20884 CPUtime=102.26
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 4638 0 0 0 10224 2 0 0 25 0 1 0 270536707 21385216 4605 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 5221 4605 310 324 0 4291 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20884

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 22455
/proc/meminfo: memFree=1773160/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=22232 CPUtime=162.23
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 5034 0 0 0 16221 2 0 0 25 0 1 0 270536707 22765568 4935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 5558 4935 310 324 0 4628 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 22232

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 22455
/proc/meminfo: memFree=1773160/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=22236 CPUtime=222.22
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 5036 0 0 0 22220 2 0 0 25 0 1 0 270536707 22769664 4937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 5559 4937 310 324 0 4629 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22236

[startup+282.301 s]
/proc/loadavg: 1.05 1.01 0.94 2/65 22455
/proc/meminfo: memFree=1770088/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=25276 CPUtime=282.21
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 5792 0 0 0 28218 3 0 0 25 0 1 0 270536707 25882624 5693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 6319 5693 310 324 0 5389 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25276

[startup+342.301 s]
/proc/loadavg: 1.02 1.01 0.94 2/65 22455
/proc/meminfo: memFree=1770088/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=25268 CPUtime=342.19
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 5792 0 0 0 34216 3 0 0 25 0 1 0 270536707 25874432 5693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 6317 5693 310 324 0 5387 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 25268

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1769256/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=26132 CPUtime=402.17
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 6023 0 0 0 40214 3 0 0 25 0 1 0 270536707 26759168 5924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 6533 5924 310 324 0 5603 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 26132

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1768040/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=27400 CPUtime=462.15
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 6325 0 0 0 46212 3 0 0 25 0 1 0 270536707 28057600 6226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 6850 6226 310 324 0 5920 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 27400

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1767848/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=27552 CPUtime=522.13
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 6380 0 0 0 52210 3 0 0 25 0 1 0 270536707 28213248 6280 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 6888 6280 310 324 0 5958 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 27552

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1767912/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=27504 CPUtime=582.11
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 6380 0 0 0 58208 3 0 0 25 0 1 0 270536707 28164096 6268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 6876 6268 310 324 0 5946 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 27504

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1767912/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=27504 CPUtime=642.1
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 6380 0 0 0 64207 3 0 0 25 0 1 0 270536707 28164096 6268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 6876 6268 310 324 0 5946 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 27504


################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1763112/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=32244 CPUtime=822.05
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 7564 0 0 0 82201 4 0 0 25 0 1 0 270536707 33017856 7452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8061 7452 310 324 0 7131 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 32244

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1762984/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=32508 CPUtime=882.03
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 7628 0 0 0 88199 4 0 0 25 0 1 0 270536707 33288192 7516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8127 7516 310 324 0 7197 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 32508

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1762920/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=32288 CPUtime=942.01
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 7628 0 0 0 94197 4 0 0 25 0 1 0 270536707 33062912 7464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8072 7464 310 324 0 7142 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 32288

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1762920/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=32288 CPUtime=1001.99
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 7628 0 0 0 100195 4 0 0 25 0 1 0 270536707 33062912 7464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8072 7464 310 324 0 7142 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 32288

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1762984/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=32276 CPUtime=1061.97
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 7628 0 0 0 106193 4 0 0 25 0 1 0 270536707 33050624 7461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8069 7461 310 324 0 7139 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 32276

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1761640/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=33784 CPUtime=1121.96
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 7994 0 0 0 112191 5 0 0 25 0 1 0 270536707 34594816 7827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8446 7827 310 324 0 7516 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 33784

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1761256/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=34180 CPUtime=1181.95
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8098 0 0 0 118190 5 0 0 25 0 1 0 270536707 35000320 7931 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8545 7931 310 324 0 7615 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 34180

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1760936/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=34212 CPUtime=1241.93
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8167 0 0 0 124188 5 0 0 25 0 1 0 270536707 35033088 7945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8553 7945 310 324 0 7623 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 34212

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1761000/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=34200 CPUtime=1301.92
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8167 0 0 0 130187 5 0 0 25 0 1 0 270536707 35020800 7942 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8550 7942 310 324 0 7620 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 34200

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1761064/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=34180 CPUtime=1361.89
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8167 0 0 0 136184 5 0 0 25 0 1 0 270536707 35000320 7937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8545 7937 310 324 0 7615 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 34180

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1760936/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=34452 CPUtime=1421.88
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8233 0 0 0 142183 5 0 0 25 0 1 0 270536707 35278848 8003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8613 8003 310 324 0 7683 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 34452

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1760296/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=35132 CPUtime=1481.86
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8392 0 0 0 148181 5 0 0 25 0 1 0 270536707 35975168 8162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8783 8162 310 324 0 7853 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 35132

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1760616/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=34628 CPUtime=1541.84
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8491 0 0 0 154179 5 0 0 25 0 1 0 270536707 35459072 8049 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8657 8049 310 324 0 7727 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 34628

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1760680/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=34824 CPUtime=1601.82
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8531 0 0 0 160177 5 0 0 25 0 1 0 270536707 35659776 8089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8706 8089 310 324 0 7776 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 34824

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1759976/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=35484 CPUtime=1661.81
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8703 0 0 0 166175 6 0 0 25 0 1 0 270536707 36335616 8261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7639529 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8871 8261 310 324 0 7941 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 35484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1759848/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=35576 CPUtime=1721.79
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8729 0 0 0 172173 6 0 0 25 0 1 0 270536707 36429824 8284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8894 8284 310 324 0 7964 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 35576

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1759912/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=35480 CPUtime=1781.78
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8729 0 0 0 178172 6 0 0 25 0 1 0 270536707 36331520 8262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8870 8262 310 324 0 7940 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 35480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 22455
/proc/meminfo: memFree=1759656/2055920 swapFree=4184260/4192956
[pid=22454] ppid=22452 vsize=35744 CPUtime=1800.08
/proc/22454/stat : 22454 (bsolo3.0.17) R 22452 22454 21415 0 -1 4194304 8795 0 0 0 180002 6 0 0 25 0 1 0 270536707 36601856 8328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22454/statm: 8936 8328 310 324 0 8006 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 35744

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

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

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.09
CPU user time (s): 1800.02
CPU system time (s): 0.066989
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 35744

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

runsolver used 1.43578 second user time and 3.49047 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Mon Apr 30 15:04:34 UTC 2007

IDJOB= 432576
IDBENCH= 1573
IDSOLVER= 199
FILE ID= node71/432576-1177945474

PBS_JOBID= 4727528

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432576-1177945474/instance-432576-1177945474.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-432576-1177945474 -o ROOT/results/node71/solver-432576-1177945474 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432576-1177945474/instance-432576-1177945474.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a432642e9fdf105f945bae55612ade38

RANDOM SEED= 527052932

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1792448 kB
Buffers:         32476 kB
Cached:         150644 kB
SwapCached:       2792 kB
Active:          94240 kB
Inactive:        98808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792448 kB
SwapTotal:     4192956 kB
SwapFree:      4184260 kB
Dirty:            6596 kB
Writeback:           0 kB
Mapped:          15916 kB
Slab:            56444 kB
Committed_AS:  3759020 kB
PageTables:       1448 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 node71 on Mon Apr 30 15:34:37 UTC 2007