Trace number 1875639

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.35 1801.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM6389567e651775a5f815611581d2023e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5675
Best CPU time to get the best result obtained on this benchmark1449.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
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 494177
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 494177
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-1875639-1245142341.opb.
0.00/0.00	c Instance file HOME/instance-1875639-1245142341.opb
0.00/0.00	c File size is 17233678 bytes.
2.19/2.22	c Highest Coefficient sum: 101
2.19/2.23	c ============================[ Problem Statistics ]=============================
2.19/2.23	c |                                                                             |
2.19/2.23	c |  Parsing time:          2.18         s                                      |
2.19/2.23	c |  Number Variables:      10000                                               |
2.19/2.23	c |  Number Clauses:        666900                                              |
2.19/2.23	c |  Number Cardinality:    0                                                   |
2.19/2.23	c |  Number PB Constraints: 0                                                   |
2.19/2.23	c core #1
2.19/2.23	c Core size: 101	Core Weight: 1	Total Weight: 1
2.19/2.23	c Elapsed CPU time: 2.18367 s	Remaining CPU time: 1797.82 s
2.48/2.55	c core #2
2.48/2.55	c Core size: 101	Core Weight: 1	Total Weight: 2
2.48/2.55	c Elapsed CPU time: 2.48062 s	Remaining CPU time: 1797.52 s
2.79/2.86	c core #3
2.79/2.86	c Core size: 101	Core Weight: 1	Total Weight: 3
2.79/2.86	c Elapsed CPU time: 2.78758 s	Remaining CPU time: 1797.21 s
3.09/3.18	c core #4
3.09/3.18	c Core size: 101	Core Weight: 1	Total Weight: 4
3.09/3.18	c Elapsed CPU time: 3.09853 s	Remaining CPU time: 1796.9 s
3.39/3.48	c core #5
3.39/3.48	c Core size: 101	Core Weight: 1	Total Weight: 5
3.39/3.48	c Elapsed CPU time: 3.40048 s	Remaining CPU time: 1796.6 s
3.69/3.78	c core #6
3.69/3.78	c Core size: 101	Core Weight: 1	Total Weight: 6
3.69/3.78	c Elapsed CPU time: 3.70444 s	Remaining CPU time: 1796.3 s
3.98/4.09	c core #7
3.98/4.09	c Core size: 101	Core Weight: 2	Total Weight: 8
3.98/4.09	c Elapsed CPU time: 4.00839 s	Remaining CPU time: 1795.99 s
4.38/4.42	c core #8
4.38/4.42	c Core size: 101	Core Weight: 1	Total Weight: 9
4.38/4.42	c Elapsed CPU time: 4.33334 s	Remaining CPU time: 1795.67 s
4.68/4.72	c core #9
4.68/4.72	c Core size: 101	Core Weight: 1	Total Weight: 10
4.68/4.72	c Elapsed CPU time: 4.63729 s	Remaining CPU time: 1795.36 s
4.98/5.05	c core #10
4.98/5.05	c Core size: 101	Core Weight: 1	Total Weight: 11
4.98/5.05	c Elapsed CPU time: 4.96425 s	Remaining CPU time: 1795.04 s
5.28/5.38	c core #11
5.28/5.38	c Core size: 101	Core Weight: 2	Total Weight: 13
5.28/5.38	c Elapsed CPU time: 5.29619 s	Remaining CPU time: 1794.7 s
5.58/5.69	c core #12
5.58/5.69	c Core size: 101	Core Weight: 2	Total Weight: 15
5.58/5.69	c Elapsed CPU time: 5.60615 s	Remaining CPU time: 1794.39 s
5.98/6.02	c core #13
5.98/6.02	c Core size: 101	Core Weight: 1	Total Weight: 16
5.98/6.02	c Elapsed CPU time: 5.9311 s	Remaining CPU time: 1794.07 s
6.28/6.36	c core #14
6.28/6.36	c Core size: 101	Core Weight: 1	Total Weight: 17
6.28/6.36	c Elapsed CPU time: 6.27205 s	Remaining CPU time: 1793.73 s
6.58/6.66	c core #15
6.58/6.66	c Core size: 101	Core Weight: 1	Total Weight: 18
6.58/6.66	c Elapsed CPU time: 6.574 s	Remaining CPU time: 1793.43 s
6.88/6.97	c core #16
6.88/6.97	c Core size: 101	Core Weight: 3	Total Weight: 21
6.88/6.97	c Elapsed CPU time: 6.88395 s	Remaining CPU time: 1793.12 s
7.18/7.28	c core #17
7.18/7.28	c Core size: 101	Core Weight: 1	Total Weight: 22
7.18/7.28	c Elapsed CPU time: 7.18991 s	Remaining CPU time: 1792.81 s
7.48/7.58	c core #18
7.48/7.58	c Core size: 101	Core Weight: 1	Total Weight: 23
7.48/7.58	c Elapsed CPU time: 7.49586 s	Remaining CPU time: 1792.5 s
7.87/7.92	c core #19
7.87/7.92	c Core size: 101	Core Weight: 1	Total Weight: 24
7.87/7.92	c Elapsed CPU time: 7.83381 s	Remaining CPU time: 1792.17 s
8.17/8.26	c core #20
8.17/8.26	c Core size: 101	Core Weight: 1	Total Weight: 25
8.17/8.26	c Elapsed CPU time: 8.17476 s	Remaining CPU time: 1791.83 s
8.47/8.57	c core #21
8.47/8.57	c Core size: 401	Core Weight: 1	Total Weight: 26
8.47/8.57	c Elapsed CPU time: 8.48671 s	Remaining CPU time: 1791.51 s
8.78/8.89	c core #22
8.78/8.89	c Core size: 101	Core Weight: 1	Total Weight: 27
8.78/8.89	c Elapsed CPU time: 8.79766 s	Remaining CPU time: 1791.2 s
9.07/9.19	c core #23
9.07/9.19	c Core size: 101	Core Weight: 1	Total Weight: 28
9.07/9.19	c Elapsed CPU time: 9.10062 s	Remaining CPU time: 1790.9 s
9.47/9.51	c core #24
9.47/9.51	c Core size: 101	Core Weight: 1	Total Weight: 29
9.47/9.51	c Elapsed CPU time: 9.42657 s	Remaining CPU time: 1790.57 s
9.77/9.83	c core #25
9.77/9.83	c Core size: 101	Core Weight: 1	Total Weight: 30
9.77/9.83	c Elapsed CPU time: 9.74152 s	Remaining CPU time: 1790.26 s
10.07/10.17	c core #26
10.07/10.17	c Core size: 101	Core Weight: 1	Total Weight: 31
10.07/10.17	c Elapsed CPU time: 10.0855 s	Remaining CPU time: 1789.91 s
10.37/10.48	c core #27
10.37/10.48	c Core size: 101	Core Weight: 1	Total Weight: 32
10.37/10.48	c Elapsed CPU time: 10.3944 s	Remaining CPU time: 1789.61 s
10.77/10.81	c core #28
10.77/10.81	c Core size: 101	Core Weight: 1	Total Weight: 33
10.77/10.81	c Elapsed CPU time: 10.7234 s	Remaining CPU time: 1789.28 s
11.08/11.12	c core #29
11.08/11.12	c Core size: 101	Core Weight: 1	Total Weight: 34
11.08/11.12	c Elapsed CPU time: 11.0353 s	Remaining CPU time: 1788.96 s
11.37/11.44	c core #30
11.37/11.44	c Core size: 101	Core Weight: 1	Total Weight: 35
11.37/11.44	c Elapsed CPU time: 11.3493 s	Remaining CPU time: 1788.65 s
11.67/11.74	c core #31
11.67/11.74	c Core size: 101	Core Weight: 1	Total Weight: 36
11.67/11.74	c Elapsed CPU time: 11.6532 s	Remaining CPU time: 1788.35 s
11.97/12.08	c core #32
11.97/12.08	c Core size: 101	Core Weight: 1	Total Weight: 37
11.97/12.08	c Elapsed CPU time: 11.9912 s	Remaining CPU time: 1788.01 s
12.27/12.38	c core #33
12.27/12.38	c Core size: 101	Core Weight: 1	Total Weight: 38
12.27/12.38	c Elapsed CPU time: 12.2911 s	Remaining CPU time: 1787.71 s
12.57/12.69	c core #34
12.57/12.69	c Core size: 101	Core Weight: 1	Total Weight: 39
12.57/12.69	c Elapsed CPU time: 12.5991 s	Remaining CPU time: 1787.4 s
12.97/13.00	c core #35
12.97/13.00	c Core size: 101	Core Weight: 1	Total Weight: 40
12.97/13.00	c Elapsed CPU time: 12.909 s	Remaining CPU time: 1787.09 s
13.28/13.30	c core #36
13.28/13.30	c Core size: 101	Core Weight: 1	Total Weight: 41
13.28/13.30	c Elapsed CPU time: 13.213 s	Remaining CPU time: 1786.79 s
13.57/13.61	c core #37
13.57/13.61	c Core size: 101	Core Weight: 1	Total Weight: 42
13.57/13.61	c Elapsed CPU time: 13.5159 s	Remaining CPU time: 1786.48 s
13.87/13.92	c core #38
13.87/13.92	c Core size: 101	Core Weight: 1	Total Weight: 43
13.87/13.92	c Elapsed CPU time: 13.8279 s	Remaining CPU time: 1786.17 s
14.17/14.23	c core #39
14.17/14.23	c Core size: 101	Core Weight: 1	Total Weight: 44
14.17/14.23	c Elapsed CPU time: 14.1409 s	Remaining CPU time: 1785.86 s
14.47/14.53	c core #40
14.47/14.53	c Core size: 101	Core Weight: 1	Total Weight: 45
14.47/14.53	c Elapsed CPU time: 14.4418 s	Remaining CPU time: 1785.56 s
14.77/14.83	c core #41
14.77/14.83	c Core size: 101	Core Weight: 3	Total Weight: 48
14.77/14.83	c Elapsed CPU time: 14.7438 s	Remaining CPU time: 1785.26 s
15.07/15.14	c core #42
15.07/15.14	c Core size: 101	Core Weight: 1	Total Weight: 49
15.07/15.14	c Elapsed CPU time: 15.0547 s	Remaining CPU time: 1784.95 s
15.38/15.45	c core #43
15.38/15.45	c Core size: 101	Core Weight: 1	Total Weight: 50
15.38/15.45	c Elapsed CPU time: 15.3597 s	Remaining CPU time: 1784.64 s
15.67/15.75	c core #44
15.67/15.75	c Core size: 101	Core Weight: 1	Total Weight: 51
15.67/15.75	c Elapsed CPU time: 15.6636 s	Remaining CPU time: 1784.34 s
15.97/16.06	c core #45
15.97/16.06	c Core size: 201	Core Weight: 1	Total Weight: 52
15.97/16.06	c Elapsed CPU time: 15.9656 s	Remaining CPU time: 1784.03 s
16.27/16.37	c core #46
16.27/16.37	c Core size: 101	Core Weight: 1	Total Weight: 53
16.27/16.37	c Elapsed CPU time: 16.2755 s	Remaining CPU time: 1783.72 s
16.67/16.70	c core #47
16.67/16.70	c Core size: 101	Core Weight: 3	Total Weight: 56
16.67/16.70	c Elapsed CPU time: 16.6105 s	Remaining CPU time: 1783.39 s
16.97/17.02	c core #48
16.97/17.02	c Core size: 301	Core Weight: 1	Total Weight: 57
16.97/17.02	c Elapsed CPU time: 16.9244 s	Remaining CPU time: 1783.08 s
17.27/17.32	c core #49
17.27/17.32	c Core size: 101	Core Weight: 1	Total Weight: 58
17.27/17.32	c Elapsed CPU time: 17.2314 s	Remaining CPU time: 1782.77 s
17.58/17.63	c core #50
17.58/17.63	c Core size: 101	Core Weight: 1	Total Weight: 59
17.58/17.63	c Elapsed CPU time: 17.5393 s	Remaining CPU time: 1782.46 s
17.87/17.94	c core #51
17.87/17.94	c Core size: 201	Core Weight: 2	Total Weight: 61
17.87/17.94	c Elapsed CPU time: 17.8493 s	Remaining CPU time: 1782.15 s
18.17/18.29	c core #52
18.17/18.29	c Core size: 101	Core Weight: 1	Total Weight: 62
18.17/18.29	c Elapsed CPU time: 18.1942 s	Remaining CPU time: 1781.81 s
18.47/18.59	c core #53
18.47/18.59	c Core size: 101	Core Weight: 1	Total Weight: 63
18.47/18.59	c Elapsed CPU time: 18.5012 s	Remaining CPU time: 1781.5 s
18.87/18.90	c core #54
18.87/18.90	c Core size: 101	Core Weight: 1	Total Weight: 64
18.87/18.90	c Elapsed CPU time: 18.8101 s	Remaining CPU time: 1781.19 s
19.17/19.21	c core #55
19.17/19.21	c Core size: 101	Core Weight: 1	Total Weight: 65
19.17/19.21	c Elapsed CPU time: 19.1211 s	Remaining CPU time: 1780.88 s
19.47/19.54	c core #56
19.47/19.54	c Core size: 101	Core Weight: 1	Total Weight: 66
19.47/19.54	c Elapsed CPU time: 19.444 s	Remaining CPU time: 1780.56 s
19.77/19.84	c core #57
19.77/19.84	c Core size: 201	Core Weight: 1	Total Weight: 67
19.77/19.84	c Elapsed CPU time: 19.746 s	Remaining CPU time: 1780.25 s
20.07/20.15	c core #58
20.07/20.15	c Core size: 101	Core Weight: 1	Total Weight: 68
20.07/20.15	c Elapsed CPU time: 20.057 s	Remaining CPU time: 1779.94 s
20.37/20.46	c core #59
20.37/20.46	c Core size: 101	Core Weight: 1	Total Weight: 69
20.37/20.46	c Elapsed CPU time: 20.3659 s	Remaining CPU time: 1779.63 s
20.67/20.80	c core #60
20.67/20.80	c Core size: 201	Core Weight: 1	Total Weight: 70
20.67/20.80	c Elapsed CPU time: 20.7039 s	Remaining CPU time: 1779.3 s
21.07/21.11	c core #61
21.07/21.11	c Core size: 101	Core Weight: 1	Total Weight: 71
21.07/21.11	c Elapsed CPU time: 21.0128 s	Remaining CPU time: 1778.99 s
21.38/21.41	c core #62
21.38/21.41	c Core size: 101	Core Weight: 1	Total Weight: 72
21.38/21.41	c Elapsed CPU time: 21.3188 s	Remaining CPU time: 1778.68 s
21.68/21.72	c core #63
21.68/21.72	c Core size: 101	Core Weight: 1	Total Weight: 73
21.68/21.72	c Elapsed CPU time: 21.6257 s	Remaining CPU time: 1778.37 s
21.98/22.03	c core #64
21.98/22.03	c Core size: 101	Core Weight: 1	Total Weight: 74
21.98/22.03	c Elapsed CPU time: 21.9367 s	Remaining CPU time: 1778.06 s
22.28/22.34	c core #65
22.28/22.34	c Core size: 101	Core Weight: 1	Total Weight: 75
22.28/22.34	c Elapsed CPU time: 22.2466 s	Remaining CPU time: 1777.75 s
22.58/22.66	c core #66
22.58/22.66	c Core size: 201	Core Weight: 3	Total Weight: 78
22.58/22.66	c Elapsed CPU time: 22.5626 s	Remaining CPU time: 1777.44 s
22.88/22.97	c core #67
22.88/22.97	c Core size: 1101	Core Weight: 1	Total Weight: 79
22.88/22.97	c Elapsed CPU time: 22.8785 s	Remaining CPU time: 1777.12 s
23.27/23.32	c core #68
23.27/23.32	c Core size: 101	Core Weight: 2	Total Weight: 81
23.27/23.32	c Elapsed CPU time: 23.2185 s	Remaining CPU time: 1776.78 s
23.57/23.64	c core #69
23.57/23.64	c Core size: 101	Core Weight: 1	Total Weight: 82
23.57/23.64	c Elapsed CPU time: 23.5394 s	Remaining CPU time: 1776.46 s
23.88/23.98	c core #70
23.88/23.98	c Core size: 101	Core Weight: 1	Total Weight: 83
23.88/23.98	c Elapsed CPU time: 23.8854 s	Remaining CPU time: 1776.11 s
24.18/24.29	c core #71
24.18/24.29	c Core size: 101	Core Weight: 1	Total Weight: 84
24.18/24.29	c Elapsed CPU time: 24.1963 s	Remaining CPU time: 1775.8 s
24.57/24.61	c core #72
24.57/24.61	c Core size: 101	Core Weight: 1	Total Weight: 85
24.57/24.61	c Elapsed CPU time: 24.5113 s	Remaining CPU time: 1775.49 s
24.87/24.96	c core #73
24.87/24.96	c Core size: 101	Core Weight: 1	Total Weight: 86
24.87/24.96	c Elapsed CPU time: 24.8642 s	Remaining CPU time: 1775.14 s
25.17/25.27	c core #74
25.17/25.27	c Core size: 101	Core Weight: 1	Total Weight: 87
25.17/25.27	c Elapsed CPU time: 25.1762 s	Remaining CPU time: 1774.82 s
25.57/25.60	c core #75
25.57/25.60	c Core size: 101	Core Weight: 1	Total Weight: 88
25.57/25.60	c Elapsed CPU time: 25.5031 s	Remaining CPU time: 1774.5 s
25.87/25.95	c core #76
25.87/25.95	c Core size: 101	Core Weight: 1	Total Weight: 89
25.87/25.95	c Elapsed CPU time: 25.8541 s	Remaining CPU time: 1774.15 s
26.17/26.27	c core #77
26.17/26.27	c Core size: 101	Core Weight: 1	Total Weight: 90
26.17/26.27	c Elapsed CPU time: 26.168 s	Remaining CPU time: 1773.83 s
26.48/26.60	c core #78
26.48/26.60	c Core size: 101	Core Weight: 1	Total Weight: 91
26.48/26.60	c Elapsed CPU time: 26.497 s	Remaining CPU time: 1773.5 s
26.87/26.93	c core #79
26.87/26.93	c Core size: 101	Core Weight: 1	Total Weight: 92
26.87/26.93	c Elapsed CPU time: 26.8279 s	Remaining CPU time: 1773.17 s
27.17/27.24	c core #80
27.17/27.24	c Core size: 101	Core Weight: 1	Total Weight: 93
27.17/27.24	c Elapsed CPU time: 27.1399 s	Remaining CPU time: 1772.86 s
27.48/27.57	c core #81
27.48/27.57	c Core size: 101	Core Weight: 1	Total Weight: 94
27.48/27.57	c Elapsed CPU time: 27.4718 s	Remaining CPU time: 1772.53 s
27.87/27.93	c core #82
27.87/27.93	c Core size: 101	Core Weight: 1	Total Weight: 95
27.87/27.93	c Elapsed CPU time: 27.8278 s	Remaining CPU time: 1772.17 s
28.17/28.24	c core #83
28.17/28.24	c Core size: 101	Core Weight: 2	Total Weight: 97
28.17/28.24	c Elapsed CPU time: 28.1437 s	Remaining CPU time: 1771.86 s
28.47/28.56	c core #84
28.47/28.56	c Core size: 201	Core Weight: 1	Total Weight: 98
28.47/28.56	c Elapsed CPU time: 28.4597 s	Remaining CPU time: 1771.54 s
28.87/28.91	c core #85
28.87/28.91	c Core size: 101	Core Weight: 1	Total Weight: 99
28.87/28.91	c Elapsed CPU time: 28.8116 s	Remaining CPU time: 1771.19 s
29.17/29.23	c core #86
29.17/29.23	c Core size: 101	Core Weight: 1	Total Weight: 100
29.17/29.23	c Elapsed CPU time: 29.1336 s	Remaining CPU time: 1770.87 s
29.47/29.55	c core #87
29.47/29.55	c Core size: 101	Core Weight: 1	Total Weight: 101
29.47/29.55	c Elapsed CPU time: 29.4515 s	Remaining CPU time: 1770.55 s
29.78/29.87	c core #88
29.78/29.87	c Core size: 101	Core Weight: 1	Total Weight: 102
29.78/29.87	c Elapsed CPU time: 29.7745 s	Remaining CPU time: 1770.23 s
30.17/30.20	c core #89
30.17/30.20	c Core size: 201	Core Weight: 1	Total Weight: 103
30.17/30.20	c Elapsed CPU time: 30.1044 s	Remaining CPU time: 1769.9 s
30.47/30.53	c core #90
30.47/30.53	c Core size: 101	Core Weight: 1	Total Weight: 104
30.47/30.53	c Elapsed CPU time: 30.4264 s	Remaining CPU time: 1769.57 s
30.78/30.85	c core #91
30.78/30.85	c Core size: 101	Core Weight: 1	Total Weight: 105
30.78/30.85	c Elapsed CPU time: 30.7513 s	Remaining CPU time: 1769.25 s
31.07/31.19	c core #92
31.07/31.19	c Core size: 101	Core Weight: 1	Total Weight: 106
31.07/31.19	c Elapsed CPU time: 31.0853 s	Remaining CPU time: 1768.91 s
31.47/31.54	c core #93
31.47/31.54	c Core size: 101	Core Weight: 1	Total Weight: 107
31.47/31.54	c Elapsed CPU time: 31.4312 s	Remaining CPU time: 1768.57 s
31.77/31.88	c core #94
31.77/31.88	c Core size: 101	Core Weight: 1	Total Weight: 108
31.77/31.88	c Elapsed CPU time: 31.7712 s	Remaining CPU time: 1768.23 s
32.16/32.20	c core #95
32.16/32.20	c Core size: 101	Core Weight: 2	Total Weight: 110
32.16/32.20	c Elapsed CPU time: 32.0911 s	Remaining CPU time: 1767.91 s
32.46/32.52	c core #96
32.46/32.52	c Core size: 101	Core Weight: 1	Total Weight: 111
32.46/32.52	c Elapsed CPU time: 32.4081 s	Remaining CPU time: 1767.59 s
32.76/32.83	c core #97
32.76/32.83	c Core size: 101	Core Weight: 3	Total Weight: 114
32.76/32.83	c Elapsed CPU time: 32.723 s	Remaining CPU time: 1767.28 s
33.16/33.20	c core #98
33.16/33.20	c Core size: 1401	Core Weight: 1	Total Weight: 115
33.16/33.20	c Elapsed CPU time: 33.088 s	Remaining CPU time: 1766.91 s
33.46/33.53	c core #99
33.46/33.53	c Core size: 101	Core Weight: 2	Total Weight: 117
33.46/33.53	c Elapsed CPU time: 33.4169 s	Remaining CPU time: 1766.58 s
33.76/33.85	c core #100
33.76/33.85	c Core size: 101	Core Weight: 2	Total Weight: 119
33.76/33.85	c Elapsed CPU time: 33.7369 s	Remaining CPU time: 1766.26 s
34.07/34.17	c core #101
34.07/34.17	c Core size: 101	Core Weight: 1	Total Weight: 120
34.07/34.17	c Elapsed CPU time: 34.0538 s	Remaining CPU time: 1765.95 s
34.36/34.49	c core #102
34.36/34.49	c Core size: 101	Core Weight: 1	Total Weight: 121
34.36/34.49	c Elapsed CPU time: 34.3778 s	Remaining CPU time: 1765.62 s
34.76/34.84	c core #103
34.76/34.84	c Core size: 101	Core Weight: 1	Total Weight: 122
34.76/34.84	c Elapsed CPU time: 34.7297 s	Remaining CPU time: 1765.27 s
35.06/35.16	c core #104
35.06/35.16	c Core size: 101	Core Weight: 1	Total Weight: 123
35.06/35.16	c Elapsed CPU time: 35.0507 s	Remaining CPU time: 1764.95 s
35.36/35.49	c core #105
35.36/35.49	c Core size: 101	Core Weight: 1	Total Weight: 124
35.36/35.49	c Elapsed CPU time: 35.3796 s	Remaining CPU time: 1764.62 s
35.76/35.84	c core #106
35.76/35.84	c Core size: 101	Core Weight: 1	Total Weight: 125
35.76/35.84	c Elapsed CPU time: 35.7226 s	Remaining CPU time: 1764.28 s
36.06/36.16	c core #107
36.06/36.16	c Core size: 701	Core Weight: 1	Total Weight: 126
36.06/36.16	c Elapsed CPU time: 36.0445 s	Remaining CPU time: 1763.96 s
36.36/36.48	c core #108
36.36/36.48	c Core size: 101	Core Weight: 1	Total Weight: 127
36.36/36.48	c Elapsed CPU time: 36.3675 s	Remaining CPU time: 1763.63 s
36.76/36.83	c core #109
36.76/36.83	c Core size: 101	Core Weight: 2	Total Weight: 129
36.76/36.83	c Elapsed CPU time: 36.7194 s	Remaining CPU time: 1763.28 s
37.06/37.15	c core #110
37.06/37.15	c Core size: 101	Core Weight: 2	Total Weight: 131
37.06/37.15	c Elapsed CPU time: 37.0394 s	Remaining CPU time: 1762.96 s
37.36/37.47	c core #111
37.36/37.47	c Core size: 101	Core Weight: 1	Total Weight: 132
37.36/37.47	c Elapsed CPU time: 37.3533 s	Remaining CPU time: 1762.65 s
37.66/37.79	c core #112
37.66/37.79	c Core size: 101	Core Weight: 1	Total Weight: 133
37.66/37.79	c Elapsed CPU time: 37.6773 s	Remaining CPU time: 1762.32 s
38.15/38.20	c core #113
38.15/38.20	c Core size: 3729	Core Weight: 1	Total Weight: 134
38.15/38.20	c Elapsed CPU time: 38.0842 s	Remaining CPU time: 1761.92 s
38.46/38.55	c core #114
38.46/38.55	c Core size: 200	Core Weight: 1	Total Weight: 135
38.46/38.55	c Elapsed CPU time: 38.4292 s	Remaining CPU time: 1761.57 s
38.75/38.88	c core #115
38.75/38.88	c Core size: 299	Core Weight: 1	Total Weight: 136
38.75/38.88	c Elapsed CPU time: 38.7611 s	Remaining CPU time: 1761.24 s
39.16/39.21	c core #116
39.16/39.21	c Core size: 301	Core Weight: 1	Total Weight: 137
39.16/39.21	c Elapsed CPU time: 39.0891 s	Remaining CPU time: 1760.91 s
39.45/39.54	c core #117
39.45/39.54	c Core size: 592	Core Weight: 1	Total Weight: 138
39.45/39.54	c Elapsed CPU time: 39.421 s	Remaining CPU time: 1760.58 s
39.85/39.92	c core #118
39.85/39.92	c Core size: 101	Core Weight: 1	Total Weight: 139
39.85/39.92	c Elapsed CPU time: 39.8009 s	Remaining CPU time: 1760.2 s
40.15/40.24	c core #119
40.15/40.24	c Core size: 200	Core Weight: 2	Total Weight: 141
40.15/40.24	c Elapsed CPU time: 40.1259 s	Remaining CPU time: 1759.87 s
40.46/40.58	c core #120
40.46/40.58	c Core size: 101	Core Weight: 1	Total Weight: 142
40.46/40.58	c Elapsed CPU time: 40.4608 s	Remaining CPU time: 1759.54 s
40.86/40.91	c core #121
40.86/40.91	c Core size: 101	Core Weight: 1	Total Weight: 143
40.86/40.91	c Elapsed CPU time: 40.7908 s	Remaining CPU time: 1759.21 s
41.16/41.25	c core #122
41.16/41.25	c Core size: 201	Core Weight: 2	Total Weight: 145
41.16/41.25	c Elapsed CPU time: 41.1277 s	Remaining CPU time: 1758.87 s
41.46/41.59	c core #123
41.46/41.59	c Core size: 101	Core Weight: 2	Total Weight: 147
41.46/41.59	c Elapsed CPU time: 41.4597 s	Remaining CPU time: 1758.54 s
41.87/41.93	c core #124
41.87/41.93	c Core size: 883	Core Weight: 1	Total Weight: 148
41.87/41.93	c Elapsed CPU time: 41.8026 s	Remaining CPU time: 1758.2 s
42.16/42.28	c core #125
42.16/42.28	c Core size: 201	Core Weight: 1	Total Weight: 149
42.16/42.28	c Elapsed CPU time: 42.1426 s	Remaining CPU time: 1757.86 s
42.56/42.62	c core #126
42.56/42.62	c Core size: 101	Core Weight: 1	Total Weight: 150
42.56/42.62	c Elapsed CPU time: 42.4815 s	Remaining CPU time: 1757.52 s
42.86/42.98	c core #127
42.86/42.98	c Core size: 1745	Core Weight: 1	Total Weight: 151
42.86/42.98	c Elapsed CPU time: 42.8455 s	Remaining CPU time: 1757.15 s
43.25/43.34	c core #128
43.25/43.34	c Core size: 1177	Core Weight: 1	Total Weight: 152
43.25/43.34	c Elapsed CPU time: 43.2044 s	Remaining CPU time: 1756.8 s
43.56/43.69	c core #129
43.56/43.69	c Core size: 303	Core Weight: 1	Total Weight: 153
43.56/43.69	c Elapsed CPU time: 43.5514 s	Remaining CPU time: 1756.45 s
43.96/44.05	c ============================[ Search Statistics ]==============================
43.96/44.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.96/44.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.96/44.05	c ===============================================================================
43.96/44.05	c |         0 |   25417   691950    48376 |   230650        0    nan |  0.000 % |
43.96/44.07	c ===============================================================================
43.96/44.07	c core #130
43.96/44.07	c Core size: 1172	Core Weight: 1	Total Weight: 154
43.96/44.07	c Elapsed CPU time: 43.9223 s	Remaining CPU time: 1756.08 s
44.35/44.42	c ============================[ Search Statistics ]==============================
44.35/44.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.35/44.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.35/44.42	c ===============================================================================
44.35/44.42	c |         0 |   26674   693077    49853 |   231025        0    nan |  0.000 % |
44.35/44.44	c ===============================================================================
44.35/44.44	c core #131
44.35/44.44	c Core size: 791	Core Weight: 1	Total Weight: 155
44.35/44.44	c Elapsed CPU time: 44.2873 s	Remaining CPU time: 1755.71 s
44.76/44.80	c ============================[ Search Statistics ]==============================
44.76/44.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.76/44.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.76/44.80	c ===============================================================================
44.76/44.80	c |         0 |   27455   693834    50747 |   231278        0    nan |  0.000 % |
44.76/44.87	c ===============================================================================
44.76/44.87	c core #132
44.76/44.87	c Core size: 2295	Core Weight: 1	Total Weight: 156
44.76/44.87	c Elapsed CPU time: 44.7162 s	Remaining CPU time: 1755.28 s
45.16/45.24	c ============================[ Search Statistics ]==============================
45.16/45.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.16/45.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.16/45.24	c ===============================================================================
45.16/45.24	c |         0 |   29919   695999    53654 |   231999        0    nan |  0.000 % |
45.46/45.52	c ===============================================================================
45.46/45.53	c core #133
45.46/45.53	c Core size: 4288	Core Weight: 1	Total Weight: 157
45.46/45.53	c Elapsed CPU time: 45.3621 s	Remaining CPU time: 1754.64 s
45.85/45.93	c ============================[ Search Statistics ]==============================
45.85/45.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.85/45.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.85/45.93	c ===============================================================================
45.85/45.93	c |         0 |   34096   699981    58563 |   233327        0    nan |  0.000 % |
46.06/46.16	c ===============================================================================
46.06/46.16	c core #134
46.06/46.16	c Core size: 3794	Core Weight: 1	Total Weight: 158
46.06/46.16	c Elapsed CPU time: 45.984 s	Remaining CPU time: 1754.02 s
46.45/46.55	c Learning 1 hard constraints
46.45/46.55	c ============================[ Search Statistics ]==============================
46.45/46.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.45/46.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.45/46.55	c ===============================================================================
46.45/46.55	c |         0 |   37784   703516    63270 |   234505        0    nan |  0.000 % |
46.55/46.69	c |       101 |   37784   703516    63270 |   257955      101   1141 | 20.105 % |
46.85/46.94	c |       253 |   37783   703516    63270 |   283751      252   1663 | 20.107 % |
48.04/48.16	c ===============================================================================
48.04/48.17	c core #135
48.04/48.17	c Core size: 8802	Core Weight: 1	Total Weight: 159
48.04/48.17	c Elapsed CPU time: 47.9757 s	Remaining CPU time: 1752.02 s
48.45/48.58	c Learning 1 hard constraints
48.45/48.58	c ============================[ Search Statistics ]==============================
48.45/48.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.45/48.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.45/48.58	c ===============================================================================
48.45/48.58	c |         0 |   46180   711359    74360 |   237119        0    nan |  0.000 % |
48.64/48.76	c |       100 |   46180   711359    74360 |   260831      100   1118 | 16.944 % |
48.95/49.07	c |       250 |   46179   711359    74360 |   286914      248   1321 | 16.946 % |
49.46/49.55	c |       475 |   46175   711359    74360 |   315606      461    948 | 16.953 % |
50.15/50.27	c |       812 |   46175   711359    74360 |   347166      798   1096 | 16.953 % |
51.55/51.64	c |      1320 |   46174   711359    74360 |   381883     1304   1698 | 16.955 % |
52.75/52.83	c ===============================================================================
52.75/52.85	c core #136
52.75/52.85	c Core size: 7799	Core Weight: 1	Total Weight: 160
52.75/52.85	c Elapsed CPU time: 52.621 s	Remaining CPU time: 1747.38 s
53.15/53.27	c Learning 5 hard constraints
53.15/53.27	c ============================[ Search Statistics ]==============================
53.15/53.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
53.15/53.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
53.15/53.27	c ===============================================================================
53.15/53.27	c |         0 |   53622   718068    85959 |   239356        0    nan |  0.000 % |
53.35/53.47	c |       101 |   53622   718068    85959 |   263291      101   1164 | 14.855 % |
53.85/53.96	c |       252 |   53622   718068    85959 |   289620      252   1587 | 14.855 % |
54.44/54.52	c |       479 |   53622   718068    85959 |   318582      479   1174 | 14.855 % |
55.35/55.42	c |       816 |   53622   718068    85959 |   350441      816   1138 | 14.855 % |
56.85/56.92	c |      1322 |   53622   718068    85959 |   385485     1322   1054 | 14.855 % |
58.95/59.01	c |      2082 |   53621   718068    85959 |   424033     2080   1188 | 14.856 % |
62.24/62.33	c |      3222 |   53621   718068    85959 |   466437     3220   1524 | 14.856 % |
68.25/68.34	c |      4933 |   53621   718068    85959 |   513080     4931   1881 | 14.856 % |
77.74/77.84	c |      7497 |   53621   718068    85959 |   564388     7495   2161 | 14.856 % |
94.12/94.23	c |     11342 |   53620   718068    85959 |   620827    11337   2466 | 14.858 % |
124.01/124.15	c |     17108 |   53618   718068    85959 |   682910    17099   2829 | 14.861 % |
173.70/173.83	c |     25757 |   53618   718068    85959 |   751201    25748   3176 | 14.861 % |
259.15/259.37	c |     38736 |   53618   718068    85959 |   826321    38715   3513 | 14.861 % |
413.96/414.25	c ===============================================================================
415.07/415.35	c core #137
415.07/415.35	c Core size: 13534	Core Weight: 1	Total Weight: 161
415.07/415.35	c Elapsed CPU time: 413.862 s	Remaining CPU time: 1386.14 s
415.57/415.88	c Learning 172 hard constraints
415.57/415.88	c ============================[ Search Statistics ]==============================
415.57/415.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
415.57/415.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
415.57/415.88	c ===============================================================================
415.57/415.88	c |         0 |   64954   727584   162913 |   242528        0    nan |  0.000 % |
415.76/416.06	c |       101 |   64954   727584   162913 |   266780      101   1135 | 12.482 % |
416.26/416.52	c |       251 |   64954   727584   162913 |   293458      251   1163 | 12.482 % |
417.06/417.32	c |       477 |   64954   727584   162913 |   322804      477    800 | 12.482 % |
418.06/418.38	c |       814 |   64954   727584   162913 |   355085      814    950 | 12.482 % |
419.87/420.14	c |      1320 |   64954   727584   162913 |   390593     1320    833 | 12.482 % |
423.17/423.48	c |      2079 |   64954   727584   162913 |   429653     2079    787 | 12.482 % |
429.56/429.82	c |      3218 |   64954   727584   162913 |   472618     3218   1283 | 12.482 % |
437.56/437.87	c |      4926 |   64954   727584   162913 |   519880     4926   1681 | 12.482 % |
451.15/451.42	c |      7488 |   64954   727584   162913 |   571868     7488   1810 | 12.482 % |
468.74/469.05	c |     11332 |   64954   727584   162913 |   629055    11332   1758 | 12.482 % |
504.12/504.40	c |     17098 |   64954   727584   162913 |   691960    17098   1819 | 12.482 % |
567.30/567.62	c |     25747 |   64954   727584   162913 |   761156    25747   2058 | 12.482 % |
665.13/665.60	c |     38722 |   64954   727584   162913 |   837272    38722   2266 | 12.482 % |
846.22/846.75	c |     58186 |   64953   727584   162913 |   920999    58166   2731 | 12.483 % |
1080.89/1081.53	c |     87379 |   64952   727584   162913 |  1013099    87347   2479 | 12.485 % |
1495.81/1496.67	c |    131169 |   64951   727584   162913 |  1114409   131108   2510 | 12.486 % |

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-1875639-1245142341/watcher-1875639-1245142341 -o /tmp/evaluation-result-1875639-1245142341/solver-1875639-1245142341 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875639-1245142341.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 4091
/proc/meminfo: memFree=1104464/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=19888 CPUtime=0
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 181835035 20365312 289 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 4972 290 123 292 0 469 0

[startup+0.103561 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4091
/proc/meminfo: memFree=1104464/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=22220 CPUtime=0.09
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 1054 0 0 0 9 0 0 0 18 0 1 0 181835035 22753280 1038 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 5555 1038 309 292 0 1052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.201579 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4091
/proc/meminfo: memFree=1104464/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=23344 CPUtime=0.19
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 1511 0 0 0 19 0 0 0 18 0 1 0 181835035 23904256 1495 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 5836 1495 500 292 0 1333 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23344

[startup+0.301599 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4091
/proc/meminfo: memFree=1104464/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=24580 CPUtime=0.29
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 1969 0 0 0 29 0 0 0 19 0 1 0 181835035 25169920 1953 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 6145 1953 692 292 0 1642 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24580

[startup+0.701677 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4091
/proc/meminfo: memFree=1104464/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=28948 CPUtime=0.68
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 3752 0 0 0 67 1 0 0 23 0 1 0 181835035 29642752 3736 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 7237 3736 1437 292 0 2734 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 28948

[startup+1.50183 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1090888/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=37080 CPUtime=1.48
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 7434 0 0 0 146 2 0 0 25 0 1 0 181835035 37969920 7418 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 9270 7418 2974 292 0 4767 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37080

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1079112/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=53904 CPUtime=3.09
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 19372 0 0 0 302 7 0 0 25 0 1 0 181835035 55197696 12669 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 13476 12670 133 292 0 13181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53904

[startup+6.30178 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1051080/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=56940 CPUtime=6.28
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 20122 0 0 0 621 7 0 0 25 0 1 0 181835035 58306560 13419 1992294400 134512640 135709839 4294956240 18446744073709551615 135166770 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 14235 13419 133 292 0 13940 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56940

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1050440/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=57732 CPUtime=12.67
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 20325 0 0 0 1260 7 0 0 25 0 1 0 181835035 59117568 13622 1992294400 134512640 135709839 4294956240 18446744073709551615 134605088 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 14433 13622 133 292 0 14138 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 57732

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1047752/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=60372 CPUtime=25.47
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 21002 0 0 0 2539 8 0 0 25 0 1 0 181835035 61820928 14299 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 15093 14299 133 292 0 14798 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 60372

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=1030280/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=79764 CPUtime=51.05
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 37268 0 0 0 5087 18 0 0 25 0 1 0 181835035 81678336 18635 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 19941 18635 136 292 0 19646 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 79764

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=917768/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=191956 CPUtime=102.23
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 66926 0 0 0 10186 37 0 0 25 0 1 0 181835035 196562944 46718 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 47989 46718 136 292 0 47694 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 191956

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=758472/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=352916 CPUtime=162.19
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 107174 0 0 0 16159 60 0 0 25 0 1 0 181835035 361385984 86966 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 88229 86966 136 292 0 87934 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 352916

[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=614984/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=494676 CPUtime=222.17
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 142581 0 0 0 22137 80 0 0 25 0 1 0 181835035 506548224 122373 1992294400 134512640 135709839 4294956240 18446744073709551615 134587898 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 123669 122380 136 292 0 123374 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 494676

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=473288/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=637276 CPUtime=282.13
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 178249 0 0 0 28114 99 0 0 25 0 1 0 181835035 652570624 158041 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 159319 158041 136 292 0 159024 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 637276

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=363208/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=746076 CPUtime=342.1
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 205425 0 0 0 34098 112 0 0 25 0 1 0 181835035 763981824 185217 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 186519 185217 136 292 0 186224 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 746076

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=259080/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=850800 CPUtime=402.07
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 231638 0 0 0 40082 125 0 0 25 0 1 0 181835035 871219200 211430 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 212700 211430 136 292 0 212405 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 850800

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4092
/proc/meminfo: memFree=210056/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=899128 CPUtime=462.05
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 245232 0 0 0 46068 137 0 0 25 0 1 0 181835035 920707072 223228 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 224782 223228 136 292 0 224487 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 899128

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=209800/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=899128 CPUtime=522.02
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 245286 0 0 0 52059 143 0 0 25 0 1 0 181835035 920707072 223282 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 224782 223282 136 292 0 224487 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 899128

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=209800/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=899128 CPUtime=581.99
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 245286 0 0 0 58052 147 0 0 25 0 1 0 181835035 920707072 223282 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 224782 223282 136 292 0 224487 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 899128

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=209800/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=899128 CPUtime=641.93
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 245286 0 0 0 64042 151 0 0 25 0 1 0 181835035 920707072 223282 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 224782 223282 136 292 0 224487 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 899128

[startup+702.301 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=209864/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=899128 CPUtime=941.78
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 245302 0 0 0 94008 170 0 0 25 0 1 0 181835035 920707072 223298 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 224782 223298 136 292 0 224487 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 899128

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=209800/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=899128 CPUtime=1001.73
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 245302 0 0 0 99999 174 0 0 25 0 1 0 181835035 920707072 223298 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 224782 223298 136 292 0 224487 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 899128

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=198600/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=911480 CPUtime=1061.7
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 248383 0 0 0 105992 178 0 0 25 0 1 0 181835035 933355520 226379 1992294400 134512640 135709839 4294956240 18446744073709551615 134572752 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 227870 226379 136 292 0 227575 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 911480

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=148104/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=961288 CPUtime=1121.68
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 260787 0 0 0 111980 188 0 0 25 0 1 0 181835035 984358912 238783 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 240322 238783 136 292 0 240027 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 961288

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=73224/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1036428 CPUtime=1181.65
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 279578 0 0 0 117963 202 0 0 25 0 1 0 181835035 1061302272 257574 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 259107 257574 136 292 0 258812 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 1036428

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=15240/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1095192 CPUtime=1241.62
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 294295 0 0 0 123950 212 0 0 25 0 1 0 181835035 1121476608 272291 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 273798 272291 136 292 0 273503 0
Current children cumulated CPU time (s) 1241.62
Current children cumulated vsize (KiB) 1095192

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=15752/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1164768 CPUtime=1301.6
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 311681 0 0 0 129936 224 0 0 25 0 1 0 181835035 1192722432 289677 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 291192 289677 136 292 0 290897 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 1164768

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=15816/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1216504 CPUtime=1361.57
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 324612 0 0 0 135924 233 0 0 25 0 1 0 181835035 1245700096 302608 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 304126 302608 136 292 0 303831 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 1216504

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=16200/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1293732 CPUtime=1421.55
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 343946 0 0 0 141910 245 0 0 25 0 1 0 181835035 1324781568 321942 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 323433 321942 136 292 0 323138 0
Current children cumulated CPU time (s) 1421.55
Current children cumulated vsize (KiB) 1293732

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=15752/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1373608 CPUtime=1481.52
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 363906 0 0 0 147897 255 0 0 25 0 1 0 181835035 1406574592 341902 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 343402 341902 136 292 0 343107 0
Current children cumulated CPU time (s) 1481.52
Current children cumulated vsize (KiB) 1373608

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=15880/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1443124 CPUtime=1541.5
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 381288 0 0 0 153883 267 0 0 25 0 1 0 181835035 1477758976 359284 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 360781 359284 136 292 0 360486 0
Current children cumulated CPU time (s) 1541.5
Current children cumulated vsize (KiB) 1443124

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=15560/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1504544 CPUtime=1601.47
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 396586 0 0 0 159870 277 0 0 25 0 1 0 181835035 1540653056 374582 1992294400 134512640 135709839 4294956240 18446744073709551615 134577687 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 376136 374582 136 292 0 375841 0
Current children cumulated CPU time (s) 1601.47
Current children cumulated vsize (KiB) 1504544

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=16328/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1570448 CPUtime=1661.45
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 413056 0 0 0 165856 289 0 0 25 0 1 0 181835035 1608138752 391052 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 392612 391052 136 292 0 392317 0
Current children cumulated CPU time (s) 1661.45
Current children cumulated vsize (KiB) 1570448

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=14856/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1628624 CPUtime=1721.41
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 427617 0 0 0 171842 299 0 0 25 0 1 0 181835035 1667710976 405613 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 407156 405613 136 292 0 406861 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 1628624

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=15304/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1693420 CPUtime=1781.38
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 443795 0 0 0 177829 309 0 0 25 0 1 0 181835035 1734062080 421791 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 423355 421791 136 292 0 423060 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (KiB) 1693420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=14984/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=1722200 CPUtime=1800.07
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4194304 450991 0 0 0 179694 313 0 0 25 0 1 0 181835035 1763532800 428987 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 430550 428987 136 292 0 430255 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1722200

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

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

[startup+1801.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=14984/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=0 CPUtime=1800.17
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4195332 450991 0 0 0 179694 323 0 0 25 0 1 0 181835035 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4098
/proc/meminfo: memFree=14984/2055924 swapFree=4191900/4192956
[pid=4091] ppid=4089 vsize=0 CPUtime=1800.27
/proc/4091/stat : 4091 (wbo) R 4089 4091 3796 0 -1 4195332 450991 0 0 0 179694 333 0 0 25 0 1 0 181835035 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/4091/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.27
CPU time (s): 1800.35
CPU user time (s): 1796.95
CPU system time (s): 3.40048
CPU usage (%): 99.949
Max. virtual memory (cumulated for all children) (KiB): 1722200

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

runsolver used 1.78673 second user time and 4.79227 second system time

The end

Launcher Data 

Begin job on node6 at 2009-06-16 10:52:22
IDJOB=1875639
IDBENCH=1975
IDSOLVER=698
FILE ID=node6/1875639-1245142341
PBS_JOBID= 9363708
Free space on /tmp= 66224 MiB

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

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

MD5SUM BENCH= 6389567e651775a5f815611581d2023e
RANDOM SEED=1052357265

node6.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.265
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.265
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:      2055924 kB
MemFree:       1104880 kB
Buffers:         61324 kB
Cached:         807048 kB
SwapCached:        260 kB
Active:         106804 kB
Inactive:       774924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1104880 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           19336 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            55308 kB
Committed_AS:   154496 kB
PageTables:       1456 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-1875639-1245142341.opb

Free space on /tmp at the end= 66224 MiB
End job on node6 at 2009-06-16 11:22:25