Trace number 1875634

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? (TO) 1800.34 1800.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM5f836d1b8d150c1925229546ed283812
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5701
Best CPU time to get the best result obtained on this benchmark1531.68
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 453
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 491651
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 491651
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-1875634-1245141134.opb.
0.00/0.00	c Instance file HOME/instance-1875634-1245141134.opb
0.00/0.00	c File size is 17233665 bytes.
2.30/2.39	c Highest Coefficient sum: 101
2.39/2.40	c ============================[ Problem Statistics ]=============================
2.39/2.40	c |                                                                             |
2.39/2.40	c |  Parsing time:          2.35         s                                      |
2.39/2.40	c |  Number Variables:      10000                                               |
2.39/2.40	c |  Number Clauses:        666900                                              |
2.39/2.40	c |  Number Cardinality:    0                                                   |
2.39/2.40	c |  Number PB Constraints: 0                                                   |
2.39/2.40	c core #1
2.39/2.40	c Core size: 101	Core Weight: 1	Total Weight: 1
2.39/2.40	c Elapsed CPU time: 2.35064 s	Remaining CPU time: 1797.65 s
2.69/2.74	c core #2
2.69/2.74	c Core size: 101	Core Weight: 1	Total Weight: 2
2.69/2.74	c Elapsed CPU time: 2.6586 s	Remaining CPU time: 1797.34 s
2.99/3.06	c core #3
2.99/3.06	c Core size: 101	Core Weight: 1	Total Weight: 3
2.99/3.06	c Elapsed CPU time: 2.98155 s	Remaining CPU time: 1797.02 s
3.30/3.40	c core #4
3.30/3.40	c Core size: 101	Core Weight: 1	Total Weight: 4
3.30/3.40	c Elapsed CPU time: 3.3125 s	Remaining CPU time: 1796.69 s
3.69/3.71	c core #5
3.69/3.71	c Core size: 101	Core Weight: 1	Total Weight: 5
3.69/3.71	c Elapsed CPU time: 3.63045 s	Remaining CPU time: 1796.37 s
3.99/4.04	c core #6
3.99/4.04	c Core size: 101	Core Weight: 1	Total Weight: 6
3.99/4.04	c Elapsed CPU time: 3.9564 s	Remaining CPU time: 1796.04 s
4.29/4.36	c core #7
4.29/4.36	c Core size: 101	Core Weight: 1	Total Weight: 7
4.29/4.36	c Elapsed CPU time: 4.28135 s	Remaining CPU time: 1795.72 s
4.69/4.70	c core #8
4.69/4.70	c Core size: 101	Core Weight: 1	Total Weight: 8
4.69/4.70	c Elapsed CPU time: 4.6203 s	Remaining CPU time: 1795.38 s
4.99/5.03	c core #9
4.99/5.03	c Core size: 101	Core Weight: 1	Total Weight: 9
4.99/5.03	c Elapsed CPU time: 4.94125 s	Remaining CPU time: 1795.06 s
5.29/5.38	c core #10
5.29/5.38	c Core size: 101	Core Weight: 1	Total Weight: 10
5.29/5.38	c Elapsed CPU time: 5.2912 s	Remaining CPU time: 1794.71 s
5.69/5.72	c core #11
5.69/5.72	c Core size: 101	Core Weight: 1	Total Weight: 11
5.69/5.72	c Elapsed CPU time: 5.63814 s	Remaining CPU time: 1794.36 s
5.99/6.05	c core #12
5.99/6.05	c Core size: 101	Core Weight: 1	Total Weight: 12
5.99/6.05	c Elapsed CPU time: 5.96209 s	Remaining CPU time: 1794.04 s
6.29/6.37	c core #13
6.29/6.37	c Core size: 101	Core Weight: 1	Total Weight: 13
6.29/6.37	c Elapsed CPU time: 6.28404 s	Remaining CPU time: 1793.72 s
6.69/6.71	c core #14
6.69/6.71	c Core size: 101	Core Weight: 1	Total Weight: 14
6.69/6.71	c Elapsed CPU time: 6.61999 s	Remaining CPU time: 1793.38 s
6.99/7.03	c core #15
6.99/7.03	c Core size: 101	Core Weight: 1	Total Weight: 15
6.99/7.03	c Elapsed CPU time: 6.94294 s	Remaining CPU time: 1793.06 s
7.29/7.36	c core #16
7.29/7.36	c Core size: 101	Core Weight: 1	Total Weight: 16
7.29/7.36	c Elapsed CPU time: 7.27389 s	Remaining CPU time: 1792.73 s
7.59/7.68	c core #17
7.59/7.68	c Core size: 101	Core Weight: 1	Total Weight: 17
7.59/7.68	c Elapsed CPU time: 7.59384 s	Remaining CPU time: 1792.41 s
7.99/8.01	c core #18
7.99/8.01	c Core size: 101	Core Weight: 1	Total Weight: 18
7.99/8.01	c Elapsed CPU time: 7.92279 s	Remaining CPU time: 1792.08 s
8.29/8.33	c core #19
8.29/8.33	c Core size: 101	Core Weight: 1	Total Weight: 19
8.29/8.33	c Elapsed CPU time: 8.24175 s	Remaining CPU time: 1791.76 s
8.59/8.65	c core #20
8.59/8.65	c Core size: 201	Core Weight: 1	Total Weight: 20
8.59/8.65	c Elapsed CPU time: 8.5627 s	Remaining CPU time: 1791.44 s
8.89/8.98	c core #21
8.89/8.98	c Core size: 101	Core Weight: 1	Total Weight: 21
8.89/8.98	c Elapsed CPU time: 8.89265 s	Remaining CPU time: 1791.11 s
9.29/9.33	c core #22
9.29/9.33	c Core size: 101	Core Weight: 1	Total Weight: 22
9.29/9.33	c Elapsed CPU time: 9.24459 s	Remaining CPU time: 1790.76 s
9.59/9.65	c core #23
9.59/9.65	c Core size: 101	Core Weight: 2	Total Weight: 24
9.59/9.65	c Elapsed CPU time: 9.56654 s	Remaining CPU time: 1790.43 s
9.89/9.97	c core #24
9.89/9.97	c Core size: 101	Core Weight: 1	Total Weight: 25
9.89/9.97	c Elapsed CPU time: 9.8865 s	Remaining CPU time: 1790.11 s
10.29/10.33	c core #25
10.29/10.33	c Core size: 101	Core Weight: 1	Total Weight: 26
10.29/10.33	c Elapsed CPU time: 10.2404 s	Remaining CPU time: 1789.76 s
10.59/10.66	c core #26
10.59/10.66	c Core size: 101	Core Weight: 1	Total Weight: 27
10.59/10.66	c Elapsed CPU time: 10.5744 s	Remaining CPU time: 1789.43 s
10.89/10.99	c core #27
10.89/10.99	c Core size: 101	Core Weight: 1	Total Weight: 28
10.89/10.99	c Elapsed CPU time: 10.9053 s	Remaining CPU time: 1789.09 s
11.29/11.31	c core #28
11.29/11.31	c Core size: 101	Core Weight: 1	Total Weight: 29
11.29/11.31	c Elapsed CPU time: 11.2283 s	Remaining CPU time: 1788.77 s
11.59/11.64	c core #29
11.59/11.64	c Core size: 101	Core Weight: 2	Total Weight: 31
11.59/11.64	c Elapsed CPU time: 11.5552 s	Remaining CPU time: 1788.44 s
11.89/11.97	c core #30
11.89/11.97	c Core size: 101	Core Weight: 1	Total Weight: 32
11.89/11.97	c Elapsed CPU time: 11.8862 s	Remaining CPU time: 1788.11 s
12.28/12.30	c core #31
12.28/12.30	c Core size: 201	Core Weight: 1	Total Weight: 33
12.28/12.30	c Elapsed CPU time: 12.2111 s	Remaining CPU time: 1787.79 s
12.58/12.64	c core #32
12.58/12.64	c Core size: 501	Core Weight: 1	Total Weight: 34
12.58/12.64	c Elapsed CPU time: 12.5481 s	Remaining CPU time: 1787.45 s
12.88/12.97	c core #33
12.88/12.97	c Core size: 101	Core Weight: 1	Total Weight: 35
12.88/12.97	c Elapsed CPU time: 12.886 s	Remaining CPU time: 1787.11 s
13.29/13.31	c core #34
13.29/13.31	c Core size: 101	Core Weight: 1	Total Weight: 36
13.29/13.31	c Elapsed CPU time: 13.225 s	Remaining CPU time: 1786.78 s
13.58/13.66	c core #35
13.58/13.66	c Core size: 101	Core Weight: 1	Total Weight: 37
13.58/13.66	c Elapsed CPU time: 13.5679 s	Remaining CPU time: 1786.43 s
13.88/13.98	c core #36
13.88/13.98	c Core size: 101	Core Weight: 8	Total Weight: 45
13.88/13.98	c Elapsed CPU time: 13.8949 s	Remaining CPU time: 1786.11 s
14.29/14.32	c core #37
14.29/14.32	c Core size: 101	Core Weight: 1	Total Weight: 46
14.29/14.32	c Elapsed CPU time: 14.2258 s	Remaining CPU time: 1785.77 s
14.58/14.67	c core #38
14.58/14.67	c Core size: 101	Core Weight: 1	Total Weight: 47
14.58/14.67	c Elapsed CPU time: 14.5788 s	Remaining CPU time: 1785.42 s
14.98/15.00	c core #39
14.98/15.00	c Core size: 101	Core Weight: 1	Total Weight: 48
14.98/15.00	c Elapsed CPU time: 14.9087 s	Remaining CPU time: 1785.09 s
15.28/15.36	c core #40
15.28/15.36	c Core size: 101	Core Weight: 3	Total Weight: 51
15.28/15.36	c Elapsed CPU time: 15.2687 s	Remaining CPU time: 1784.73 s
15.68/15.73	c core #41
15.68/15.73	c Core size: 101	Core Weight: 1	Total Weight: 52
15.68/15.73	c Elapsed CPU time: 15.6366 s	Remaining CPU time: 1784.36 s
15.98/16.05	c core #42
15.98/16.05	c Core size: 101	Core Weight: 2	Total Weight: 54
15.98/16.05	c Elapsed CPU time: 15.9646 s	Remaining CPU time: 1784.04 s
16.28/16.38	c core #43
16.28/16.38	c Core size: 101	Core Weight: 1	Total Weight: 55
16.28/16.38	c Elapsed CPU time: 16.2925 s	Remaining CPU time: 1783.71 s
16.68/16.72	c core #44
16.68/16.72	c Core size: 101	Core Weight: 1	Total Weight: 56
16.68/16.72	c Elapsed CPU time: 16.6275 s	Remaining CPU time: 1783.37 s
16.98/17.07	c core #45
16.98/17.07	c Core size: 101	Core Weight: 1	Total Weight: 57
16.98/17.07	c Elapsed CPU time: 16.9814 s	Remaining CPU time: 1783.02 s
17.38/17.40	c core #46
17.38/17.40	c Core size: 101	Core Weight: 2	Total Weight: 59
17.38/17.40	c Elapsed CPU time: 17.3154 s	Remaining CPU time: 1782.68 s
17.78/17.80	c core #47
17.78/17.80	c Core size: 401	Core Weight: 1	Total Weight: 60
17.78/17.80	c Elapsed CPU time: 17.7143 s	Remaining CPU time: 1782.29 s
18.08/18.17	c core #48
18.08/18.17	c Core size: 101	Core Weight: 1	Total Weight: 61
18.08/18.17	c Elapsed CPU time: 18.0813 s	Remaining CPU time: 1781.92 s
18.48/18.53	c core #49
18.48/18.53	c Core size: 101	Core Weight: 1	Total Weight: 62
18.48/18.53	c Elapsed CPU time: 18.4442 s	Remaining CPU time: 1781.56 s
18.79/18.87	c core #50
18.79/18.87	c Core size: 101	Core Weight: 1	Total Weight: 63
18.79/18.87	c Elapsed CPU time: 18.7751 s	Remaining CPU time: 1781.22 s
19.18/19.20	c core #51
19.18/19.20	c Core size: 101	Core Weight: 2	Total Weight: 65
19.18/19.20	c Elapsed CPU time: 19.1071 s	Remaining CPU time: 1780.89 s
19.48/19.53	c core #52
19.48/19.53	c Core size: 201	Core Weight: 1	Total Weight: 66
19.48/19.53	c Elapsed CPU time: 19.44 s	Remaining CPU time: 1780.56 s
19.79/19.86	c core #53
19.79/19.86	c Core size: 101	Core Weight: 1	Total Weight: 67
19.79/19.86	c Elapsed CPU time: 19.771 s	Remaining CPU time: 1780.23 s
20.18/20.22	c core #54
20.18/20.22	c Core size: 101	Core Weight: 1	Total Weight: 68
20.18/20.22	c Elapsed CPU time: 20.1319 s	Remaining CPU time: 1779.87 s
20.48/20.55	c core #55
20.48/20.55	c Core size: 201	Core Weight: 1	Total Weight: 69
20.48/20.55	c Elapsed CPU time: 20.4569 s	Remaining CPU time: 1779.54 s
20.78/20.88	c core #56
20.78/20.88	c Core size: 101	Core Weight: 1	Total Weight: 70
20.78/20.88	c Elapsed CPU time: 20.7918 s	Remaining CPU time: 1779.21 s
21.18/21.21	c core #57
21.18/21.21	c Core size: 101	Core Weight: 1	Total Weight: 71
21.18/21.21	c Elapsed CPU time: 21.1208 s	Remaining CPU time: 1778.88 s
21.48/21.55	c core #58
21.48/21.55	c Core size: 101	Core Weight: 1	Total Weight: 72
21.48/21.55	c Elapsed CPU time: 21.4527 s	Remaining CPU time: 1778.55 s
21.78/21.88	c core #59
21.78/21.88	c Core size: 101	Core Weight: 1	Total Weight: 73
21.78/21.88	c Elapsed CPU time: 21.7837 s	Remaining CPU time: 1778.22 s
22.19/22.22	c core #60
22.19/22.22	c Core size: 401	Core Weight: 1	Total Weight: 74
22.19/22.22	c Elapsed CPU time: 22.1286 s	Remaining CPU time: 1777.87 s
22.49/22.56	c core #61
22.49/22.56	c Core size: 101	Core Weight: 1	Total Weight: 75
22.49/22.56	c Elapsed CPU time: 22.4676 s	Remaining CPU time: 1777.53 s
22.79/22.89	c core #62
22.79/22.89	c Core size: 101	Core Weight: 3	Total Weight: 78
22.79/22.89	c Elapsed CPU time: 22.8005 s	Remaining CPU time: 1777.2 s
23.19/23.22	c core #63
23.19/23.22	c Core size: 101	Core Weight: 1	Total Weight: 79
23.19/23.22	c Elapsed CPU time: 23.1295 s	Remaining CPU time: 1776.87 s
23.49/23.56	c core #64
23.49/23.56	c Core size: 101	Core Weight: 2	Total Weight: 81
23.49/23.56	c Elapsed CPU time: 23.4614 s	Remaining CPU time: 1776.54 s
23.79/23.89	c core #65
23.79/23.89	c Core size: 101	Core Weight: 1	Total Weight: 82
23.79/23.89	c Elapsed CPU time: 23.7924 s	Remaining CPU time: 1776.21 s
24.19/24.22	c core #66
24.19/24.22	c Core size: 101	Core Weight: 1	Total Weight: 83
24.19/24.22	c Elapsed CPU time: 24.1293 s	Remaining CPU time: 1775.87 s
24.49/24.55	c core #67
24.49/24.55	c Core size: 101	Core Weight: 1	Total Weight: 84
24.49/24.55	c Elapsed CPU time: 24.4553 s	Remaining CPU time: 1775.54 s
24.79/24.88	c core #68
24.79/24.88	c Core size: 101	Core Weight: 1	Total Weight: 85
24.79/24.88	c Elapsed CPU time: 24.7862 s	Remaining CPU time: 1775.21 s
25.19/25.21	c core #69
25.19/25.21	c Core size: 801	Core Weight: 1	Total Weight: 86
25.19/25.21	c Elapsed CPU time: 25.1202 s	Remaining CPU time: 1774.88 s
25.49/25.55	c core #70
25.49/25.55	c Core size: 101	Core Weight: 1	Total Weight: 87
25.49/25.55	c Elapsed CPU time: 25.4581 s	Remaining CPU time: 1774.54 s
25.79/25.89	c core #71
25.79/25.89	c Core size: 101	Core Weight: 1	Total Weight: 88
25.79/25.89	c Elapsed CPU time: 25.7901 s	Remaining CPU time: 1774.21 s
26.19/26.25	c core #72
26.19/26.25	c Core size: 101	Core Weight: 2	Total Weight: 90
26.19/26.25	c Elapsed CPU time: 26.153 s	Remaining CPU time: 1773.85 s
26.49/26.58	c core #73
26.49/26.58	c Core size: 101	Core Weight: 1	Total Weight: 91
26.49/26.58	c Elapsed CPU time: 26.487 s	Remaining CPU time: 1773.51 s
26.88/26.92	c core #74
26.88/26.92	c Core size: 101	Core Weight: 1	Total Weight: 92
26.88/26.92	c Elapsed CPU time: 26.8209 s	Remaining CPU time: 1773.18 s
27.19/27.25	c core #75
27.19/27.25	c Core size: 101	Core Weight: 1	Total Weight: 93
27.19/27.25	c Elapsed CPU time: 27.1539 s	Remaining CPU time: 1772.85 s
27.49/27.58	c core #76
27.49/27.58	c Core size: 101	Core Weight: 1	Total Weight: 94
27.49/27.58	c Elapsed CPU time: 27.4878 s	Remaining CPU time: 1772.51 s
27.88/27.92	c core #77
27.88/27.92	c Core size: 101	Core Weight: 1	Total Weight: 95
27.88/27.92	c Elapsed CPU time: 27.8218 s	Remaining CPU time: 1772.18 s
28.18/28.29	c core #78
28.18/28.29	c Core size: 101	Core Weight: 1	Total Weight: 96
28.18/28.29	c Elapsed CPU time: 28.1917 s	Remaining CPU time: 1771.81 s
28.59/28.63	c core #79
28.59/28.63	c Core size: 301	Core Weight: 1	Total Weight: 97
28.59/28.63	c Elapsed CPU time: 28.5297 s	Remaining CPU time: 1771.47 s
28.88/28.96	c core #80
28.88/28.96	c Core size: 101	Core Weight: 1	Total Weight: 98
28.88/28.96	c Elapsed CPU time: 28.8676 s	Remaining CPU time: 1771.13 s
29.28/29.30	c core #81
29.28/29.30	c Core size: 101	Core Weight: 1	Total Weight: 99
29.28/29.30	c Elapsed CPU time: 29.2046 s	Remaining CPU time: 1770.8 s
29.58/29.64	c core #82
29.58/29.64	c Core size: 101	Core Weight: 1	Total Weight: 100
29.58/29.64	c Elapsed CPU time: 29.5385 s	Remaining CPU time: 1770.46 s
29.88/29.97	c core #83
29.88/29.97	c Core size: 101	Core Weight: 1	Total Weight: 101
29.88/29.97	c Elapsed CPU time: 29.8765 s	Remaining CPU time: 1770.12 s
30.28/30.34	c core #84
30.28/30.34	c Core size: 101	Core Weight: 1	Total Weight: 102
30.28/30.34	c Elapsed CPU time: 30.2464 s	Remaining CPU time: 1769.75 s
30.68/30.71	c core #85
30.68/30.71	c Core size: 201	Core Weight: 1	Total Weight: 103
30.68/30.71	c Elapsed CPU time: 30.6143 s	Remaining CPU time: 1769.39 s
30.98/31.06	c core #86
30.98/31.06	c Core size: 101	Core Weight: 1	Total Weight: 104
30.98/31.06	c Elapsed CPU time: 30.9563 s	Remaining CPU time: 1769.04 s
31.38/31.40	c core #87
31.38/31.40	c Core size: 101	Core Weight: 1	Total Weight: 105
31.38/31.40	c Elapsed CPU time: 31.2952 s	Remaining CPU time: 1768.7 s
31.68/31.77	c core #88
31.68/31.77	c Core size: 301	Core Weight: 1	Total Weight: 106
31.68/31.77	c Elapsed CPU time: 31.6692 s	Remaining CPU time: 1768.33 s
32.08/32.14	c core #89
32.08/32.14	c Core size: 101	Core Weight: 1	Total Weight: 107
32.08/32.14	c Elapsed CPU time: 32.0331 s	Remaining CPU time: 1767.97 s
32.48/32.52	c core #90
32.48/32.52	c Core size: 101	Core Weight: 1	Total Weight: 108
32.48/32.52	c Elapsed CPU time: 32.4111 s	Remaining CPU time: 1767.59 s
32.78/32.86	c core #91
32.78/32.86	c Core size: 101	Core Weight: 1	Total Weight: 109
32.78/32.86	c Elapsed CPU time: 32.75 s	Remaining CPU time: 1767.25 s
33.17/33.20	c core #92
33.17/33.20	c Core size: 101	Core Weight: 1	Total Weight: 110
33.17/33.20	c Elapsed CPU time: 33.094 s	Remaining CPU time: 1766.91 s
33.47/33.54	c core #93
33.47/33.54	c Core size: 101	Core Weight: 1	Total Weight: 111
33.47/33.54	c Elapsed CPU time: 33.4339 s	Remaining CPU time: 1766.57 s
33.77/33.89	c core #94
33.77/33.89	c Core size: 101	Core Weight: 1	Total Weight: 112
33.77/33.89	c Elapsed CPU time: 33.7799 s	Remaining CPU time: 1766.22 s
34.18/34.26	c core #95
34.18/34.26	c Core size: 101	Core Weight: 1	Total Weight: 113
34.18/34.26	c Elapsed CPU time: 34.1558 s	Remaining CPU time: 1765.84 s
34.57/34.61	c core #96
34.57/34.61	c Core size: 501	Core Weight: 1	Total Weight: 114
34.57/34.61	c Elapsed CPU time: 34.4988 s	Remaining CPU time: 1765.5 s
34.87/34.98	c core #97
34.87/34.98	c Core size: 101	Core Weight: 1	Total Weight: 115
34.87/34.98	c Elapsed CPU time: 34.8747 s	Remaining CPU time: 1765.13 s
35.28/35.36	c core #98
35.28/35.36	c Core size: 601	Core Weight: 1	Total Weight: 116
35.28/35.36	c Elapsed CPU time: 35.2536 s	Remaining CPU time: 1764.75 s
35.67/35.71	c core #99
35.67/35.71	c Core size: 101	Core Weight: 2	Total Weight: 118
35.67/35.71	c Elapsed CPU time: 35.6016 s	Remaining CPU time: 1764.4 s
35.97/36.06	c core #100
35.97/36.06	c Core size: 101	Core Weight: 1	Total Weight: 119
35.97/36.06	c Elapsed CPU time: 35.9495 s	Remaining CPU time: 1764.05 s
36.37/36.41	c core #101
36.37/36.41	c Core size: 101	Core Weight: 1	Total Weight: 120
36.37/36.41	c Elapsed CPU time: 36.2975 s	Remaining CPU time: 1763.7 s
36.67/36.75	c core #102
36.67/36.75	c Core size: 101	Core Weight: 1	Total Weight: 121
36.67/36.75	c Elapsed CPU time: 36.6444 s	Remaining CPU time: 1763.36 s
36.97/37.09	c core #103
36.97/37.09	c Core size: 101	Core Weight: 1	Total Weight: 122
36.97/37.09	c Elapsed CPU time: 36.9794 s	Remaining CPU time: 1763.02 s
37.37/37.45	c core #104
37.37/37.45	c Core size: 201	Core Weight: 1	Total Weight: 123
37.37/37.45	c Elapsed CPU time: 37.3413 s	Remaining CPU time: 1762.66 s
37.77/37.80	c core #105
37.77/37.80	c Core size: 101	Core Weight: 1	Total Weight: 124
37.77/37.80	c Elapsed CPU time: 37.6863 s	Remaining CPU time: 1762.31 s
38.07/38.14	c core #106
38.07/38.14	c Core size: 101	Core Weight: 1	Total Weight: 125
38.07/38.14	c Elapsed CPU time: 38.0312 s	Remaining CPU time: 1761.97 s
38.37/38.50	c core #107
38.37/38.50	c Core size: 101	Core Weight: 1	Total Weight: 126
38.37/38.50	c Elapsed CPU time: 38.3872 s	Remaining CPU time: 1761.61 s
38.77/38.88	c core #108
38.77/38.88	c Core size: 101	Core Weight: 2	Total Weight: 128
38.77/38.88	c Elapsed CPU time: 38.7721 s	Remaining CPU time: 1761.23 s
39.17/39.24	c core #109
39.17/39.24	c Core size: 901	Core Weight: 1	Total Weight: 129
39.17/39.24	c Elapsed CPU time: 39.1231 s	Remaining CPU time: 1760.88 s
39.47/39.59	c core #110
39.47/39.59	c Core size: 101	Core Weight: 1	Total Weight: 130
39.47/39.59	c Elapsed CPU time: 39.474 s	Remaining CPU time: 1760.53 s
39.87/39.96	c core #111
39.87/39.96	c Core size: 101	Core Weight: 1	Total Weight: 131
39.87/39.96	c Elapsed CPU time: 39.8509 s	Remaining CPU time: 1760.15 s
40.27/40.31	c core #112
40.27/40.31	c Core size: 101	Core Weight: 2	Total Weight: 133
40.27/40.31	c Elapsed CPU time: 40.1979 s	Remaining CPU time: 1759.8 s
40.57/40.66	c core #113
40.57/40.66	c Core size: 101	Core Weight: 1	Total Weight: 134
40.57/40.66	c Elapsed CPU time: 40.5448 s	Remaining CPU time: 1759.46 s
40.97/41.01	c core #114
40.97/41.01	c Core size: 101	Core Weight: 1	Total Weight: 135
40.97/41.01	c Elapsed CPU time: 40.8968 s	Remaining CPU time: 1759.1 s
41.27/41.36	c core #115
41.27/41.36	c Core size: 101	Core Weight: 1	Total Weight: 136
41.27/41.36	c Elapsed CPU time: 41.2497 s	Remaining CPU time: 1758.75 s
41.67/41.76	c core #116
41.67/41.76	c Core size: 2651	Core Weight: 1	Total Weight: 137
41.67/41.76	c Elapsed CPU time: 41.6477 s	Remaining CPU time: 1758.35 s
42.07/42.12	c core #117
42.07/42.12	c Core size: 101	Core Weight: 1	Total Weight: 138
42.07/42.12	c Elapsed CPU time: 42.0036 s	Remaining CPU time: 1758 s
42.37/42.47	c core #118
42.37/42.47	c Core size: 101	Core Weight: 1	Total Weight: 139
42.37/42.47	c Elapsed CPU time: 42.3496 s	Remaining CPU time: 1757.65 s
42.77/42.84	c core #119
42.77/42.84	c Core size: 101	Core Weight: 1	Total Weight: 140
42.77/42.84	c Elapsed CPU time: 42.7265 s	Remaining CPU time: 1757.27 s
43.06/43.19	c core #120
43.06/43.19	c Core size: 101	Core Weight: 2	Total Weight: 142
43.06/43.19	c Elapsed CPU time: 43.0755 s	Remaining CPU time: 1756.92 s
43.46/43.54	c core #121
43.46/43.54	c Core size: 200	Core Weight: 2	Total Weight: 144
43.46/43.54	c Elapsed CPU time: 43.4204 s	Remaining CPU time: 1756.58 s
43.86/43.90	c core #122
43.86/43.90	c Core size: 1174	Core Weight: 1	Total Weight: 145
43.86/43.90	c Elapsed CPU time: 43.7793 s	Remaining CPU time: 1756.22 s
44.17/44.27	c core #123
44.17/44.27	c Core size: 201	Core Weight: 1	Total Weight: 146
44.17/44.27	c Elapsed CPU time: 44.1473 s	Remaining CPU time: 1755.85 s
44.57/44.64	c core #124
44.57/44.64	c Core size: 1169	Core Weight: 1	Total Weight: 147
44.57/44.64	c Elapsed CPU time: 44.5132 s	Remaining CPU time: 1755.49 s
44.97/45.01	c core #125
44.97/45.01	c Core size: 1538	Core Weight: 1	Total Weight: 148
44.97/45.01	c Elapsed CPU time: 44.8882 s	Remaining CPU time: 1755.11 s
45.36/45.43	c core #126
45.36/45.43	c Core size: 1991	Core Weight: 1	Total Weight: 149
45.36/45.43	c Elapsed CPU time: 45.2971 s	Remaining CPU time: 1754.7 s
45.77/45.82	c core #127
45.77/45.82	c Core size: 301	Core Weight: 1	Total Weight: 150
45.77/45.82	c Elapsed CPU time: 45.6821 s	Remaining CPU time: 1754.32 s
46.07/46.19	c core #128
46.07/46.19	c Core size: 978	Core Weight: 1	Total Weight: 151
46.07/46.19	c Elapsed CPU time: 46.052 s	Remaining CPU time: 1753.95 s
46.46/46.57	c core #129
46.46/46.57	c Core size: 399	Core Weight: 1	Total Weight: 152
46.46/46.57	c Elapsed CPU time: 46.4259 s	Remaining CPU time: 1753.57 s
46.86/46.94	c core #130
46.86/46.94	c Core size: 697	Core Weight: 1	Total Weight: 153
46.86/46.94	c Elapsed CPU time: 46.7989 s	Remaining CPU time: 1753.2 s
47.27/47.32	c ============================[ Search Statistics ]==============================
47.27/47.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.27/47.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.27/47.32	c ===============================================================================
47.27/47.32	c |         0 |   27136   693845    50224 |   231281        0    nan |  0.000 % |
47.27/47.36	c ===============================================================================
47.27/47.36	c core #131
47.27/47.36	c Core size: 1745	Core Weight: 1	Total Weight: 154
47.27/47.36	c Elapsed CPU time: 47.2198 s	Remaining CPU time: 1752.78 s
47.66/47.75	c ============================[ Search Statistics ]==============================
47.66/47.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.66/47.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.66/47.75	c ===============================================================================
47.66/47.75	c |         0 |   28851   695509    52213 |   231836        0    nan |  0.000 % |
47.76/47.80	c ===============================================================================
47.76/47.80	c core #132
47.76/47.80	c Core size: 1749	Core Weight: 1	Total Weight: 155
47.76/47.80	c Elapsed CPU time: 47.6548 s	Remaining CPU time: 1752.35 s
48.06/48.19	c ============================[ Search Statistics ]==============================
48.06/48.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.06/48.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.06/48.19	c ===============================================================================
48.06/48.19	c |         0 |   30991   697152    55112 |   232384        0    nan |  0.000 % |
48.16/48.28	c ===============================================================================
48.16/48.28	c core #133
48.16/48.28	c Core size: 2562	Core Weight: 1	Total Weight: 156
48.16/48.28	c Elapsed CPU time: 48.1207 s	Remaining CPU time: 1751.88 s
48.56/48.68	c ============================[ Search Statistics ]==============================
48.56/48.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.56/48.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.56/48.68	c ===============================================================================
48.56/48.68	c |         0 |   33498   699578    58061 |   233192        0    nan |  0.000 % |
48.76/48.88	c ===============================================================================
48.76/48.88	c core #134
48.76/48.88	c Core size: 3525	Core Weight: 1	Total Weight: 157
48.76/48.88	c Elapsed CPU time: 48.7156 s	Remaining CPU time: 1751.28 s
49.17/49.29	c ============================[ Search Statistics ]==============================
49.17/49.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.17/49.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.17/49.29	c ===============================================================================
49.17/49.29	c |         0 |   36947   702859    62227 |   234286        0    nan |  0.000 % |
49.36/49.42	c |       102 |   36945   702859    62227 |   257714      100    921 | 20.646 % |
49.86/49.96	c ===============================================================================
49.86/49.96	c core #135
49.86/49.96	c Core size: 7050	Core Weight: 1	Total Weight: 158
49.86/49.96	c Elapsed CPU time: 49.7854 s	Remaining CPU time: 1750.21 s
50.27/50.38	c Learning 1 hard constraints
50.27/50.38	c ============================[ Search Statistics ]==============================
50.27/50.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.27/50.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
50.27/50.39	c ===============================================================================
50.27/50.39	c |         0 |   43771   709170    71431 |   236390        0    nan |  0.000 % |
50.46/50.52	c |       102 |   43771   709170    71431 |   260029      102    970 | 17.886 % |
50.76/50.86	c |       252 |   43771   709170    71431 |   286031      252   1426 | 17.886 % |
51.26/51.39	c |       477 |   43771   709170    71431 |   314635      477   1749 | 17.886 % |
52.16/52.29	c |       815 |   43770   709170    71431 |   346098      811   2499 | 17.888 % |
53.46/53.55	c |      1321 |   43769   709170    71431 |   380708     1316   2185 | 17.890 % |
55.66/55.77	c ===============================================================================
55.66/55.79	c core #136
55.66/55.79	c Core size: 11199	Core Weight: 1	Total Weight: 159
55.66/55.79	c Elapsed CPU time: 55.5716 s	Remaining CPU time: 1744.43 s
56.16/56.25	c Learning 17 hard constraints
56.16/56.25	c ============================[ Search Statistics ]==============================
56.16/56.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
56.16/56.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
56.16/56.25	c ===============================================================================
56.16/56.25	c |         0 |   54030   718239    89655 |   239413        0    nan |  0.000 % |
56.46/56.50	c |       100 |   54030   718239    89655 |   263354      100   1122 | 14.758 % |
57.17/57.28	c |       250 |   54030   718239    89655 |   289689      250   1786 | 14.758 % |
57.96/58.08	c |       477 |   54030   718239    89655 |   318658      477   1959 | 14.758 % |
59.66/59.78	c |       815 |   54030   718239    89655 |   350524      815   2424 | 14.758 % |
61.46/61.53	c |      1323 |   54029   718239    89655 |   385577     1322   2161 | 14.759 % |
63.76/63.86	c |      2082 |   54029   718239    89655 |   424134     2081   1805 | 14.759 % |
68.46/68.56	c |      3223 |   54028   718239    89655 |   466548     3221   1561 | 14.761 % |
75.06/75.10	c |      4932 |   54028   718239    89655 |   513203     4930   1480 | 14.761 % |
84.65/84.75	c |      7494 |   54027   718239    89655 |   564523     7401   1782 | 14.762 % |
105.34/105.45	c |     11339 |   54027   718239    89655 |   620975    11246   2197 | 14.762 % |
143.23/143.31	c |     17105 |   54025   718239    89655 |   683073    16991   2699 | 14.766 % |
218.01/218.16	c |     25754 |   54021   718239    89655 |   751380    25608   3224 | 14.772 % |
223.91/224.06	c ===============================================================================
224.20/224.37	c core #137
224.20/224.37	c Core size: 11380	Core Weight: 1	Total Weight: 160
224.20/224.37	c Elapsed CPU time: 223.573 s	Remaining CPU time: 1576.43 s
224.71/224.88	c Learning 67 hard constraints
224.71/224.88	c ============================[ Search Statistics ]==============================
224.71/224.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
224.71/224.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
224.71/224.89	c ===============================================================================
224.71/224.89	c |         0 |   64267   727020   122821 |   242340        0    nan |  0.000 % |
225.01/225.13	c |       100 |   64267   727020   122821 |   266574      100   1176 | 12.598 % |
225.61/225.79	c |       250 |   64267   727020   122821 |   293231      250    791 | 12.598 % |
226.51/226.69	c |       476 |   64267   727020   122821 |   322554      476    850 | 12.598 % |
228.11/228.20	c |       813 |   64267   727020   122821 |   354809      813    814 | 12.598 % |
230.11/230.28	c |      1320 |   64267   727020   122821 |   390290     1320    803 | 12.598 % |
233.81/233.99	c |      2082 |   64267   727020   122821 |   429320     2082    862 | 12.598 % |
238.70/238.87	c |      3221 |   64267   727020   122821 |   472252     3221   1131 | 12.598 % |
247.70/247.86	c |      4929 |   64267   727020   122821 |   519477     4929   1069 | 12.598 % |
261.80/261.92	c |      7492 |   64266   727020   122821 |   571425     7488   1292 | 12.599 % |
283.69/283.85	c |     11337 |   64265   727020   122821 |   628567    11328   1464 | 12.600 % |
315.08/315.22	c |     17105 |   64265   727020   122821 |   691424    17096   1523 | 12.600 % |
368.97/369.15	c |     25755 |   64265   727020   122821 |   760566    25746   1805 | 12.600 % |
484.43/484.70	c |     38729 |   64265   727020   122821 |   836623    38720   2473 | 12.600 % |
661.48/661.72	c |     58191 |   64265   727020   122821 |   920285    58182   2495 | 12.600 % |
949.19/949.50	c |     87383 |   64265   727020   122821 |  1012314    87374   2559 | 12.600 % |
1463.44/1463.92	c |    131174 |   64264   727020   122821 |  1113545   131137   2643 | 12.602 % |

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-1875634-1245141134/watcher-1875634-1245141134 -o /tmp/evaluation-result-1875634-1245141134/solver-1875634-1245141134 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875634-1245141134.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7257
/proc/meminfo: memFree=1764288/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=19684 CPUtime=0
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 181710674 20156416 246 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 4921 247 122 292 0 418 0

[startup+0.10168 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7257
/proc/meminfo: memFree=1764288/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=22220 CPUtime=0.09
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 1011 0 0 0 9 0 0 0 18 0 1 0 181710674 22753280 995 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 5555 995 291 292 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.20169 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7257
/proc/meminfo: memFree=1764288/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=23212 CPUtime=0.19
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 1439 0 0 0 19 0 0 0 18 0 1 0 181710674 23769088 1423 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 5803 1424 470 292 0 1300 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23212

[startup+0.3017 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7257
/proc/meminfo: memFree=1764288/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=24136 CPUtime=0.29
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 1867 0 0 0 29 0 0 0 19 0 1 0 181710674 24715264 1851 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 6034 1851 649 292 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24136

[startup+0.701744 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7257
/proc/meminfo: memFree=1764288/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=28016 CPUtime=0.69
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 3532 0 0 0 69 0 0 0 22 0 1 0 181710674 28688384 3516 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 7004 3517 1346 292 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28016

[startup+1.50284 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1751608/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=36156 CPUtime=1.49
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 6957 0 0 0 148 1 0 0 25 0 1 0 181710674 37023744 6941 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 9039 6941 2775 292 0 4536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36156

[startup+3.10201 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1740664/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=53772 CPUtime=3.09
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 19331 0 0 0 301 8 0 0 25 0 1 0 181710674 55062528 12628 1992294400 134512640 135709839 4294956240 18446744073709551615 135165924 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 13443 12628 133 292 0 13148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53772

[startup+6.30135 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1710920/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=56940 CPUtime=6.29
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 20119 0 0 0 621 8 0 0 25 0 1 0 181710674 58306560 13416 1992294400 134512640 135709839 4294956240 18446744073709551615 135173039 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 14235 13416 133 292 0 13940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56940

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1710280/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=57732 CPUtime=12.68
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 20313 0 0 0 1260 8 0 0 25 0 1 0 181710674 59117568 13610 1992294400 134512640 135709839 4294956240 18446744073709551615 134517478 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 14433 13610 133 292 0 14138 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 57732

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1708360/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=59580 CPUtime=25.49
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 20786 0 0 0 2540 9 0 0 25 0 1 0 181710674 61009920 14083 1992294400 134512640 135709839 4294956240 18446744073709551615 135182870 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 14895 14083 133 292 0 14600 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59580

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1694792/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=74960 CPUtime=51.06
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 34233 0 0 0 5089 17 0 0 25 0 1 0 181710674 76759040 17426 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 18740 17426 136 292 0 18445 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 74960

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1616072/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=153396 CPUtime=102.25
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 55440 0 0 0 10190 35 0 0 25 0 1 0 181710674 157077504 37099 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 38349 37099 136 292 0 38054 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 153396

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1496520/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=273816 CPUtime=162.23
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 85515 0 0 0 16169 54 0 0 25 0 1 0 181710674 280387584 67174 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 68454 67174 136 292 0 68159 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 273816

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1377992/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=391216 CPUtime=222.21
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 114872 0 0 0 22150 71 0 0 25 0 1 0 181710674 400605184 96531 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 97804 96531 136 292 0 97509 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 391216

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1345928/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=423808 CPUtime=282.19
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 124389 0 0 0 28137 82 0 0 25 0 1 0 181710674 433979392 104478 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 105952 104478 136 292 0 105657 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 423808

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1345928/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=423808 CPUtime=342.17
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 124389 0 0 0 34131 86 0 0 25 0 1 0 181710674 433979392 104478 1992294400 134512640 135709839 4294956240 18446744073709551615 134572388 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 105952 104478 136 292 0 105657 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 423808

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1345864/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=423808 CPUtime=402.15
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 124391 0 0 0 40125 90 0 0 25 0 1 0 181710674 433979392 104480 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 105952 104480 136 292 0 105657 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 423808

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1345800/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=423808 CPUtime=462.14
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 124391 0 0 0 46121 93 0 0 25 0 1 0 181710674 433979392 104480 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 105952 104480 136 292 0 105657 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 423808

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1288456/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=481804 CPUtime=522.12
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 138857 0 0 0 52107 105 0 0 25 0 1 0 181710674 493367296 118946 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 120451 118946 136 292 0 120156 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 481804

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1222472/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=547312 CPUtime=582.1
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 155252 0 0 0 58092 118 0 0 25 0 1 0 181710674 560447488 135341 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 136828 135341 136 292 0 136533 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 547312

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=1148616/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=622136 CPUtime=642.09
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 173956 0 0 0 64079 130 0 0 25 0 1 0 181710674 637067264 154045 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 155534 154045 136 292 0 155239 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 622136

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=819016/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=950092 CPUtime=942
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 255946 0 0 0 94014 186 0 0 25 0 1 0 181710674 972894208 236035 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 237523 236035 136 292 0 237228 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 950092

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=759240/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1009388 CPUtime=1001.97
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 270725 0 0 0 99998 199 0 0 25 0 1 0 181710674 1033613312 250814 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 252347 250814 136 292 0 252052 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 1009388

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=694984/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1074064 CPUtime=1061.96
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 286879 0 0 0 105986 210 0 0 25 0 1 0 181710674 1099841536 266968 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 268516 266968 136 292 0 268221 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1074064

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=629768/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1138720 CPUtime=1121.94
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 303061 0 0 0 111970 224 0 0 25 0 1 0 181710674 1166049280 283150 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 284680 283150 136 292 0 284385 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1138720

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7258
/proc/meminfo: memFree=565512/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1203856 CPUtime=1181.92
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 319356 0 0 0 117955 237 0 0 25 0 1 0 181710674 1232748544 299445 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 300964 299445 136 292 0 300669 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1203856

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7260
/proc/meminfo: memFree=508744/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1259464 CPUtime=1241.91
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 333274 0 0 0 123944 247 0 0 25 0 1 0 181710674 1289691136 313363 1992294400 134512640 135709839 4294956240 18446744073709551615 134572518 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 314866 313363 136 292 0 314571 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1259464

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7260
/proc/meminfo: memFree=447112/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1321424 CPUtime=1301.89
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 348766 0 0 0 129933 256 0 0 25 0 1 0 181710674 1353138176 328855 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 330356 328855 136 292 0 330061 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1321424

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7260
/proc/meminfo: memFree=393864/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1374188 CPUtime=1361.87
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 361946 0 0 0 135923 264 0 0 25 0 1 0 181710674 1407168512 342035 1992294400 134512640 135709839 4294956240 18446744073709551615 134518598 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 343547 342035 136 292 0 343252 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1374188

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7260
/proc/meminfo: memFree=343112/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1424460 CPUtime=1421.86
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 374504 0 0 0 141911 275 0 0 25 0 1 0 181710674 1458647040 354593 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 356115 354593 136 292 0 355820 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1424460

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7260
/proc/meminfo: memFree=299528/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1468244 CPUtime=1481.84
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 385481 0 0 0 147899 285 0 0 25 0 1 0 181710674 1503481856 365570 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 367061 365570 136 292 0 366766 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1468244

[startup+1542.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7260
/proc/meminfo: memFree=246408/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1521208 CPUtime=1541.83
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 398657 0 0 0 153888 295 0 0 25 0 1 0 181710674 1557716992 378746 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 380302 378746 136 292 0 380007 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1521208

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7260
/proc/meminfo: memFree=190024/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1578232 CPUtime=1601.81
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 412893 0 0 0 159877 304 0 0 25 0 1 0 181710674 1616109568 392982 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 394558 392982 136 292 0 394263 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1578232

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7260
/proc/meminfo: memFree=135368/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1632000 CPUtime=1661.79
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 426349 0 0 0 165866 313 0 0 25 0 1 0 181710674 1671168000 406438 1992294400 134512640 135709839 4294956240 18446744073709551615 134574285 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 408000 406438 136 292 0 407705 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1632000

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7260
/proc/meminfo: memFree=66440/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1701556 CPUtime=1721.78
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 443765 0 0 0 171854 324 0 0 25 0 1 0 181710674 1742393344 423854 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 425389 423854 136 292 0 425094 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1701556

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7266
/proc/meminfo: memFree=15432/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1764300 CPUtime=1781.75
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 459421 0 0 0 177842 333 0 0 25 0 1 0 181710674 1806643200 439510 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 441075 439510 136 292 0 440780 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1764300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7266
/proc/meminfo: memFree=15368/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=1788392 CPUtime=1800.05
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4194304 465443 0 0 0 179668 337 0 0 25 0 1 0 181710674 1831313408 445532 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 447098 445532 136 292 0 446803 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1788392

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7267
/proc/meminfo: memFree=630144/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=0 CPUtime=1800.15
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4195332 465443 0 0 0 179668 347 0 0 25 0 1 0 181710674 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7267
/proc/meminfo: memFree=630144/2055920 swapFree=4191900/4192956
[pid=7257] ppid=7255 vsize=0 CPUtime=1800.25
/proc/7257/stat : 7257 (wbo) R 7255 7257 6911 0 -1 4195332 465443 0 0 0 179668 357 0 0 25 0 1 0 181710674 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7257/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.89
CPU time (s): 1800.34
CPU user time (s): 1796.68
CPU system time (s): 3.65244
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 1788392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.68
system time used= 3.65244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465443
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= 2
involuntary context switches= 2621

runsolver used 1.3328 second user time and 3.9544 second system time

The end

Launcher Data 

Begin job on node37 at 2009-06-16 10:32:15
IDJOB=1875634
IDBENCH=1970
IDSOLVER=698
FILE ID=node37/1875634-1245141134
PBS_JOBID= 9363691
Free space on /tmp= 66148 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.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-1875634-1245141134/watcher-1875634-1245141134 -o /tmp/evaluation-result-1875634-1245141134/solver-1875634-1245141134 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875634-1245141134.opb

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

MD5SUM BENCH= 5f836d1b8d150c1925229546ed283812
RANDOM SEED=788853938

node37.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.232
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.232
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:       1764768 kB
Buffers:         40272 kB
Cached:         170812 kB
SwapCached:        260 kB
Active:          67952 kB
Inactive:       156432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764768 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           19264 kB
Writeback:           0 kB
Mapped:          21812 kB
Slab:            52804 kB
Committed_AS:   156228 kB
PageTables:       1376 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-1875634-1245141134.opb

Free space on /tmp at the end= 66148 MiB
End job on node37 at 2009-06-16 11:02:18