Trace number 1875630

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) 1644.15 1644.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM751aa23355f7a016eeb9009a33a863ac
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5657
Best CPU time to get the best result obtained on this benchmark1383.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 436
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 494314
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 494314
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-1875630-1245140229.opb.
0.00/0.00	c Instance file HOME/instance-1875630-1245140229.opb
0.00/0.00	c File size is 17233610 bytes.
2.39/2.40	c Highest Coefficient sum: 101
2.39/2.41	c ============================[ Problem Statistics ]=============================
2.39/2.41	c |                                                                             |
2.39/2.41	c |  Parsing time:          2.36         s                                      |
2.39/2.41	c |  Number Variables:      10000                                               |
2.39/2.41	c |  Number Clauses:        666900                                              |
2.39/2.41	c |  Number Cardinality:    0                                                   |
2.39/2.41	c |  Number PB Constraints: 0                                                   |
2.39/2.41	c core #1
2.39/2.41	c Core size: 101	Core Weight: 1	Total Weight: 1
2.39/2.41	c Elapsed CPU time: 2.36364 s	Remaining CPU time: 1797.64 s
2.69/2.76	c core #2
2.69/2.76	c Core size: 101	Core Weight: 1	Total Weight: 2
2.69/2.76	c Elapsed CPU time: 2.68359 s	Remaining CPU time: 1797.32 s
2.98/3.09	c core #3
2.98/3.09	c Core size: 101	Core Weight: 1	Total Weight: 3
2.98/3.09	c Elapsed CPU time: 3.00354 s	Remaining CPU time: 1797 s
3.38/3.42	c core #4
3.38/3.42	c Core size: 101	Core Weight: 1	Total Weight: 4
3.38/3.42	c Elapsed CPU time: 3.32849 s	Remaining CPU time: 1796.67 s
3.68/3.75	c core #5
3.68/3.75	c Core size: 101	Core Weight: 1	Total Weight: 5
3.68/3.75	c Elapsed CPU time: 3.66344 s	Remaining CPU time: 1796.34 s
3.98/4.07	c core #6
3.98/4.07	c Core size: 101	Core Weight: 1	Total Weight: 6
3.98/4.07	c Elapsed CPU time: 3.98539 s	Remaining CPU time: 1796.01 s
4.39/4.43	c core #7
4.39/4.43	c Core size: 101	Core Weight: 1	Total Weight: 7
4.39/4.43	c Elapsed CPU time: 4.33934 s	Remaining CPU time: 1795.66 s
4.68/4.76	c core #8
4.68/4.76	c Core size: 101	Core Weight: 1	Total Weight: 8
4.68/4.76	c Elapsed CPU time: 4.66929 s	Remaining CPU time: 1795.33 s
4.98/5.08	c core #9
4.98/5.08	c Core size: 101	Core Weight: 1	Total Weight: 9
4.98/5.08	c Elapsed CPU time: 4.99024 s	Remaining CPU time: 1795.01 s
5.39/5.41	c core #10
5.39/5.41	c Core size: 101	Core Weight: 1	Total Weight: 10
5.39/5.41	c Elapsed CPU time: 5.31519 s	Remaining CPU time: 1794.68 s
5.68/5.74	c core #11
5.68/5.74	c Core size: 101	Core Weight: 3	Total Weight: 13
5.68/5.74	c Elapsed CPU time: 5.65514 s	Remaining CPU time: 1794.34 s
6.08/6.10	c core #12
6.08/6.10	c Core size: 101	Core Weight: 1	Total Weight: 14
6.08/6.10	c Elapsed CPU time: 6.01209 s	Remaining CPU time: 1793.99 s
6.38/6.43	c core #13
6.38/6.43	c Core size: 101	Core Weight: 1	Total Weight: 15
6.38/6.43	c Elapsed CPU time: 6.33804 s	Remaining CPU time: 1793.66 s
6.68/6.75	c core #14
6.68/6.75	c Core size: 101	Core Weight: 1	Total Weight: 16
6.68/6.75	c Elapsed CPU time: 6.66199 s	Remaining CPU time: 1793.34 s
6.98/7.07	c core #15
6.98/7.07	c Core size: 101	Core Weight: 2	Total Weight: 18
6.98/7.07	c Elapsed CPU time: 6.97994 s	Remaining CPU time: 1793.02 s
7.28/7.40	c core #16
7.28/7.40	c Core size: 101	Core Weight: 1	Total Weight: 19
7.28/7.40	c Elapsed CPU time: 7.30589 s	Remaining CPU time: 1792.69 s
7.68/7.73	c core #17
7.68/7.73	c Core size: 101	Core Weight: 1	Total Weight: 20
7.68/7.73	c Elapsed CPU time: 7.64484 s	Remaining CPU time: 1792.36 s
8.08/8.10	c core #18
8.08/8.10	c Core size: 101	Core Weight: 2	Total Weight: 22
8.08/8.10	c Elapsed CPU time: 8.00878 s	Remaining CPU time: 1791.99 s
8.38/8.44	c core #19
8.38/8.44	c Core size: 101	Core Weight: 1	Total Weight: 23
8.38/8.44	c Elapsed CPU time: 8.35373 s	Remaining CPU time: 1791.65 s
8.78/8.80	c core #20
8.78/8.80	c Core size: 101	Core Weight: 1	Total Weight: 24
8.78/8.80	c Elapsed CPU time: 8.71268 s	Remaining CPU time: 1791.29 s
9.08/9.15	c core #21
9.08/9.15	c Core size: 201	Core Weight: 1	Total Weight: 25
9.08/9.15	c Elapsed CPU time: 9.06262 s	Remaining CPU time: 1790.94 s
9.38/9.48	c core #22
9.38/9.48	c Core size: 101	Core Weight: 1	Total Weight: 26
9.38/9.48	c Elapsed CPU time: 9.39357 s	Remaining CPU time: 1790.61 s
9.78/9.82	c core #23
9.78/9.82	c Core size: 101	Core Weight: 1	Total Weight: 27
9.78/9.82	c Elapsed CPU time: 9.72552 s	Remaining CPU time: 1790.27 s
10.08/10.18	c core #24
10.08/10.18	c Core size: 101	Core Weight: 1	Total Weight: 28
10.08/10.18	c Elapsed CPU time: 10.0925 s	Remaining CPU time: 1789.91 s
10.48/10.50	c core #25
10.48/10.50	c Core size: 101	Core Weight: 2	Total Weight: 30
10.48/10.50	c Elapsed CPU time: 10.4084 s	Remaining CPU time: 1789.59 s
10.78/10.82	c core #26
10.78/10.82	c Core size: 101	Core Weight: 1	Total Weight: 31
10.78/10.82	c Elapsed CPU time: 10.7284 s	Remaining CPU time: 1789.27 s
11.08/11.18	c core #27
11.08/11.18	c Core size: 101	Core Weight: 1	Total Weight: 32
11.08/11.18	c Elapsed CPU time: 11.0873 s	Remaining CPU time: 1788.91 s
11.48/11.50	c core #28
11.48/11.50	c Core size: 301	Core Weight: 1	Total Weight: 33
11.48/11.50	c Elapsed CPU time: 11.4093 s	Remaining CPU time: 1788.59 s
11.78/11.83	c core #29
11.78/11.83	c Core size: 101	Core Weight: 1	Total Weight: 34
11.78/11.83	c Elapsed CPU time: 11.7382 s	Remaining CPU time: 1788.26 s
12.08/12.16	c core #30
12.08/12.16	c Core size: 101	Core Weight: 1	Total Weight: 35
12.08/12.16	c Elapsed CPU time: 12.0652 s	Remaining CPU time: 1787.93 s
12.38/12.48	c core #31
12.38/12.48	c Core size: 101	Core Weight: 1	Total Weight: 36
12.38/12.48	c Elapsed CPU time: 12.3911 s	Remaining CPU time: 1787.61 s
12.78/12.81	c core #32
12.78/12.81	c Core size: 101	Core Weight: 1	Total Weight: 37
12.78/12.81	c Elapsed CPU time: 12.7201 s	Remaining CPU time: 1787.28 s
13.08/13.14	c core #33
13.08/13.14	c Core size: 101	Core Weight: 1	Total Weight: 38
13.08/13.14	c Elapsed CPU time: 13.044 s	Remaining CPU time: 1786.96 s
13.38/13.46	c core #34
13.38/13.46	c Core size: 101	Core Weight: 3	Total Weight: 41
13.38/13.46	c Elapsed CPU time: 13.37 s	Remaining CPU time: 1786.63 s
13.79/13.80	c core #35
13.79/13.80	c Core size: 201	Core Weight: 1	Total Weight: 42
13.79/13.80	c Elapsed CPU time: 13.7039 s	Remaining CPU time: 1786.3 s
14.09/14.18	c core #36
14.09/14.18	c Core size: 101	Core Weight: 1	Total Weight: 43
14.09/14.18	c Elapsed CPU time: 14.0839 s	Remaining CPU time: 1785.92 s
14.49/14.50	c core #37
14.49/14.50	c Core size: 101	Core Weight: 1	Total Weight: 44
14.49/14.50	c Elapsed CPU time: 14.4098 s	Remaining CPU time: 1785.59 s
14.79/14.83	c core #38
14.79/14.83	c Core size: 101	Core Weight: 1	Total Weight: 45
14.79/14.83	c Elapsed CPU time: 14.7358 s	Remaining CPU time: 1785.26 s
15.09/15.16	c core #39
15.09/15.16	c Core size: 101	Core Weight: 1	Total Weight: 46
15.09/15.16	c Elapsed CPU time: 15.0597 s	Remaining CPU time: 1784.94 s
15.39/15.49	c core #40
15.39/15.49	c Core size: 101	Core Weight: 1	Total Weight: 47
15.39/15.49	c Elapsed CPU time: 15.3957 s	Remaining CPU time: 1784.6 s
15.79/15.82	c core #41
15.79/15.82	c Core size: 101	Core Weight: 1	Total Weight: 48
15.79/15.82	c Elapsed CPU time: 15.7226 s	Remaining CPU time: 1784.28 s
16.08/16.14	c core #42
16.08/16.14	c Core size: 101	Core Weight: 1	Total Weight: 49
16.08/16.14	c Elapsed CPU time: 16.0486 s	Remaining CPU time: 1783.95 s
16.39/16.47	c core #43
16.39/16.47	c Core size: 101	Core Weight: 1	Total Weight: 50
16.39/16.47	c Elapsed CPU time: 16.3725 s	Remaining CPU time: 1783.63 s
16.68/16.79	c core #44
16.68/16.79	c Core size: 101	Core Weight: 1	Total Weight: 51
16.68/16.79	c Elapsed CPU time: 16.6955 s	Remaining CPU time: 1783.3 s
17.08/17.12	c core #45
17.08/17.12	c Core size: 101	Core Weight: 1	Total Weight: 52
17.08/17.12	c Elapsed CPU time: 17.0234 s	Remaining CPU time: 1782.98 s
17.38/17.45	c core #46
17.38/17.45	c Core size: 101	Core Weight: 1	Total Weight: 53
17.38/17.45	c Elapsed CPU time: 17.3514 s	Remaining CPU time: 1782.65 s
17.68/17.78	c core #47
17.68/17.78	c Core size: 101	Core Weight: 1	Total Weight: 54
17.68/17.78	c Elapsed CPU time: 17.6823 s	Remaining CPU time: 1782.32 s
18.08/18.11	c core #48
18.08/18.11	c Core size: 101	Core Weight: 1	Total Weight: 55
18.08/18.11	c Elapsed CPU time: 18.0103 s	Remaining CPU time: 1781.99 s
18.38/18.47	c core #49
18.38/18.47	c Core size: 101	Core Weight: 1	Total Weight: 56
18.38/18.47	c Elapsed CPU time: 18.3742 s	Remaining CPU time: 1781.63 s
18.78/18.82	c core #50
18.78/18.82	c Core size: 101	Core Weight: 1	Total Weight: 57
18.78/18.82	c Elapsed CPU time: 18.7242 s	Remaining CPU time: 1781.28 s
19.08/19.17	c core #51
19.08/19.17	c Core size: 101	Core Weight: 2	Total Weight: 59
19.08/19.17	c Elapsed CPU time: 19.0671 s	Remaining CPU time: 1780.93 s
19.48/19.50	c core #52
19.48/19.50	c Core size: 101	Core Weight: 1	Total Weight: 60
19.48/19.50	c Elapsed CPU time: 19.3981 s	Remaining CPU time: 1780.6 s
19.79/19.83	c core #53
19.79/19.83	c Core size: 101	Core Weight: 1	Total Weight: 61
19.79/19.83	c Elapsed CPU time: 19.727 s	Remaining CPU time: 1780.27 s
20.08/20.16	c core #54
20.08/20.16	c Core size: 101	Core Weight: 2	Total Weight: 63
20.08/20.16	c Elapsed CPU time: 20.0619 s	Remaining CPU time: 1779.94 s
20.48/20.50	c core #55
20.48/20.50	c Core size: 101	Core Weight: 1	Total Weight: 64
20.48/20.50	c Elapsed CPU time: 20.3989 s	Remaining CPU time: 1779.6 s
20.79/20.87	c core #56
20.79/20.87	c Core size: 401	Core Weight: 1	Total Weight: 65
20.79/20.87	c Elapsed CPU time: 20.7678 s	Remaining CPU time: 1779.23 s
21.18/21.21	c core #57
21.18/21.21	c Core size: 101	Core Weight: 1	Total Weight: 66
21.18/21.21	c Elapsed CPU time: 21.1058 s	Remaining CPU time: 1778.89 s
21.48/21.54	c core #58
21.48/21.54	c Core size: 101	Core Weight: 1	Total Weight: 67
21.48/21.54	c Elapsed CPU time: 21.4427 s	Remaining CPU time: 1778.56 s
21.88/21.90	c core #59
21.88/21.90	c Core size: 101	Core Weight: 1	Total Weight: 68
21.88/21.90	c Elapsed CPU time: 21.8007 s	Remaining CPU time: 1778.2 s
22.18/22.27	c core #60
22.18/22.27	c Core size: 101	Core Weight: 1	Total Weight: 69
22.18/22.27	c Elapsed CPU time: 22.1646 s	Remaining CPU time: 1777.84 s
22.58/22.60	c core #61
22.58/22.60	c Core size: 101	Core Weight: 3	Total Weight: 72
22.58/22.60	c Elapsed CPU time: 22.4956 s	Remaining CPU time: 1777.5 s
22.88/22.93	c core #62
22.88/22.93	c Core size: 101	Core Weight: 1	Total Weight: 73
22.88/22.93	c Elapsed CPU time: 22.8245 s	Remaining CPU time: 1777.18 s
23.18/23.27	c core #63
23.18/23.27	c Core size: 101	Core Weight: 1	Total Weight: 74
23.18/23.27	c Elapsed CPU time: 23.1715 s	Remaining CPU time: 1776.83 s
23.58/23.62	c core #64
23.58/23.62	c Core size: 101	Core Weight: 1	Total Weight: 75
23.58/23.62	c Elapsed CPU time: 23.5194 s	Remaining CPU time: 1776.48 s
23.88/23.96	c core #65
23.88/23.96	c Core size: 101	Core Weight: 2	Total Weight: 77
23.88/23.96	c Elapsed CPU time: 23.8584 s	Remaining CPU time: 1776.14 s
24.18/24.29	c core #66
24.18/24.29	c Core size: 201	Core Weight: 1	Total Weight: 78
24.18/24.29	c Elapsed CPU time: 24.1843 s	Remaining CPU time: 1775.82 s
24.58/24.62	c core #67
24.58/24.62	c Core size: 101	Core Weight: 1	Total Weight: 79
24.58/24.62	c Elapsed CPU time: 24.5183 s	Remaining CPU time: 1775.48 s
24.88/24.97	c core #68
24.88/24.97	c Core size: 101	Core Weight: 1	Total Weight: 80
24.88/24.97	c Elapsed CPU time: 24.8662 s	Remaining CPU time: 1775.13 s
25.28/25.30	c core #69
25.28/25.30	c Core size: 101	Core Weight: 1	Total Weight: 81
25.28/25.30	c Elapsed CPU time: 25.2012 s	Remaining CPU time: 1774.8 s
25.58/25.68	c core #70
25.58/25.68	c Core size: 1401	Core Weight: 1	Total Weight: 82
25.58/25.68	c Elapsed CPU time: 25.5731 s	Remaining CPU time: 1774.43 s
25.98/26.03	c core #71
25.98/26.03	c Core size: 101	Core Weight: 1	Total Weight: 83
25.98/26.03	c Elapsed CPU time: 25.9291 s	Remaining CPU time: 1774.07 s
26.28/26.39	c core #72
26.28/26.39	c Core size: 301	Core Weight: 1	Total Weight: 84
26.28/26.39	c Elapsed CPU time: 26.285 s	Remaining CPU time: 1773.71 s
26.68/26.72	c core #73
26.68/26.72	c Core size: 101	Core Weight: 1	Total Weight: 85
26.68/26.72	c Elapsed CPU time: 26.616 s	Remaining CPU time: 1773.38 s
26.98/27.09	c core #74
26.98/27.09	c Core size: 101	Core Weight: 1	Total Weight: 86
26.98/27.09	c Elapsed CPU time: 26.9849 s	Remaining CPU time: 1773.02 s
27.38/27.44	c core #75
27.38/27.44	c Core size: 101	Core Weight: 2	Total Weight: 88
27.38/27.44	c Elapsed CPU time: 27.3358 s	Remaining CPU time: 1772.66 s
27.68/27.77	c core #76
27.68/27.77	c Core size: 101	Core Weight: 1	Total Weight: 89
27.68/27.77	c Elapsed CPU time: 27.6708 s	Remaining CPU time: 1772.33 s
28.08/28.14	c core #77
28.08/28.14	c Core size: 101	Core Weight: 1	Total Weight: 90
28.08/28.14	c Elapsed CPU time: 28.0357 s	Remaining CPU time: 1771.96 s
28.48/28.52	c core #78
28.48/28.52	c Core size: 101	Core Weight: 2	Total Weight: 92
28.48/28.52	c Elapsed CPU time: 28.4117 s	Remaining CPU time: 1771.59 s
28.78/28.85	c core #79
28.78/28.85	c Core size: 101	Core Weight: 1	Total Weight: 93
28.78/28.85	c Elapsed CPU time: 28.7506 s	Remaining CPU time: 1771.25 s
29.18/29.20	c core #80
29.18/29.20	c Core size: 101	Core Weight: 1	Total Weight: 94
29.18/29.20	c Elapsed CPU time: 29.1006 s	Remaining CPU time: 1770.9 s
29.48/29.55	c core #81
29.48/29.55	c Core size: 701	Core Weight: 1	Total Weight: 95
29.48/29.55	c Elapsed CPU time: 29.4445 s	Remaining CPU time: 1770.56 s
29.88/29.91	c core #82
29.88/29.91	c Core size: 101	Core Weight: 1	Total Weight: 96
29.88/29.91	c Elapsed CPU time: 29.8015 s	Remaining CPU time: 1770.2 s
30.18/30.24	c core #83
30.18/30.24	c Core size: 101	Core Weight: 1	Total Weight: 97
30.18/30.24	c Elapsed CPU time: 30.1344 s	Remaining CPU time: 1769.87 s
30.58/30.61	c core #84
30.58/30.61	c Core size: 801	Core Weight: 1	Total Weight: 98
30.58/30.61	c Elapsed CPU time: 30.5034 s	Remaining CPU time: 1769.5 s
30.88/30.96	c core #85
30.88/30.96	c Core size: 101	Core Weight: 1	Total Weight: 99
30.88/30.96	c Elapsed CPU time: 30.8523 s	Remaining CPU time: 1769.15 s
31.27/31.32	c core #86
31.27/31.32	c Core size: 101	Core Weight: 1	Total Weight: 100
31.27/31.32	c Elapsed CPU time: 31.2093 s	Remaining CPU time: 1768.79 s
31.57/31.64	c core #87
31.57/31.64	c Core size: 101	Core Weight: 1	Total Weight: 101
31.57/31.64	c Elapsed CPU time: 31.5272 s	Remaining CPU time: 1768.47 s
31.87/31.97	c core #88
31.87/31.97	c Core size: 101	Core Weight: 1	Total Weight: 102
31.87/31.97	c Elapsed CPU time: 31.8552 s	Remaining CPU time: 1768.14 s
32.28/32.32	c core #89
32.28/32.32	c Core size: 101	Core Weight: 1	Total Weight: 103
32.28/32.32	c Elapsed CPU time: 32.2061 s	Remaining CPU time: 1767.79 s
32.58/32.67	c core #90
32.58/32.67	c Core size: 1401	Core Weight: 1	Total Weight: 104
32.58/32.67	c Elapsed CPU time: 32.559 s	Remaining CPU time: 1767.44 s
32.98/33.04	c core #91
32.98/33.04	c Core size: 101	Core Weight: 2	Total Weight: 106
32.98/33.04	c Elapsed CPU time: 32.924 s	Remaining CPU time: 1767.08 s
33.28/33.38	c core #92
33.28/33.38	c Core size: 101	Core Weight: 1	Total Weight: 107
33.28/33.38	c Elapsed CPU time: 33.2629 s	Remaining CPU time: 1766.74 s
33.68/33.72	c core #93
33.68/33.72	c Core size: 201	Core Weight: 1	Total Weight: 108
33.68/33.72	c Elapsed CPU time: 33.6039 s	Remaining CPU time: 1766.4 s
33.98/34.06	c core #94
33.98/34.06	c Core size: 101	Core Weight: 1	Total Weight: 109
33.98/34.06	c Elapsed CPU time: 33.9468 s	Remaining CPU time: 1766.05 s
34.38/34.40	c core #95
34.38/34.40	c Core size: 101	Core Weight: 1	Total Weight: 110
34.38/34.40	c Elapsed CPU time: 34.2868 s	Remaining CPU time: 1765.71 s
34.68/34.75	c core #96
34.68/34.75	c Core size: 101	Core Weight: 1	Total Weight: 111
34.68/34.75	c Elapsed CPU time: 34.6327 s	Remaining CPU time: 1765.37 s
34.98/35.09	c core #97
34.98/35.09	c Core size: 101	Core Weight: 1	Total Weight: 112
34.98/35.09	c Elapsed CPU time: 34.9777 s	Remaining CPU time: 1765.02 s
35.38/35.43	c core #98
35.38/35.43	c Core size: 101	Core Weight: 1	Total Weight: 113
35.38/35.43	c Elapsed CPU time: 35.3186 s	Remaining CPU time: 1764.68 s
35.68/35.78	c core #99
35.68/35.78	c Core size: 301	Core Weight: 1	Total Weight: 114
35.68/35.78	c Elapsed CPU time: 35.6606 s	Remaining CPU time: 1764.34 s
36.08/36.12	c core #100
36.08/36.12	c Core size: 101	Core Weight: 1	Total Weight: 115
36.08/36.12	c Elapsed CPU time: 36.0045 s	Remaining CPU time: 1764 s
36.37/36.47	c core #101
36.37/36.47	c Core size: 101	Core Weight: 1	Total Weight: 116
36.37/36.47	c Elapsed CPU time: 36.3485 s	Remaining CPU time: 1763.65 s
36.77/36.81	c core #102
36.77/36.81	c Core size: 101	Core Weight: 1	Total Weight: 117
36.77/36.81	c Elapsed CPU time: 36.6954 s	Remaining CPU time: 1763.3 s
37.07/37.16	c core #103
37.07/37.16	c Core size: 101	Core Weight: 1	Total Weight: 118
37.07/37.16	c Elapsed CPU time: 37.0394 s	Remaining CPU time: 1762.96 s
37.48/37.51	c core #104
37.48/37.51	c Core size: 101	Core Weight: 1	Total Weight: 119
37.48/37.51	c Elapsed CPU time: 37.3913 s	Remaining CPU time: 1762.61 s
37.78/37.85	c core #105
37.78/37.85	c Core size: 301	Core Weight: 2	Total Weight: 121
37.78/37.85	c Elapsed CPU time: 37.7353 s	Remaining CPU time: 1762.26 s
38.07/38.20	c core #106
38.07/38.20	c Core size: 101	Core Weight: 1	Total Weight: 122
38.07/38.20	c Elapsed CPU time: 38.0792 s	Remaining CPU time: 1761.92 s
38.48/38.54	c core #107
38.48/38.54	c Core size: 101	Core Weight: 2	Total Weight: 124
38.48/38.54	c Elapsed CPU time: 38.4202 s	Remaining CPU time: 1761.58 s
38.77/38.89	c core #108
38.77/38.89	c Core size: 101	Core Weight: 1	Total Weight: 125
38.77/38.89	c Elapsed CPU time: 38.7691 s	Remaining CPU time: 1761.23 s
39.17/39.24	c core #109
39.17/39.24	c Core size: 201	Core Weight: 1	Total Weight: 126
39.17/39.24	c Elapsed CPU time: 39.1181 s	Remaining CPU time: 1760.88 s
39.48/39.58	c core #110
39.48/39.58	c Core size: 101	Core Weight: 1	Total Weight: 127
39.48/39.58	c Elapsed CPU time: 39.462 s	Remaining CPU time: 1760.54 s
39.87/39.93	c core #111
39.87/39.93	c Core size: 101	Core Weight: 1	Total Weight: 128
39.87/39.93	c Elapsed CPU time: 39.8129 s	Remaining CPU time: 1760.19 s
40.27/40.30	c core #112
40.27/40.30	c Core size: 201	Core Weight: 1	Total Weight: 129
40.27/40.30	c Elapsed CPU time: 40.1809 s	Remaining CPU time: 1759.82 s
40.57/40.70	c core #113
40.57/40.70	c Core size: 101	Core Weight: 1	Total Weight: 130
40.57/40.70	c Elapsed CPU time: 40.5748 s	Remaining CPU time: 1759.43 s
41.07/41.11	c core #114
41.07/41.11	c Core size: 101	Core Weight: 1	Total Weight: 131
41.07/41.11	c Elapsed CPU time: 40.9888 s	Remaining CPU time: 1759.01 s
41.37/41.47	c core #115
41.37/41.47	c Core size: 1801	Core Weight: 1	Total Weight: 132
41.37/41.47	c Elapsed CPU time: 41.3517 s	Remaining CPU time: 1758.65 s
41.77/41.84	c core #116
41.77/41.84	c Core size: 101	Core Weight: 1	Total Weight: 133
41.77/41.84	c Elapsed CPU time: 41.7167 s	Remaining CPU time: 1758.28 s
42.17/42.22	c core #117
42.17/42.22	c Core size: 1965	Core Weight: 1	Total Weight: 134
42.17/42.22	c Elapsed CPU time: 42.1016 s	Remaining CPU time: 1757.9 s
42.57/42.61	c core #118
42.57/42.61	c Core size: 2468	Core Weight: 1	Total Weight: 135
42.57/42.61	c Elapsed CPU time: 42.4855 s	Remaining CPU time: 1757.51 s
42.87/42.99	c core #119
42.87/42.99	c Core size: 1720	Core Weight: 1	Total Weight: 136
42.87/42.99	c Elapsed CPU time: 42.8655 s	Remaining CPU time: 1757.13 s
43.37/43.40	c core #120
43.37/43.40	c Core size: 101	Core Weight: 1	Total Weight: 137
43.37/43.40	c Elapsed CPU time: 43.2674 s	Remaining CPU time: 1756.73 s
43.67/43.76	c core #121
43.67/43.76	c Core size: 201	Core Weight: 1	Total Weight: 138
43.67/43.76	c Elapsed CPU time: 43.6254 s	Remaining CPU time: 1756.37 s
44.06/44.12	c core #122
44.06/44.12	c Core size: 101	Core Weight: 1	Total Weight: 139
44.06/44.12	c Elapsed CPU time: 43.9873 s	Remaining CPU time: 1756.01 s
44.37/44.50	c core #123
44.37/44.50	c Core size: 701	Core Weight: 1	Total Weight: 140
44.37/44.50	c Elapsed CPU time: 44.3543 s	Remaining CPU time: 1755.65 s
44.77/44.87	c ============================[ Search Statistics ]==============================
44.77/44.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.77/44.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.77/44.87	c ===============================================================================
44.77/44.87	c |         0 |   25811   692456    48382 |   230818        0    nan |  0.000 % |
44.77/44.89	c ===============================================================================
44.77/44.89	c core #124
44.77/44.89	c Core size: 1091	Core Weight: 1	Total Weight: 141
44.77/44.89	c Elapsed CPU time: 44.7492 s	Remaining CPU time: 1755.25 s
45.16/45.27	c ============================[ Search Statistics ]==============================
45.16/45.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.16/45.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.16/45.27	c ===============================================================================
45.16/45.27	c |         0 |   26887   693497    49630 |   231165        0    nan |  0.000 % |
45.16/45.29	c ===============================================================================
45.16/45.29	c core #125
45.16/45.29	c Core size: 1077	Core Weight: 1	Total Weight: 142
45.16/45.29	c Elapsed CPU time: 45.1461 s	Remaining CPU time: 1754.85 s
45.57/45.68	c ============================[ Search Statistics ]==============================
45.57/45.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.57/45.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.57/45.68	c ===============================================================================
45.57/45.68	c |         0 |   27958   694532    51018 |   231510        0    nan |  0.000 % |
45.67/45.70	c ===============================================================================
45.67/45.70	c core #126
45.67/45.70	c Core size: 797	Core Weight: 1	Total Weight: 143
45.67/45.70	c Elapsed CPU time: 45.5481 s	Remaining CPU time: 1754.45 s
45.97/46.08	c Learning 1 hard constraints
45.97/46.08	c ============================[ Search Statistics ]==============================
45.97/46.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.97/46.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.97/46.08	c ===============================================================================
45.97/46.08	c |         0 |   28949   695290    53149 |   231763        0    nan |  0.000 % |
46.07/46.10	c ===============================================================================
46.07/46.10	c core #127
46.07/46.10	c Core size: 890	Core Weight: 1	Total Weight: 144
46.07/46.10	c Elapsed CPU time: 45.947 s	Remaining CPU time: 1754.05 s
46.37/46.49	c ============================[ Search Statistics ]==============================
46.37/46.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.37/46.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.37/46.49	c ===============================================================================
46.37/46.49	c |         0 |   29831   696146    54257 |   232048        0    nan |  0.000 % |
46.47/46.54	c ===============================================================================
46.47/46.54	c core #128
46.47/46.54	c Core size: 1918	Core Weight: 1	Total Weight: 145
46.47/46.54	c Elapsed CPU time: 46.3749 s	Remaining CPU time: 1753.63 s
46.86/46.93	c ============================[ Search Statistics ]==============================
46.86/46.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.86/46.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.86/46.93	c ===============================================================================
46.86/46.93	c |         0 |   31726   697963    56600 |   232654        0    nan |  0.000 % |
46.86/46.99	c ===============================================================================
46.86/46.99	c core #129
46.86/46.99	c Core size: 1088	Core Weight: 1	Total Weight: 146
46.86/46.99	c Elapsed CPU time: 46.8129 s	Remaining CPU time: 1753.19 s
47.27/47.38	c Learning 1 hard constraints
47.27/47.38	c ============================[ Search Statistics ]==============================
47.27/47.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.27/47.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.27/47.38	c ===============================================================================
47.27/47.38	c |         0 |   32908   698978    58491 |   232992        0    nan |  0.000 % |
47.57/47.60	c ===============================================================================
47.57/47.60	c core #130
47.57/47.60	c Core size: 3948	Core Weight: 1	Total Weight: 147
47.57/47.60	c Elapsed CPU time: 47.4128 s	Remaining CPU time: 1752.59 s
47.96/48.01	c ============================[ Search Statistics ]==============================
47.96/48.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.96/48.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.96/48.01	c ===============================================================================
47.96/48.01	c |         0 |   36883   702614    63800 |   234204        0    nan |  0.000 % |
48.07/48.15	c |       100 |   36882   702614    63800 |   257625       98   1576 | 20.458 % |
48.67/48.75	c ===============================================================================
48.67/48.75	c core #131
48.67/48.75	c Core size: 7714	Core Weight: 1	Total Weight: 148
48.67/48.75	c Elapsed CPU time: 48.5506 s	Remaining CPU time: 1751.45 s
49.07/49.18	c Learning 2 hard constraints
49.07/49.18	c ============================[ Search Statistics ]==============================
49.07/49.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.07/49.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.07/49.18	c ===============================================================================
49.07/49.18	c |         0 |   44337   709580    74192 |   236526        0    nan |  0.000 % |
49.37/49.45	c |       101 |   44337   709580    74192 |   260179      101   1482 | 17.497 % |
49.67/49.78	c |       251 |   44335   709580    74192 |   286197      247   1198 | 17.501 % |
50.17/50.25	c |       478 |   44335   709580    74192 |   314816      474   1382 | 17.501 % |
50.87/50.97	c |       817 |   44334   709580    74192 |   346298      810   1657 | 17.503 % |
52.26/52.36	c ===============================================================================
52.26/52.38	c core #132
52.26/52.38	c Core size: 9579	Core Weight: 1	Total Weight: 149
52.26/52.38	c Elapsed CPU time: 52.1481 s	Remaining CPU time: 1747.85 s
52.77/52.83	c Learning 3 hard constraints
52.77/52.83	c ============================[ Search Statistics ]==============================
52.77/52.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
52.77/52.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
52.77/52.83	c ===============================================================================
52.77/52.83	c |         0 |   53375   717646    86969 |   239215        0    nan |  0.000 % |
52.97/53.01	c |       102 |   53375   717646    86969 |   263136      102    769 | 14.876 % |
53.37/53.45	c |       252 |   53375   717646    86969 |   289450      252    714 | 14.876 % |
54.06/54.12	c |       478 |   53375   717646    86969 |   318395      478    711 | 14.876 % |
54.97/55.04	c |       818 |   53375   717646    86969 |   350235      818    725 | 14.876 % |
56.67/56.70	c |      1325 |   53375   717646    86969 |   385258     1325    796 | 14.876 % |
59.07/59.10	c |      2086 |   53374   717646    86969 |   423784     2084    863 | 14.878 % |
62.36/62.50	c |      3225 |   53374   717646    86969 |   466163     3223    794 | 14.878 % |
67.96/68.07	c |      4940 |   53374   717646    86969 |   512779     4938    985 | 14.878 % |
77.46/77.59	c |      7503 |   53374   717646    86969 |   564057     7501   1334 | 14.878 % |
96.55/96.68	c |     11348 |   53374   717646    86969 |   620462    11346   2052 | 14.878 % |
132.84/132.94	c |     17114 |   53374   717646    86969 |   682509    17112   2663 | 14.878 % |
180.62/180.73	c |     25765 |   53373   717646    86969 |   750760    25742   2713 | 14.880 % |
234.51/234.66	c ===============================================================================
235.01/235.17	c core #133
235.01/235.17	c Core size: 12953	Core Weight: 1	Total Weight: 150
235.01/235.17	c Elapsed CPU time: 234.275 s	Remaining CPU time: 1565.72 s
235.51/235.70	c Learning 132 hard constraints
235.51/235.70	c ============================[ Search Statistics ]==============================
235.51/235.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.51/235.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
235.51/235.70	c ===============================================================================
235.51/235.70	c |         0 |   64554   726944   150856 |   242314        0    nan |  0.000 % |
235.81/235.93	c |       101 |   64554   726944   150856 |   266546      101   1462 | 12.504 % |
236.31/236.46	c |       252 |   64554   726944   150856 |   293200      252    780 | 12.504 % |
237.42/237.59	c |       479 |   64554   726944   150856 |   322520      479    694 | 12.504 % |
239.01/239.17	c |       817 |   64554   726944   150856 |   354772      817    769 | 12.504 % |
241.41/241.58	c |      1323 |   64554   726944   150856 |   390250     1323    705 | 12.504 % |
244.21/244.30	c |      2085 |   64554   726944   150856 |   429275     2085    861 | 12.504 % |
249.31/249.45	c |      3226 |   64554   726944   150856 |   472202     3226    965 | 12.504 % |
259.01/259.10	c |      4934 |   64553   726944   150856 |   519423     4932   1204 | 12.505 % |
275.50/275.60	c |      7499 |   64553   726944   150856 |   571365     7497   1428 | 12.505 % |
300.20/300.32	c |     11343 |   64553   726944   150856 |   628501    11341   1619 | 12.505 % |
339.09/339.28	c |     17109 |   64553   726944   150856 |   691352    17107   1933 | 12.505 % |
391.27/391.43	c |     25761 |   64553   726944   150856 |   760487    25759   1839 | 12.505 % |
503.25/503.41	c |     38736 |   64553   726944   150856 |   836535    38734   2251 | 12.505 % |
694.39/694.68	c |     58197 |   64553   726944   150856 |   920189    58195   2755 | 12.505 % |
997.01/997.31	c |     87391 |   64553   726944   150856 |  1012208    87389   2990 | 12.505 % |
1448.80/1449.25	c |    131180 |   64553   726944   150856 |  1113429   131178   2930 | 12.505 % |

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-1875630-1245140229/watcher-1875630-1245140229 -o /tmp/evaluation-result-1875630-1245140229/solver-1875630-1245140229 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875630-1245140229.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 8250
/proc/meminfo: memFree=1834856/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=19224 CPUtime=0
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 175 0 0 0 0 0 0 0 19 0 1 0 181620166 19685376 159 1992294400 134512640 135709839 4294956240 18446744073709551615 135163525 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 4842 165 117 292 0 339 0

[startup+0.00925189 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8250
/proc/meminfo: memFree=1834856/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=19888 CPUtime=0
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 310 0 0 0 0 0 0 0 19 0 1 0 181620166 20365312 294 1992294400 134512640 135709839 4294956240 18446744073709551615 134570352 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 4972 294 124 292 0 469 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 19888

[startup+0.101261 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8250
/proc/meminfo: memFree=1834856/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=22088 CPUtime=0.09
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 992 0 0 0 9 0 0 0 19 0 1 0 181620166 22618112 976 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 5522 976 283 292 0 1019 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22088

[startup+0.301283 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8250
/proc/meminfo: memFree=1834856/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=24136 CPUtime=0.29
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 1849 0 0 0 28 1 0 0 21 0 1 0 181620166 24715264 1833 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 6034 1834 642 292 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24136

[startup+0.701327 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8250
/proc/meminfo: memFree=1834856/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=28016 CPUtime=0.69
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 3515 0 0 0 68 1 0 0 24 0 1 0 181620166 28688384 3499 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 7004 3499 1338 292 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28016

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1823200/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=36024 CPUtime=1.49
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 6909 0 0 0 146 3 0 0 25 0 1 0 181620166 36888576 6893 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 9006 6893 2755 292 0 4503 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36024

[startup+3.10159 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1812256/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=53772 CPUtime=3.09
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 19331 0 0 0 301 8 0 0 25 0 1 0 181620166 55062528 12628 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 13443 12628 133 292 0 13148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53772

[startup+6.30195 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1781408/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=56940 CPUtime=6.28
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 20119 0 0 0 620 8 0 0 25 0 1 0 181620166 58306560 13416 1992294400 134512640 135709839 4294956240 18446744073709551615 135172928 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 14235 13416 133 292 0 13940 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56940

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1780768/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=57600 CPUtime=12.68
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 20308 0 0 0 1260 8 0 0 25 0 1 0 181620166 58982400 13605 1992294400 134512640 135709839 4294956240 18446744073709551615 134529892 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 14400 13605 133 292 0 14105 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 57600

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1779048/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=59448 CPUtime=25.48
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 20758 0 0 0 2539 9 0 0 25 0 1 0 181620166 60874752 14055 1992294400 134512640 135709839 4294956240 18446744073709551615 135172934 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 14862 14055 133 292 0 14567 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59448

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1763880/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=76244 CPUtime=51.07
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 35257 0 0 0 5087 20 0 0 25 0 1 0 181620166 78073856 17772 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 19061 17772 136 292 0 18766 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 76244

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1676008/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=164028 CPUtime=102.25
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 58791 0 0 0 10186 39 0 0 25 0 1 0 181620166 167964672 39757 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 41007 39757 136 292 0 40712 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 164028

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1544680/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=296640 CPUtime=162.24
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 91940 0 0 0 16165 59 0 0 25 0 1 0 181620166 303759360 72906 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 74160 72906 136 292 0 73865 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 296640

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1408104/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=431800 CPUtime=222.21
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 125727 0 0 0 22144 77 0 0 25 0 1 0 181620166 442163200 106693 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 107950 106693 136 292 0 107655 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 431800

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1353512/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=486768 CPUtime=282.2
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 140752 0 0 0 28127 93 0 0 25 0 1 0 181620166 498450432 120158 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 121692 120158 136 292 0 121397 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 486768

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1353512/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=486768 CPUtime=342.19
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 140785 0 0 0 34122 97 0 0 25 0 1 0 181620166 498450432 120191 1992294400 134512640 135709839 4294956240 18446744073709551615 134577290 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 121692 120191 136 292 0 121397 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 486768

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1353512/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=486768 CPUtime=402.17
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 140785 0 0 0 40116 101 0 0 25 0 1 0 181620166 498450432 120191 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 121692 120191 136 292 0 121397 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 486768

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1353512/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=486768 CPUtime=462.15
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 140786 0 0 0 46110 105 0 0 25 0 1 0 181620166 498450432 120192 1992294400 134512640 135709839 4294956240 18446744073709551615 134572719 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 121692 120192 136 292 0 121397 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 486768

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1353448/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=486768 CPUtime=522.14
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 140786 0 0 0 52106 108 0 0 25 0 1 0 181620166 498450432 120192 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 121692 120192 136 292 0 121397 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 486768

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1303272/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=537760 CPUtime=582.12
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 153547 0 0 0 58096 116 0 0 25 0 1 0 181620166 550666240 132953 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 134440 132953 136 292 0 134145 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 537760

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1213992/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=625956 CPUtime=642.11
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 175586 0 0 0 64080 131 0 0 25 0 1 0 181620166 640978944 154992 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 156489 154992 136 292 0 156194 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 625956

[startup+702.301 s]

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

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=1049256/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=790460 CPUtime=762.08
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 216703 0 0 0 76055 153 0 0 25 0 1 0 181620166 809431040 196109 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 197615 196109 136 292 0 197320 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 790460

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=969192/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=871052 CPUtime=822.06
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 236853 0 0 0 82041 165 0 0 25 0 1 0 181620166 891957248 216259 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 217763 216259 136 292 0 217468 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 871052

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=881320/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=958232 CPUtime=882.05
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 258653 0 0 0 88026 179 0 0 25 0 1 0 181620166 981229568 238059 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 239558 238059 136 292 0 239263 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 958232

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=802856/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1038160 CPUtime=942.03
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 278640 0 0 0 94010 193 0 0 25 0 1 0 181620166 1063075840 258046 1992294400 134512640 135709839 4294956240 18446744073709551615 134579038 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 259540 258046 136 292 0 259245 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1038160

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=728104/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1111016 CPUtime=1002.01
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 296849 0 0 0 99995 206 0 0 25 0 1 0 181620166 1137680384 276255 1992294400 134512640 135709839 4294956240 18446744073709551615 134572390 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 277754 276255 136 292 0 277459 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1111016

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=650728/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1190284 CPUtime=1062
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 316616 0 0 0 105982 218 0 0 25 0 1 0 181620166 1218850816 296022 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 297571 296022 136 292 0 297276 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1190284

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=595240/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1243740 CPUtime=1121.98
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 329982 0 0 0 111969 229 0 0 25 0 1 0 181620166 1273589760 309388 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 310935 309388 136 292 0 310640 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1243740

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=551016/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1288108 CPUtime=1181.96
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 341086 0 0 0 117954 242 0 0 25 0 1 0 181620166 1319022592 320492 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 322027 320492 136 292 0 321732 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1288108

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=499496/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1340236 CPUtime=1241.95
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 354112 0 0 0 123943 252 0 0 25 0 1 0 181620166 1372401664 333518 1992294400 134512640 135709839 4294956240 18446744073709551615 134573927 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 335059 333518 136 292 0 334764 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1340236

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=431720/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1406704 CPUtime=1301.94
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 370716 0 0 0 129931 263 0 0 25 0 1 0 181620166 1440464896 350122 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 351676 350122 136 292 0 351381 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1406704

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=363496/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1475728 CPUtime=1361.92
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 387987 0 0 0 135917 275 0 0 25 0 1 0 181620166 1511145472 367393 1992294400 134512640 135709839 4294956240 18446744073709551615 134579746 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 368932 367393 136 292 0 368637 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1475728

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=280360/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1557784 CPUtime=1421.91
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 408514 0 0 0 141905 286 0 0 25 0 1 0 181620166 1595170816 387920 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 389446 387920 136 292 0 389151 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1557784

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=194472/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1644392 CPUtime=1481.88
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 430186 0 0 0 147889 299 0 0 25 0 1 0 181620166 1683857408 409592 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 411098 409592 136 292 0 410803 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1644392

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=123304/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1714692 CPUtime=1541.87
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 447685 0 0 0 153877 310 0 0 25 0 1 0 181620166 1755844608 427091 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 428673 427091 136 292 0 428378 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1714692

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=46504/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1792084 CPUtime=1601.85
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 467048 0 0 0 159865 320 0 0 25 0 1 0 181620166 1835094016 446454 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 448021 446454 136 292 0 447726 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1792084



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1644.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8251
/proc/meminfo: memFree=16296/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=1843444 CPUtime=1643.85
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4194304 479883 0 0 0 164057 328 0 0 25 0 1 0 181620166 1887686656 459289 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 460861 459289 136 292 0 460566 0
Current children cumulated CPU time (s) 1643.85
Current children cumulated vsize (KiB) 1843444

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

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

[startup+1644.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8252
/proc/meminfo: memFree=627808/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=0 CPUtime=1643.95
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4195332 479883 0 0 0 164057 338 0 0 25 0 1 0 181620166 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1643.95
Current children cumulated vsize (KiB) 0

[startup+1644.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8252
/proc/meminfo: memFree=627808/2055920 swapFree=4191900/4192956
[pid=8250] ppid=8248 vsize=0 CPUtime=1644.05
/proc/8250/stat : 8250 (wbo) R 8248 8250 7829 0 -1 4195332 479883 0 0 0 164057 348 0 0 25 0 1 0 181620166 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/8250/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.05
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1644.6
CPU time (s): 1644.15
CPU user time (s): 1640.58
CPU system time (s): 3.57246
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1843444

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

runsolver used 1.13583 second user time and 3.62445 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-16 10:17:10
IDJOB=1875630
IDBENCH=1966
IDSOLVER=698
FILE ID=node38/1875630-1245140229
PBS_JOBID= 9363716
Free space on /tmp= 66220 MiB

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

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

MD5SUM BENCH= 751aa23355f7a016eeb9009a33a863ac
RANDOM SEED=639263750

node38.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:       1835784 kB
Buffers:         36256 kB
Cached:          97104 kB
SwapCached:        260 kB
Active:          47820 kB
Inactive:        98844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1835784 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           19236 kB
Writeback:           0 kB
Mapped:          22512 kB
Slab:            59384 kB
Committed_AS:   154148 kB
PageTables:       1464 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-1875630-1245140229.opb

Free space on /tmp at the end= 66220 MiB
End job on node38 at 2009-06-16 10:44:36