Trace number 3460862

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.12 1800.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb
MD5SUM824c01e4395cf59ee9d4081be7b21301
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark53.7938
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
Optimality of the best value was proved YES
Number of variables603
Total number of constraints1088
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 constraints1088
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 669
Number of bits of the biggest sum of numbers10
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-3460862-1307101421.opb.
0.00/0.00	c Instance file HOME/instance-3460862-1307101421.opb
0.00/0.00	c File size is 207165 bytes.
0.00/0.01	c Highest Coefficient sum: 669
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      603                                                 |
0.00/0.01	c |  Number Clauses:        0                                                   |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1088                                                |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     603     1088    26896 |     5000        0   -nan |  0.000 % |
0.02/0.02	c core #1
0.02/0.02	c 
0.02/0.02	c 
0.02/0.02	c Core size: 8	Core Weight: 1	Total Weight: 1
0.02/0.02	c Current CPU time: 0.020996 s
0.02/0.02	c
0.02/0.02	c core #2
0.02/0.02	c 
0.02/0.02	c 
0.02/0.02	c Core size: 10	Core Weight: 1	Total Weight: 2
0.02/0.02	c Current CPU time: 0.024996 s
0.02/0.02	c
0.02/0.02	c ============================[ Search Statistics ]==============================
0.02/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.02	c ===============================================================================
0.02/0.03	c |         0 |     571     1108    26915 |     5000        0   -nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c core #3
0.02/0.03	c 
0.02/0.03	c 
0.02/0.03	c Core size: 14	Core Weight: 1	Total Weight: 3
0.02/0.03	c Current CPU time: 0.028995 s
0.02/0.03	c
0.02/0.03	c ============================[ Search Statistics ]==============================
0.02/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |     578     1114    26924 |     5000        0   -nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c core #4
0.02/0.03	c 
0.02/0.03	c 
0.02/0.03	c Core size: 13	Core Weight: 1	Total Weight: 4
0.02/0.03	c Current CPU time: 0.033994 s
0.02/0.03	c
0.02/0.03	c ============================[ Search Statistics ]==============================
0.02/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |     592     1119    26937 |     5000        0   -nan |  0.000 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c core #5
0.02/0.04	c 
0.02/0.04	c 
0.02/0.04	c Core size: 15	Core Weight: 1	Total Weight: 5
0.02/0.04	c Current CPU time: 0.038994 s
0.02/0.04	c
0.02/0.04	c ============================[ Search Statistics ]==============================
0.02/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.04	c ===============================================================================
0.02/0.04	c |         0 |     601     1124    26951 |     5000        0   -nan |  0.000 % |
0.02/0.04	c ===============================================================================
0.02/0.05	c core #6
0.02/0.05	c 
0.02/0.05	c 
0.02/0.05	c Core size: 14	Core Weight: 3	Total Weight: 8
0.02/0.05	c Current CPU time: 0.045993 s
0.02/0.05	c
0.02/0.05	c ============================[ Search Statistics ]==============================
0.02/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |     614     1128    26967 |     5000        0   -nan |  0.000 % |
0.02/0.05	c ===============================================================================
0.02/0.05	c core #7
0.02/0.05	c 
0.02/0.05	c 
0.02/0.05	c Core size: 18	Core Weight: 1	Total Weight: 9
0.02/0.05	c Current CPU time: 0.053991 s
0.02/0.05	c
0.02/0.05	c ============================[ Search Statistics ]==============================
0.02/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |     624     1132    26984 |     5000        0   -nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.07	c core #8
0.02/0.07	c 
0.02/0.07	c 
0.02/0.07	c Core size: 20	Core Weight: 1	Total Weight: 10
0.02/0.07	c Current CPU time: 0.065989 s
0.02/0.07	c
0.02/0.07	c ============================[ Search Statistics ]==============================
0.02/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.07	c ===============================================================================
0.02/0.07	c |         0 |     635     1136    27003 |     5000        0   -nan |  0.000 % |
0.02/0.09	c |       102 |     635     1136    27003 |     5500      102     17 |  4.080 % |
0.09/0.11	c ===============================================================================
0.09/0.12	c core #9
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 23	Core Weight: 6	Total Weight: 16
0.09/0.12	c Current CPU time: 0.116982 s
0.09/0.12	c
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |     647     1139    27024 |     5000        0   -nan |  0.000 % |
0.09/0.14	c |       101 |     647     1139    27024 |     5500      101     19 |  2.725 % |
0.09/0.16	c |       251 |     637     1139    27024 |     6050      251     21 |  5.431 % |
0.09/0.16	c ===============================================================================
0.09/0.17	c core #10
0.09/0.17	c 
0.09/0.17	c 
0.09/0.17	c Core size: 24	Core Weight: 1	Total Weight: 17
0.09/0.17	c Current CPU time: 0.166974 s
0.09/0.17	c
0.09/0.17	c ============================[ Search Statistics ]==============================
0.09/0.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.17	c ===============================================================================
0.09/0.17	c |         0 |     659     1144    27050 |     5000        0   -nan |  0.000 % |
0.09/0.19	c |       100 |     659     1144    27050 |     5500      100     19 |  2.664 % |
0.19/0.21	c |       250 |     659     1144    27050 |     6050      250     20 |  2.661 % |
0.19/0.25	c |       475 |     659     1144    27050 |     6655      475     22 |  2.661 % |
0.19/0.29	c ===============================================================================
0.29/0.30	c core #11
0.29/0.30	c 
0.29/0.30	c 
0.29/0.30	c Core size: 27	Core Weight: 1	Total Weight: 18
0.29/0.30	c Current CPU time: 0.294955 s
0.29/0.30	c
0.29/0.30	c ============================[ Search Statistics ]==============================
0.29/0.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |     670     1149    27074 |     5000        0   -nan |  0.000 % |
0.29/0.32	c |       100 |     670     1149    27074 |     5500      100     19 |  2.620 % |
0.29/0.34	c |       250 |     670     1149    27074 |     6050      250     23 |  2.618 % |
0.29/0.39	c |       477 |     670     1149    27074 |     6655      477     24 |  2.617 % |
0.39/0.46	c |       815 |     670     1149    27074 |     7320      815     25 |  2.618 % |
0.49/0.55	c |      1321 |     669     1149    27074 |     8052     1321     26 |  2.763 % |
0.49/0.58	c ===============================================================================
0.49/0.59	c core #12
0.49/0.59	c 
0.49/0.59	c 
0.49/0.59	c Core size: 29	Core Weight: 1	Total Weight: 19
0.49/0.59	c Current CPU time: 0.581911 s
0.49/0.59	c
0.49/0.59	c ============================[ Search Statistics ]==============================
0.49/0.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.59	c ===============================================================================
0.49/0.59	c |         0 |     681     1152    27094 |     5000        0   -nan |  0.000 % |
0.59/0.61	c |       101 |     681     1152    27094 |     5500      101     19 |  2.576 % |
0.59/0.63	c |       251 |     681     1152    27094 |     6050      251     21 |  2.575 % |
0.59/0.67	c |       476 |     681     1152    27094 |     6655      476     22 |  2.576 % |
0.69/0.73	c |       813 |     681     1152    27094 |     7320      813     22 |  2.578 % |
0.79/0.83	c |      1319 |     681     1152    27094 |     8052     1319     24 |  2.575 % |
0.89/0.96	c |      2078 |     681     1152    27094 |     8857     2078     24 |  2.575 % |
1.11/1.14	c |      3217 |     681     1152    27094 |     9743     3217     25 |  2.578 % |
1.29/1.35	c ===============================================================================
1.29/1.35	c core #13
1.29/1.35	c 
1.29/1.35	c 
1.29/1.35	c Core size: 37	Core Weight: 1	Total Weight: 20
1.29/1.35	c Current CPU time: 1.34279 s
1.29/1.35	c
1.29/1.35	c ============================[ Search Statistics ]==============================
1.29/1.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.35	c ===============================================================================
1.29/1.35	c |         0 |     702     1155    27134 |     5000        0   -nan |  0.000 % |
1.29/1.37	c |       101 |     702     1155    27134 |     5500      101     19 |  2.501 % |
1.39/1.40	c |       253 |     702     1155    27134 |     6050      253     20 |  2.502 % |
1.39/1.43	c |       479 |     702     1155    27134 |     6655      479     21 |  2.501 % |
1.39/1.49	c |       816 |     702     1155    27134 |     7320      816     23 |  2.500 % |
1.49/1.57	c |      1323 |     702     1155    27134 |     8052     1323     24 |  2.501 % |
1.59/1.69	c |      2083 |     702     1155    27134 |     8857     2083     24 |  2.503 % |
1.89/1.91	c |      3222 |     702     1155    27134 |     9743     3222     25 |  2.504 % |
2.10/2.18	c |      4930 |     702     1155    27134 |    10717     4930     25 |  2.501 % |
2.59/2.65	c |      7492 |     701     1155    27134 |    11789     7492     25 |  2.642 % |
3.39/3.42	c ===============================================================================
3.39/3.43	c core #14
3.39/3.43	c 
3.39/3.43	c 
3.39/3.43	c Core size: 21	Core Weight: 12	Total Weight: 32
3.39/3.43	c Current CPU time: 3.40348 s
3.39/3.43	c
3.39/3.43	c ============================[ Search Statistics ]==============================
3.39/3.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.39/3.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.39/3.43	c ===============================================================================
3.39/3.43	c |         0 |     713     1157    27164 |     5000        0   -nan |  0.000 % |
3.39/3.44	c |       101 |     713     1157    27164 |     5500      101     18 |  1.247 % |
3.39/3.47	c |       251 |     713     1157    27164 |     6050      251     21 |  1.247 % |
3.39/3.50	c |       477 |     705     1157    27164 |     6655      477     20 |  2.355 % |
3.49/3.55	c |       814 |     705     1157    27164 |     7320      814     22 |  2.355 % |
3.59/3.61	c |      1321 |     705     1157    27164 |     8052     1321     22 |  2.355 % |
3.69/3.73	c |      2081 |     705     1157    27164 |     8857     2081     22 |  2.355 % |
3.89/3.92	c |      3220 |     705     1157    27164 |     9743     3220     24 |  2.355 % |
4.09/4.18	c |      4928 |     705     1157    27164 |    10717     4928     26 |  2.355 % |
4.59/4.65	c |      7490 |     705     1157    27164 |    11789     7490     27 |  2.356 % |
5.19/5.28	c ===============================================================================
5.19/5.29	c core #15
5.19/5.29	c 
5.19/5.29	c 
5.19/5.29	c Core size: 41	Core Weight: 1	Total Weight: 33
5.19/5.29	c Current CPU time: 5.2632 s
5.19/5.29	c
5.19/5.29	c ============================[ Search Statistics ]==============================
5.19/5.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.19/5.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.19/5.29	c ===============================================================================
5.19/5.29	c |         0 |     737     1162    27217 |     5000        0   -nan |  0.000 % |
5.29/5.31	c |       101 |     737     1162    27217 |     5500      101     19 |  1.207 % |
5.29/5.34	c |       251 |     737     1162    27217 |     6050      251     20 |  1.207 % |
5.29/5.38	c |       477 |     737     1162    27217 |     6655      477     22 |  1.207 % |
5.39/5.45	c |       814 |     737     1162    27217 |     7320      814     23 |  1.207 % |
5.51/5.56	c |      1320 |     737     1162    27217 |     8052     1320     24 |  1.207 % |
5.69/5.70	c |      2080 |     737     1162    27217 |     8857     2080     26 |  1.207 % |
5.89/5.92	c |      3222 |     737     1162    27217 |     9743     3222     26 |  1.207 % |
6.19/6.26	c |      4931 |     737     1162    27217 |    10717     4931     26 |  1.207 % |
6.69/6.76	c |      7493 |     737     1162    27217 |    11789     7493     27 |  1.208 % |
7.49/7.54	c |     11337 |     737     1162    27217 |    12968    11337     27 |  1.207 % |
8.81/8.83	c |     17104 |     737     1162    27217 |    14265    10587     27 |  1.207 % |
10.69/10.77	c |     25753 |     727     1162    27217 |    15692    12082     29 |  2.681 % |
12.40/12.48	c ===============================================================================
12.50/12.51	c core #16
12.50/12.51	c 
12.50/12.51	c 
12.50/12.51	c Core size: 33	Core Weight: 1	Total Weight: 34
12.50/12.51	c Current CPU time: 12.4401 s
12.50/12.51	c
12.50/12.51	c ============================[ Search Statistics ]==============================
12.50/12.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.50/12.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.50/12.51	c ===============================================================================
12.50/12.51	c |         0 |     762     1167    27272 |     5000        0   -nan |  0.000 % |
12.50/12.53	c |       100 |     762     1167    27272 |     5500      100     18 |  1.167 % |
12.50/12.55	c |       250 |     762     1167    27272 |     6050      250     22 |  1.167 % |
12.50/12.59	c |       475 |     762     1167    27272 |     6655      475     23 |  1.168 % |
12.59/12.65	c |       814 |     762     1167    27272 |     7320      814     24 |  1.167 % |
12.69/12.71	c |      1321 |     762     1167    27272 |     8052     1321     22 |  1.170 % |
12.79/12.87	c |      2080 |     762     1167    27272 |     8857     2080     26 |  1.167 % |
12.99/13.06	c |      3220 |     762     1167    27272 |     9743     3220     26 |  1.172 % |
13.29/13.37	c |      4929 |     762     1167    27272 |    10717     4929     26 |  1.167 % |
13.79/13.80	c |      7492 |     762     1167    27272 |    11789     7492     27 |  1.167 % |
14.49/14.59	c |     11339 |     762     1167    27272 |    12968    11339     27 |  1.167 % |
15.69/15.74	c |     17106 |     762     1167    27272 |    14265    10556     27 |  1.167 % |
17.69/17.73	c |     25755 |     762     1167    27272 |    15692    11999     28 |  1.167 % |
20.49/20.52	c |     38729 |     762     1167    27272 |    17261     9099     29 |  1.169 % |
25.09/25.14	c |     58190 |     762     1167    27272 |    18987    11129     28 |  1.169 % |
31.69/31.71	c |     87382 |     750     1167    27272 |    20886    11657     29 |  2.724 % |
32.29/32.30	c ===============================================================================
32.29/32.37	c core #17
32.29/32.37	c 
32.29/32.37	c 
32.29/32.37	c Core size: 31	Core Weight: 1	Total Weight: 35
32.29/32.37	c Current CPU time: 32.1681 s
32.29/32.37	c
32.29/32.37	c ============================[ Search Statistics ]==============================
32.29/32.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.29/32.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
32.29/32.37	c ===============================================================================
32.29/32.37	c |         0 |     776     1171    27303 |     5000        0   -nan |  0.000 % |
32.29/32.39	c |       100 |     776     1171    27303 |     5500      100     20 |  1.147 % |
32.38/32.42	c |       252 |     776     1171    27303 |     6050      252     23 |  1.147 % |
32.38/32.46	c |       479 |     776     1171    27303 |     6655      479     23 |  1.147 % |
32.48/32.53	c |       816 |     776     1171    27303 |     7320      816     24 |  1.147 % |
32.48/32.59	c |      1323 |     776     1171    27303 |     8052     1323     23 |  1.147 % |
32.68/32.70	c |      2083 |     776     1171    27303 |     8857     2083     23 |  1.147 % |
32.78/32.89	c |      3223 |     776     1171    27303 |     9743     3223     23 |  1.147 % |
33.19/33.26	c |      4931 |     776     1171    27303 |    10717     4931     24 |  1.147 % |
33.78/33.83	c |      7495 |     776     1171    27303 |    11789     7495     25 |  1.147 % |
34.58/34.69	c |     11340 |     776     1171    27303 |    12968    11340     26 |  1.147 % |
35.79/35.87	c |     17107 |     776     1171    27303 |    14265    10573     29 |  1.148 % |
37.79/37.85	c |     25757 |     776     1171    27303 |    15692    11981     28 |  1.147 % |
40.71/40.73	c |     38731 |     770     1171    27303 |    17261     9178     30 |  1.912 % |
44.69/44.76	c |     58193 |     768     1171    27303 |    18987    11337     30 |  2.166 % |
47.19/47.26	c ===============================================================================
47.30/47.33	c core #18
47.30/47.33	c 
47.30/47.33	c 
47.30/47.33	c Core size: 35	Core Weight: 1	Total Weight: 36
47.30/47.33	c Current CPU time: 47.0598 s
47.30/47.33	c
47.30/47.33	c ============================[ Search Statistics ]==============================
47.30/47.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.30/47.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.30/47.33	c ===============================================================================
47.30/47.33	c |         0 |     795     1175    27344 |     5000        0   -nan |  0.000 % |
47.30/47.35	c |       101 |     795     1175    27344 |     5500      101     20 |  1.120 % |
47.30/47.38	c |       251 |     795     1175    27344 |     6050      251     21 |  1.120 % |
47.38/47.43	c |       476 |     795     1175    27344 |     6655      476     23 |  1.120 % |
47.48/47.50	c |       813 |     795     1175    27344 |     7320      813     26 |  1.120 % |
47.59/47.61	c |      1319 |     795     1175    27344 |     8052     1319     26 |  1.120 % |
47.69/47.76	c |      2078 |     795     1175    27344 |     8857     2078     25 |  1.120 % |
47.99/48.04	c |      3219 |     795     1175    27344 |     9743     3219     26 |  1.120 % |
48.29/48.38	c |      4927 |     795     1175    27344 |    10717     4927     26 |  1.121 % |
48.78/48.87	c |      7491 |     795     1175    27344 |    11789     7491     26 |  1.120 % |
49.09/49.10	c |     11337 |     795     1175    27344 |    12968    11337     26 |  1.122 % |
50.38/50.40	c |     17103 |     795     1175    27344 |    14265    10514     29 |  1.120 % |
52.29/52.36	c |     25752 |     788     1175    27344 |    15692    11980     29 |  1.990 % |
55.29/55.39	c |     38729 |     787     1175    27344 |    17261     9117     29 |  2.115 % |
60.51/60.59	c |     58190 |     787     1175    27344 |    18987    11215     30 |  2.116 % |
67.89/67.94	c |     87382 |     786     1175    27344 |    20886    11666     31 |  2.239 % |
68.89/68.98	c ===============================================================================
68.99/69.08	c core #19
68.99/69.08	c 
68.99/69.08	c 
68.99/69.08	c Core size: 44	Core Weight: 1	Total Weight: 37
68.99/69.08	c Current CPU time: 68.6856 s
68.99/69.08	c
68.99/69.08	c ============================[ Search Statistics ]==============================
68.99/69.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
68.99/69.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
68.99/69.08	c ===============================================================================
68.99/69.08	c |         0 |     826     1179    27409 |     5000        0   -nan |  0.000 % |
69.09/69.10	c |       100 |     826     1179    27409 |     5500      100     23 |  1.078 % |
69.09/69.13	c |       250 |     826     1179    27409 |     6050      250     25 |  1.078 % |
69.09/69.16	c |       476 |     826     1179    27409 |     6655      476     25 |  1.078 % |
69.20/69.23	c |       816 |     826     1179    27409 |     7320      816     25 |  1.078 % |
69.20/69.29	c |      1322 |     826     1179    27409 |     8052     1322     24 |  1.079 % |
69.39/69.41	c |      2081 |     826     1179    27409 |     8857     2081     24 |  1.078 % |
69.59/69.64	c |      3220 |     826     1179    27409 |     9743     3220     25 |  1.078 % |
69.89/69.95	c |      4928 |     826     1179    27409 |    10717     4928     26 |  1.078 % |
70.40/70.50	c |      7491 |     826     1179    27409 |    11789     7491     26 |  1.078 % |
71.19/71.24	c |     11335 |     826     1179    27409 |    12968    11335     27 |  1.078 % |
72.39/72.43	c |     17102 |     826     1179    27409 |    14265    10537     27 |  1.078 % |
74.39/74.40	c |     25753 |     826     1179    27409 |    15692    11977     27 |  1.078 % |
75.90/75.94	c |     38727 |     826     1179    27409 |    17261     8891     29 |  1.078 % |
80.09/80.13	c |     58188 |     819     1179    27409 |    18987    11010     28 |  1.916 % |
87.08/87.19	c |     87380 |     816     1179    27409 |    20886    11634     30 |  2.395 % |
88.59/88.69	c ===============================================================================
88.79/88.80	c core #20
88.79/88.80	c 
88.79/88.80	c 
88.79/88.80	c Core size: 41	Core Weight: 1	Total Weight: 38
88.79/88.80	c Current CPU time: 88.3166 s
88.79/88.80	c
88.79/88.80	c ============================[ Search Statistics ]==============================
88.79/88.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.79/88.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
88.79/88.80	c ===============================================================================
88.79/88.80	c |         0 |     858     1181    27472 |     5000        0   -nan |  0.000 % |
88.79/88.83	c |       101 |     858     1181    27472 |     5500      101     23 |  1.038 % |
88.79/88.85	c |       252 |     858     1181    27472 |     6050      252     23 |  1.038 % |
88.79/88.89	c |       480 |     858     1181    27472 |     6655      480     23 |  1.038 % |
88.89/88.96	c |       817 |     858     1181    27472 |     7320      817     24 |  1.038 % |
88.99/89.04	c |      1324 |     858     1181    27472 |     8052     1324     25 |  1.038 % |
89.11/89.18	c |      2083 |     858     1181    27472 |     8857     2083     25 |  1.038 % |
89.38/89.40	c |      3223 |     858     1181    27472 |     9743     3223     25 |  1.038 % |
89.68/89.74	c |      4931 |     858     1181    27472 |    10717     4931     26 |  1.038 % |
90.21/90.25	c |      7493 |     858     1181    27472 |    11789     7493     27 |  1.038 % |
91.09/91.12	c |     11338 |     858     1181    27472 |    12968    11338     28 |  1.038 % |
91.99/92.00	c |     17108 |     858     1181    27472 |    14265    10455     33 |  1.038 % |
93.88/93.93	c |     25758 |     854     1181    27472 |    15692    11921     30 |  1.500 % |
96.39/96.43	c |     38733 |     854     1181    27472 |    17261     8763     36 |  1.500 % |
100.29/100.38	c |     58195 |     854     1181    27472 |    18987    10823     25 |  1.500 % |
105.19/105.29	c |     87387 |     854     1181    27472 |    20886    10527     47 |  1.500 % |
115.39/115.50	c |    131179 |     854     1181    27472 |    22974    12384     25 |  1.500 % |
128.59/128.70	c |    196863 |     854     1181    27472 |    25272    18197     44 |  1.500 % |
152.80/152.85	c |    295391 |     844     1181    27472 |    27799    21376     30 |  2.884 % |
164.18/164.28	c ===============================================================================
164.69/164.73	c core #21
164.69/164.73	c 
164.69/164.73	c 
164.69/164.73	c Core size: 57	Core Weight: 1	Total Weight: 39
164.69/164.73	c Current CPU time: 163.753 s
164.69/164.73	c
164.69/164.73	c ============================[ Search Statistics ]==============================
164.69/164.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
164.69/164.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
164.69/164.73	c ===============================================================================
164.69/164.73	c |         0 |     898     1183    27551 |     5000        0   -nan |  0.000 % |
164.69/164.74	c |       103 |     898     1183    27551 |     5500      103     21 |  0.992 % |
164.69/164.77	c |       253 |     898     1183    27551 |     6050      253     19 |  0.992 % |
164.79/164.81	c |       479 |     898     1183    27551 |     6655      479     21 |  0.992 % |
164.79/164.86	c |       816 |     898     1183    27551 |     7320      816     21 |  0.992 % |
164.89/164.96	c |      1322 |     898     1183    27551 |     8052     1322     23 |  0.992 % |
165.01/165.09	c |      2084 |     898     1183    27551 |     8857     2084     25 |  0.992 % |
165.18/165.28	c |      3224 |     898     1183    27551 |     9743     3224     24 |  0.993 % |
165.49/165.56	c |      4932 |     898     1183    27551 |    10717     4932     24 |  0.992 % |
165.89/166.01	c |      7495 |     898     1183    27551 |    11789     7495     24 |  0.992 % |
166.79/166.88	c |     11341 |     898     1183    27551 |    12968    11341     25 |  0.995 % |
168.20/168.28	c |     17107 |     898     1183    27551 |    14265    10513     28 |  0.992 % |
169.18/169.31	c |     25756 |     898     1183    27551 |    15692    11677     41 |  0.995 % |
172.09/172.19	c |     38730 |     894     1183    27551 |    17261     8774     27 |  1.433 % |
176.49/176.55	c |     58192 |     894     1183    27551 |    18987    10890     28 |  1.433 % |
180.49/180.59	c |     87388 |     894     1183    27551 |    20886    10499     53 |  1.433 % |
191.09/191.17	c |    131177 |     894     1183    27551 |    22974    12280     26 |  1.434 % |
203.40/203.51	c |    196864 |     894     1183    27551 |    25272    18020     63 |  1.433 % |
227.60/227.67	c |    295393 |     893     1183    27551 |    27799    23246     36 |  1.544 % |
257.19/257.28	c |    443182 |     889     1183    27551 |    30579    13965     55 |  1.985 % |
312.78/312.87	c |    664867 |     864     1183    27551 |    33637    23542     29 |  4.741 % |
377.98/378.01	c ===============================================================================
380.28/380.37	c core #22
380.28/380.37	c 
380.28/380.37	c 
380.28/380.37	c Core size: 56	Core Weight: 1	Total Weight: 40
380.28/380.37	c Current CPU time: 378.063 s
380.28/380.37	c
380.28/380.37	c ============================[ Search Statistics ]==============================
380.28/380.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
380.28/380.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
380.28/380.37	c ===============================================================================
380.28/380.37	c |         0 |     940     1185    27634 |     5000        0   -nan |  0.000 % |
380.28/380.39	c |       101 |     940     1185    27634 |     5500      101     20 |  0.948 % |
380.38/380.42	c |       252 |     940     1185    27634 |     6050      252     21 |  0.948 % |
380.38/380.43	c |       481 |     940     1185    27634 |     6655      481     21 |  0.948 % |
380.38/380.49	c |       819 |     940     1185    27634 |     7320      819     21 |  0.949 % |
380.49/380.58	c |      1325 |     940     1185    27634 |     8052     1325     22 |  0.948 % |
380.60/380.63	c |      2086 |     940     1185    27634 |     8857     2086     24 |  0.948 % |
380.79/380.84	c |      3225 |     940     1185    27634 |     9743     3225     23 |  0.950 % |
381.08/381.15	c |      4933 |     940     1185    27634 |    10717     4933     24 |  0.948 % |
381.48/381.61	c |      7495 |     940     1185    27634 |    11789     7495     24 |  0.948 % |
381.88/381.93	c |     11339 |     940     1185    27634 |    12968    11339     28 |  0.948 % |
382.88/382.91	c |     17107 |     940     1185    27634 |    14265    10572     28 |  0.949 % |
383.38/383.47	c |     25757 |     940     1185    27634 |    15692    11768     56 |  0.948 % |
386.19/386.28	c |     38731 |     940     1185    27634 |    17261     8882     25 |  0.949 % |
389.98/390.09	c |     58193 |     940     1185    27634 |    18987    10542     48 |  0.948 % |
395.08/395.10	c |     87387 |     936     1185    27634 |    20886    10423     73 |  1.370 % |
405.38/405.47	c |    131176 |     936     1185    27634 |    22974    12222     26 |  1.370 % |
418.28/418.31	c |    196860 |     936     1185    27634 |    25272    17750     81 |  1.370 % |
441.18/441.22	c |    295389 |     935     1185    27634 |    27799    20369     64 |  1.475 % |
474.79/474.85	c |    443178 |     935     1185    27634 |    30579    21990     76 |  1.475 % |
535.98/536.09	c |    664862 |     933     1185    27634 |    33637    25365     63 |  1.686 % |
630.30/630.36	c |    997387 |     933     1185    27634 |    37001    14528     62 |  1.686 % |
771.18/771.22	c |   1496176 |     933     1185    27634 |    40701    23976     76 |  1.686 % |
1039.08/1039.12	c |   2244359 |     928     1185    27634 |    44771    21276     76 |  2.213 % |
1431.37/1431.45	c |   3366633 |     928     1185    27634 |    49248    32772     74 |  2.213 % |

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-3460862-1307101421/watcher-3460862-1307101421 -o /tmp/evaluation-result-3460862-1307101421/solver-3460862-1307101421 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460862-1307101421.opb 

running on 4 cores: 1,3,5,7

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: 2.02 2.04 2.00 2/535 9919
/proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=2572 CPUtime=0 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 1 0 802558351 2633728 361 33554432000 4194304 5714214 140733685770240 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 676 363 182 372 0 250 0

[startup+0.0257219 s]
/proc/loadavg: 2.02 2.04 2.00 2/535 9919
/proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=5156 CPUtime=0.02 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1126 0 0 0 2 0 0 0 25 0 1 0 802558351 5279744 1029 33554432000 4194304 5714214 140733685770240 18446744073709551615 4956218 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 1289 1029 176 372 0 914 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5156

[startup+0.100695 s]
/proc/loadavg: 2.02 2.04 2.00 2/535 9919
/proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=5960 CPUtime=0.09 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1354 0 0 0 9 0 0 0 18 0 1 0 802558351 6103040 1257 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 1490 1257 180 372 0 1115 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5960

[startup+0.300662 s]
/proc/loadavg: 2.02 2.04 2.00 2/535 9919
/proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=6500 CPUtime=0.29 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1490 0 0 0 29 0 0 0 18 0 1 0 802558351 6656000 1393 33554432000 4194304 5714214 140733685770240 18446744073709551615 4964704 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 1625 1393 180 372 0 1250 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6500

[startup+0.700568 s]
/proc/loadavg: 2.02 2.04 2.00 2/535 9919
/proc/meminfo: memFree=25250652/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=6896 CPUtime=0.69 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1585 0 0 0 69 0 0 0 18 0 1 0 802558351 7061504 1488 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 1724 1488 180 372 0 1349 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6896

[startup+1.50042 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 9920
/proc/meminfo: memFree=25233408/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=7952 CPUtime=1.49 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1824 0 0 0 149 0 0 0 18 0 1 0 802558351 8142848 1727 33554432000 4194304 5714214 140733685770240 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 1988 1727 180 372 0 1613 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7952

[startup+3.10015 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 9920
/proc/meminfo: memFree=25229884/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=7952 CPUtime=3.09 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 1846 0 0 0 308 1 0 0 20 0 1 0 802558351 8142848 1749 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 1988 1749 180 372 0 1613 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7952

[startup+6.30057 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 9921
/proc/meminfo: memFree=25226048/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=10328 CPUtime=6.29 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 2430 0 0 0 626 3 0 0 25 0 1 0 802558351 10575872 2333 33554432000 4194304 5714214 140733685770240 18446744073709551615 4200294 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 2582 2333 180 372 0 2207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10328

[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 9921
/proc/meminfo: memFree=25220652/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=13236 CPUtime=12.69 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 3188 0 0 0 1263 6 0 0 18 0 1 0 802558351 13553664 3060 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 3309 3060 180 372 0 2934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13236

[startup+25.5001 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 9921
/proc/meminfo: memFree=25217056/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=15280 CPUtime=25.49 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 3711 0 0 0 2536 13 0 0 25 0 1 0 802558351 15646720 3583 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 3820 3583 180 372 0 3445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15280

[startup+51.1006 s]
/proc/loadavg: 2.30 2.10 2.02 3/536 9922
/proc/meminfo: memFree=25211620/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=20532 CPUtime=51.09 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 5040 0 0 0 5083 26 0 0 18 0 1 0 802558351 21024768 4874 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 5133 4874 180 372 0 4758 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20532

[startup+102.319 s]
/proc/loadavg: 2.27 2.11 2.03 3/536 9923
/proc/meminfo: memFree=25196808/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=23444 CPUtime=102.3 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 5792 0 0 0 10179 51 0 0 21 0 1 0 802558351 24006656 5626 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 5861 5626 180 372 0 5486 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23444

[startup+162.301 s]
/proc/loadavg: 2.10 2.09 2.02 3/536 9925
/proc/meminfo: memFree=25166376/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=54020 CPUtime=162.29 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 13180 0 0 0 16147 82 0 0 25 0 1 0 802558351 55316480 13014 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 13505 13014 180 372 0 13130 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 54020

[startup+222.301 s]
/proc/loadavg: 2.03 2.07 2.01 3/536 9926
/proc/meminfo: memFree=25162608/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=57864 CPUtime=222.29 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 14270 0 0 0 22118 111 0 0 25 0 1 0 802558351 59252736 14049 33554432000 4194304 5714214 140733685770240 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 14466 14049 180 372 0 14091 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 57864

[startup+282.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/536 9928
/proc/meminfo: memFree=25128840/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=88572 CPUtime=282.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 21921 0 0 0 28085 143 0 0 25 0 1 0 802558351 90697728 21700 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 22143 21700 180 372 0 21768 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 88572

[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 9930
/proc/meminfo: memFree=25097040/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=112440 CPUtime=342.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 27731 0 0 0 34054 174 0 0 25 0 1 0 802558351 115138560 27510 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 28110 27510 180 372 0 27735 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 112440

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 9931
/proc/meminfo: memFree=25048600/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=152936 CPUtime=402.29 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 37756 0 0 0 40026 203 0 0 25 0 1 0 802558351 156606464 37535 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 38234 37535 180 372 0 37859 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 152936

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9933
/proc/meminfo: memFree=25039996/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=152936 CPUtime=462.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 37758 0 0 0 45992 236 0 0 25 0 1 0 802558351 156606464 37537 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 38234 37537 180 372 0 37859 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 152936

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9934
/proc/meminfo: memFree=25030524/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=152936 CPUtime=522.29 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 37822 0 0 0 51966 263 0 0 25 0 1 0 802558351 156606464 37601 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 38234 37601 180 372 0 37859 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 152936

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 9936
/proc/meminfo: memFree=25020548/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=152936 CPUtime=582.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 38060 0 0 0 57941 287 0 0 25 0 1 0 802558351 156606464 37839 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 38234 37839 180 372 0 37859 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 152936

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 9944
/proc/meminfo: memFree=24896344/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=271836 CPUtime=882.27 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 67370 0 0 0 87819 408 0 0 25 0 1 0 802558351 278360064 67149 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 67959 67149 180 372 0 67584 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 271836

[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 9946
/proc/meminfo: memFree=24875720/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=293624 CPUtime=942.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 72677 0 0 0 93798 430 0 0 25 0 1 0 802558351 300670976 72456 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 73406 72456 180 372 0 73031 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 293624

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9947
/proc/meminfo: memFree=24853356/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=316464 CPUtime=1002.27 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 78317 0 0 0 99777 450 0 0 25 0 1 0 802558351 324059136 78096 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 79116 78096 180 372 0 78741 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 316464

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9962
/proc/meminfo: memFree=24828064/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=341204 CPUtime=1062.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 84425 0 0 0 105758 470 0 0 25 0 1 0 802558351 349392896 84204 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 85301 84204 180 372 0 84926 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 341204

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 9963
/proc/meminfo: memFree=24796416/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=364300 CPUtime=1122.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 90131 0 0 0 111733 495 0 0 25 0 1 0 802558351 373043200 89910 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 91075 89910 180 372 0 90700 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 364300

[startup+1182.3 s]
/proc/loadavg: 2.23 2.07 2.02 3/536 9966
/proc/meminfo: memFree=24766476/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=386812 CPUtime=1182.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 95690 0 0 0 117710 518 0 0 25 0 1 0 802558351 396095488 95469 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 96703 95469 180 372 0 96328 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 386812

[startup+1242.3 s]
/proc/loadavg: 2.19 2.08 2.02 3/536 9968
/proc/meminfo: memFree=24736292/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=409864 CPUtime=1242.27 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 101427 0 0 0 123687 540 0 0 25 0 1 0 802558351 419700736 101206 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 102466 101206 180 372 0 102091 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 409864

[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/536 9969
/proc/meminfo: memFree=24704628/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=435040 CPUtime=1302.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 107647 0 0 0 129667 561 0 0 25 0 1 0 802558351 445480960 107426 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 108760 107426 180 372 0 108385 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 435040

[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/536 9972
/proc/meminfo: memFree=24679784/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=454696 CPUtime=1362.27 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 112556 0 0 0 135645 582 0 0 25 0 1 0 802558351 465608704 112335 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319793 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 113674 112335 180 372 0 113299 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 454696

[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.01 3/536 9973
/proc/meminfo: memFree=24651580/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=474420 CPUtime=1422.29 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 117377 0 0 0 141626 603 0 0 25 0 1 0 802558351 485806080 117156 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 118605 117156 180 372 0 118230 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 474420

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 9976
/proc/meminfo: memFree=24622136/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=496936 CPUtime=1482.27 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 122967 0 0 0 147601 626 0 0 25 0 1 0 802558351 508862464 122746 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 124234 122746 180 372 0 123859 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 496936

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9979
/proc/meminfo: memFree=24587240/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=526376 CPUtime=1542.28 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 130281 0 0 0 153575 653 0 0 25 0 1 0 802558351 539009024 130060 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 131594 130060 180 372 0 131219 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 526376

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9980
/proc/meminfo: memFree=24555820/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=548256 CPUtime=1602.26 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 135737 0 0 0 159549 677 0 0 25 0 1 0 802558351 561414144 135516 33554432000 4194304 5714214 140733685770240 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 137064 135516 180 372 0 136689 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 548256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 9982
/proc/meminfo: memFree=24524636/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=572356 CPUtime=1662.26 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 141738 0 0 0 165525 701 0 0 25 0 1 0 802558351 586092544 141517 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 143089 141517 180 372 0 142714 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 572356

[startup+1722.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/536 9984
/proc/meminfo: memFree=24491472/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=597312 CPUtime=1722.27 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 147970 0 0 0 171495 732 0 0 25 0 1 0 802558351 611647488 147749 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 149328 147749 180 372 0 148953 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 597312

[startup+1782.3 s]
/proc/loadavg: 2.23 2.07 2.02 3/536 9986
/proc/meminfo: memFree=24463756/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=615964 CPUtime=1782.27 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 152611 0 0 0 177476 751 0 0 25 0 1 0 802558351 630747136 152390 33554432000 4194304 5714214 140733685770240 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 153991 152390 180 372 0 153616 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 615964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.18 2.07 2.02 2/534 9988
/proc/meminfo: memFree=24636240/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=623620 CPUtime=1800.08 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 154538 0 0 0 179250 758 0 0 25 0 1 0 802558351 638586880 154317 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 155905 154317 180 372 0 155530 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 623620

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

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

[startup+1800.1 s]
/proc/loadavg: 2.18 2.07 2.02 2/534 9988
/proc/meminfo: memFree=24636240/32951124 swapFree=46970528/67111528
[pid=9919] ppid=9917 vsize=623620 CPUtime=1800.08 cores=1,3,5,7
/proc/9919/stat : 9919 (wbo1.6) R 9917 9919 9437 0 -1 4202496 154538 0 0 0 179250 758 0 0 25 0 1 0 802558351 638586880 154317 33554432000 4194304 5714214 140733685770240 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9919/statm: 155905 154317 180 372 0 155530 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 623620

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.15
CPU time (s): 1800.12
CPU user time (s): 1792.51
CPU system time (s): 7.61084
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 623620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.51
system time used= 7.61084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154538
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= 27
involuntary context switches= 2414

runsolver used 9.36857 second user time and 21.7537 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-03 13:43:41
IDJOB=3460862
IDBENCH=2641
IDSOLVER=1953
FILE ID=node146/3460862-1307101421
RUNJOBID= node146-1307094211-9456
PBS_JOBID= 13498003
Free space on /tmp= 73724 MiB

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

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

MD5SUM BENCH= 824c01e4395cf59ee9d4081be7b21301
RANDOM SEED=1504566891

node146.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.830
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.66
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.830
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	: 5332.75
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.830
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.75
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.830
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.86
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.830
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.75
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.830
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.830
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.830
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:      25251924 kB
Buffers:         98320 kB
Cached:         216648 kB
SwapCached:      60100 kB
Active:         206620 kB
Inactive:      7253428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25251924 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:            9712 kB
Writeback:           0 kB
AnonPages:     7095968 kB
Mapped:          17568 kB
Slab:            73280 kB
PageTables:      97608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160703016 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= 73720 MiB
End job on node146 at 2011-06-03 14:13:43