Trace number 3461000

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.09 1800.03

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
MD5SUM69b04711942c7a7cbb28264339dbffe2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark221
Best CPU time to get the best result obtained on this benchmark1798.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 223
Optimality of the best value was proved NO
Number of variables5584
Total number of constraints10895
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10895
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2555
Number of bits of the biggest sum of numbers12
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461000-1307100457.opb.
0.00/0.00	c Instance file HOME/instance-3461000-1307100457.opb
0.00/0.00	c File size is 3082602 bytes.
0.19/0.21	c Highest Coefficient sum: 2555
0.19/0.21	c ============================[ Problem Statistics ]=============================
0.19/0.21	c |                                                                             |
0.19/0.21	c |  Parsing time:          0.21         s                                      |
0.19/0.21	c |  Number Variables:      5584                                                |
0.19/0.21	c |  Number Clauses:        0                                                   |
0.19/0.21	c |  Number Cardinality:    0                                                   |
0.19/0.21	c |  Number PB Constraints: 10895                                               |
0.19/0.21	c ============================[ Search Statistics ]==============================
0.19/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    5584    10895   368270 |     5000        0   -nan |  0.000 % |
0.49/0.51	c core #1
0.49/0.51	c 
0.49/0.51	c 
0.49/0.51	c Core size: 10	Core Weight: 1	Total Weight: 1
0.49/0.51	c Current CPU time: 0.301954 s
0.49/0.51	c
0.49/0.51	c core #2
0.49/0.51	c 
0.49/0.51	c 
0.49/0.51	c Core size: 12	Core Weight: 1	Total Weight: 2
0.49/0.51	c Current CPU time: 0.396939 s
0.49/0.51	c
0.49/0.51	c ============================[ Search Statistics ]==============================
0.49/0.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.51	c ===============================================================================
0.49/0.51	c |         0 |    5489    10921   368293 |     5000        0   -nan |  0.000 % |
0.49/0.52	c ===============================================================================
0.59/0.63	c core #3
0.59/0.63	c 
0.59/0.63	c 
0.59/0.63	c Core size: 16	Core Weight: 1	Total Weight: 3
0.59/0.63	c Current CPU time: 0.506922 s
0.59/0.63	c
0.59/0.63	c ============================[ Search Statistics ]==============================
0.59/0.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.63	c ===============================================================================
0.59/0.63	c |         0 |    5498    10929   368304 |     5000        0   -nan |  0.000 % |
0.59/0.63	c ===============================================================================
0.69/0.74	c core #4
0.69/0.74	c 
0.69/0.74	c 
0.69/0.74	c Core size: 15	Core Weight: 1	Total Weight: 4
0.69/0.74	c Current CPU time: 0.617906 s
0.69/0.74	c
0.69/0.74	c ============================[ Search Statistics ]==============================
0.69/0.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.74	c ===============================================================================
0.69/0.74	c |         0 |    5521    10936   368319 |     5000        0   -nan |  0.000 % |
0.69/0.75	c ===============================================================================
0.79/0.87	c core #5
0.79/0.87	c 
0.79/0.87	c 
0.79/0.87	c Core size: 17	Core Weight: 1	Total Weight: 5
0.79/0.87	c Current CPU time: 0.738887 s
0.79/0.87	c
0.79/0.87	c ============================[ Search Statistics ]==============================
0.79/0.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.87	c ===============================================================================
0.79/0.87	c |         0 |    5532    10943   368335 |     5000        0   -nan |  0.000 % |
0.79/0.89	c ===============================================================================
0.89/1.00	c core #6
0.89/1.00	c 
0.89/1.00	c 
0.89/1.00	c Core size: 15	Core Weight: 3	Total Weight: 8
0.89/1.00	c Current CPU time: 0.876866 s
0.89/1.00	c
0.89/1.00	c ============================[ Search Statistics ]==============================
0.89/1.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/1.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/1.00	c ===============================================================================
0.89/1.00	c |         0 |    5554    10949   368353 |     5000        0   -nan |  0.000 % |
1.00/1.05	c ===============================================================================
1.11/1.16	c core #7
1.11/1.16	c 
1.11/1.16	c 
1.11/1.16	c Core size: 20	Core Weight: 1	Total Weight: 9
1.11/1.16	c Current CPU time: 1.03184 s
1.11/1.16	c
1.11/1.16	c ============================[ Search Statistics ]==============================
1.11/1.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.11/1.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.11/1.16	c ===============================================================================
1.11/1.16	c |         0 |    5566    10955   368372 |     5000        0   -nan |  0.000 % |
1.19/1.25	c ===============================================================================
1.29/1.37	c core #8
1.29/1.37	c 
1.29/1.37	c 
1.29/1.37	c Core size: 21	Core Weight: 1	Total Weight: 10
1.29/1.37	c Current CPU time: 1.23481 s
1.29/1.37	c
1.29/1.37	c ============================[ Search Statistics ]==============================
1.29/1.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.37	c ===============================================================================
1.29/1.37	c |         0 |    5579    10961   368393 |     5000        0   -nan |  0.000 % |
1.49/1.57	c |       102 |    5579    10961   368393 |     5500      102     24 |  1.414 % |
1.69/1.78	c |       252 |    5574    10961   368393 |     6050      252     25 |  1.855 % |
1.69/1.79	c ===============================================================================
1.89/1.91	c core #9
1.89/1.91	c 
1.89/1.91	c 
1.89/1.91	c Core size: 15	Core Weight: 6	Total Weight: 16
1.89/1.91	c Current CPU time: 1.77673 s
1.89/1.91	c
1.89/1.91	c ============================[ Search Statistics ]==============================
1.89/1.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.89/1.91	c ===============================================================================
1.89/1.91	c |         0 |    5600    10966   368416 |     5000        0   -nan |  0.000 % |
2.11/2.15	c |       100 |    5600    10966   368416 |     5500      100     27 |  1.130 % |
2.49/2.51	c |       251 |    5591    10966   368416 |     6050      251     30 |  1.554 % |
2.59/2.60	c ===============================================================================
2.69/2.72	c core #10
2.69/2.72	c 
2.69/2.72	c 
2.69/2.72	c Core size: 32	Core Weight: 1	Total Weight: 17
2.69/2.72	c Current CPU time: 2.58161 s
2.69/2.72	c
2.69/2.72	c ============================[ Search Statistics ]==============================
2.69/2.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.69/2.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.69/2.72	c ===============================================================================
2.69/2.72	c |         0 |    5614    10973   368444 |     5000        0   -nan |  0.000 % |
2.89/2.95	c |       100 |    5614    10973   368444 |     5500      100     26 |  1.127 % |
3.20/3.28	c |       250 |    5613    10973   368444 |     6050      250     28 |  1.145 % |
3.59/3.66	c |       475 |    5598    10973   368444 |     6655      475     30 |  1.409 % |
3.89/3.94	c ===============================================================================
3.99/4.05	c core #11
3.99/4.05	c 
3.99/4.05	c 
3.99/4.05	c Core size: 47	Core Weight: 1	Total Weight: 18
3.99/4.05	c Current CPU time: 3.9154 s
3.99/4.05	c
3.99/4.05	c ============================[ Search Statistics ]==============================
3.99/4.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.05	c ===============================================================================
3.99/4.05	c |         0 |    5627    10980   368470 |     5000        0   -nan |  0.000 % |
4.19/4.28	c |       102 |    5627    10980   368470 |     5500      102     27 |  1.125 % |
4.49/4.59	c |       253 |    5627    10980   368470 |     6050      253     28 |  1.125 % |
4.89/4.96	c |       478 |    5627    10980   368470 |     6655      478     28 |  1.125 % |
5.40/5.50	c |       816 |    5627    10980   368470 |     7320      816     29 |  1.125 % |
6.39/6.41	c |      1322 |    5627    10980   368470 |     8052     1322     32 |  1.125 % |
7.29/7.30	c ===============================================================================
7.39/7.42	c core #12
7.39/7.42	c 
7.39/7.42	c 
7.39/7.42	c Core size: 36	Core Weight: 1	Total Weight: 19
7.39/7.42	c Current CPU time: 7.27889 s
7.39/7.42	c
7.39/7.42	c ============================[ Search Statistics ]==============================
7.39/7.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.39/7.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.39/7.42	c ===============================================================================
7.39/7.42	c |         0 |    5633    10985   368478 |     5000        0   -nan |  0.000 % |
7.60/7.63	c |       100 |    5633    10985   368478 |     5500      100     26 |  1.123 % |
7.89/7.90	c |       250 |    5633    10985   368478 |     6050      250     29 |  1.123 % |
8.29/8.34	c |       477 |    5633    10985   368478 |     6655      477     31 |  1.123 % |
8.89/8.94	c |       814 |    5633    10985   368478 |     7320      814     31 |  1.123 % |
9.90/9.95	c |      1320 |    5633    10985   368478 |     8052     1320     33 |  1.123 % |
11.29/11.36	c |      2079 |    5633    10985   368478 |     8857     2079     35 |  1.123 % |
12.89/12.90	c ===============================================================================
12.99/13.02	c core #13
12.99/13.02	c 
12.99/13.02	c 
12.99/13.02	c Core size: 42	Core Weight: 1	Total Weight: 20
12.99/13.02	c Current CPU time: 12.874 s
12.99/13.02	c
12.99/13.02	c ============================[ Search Statistics ]==============================
12.99/13.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.99/13.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.99/13.02	c ===============================================================================
12.99/13.02	c |         0 |    5649    10990   368506 |     5000        0   -nan |  0.000 % |
13.21/13.27	c |       100 |    5649    10990   368506 |     5500      100     28 |  1.120 % |
13.59/13.64	c |       251 |    5649    10990   368506 |     6050      251     34 |  1.120 % |
13.99/14.02	c |       478 |    5649    10990   368506 |     6655      478     34 |  1.120 % |
14.49/14.57	c |       815 |    5649    10990   368506 |     7320      815     34 |  1.120 % |
15.41/15.48	c |      1321 |    5649    10990   368506 |     8052     1321     36 |  1.120 % |
16.69/16.77	c |      2080 |    5649    10990   368506 |     8857     2080     36 |  1.120 % |
18.90/18.98	c |      3219 |    5649    10990   368506 |     9743     3219     37 |  1.120 % |
22.01/22.05	c |      4927 |    5648    10990   368506 |    10717     4927     38 |  1.138 % |
23.59/23.64	c ===============================================================================
23.69/23.76	c core #14
23.69/23.76	c 
23.69/23.76	c 
23.69/23.76	c Core size: 44	Core Weight: 12	Total Weight: 32
23.69/23.76	c Current CPU time: 23.6014 s
23.69/23.76	c
23.69/23.76	c ============================[ Search Statistics ]==============================
23.69/23.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.69/23.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.69/23.76	c ===============================================================================
23.69/23.76	c |         0 |    5669    10994   368538 |     5000        0   -nan |  0.000 % |
23.89/23.98	c |       100 |    5669    10994   368538 |     5500      100     25 |  0.840 % |
24.21/24.26	c |       251 |    5662    10994   368538 |     6050      251     28 |  1.102 % |
24.59/24.65	c |       476 |    5662    10994   368538 |     6655      476     30 |  1.102 % |
25.09/25.19	c |       813 |    5658    10994   368538 |     7320      813     31 |  1.154 % |
26.19/26.25	c |      1320 |    5651    10994   368538 |     8052     1320     33 |  1.154 % |
27.29/27.36	c |      2080 |    5651    10994   368538 |     8857     2080     35 |  1.154 % |
29.19/29.25	c |      3220 |    5651    10994   368538 |     9743     3220     36 |  1.154 % |
32.39/32.47	c |      4928 |    5651    10994   368538 |    10717     4928     39 |  1.154 % |
37.19/37.27	c |      7490 |    5633    10994   368538 |    11789     7490     41 | 16.513 % |
37.41/37.45	c ===============================================================================
37.49/37.58	c core #15
37.49/37.58	c 
37.49/37.58	c 
37.49/37.58	c Core size: 82	Core Weight: 1	Total Weight: 33
37.49/37.58	c Current CPU time: 37.4143 s
37.49/37.58	c
37.49/37.58	c ============================[ Search Statistics ]==============================
37.49/37.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.49/37.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.49/37.58	c ===============================================================================
37.49/37.58	c |         0 |    5701    11000   368603 |     5000        0   -nan |  0.000 % |
37.80/37.80	c |       100 |    5701    11000   368603 |     5500      100     27 |  0.835 % |
38.10/38.13	c |       250 |    5701    11000   368603 |     6050      250     34 |  0.835 % |
38.80/38.87	c |       475 |    5701    11000   368603 |     6655      475     39 |  0.835 % |
39.51/39.54	c |       816 |    5701    11000   368603 |     7320      816     39 |  0.835 % |
40.61/40.63	c |      1322 |    5701    11000   368603 |     8052     1322     38 |  0.835 % |
41.99/42.06	c |      2082 |    5700    11000   368603 |     8857     2082     40 |  0.852 % |
43.90/43.95	c |      3225 |    5700    11000   368603 |     9743     3225     41 |  0.853 % |
46.10/46.15	c |      4933 |    5700    11000   368603 |    10717     4933     40 |  0.853 % |
47.31/47.32	c ===============================================================================
47.39/47.44	c core #16
47.39/47.44	c 
47.39/47.44	c 
47.39/47.44	c Core size: 41	Core Weight: 1	Total Weight: 34
47.39/47.44	c Current CPU time: 47.2658 s
47.39/47.44	c
47.39/47.44	c ============================[ Search Statistics ]==============================
47.39/47.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.39/47.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.39/47.44	c ===============================================================================
47.39/47.44	c |         0 |    5709    11007   368622 |     5000        0   -nan |  0.000 % |
47.59/47.69	c |       101 |    5709    11007   368622 |     5500      101     30 |  0.834 % |
47.89/47.90	c |       251 |    5709    11007   368622 |     6050      251     27 |  0.834 % |
48.09/48.16	c |       476 |    5709    11007   368622 |     6655      476     27 |  0.834 % |
48.99/49.06	c |       815 |    5709    11007   368622 |     7320      815     30 |  0.834 % |
49.80/49.81	c |      1322 |    5709    11007   368622 |     8052     1322     32 |  0.834 % |
51.09/51.14	c |      2081 |    5709    11007   368622 |     8857     2081     34 |  0.834 % |
53.39/53.44	c |      3222 |    5709    11007   368622 |     9743     3222     34 |  0.834 % |
57.50/57.50	c |      4931 |    5701    11007   368622 |    10717     4931     37 |  0.973 % |
64.00/64.10	c |      7493 |    5697    11007   368622 |    11789     7493     39 |  1.042 % |
71.99/72.07	c |     11338 |    5697    11007   368622 |    12968    11338     42 |  1.042 % |
79.79/79.85	c ===============================================================================
79.89/79.99	c core #17
79.89/79.99	c 
79.89/79.99	c 
79.89/79.99	c Core size: 49	Core Weight: 1	Total Weight: 35
79.89/79.99	c Current CPU time: 79.7899 s
79.89/79.99	c
79.89/79.99	c ============================[ Search Statistics ]==============================
79.89/79.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
79.89/79.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
79.89/79.99	c ===============================================================================
79.89/79.99	c |         0 |    5719    11014   368645 |     5000        0   -nan |  0.000 % |
80.20/80.24	c |       100 |    5719    11014   368645 |     5500      100     25 |  0.832 % |
80.49/80.58	c |       252 |    5719    11014   368645 |     6050      252     25 |  0.832 % |
81.09/81.12	c |       477 |    5719    11014   368645 |     6655      477     26 |  0.832 % |
81.41/81.49	c |       814 |    5719    11014   368645 |     7320      814     29 |  0.832 % |
82.59/82.65	c |      1320 |    5719    11014   368645 |     8052     1320     32 |  0.832 % |
84.29/84.38	c |      2079 |    5719    11014   368645 |     8857     2079     35 |  0.832 % |
85.99/86.02	c |      3220 |    5719    11014   368645 |     9743     3220     36 |  0.832 % |
88.20/88.29	c |      4928 |    5719    11014   368645 |    10717     4928     37 |  0.832 % |
91.69/91.73	c |      7491 |    5719    11014   368645 |    11789     7491     39 |  0.832 % |
98.79/98.83	c |     11335 |    5719    11014   368645 |    12968    11335     40 |  0.832 % |
108.00/108.01	c |     17102 |    5653    11014   368645 |    14265    10491     44 |  2.812 % |
116.09/116.18	c ===============================================================================
116.29/116.32	c core #18
116.29/116.32	c 
116.29/116.32	c 
116.29/116.32	c Core size: 39	Core Weight: 3	Total Weight: 38
116.29/116.32	c Current CPU time: 116.098 s
116.29/116.32	c
116.29/116.32	c ============================[ Search Statistics ]==============================
116.29/116.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
116.29/116.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
116.29/116.32	c ===============================================================================
116.29/116.32	c |         0 |    5724    11018   368652 |     5000        0   -nan |  0.000 % |
116.61/116.63	c |       102 |    5724    11018   368652 |     5500      102     31 |  0.832 % |
116.89/116.92	c |       252 |    5724    11018   368652 |     6050      252     31 |  0.832 % |
117.29/117.31	c |       477 |    5724    11018   368652 |     6655      477     30 |  0.832 % |
117.79/117.89	c |       815 |    5724    11018   368652 |     7320      815     32 |  0.832 % |
118.71/118.80	c |      1323 |    5724    11018   368652 |     8052     1323     33 |  0.832 % |
119.99/120.03	c |      2082 |    5724    11018   368652 |     8857     2082     34 |  0.832 % |
121.19/121.26	c |      3222 |    5724    11018   368652 |     9743     3222     34 |  0.832 % |
124.69/124.70	c |      4930 |    5724    11018   368652 |    10717     4930     36 |  0.832 % |
129.00/129.00	c |      7494 |    5724    11018   368652 |    11789     7494     37 |  0.832 % |
134.90/134.91	c |     11339 |    5715    11018   368652 |    12968    11339     38 |  0.988 % |
143.01/143.07	c |     17106 |    5712    11018   368652 |    14265    10541     36 |  1.282 % |
157.80/157.85	c |     25755 |    5660    11018   368652 |    15692    12015     37 | 14.867 % |
157.80/157.87	c ===============================================================================
158.00/158.01	c core #19
158.00/158.01	c 
158.00/158.01	c 
158.00/158.01	c Core size: 51	Core Weight: 1	Total Weight: 39
158.00/158.01	c Current CPU time: 157.762 s
158.00/158.01	c
158.00/158.01	c ============================[ Search Statistics ]==============================
158.00/158.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
158.00/158.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
158.00/158.01	c ===============================================================================
158.00/158.01	c |         0 |    5732    11022   368665 |     5000        0   -nan |  0.000 % |
158.20/158.24	c |       100 |    5732    11022   368665 |     5500      100     25 |  0.830 % |
158.50/158.53	c |       250 |    5732    11022   368665 |     6050      250     24 |  0.830 % |
158.90/158.90	c |       476 |    5732    11022   368665 |     6655      476     29 |  0.830 % |
159.30/159.41	c |       813 |    5732    11022   368665 |     7320      813     33 |  0.830 % |
160.10/160.18	c |      1320 |    5732    11022   368665 |     8052     1320     33 |  0.830 % |
161.80/161.85	c |      2079 |    5732    11022   368665 |     8857     2079     35 |  0.830 % |
164.10/164.15	c |      3219 |    5732    11022   368665 |     9743     3219     36 |  0.830 % |
166.01/166.09	c |      4927 |    5732    11022   368665 |    10717     4927     35 |  0.830 % |
169.59/169.69	c |      7489 |    5732    11022   368665 |    11789     7489     36 |  0.830 % |
175.10/175.17	c |     11334 |    5732    11022   368665 |    12968    11334     37 |  0.830 % |
185.99/186.08	c |     17100 |    5732    11022   368665 |    14265    10049     40 |  0.830 % |
201.90/201.99	c |     25749 |    5732    11022   368665 |    15692    11230     42 |  0.830 % |
223.00/223.00	c |     38724 |    5732    11022   368665 |    17261     8167     39 |  0.830 % |
256.40/256.47	c |     58185 |    5725    11022   368665 |    18987    10067     50 |  0.952 % |
301.00/301.03	c |     87377 |    5692    11022   368665 |    20886    10259     50 |  1.522 % |
367.32/367.34	c |    131166 |    5680    11022   368665 |    22974    11308     41 |  1.730 % |
394.01/394.06	c ===============================================================================
394.20/394.29	c core #20
394.20/394.29	c 
394.20/394.29	c 
394.20/394.29	c Core size: 62	Core Weight: 1	Total Weight: 40
394.20/394.29	c Current CPU time: 393.87 s
394.20/394.29	c
394.20/394.29	c ============================[ Search Statistics ]==============================
394.20/394.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
394.20/394.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
394.20/394.29	c ===============================================================================
394.20/394.29	c |         0 |    5755    11026   368708 |     5000        0   -nan |  0.000 % |
394.50/394.52	c |       100 |    5755    11026   368708 |     5500      100     43 |  0.827 % |
394.70/394.81	c |       250 |    5755    11026   368708 |     6050      250     30 |  0.827 % |
395.60/395.62	c |       475 |    5755    11026   368708 |     6655      475     33 |  0.827 % |
395.91/395.93	c |       814 |    5755    11026   368708 |     7320      814     33 |  0.827 % |
396.90/396.93	c |      1321 |    5755    11026   368708 |     8052     1321     37 |  0.827 % |
398.11/398.21	c |      2081 |    5755    11026   368708 |     8857     2081     38 |  0.827 % |
399.60/399.65	c |      3220 |    5755    11026   368708 |     9743     3220     37 |  0.827 % |
401.53/401.59	c |      4929 |    5755    11026   368708 |    10717     4929     37 |  0.827 % |
405.00/405.08	c |      7491 |    5755    11026   368708 |    11789     7491     39 |  0.827 % |
410.61/410.62	c |     11336 |    5716    11026   368708 |    12968    11336     39 |  1.499 % |
420.41/420.50	c |     17102 |    5716    11026   368708 |    14265    10311     41 |  1.499 % |
430.91/430.94	c |     25752 |    5716    11026   368708 |    15692    11739     39 |  1.499 % |
451.30/451.39	c |     38729 |    5716    11026   368708 |    17261    16399     41 |  1.499 % |
474.71/474.70	c |     58192 |    5716    11026   368708 |    18987     9317     37 |  1.499 % |
511.01/511.05	c |     87384 |    5716    11026   368708 |    20886    19129     37 |  1.500 % |
572.81/572.86	c ===============================================================================
573.02/573.03	c core #21
573.02/573.03	c 
573.02/573.03	c 
573.02/573.03	c Core size: 40	Core Weight: 1	Total Weight: 41
573.02/573.03	c Current CPU time: 572.504 s
573.02/573.03	c
573.02/573.03	c ============================[ Search Statistics ]==============================
573.02/573.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
573.02/573.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
573.02/573.03	c ===============================================================================
573.02/573.03	c |         0 |    5766    11030   368727 |     5000        0   -nan |  0.000 % |
573.21/573.25	c |       100 |    5766    11030   368727 |     5500      100     25 |  0.826 % |
573.71/573.71	c |       253 |    5766    11030   368727 |     6050      253     27 |  0.826 % |
574.01/574.10	c |       478 |    5766    11030   368727 |     6655      478     29 |  0.826 % |
574.61/574.68	c |       815 |    5766    11030   368727 |     7320      815     32 |  0.826 % |
575.51/575.58	c |      1322 |    5766    11030   368727 |     8052     1322     34 |  0.826 % |
577.31/577.36	c |      2081 |    5766    11030   368727 |     8857     2081     34 |  0.826 % |
579.73/579.77	c |      3221 |    5766    11030   368727 |     9743     3221     34 |  0.826 % |
582.12/582.12	c |      4930 |    5766    11030   368727 |    10717     4930     36 |  0.826 % |
587.21/587.30	c |      7492 |    5766    11030   368727 |    11789     7492     37 |  0.826 % |
594.81/594.88	c |     11338 |    5766    11030   368727 |    12968    11338     38 |  0.826 % |
602.72/602.81	c |     17104 |    5766    11030   368727 |    14265    10570     37 |  0.826 % |
618.91/618.92	c |     25753 |    5766    11030   368727 |    15692    11937     41 |  0.826 % |
635.52/635.53	c |     38729 |    5766    11030   368727 |    17261     8462     37 |  0.826 % |
675.33/675.37	c |     58192 |    5766    11030   368727 |    18987     9387     41 |  0.826 % |
720.31/720.39	c |     87385 |    5766    11030   368727 |    20886    19381     39 |  0.826 % |
798.42/798.41	c |    131176 |    5766    11030   368727 |    22974    20823     42 |  0.826 % |
892.93/892.91	c |    196860 |    5766    11030   368727 |    25272    15140     39 |  0.826 % |
1038.63/1038.66	c |    295386 |    5766    11030   368727 |    27799    18267     38 |  0.826 % |
1243.94/1243.99	c |    443175 |    5765    11030   368727 |    30579    20711     35 |  0.843 % |
1532.26/1532.22	c ===============================================================================
1532.55/1532.60	c core #22
1532.55/1532.60	c 
1532.55/1532.60	c 
1532.55/1532.60	c Core size: 37	Core Weight: 23	Total Weight: 64
1532.55/1532.60	c Current CPU time: 1531.27 s
1532.55/1532.60	c
1532.55/1532.60	c ============================[ Search Statistics ]==============================
1532.55/1532.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1532.55/1532.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1532.55/1532.60	c ===============================================================================
1532.55/1532.60	c |         0 |    5785    11033   368774 |     5000        0   -nan |  0.000 % |
1532.85/1532.86	c |       100 |    5785    11033   368774 |     5500      100     36 |  0.550 % |
1533.15/1533.16	c |       252 |    5770    11033   368774 |     6050      252     36 |  0.808 % |
1533.55/1533.58	c |       477 |    5770    11033   368774 |     6655      477     39 |  0.808 % |
1534.15/1534.11	c |       814 |    5770    11033   368774 |     7320      814     39 |  0.808 % |
1534.94/1534.99	c |      1321 |    5770    11033   368774 |     8052     1321     38 |  0.808 % |
1535.85/1535.87	c |      2080 |    5770    11033   368774 |     8857     2080     38 |  0.808 % |
1537.87/1537.85	c |      3220 |    5770    11033   368774 |     9743     3220     40 |  0.808 % |
1540.25/1540.27	c |      4931 |    5770    11033   368774 |    10717     4931     39 |  0.808 % |
1543.55/1543.54	c |      7494 |    5770    11033   368774 |    11789     7494     38 |  0.808 % |
1548.86/1548.88	c |     11339 |    5770    11033   368774 |    12968    11339     38 |  0.808 % |
1557.15/1557.13	c |     17106 |    5770    11033   368774 |    14265    10567     38 |  0.808 % |
1569.05/1569.03	c |     25755 |    5770    11033   368774 |    15692    11503     39 |  0.808 % |
1584.65/1584.68	c |     38730 |    5770    11033   368774 |    17261    16111     40 |  0.808 % |
1608.65/1608.69	c |     58192 |    5770    11033   368774 |    18987    17853     39 |  0.808 % |
1652.85/1652.84	c |     87384 |    5770    11033   368774 |    20886    17926     42 |  0.808 % |
1719.05/1719.02	c |    131174 |    5770    11033   368774 |    22974    19600     43 |  0.808 % |
1797.48/1797.46	c |    196860 |    5767    11033   368774 |    25272    14207     43 |  0.878 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461000-1307100457/watcher-3461000-1307100457 -o /tmp/evaluation-result-3461000-1307100457/solver-3461000-1307100457 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461000-1307100457.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.90 2.02 2.00 3/514 18364
/proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=6040 CPUtime=0.01 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 594 0 0 0 1 0 0 0 25 0 1 0 802461329 6184960 547 33554432000 4194304 5714214 140735415860464 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 1510 548 208 372 0 382 0

[startup+0.019248 s]
/proc/loadavg: 1.90 2.02 2.00 3/514 18364
/proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=6716 CPUtime=0.01 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 763 0 0 0 1 0 0 0 25 0 1 0 802461329 6877184 716 33554432000 4194304 5714214 140735415860464 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 1679 716 230 372 0 551 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6716

[startup+0.100248 s]
/proc/loadavg: 1.90 2.02 2.00 3/514 18364
/proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=14296 CPUtime=0.09 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 2969 0 0 0 9 0 0 0 25 0 1 0 802461329 14639104 2922 33554432000 4194304 5714214 140735415860464 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 3574 2923 520 372 0 2446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14296

[startup+0.300218 s]
/proc/loadavg: 1.90 2.02 2.00 3/514 18364
/proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=43856 CPUtime=0.29 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 11480 0 0 0 28 1 0 0 18 0 1 0 802461329 44908544 10676 33554432000 4194304 5714214 140735415860464 18446744073709551615 4956298 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 10964 10676 174 372 0 10589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43856

[startup+0.701142 s]
/proc/loadavg: 1.90 2.02 2.00 3/514 18364
/proc/meminfo: memFree=21842280/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=50516 CPUtime=0.69 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 13351 0 0 0 68 1 0 0 18 0 1 0 802461329 51728384 12371 33554432000 4194304 5714214 140735415860464 18446744073709551615 4964778 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 12629 12371 179 372 0 12254 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50516

[startup+1.50099 s]
/proc/loadavg: 1.90 2.02 2.00 3/515 18419
/proc/meminfo: memFree=21745932/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=57124 CPUtime=1.49 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 15016 0 0 0 147 2 0 0 18 0 1 0 802461329 58494976 14036 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 14281 14036 179 372 0 13906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57124

[startup+3.10066 s]
/proc/loadavg: 1.90 2.02 2.00 3/515 18419
/proc/meminfo: memFree=21695864/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=60500 CPUtime=3.09 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 15862 0 0 0 307 2 0 0 21 0 1 0 802461329 61952000 14882 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 15125 14882 180 372 0 14750 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60500

[startup+6.30108 s]
/proc/loadavg: 1.91 2.02 2.00 3/515 18419
/proc/meminfo: memFree=21678804/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=62264 CPUtime=6.29 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 16297 0 0 0 627 2 0 0 25 0 1 0 802461329 63758336 15317 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 15566 15317 180 372 0 15191 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62264

[startup+12.7009 s]
/proc/loadavg: 1.92 2.02 2.00 3/515 18419
/proc/meminfo: memFree=21672468/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=64292 CPUtime=12.69 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 16800 0 0 0 1266 3 0 0 25 0 1 0 802461329 65835008 15820 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 16073 15820 180 372 0 15698 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64292

[startup+25.5005 s]
/proc/loadavg: 1.93 2.02 2.00 3/515 18420
/proc/meminfo: memFree=21665132/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=68856 CPUtime=25.49 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 17941 0 0 0 2545 4 0 0 25 0 1 0 802461329 70508544 16961 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 17214 16961 180 372 0 16839 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68856

[startup+51.1006 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 18420
/proc/meminfo: memFree=21658188/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=72228 CPUtime=51.09 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 18768 0 0 0 5103 6 0 0 25 0 1 0 802461329 73961472 17788 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 18057 17788 180 372 0 17682 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72228

[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18422
/proc/meminfo: memFree=21650172/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=76268 CPUtime=102.32 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 19794 0 0 0 10222 10 0 0 25 0 1 0 802461329 78098432 18814 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 19067 18814 180 372 0 18692 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 76268

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18423
/proc/meminfo: memFree=21635728/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=80712 CPUtime=162.3 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 20913 0 0 0 16218 12 0 0 25 0 1 0 802461329 82649088 19933 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 20178 19933 180 372 0 19803 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 80712

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18425
/proc/meminfo: memFree=21635068/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=80712 CPUtime=222.3 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 20913 0 0 0 22215 15 0 0 25 0 1 0 802461329 82649088 19933 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 20178 19933 180 372 0 19803 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 80712

[startup+282.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 18426
/proc/meminfo: memFree=21633372/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=80712 CPUtime=282.3 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 20913 0 0 0 28211 19 0 0 25 0 1 0 802461329 82649088 19933 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 20178 19933 180 372 0 19803 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 80712

[startup+342.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/515 18428
/proc/meminfo: memFree=21633452/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=80712 CPUtime=342.3 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 20913 0 0 0 34208 22 0 0 25 0 1 0 802461329 82649088 19933 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 20178 19933 180 372 0 19803 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 80712

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/515 18430
/proc/meminfo: memFree=21615552/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=98856 CPUtime=402.31 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 40205 26 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 24714 24468 180 372 0 24339 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 98856

[startup+462.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/515 18431
/proc/meminfo: memFree=21604712/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=98856 CPUtime=462.31 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 46200 31 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 24714 24468 180 372 0 24339 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 98856

[startup+522.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/515 18433
/proc/meminfo: memFree=21605520/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=98856 CPUtime=522.31 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 52196 35 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323063 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 24714 24468 180 372 0 24339 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 98856

[startup+582.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/515 18434
/proc/meminfo: memFree=21604584/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=98856 CPUtime=582.32 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 58193 39 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 24714 24468 180 372 0 24339 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 98856

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18441
/proc/meminfo: memFree=21600988/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=98856 CPUtime=822.32 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 82180 52 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 24714 24468 180 372 0 24339 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 98856

[startup+882.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/515 18442
/proc/meminfo: memFree=21601548/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=98856 CPUtime=882.32 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 88177 55 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 24714 24468 180 372 0 24339 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 98856

[startup+942.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/515 18444
/proc/meminfo: memFree=21597624/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=98856 CPUtime=942.33 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 94172 61 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 24714 24468 180 372 0 24339 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 98856

[startup+1002.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/515 18446
/proc/meminfo: memFree=21597584/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=98856 CPUtime=1002.33 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25448 0 0 0 100169 64 0 0 25 0 1 0 802461329 101228544 24468 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 24714 24468 180 372 0 24339 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 98856

[startup+1062.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/515 18447
/proc/meminfo: memFree=21596792/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=99868 CPUtime=1062.33 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 25648 0 0 0 106165 68 0 0 25 0 1 0 802461329 102264832 24668 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 24967 24668 180 372 0 24592 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 99868

[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/515 18449
/proc/meminfo: memFree=21592160/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=104580 CPUtime=1122.33 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 26820 0 0 0 112160 73 0 0 25 0 1 0 802461329 107089920 25840 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 26145 25840 180 372 0 25770 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 104580

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 18450
/proc/meminfo: memFree=21588384/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=108468 CPUtime=1182.34 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 27787 0 0 0 118156 78 0 0 25 0 1 0 802461329 111071232 26807 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 27117 26807 180 372 0 26742 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 108468

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18452
/proc/meminfo: memFree=21582752/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=112480 CPUtime=1242.34 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 28811 0 0 0 124151 83 0 0 25 0 1 0 802461329 115179520 27831 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 28120 27831 180 372 0 27745 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 112480

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18454
/proc/meminfo: memFree=21577604/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=117648 CPUtime=1302.35 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 30072 0 0 0 130149 86 0 0 25 0 1 0 802461329 120471552 29092 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 29412 29092 180 372 0 29037 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 117648

[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/515 18455
/proc/meminfo: memFree=21573956/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=121368 CPUtime=1362.34 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 30997 0 0 0 136144 90 0 0 25 0 1 0 802461329 124280832 30017 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 30342 30017 180 372 0 29967 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 121368

[startup+1422.32 s]
/proc/loadavg: 2.08 2.05 2.01 3/515 18457
/proc/meminfo: memFree=21569936/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=125276 CPUtime=1422.36 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 31996 0 0 0 142142 94 0 0 25 0 1 0 802461329 128282624 31016 33554432000 4194304 5714214 140735415860464 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 31319 31016 180 372 0 30944 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 125276

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/515 18458
/proc/meminfo: memFree=21565548/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=129892 CPUtime=1482.34 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 33133 0 0 0 148136 98 0 0 25 0 1 0 802461329 133009408 32153 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 32473 32153 180 372 0 32098 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 129892

[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/515 18460
/proc/meminfo: memFree=21542420/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=152684 CPUtime=1542.35 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 154132 103 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323065 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 38171 37844 180 372 0 37796 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 152684

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/515 18462
/proc/meminfo: memFree=21542252/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=152684 CPUtime=1602.35 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 160126 109 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 38171 37844 180 372 0 37796 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 152684

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 18463
/proc/meminfo: memFree=21541568/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=152684 CPUtime=1662.35 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 166122 113 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 38171 37844 180 372 0 37796 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 152684

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18465
/proc/meminfo: memFree=21541172/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=152684 CPUtime=1722.35 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 172117 118 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 38171 37844 180 372 0 37796 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 152684

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18466
/proc/meminfo: memFree=21537768/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=152684 CPUtime=1782.36 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 178113 123 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 38171 37844 180 372 0 37796 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 152684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18467
/proc/meminfo: memFree=21537624/32951124 swapFree=62999000/67111528
[pid=18364] ppid=18361 vsize=152684 CPUtime=1800.07 cores=0,2,4,6
/proc/18364/stat : 18364 (wbo1.6) R 18361 18364 17882 0 -1 4202496 38886 0 0 0 179883 124 0 0 25 0 1 0 802461329 156348416 37844 33554432000 4194304 5714214 140735415860464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18364/statm: 38171 37844 180 372 0 37796 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 152684

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1798.84
CPU system time (s): 1.25081
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 153008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.25081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38886
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= 12
involuntary context switches= 2518

runsolver used 9.77251 second user time and 19.89 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-03 13:27:37
IDJOB=3461000
IDBENCH=2627
IDSOLVER=1953
FILE ID=node141/3461000-1307100457
RUNJOBID= node141-1307093248-17900
PBS_JOBID= 13497991
Free space on /tmp= 73880 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_16.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461000-1307100457/watcher-3461000-1307100457 -o /tmp/evaluation-result-3461000-1307100457/solver-3461000-1307100457 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461000-1307100457.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 69b04711942c7a7cbb28264339dbffe2
RANDOM SEED=502192147

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5362.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21842576 kB
Buffers:        242420 kB
Cached:         615048 kB
SwapCached:       8848 kB
Active:       10297528 kB
Inactive:       547496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21842576 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:           11664 kB
Writeback:           4 kB
AnonPages:     9986072 kB
Mapped:          26340 kB
Slab:           124132 kB
PageTables:      69900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 150663468 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73872 MiB
End job on node141 at 2011-06-03 13:57:39