Trace number 2702227

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
wbo 1.4b (fixed)? (TO) 1800.15 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
MD5SUMd6ad4e57f9bd4d3660efa4691d3e45da
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.658899
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables162
Total number of constraints13
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 constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702227-1278547053.opb.
0.00/0.00	c Instance file HOME/instance-2702227-1278547053.opb
0.00/0.00	c File size is 36227 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      648                                                 |
0.00/0.00	c |  Number Clauses:        486                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 505                                                 |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     648      991     4149 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       102 |     648      991     4149 |     5500      102     89 |  0.002 % |
0.00/0.02	c |       253 |     648      991     4149 |     6050      253     83 |  0.002 % |
0.00/0.04	c |       480 |     648      991     4149 |     6655      480     75 |  0.000 % |
0.00/0.07	c |       818 |     648      991     4149 |     7320      818     75 |  0.000 % |
0.09/0.11	c |      1325 |     648      991     4149 |     8052     1325     81 |  0.002 % |
0.09/0.16	c |      2084 |     648      991     4149 |     8857     2084     76 |  0.000 % |
0.29/0.33	c |      3223 |     648      991     4149 |     9743     3223     68 |  0.000 % |
0.39/0.46	c |      4931 |     648      991     4149 |    10717     4931     68 |  0.000 % |
0.89/0.97	c |      7493 |     648      991     4149 |    11789     7493     70 |  0.000 % |
1.29/1.35	c |     11339 |     648      991     4149 |    12968    11339     69 |  0.000 % |
1.99/2.07	c |     17105 |     648      991     4149 |    14265    10550     62 |  0.000 % |
3.69/3.78	c |     25754 |     648      991     4149 |    15692    12029     41 |  0.000 % |
6.79/6.88	c |     38728 |     648      991     4149 |    17261     9231     29 |  0.000 % |
10.18/10.27	c |     58189 |     648      991     4149 |    18987    10856     63 |  0.000 % |
15.39/15.50	c |     87382 |     648      991     4149 |    20886    11387     35 |  0.000 % |
24.88/24.99	c |    131171 |     648      991     4149 |    22974    12726     54 |  0.000 % |
40.99/41.02	c |    196855 |     648      991     4149 |    25272    18002     54 |  0.000 % |
64.18/64.29	c ===============================================================================
64.18/64.29	c New solution: 491
64.18/64.29	o 491
64.18/64.29	c Elapsed CPU time: 63.5453 s	Remaining CPU time: 116.455 s
64.18/64.29	c ===============================================================================
64.18/64.29	c |    293490 |     648      992     4158 |     5000    10948     51 |  0.000 % |
64.28/64.32	c |    293591 |     648      992     4158 |     5500     2838     59 |  0.000 % |
64.28/64.33	c |    293742 |     648      992     4158 |     6050     2989     59 |  0.000 % |
64.28/64.35	c |    293968 |     648      992     4158 |     6655     3215     59 |  0.000 % |
64.28/64.39	c |    294306 |     648      992     4158 |     7320     3553     62 |  0.000 % |
64.37/64.43	c |    294813 |     648      992     4158 |     8052     4060     64 |  0.000 % |
64.47/64.51	c |    295572 |     648      992     4158 |     8857     4819     62 |  0.000 % |
64.58/64.61	c |    296711 |     648      992     4158 |     9743     5958     62 |  0.000 % |
64.68/64.79	c |    298419 |     648      992     4158 |    10717     7666     62 |  0.000 % |
64.97/65.08	c |    300981 |     648      992     4158 |    11789    10228     61 |  0.000 % |
65.57/65.66	c |    304826 |     648      992     4158 |    12968     8041     60 |  0.002 % |
66.58/66.66	c |    310593 |     648      992     4158 |    14265     7276     41 |  0.000 % |
68.27/68.30	c |    319244 |     648      992     4158 |    15692     8772     32 |  0.000 % |
70.48/70.53	c |    332219 |     648      992     4158 |    17261    13859     43 |  0.000 % |
73.07/73.17	c |    351681 |     648      992     4158 |    18987    15821     37 |  0.000 % |
78.47/78.58	c |    380873 |     648      992     4158 |    20886    16087     49 |  0.000 % |
85.37/85.47	c |    424667 |     648      992     4158 |    22974    17440     60 |  0.000 % |
86.67/86.76	c ===============================================================================
86.67/86.76	c New solution: 89
86.67/86.76	o 89
86.67/86.76	c Elapsed CPU time: 85.612 s	Remaining CPU time: 94.388 s
86.67/86.76	c ===============================================================================
86.67/86.76	c |    436582 |     648      993     4167 |     5000    17369     62 |  0.000 % |
86.78/86.83	c |    436683 |     626      993     4167 |     5500     4438     63 |  3.395 % |
86.78/86.84	c |    436833 |     626      993     4167 |     6050     4588     64 |  3.395 % |
86.78/86.86	c |    437059 |     626      993     4167 |     6655     4814     64 |  3.395 % |
86.78/86.89	c |    437396 |     626      993     4167 |     7320     5151     63 |  3.395 % |
86.88/86.95	c |    437903 |     626      993     4167 |     8052     5658     63 |  3.395 % |
86.97/87.03	c |    438663 |     626      993     4167 |     8857     6418     64 |  3.397 % |
87.07/87.14	c |    439802 |     626      993     4167 |     9743     7557     64 |  3.395 % |
87.27/87.36	c |    441511 |     626      993     4167 |    10717     9266     64 |  3.395 % |
87.57/87.66	c |    444075 |     626      993     4167 |    11789     6313     64 |  3.395 % |
88.27/88.30	c |    447920 |     626      993     4167 |    12968    10158     60 |  3.395 % |
89.27/89.30	c |    453686 |     626      993     4167 |    14265     9306     57 |  3.395 % |
90.67/90.78	c |    462335 |     626      993     4167 |    15692    10733     58 |  3.395 % |
92.38/92.44	c |    475309 |     626      993     4167 |    17261    15589     66 |  3.395 % |
95.87/95.96	c |    494770 |     626      993     4167 |    18987    17482     57 |  3.395 % |
100.76/100.83	c |    523964 |     626      993     4167 |    20886    17675     50 |  3.395 % |
109.26/109.39	c |    567753 |     626      993     4167 |    22974    18900     47 |  3.395 % |
122.26/122.35	c |    633438 |     626      993     4167 |    25272    21912     55 |  3.395 % |
146.66/146.79	c |    731964 |     626      993     4167 |    27799    18157     41 |  3.395 % |
182.24/182.34	c There are 22 assigned variables. 2 in cost function.
183.05/183.11	c core #1
183.05/183.11	c 
183.05/183.11	c 
183.05/183.11	c Core size: 8	Core Weight: 1	Total Weight: 1
183.05/183.11	c
183.05/183.11	c
183.05/183.11	c core #2
183.05/183.11	c 
183.05/183.11	c 
183.05/183.11	c Core size: 7	Core Weight: 1	Total Weight: 2
183.05/183.11	c
183.05/183.11	c
183.05/183.11	c ============================[ Search Statistics ]==============================
183.05/183.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.05/183.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.05/183.11	c ===============================================================================
183.05/183.11	c |         0 |     559      999     3883 |     5000        0    nan |  0.000 % |
183.05/183.12	c |       100 |     559      999     3883 |     5500      100     72 | 15.432 % |
183.05/183.15	c |       250 |     559      999     3883 |     6050      250     79 | 15.433 % |
183.05/183.17	c |       477 |     559      999     3883 |     6655      477     86 | 15.431 % |
183.05/183.19	c |       814 |     559      999     3883 |     7320      814     85 | 15.431 % |
183.15/183.24	c |      1320 |     559      999     3883 |     8052     1320     84 | 15.431 % |
183.24/183.31	c |      2079 |     559      999     3883 |     8857     2079     80 | 15.433 % |
183.34/183.43	c |      3219 |     559      999     3883 |     9743     3219     73 | 15.431 % |
183.56/183.64	c |      4928 |     559      999     3883 |    10717     4928     72 | 15.431 % |
183.94/184.04	c |      7491 |     559      999     3883 |    11789     7491     66 | 15.431 % |
184.54/184.65	c |     11336 |     559      999     3883 |    12968    11336     63 | 15.431 % |
185.44/185.57	c |     17102 |     559      999     3883 |    14265    10497     53 | 15.433 % |
186.85/186.99	c |     25755 |     559      999     3883 |    15692    11726     61 | 15.431 % |
189.16/189.25	c |     38729 |     559      999     3883 |    17261     8457     44 | 15.431 % |
192.35/192.47	c |     58190 |     559      999     3883 |    18987    10376     45 | 15.431 % |
198.44/198.51	c |     87382 |     559      999     3883 |    20886    10527     37 | 15.431 % |
210.43/210.54	c |    131172 |     559      999     3883 |    22974    11310     47 | 15.433 % |
230.63/230.70	c |    196857 |     559      999     3883 |    25272    15923     52 | 15.431 % |
258.01/258.12	c |    295383 |     558      999     3883 |    27799    12736     39 | 15.585 % |
306.01/306.16	c |    443172 |     558      999     3883 |    30579    24594     62 | 15.583 % |
402.98/403.18	c |    664856 |     558      999     3883 |    33637    27738     52 | 15.583 % |
541.85/542.09	c |    997382 |     558      999     3883 |    37001    21109     60 | 15.583 % |
749.79/750.08	c |   1496170 |     557      999     3883 |    40701    28579     45 | 15.736 % |
1114.50/1114.86	c |   2244352 |     556      999     3883 |    44771    36435     53 | 15.885 % |
1694.86/1695.33	c |   3366627 |     556      999     3883 |    49248    21254     43 | 15.885 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702227-1278547053/watcher-2702227-1278547053 -o /tmp/evaluation-result-2702227-1278547053/solver-2702227-1278547053 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702227-1278547053.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.94 0.95 0.63 3/105 25877
/proc/meminfo: memFree=1712728/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=2836 CPUtime=0
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 352 0 0 0 0 0 0 0 25 0 1 0 22913611 2904064 262 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 709 262 143 303 0 404 0

[startup+0.0956471 s]
/proc/loadavg: 0.94 0.95 0.63 3/105 25877
/proc/meminfo: memFree=1712728/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=3228 CPUtime=0.09
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 452 0 0 0 9 0 0 0 25 0 1 0 22913611 3305472 362 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 807 362 145 303 0 502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3228

[startup+0.101647 s]
/proc/loadavg: 0.94 0.95 0.63 3/105 25877
/proc/meminfo: memFree=1712728/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=3228 CPUtime=0.09
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 460 0 0 0 9 0 0 0 25 0 1 0 22913611 3305472 370 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 807 370 145 303 0 502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3228

[startup+0.301667 s]
/proc/loadavg: 0.94 0.95 0.63 3/105 25877
/proc/meminfo: memFree=1712728/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=4000 CPUtime=0.29
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 648 0 0 0 29 0 0 0 25 0 1 0 22913611 4096000 558 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 1000 558 145 303 0 695 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4000

[startup+0.701705 s]
/proc/loadavg: 0.94 0.95 0.63 3/105 25877
/proc/meminfo: memFree=1712728/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=5176 CPUtime=0.69
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 956 0 0 0 68 1 0 0 25 0 1 0 22913611 5300224 866 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 1294 866 145 303 0 989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5176

[startup+1.50178 s]
/proc/loadavg: 0.94 0.95 0.63 2/106 25878
/proc/meminfo: memFree=1709496/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=7628 CPUtime=1.5
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 1567 0 0 0 148 2 0 0 25 0 1 0 22913611 7811072 1477 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 1907 1477 145 303 0 1602 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7628

[startup+3.10094 s]
/proc/loadavg: 0.94 0.95 0.63 2/106 25878
/proc/meminfo: memFree=1706024/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=10464 CPUtime=3.09
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 2281 0 0 0 305 4 0 0 25 0 1 0 22913611 10715136 2191 1992294400 134512640 135752675 4291018176 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 2616 2191 145 303 0 2311 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10464

[startup+6.30125 s]
/proc/loadavg: 1.02 0.97 0.63 2/106 25878
/proc/meminfo: memFree=1702304/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=13476 CPUtime=6.29
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 3033 0 0 0 621 8 0 0 25 0 1 0 22913611 13799424 2943 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 3369 2943 145 303 0 3064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13476

[startup+12.7009 s]
/proc/loadavg: 1.02 0.97 0.64 2/106 25878
/proc/meminfo: memFree=1690772/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=24876 CPUtime=12.69
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 5866 0 0 0 1252 17 0 0 25 0 1 0 22913611 25473024 5776 1992294400 134512640 135752675 4291018176 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 6219 5776 145 303 0 5914 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24876

[startup+25.5011 s]
/proc/loadavg: 1.01 0.97 0.64 2/106 25878
/proc/meminfo: memFree=1673164/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=42688 CPUtime=25.49
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 10312 0 0 0 2514 35 0 0 25 0 1 0 22913611 43712512 10222 1992294400 134512640 135752675 4291018176 18446744073709551615 134638667 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 10672 10222 145 303 0 10367 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42688

[startup+51.1016 s]
/proc/loadavg: 1.01 0.97 0.65 2/106 25880
/proc/meminfo: memFree=1642164/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=73468 CPUtime=51.08
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 17996 0 0 0 5049 59 0 0 25 0 1 0 22913611 75231232 17906 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 18367 17906 145 303 0 18062 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73468

[startup+102.309 s]
/proc/loadavg: 1.00 0.97 0.66 2/106 25880
/proc/meminfo: memFree=1555488/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=159412 CPUtime=102.27
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 39431 0 0 0 10088 139 0 0 25 0 1 0 22913611 163237888 39341 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 39853 39341 145 303 0 39548 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 159412

[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.68 2/106 25882
/proc/meminfo: memFree=1480592/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=234540 CPUtime=162.25
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 58181 0 0 0 16015 210 0 0 25 0 1 0 22913611 240168960 58091 1992294400 134512640 135752675 4291018176 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 58635 58091 145 303 0 58330 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 234540

[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.70 2/106 25893
/proc/meminfo: memFree=1437068/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=277008 CPUtime=222.22
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 68897 0 0 0 21951 271 0 0 25 0 1 0 22913611 283656192 68779 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 69252 68779 146 303 0 68947 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 277008

[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.72 2/106 25895
/proc/meminfo: memFree=1395156/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=319632 CPUtime=282.21
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 79504 0 0 0 27896 325 0 0 25 0 1 0 22913611 327303168 79386 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 79908 79386 146 303 0 79603 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 319632

[startup+342.302 s]
/proc/loadavg: 1.00 0.97 0.73 2/106 25897
/proc/meminfo: memFree=1352004/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=362268 CPUtime=342.2
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 90133 0 0 0 33847 373 0 0 25 0 1 0 22913611 370962432 90015 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 90567 90015 146 303 0 90262 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 362268

[startup+402.302 s]
/proc/loadavg: 1.00 0.97 0.74 2/106 25897
/proc/meminfo: memFree=1327452/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=387304 CPUtime=402.18
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 96351 0 0 0 39807 411 0 0 25 0 1 0 22913611 396599296 96233 1992294400 134512640 135752675 4291018176 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 96826 96233 146 303 0 96521 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 387304

[startup+462.301 s]
/proc/loadavg: 1.00 0.97 0.75 2/106 25899
/proc/meminfo: memFree=1286532/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=427836 CPUtime=462.17
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 106491 0 0 0 45763 454 0 0 25 0 1 0 22913611 438104064 106373 1992294400 134512640 135752675 4291018176 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 106959 106373 146 303 0 106654 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 427836

[startup+522.301 s]
/proc/loadavg: 1.00 0.97 0.77 2/106 25901
/proc/meminfo: memFree=1244620/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=470880 CPUtime=522.15
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 117192 0 0 0 51718 497 0 0 25 0 1 0 22913611 482181120 117074 1992294400 134512640 135752675 4291018176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 117720 117074 146 303 0 117415 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 470880

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.78 2/106 25903
/proc/meminfo: memFree=1186216/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=528208 CPUtime=582.14
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 131507 0 0 0 57669 545 0 0 25 0 1 0 22913611 540884992 131389 1992294400 134512640 135752675 4291018176 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 132052 131389 146 303 0 131747 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 528208

[startup+642.302 s]
/proc/loadavg: 1.00 0.97 0.79 2/106 25905
/proc/meminfo: memFree=1158812/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=555436 CPUtime=642.13
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 138313 0 0 0 63630 583 0 0 25 0 1 0 22913611 568766464 138195 1992294400 134512640 135752675 4291018176 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 138859 138195 146 303 0 138554 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 555436

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.97 0.83 2/106 25911
/proc/meminfo: memFree=1020056/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=694668 CPUtime=882.06
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 172971 0 0 0 87462 744 0 0 25 0 1 0 22913611 711340032 172853 1992294400 134512640 135752675 4291018176 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 173667 172853 146 303 0 173362 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 694668

[startup+942.302 s]
/proc/loadavg: 1.00 0.97 0.83 2/106 25913
/proc/meminfo: memFree=994140/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=720436 CPUtime=942.05
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 179418 0 0 0 93427 778 0 0 25 0 1 0 22913611 737726464 179300 1992294400 134512640 135752675 4291018176 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 180109 179300 146 303 0 179804 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 720436

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/106 25913
/proc/meminfo: memFree=960412/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=754148 CPUtime=1002.03
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 187823 0 0 0 99382 821 0 0 25 0 1 0 22913611 772247552 187705 1992294400 134512640 135752675 4291018176 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 188537 187705 146 303 0 188232 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 754148

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/106 25915
/proc/meminfo: memFree=928048/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=787408 CPUtime=1062.02
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 196112 0 0 0 105340 862 0 0 25 0 1 0 22913611 806305792 195994 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 196852 195994 146 303 0 196547 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 787408

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/106 25917
/proc/meminfo: memFree=889980/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=824624 CPUtime=1122
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 205434 0 0 0 111293 907 0 0 25 0 1 0 22913611 844414976 205316 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 206156 205316 146 303 0 205851 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 824624

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/106 25919
/proc/meminfo: memFree=855880/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=859184 CPUtime=1181.98
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 214058 0 0 0 117255 943 0 0 25 0 1 0 22913611 879804416 213940 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 214796 213940 146 303 0 214491 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 859184

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/106 25921
/proc/meminfo: memFree=826244/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=887988 CPUtime=1241.97
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 221252 0 0 0 123219 978 0 0 25 0 1 0 22913611 909299712 221134 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 221997 221134 146 303 0 221692 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 887988

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/106 25921
/proc/meminfo: memFree=798344/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=915624 CPUtime=1301.96
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 228150 0 0 0 129187 1009 0 0 25 0 1 0 22913611 937598976 228032 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 228906 228032 146 303 0 228601 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 915624

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/106 25923
/proc/meminfo: memFree=758292/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=955948 CPUtime=1361.94
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 238205 0 0 0 135138 1056 0 0 25 0 1 0 22913611 978890752 238087 1992294400 134512640 135752675 4291018176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 238987 238087 146 303 0 238682 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 955948

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.88 2/106 25928
/proc/meminfo: memFree=729028/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=984744 CPUtime=1421.93
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 245360 0 0 0 141095 1098 0 0 25 0 1 0 22913611 1008377856 245242 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 246186 245242 146 303 0 245881 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 984744

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/106 25930
/proc/meminfo: memFree=704352/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=1009692 CPUtime=1481.91
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 251595 0 0 0 147059 1132 0 0 25 0 1 0 22913611 1033924608 251477 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 252423 251477 146 303 0 252118 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1009692

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/106 25932
/proc/meminfo: memFree=682528/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=1031316 CPUtime=1541.9
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 256988 0 0 0 153023 1167 0 0 25 0 1 0 22913611 1056067584 256870 1992294400 134512640 135752675 4291018176 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 257829 256870 146 303 0 257524 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1031316

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.90 2/106 25932
/proc/meminfo: memFree=659588/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=1054428 CPUtime=1601.89
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 262756 0 0 0 158990 1199 0 0 25 0 1 0 22913611 1079734272 262638 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 263607 262638 146 303 0 263302 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1054428

[startup+1662.3 s]
/proc/loadavg: 1.06 0.99 0.91 2/106 25934
/proc/meminfo: memFree=636772/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=1077096 CPUtime=1661.87
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 268409 0 0 0 164955 1232 0 0 25 0 1 0 22913611 1102946304 268291 1992294400 134512640 135752675 4291018176 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 269274 268291 146 303 0 268969 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1077096

[startup+1722.3 s]
/proc/loadavg: 1.02 0.99 0.91 2/106 25936
/proc/meminfo: memFree=620528/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=1093416 CPUtime=1721.85
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 272486 0 0 0 170926 1259 0 0 25 0 1 0 22913611 1119657984 272368 1992294400 134512640 135752675 4291018176 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 273354 272368 146 303 0 273049 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1093416

[startup+1782.3 s]
/proc/loadavg: 1.01 0.99 0.91 2/106 25938
/proc/meminfo: memFree=596968/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=1117164 CPUtime=1781.84
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 278436 0 0 0 176893 1291 0 0 25 0 1 0 22913611 1143975936 278318 1992294400 134512640 135752675 4291018176 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 279291 278318 146 303 0 278986 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1117164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 25938
/proc/meminfo: memFree=587296/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=1126432 CPUtime=1800.04
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 280715 0 0 0 178701 1303 0 0 25 0 1 0 22913611 1153466368 280597 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 281608 280597 146 303 0 281303 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1126432

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 25938
/proc/meminfo: memFree=587296/2059040 swapFree=4143936/4192956
[pid=25877] ppid=25875 vsize=1126432 CPUtime=1800.04
/proc/25877/stat : 25877 (wbo1.4b) R 25875 25877 25566 0 -1 4202496 280715 0 0 0 178701 1303 0 0 25 0 1 0 22913611 1153466368 280597 1992294400 134512640 135752675 4291018176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25877/statm: 281608 280597 146 303 0 281303 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1126432

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.15
CPU user time (s): 1787.02
CPU system time (s): 13.128
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1126432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.02
system time used= 13.128
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280715
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= 3
involuntary context switches= 3152

runsolver used 2.87556 second user time and 8.60969 second system time

The end

Launcher Data 

Begin job on node089 at 2010-07-08 01:57:33
IDJOB=2702227
IDBENCH=48048
IDSOLVER=1190
FILE ID=node089/2702227-1278547053
PBS_JOBID= 11239474
Free space on /tmp= 62556 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702227-1278547053/watcher-2702227-1278547053 -o /tmp/evaluation-result-2702227-1278547053/solver-2702227-1278547053 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702227-1278547053.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d6ad4e57f9bd4d3660efa4691d3e45da
RANDOM SEED=1613909180

node089.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.244
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.48
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.244
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	: 5999.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1713752 kB
Buffers:         45444 kB
Cached:         173792 kB
SwapCached:      40860 kB
Active:         129036 kB
Inactive:       142556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1713752 kB
SwapTotal:     4192956 kB
SwapFree:      4143936 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       14488 kB
Mapped:          12004 kB
Slab:            51976 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183208 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-2702227-1278547053.opb

Free space on /tmp at the end= 62552 MiB
End job on node089 at 2010-07-08 02:27:35