Trace number 1875631

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (MO) 1363.59 1364.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
MD5SUM8eed52e8cea562b1b1ee5bae07565266
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5789
Best CPU time to get the best result obtained on this benchmark1798.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 478
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 500105
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 500105
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875631-1245140516.opb.
0.00/0.00	c Instance file HOME/instance-1875631-1245140516.opb
0.00/0.00	c File size is 17233726 bytes.
2.29/2.37	c Highest Coefficient sum: 101
2.29/2.38	c ============================[ Problem Statistics ]=============================
2.29/2.38	c |                                                                             |
2.29/2.38	c |  Parsing time:          2.34         s                                      |
2.29/2.38	c |  Number Variables:      10000                                               |
2.29/2.38	c |  Number Clauses:        666900                                              |
2.29/2.38	c |  Number Cardinality:    0                                                   |
2.29/2.38	c |  Number PB Constraints: 0                                                   |
2.29/2.38	c core #1
2.29/2.38	c Core size: 101	Core Weight: 1	Total Weight: 1
2.29/2.38	c Elapsed CPU time: 2.34064 s	Remaining CPU time: 1797.66 s
2.69/2.72	c core #2
2.69/2.72	c Core size: 101	Core Weight: 1	Total Weight: 2
2.69/2.72	c Elapsed CPU time: 2.6466 s	Remaining CPU time: 1797.35 s
2.99/3.04	c core #3
2.99/3.04	c Core size: 101	Core Weight: 1	Total Weight: 3
2.99/3.04	c Elapsed CPU time: 2.96955 s	Remaining CPU time: 1797.03 s
3.29/3.38	c core #4
3.29/3.38	c Core size: 101	Core Weight: 1	Total Weight: 4
3.29/3.38	c Elapsed CPU time: 3.2975 s	Remaining CPU time: 1796.7 s
3.69/3.70	c core #5
3.69/3.70	c Core size: 101	Core Weight: 1	Total Weight: 5
3.69/3.70	c Elapsed CPU time: 3.62045 s	Remaining CPU time: 1796.38 s
3.99/4.02	c core #6
3.99/4.02	c Core size: 101	Core Weight: 1	Total Weight: 6
3.99/4.02	c Elapsed CPU time: 3.9434 s	Remaining CPU time: 1796.06 s
4.29/4.35	c core #7
4.29/4.35	c Core size: 101	Core Weight: 1	Total Weight: 7
4.29/4.35	c Elapsed CPU time: 4.26635 s	Remaining CPU time: 1795.73 s
4.59/4.68	c core #8
4.59/4.68	c Core size: 101	Core Weight: 2	Total Weight: 9
4.59/4.68	c Elapsed CPU time: 4.5963 s	Remaining CPU time: 1795.4 s
4.99/5.00	c core #9
4.99/5.00	c Core size: 101	Core Weight: 1	Total Weight: 10
4.99/5.00	c Elapsed CPU time: 4.92025 s	Remaining CPU time: 1795.08 s
5.29/5.33	c core #10
5.29/5.33	c Core size: 201	Core Weight: 1	Total Weight: 11
5.29/5.33	c Elapsed CPU time: 5.2482 s	Remaining CPU time: 1794.75 s
5.59/5.66	c core #11
5.59/5.66	c Core size: 101	Core Weight: 1	Total Weight: 12
5.59/5.66	c Elapsed CPU time: 5.57715 s	Remaining CPU time: 1794.42 s
5.89/5.98	c core #12
5.89/5.98	c Core size: 101	Core Weight: 1	Total Weight: 13
5.89/5.98	c Elapsed CPU time: 5.8991 s	Remaining CPU time: 1794.1 s
6.29/6.31	c core #13
6.29/6.31	c Core size: 101	Core Weight: 2	Total Weight: 15
6.29/6.31	c Elapsed CPU time: 6.22205 s	Remaining CPU time: 1793.78 s
6.59/6.67	c core #14
6.59/6.67	c Core size: 101	Core Weight: 1	Total Weight: 16
6.59/6.67	c Elapsed CPU time: 6.581 s	Remaining CPU time: 1793.42 s
6.89/6.99	c core #15
6.89/6.99	c Core size: 101	Core Weight: 1	Total Weight: 17
6.89/6.99	c Elapsed CPU time: 6.90595 s	Remaining CPU time: 1793.09 s
7.29/7.32	c core #16
7.29/7.32	c Core size: 101	Core Weight: 1	Total Weight: 18
7.29/7.32	c Elapsed CPU time: 7.2339 s	Remaining CPU time: 1792.77 s
7.59/7.64	c core #17
7.59/7.64	c Core size: 101	Core Weight: 1	Total Weight: 19
7.59/7.64	c Elapsed CPU time: 7.55885 s	Remaining CPU time: 1792.44 s
7.89/7.97	c core #18
7.89/7.97	c Core size: 201	Core Weight: 3	Total Weight: 22
7.89/7.97	c Elapsed CPU time: 7.8878 s	Remaining CPU time: 1792.11 s
8.29/8.30	c core #19
8.29/8.30	c Core size: 101	Core Weight: 1	Total Weight: 23
8.29/8.30	c Elapsed CPU time: 8.21475 s	Remaining CPU time: 1791.79 s
8.59/8.63	c core #20
8.59/8.63	c Core size: 101	Core Weight: 1	Total Weight: 24
8.59/8.63	c Elapsed CPU time: 8.5417 s	Remaining CPU time: 1791.46 s
8.89/8.98	c core #21
8.89/8.98	c Core size: 101	Core Weight: 1	Total Weight: 25
8.89/8.98	c Elapsed CPU time: 8.89965 s	Remaining CPU time: 1791.1 s
9.29/9.31	c core #22
9.29/9.31	c Core size: 101	Core Weight: 1	Total Weight: 26
9.29/9.31	c Elapsed CPU time: 9.2246 s	Remaining CPU time: 1790.78 s
9.59/9.64	c core #23
9.59/9.64	c Core size: 101	Core Weight: 1	Total Weight: 27
9.59/9.64	c Elapsed CPU time: 9.55655 s	Remaining CPU time: 1790.44 s
9.89/9.97	c core #24
9.89/9.97	c Core size: 101	Core Weight: 1	Total Weight: 28
9.89/9.97	c Elapsed CPU time: 9.8865 s	Remaining CPU time: 1790.11 s
10.29/10.30	c core #25
10.29/10.30	c Core size: 101	Core Weight: 1	Total Weight: 29
10.29/10.30	c Elapsed CPU time: 10.2114 s	Remaining CPU time: 1789.79 s
10.59/10.64	c core #26
10.59/10.64	c Core size: 101	Core Weight: 1	Total Weight: 30
10.59/10.64	c Elapsed CPU time: 10.5574 s	Remaining CPU time: 1789.44 s
10.89/10.97	c core #27
10.89/10.97	c Core size: 101	Core Weight: 1	Total Weight: 31
10.89/10.97	c Elapsed CPU time: 10.8833 s	Remaining CPU time: 1789.12 s
11.29/11.30	c core #28
11.29/11.30	c Core size: 101	Core Weight: 1	Total Weight: 32
11.29/11.30	c Elapsed CPU time: 11.2133 s	Remaining CPU time: 1788.79 s
11.59/11.63	c core #29
11.59/11.63	c Core size: 101	Core Weight: 1	Total Weight: 33
11.59/11.63	c Elapsed CPU time: 11.5412 s	Remaining CPU time: 1788.46 s
11.89/11.95	c core #30
11.89/11.95	c Core size: 101	Core Weight: 2	Total Weight: 35
11.89/11.95	c Elapsed CPU time: 11.8662 s	Remaining CPU time: 1788.13 s
12.19/12.28	c core #31
12.19/12.28	c Core size: 101	Core Weight: 1	Total Weight: 36
12.19/12.28	c Elapsed CPU time: 12.1911 s	Remaining CPU time: 1787.81 s
12.59/12.61	c core #32
12.59/12.61	c Core size: 101	Core Weight: 1	Total Weight: 37
12.59/12.61	c Elapsed CPU time: 12.5211 s	Remaining CPU time: 1787.48 s
12.89/12.94	c core #33
12.89/12.94	c Core size: 101	Core Weight: 2	Total Weight: 39
12.89/12.94	c Elapsed CPU time: 12.849 s	Remaining CPU time: 1787.15 s
13.19/13.29	c core #34
13.19/13.29	c Core size: 101	Core Weight: 1	Total Weight: 40
13.19/13.29	c Elapsed CPU time: 13.208 s	Remaining CPU time: 1786.79 s
13.58/13.62	c core #35
13.58/13.62	c Core size: 101	Core Weight: 1	Total Weight: 41
13.58/13.62	c Elapsed CPU time: 13.5349 s	Remaining CPU time: 1786.47 s
13.89/13.95	c core #36
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 42
13.89/13.95	c Elapsed CPU time: 13.8649 s	Remaining CPU time: 1786.14 s
14.19/14.28	c core #37
14.19/14.28	c Core size: 101	Core Weight: 1	Total Weight: 43
14.19/14.28	c Elapsed CPU time: 14.1958 s	Remaining CPU time: 1785.8 s
14.58/14.61	c core #38
14.58/14.61	c Core size: 101	Core Weight: 1	Total Weight: 44
14.58/14.61	c Elapsed CPU time: 14.5238 s	Remaining CPU time: 1785.48 s
14.88/14.98	c core #39
14.88/14.98	c Core size: 101	Core Weight: 1	Total Weight: 45
14.88/14.98	c Elapsed CPU time: 14.8877 s	Remaining CPU time: 1785.11 s
15.29/15.31	c core #40
15.29/15.31	c Core size: 101	Core Weight: 1	Total Weight: 46
15.29/15.31	c Elapsed CPU time: 15.2187 s	Remaining CPU time: 1784.78 s
15.58/15.65	c core #41
15.58/15.65	c Core size: 101	Core Weight: 1	Total Weight: 47
15.58/15.65	c Elapsed CPU time: 15.5596 s	Remaining CPU time: 1784.44 s
15.88/15.98	c core #42
15.88/15.98	c Core size: 101	Core Weight: 1	Total Weight: 48
15.88/15.98	c Elapsed CPU time: 15.8916 s	Remaining CPU time: 1784.11 s
16.28/16.31	c core #43
16.28/16.31	c Core size: 101	Core Weight: 2	Total Weight: 50
16.28/16.31	c Elapsed CPU time: 16.2145 s	Remaining CPU time: 1783.79 s
16.58/16.67	c core #44
16.58/16.67	c Core size: 101	Core Weight: 1	Total Weight: 51
16.58/16.67	c Elapsed CPU time: 16.5765 s	Remaining CPU time: 1783.42 s
16.88/16.99	c core #45
16.88/16.99	c Core size: 101	Core Weight: 1	Total Weight: 52
16.88/16.99	c Elapsed CPU time: 16.9014 s	Remaining CPU time: 1783.1 s
17.28/17.32	c core #46
17.28/17.32	c Core size: 101	Core Weight: 1	Total Weight: 53
17.28/17.32	c Elapsed CPU time: 17.2294 s	Remaining CPU time: 1782.77 s
17.58/17.66	c core #47
17.58/17.66	c Core size: 101	Core Weight: 1	Total Weight: 54
17.58/17.66	c Elapsed CPU time: 17.5703 s	Remaining CPU time: 1782.43 s
17.98/18.02	c core #48
17.98/18.02	c Core size: 101	Core Weight: 1	Total Weight: 55
17.98/18.02	c Elapsed CPU time: 17.9313 s	Remaining CPU time: 1782.07 s
18.28/18.35	c core #49
18.28/18.35	c Core size: 101	Core Weight: 1	Total Weight: 56
18.28/18.35	c Elapsed CPU time: 18.2612 s	Remaining CPU time: 1781.74 s
18.68/18.71	c core #50
18.68/18.71	c Core size: 101	Core Weight: 1	Total Weight: 57
18.68/18.71	c Elapsed CPU time: 18.6232 s	Remaining CPU time: 1781.38 s
18.99/19.04	c core #51
18.99/19.04	c Core size: 101	Core Weight: 1	Total Weight: 58
18.99/19.04	c Elapsed CPU time: 18.9511 s	Remaining CPU time: 1781.05 s
19.29/19.37	c core #52
19.29/19.37	c Core size: 101	Core Weight: 1	Total Weight: 59
19.29/19.37	c Elapsed CPU time: 19.2811 s	Remaining CPU time: 1780.72 s
19.69/19.70	c core #53
19.69/19.70	c Core size: 101	Core Weight: 1	Total Weight: 60
19.69/19.70	c Elapsed CPU time: 19.608 s	Remaining CPU time: 1780.39 s
19.99/20.03	c core #54
19.99/20.03	c Core size: 101	Core Weight: 1	Total Weight: 61
19.99/20.03	c Elapsed CPU time: 19.938 s	Remaining CPU time: 1780.06 s
20.29/20.39	c core #55
20.29/20.39	c Core size: 101	Core Weight: 2	Total Weight: 63
20.29/20.39	c Elapsed CPU time: 20.2939 s	Remaining CPU time: 1779.71 s
20.69/20.72	c core #56
20.69/20.72	c Core size: 101	Core Weight: 1	Total Weight: 64
20.69/20.72	c Elapsed CPU time: 20.6269 s	Remaining CPU time: 1779.37 s
20.99/21.05	c core #57
20.99/21.05	c Core size: 401	Core Weight: 2	Total Weight: 66
20.99/21.05	c Elapsed CPU time: 20.9538 s	Remaining CPU time: 1779.05 s
21.29/21.38	c core #58
21.29/21.38	c Core size: 101	Core Weight: 1	Total Weight: 67
21.29/21.38	c Elapsed CPU time: 21.2818 s	Remaining CPU time: 1778.72 s
21.69/21.73	c core #59
21.69/21.73	c Core size: 101	Core Weight: 6	Total Weight: 73
21.69/21.73	c Elapsed CPU time: 21.6317 s	Remaining CPU time: 1778.37 s
21.99/22.05	c core #60
21.99/22.05	c Core size: 101	Core Weight: 1	Total Weight: 74
21.99/22.05	c Elapsed CPU time: 21.9597 s	Remaining CPU time: 1778.04 s
22.29/22.39	c core #61
22.29/22.39	c Core size: 201	Core Weight: 1	Total Weight: 75
22.29/22.39	c Elapsed CPU time: 22.2916 s	Remaining CPU time: 1777.71 s
22.69/22.72	c core #62
22.69/22.72	c Core size: 101	Core Weight: 1	Total Weight: 76
22.69/22.72	c Elapsed CPU time: 22.6296 s	Remaining CPU time: 1777.37 s
22.99/23.05	c core #63
22.99/23.05	c Core size: 101	Core Weight: 1	Total Weight: 77
22.99/23.05	c Elapsed CPU time: 22.9585 s	Remaining CPU time: 1777.04 s
23.29/23.38	c core #64
23.29/23.38	c Core size: 301	Core Weight: 1	Total Weight: 78
23.29/23.38	c Elapsed CPU time: 23.2855 s	Remaining CPU time: 1776.71 s
23.69/23.72	c core #65
23.69/23.72	c Core size: 201	Core Weight: 1	Total Weight: 79
23.69/23.72	c Elapsed CPU time: 23.6214 s	Remaining CPU time: 1776.38 s
23.99/24.09	c core #66
23.99/24.09	c Core size: 601	Core Weight: 1	Total Weight: 80
23.99/24.09	c Elapsed CPU time: 23.9914 s	Remaining CPU time: 1776.01 s
24.39/24.46	c core #67
24.39/24.46	c Core size: 101	Core Weight: 1	Total Weight: 81
24.39/24.46	c Elapsed CPU time: 24.3603 s	Remaining CPU time: 1775.64 s
24.79/24.80	c core #68
24.79/24.80	c Core size: 101	Core Weight: 1	Total Weight: 82
24.79/24.80	c Elapsed CPU time: 24.7082 s	Remaining CPU time: 1775.29 s
25.09/25.15	c core #69
25.09/25.15	c Core size: 101	Core Weight: 1	Total Weight: 83
25.09/25.15	c Elapsed CPU time: 25.0542 s	Remaining CPU time: 1774.95 s
25.39/25.48	c core #70
25.39/25.48	c Core size: 101	Core Weight: 1	Total Weight: 84
25.39/25.48	c Elapsed CPU time: 25.3891 s	Remaining CPU time: 1774.61 s
25.79/25.82	c core #71
25.79/25.82	c Core size: 101	Core Weight: 1	Total Weight: 85
25.79/25.82	c Elapsed CPU time: 25.7251 s	Remaining CPU time: 1774.27 s
26.09/26.18	c core #72
26.09/26.18	c Core size: 101	Core Weight: 1	Total Weight: 86
26.09/26.18	c Elapsed CPU time: 26.085 s	Remaining CPU time: 1773.91 s
26.48/26.53	c core #73
26.48/26.53	c Core size: 901	Core Weight: 1	Total Weight: 87
26.48/26.53	c Elapsed CPU time: 26.43 s	Remaining CPU time: 1773.57 s
26.78/26.88	c core #74
26.78/26.88	c Core size: 101	Core Weight: 1	Total Weight: 88
26.78/26.88	c Elapsed CPU time: 26.7839 s	Remaining CPU time: 1773.22 s
27.18/27.25	c core #75
27.18/27.25	c Core size: 101	Core Weight: 1	Total Weight: 89
27.18/27.25	c Elapsed CPU time: 27.1569 s	Remaining CPU time: 1772.84 s
27.49/27.59	c core #76
27.49/27.59	c Core size: 101	Core Weight: 1	Total Weight: 90
27.49/27.59	c Elapsed CPU time: 27.4938 s	Remaining CPU time: 1772.51 s
27.88/27.93	c core #77
27.88/27.93	c Core size: 101	Core Weight: 1	Total Weight: 91
27.88/27.93	c Elapsed CPU time: 27.8338 s	Remaining CPU time: 1772.17 s
28.18/28.28	c core #78
28.18/28.28	c Core size: 101	Core Weight: 1	Total Weight: 92
28.18/28.28	c Elapsed CPU time: 28.1807 s	Remaining CPU time: 1771.82 s
28.59/28.66	c core #79
28.59/28.66	c Core size: 1001	Core Weight: 1	Total Weight: 93
28.59/28.66	c Elapsed CPU time: 28.5597 s	Remaining CPU time: 1771.44 s
28.98/29.04	c core #80
28.98/29.04	c Core size: 101	Core Weight: 1	Total Weight: 94
28.98/29.04	c Elapsed CPU time: 28.9446 s	Remaining CPU time: 1771.06 s
29.38/29.42	c core #81
29.38/29.42	c Core size: 101	Core Weight: 1	Total Weight: 95
29.38/29.42	c Elapsed CPU time: 29.3195 s	Remaining CPU time: 1770.68 s
29.69/29.76	c core #82
29.69/29.76	c Core size: 101	Core Weight: 1	Total Weight: 96
29.69/29.76	c Elapsed CPU time: 29.6605 s	Remaining CPU time: 1770.34 s
30.08/30.10	c core #83
30.08/30.10	c Core size: 101	Core Weight: 1	Total Weight: 97
30.08/30.10	c Elapsed CPU time: 30.0054 s	Remaining CPU time: 1769.99 s
30.38/30.46	c core #84
30.38/30.46	c Core size: 101	Core Weight: 1	Total Weight: 98
30.38/30.46	c Elapsed CPU time: 30.3654 s	Remaining CPU time: 1769.63 s
30.79/30.80	c core #85
30.79/30.80	c Core size: 101	Core Weight: 1	Total Weight: 99
30.79/30.80	c Elapsed CPU time: 30.7053 s	Remaining CPU time: 1769.29 s
31.08/31.14	c core #86
31.08/31.14	c Core size: 301	Core Weight: 1	Total Weight: 100
31.08/31.14	c Elapsed CPU time: 31.0423 s	Remaining CPU time: 1768.96 s
31.38/31.48	c core #87
31.38/31.48	c Core size: 101	Core Weight: 1	Total Weight: 101
31.38/31.48	c Elapsed CPU time: 31.3752 s	Remaining CPU time: 1768.62 s
31.79/31.82	c core #88
31.79/31.82	c Core size: 101	Core Weight: 1	Total Weight: 102
31.79/31.82	c Elapsed CPU time: 31.7172 s	Remaining CPU time: 1768.28 s
32.08/32.18	c core #89
32.08/32.18	c Core size: 101	Core Weight: 1	Total Weight: 103
32.08/32.18	c Elapsed CPU time: 32.0771 s	Remaining CPU time: 1767.92 s
32.48/32.57	c core #90
32.48/32.57	c Core size: 101	Core Weight: 1	Total Weight: 104
32.48/32.57	c Elapsed CPU time: 32.4681 s	Remaining CPU time: 1767.53 s
32.89/32.91	c core #91
32.89/32.91	c Core size: 101	Core Weight: 1	Total Weight: 105
32.89/32.91	c Elapsed CPU time: 32.807 s	Remaining CPU time: 1767.19 s
33.18/33.25	c core #92
33.18/33.25	c Core size: 101	Core Weight: 1	Total Weight: 106
33.18/33.25	c Elapsed CPU time: 33.152 s	Remaining CPU time: 1766.85 s
33.48/33.59	c core #93
33.48/33.59	c Core size: 101	Core Weight: 1	Total Weight: 107
33.48/33.59	c Elapsed CPU time: 33.4899 s	Remaining CPU time: 1766.51 s
33.88/33.94	c core #94
33.88/33.94	c Core size: 101	Core Weight: 1	Total Weight: 108
33.88/33.94	c Elapsed CPU time: 33.8349 s	Remaining CPU time: 1766.17 s
34.28/34.31	c core #95
34.28/34.31	c Core size: 2601	Core Weight: 1	Total Weight: 109
34.28/34.31	c Elapsed CPU time: 34.2108 s	Remaining CPU time: 1765.79 s
34.58/34.68	c core #96
34.58/34.68	c Core size: 101	Core Weight: 1	Total Weight: 110
34.58/34.68	c Elapsed CPU time: 34.5757 s	Remaining CPU time: 1765.42 s
34.98/35.02	c core #97
34.98/35.02	c Core size: 101	Core Weight: 1	Total Weight: 111
34.98/35.02	c Elapsed CPU time: 34.9207 s	Remaining CPU time: 1765.08 s
35.28/35.37	c core #98
35.28/35.37	c Core size: 101	Core Weight: 1	Total Weight: 112
35.28/35.37	c Elapsed CPU time: 35.2676 s	Remaining CPU time: 1764.73 s
35.68/35.71	c core #99
35.68/35.71	c Core size: 101	Core Weight: 1	Total Weight: 113
35.68/35.71	c Elapsed CPU time: 35.6106 s	Remaining CPU time: 1764.39 s
35.98/36.05	c core #100
35.98/36.05	c Core size: 101	Core Weight: 1	Total Weight: 114
35.98/36.05	c Elapsed CPU time: 35.9505 s	Remaining CPU time: 1764.05 s
36.28/36.38	c core #101
36.28/36.38	c Core size: 101	Core Weight: 1	Total Weight: 115
36.28/36.38	c Elapsed CPU time: 36.2825 s	Remaining CPU time: 1763.72 s
36.68/36.72	c core #102
36.68/36.72	c Core size: 101	Core Weight: 2	Total Weight: 117
36.68/36.72	c Elapsed CPU time: 36.6184 s	Remaining CPU time: 1763.38 s
36.98/37.06	c core #103
36.98/37.06	c Core size: 101	Core Weight: 1	Total Weight: 118
36.98/37.06	c Elapsed CPU time: 36.9574 s	Remaining CPU time: 1763.04 s
37.28/37.40	c core #104
37.28/37.40	c Core size: 101	Core Weight: 2	Total Weight: 120
37.28/37.40	c Elapsed CPU time: 37.2973 s	Remaining CPU time: 1762.7 s
37.68/37.74	c core #105
37.68/37.74	c Core size: 101	Core Weight: 1	Total Weight: 121
37.68/37.74	c Elapsed CPU time: 37.6413 s	Remaining CPU time: 1762.36 s
37.98/38.09	c core #106
37.98/38.09	c Core size: 101	Core Weight: 1	Total Weight: 122
37.98/38.09	c Elapsed CPU time: 37.9842 s	Remaining CPU time: 1762.02 s
38.38/38.43	c core #107
38.38/38.43	c Core size: 901	Core Weight: 1	Total Weight: 123
38.38/38.43	c Elapsed CPU time: 38.3302 s	Remaining CPU time: 1761.67 s
38.68/38.79	c core #108
38.68/38.79	c Core size: 101	Core Weight: 1	Total Weight: 124
38.68/38.79	c Elapsed CPU time: 38.6851 s	Remaining CPU time: 1761.31 s
39.08/39.13	c core #109
39.08/39.13	c Core size: 101	Core Weight: 1	Total Weight: 125
39.08/39.13	c Elapsed CPU time: 39.0271 s	Remaining CPU time: 1760.97 s
39.38/39.49	c core #110
39.38/39.49	c Core size: 101	Core Weight: 2	Total Weight: 127
39.38/39.49	c Elapsed CPU time: 39.384 s	Remaining CPU time: 1760.62 s
39.78/39.83	c core #111
39.78/39.83	c Core size: 101	Core Weight: 1	Total Weight: 128
39.78/39.83	c Elapsed CPU time: 39.729 s	Remaining CPU time: 1760.27 s
40.08/40.18	c core #112
40.08/40.18	c Core size: 101	Core Weight: 3	Total Weight: 131
40.08/40.18	c Elapsed CPU time: 40.0749 s	Remaining CPU time: 1759.93 s
40.48/40.54	c core #113
40.48/40.54	c Core size: 1388	Core Weight: 1	Total Weight: 132
40.48/40.54	c Elapsed CPU time: 40.4299 s	Remaining CPU time: 1759.57 s
40.88/40.95	c core #114
40.88/40.95	c Core size: 3405	Core Weight: 1	Total Weight: 133
40.88/40.95	c Elapsed CPU time: 40.8418 s	Remaining CPU time: 1759.16 s
41.28/41.36	c core #115
41.28/41.36	c Core size: 101	Core Weight: 4	Total Weight: 137
41.28/41.36	c Elapsed CPU time: 41.2517 s	Remaining CPU time: 1758.75 s
41.69/41.71	c core #116
41.69/41.71	c Core size: 101	Core Weight: 1	Total Weight: 138
41.69/41.71	c Elapsed CPU time: 41.6027 s	Remaining CPU time: 1758.4 s
41.98/42.09	c core #117
41.98/42.09	c Core size: 691	Core Weight: 1	Total Weight: 139
41.98/42.09	c Elapsed CPU time: 41.9756 s	Remaining CPU time: 1758.02 s
42.48/42.51	c core #118
42.48/42.51	c Core size: 2273	Core Weight: 1	Total Weight: 140
42.48/42.51	c Elapsed CPU time: 42.3986 s	Remaining CPU time: 1757.6 s
42.78/42.88	c core #119
42.78/42.88	c Core size: 101	Core Weight: 2	Total Weight: 142
42.78/42.88	c Elapsed CPU time: 42.7675 s	Remaining CPU time: 1757.23 s
43.18/43.25	c core #120
43.18/43.25	c Core size: 1445	Core Weight: 1	Total Weight: 143
43.18/43.25	c Elapsed CPU time: 43.1314 s	Remaining CPU time: 1756.87 s
43.58/43.64	c core #121
43.58/43.64	c Core size: 1721	Core Weight: 1	Total Weight: 144
43.58/43.64	c Elapsed CPU time: 43.5154 s	Remaining CPU time: 1756.48 s
43.98/44.04	c core #122
43.98/44.04	c Core size: 101	Core Weight: 1	Total Weight: 145
43.98/44.04	c Elapsed CPU time: 43.9163 s	Remaining CPU time: 1756.08 s
44.37/44.40	c core #123
44.37/44.40	c Core size: 201	Core Weight: 1	Total Weight: 146
44.37/44.40	c Elapsed CPU time: 44.2723 s	Remaining CPU time: 1755.73 s
44.68/44.79	c core #124
44.68/44.79	c Core size: 1918	Core Weight: 1	Total Weight: 147
44.68/44.79	c Elapsed CPU time: 44.6562 s	Remaining CPU time: 1755.34 s
45.08/45.17	c core #125
45.08/45.17	c Core size: 203	Core Weight: 1	Total Weight: 148
45.08/45.17	c Elapsed CPU time: 45.0352 s	Remaining CPU time: 1754.96 s
45.47/45.56	c ============================[ Search Statistics ]==============================
45.47/45.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.47/45.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.47/45.56	c ===============================================================================
45.47/45.56	c |         0 |   31407   697589    54723 |   232529        0    nan |  0.000 % |
45.47/45.56	c ===============================================================================
45.47/45.57	c core #126
45.47/45.57	c Core size: 411	Core Weight: 1	Total Weight: 149
45.47/45.57	c Elapsed CPU time: 45.4271 s	Remaining CPU time: 1754.57 s
45.88/45.95	c ============================[ Search Statistics ]==============================
45.88/45.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.88/45.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.88/45.95	c ===============================================================================
45.88/45.95	c |         0 |   31809   697974    55177 |   232658        0    nan |  0.000 % |
45.88/45.98	c ===============================================================================
45.88/45.99	c core #127
45.88/45.99	c Core size: 1196	Core Weight: 1	Total Weight: 150
45.88/45.99	c Elapsed CPU time: 45.84 s	Remaining CPU time: 1754.16 s
46.28/46.38	c ============================[ Search Statistics ]==============================
46.28/46.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.28/46.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.28/46.38	c ===============================================================================
46.28/46.38	c |         0 |   32988   699108    56614 |   233036        0    nan |  0.000 % |
46.28/46.39	c ===============================================================================
46.28/46.39	c core #128
46.28/46.39	c Core size: 598	Core Weight: 1	Total Weight: 151
46.28/46.39	c Elapsed CPU time: 46.238 s	Remaining CPU time: 1753.76 s
46.67/46.78	c ============================[ Search Statistics ]==============================
46.67/46.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.67/46.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.67/46.78	c ===============================================================================
46.67/46.78	c |         0 |   33576   699678    57315 |   233226        0    nan |  0.000 % |
46.77/46.81	c ===============================================================================
46.77/46.81	c core #129
46.77/46.81	c Core size: 820	Core Weight: 1	Total Weight: 152
46.77/46.81	c Elapsed CPU time: 46.6509 s	Remaining CPU time: 1753.35 s
47.18/47.21	c ============================[ Search Statistics ]==============================
47.18/47.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.18/47.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.18/47.21	c ===============================================================================
47.18/47.21	c |         0 |   34383   700449    58284 |   233483        0    nan |  0.000 % |
47.18/47.25	c ===============================================================================
47.18/47.26	c core #130
47.18/47.26	c Core size: 1000	Core Weight: 1	Total Weight: 153
47.18/47.26	c Elapsed CPU time: 47.0888 s	Remaining CPU time: 1752.91 s
47.58/47.66	c ============================[ Search Statistics ]==============================
47.58/47.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.58/47.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.58/47.66	c ===============================================================================
47.58/47.66	c |         0 |   35369   701390    59547 |   233796        0    nan |  0.000 % |
47.68/47.78	c ===============================================================================
47.68/47.78	c core #131
47.68/47.78	c Core size: 2731	Core Weight: 1	Total Weight: 154
47.68/47.78	c Elapsed CPU time: 47.6078 s	Remaining CPU time: 1752.39 s
48.08/48.19	c ============================[ Search Statistics ]==============================
48.08/48.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.08/48.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.08/48.19	c ===============================================================================
48.08/48.19	c |         0 |   38065   703941    63067 |   234647        0    nan |  0.000 % |
48.38/48.48	c ===============================================================================
48.38/48.49	c core #132
48.38/48.49	c Core size: 4705	Core Weight: 1	Total Weight: 155
48.38/48.49	c Elapsed CPU time: 48.2947 s	Remaining CPU time: 1751.71 s
48.88/48.90	c Learning 1 hard constraints
48.88/48.90	c ============================[ Search Statistics ]==============================
48.88/48.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.88/48.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.88/48.90	c ===============================================================================
48.88/48.90	c |         0 |   42671   708301    69682 |   236100        0    nan |  0.000 % |
49.17/49.24	c ===============================================================================
49.17/49.24	c core #133
49.17/49.24	c Core size: 4521	Core Weight: 1	Total Weight: 156
49.17/49.24	c Elapsed CPU time: 49.0325 s	Remaining CPU time: 1750.97 s
49.58/49.66	c ============================[ Search Statistics ]==============================
49.58/49.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.58/49.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.58/49.66	c ===============================================================================
49.58/49.66	c |         0 |   47083   712420    75581 |   237473        0    nan |  0.000 % |
49.78/49.89	c |       101 |   47081   712420    75581 |   261220       99   1444 | 16.686 % |
50.17/50.25	c |       253 |   47080   712420    75581 |   287342      250   1534 | 16.687 % |
50.87/50.90	c |       478 |   47079   712420    75581 |   316077      474   1980 | 16.689 % |
51.87/51.99	c |       817 |   46960   712420    75581 |   347684      356    943 | 16.900 % |
52.57/52.70	c ===============================================================================
52.68/52.71	c core #134
52.68/52.71	c Core size: 8954	Core Weight: 1	Total Weight: 157
52.68/52.71	c Elapsed CPU time: 52.479 s	Remaining CPU time: 1747.52 s
53.08/53.16	c Learning 2 hard constraints
53.08/53.16	c ============================[ Search Statistics ]==============================
53.08/53.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
53.08/53.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
53.08/53.16	c ===============================================================================
53.08/53.16	c |         0 |   55602   720072    87883 |   240024        0    nan |  0.000 % |
53.27/53.37	c |       100 |   55602   720072    87883 |   264026      100    777 | 14.390 % |
53.78/53.85	c |       251 |   55602   720072    87883 |   290429      251   1254 | 14.390 % |
54.57/54.61	c |       476 |   55602   720072    87883 |   319471      476   1593 | 14.390 % |
55.67/55.72	c |       813 |   55602   720072    87883 |   351419      813   1794 | 14.390 % |
57.28/57.38	c |      1321 |   55601   720072    87883 |   386561     1320   2118 | 14.392 % |
60.67/60.75	c |      2081 |   55601   720072    87883 |   425217     2080   2224 | 14.392 % |
65.67/65.74	c |      3220 |   55599   720072    87883 |   467738     3209   2662 | 14.395 % |
76.47/76.52	c |      4929 |   55599   720072    87883 |   514512     4918   3352 | 14.395 % |
90.87/90.95	c |      7493 |   55599   720072    87883 |   565964     7482   3593 | 14.395 % |
114.86/114.95	c ===============================================================================
115.06/115.10	c core #135
115.06/115.10	c Core size: 12420	Core Weight: 1	Total Weight: 158
115.06/115.10	c Elapsed CPU time: 114.606 s	Remaining CPU time: 1685.39 s
115.45/115.59	c Learning 48 hard constraints
115.45/115.59	c ============================[ Search Statistics ]==============================
115.45/115.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
115.45/115.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
115.45/115.59	c ===============================================================================
115.45/115.59	c |         0 |   66653   729268   120682 |   243089        0    nan |  0.000 % |
115.76/115.83	c |       100 |   66653   729268   120682 |   267398      100   1082 | 12.188 % |
116.46/116.57	c |       250 |   66652   729268   120682 |   294138      249    769 | 12.189 % |
117.36/117.43	c |       475 |   66652   729268   120682 |   323551      474    601 | 12.189 % |
118.66/118.76	c |       812 |   66652   729268   120682 |   355907      811    489 | 12.189 % |
120.05/120.12	c |      1319 |   66652   729268   120682 |   391497     1318    804 | 12.189 % |
123.45/123.53	c |      2078 |   66652   729268   120682 |   430647     2077    692 | 12.189 % |
127.66/127.74	c |      3217 |   66652   729268   120682 |   473712     3216    797 | 12.189 % |
133.55/133.60	c |      4925 |   66652   729268   120682 |   521083     4924    985 | 12.189 % |
147.45/147.54	c |      7487 |   66652   729268   120682 |   573191     7486   1186 | 12.189 % |
171.64/171.73	c |     11331 |   66652   729268   120682 |   630511    11330   1351 | 12.189 % |
205.83/205.99	c |     17097 |   66652   729268   120682 |   693562    17096   1672 | 12.189 % |
254.31/254.42	c |     25747 |   66650   729268   120682 |   762918    25727   1657 | 12.192 % |
354.49/354.70	c |     38722 |   66649   729268   120682 |   839210    38680   2122 | 12.193 % |
533.83/534.02	c |     58187 |   66647   729268   120682 |   923131    58137   2581 | 12.196 % |
963.30/963.67	c |     87380 |   66647   729268   120682 |  1015444    87320   3511 | 12.196 % |

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-1875631-1245140516/watcher-1875631-1245140516 -o /tmp/evaluation-result-1875631-1245140516/solver-1875631-1245140516 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875631-1245140516.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: 1.00 1.00 1.00 3/64 5601
/proc/meminfo: memFree=1355064/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=19684 CPUtime=0
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181650980 20156416 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134542978 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 4921 251 122 292 0 418 0

[startup+0.0306921 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5601
/proc/meminfo: memFree=1355064/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=21396 CPUtime=0.02
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 707 0 0 0 2 0 0 0 18 0 1 0 181650980 21909504 691 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 5349 692 162 292 0 846 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21396

[startup+0.101701 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5601
/proc/meminfo: memFree=1355064/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=22220 CPUtime=0.09
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 1017 0 0 0 9 0 0 0 18 0 1 0 181650980 22753280 1001 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 5555 1001 294 292 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.301732 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5601
/proc/meminfo: memFree=1355064/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=24136 CPUtime=0.29
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 1886 0 0 0 29 0 0 0 19 0 1 0 181650980 24715264 1870 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 6034 1870 657 292 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24136

[startup+0.701792 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5601
/proc/meminfo: memFree=1355064/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=28148 CPUtime=0.69
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 3558 0 0 0 68 1 0 0 22 0 1 0 181650980 28823552 3542 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 7037 3542 1356 292 0 2534 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28148

[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=1343280/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=36156 CPUtime=1.49
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 6995 0 0 0 147 2 0 0 25 0 1 0 181650980 37023744 6979 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 9039 6979 2791 292 0 4536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36156

[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=1332208/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=53772 CPUtime=3.09
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 19331 0 0 0 302 7 0 0 25 0 1 0 181650980 55062528 12628 1992294400 134512640 135709839 4294956240 18446744073709551615 134530473 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 13443 12628 133 292 0 13148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53772

[startup+6.30165 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 5602
/proc/meminfo: memFree=1301488/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=56940 CPUtime=6.29
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 20123 0 0 0 621 8 0 0 25 0 1 0 181650980 58306560 13420 1992294400 134512640 135709839 4294956240 18446744073709551615 135162244 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 14235 13420 133 292 0 13940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56940

[startup+12.7016 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 5602
/proc/meminfo: memFree=1300984/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=57732 CPUtime=12.69
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 20313 0 0 0 1261 8 0 0 25 0 1 0 181650980 59117568 13610 1992294400 134512640 135709839 4294956240 18446744073709551615 135165885 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 14433 13610 133 292 0 14138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57732

[startup+25.5016 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 5602
/proc/meminfo: memFree=1299192/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=59844 CPUtime=25.49
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 20857 0 0 0 2540 9 0 0 25 0 1 0 181650980 61280256 14154 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 14961 14154 133 292 0 14666 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59844

[startup+51.1015 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5602
/proc/meminfo: memFree=1282808/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=77584 CPUtime=51.07
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 40135 0 0 0 5086 21 0 0 25 0 1 0 181650980 79446016 18128 1992294400 134512640 135709839 4294956240 18446744073709551615 134517554 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 19396 18128 136 292 0 19101 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 77584

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5602
/proc/meminfo: memFree=1154296/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=206108 CPUtime=102.26
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 73635 0 0 0 10184 42 0 0 25 0 1 0 181650980 211054592 50268 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 51527 50268 136 292 0 51232 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 206108

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=1106360/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=254448 CPUtime=162.24
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 87131 0 0 0 16169 55 0 0 25 0 1 0 181650980 260554752 62171 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 63612 62171 136 292 0 63317 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 254448

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=1106296/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=254448 CPUtime=222.23
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 87134 0 0 0 22163 60 0 0 25 0 1 0 181650980 260554752 62174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 63612 62174 136 292 0 63317 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 254448

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=1087416/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=274464 CPUtime=282.2
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 92139 0 0 0 28152 68 0 0 25 0 1 0 181650980 281051136 67179 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 68616 67179 136 292 0 68321 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 274464

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=989240/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=371664 CPUtime=342.19
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 116430 0 0 0 34136 83 0 0 25 0 1 0 181650980 380583936 91470 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 92916 91470 136 292 0 92621 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 371664

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=905272/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=456244 CPUtime=402.17
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 137574 0 0 0 40120 97 0 0 25 0 1 0 181650980 467193856 112614 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 114061 112614 136 292 0 113766 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 456244

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=808632/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=553132 CPUtime=462.15
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 161800 0 0 0 46104 111 0 0 25 0 1 0 181650980 566407168 136840 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 138283 136840 136 292 0 137988 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 553132

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=700984/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=659796 CPUtime=522.13
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 188482 0 0 0 52087 126 0 0 25 0 1 0 181650980 675631104 163522 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 164949 163522 136 292 0 164654 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 659796

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=617080/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=743904 CPUtime=582.11
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 209451 0 0 0 58074 137 0 0 25 0 1 0 181650980 761757696 184491 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 185976 184491 136 292 0 185681 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 743904

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=521336/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=838276 CPUtime=642.1
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 233058 0 0 0 64061 149 0 0 25 0 1 0 181650980 858394624 208098 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 209569 208098 136 292 0 209274 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 838276

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=430200/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=930188 CPUtime=702.08
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 256054 0 0 0 70048 160 0 0 25 0 1 0 181650980 952512512 231094 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 232547 231094 136 292 0 232252 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 930188

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=338232/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1021020 CPUtime=762.06
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 278771 0 0 0 76032 174 0 0 25 0 1 0 181650980 1045524480 253811 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 255255 253811 136 292 0 254960 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 1021020

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=254136/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1105372 CPUtime=822.04
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 299839 0 0 0 82020 184 0 0 25 0 1 0 181650980 1131900928 274879 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 276343 274879 136 292 0 276048 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 1105372

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=183096/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1175956 CPUtime=882.02
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 317504 0 0 0 88007 195 0 0 25 0 1 0 181650980 1204178944 292544 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 293989 292544 136 292 0 293694 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 1175956

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=98488/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1260960 CPUtime=942.01
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 338762 0 0 0 93995 206 0 0 25 0 1 0 181650980 1291223040 313802 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 315240 313802 136 292 0 314945 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1260960

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5602
/proc/meminfo: memFree=18424/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1340424 CPUtime=1001.98
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 358610 0 0 0 99981 217 0 0 25 0 1 0 181650980 1372594176 333650 1992294400 134512640 135709839 4294956240 18446744073709551615 134572756 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 335106 333650 136 292 0 334811 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 1340424

[startup+1062.3 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 5602
/proc/meminfo: memFree=15288/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1416452 CPUtime=1061.97
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 377559 0 0 0 105969 228 0 0 25 0 1 0 181650980 1450446848 352599 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 354113 352599 136 292 0 353818 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1416452

[startup+1122.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/65 5602
/proc/meminfo: memFree=15032/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1505272 CPUtime=1121.95
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 399788 0 0 0 111955 240 0 0 25 0 1 0 181650980 1541398528 374828 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 376318 374828 136 292 0 376023 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1505272

[startup+1182.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 5602
/proc/meminfo: memFree=15096/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1578612 CPUtime=1181.93
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 418129 0 0 0 117943 250 0 0 25 0 1 0 181650980 1616498688 393169 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 394653 393169 136 292 0 394358 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1578612

[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 5602
/proc/meminfo: memFree=14904/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1647312 CPUtime=1241.91
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 435291 0 0 0 123932 259 0 0 25 0 1 0 181650980 1686847488 410331 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 411828 410331 136 292 0 411533 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1647312

[startup+1302.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 5602
/proc/meminfo: memFree=15288/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1736016 CPUtime=1301.9
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 457459 0 0 0 129918 272 0 0 25 0 1 0 181650980 1777680384 432499 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 434004 432499 136 292 0 433709 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1736016

[startup+1362.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 5602
/proc/meminfo: memFree=16120/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1841812 CPUtime=1361.88
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 483921 0 0 0 135902 286 0 0 25 0 1 0 181650980 1886015488 458961 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 460453 458961 136 292 0 460158 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1841812



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1363.7 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 5602
/proc/meminfo: memFree=15608/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=1843268 CPUtime=1363.28
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4194304 484310 0 0 0 136042 286 0 0 25 0 1 0 181650980 1887506432 459350 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 460817 459350 136 292 0 460522 0
Current children cumulated CPU time (s) 1363.28
Current children cumulated vsize (KiB) 1843268

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

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

[startup+1363.81 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 5602
/proc/meminfo: memFree=15608/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=0 CPUtime=1363.38
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4195332 484310 0 0 0 136042 296 0 0 25 0 1 0 181650980 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1363.38
Current children cumulated vsize (KiB) 0

[startup+1363.9 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 5603
/proc/meminfo: memFree=1276080/2055920 swapFree=4191900/4192956
[pid=5601] ppid=5599 vsize=0 CPUtime=1363.48
/proc/5601/stat : 5601 (wbo) R 5599 5601 5288 0 -1 4195332 484310 0 0 0 136042 306 0 0 25 0 1 0 181650980 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5601/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1363.48
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1364.01
CPU time (s): 1363.59
CPU user time (s): 1360.42
CPU system time (s): 3.16652
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 1843268

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

runsolver used 1.23981 second user time and 2.76858 second system time

The end

Launcher Data 

Begin job on node34 at 2009-06-16 10:21:57
IDJOB=1875631
IDBENCH=1967
IDSOLVER=698
FILE ID=node34/1875631-1245140516
PBS_JOBID= 9363723
Free space on /tmp= 66236 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875631-1245140516/watcher-1875631-1245140516 -o /tmp/evaluation-result-1875631-1245140516/solver-1875631-1245140516 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875631-1245140516.opb

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

MD5SUM BENCH= 8eed52e8cea562b1b1ee5bae07565266
RANDOM SEED=1574791028

node34.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.263
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.263
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:       1355608 kB
Buffers:         52848 kB
Cached:         563176 kB
SwapCached:        260 kB
Active:          85668 kB
Inactive:       543688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1355608 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           19204 kB
Writeback:           0 kB
Mapped:          21816 kB
Slab:            57040 kB
Committed_AS:   163376 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875631-1245140516.opb

Free space on /tmp at the end= 66236 MiB
End job on node34 at 2009-06-16 10:44:43