Trace number 1875637

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) 1437.15 1438.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
MD5SUM13c1b3915f4d316b882a7e551b1f0496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5623
Best CPU time to get the best result obtained on this benchmark1190.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 502
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 498884
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 498884
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-1875637-1245141872.opb.
0.00/0.00	c Instance file HOME/instance-1875637-1245141872.opb
0.00/0.00	c File size is 17233663 bytes.
3.08/4.11	c Highest Coefficient sum: 101
3.08/4.12	c ============================[ Problem Statistics ]=============================
3.08/4.12	c |                                                                             |
3.08/4.12	c |  Parsing time:          3.03         s                                      |
3.08/4.12	c |  Number Variables:      10000                                               |
3.08/4.12	c |  Number Clauses:        666900                                              |
3.08/4.12	c |  Number Cardinality:    0                                                   |
3.08/4.12	c |  Number PB Constraints: 0                                                   |
3.08/4.12	c core #1
3.08/4.12	c Core size: 101	Core Weight: 1	Total Weight: 1
3.08/4.12	c Elapsed CPU time: 3.03554 s	Remaining CPU time: 1796.96 s
3.39/4.45	c core #2
3.39/4.45	c Core size: 101	Core Weight: 1	Total Weight: 2
3.39/4.45	c Elapsed CPU time: 3.33749 s	Remaining CPU time: 1796.66 s
3.68/4.75	c core #3
3.68/4.75	c Core size: 101	Core Weight: 1	Total Weight: 3
3.68/4.75	c Elapsed CPU time: 3.63945 s	Remaining CPU time: 1796.36 s
3.98/5.06	c core #4
3.98/5.06	c Core size: 101	Core Weight: 3	Total Weight: 6
3.98/5.06	c Elapsed CPU time: 3.9454 s	Remaining CPU time: 1796.05 s
4.27/5.37	c core #5
4.27/5.37	c Core size: 101	Core Weight: 2	Total Weight: 8
4.27/5.37	c Elapsed CPU time: 4.24935 s	Remaining CPU time: 1795.75 s
4.69/5.82	c core #6
4.69/5.82	c Core size: 101	Core Weight: 1	Total Weight: 9
4.69/5.82	c Elapsed CPU time: 4.6093 s	Remaining CPU time: 1795.39 s
4.99/6.12	c core #7
4.99/6.12	c Core size: 101	Core Weight: 1	Total Weight: 10
4.99/6.12	c Elapsed CPU time: 4.91225 s	Remaining CPU time: 1795.09 s
5.29/6.42	c core #8
5.29/6.42	c Core size: 101	Core Weight: 1	Total Weight: 11
5.29/6.42	c Elapsed CPU time: 5.21021 s	Remaining CPU time: 1794.79 s
5.59/6.74	c core #9
5.59/6.74	c Core size: 101	Core Weight: 1	Total Weight: 12
5.59/6.74	c Elapsed CPU time: 5.52416 s	Remaining CPU time: 1794.48 s
5.89/7.04	c core #10
5.89/7.04	c Core size: 101	Core Weight: 1	Total Weight: 13
5.89/7.04	c Elapsed CPU time: 5.82611 s	Remaining CPU time: 1794.17 s
6.19/7.34	c core #11
6.19/7.34	c Core size: 101	Core Weight: 1	Total Weight: 14
6.19/7.34	c Elapsed CPU time: 6.12507 s	Remaining CPU time: 1793.87 s
6.49/7.64	c core #12
6.49/7.64	c Core size: 101	Core Weight: 4	Total Weight: 18
6.49/7.64	c Elapsed CPU time: 6.42602 s	Remaining CPU time: 1793.57 s
6.78/7.98	c core #13
6.78/7.98	c Core size: 201	Core Weight: 1	Total Weight: 19
6.78/7.98	c Elapsed CPU time: 6.75797 s	Remaining CPU time: 1793.24 s
7.18/8.31	c core #14
7.18/8.31	c Core size: 101	Core Weight: 1	Total Weight: 20
7.18/8.31	c Elapsed CPU time: 7.08792 s	Remaining CPU time: 1792.91 s
7.48/8.66	c core #15
7.48/8.66	c Core size: 101	Core Weight: 1	Total Weight: 21
7.48/8.66	c Elapsed CPU time: 7.43887 s	Remaining CPU time: 1792.56 s
7.78/8.98	c core #16
7.78/8.98	c Core size: 101	Core Weight: 4	Total Weight: 25
7.78/8.98	c Elapsed CPU time: 7.76682 s	Remaining CPU time: 1792.23 s
8.18/9.31	c core #17
8.18/9.31	c Core size: 101	Core Weight: 1	Total Weight: 26
8.18/9.31	c Elapsed CPU time: 8.08877 s	Remaining CPU time: 1791.91 s
8.48/9.64	c core #18
8.48/9.64	c Core size: 101	Core Weight: 3	Total Weight: 29
8.48/9.64	c Elapsed CPU time: 8.41772 s	Remaining CPU time: 1791.58 s
8.79/9.99	c core #19
8.79/9.99	c Core size: 201	Core Weight: 1	Total Weight: 30
8.79/9.99	c Elapsed CPU time: 8.77167 s	Remaining CPU time: 1791.23 s
9.18/10.32	c core #20
9.18/10.32	c Core size: 101	Core Weight: 1	Total Weight: 31
9.18/10.32	c Elapsed CPU time: 9.10262 s	Remaining CPU time: 1790.9 s
9.48/10.64	c core #21
9.48/10.64	c Core size: 101	Core Weight: 1	Total Weight: 32
9.48/10.64	c Elapsed CPU time: 9.42557 s	Remaining CPU time: 1790.57 s
9.79/10.97	c core #22
9.79/10.97	c Core size: 101	Core Weight: 1	Total Weight: 33
9.79/10.97	c Elapsed CPU time: 9.75552 s	Remaining CPU time: 1790.24 s
10.08/11.30	c core #23
10.08/11.30	c Core size: 101	Core Weight: 1	Total Weight: 34
10.08/11.30	c Elapsed CPU time: 10.0775 s	Remaining CPU time: 1789.92 s
10.48/11.62	c core #24
10.48/11.62	c Core size: 101	Core Weight: 1	Total Weight: 35
10.48/11.62	c Elapsed CPU time: 10.4034 s	Remaining CPU time: 1789.6 s
10.78/11.95	c core #25
10.78/11.95	c Core size: 101	Core Weight: 1	Total Weight: 36
10.78/11.95	c Elapsed CPU time: 10.7314 s	Remaining CPU time: 1789.27 s
11.08/12.28	c core #26
11.08/12.28	c Core size: 101	Core Weight: 1	Total Weight: 37
11.08/12.28	c Elapsed CPU time: 11.0613 s	Remaining CPU time: 1788.94 s
11.48/12.61	c core #27
11.48/12.61	c Core size: 101	Core Weight: 1	Total Weight: 38
11.48/12.61	c Elapsed CPU time: 11.3873 s	Remaining CPU time: 1788.61 s
11.78/12.95	c core #28
11.78/12.95	c Core size: 101	Core Weight: 1	Total Weight: 39
11.78/12.95	c Elapsed CPU time: 11.7342 s	Remaining CPU time: 1788.27 s
12.08/13.28	c core #29
12.08/13.28	c Core size: 101	Core Weight: 1	Total Weight: 40
12.08/13.28	c Elapsed CPU time: 12.0572 s	Remaining CPU time: 1787.94 s
12.48/13.61	c core #30
12.48/13.61	c Core size: 201	Core Weight: 1	Total Weight: 41
12.48/13.61	c Elapsed CPU time: 12.3841 s	Remaining CPU time: 1787.62 s
12.78/13.94	c core #31
12.78/13.94	c Core size: 101	Core Weight: 2	Total Weight: 43
12.78/13.94	c Elapsed CPU time: 12.7211 s	Remaining CPU time: 1787.28 s
13.08/14.27	c core #32
13.08/14.27	c Core size: 101	Core Weight: 1	Total Weight: 44
13.08/14.27	c Elapsed CPU time: 13.048 s	Remaining CPU time: 1786.95 s
13.48/14.60	c core #33
13.48/14.60	c Core size: 101	Core Weight: 1	Total Weight: 45
13.48/14.60	c Elapsed CPU time: 13.376 s	Remaining CPU time: 1786.62 s
13.78/14.92	c core #34
13.78/14.92	c Core size: 101	Core Weight: 1	Total Weight: 46
13.78/14.92	c Elapsed CPU time: 13.7029 s	Remaining CPU time: 1786.3 s
14.08/15.26	c core #35
14.08/15.26	c Core size: 101	Core Weight: 1	Total Weight: 47
14.08/15.26	c Elapsed CPU time: 14.0339 s	Remaining CPU time: 1785.97 s
14.39/15.59	c core #36
14.39/15.59	c Core size: 101	Core Weight: 1	Total Weight: 48
14.39/15.59	c Elapsed CPU time: 14.3648 s	Remaining CPU time: 1785.64 s
14.79/15.92	c core #37
14.79/15.92	c Core size: 101	Core Weight: 1	Total Weight: 49
14.79/15.92	c Elapsed CPU time: 14.6938 s	Remaining CPU time: 1785.31 s
15.09/16.26	c core #38
15.09/16.26	c Core size: 101	Core Weight: 1	Total Weight: 50
15.09/16.26	c Elapsed CPU time: 15.0327 s	Remaining CPU time: 1784.97 s
15.49/16.62	c core #39
15.49/16.62	c Core size: 101	Core Weight: 1	Total Weight: 51
15.49/16.62	c Elapsed CPU time: 15.3977 s	Remaining CPU time: 1784.6 s
15.79/16.99	c core #40
15.79/16.99	c Core size: 101	Core Weight: 1	Total Weight: 52
15.79/16.99	c Elapsed CPU time: 15.7686 s	Remaining CPU time: 1784.23 s
16.19/17.33	c core #41
16.19/17.33	c Core size: 101	Core Weight: 1	Total Weight: 53
16.19/17.33	c Elapsed CPU time: 16.1046 s	Remaining CPU time: 1783.9 s
16.49/17.66	c core #42
16.49/17.66	c Core size: 101	Core Weight: 1	Total Weight: 54
16.49/17.66	c Elapsed CPU time: 16.4305 s	Remaining CPU time: 1783.57 s
16.79/17.98	c core #43
16.79/17.98	c Core size: 101	Core Weight: 1	Total Weight: 55
16.79/17.98	c Elapsed CPU time: 16.7565 s	Remaining CPU time: 1783.24 s
17.19/18.30	c core #44
17.19/18.30	c Core size: 101	Core Weight: 1	Total Weight: 56
17.19/18.30	c Elapsed CPU time: 17.0764 s	Remaining CPU time: 1782.92 s
17.49/18.64	c core #45
17.49/18.64	c Core size: 101	Core Weight: 1	Total Weight: 57
17.49/18.64	c Elapsed CPU time: 17.4114 s	Remaining CPU time: 1782.59 s
17.79/18.97	c core #46
17.79/18.97	c Core size: 101	Core Weight: 1	Total Weight: 58
17.79/18.97	c Elapsed CPU time: 17.7393 s	Remaining CPU time: 1782.26 s
18.09/19.29	c core #47
18.09/19.29	c Core size: 101	Core Weight: 1	Total Weight: 59
18.09/19.29	c Elapsed CPU time: 18.0643 s	Remaining CPU time: 1781.94 s
18.49/19.62	c core #48
18.49/19.62	c Core size: 101	Core Weight: 2	Total Weight: 61
18.49/19.62	c Elapsed CPU time: 18.3942 s	Remaining CPU time: 1781.61 s
18.79/19.95	c core #49
18.79/19.95	c Core size: 101	Core Weight: 1	Total Weight: 62
18.79/19.95	c Elapsed CPU time: 18.7192 s	Remaining CPU time: 1781.28 s
19.09/20.28	c core #50
19.09/20.28	c Core size: 101	Core Weight: 1	Total Weight: 63
19.09/20.28	c Elapsed CPU time: 19.0521 s	Remaining CPU time: 1780.95 s
19.49/20.64	c core #51
19.49/20.64	c Core size: 101	Core Weight: 1	Total Weight: 64
19.49/20.64	c Elapsed CPU time: 19.413 s	Remaining CPU time: 1780.59 s
19.88/21.00	c core #52
19.88/21.00	c Core size: 501	Core Weight: 1	Total Weight: 65
19.88/21.00	c Elapsed CPU time: 19.774 s	Remaining CPU time: 1780.23 s
20.18/21.34	c core #53
20.18/21.34	c Core size: 101	Core Weight: 1	Total Weight: 66
20.18/21.34	c Elapsed CPU time: 20.1069 s	Remaining CPU time: 1779.89 s
20.48/21.67	c core #54
20.48/21.67	c Core size: 101	Core Weight: 1	Total Weight: 67
20.48/21.67	c Elapsed CPU time: 20.4369 s	Remaining CPU time: 1779.56 s
20.79/21.99	c core #55
20.79/21.99	c Core size: 101	Core Weight: 1	Total Weight: 68
20.79/21.99	c Elapsed CPU time: 20.7598 s	Remaining CPU time: 1779.24 s
21.18/22.33	c core #56
21.18/22.33	c Core size: 101	Core Weight: 1	Total Weight: 69
21.18/22.33	c Elapsed CPU time: 21.1008 s	Remaining CPU time: 1778.9 s
21.48/22.66	c core #57
21.48/22.66	c Core size: 301	Core Weight: 1	Total Weight: 70
21.48/22.66	c Elapsed CPU time: 21.4307 s	Remaining CPU time: 1778.57 s
21.78/22.99	c core #58
21.78/22.99	c Core size: 101	Core Weight: 1	Total Weight: 71
21.78/22.99	c Elapsed CPU time: 21.7627 s	Remaining CPU time: 1778.24 s
22.18/23.33	c core #59
22.18/23.33	c Core size: 101	Core Weight: 1	Total Weight: 72
22.18/23.33	c Elapsed CPU time: 22.0986 s	Remaining CPU time: 1777.9 s
22.48/23.66	c core #60
22.48/23.66	c Core size: 201	Core Weight: 1	Total Weight: 73
22.48/23.66	c Elapsed CPU time: 22.4286 s	Remaining CPU time: 1777.57 s
22.88/24.01	c core #61
22.88/24.01	c Core size: 401	Core Weight: 1	Total Weight: 74
22.88/24.01	c Elapsed CPU time: 22.7805 s	Remaining CPU time: 1777.22 s
23.18/24.39	c core #62
23.18/24.39	c Core size: 101	Core Weight: 1	Total Weight: 75
23.18/24.39	c Elapsed CPU time: 23.1535 s	Remaining CPU time: 1776.85 s
23.58/24.75	c core #63
23.58/24.75	c Core size: 101	Core Weight: 1	Total Weight: 76
23.58/24.75	c Elapsed CPU time: 23.5134 s	Remaining CPU time: 1776.49 s
23.88/25.08	c core #64
23.88/25.08	c Core size: 101	Core Weight: 1	Total Weight: 77
23.88/25.08	c Elapsed CPU time: 23.8454 s	Remaining CPU time: 1776.15 s
24.28/25.43	c core #65
24.28/25.43	c Core size: 101	Core Weight: 1	Total Weight: 78
24.28/25.43	c Elapsed CPU time: 24.1963 s	Remaining CPU time: 1775.8 s
24.58/25.77	c core #66
24.58/25.77	c Core size: 801	Core Weight: 1	Total Weight: 79
24.58/25.77	c Elapsed CPU time: 24.5403 s	Remaining CPU time: 1775.46 s
24.98/26.13	c core #67
24.98/26.13	c Core size: 101	Core Weight: 1	Total Weight: 80
24.98/26.13	c Elapsed CPU time: 24.9002 s	Remaining CPU time: 1775.1 s
25.38/26.51	c core #68
25.38/26.51	c Core size: 101	Core Weight: 1	Total Weight: 81
25.38/26.51	c Elapsed CPU time: 25.2702 s	Remaining CPU time: 1774.73 s
25.68/26.83	c core #69
25.68/26.83	c Core size: 101	Core Weight: 1	Total Weight: 82
25.68/26.83	c Elapsed CPU time: 25.5931 s	Remaining CPU time: 1774.41 s
25.98/27.16	c core #70
25.98/27.16	c Core size: 201	Core Weight: 2	Total Weight: 84
25.98/27.16	c Elapsed CPU time: 25.9281 s	Remaining CPU time: 1774.07 s
26.38/27.50	c core #71
26.38/27.50	c Core size: 101	Core Weight: 1	Total Weight: 85
26.38/27.50	c Elapsed CPU time: 26.268 s	Remaining CPU time: 1773.73 s
26.67/27.84	c core #72
26.67/27.84	c Core size: 101	Core Weight: 1	Total Weight: 86
26.67/27.84	c Elapsed CPU time: 26.606 s	Remaining CPU time: 1773.39 s
26.97/28.18	c core #73
26.97/28.18	c Core size: 101	Core Weight: 1	Total Weight: 87
26.97/28.18	c Elapsed CPU time: 26.9409 s	Remaining CPU time: 1773.06 s
27.38/28.52	c core #74
27.38/28.52	c Core size: 101	Core Weight: 1	Total Weight: 88
27.38/28.52	c Elapsed CPU time: 27.2789 s	Remaining CPU time: 1772.72 s
27.67/28.87	c core #75
27.67/28.87	c Core size: 2001	Core Weight: 1	Total Weight: 89
27.67/28.87	c Elapsed CPU time: 27.6348 s	Remaining CPU time: 1772.37 s
28.07/29.26	c core #76
28.07/29.26	c Core size: 101	Core Weight: 3	Total Weight: 92
28.07/29.26	c Elapsed CPU time: 28.0217 s	Remaining CPU time: 1771.98 s
28.37/29.60	c core #77
28.37/29.60	c Core size: 101	Core Weight: 1	Total Weight: 93
28.37/29.60	c Elapsed CPU time: 28.3597 s	Remaining CPU time: 1771.64 s
28.77/29.95	c core #78
28.77/29.95	c Core size: 101	Core Weight: 2	Total Weight: 95
28.77/29.95	c Elapsed CPU time: 28.7076 s	Remaining CPU time: 1771.29 s
29.07/30.29	c core #79
29.07/30.29	c Core size: 101	Core Weight: 1	Total Weight: 96
29.07/30.29	c Elapsed CPU time: 29.0476 s	Remaining CPU time: 1770.95 s
29.47/30.64	c core #80
29.47/30.64	c Core size: 101	Core Weight: 1	Total Weight: 97
29.47/30.64	c Elapsed CPU time: 29.4045 s	Remaining CPU time: 1770.6 s
29.77/30.98	c core #81
29.77/30.98	c Core size: 101	Core Weight: 1	Total Weight: 98
29.77/30.98	c Elapsed CPU time: 29.7425 s	Remaining CPU time: 1770.26 s
30.17/31.38	c core #82
30.17/31.38	c Core size: 101	Core Weight: 2	Total Weight: 100
30.17/31.38	c Elapsed CPU time: 30.1404 s	Remaining CPU time: 1769.86 s
30.57/31.72	c core #83
30.57/31.72	c Core size: 101	Core Weight: 1	Total Weight: 101
30.57/31.72	c Elapsed CPU time: 30.4794 s	Remaining CPU time: 1769.52 s
30.87/32.07	c core #84
30.87/32.07	c Core size: 101	Core Weight: 1	Total Weight: 102
30.87/32.07	c Elapsed CPU time: 30.8253 s	Remaining CPU time: 1769.17 s
31.27/32.41	c core #85
31.27/32.41	c Core size: 101	Core Weight: 1	Total Weight: 103
31.27/32.41	c Elapsed CPU time: 31.1663 s	Remaining CPU time: 1768.83 s
31.57/32.76	c core #86
31.57/32.76	c Core size: 101	Core Weight: 1	Total Weight: 104
31.57/32.76	c Elapsed CPU time: 31.5152 s	Remaining CPU time: 1768.48 s
31.97/33.10	c core #87
31.97/33.10	c Core size: 101	Core Weight: 1	Total Weight: 105
31.97/33.10	c Elapsed CPU time: 31.8552 s	Remaining CPU time: 1768.14 s
32.27/33.47	c core #88
32.27/33.47	c Core size: 2001	Core Weight: 1	Total Weight: 106
32.27/33.47	c Elapsed CPU time: 32.2201 s	Remaining CPU time: 1767.78 s
32.67/33.86	c core #89
32.67/33.86	c Core size: 101	Core Weight: 3	Total Weight: 109
32.67/33.86	c Elapsed CPU time: 32.61 s	Remaining CPU time: 1767.39 s
33.07/34.20	c core #90
33.07/34.20	c Core size: 101	Core Weight: 1	Total Weight: 110
33.07/34.20	c Elapsed CPU time: 32.952 s	Remaining CPU time: 1767.05 s
33.37/34.55	c core #91
33.37/34.55	c Core size: 101	Core Weight: 1	Total Weight: 111
33.37/34.55	c Elapsed CPU time: 33.3029 s	Remaining CPU time: 1766.7 s
33.77/34.92	c core #92
33.77/34.92	c Core size: 101	Core Weight: 1	Total Weight: 112
33.77/34.92	c Elapsed CPU time: 33.6699 s	Remaining CPU time: 1766.33 s
34.08/35.26	c core #93
34.08/35.26	c Core size: 101	Core Weight: 2	Total Weight: 114
34.08/35.26	c Elapsed CPU time: 34.0128 s	Remaining CPU time: 1765.99 s
34.47/35.62	c core #94
34.47/35.62	c Core size: 101	Core Weight: 3	Total Weight: 117
34.47/35.62	c Elapsed CPU time: 34.3678 s	Remaining CPU time: 1765.63 s
34.77/35.96	c core #95
34.77/35.96	c Core size: 101	Core Weight: 1	Total Weight: 118
34.77/35.96	c Elapsed CPU time: 34.7107 s	Remaining CPU time: 1765.29 s
35.18/36.31	c core #96
35.18/36.31	c Core size: 101	Core Weight: 1	Total Weight: 119
35.18/36.31	c Elapsed CPU time: 35.0567 s	Remaining CPU time: 1764.94 s
35.47/36.67	c core #97
35.47/36.67	c Core size: 101	Core Weight: 1	Total Weight: 120
35.47/36.67	c Elapsed CPU time: 35.4246 s	Remaining CPU time: 1764.58 s
35.87/37.03	c core #98
35.87/37.03	c Core size: 1401	Core Weight: 1	Total Weight: 121
35.87/37.03	c Elapsed CPU time: 35.7856 s	Remaining CPU time: 1764.21 s
36.18/37.39	c core #99
36.18/37.39	c Core size: 101	Core Weight: 1	Total Weight: 122
36.18/37.39	c Elapsed CPU time: 36.1385 s	Remaining CPU time: 1763.86 s
36.57/37.77	c core #100
36.57/37.77	c Core size: 101	Core Weight: 1	Total Weight: 123
36.57/37.77	c Elapsed CPU time: 36.5144 s	Remaining CPU time: 1763.49 s
36.97/38.11	c core #101
36.97/38.11	c Core size: 101	Core Weight: 1	Total Weight: 124
36.97/38.11	c Elapsed CPU time: 36.8534 s	Remaining CPU time: 1763.15 s
37.27/38.46	c core #102
37.27/38.46	c Core size: 101	Core Weight: 2	Total Weight: 126
37.27/38.46	c Elapsed CPU time: 37.2033 s	Remaining CPU time: 1762.8 s
37.67/38.80	c core #103
37.67/38.80	c Core size: 101	Core Weight: 2	Total Weight: 128
37.67/38.80	c Elapsed CPU time: 37.5453 s	Remaining CPU time: 1762.45 s
37.97/39.15	c core #104
37.97/39.15	c Core size: 1001	Core Weight: 1	Total Weight: 129
37.97/39.15	c Elapsed CPU time: 37.8962 s	Remaining CPU time: 1762.1 s
38.37/39.51	c core #105
38.37/39.51	c Core size: 101	Core Weight: 1	Total Weight: 130
38.37/39.51	c Elapsed CPU time: 38.2502 s	Remaining CPU time: 1761.75 s
38.66/39.85	c core #106
38.66/39.85	c Core size: 101	Core Weight: 1	Total Weight: 131
38.66/39.85	c Elapsed CPU time: 38.5931 s	Remaining CPU time: 1761.41 s
39.06/40.20	c core #107
39.06/40.20	c Core size: 101	Core Weight: 3	Total Weight: 134
39.06/40.20	c Elapsed CPU time: 38.9401 s	Remaining CPU time: 1761.06 s
39.36/40.54	c core #108
39.36/40.54	c Core size: 101	Core Weight: 2	Total Weight: 136
39.36/40.54	c Elapsed CPU time: 39.285 s	Remaining CPU time: 1760.71 s
39.66/40.89	c core #109
39.66/40.89	c Core size: 301	Core Weight: 1	Total Weight: 137
39.66/40.89	c Elapsed CPU time: 39.634 s	Remaining CPU time: 1760.37 s
40.06/41.25	c core #110
40.06/41.25	c Core size: 101	Core Weight: 1	Total Weight: 138
40.06/41.25	c Elapsed CPU time: 39.9929 s	Remaining CPU time: 1760.01 s
40.46/41.61	c core #111
40.46/41.61	c Core size: 101	Core Weight: 1	Total Weight: 139
40.46/41.61	c Elapsed CPU time: 40.3449 s	Remaining CPU time: 1759.66 s
40.76/41.95	c core #112
40.76/41.95	c Core size: 101	Core Weight: 1	Total Weight: 140
40.76/41.95	c Elapsed CPU time: 40.6888 s	Remaining CPU time: 1759.31 s
41.16/42.30	c core #113
41.16/42.30	c Core size: 101	Core Weight: 1	Total Weight: 141
41.16/42.30	c Elapsed CPU time: 41.0398 s	Remaining CPU time: 1758.96 s
41.46/42.66	c core #114
41.46/42.66	c Core size: 101	Core Weight: 1	Total Weight: 142
41.46/42.66	c Elapsed CPU time: 41.3927 s	Remaining CPU time: 1758.61 s
41.87/43.01	c core #115
41.87/43.01	c Core size: 299	Core Weight: 1	Total Weight: 143
41.87/43.01	c Elapsed CPU time: 41.7417 s	Remaining CPU time: 1758.26 s
42.17/43.38	c core #116
42.17/43.38	c Core size: 593	Core Weight: 1	Total Weight: 144
42.17/43.38	c Elapsed CPU time: 42.1126 s	Remaining CPU time: 1757.89 s
42.57/43.77	c core #117
42.57/43.77	c Core size: 495	Core Weight: 1	Total Weight: 145
42.57/43.77	c Elapsed CPU time: 42.5035 s	Remaining CPU time: 1757.5 s
42.97/44.15	c core #118
42.97/44.15	c Core size: 2351	Core Weight: 1	Total Weight: 146
42.97/44.15	c Elapsed CPU time: 42.8885 s	Remaining CPU time: 1757.11 s
43.36/44.52	c core #119
43.36/44.52	c Core size: 201	Core Weight: 1	Total Weight: 147
43.36/44.52	c Elapsed CPU time: 43.2524 s	Remaining CPU time: 1756.75 s
43.66/44.88	c core #120
43.66/44.88	c Core size: 101	Core Weight: 1	Total Weight: 148
43.66/44.88	c Elapsed CPU time: 43.6074 s	Remaining CPU time: 1756.39 s
44.06/45.24	c core #121
44.06/45.24	c Core size: 101	Core Weight: 1	Total Weight: 149
44.06/45.24	c Elapsed CPU time: 43.9673 s	Remaining CPU time: 1756.03 s
44.46/45.60	c core #122
44.46/45.60	c Core size: 201	Core Weight: 1	Total Weight: 150
44.46/45.60	c Elapsed CPU time: 44.3233 s	Remaining CPU time: 1755.68 s
44.76/45.97	c core #123
44.76/45.97	c Core size: 1537	Core Weight: 1	Total Weight: 151
44.76/45.97	c Elapsed CPU time: 44.6902 s	Remaining CPU time: 1755.31 s
45.16/46.35	c core #124
45.16/46.35	c Core size: 1537	Core Weight: 1	Total Weight: 152
45.16/46.35	c Elapsed CPU time: 45.0651 s	Remaining CPU time: 1754.93 s
45.56/46.72	c core #125
45.56/46.72	c Core size: 101	Core Weight: 1	Total Weight: 153
45.56/46.72	c Elapsed CPU time: 45.4311 s	Remaining CPU time: 1754.57 s
45.86/47.09	c core #126
45.86/47.09	c Core size: 203	Core Weight: 1	Total Weight: 154
45.86/47.09	c Elapsed CPU time: 45.794 s	Remaining CPU time: 1754.21 s
46.26/47.47	c core #127
46.26/47.47	c Core size: 1167	Core Weight: 1	Total Weight: 155
46.26/47.47	c Elapsed CPU time: 46.171 s	Remaining CPU time: 1753.83 s
46.66/47.85	c core #128
46.66/47.85	c Core size: 400	Core Weight: 1	Total Weight: 156
46.66/47.85	c Elapsed CPU time: 46.5459 s	Remaining CPU time: 1753.45 s
47.06/48.22	c ============================[ Search Statistics ]==============================
47.06/48.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.06/48.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.06/48.23	c ===============================================================================
47.06/48.23	c |         0 |   28065   695213    51282 |   231737        0    nan |  0.000 % |
47.06/48.25	c ===============================================================================
47.06/48.25	c core #129
47.06/48.25	c Core size: 1271	Core Weight: 1	Total Weight: 157
47.06/48.25	c Elapsed CPU time: 46.9459 s	Remaining CPU time: 1753.05 s
47.46/48.64	c Learning 1 hard constraints
47.46/48.64	c ============================[ Search Statistics ]==============================
47.46/48.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.46/48.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.46/48.64	c ===============================================================================
47.46/48.64	c |         0 |   29525   696434    53307 |   232144        0    nan |  0.000 % |
47.46/48.65	c ===============================================================================
47.46/48.65	c core #130
47.46/48.65	c Core size: 703	Core Weight: 1	Total Weight: 158
47.46/48.65	c Elapsed CPU time: 47.3408 s	Remaining CPU time: 1752.66 s
47.87/49.04	c ============================[ Search Statistics ]==============================
47.87/49.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.87/49.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.87/49.04	c ===============================================================================
47.87/49.04	c |         0 |   30538   697109    54347 |   232369        0    nan |  0.000 % |
47.87/49.08	c ===============================================================================
47.87/49.08	c core #131
47.87/49.08	c Core size: 1642	Core Weight: 1	Total Weight: 159
47.87/49.08	c Elapsed CPU time: 47.7637 s	Remaining CPU time: 1752.24 s
48.26/49.47	c ============================[ Search Statistics ]==============================
48.26/49.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.26/49.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.26/49.47	c ===============================================================================
48.26/49.47	c |         0 |   32473   698675    56640 |   232891        0    nan |  0.000 % |
48.37/49.56	c ===============================================================================
48.37/49.56	c core #132
48.37/49.56	c Core size: 2232	Core Weight: 1	Total Weight: 160
48.37/49.56	c Elapsed CPU time: 48.2297 s	Remaining CPU time: 1751.77 s
48.76/49.97	c ============================[ Search Statistics ]==============================
48.76/49.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.76/49.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.76/49.97	c ===============================================================================
48.76/49.97	c |         0 |   34660   700771    59240 |   233590        0    nan |  0.000 % |
48.86/50.01	c ===============================================================================
48.86/50.01	c core #133
48.86/50.01	c Core size: 1099	Core Weight: 1	Total Weight: 161
48.86/50.01	c Elapsed CPU time: 48.6696 s	Remaining CPU time: 1751.33 s
49.26/50.40	c ============================[ Search Statistics ]==============================
49.26/50.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.26/50.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.26/50.40	c ===============================================================================
49.26/50.40	c |         0 |   35742   701792    60629 |   233930        0    nan |  0.000 % |
49.26/50.45	c ===============================================================================
49.26/50.45	c core #134
49.26/50.45	c Core size: 1285	Core Weight: 1	Total Weight: 162
49.26/50.45	c Elapsed CPU time: 49.1035 s	Remaining CPU time: 1750.9 s
49.66/50.84	c ============================[ Search Statistics ]==============================
49.66/50.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.66/50.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.66/50.84	c ===============================================================================
49.66/50.84	c |         0 |   37013   702983    62342 |   234327        0    nan |  0.000 % |
49.86/51.05	c ===============================================================================
49.86/51.06	c core #135
49.86/51.06	c Core size: 3493	Core Weight: 1	Total Weight: 163
49.86/51.06	c Elapsed CPU time: 49.6994 s	Remaining CPU time: 1750.3 s
50.26/51.47	c ============================[ Search Statistics ]==============================
50.26/51.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.26/51.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
50.26/51.47	c ===============================================================================
50.26/51.47	c |         0 |   40427   706170    66609 |   235390        0    nan |  0.000 % |
50.36/51.60	c |       101 |   40426   706170    66609 |   258929      100   1109 | 19.177 % |
50.86/52.07	c ===============================================================================
50.86/52.08	c core #136
50.86/52.08	c Core size: 6303	Core Weight: 1	Total Weight: 164
50.86/52.08	c Elapsed CPU time: 50.7043 s	Remaining CPU time: 1749.3 s
51.36/52.51	c ============================[ Search Statistics ]==============================
51.36/52.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.36/52.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
51.36/52.51	c ===============================================================================
51.36/52.51	c |         0 |   46629   711871    74907 |   237290        0    nan |  0.000 % |
51.46/52.67	c |       100 |   46629   711871    74907 |   261019      100   1147 | 16.810 % |
52.07/53.28	c |       251 |   46628   711871    74907 |   287121      250   2273 | 16.811 % |
52.77/53.97	c |       478 |   46628   711871    74907 |   315833      477   2509 | 16.811 % |
54.65/55.81	c ===============================================================================
54.65/55.82	c core #137
54.65/55.82	c Core size: 8379	Core Weight: 1	Total Weight: 165
54.65/55.82	c Elapsed CPU time: 54.4187 s	Remaining CPU time: 1745.58 s
55.06/56.27	c Learning 7 hard constraints
55.06/56.27	c ============================[ Search Statistics ]==============================
55.06/56.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
55.06/56.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
55.06/56.27	c ===============================================================================
55.06/56.27	c |         0 |   54622   719034    88297 |   239678        0    nan |  0.000 % |
55.26/56.45	c |       101 |   54622   719034    88297 |   263645      101   1378 | 14.597 % |
55.76/56.92	c |       251 |   54622   719034    88297 |   290010      251   1548 | 14.597 % |
56.36/57.52	c |       477 |   54621   719034    88297 |   319011      476   1134 | 14.599 % |
57.25/58.41	c |       814 |   54621   719034    88297 |   350912      813   1212 | 14.599 % |
58.46/59.66	c |      1320 |   54621   719034    88297 |   386003     1319   1217 | 14.599 % |
60.56/61.78	c |      2079 |   54621   719034    88297 |   424604     2078   1240 | 14.599 % |
63.45/64.69	c |      3219 |   54620   719034    88297 |   467064     3215   1220 | 14.600 % |
69.16/70.37	c |      4927 |   54620   719034    88297 |   513771     4923   1776 | 14.600 % |
78.25/79.42	c |      7489 |   54620   719034    88297 |   565148     7485   2267 | 14.600 % |
82.85/84.00	c ===============================================================================
82.85/84.09	c core #138
82.85/84.09	c Core size: 11788	Core Weight: 1	Total Weight: 166
82.85/84.09	c Elapsed CPU time: 82.5355 s	Remaining CPU time: 1717.46 s
83.35/84.57	c Learning 21 hard constraints
83.35/84.57	c ============================[ Search Statistics ]==============================
83.35/84.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.35/84.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.35/84.57	c ===============================================================================
83.35/84.57	c |         0 |   65241   727984   107859 |   242661        0    nan |  0.000 % |
83.65/84.80	c |       100 |   65241   727984   107859 |   266927      100   1346 | 12.421 % |
84.15/85.30	c |       251 |   65241   727984   107859 |   293620      251    804 | 12.421 % |
84.85/86.05	c |       476 |   65241   727984   107859 |   322982      476    832 | 12.421 % |
85.95/87.10	c |       815 |   65241   727984   107859 |   355280      815    912 | 12.421 % |
87.75/88.93	c |      1322 |   65241   727984   107859 |   390808     1322    866 | 12.421 % |
90.54/91.76	c |      2081 |   65241   727984   107859 |   429889     2081    727 | 12.421 % |
95.45/96.65	c |      3222 |   65241   727984   107859 |   472878     3222   1033 | 12.421 % |
102.25/103.43	c |      4930 |   65241   727984   107859 |   520166     4930   1051 | 12.421 % |
114.84/116.08	c |      7492 |   65241   727984   107859 |   572182     7492   1168 | 12.421 % |
130.63/131.90	c |     11343 |   65241   727984   107859 |   629401    11343   1212 | 12.421 % |
157.24/158.45	c |     17109 |   65241   727984   107859 |   692341    17109   1278 | 12.421 % |
206.92/208.15	c |     25758 |   65241   727984   107859 |   761575    25758   1600 | 12.421 % |
295.99/297.20	c |     38732 |   65241   727984   107859 |   837732    38732   1923 | 12.421 % |
493.54/494.89	c |     58195 |   65241   727984   107859 |   921506    58195   2430 | 12.421 % |
798.45/799.87	c |     87388 |   65241   727984   107859 |  1013656    87388   2829 | 12.421 % |

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-1875637-1245141872/watcher-1875637-1245141872 -o /tmp/evaluation-result-1875637-1245141872/solver-1875637-1245141872 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875637-1245141872.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 5082
/proc/meminfo: memFree=1835648/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=19684 CPUtime=0
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181787389 20156416 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134972197 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 4921 248 122 292 0 418 0

[startup+0.0916469 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5082
/proc/meminfo: memFree=1835648/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=22088 CPUtime=0.08
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 970 0 0 0 8 0 0 0 18 0 1 0 181787389 22618112 954 1992294400 134512640 135709839 4294956240 18446744073709551615 134544470 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 5522 954 274 292 0 1019 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22088

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

[startup+0.30167 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5082
/proc/meminfo: memFree=1835648/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=24136 CPUtime=0.29
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 1878 0 0 0 29 0 0 0 19 0 1 0 181787389 24715264 1862 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 6034 1862 654 292 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24136

[startup+0.701715 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5082
/proc/meminfo: memFree=1835648/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=28148 CPUtime=0.69
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 3564 0 0 0 68 1 0 0 22 0 1 0 181787389 28823552 3548 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 7037 3549 1359 292 0 2534 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28148

[startup+1.50181 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5083
/proc/meminfo: memFree=1823864/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=35760 CPUtime=1.46
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 6769 0 0 0 144 2 0 0 25 0 1 0 181787389 36618240 6753 1992294400 134512640 135709839 4294956240 18446744073709551615 135187191 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 8940 6753 2696 292 0 4437 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 35760

[startup+3.10199 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5083
/proc/meminfo: memFree=1818488/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=35760 CPUtime=2.17
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 6776 0 0 0 211 6 0 0 25 0 1 0 181787389 36618240 6760 1992294400 134512640 135709839 4294956240 18446744073709551615 135187191 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 8940 6760 2699 292 0 4437 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 35760
heavy processes:

[startup+6.30126 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5083
/proc/meminfo: memFree=1781624/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=56808 CPUtime=5.19
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 20104 0 0 0 508 11 0 0 25 0 1 0 181787389 58171392 13401 1992294400 134512640 135709839 4294956240 18446744073709551615 134605267 0 0 4096 3 0 0 0 17 0 0 0
/proc/5082/statm: 14202 13401 133 292 0 13907 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 56808

[startup+12.7011 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 5083
/proc/meminfo: memFree=1781624/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=57600 CPUtime=11.58
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 20287 0 0 0 1147 11 0 0 25 0 1 0 181787389 58982400 13584 1992294400 134512640 135709839 4294956240 18446744073709551615 135166294 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 14400 13584 133 292 0 14105 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 57600

[startup+25.5016 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 5083
/proc/meminfo: memFree=1779960/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=59316 CPUtime=24.38
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 20734 0 0 0 2426 12 0 0 25 0 1 0 181787389 60739584 14031 1992294400 134512640 135709839 4294956240 18446744073709551615 134530387 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 14829 14031 133 292 0 14534 0
Current children cumulated CPU time (s) 24.38
Current children cumulated vsize (KiB) 59316

[startup+51.1015 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5083
/proc/meminfo: memFree=1765048/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=78536 CPUtime=49.96
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 39248 0 0 0 4973 23 0 0 25 0 1 0 181787389 80420864 18012 1992294400 134512640 135709839 4294956240 18446744073709551615 135163524 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 19634 18012 135 292 0 19339 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (KiB) 78536

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5083
/proc/meminfo: memFree=1672312/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=169436 CPUtime=101.15
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 67502 0 0 0 10067 48 0 0 25 0 1 0 181787389 173502464 40821 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 42359 40821 136 292 0 42064 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 169436

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5083
/proc/meminfo: memFree=1644856/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=197704 CPUtime=161.13
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 74624 0 0 0 16056 57 0 0 25 0 1 0 181787389 202448896 47943 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 49426 47943 136 292 0 49131 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 197704

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5083
/proc/meminfo: memFree=1552312/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=289672 CPUtime=221.12
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 97620 0 0 0 22038 74 0 0 25 0 1 0 181787389 296624128 70939 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 72418 70939 136 292 0 72123 0
Current children cumulated CPU time (s) 221.12
Current children cumulated vsize (KiB) 289672

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5083
/proc/meminfo: memFree=1457144/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=385200 CPUtime=281.1
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 121501 0 0 0 28023 87 0 0 25 0 1 0 181787389 394444800 94820 1992294400 134512640 135709839 4294956240 18446744073709551615 134577399 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 96300 94820 136 292 0 96005 0
Current children cumulated CPU time (s) 281.1
Current children cumulated vsize (KiB) 385200

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5083
/proc/meminfo: memFree=1386232/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=455404 CPUtime=341.08
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 139024 0 0 0 34008 100 0 0 25 0 1 0 181787389 466333696 112343 1992294400 134512640 135709839 4294956240 18446744073709551615 134577707 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 113851 112343 136 292 0 113556 0
Current children cumulated CPU time (s) 341.08
Current children cumulated vsize (KiB) 455404

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5083
/proc/meminfo: memFree=1297656/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=544180 CPUtime=401.06
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 161247 0 0 0 39994 112 0 0 25 0 1 0 181787389 557240320 134566 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 136045 134566 136 292 0 135750 0
Current children cumulated CPU time (s) 401.06
Current children cumulated vsize (KiB) 544180

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5083
/proc/meminfo: memFree=1215800/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=625316 CPUtime=461.05
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 181528 0 0 0 45981 124 0 0 25 0 1 0 181787389 640323584 154847 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 156329 154847 136 292 0 156034 0
Current children cumulated CPU time (s) 461.05
Current children cumulated vsize (KiB) 625316

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5085
/proc/meminfo: memFree=1125560/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=716716 CPUtime=521.03
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 204357 0 0 0 51966 137 0 0 25 0 1 0 181787389 733917184 177676 1992294400 134512640 135709839 4294956240 18446744073709551615 134579092 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 179179 177676 136 292 0 178884 0
Current children cumulated CPU time (s) 521.03
Current children cumulated vsize (KiB) 716716

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5085
/proc/meminfo: memFree=1045496/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=796172 CPUtime=581.01
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 224195 0 0 0 57952 149 0 0 25 0 1 0 181787389 815280128 197514 1992294400 134512640 135709839 4294956240 18446744073709551615 134572699 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 199043 197514 136 292 0 198748 0
Current children cumulated CPU time (s) 581.01
Current children cumulated vsize (KiB) 796172

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5085
/proc/meminfo: memFree=959352/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=880964 CPUtime=641
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 245387 0 0 0 63939 161 0 0 25 0 1 0 181787389 902107136 218706 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 220241 218706 136 292 0 219946 0
Current children cumulated CPU time (s) 641
Current children cumulated vsize (KiB) 880964

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5085
/proc/meminfo: memFree=875384/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=965396 CPUtime=700.98
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 266518 0 0 0 69925 173 0 0 25 0 1 0 181787389 988565504 239837 1992294400 134512640 135709839 4294956240 18446744073709551615 134577687 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 241349 239837 136 292 0 241054 0
Current children cumulated CPU time (s) 700.98
Current children cumulated vsize (KiB) 965396

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5085
/proc/meminfo: memFree=790840/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1049060 CPUtime=760.97
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 287429 0 0 0 75912 185 0 0 25 0 1 0 181787389 1074237440 260748 1992294400 134512640 135709839 4294956240 18446744073709551615 134572388 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 262265 260748 136 292 0 261970 0
Current children cumulated CPU time (s) 760.97
Current children cumulated vsize (KiB) 1049060

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5085
/proc/meminfo: memFree=711416/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1128520 CPUtime=820.94
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 307283 0 0 0 81896 198 0 0 25 0 1 0 181787389 1155604480 280602 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 282130 280602 136 292 0 281835 0
Current children cumulated CPU time (s) 820.94
Current children cumulated vsize (KiB) 1128520

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5085
/proc/meminfo: memFree=638712/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1201044 CPUtime=880.93
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 325398 0 0 0 87885 208 0 0 25 0 1 0 181787389 1229869056 298717 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 300261 298717 136 292 0 299966 0
Current children cumulated CPU time (s) 880.93
Current children cumulated vsize (KiB) 1201044

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5085
/proc/meminfo: memFree=574712/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1265336 CPUtime=940.92
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 341457 0 0 0 93875 217 0 0 25 0 1 0 181787389 1295704064 314776 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 316334 314776 136 292 0 316039 0
Current children cumulated CPU time (s) 940.92
Current children cumulated vsize (KiB) 1265336

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=508920/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1330856 CPUtime=1000.89
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 357841 0 0 0 99862 227 0 0 25 0 1 0 181787389 1362796544 331160 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 332714 331160 136 292 0 332419 0
Current children cumulated CPU time (s) 1000.89
Current children cumulated vsize (KiB) 1330856

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=427832/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1412544 CPUtime=1060.87
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 378254 0 0 0 105850 237 0 0 25 0 1 0 181787389 1446445056 351573 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 353136 351573 136 292 0 352841 0
Current children cumulated CPU time (s) 1060.87
Current children cumulated vsize (KiB) 1412544

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=362488/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1477400 CPUtime=1120.85
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 394458 0 0 0 111838 247 0 0 25 0 1 0 181787389 1512857600 367777 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 369350 367777 136 292 0 369055 0
Current children cumulated CPU time (s) 1120.85
Current children cumulated vsize (KiB) 1477400

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=300728/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1539644 CPUtime=1180.84
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 410010 0 0 0 117829 255 0 0 25 0 1 0 181787389 1576595456 383329 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 384911 383329 136 292 0 384616 0
Current children cumulated CPU time (s) 1180.84
Current children cumulated vsize (KiB) 1539644

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=235192/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1604180 CPUtime=1240.82
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 426142 0 0 0 123816 266 0 0 25 0 1 0 181787389 1642680320 399461 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 401045 399461 136 292 0 400750 0
Current children cumulated CPU time (s) 1240.82
Current children cumulated vsize (KiB) 1604180

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=175864/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1662756 CPUtime=1300.81
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 440784 0 0 0 129805 276 0 0 25 0 1 0 181787389 1702662144 414103 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 415689 414103 136 292 0 415394 0
Current children cumulated CPU time (s) 1300.81
Current children cumulated vsize (KiB) 1662756

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=107832/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1731156 CPUtime=1360.79
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 457918 0 0 0 135793 286 0 0 25 0 1 0 181787389 1772703744 431237 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 432789 431237 136 292 0 432494 0
Current children cumulated CPU time (s) 1360.79
Current children cumulated vsize (KiB) 1731156

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=18872/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1819264 CPUtime=1420.78
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 479946 0 0 0 141782 296 0 0 25 0 1 0 181787389 1862926336 453265 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 454816 453265 136 292 0 454521 0
Current children cumulated CPU time (s) 1420.78
Current children cumulated vsize (KiB) 1819264



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1438.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=16312/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=1843220 CPUtime=1436.86
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4194304 485939 0 0 0 143388 298 0 0 25 0 1 0 181787389 1887457280 459258 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 460805 459258 136 292 0 460510 0
Current children cumulated CPU time (s) 1436.86
Current children cumulated vsize (KiB) 1843220

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

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

[startup+1438.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5091
/proc/meminfo: memFree=16312/2055920 swapFree=4191900/4192956
[pid=5082] ppid=5080 vsize=0 CPUtime=1437.06
/proc/5082/stat : 5082 (wbo) R 5080 5082 4519 0 -1 4195332 485939 0 0 0 143388 318 0 0 25 0 1 0 181787389 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5082/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1437.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1438.69
CPU time (s): 1437.15
CPU user time (s): 1433.88
CPU system time (s): 3.2695
CPU usage (%): 99.8932
Max. virtual memory (cumulated for all children) (KiB): 1843220

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

runsolver used 1.01085 second user time and 3.22151 second system time

The end

Launcher Data 

Begin job on node28 at 2009-06-16 10:44:33
IDJOB=1875637
IDBENCH=1973
IDSOLVER=698
FILE ID=node28/1875637-1245141872
PBS_JOBID= 9363689
Free space on /tmp= 66160 MiB

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

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

MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496
RANDOM SEED=1243751516

node28.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.231
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.231
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:       1836128 kB
Buffers:         18884 kB
Cached:         129436 kB
SwapCached:        260 kB
Active:          47592 kB
Inactive:       114852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1836128 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           19204 kB
Writeback:           0 kB
Mapped:          22624 kB
Slab:            43156 kB
Committed_AS:   149880 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875637-1245141872.opb

Free space on /tmp at the end= 66160 MiB
End job on node28 at 2009-06-16 11:08:34