Trace number 3461730

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.08 1800.04

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12052_10.std.opb
MD5SUM3a741555d430d0ca416ea4853bc85581
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark160
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256287
Number of constraints which are clauses255087
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint94
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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-3461730-1307121218.opb.
0.00/0.00	c Instance file HOME/instance-3461730-1307121218.opb
0.00/0.00	c File size is 8259329 bytes.
0.59/0.64	c Highest Coefficient sum: 551
0.59/0.64	c ============================[ Problem Statistics ]=============================
0.59/0.64	c |                                                                             |
0.59/0.64	c |  Parsing time:          0.63         s                                      |
0.59/0.64	c |  Number Variables:      72842                                               |
0.59/0.64	c |  Number Clauses:        255087                                              |
0.59/0.64	c |  Number Cardinality:    0                                                   |
0.59/0.64	c |  Number PB Constraints: 1200                                                |
0.69/0.77	c ============================[ Search Statistics ]==============================
0.69/0.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.77	c ===============================================================================
0.69/0.77	c |         0 |   55505   256287   545947 |    85429        0   -nan |  0.000 % |
1.59/1.65	c core #1
1.59/1.65	c 
1.59/1.65	c 
1.59/1.65	c Core size: 418	Core Weight: 91	Total Weight: 91
1.59/1.65	c Current CPU time: 0.844871 s
1.59/1.65	c
1.59/1.65	c core #2
1.59/1.65	c 
1.59/1.65	c 
1.59/1.65	c Core size: 453	Core Weight: 1	Total Weight: 92
1.59/1.65	c Current CPU time: 0.949855 s
1.59/1.65	c
1.59/1.65	c core #3
1.59/1.65	c 
1.59/1.65	c 
1.59/1.65	c Core size: 431	Core Weight: 1	Total Weight: 93
1.59/1.65	c Current CPU time: 1.05184 s
1.59/1.65	c
1.59/1.65	c core #4
1.59/1.65	c 
1.59/1.65	c 
1.59/1.65	c Core size: 429	Core Weight: 1	Total Weight: 94
1.59/1.65	c Current CPU time: 1.16182 s
1.59/1.65	c
1.59/1.65	c core #5
1.59/1.65	c 
1.59/1.65	c 
1.59/1.65	c Core size: 427	Core Weight: 1	Total Weight: 95
1.59/1.65	c Current CPU time: 1.26881 s
1.59/1.65	c
1.59/1.65	c core #6
1.59/1.65	c 
1.59/1.65	c 
1.59/1.65	c Core size: 480	Core Weight: 1	Total Weight: 96
1.59/1.65	c Current CPU time: 1.38379 s
1.59/1.65	c
1.59/1.65	c core #7
1.59/1.65	c 
1.59/1.65	c 
1.59/1.65	c Core size: 447	Core Weight: 1	Total Weight: 97
1.59/1.65	c Current CPU time: 1.49677 s
1.59/1.65	c
1.59/1.65	c ============================[ Search Statistics ]==============================
1.59/1.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.65	c ===============================================================================
1.59/1.65	c |         0 |    8473   203388   415314 |    67796        0   -nan |  0.000 % |
1.59/1.65	c ===============================================================================
1.69/1.77	c core #8
1.69/1.77	c 
1.69/1.77	c 
1.69/1.77	c Core size: 486	Core Weight: 1	Total Weight: 98
1.69/1.77	c Current CPU time: 1.61775 s
1.69/1.77	c
1.69/1.77	c ============================[ Search Statistics ]==============================
1.69/1.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.69/1.77	c ===============================================================================
1.69/1.77	c |         0 |    8907   203592   415897 |    67864        0   -nan |  0.000 % |
1.69/1.77	c ===============================================================================
1.89/1.90	c core #9
1.89/1.90	c 
1.89/1.90	c 
1.89/1.90	c Core size: 510	Core Weight: 1	Total Weight: 99
1.89/1.90	c Current CPU time: 1.74274 s
1.89/1.90	c
1.89/1.90	c ============================[ Search Statistics ]==============================
1.89/1.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.89/1.90	c ===============================================================================
1.89/1.90	c |         0 |    9362   203795   416486 |    67931        0   -nan |  0.000 % |
1.89/1.91	c ===============================================================================
1.99/2.03	c core #10
1.99/2.03	c 
1.99/2.03	c 
1.99/2.03	c Core size: 500	Core Weight: 1	Total Weight: 100
1.99/2.03	c Current CPU time: 1.87172 s
1.99/2.03	c
1.99/2.03	c ============================[ Search Statistics ]==============================
1.99/2.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.99/2.03	c ===============================================================================
1.99/2.03	c |         0 |    9805   203996   417071 |    67998        0   -nan |  0.000 % |
1.99/2.04	c ===============================================================================
2.11/2.17	c core #11
2.11/2.17	c 
2.11/2.17	c 
2.11/2.17	c Core size: 503	Core Weight: 1	Total Weight: 101
2.11/2.17	c Current CPU time: 2.01069 s
2.11/2.17	c
2.11/2.17	c ============================[ Search Statistics ]==============================
2.11/2.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.11/2.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.11/2.17	c ===============================================================================
2.11/2.17	c |         0 |   10247   204196   417657 |    68065        0   -nan |  0.000 % |
2.11/2.19	c |       100 |   10247   204196   417657 |    74871      100     15 | 86.744 % |
2.11/2.19	c ===============================================================================
2.29/2.32	c core #12
2.29/2.32	c 
2.29/2.32	c 
2.29/2.32	c Core size: 512	Core Weight: 1	Total Weight: 102
2.29/2.32	c Current CPU time: 2.15467 s
2.29/2.32	c
2.29/2.32	c ============================[ Search Statistics ]==============================
2.29/2.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.32	c ===============================================================================
2.29/2.32	c |         0 |   10688   204398   418252 |    68132        0   -nan |  0.000 % |
2.29/2.34	c |       100 |   10688   204398   418252 |    74945      100     14 | 85.805 % |
2.29/2.37	c |       251 |   10676   204398   418252 |    82440      251     18 | 86.646 % |
2.29/2.38	c ===============================================================================
2.49/2.51	c core #13
2.49/2.51	c 
2.49/2.51	c 
2.49/2.51	c Core size: 491	Core Weight: 1	Total Weight: 103
2.49/2.51	c Current CPU time: 2.34264 s
2.49/2.51	c
2.49/2.51	c ============================[ Search Statistics ]==============================
2.49/2.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.51	c ===============================================================================
2.49/2.51	c |         0 |   11128   204597   418842 |    68199        0   -nan |  0.000 % |
2.49/2.53	c |       104 |   11128   204597   418842 |    75018      104     18 | 85.260 % |
2.49/2.56	c |       255 |   11128   204597   418842 |    82520      255     20 | 85.260 % |
2.59/2.61	c |       481 |   11128   204597   418842 |    90772      481     21 | 85.260 % |
2.59/2.65	c ===============================================================================
2.69/2.79	c core #14
2.69/2.79	c 
2.69/2.79	c 
2.69/2.79	c Core size: 654	Core Weight: 1	Total Weight: 104
2.69/2.79	c Current CPU time: 2.6106 s
2.69/2.79	c
2.69/2.79	c ============================[ Search Statistics ]==============================
2.69/2.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.69/2.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.69/2.79	c ===============================================================================
2.69/2.79	c |         0 |   11567   204800   419447 |    68266        0   -nan |  0.000 % |
2.79/2.81	c |       100 |   11567   204800   419447 |    75093      100     17 | 84.718 % |
2.79/2.85	c |       250 |   11567   204800   419447 |    82602      250     21 | 84.718 % |
2.79/2.89	c |       475 |   11567   204800   419447 |    90862      475     22 | 84.718 % |
2.89/2.95	c |       812 |   11323   204800   419447 |    99949      812     23 | 85.040 % |
2.99/3.07	c |      1318 |   11141   204800   419447 |   109944     1318     28 | 85.850 % |
3.09/3.10	c ===============================================================================
3.21/3.23	c core #15
3.21/3.23	c 
3.21/3.23	c 
3.21/3.23	c Core size: 599	Core Weight: 1	Total Weight: 105
3.21/3.23	c Current CPU time: 3.04954 s
3.21/3.23	c
3.21/3.23	c ============================[ Search Statistics ]==============================
3.21/3.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.21/3.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.21/3.23	c ===============================================================================
3.21/3.23	c |         0 |   12005   205001   420049 |    68333        0   -nan |  0.000 % |
3.21/3.24	c |       100 |   12005   205001   420049 |    75167      100     17 | 84.180 % |
3.21/3.28	c |       250 |   12005   205001   420049 |    82683      250     19 | 84.180 % |
3.31/3.32	c |       475 |   12005   205001   420049 |    90952      475     21 | 84.180 % |
3.39/3.40	c |       812 |   11857   205001   420049 |   100047      812     24 | 84.375 % |
3.39/3.50	c |      1318 |   11857   205001   420049 |   110052     1318     27 | 84.375 % |
3.59/3.66	c |      2077 |   11683   205001   420049 |   121057     2077     31 | 84.606 % |
3.89/3.91	c |      3217 |   11610   205001   420049 |   133162     3217     34 | 85.712 % |
3.89/3.93	c ===============================================================================
3.99/4.06	c core #16
3.99/4.06	c 
3.99/4.06	c 
3.99/4.06	c Core size: 838	Core Weight: 1	Total Weight: 106
3.99/4.06	c Current CPU time: 3.87141 s
3.99/4.06	c
3.99/4.06	c ============================[ Search Statistics ]==============================
3.99/4.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.06	c ===============================================================================
3.99/4.06	c |         0 |   12442   205205   420661 |    68401        0   -nan |  0.000 % |
3.99/4.09	c |       102 |   12442   205205   420661 |    75241      102     23 | 83.647 % |
4.09/4.12	c |       254 |   12442   205205   420661 |    82766      254     22 | 83.647 % |
4.09/4.17	c |       482 |   12442   205205   420661 |    91042      482     24 | 83.647 % |
4.19/4.23	c |       819 |   12442   205205   420661 |   100146      819     26 | 83.647 % |
4.31/4.34	c |      1328 |   12442   205205   420661 |   110161     1328     30 | 83.647 % |
4.49/4.51	c |      2087 |   12442   205205   420661 |   121177     2087     31 | 83.647 % |
4.69/4.74	c |      3226 |   12442   205205   420661 |   133295     3226     31 | 83.647 % |
5.09/5.11	c |      4934 |   12442   205205   420661 |   146625     4934     36 | 83.647 % |
5.59/5.69	c |      7496 |   11940   205205   420661 |   161287     7496     36 | 84.306 % |
5.69/5.79	c ===============================================================================
5.89/5.92	c core #17
5.89/5.92	c 
5.89/5.92	c 
5.89/5.92	c Core size: 701	Core Weight: 1	Total Weight: 107
5.89/5.92	c Current CPU time: 5.73113 s
5.89/5.92	c
5.89/5.92	c ============================[ Search Statistics ]==============================
5.89/5.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.92	c ===============================================================================
5.89/5.92	c |         0 |   12878   205409   421279 |    68469        0   -nan |  0.000 % |
5.89/5.95	c |       100 |   12878   205409   421279 |    75316      100     20 | 83.117 % |
5.89/5.98	c |       250 |   12878   205409   421279 |    82848      250     21 | 83.117 % |
5.99/6.02	c |       475 |   12873   205409   421279 |    91133      475     22 | 83.654 % |
6.09/6.10	c |       815 |   12468   205409   421279 |   100246      815     23 | 83.654 % |
6.19/6.20	c |      1321 |   12468   205409   421279 |   110271     1321     28 | 83.654 % |
6.29/6.34	c |      2081 |   12468   205409   421279 |   121298     2081     28 | 83.654 % |
6.51/6.59	c |      3220 |   12468   205409   421279 |   133428     3220     29 | 83.654 % |
6.89/6.95	c |      4928 |   12468   205409   421279 |   146770     4928     32 | 83.654 % |
7.49/7.59	c |      7491 |   12468   205409   421279 |   161447     7491     34 | 83.654 % |
8.49/8.55	c |     11338 |   12468   205409   421279 |   177592    11338     38 | 83.654 % |
8.99/9.06	c ===============================================================================
9.09/9.19	c core #18
9.09/9.19	c 
9.09/9.19	c 
9.09/9.19	c Core size: 960	Core Weight: 1	Total Weight: 108
9.09/9.19	c Current CPU time: 8.98163 s
9.09/9.19	c
9.09/9.19	c ============================[ Search Statistics ]==============================
9.09/9.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.09/9.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.09/9.19	c ===============================================================================
9.09/9.19	c |         0 |   13313   205614   421905 |    68538        0   -nan |  0.000 % |
9.19/9.22	c |       100 |   13313   205614   421905 |    75391      100     21 | 82.590 % |
9.19/9.25	c |       251 |   13313   205614   421905 |    82930      251     22 | 82.590 % |
9.29/9.30	c |       477 |   12903   205614   421905 |    91224      477     23 | 83.126 % |
9.29/9.38	c |       815 |   12903   205614   421905 |   100346      815     29 | 83.126 % |
9.39/9.48	c |      1321 |   12903   205614   421905 |   110381     1321     31 | 83.126 % |
9.59/9.62	c |      2082 |   12903   205614   421905 |   121419     2082     32 | 83.126 % |
9.81/9.87	c |      3221 |   12903   205614   421905 |   133561     3221     33 | 83.127 % |
10.20/10.25	c |      4929 |   12903   205614   421905 |   146917     4929     34 | 83.127 % |
10.69/10.79	c |      7491 |   12903   205614   421905 |   161609     7491     34 | 83.126 % |
11.59/11.66	c |     11337 |   12903   205614   421905 |   177769    11337     37 | 83.126 % |
13.11/13.17	c |     17103 |   12903   205614   421905 |   195546    17103     39 | 83.127 % |
15.49/15.50	c |     25752 |   12903   205614   421905 |   215101    25752     42 | 83.127 % |
19.71/19.72	c |     38726 |   12160   205614   421905 |   236611    38726     46 | 84.434 % |
20.59/20.69	c ===============================================================================
20.81/20.83	c core #19
20.81/20.83	c 
20.81/20.83	c 
20.81/20.83	c Core size: 861	Core Weight: 1	Total Weight: 109
20.81/20.83	c Current CPU time: 20.5889 s
20.81/20.83	c
20.81/20.83	c ============================[ Search Statistics ]==============================
20.81/20.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.81/20.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.81/20.83	c ===============================================================================
20.81/20.83	c |         0 |   13747   205832   422575 |    68610        0   -nan |  0.000 % |
20.81/20.86	c |       100 |   13747   205832   422575 |    75471      100     23 | 82.068 % |
20.81/20.89	c |       250 |   13747   205832   422575 |    83018      250     21 | 82.068 % |
20.91/20.93	c |       475 |   13747   205832   422575 |    91320      475     23 | 82.068 % |
20.99/21.00	c |       812 |   13747   205832   422575 |   100452      812     26 | 82.068 % |
20.99/21.09	c |      1318 |   13747   205832   422575 |   110498     1318     25 | 82.068 % |
21.19/21.27	c |      2077 |   13747   205832   422575 |   121547     2077     29 | 82.068 % |
21.39/21.49	c |      3216 |   13644   205832   422575 |   133702     3216     28 | 82.202 % |
21.79/21.82	c |      4925 |   13644   205832   422575 |   147073     4925     32 | 82.202 % |
22.39/22.45	c |      7489 |   13644   205832   422575 |   161780     7489     36 | 82.202 % |
23.29/23.30	c |     11333 |   13644   205832   422575 |   177958    11333     37 | 82.202 % |
24.69/24.78	c |     17099 |   13644   205832   422575 |   195754    17099     40 | 82.202 % |
27.29/27.40	c |     25749 |   13037   205832   422575 |   215329    25749     44 | 82.994 % |
31.59/31.60	c |     38723 |   12705   205832   422575 |   236862    38723     47 | 83.427 % |
31.99/32.04	c ===============================================================================
32.09/32.18	c core #20
32.09/32.18	c 
32.09/32.18	c 
32.09/32.18	c Core size: 765	Core Weight: 1	Total Weight: 110
32.09/32.18	c Current CPU time: 31.8922 s
32.09/32.18	c
32.09/32.18	c ============================[ Search Statistics ]==============================
32.09/32.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.09/32.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
32.09/32.18	c ===============================================================================
32.09/32.18	c |         0 |   14180   206050   423243 |    68683        0   -nan |  0.000 % |
32.19/32.20	c |       100 |   14180   206050   423243 |    75551      100     19 | 81.549 % |
32.19/32.23	c |       250 |   14180   206050   423243 |    83106      250     23 | 81.549 % |
32.19/32.28	c |       477 |   14180   206050   423243 |    91417      477     25 | 81.549 % |
32.29/32.35	c |       816 |   14180   206050   423243 |   100559      816     29 | 81.549 % |
32.39/32.46	c |      1322 |   14180   206050   423243 |   110615     1322     33 | 81.549 % |
32.59/32.60	c |      2082 |   14180   206050   423243 |   121676     2082     32 | 81.549 % |
32.79/32.84	c |      3222 |   14180   206050   423243 |   133844     3222     32 | 81.549 % |
33.09/33.19	c |      4930 |   14180   206050   423243 |   147228     4930     35 | 81.549 % |
33.69/33.78	c |      7493 |   14180   206050   423243 |   161951     7493     35 | 81.549 % |
34.70/34.78	c |     11340 |   14180   206050   423243 |   178146    11340     43 | 81.549 % |
36.21/36.23	c |     17106 |   14180   206050   423243 |   195961    17106     45 | 81.549 % |
38.42/38.45	c |     25755 |   13780   206050   423243 |   215557    25755     44 | 82.069 % |
42.29/42.38	c |     38729 |   13571   206050   423243 |   237113    38729     46 | 82.341 % |
49.89/49.90	c |     58192 |   13571   206050   423243 |   260824    58192     49 | 82.341 % |
64.60/64.61	c |     87385 |   13208   206050   423243 |   286907    87385     51 | 82.841 % |
68.21/68.24	c ===============================================================================
68.40/68.41	c core #21
68.40/68.41	c 
68.40/68.41	c 
68.40/68.41	c Core size: 774	Core Weight: 1	Total Weight: 111
68.40/68.41	c Current CPU time: 68.0227 s
68.40/68.41	c
68.40/68.41	c ============================[ Search Statistics ]==============================
68.40/68.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
68.40/68.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
68.40/68.41	c ===============================================================================
68.40/68.41	c |         0 |   14612   206296   423998 |    68765        0   -nan |  0.000 % |
68.40/68.44	c |       101 |   14612   206296   423998 |    75641      101     28 | 81.034 % |
68.40/68.46	c |       252 |   14612   206296   423998 |    83206      252     22 | 81.034 % |
68.49/68.51	c |       477 |   14612   206296   423998 |    91526      477     26 | 81.034 % |
68.49/68.57	c |       814 |   14612   206296   423998 |   100679      814     28 | 81.034 % |
68.59/68.66	c |      1320 |   14612   206296   423998 |   110747     1320     27 | 81.034 % |
68.79/68.82	c |      2082 |   14612   206296   423998 |   121821     2082     31 | 81.034 % |
68.99/69.07	c |      3221 |   14612   206296   423998 |   134004     3221     37 | 81.034 % |
69.31/69.39	c |      4929 |   14612   206296   423998 |   147404     4929     40 | 81.034 % |
69.89/69.97	c |      7493 |   14612   206296   423998 |   162145     7493     44 | 81.034 % |
70.69/70.80	c |     11337 |   14612   206296   423998 |   178359    11337     42 | 81.034 % |
72.30/72.30	c |     17104 |   14612   206296   423998 |   196195    17104     45 | 81.034 % |
74.81/74.87	c |     25753 |   14612   206296   423998 |   215815    25753     48 | 81.034 % |
78.69/78.72	c |     38727 |   14296   206296   423998 |   237396    38727     49 | 81.444 % |
86.91/86.98	c |     58189 |   13996   206296   423998 |   261136    58189     52 | 81.833 % |
100.49/100.56	c |     87382 |   13996   206296   423998 |   287249    87382     54 | 81.833 % |
128.19/128.28	c |    131172 |   13762   206296   423998 |   315974   131172     56 | 82.264 % |
161.29/161.37	c ===============================================================================
161.49/161.57	c core #22
161.49/161.57	c 
161.49/161.57	c 
161.49/161.57	c Core size: 732	Core Weight: 1	Total Weight: 112
161.49/161.57	c Current CPU time: 160.988 s
161.49/161.57	c
161.49/161.57	c ============================[ Search Statistics ]==============================
161.49/161.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
161.49/161.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
161.49/161.57	c ===============================================================================
161.49/161.57	c |         0 |   15043   206532   424728 |    68844        0   -nan |  0.000 % |
161.49/161.60	c |       102 |   15043   206532   424728 |    75728      102     21 | 80.522 % |
161.61/161.63	c |       253 |   15043   206532   424728 |    83301      253     27 | 80.522 % |
161.61/161.67	c |       478 |   15043   206532   424728 |    91631      478     24 | 80.522 % |
161.71/161.74	c |       815 |   15043   206532   424728 |   100794      815     28 | 80.522 % |
161.79/161.83	c |      1321 |   15043   206532   424728 |   110873     1321     27 | 80.522 % |
161.89/161.96	c |      2080 |   15043   206532   424728 |   121961     2080     28 | 80.522 % |
162.09/162.19	c |      3219 |   15043   206532   424728 |   134157     3219     34 | 80.522 % |
162.49/162.50	c |      4927 |   15043   206532   424728 |   147573     4927     32 | 80.522 % |
163.00/163.06	c |      7489 |   15043   206532   424728 |   162330     7489     33 | 80.522 % |
164.00/164.01	c |     11333 |   15043   206532   424728 |   178563    11333     39 | 80.522 % |
165.29/165.31	c |     17099 |   15043   206532   424728 |   196419    17099     42 | 80.522 % |
167.49/167.56	c |     25748 |   15043   206532   424728 |   216061    25748     41 | 80.522 % |
171.62/171.64	c |     38725 |   14699   206532   424728 |   237668    38725     44 | 80.978 % |
178.79/178.81	c |     58187 |   14691   206532   424728 |   261434    58187     47 | 80.978 % |
190.70/190.72	c |     87379 |   14691   206532   424728 |   287578    87379     50 | 80.978 % |
218.30/218.31	c |    131168 |   14607   206532   424728 |   316336   131168     51 | 81.087 % |
272.50/272.50	c |    196852 |   14607   206532   424728 |   347969   196852     54 | 81.087 % |
393.60/393.63	c |    295378 |   14531   206532   424728 |   382766   295378     57 | 81.185 % |
434.10/434.16	c ===============================================================================
434.42/434.43	c core #23
434.42/434.43	c 
434.42/434.43	c 
434.42/434.43	c Core size: 955	Core Weight: 1	Total Weight: 113
434.42/434.43	c Current CPU time: 433.38 s
434.42/434.43	c
434.42/434.43	c ============================[ Search Statistics ]==============================
434.42/434.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
434.42/434.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
434.42/434.43	c ===============================================================================
434.42/434.43	c |         0 |   15473   206795   425545 |    68931        0   -nan |  0.000 % |
434.42/434.46	c |       100 |   15473   206795   425545 |    75824      100     20 | 80.014 % |
434.42/434.48	c |       251 |   15473   206795   425545 |    83407      251     24 | 80.014 % |
434.52/434.53	c |       477 |   15473   206795   425545 |    91748      477     25 | 80.014 % |
434.52/434.58	c |       814 |   15473   206795   425545 |   100922      814     26 | 80.014 % |
434.60/434.69	c |      1320 |   15473   206795   425545 |   111015     1320     29 | 80.014 % |
434.80/434.86	c |      2079 |   15473   206795   425545 |   122116     2079     35 | 80.014 % |
435.00/435.10	c |      3221 |   15473   206795   425545 |   134328     3221     35 | 80.014 % |
435.40/435.43	c |      4932 |   15473   206795   425545 |   147761     4932     38 | 80.014 % |
435.90/435.98	c |      7494 |   15473   206795   425545 |   162537     7494     37 | 80.014 % |
436.63/436.71	c |     11340 |   15473   206795   425545 |   178790    11340     40 | 80.014 % |
438.00/438.04	c |     17106 |   15473   206795   425545 |   196670    17106     38 | 80.014 % |
440.40/440.46	c |     25755 |   15461   206795   425545 |   216337    25755     40 | 80.029 % |
444.32/444.32	c |     38729 |   15461   206795   425545 |   237970    38729     48 | 80.029 % |
450.70/450.77	c |     58191 |   15461   206795   425545 |   261767    58191     48 | 80.029 % |
463.60/463.62	c |     87383 |   15461   206795   425545 |   287944    87383     50 | 80.029 % |
488.80/488.89	c |    131172 |   15434   206795   425545 |   316739   131172     54 | 80.314 % |
538.21/538.21	c |    196856 |   15231   206795   425545 |   348413   196856     57 | 80.625 % |
646.83/646.82	c |    295385 |   15000   206795   425545 |   383254   295385     60 | 80.625 % |
880.51/880.53	c |    443174 |   14832   206795   425545 |   421579   443174     62 | 80.842 % |
1100.52/1100.52	c |    664857 |   14317   206795   425545 |   463737   207869     59 | 81.507 % |
1120.32/1120.37	c ===============================================================================
1120.84/1120.82	c core #24
1120.84/1120.82	c 
1120.84/1120.82	c 
1120.84/1120.82	c Core size: 943	Core Weight: 1	Total Weight: 114
1120.84/1120.82	c Current CPU time: 1118.74 s
1120.84/1120.82	c
1120.84/1120.82	c ============================[ Search Statistics ]==============================
1120.84/1120.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1120.84/1120.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1120.84/1120.82	c ===============================================================================
1120.84/1120.82	c |         0 |   15881   207085   426434 |    69028        0   -nan |  0.000 % |
1120.84/1120.84	c |       100 |   15881   207085   426434 |    75931      100     21 | 79.536 % |
1120.84/1120.87	c |       251 |   15881   207085   426434 |    83524      251     21 | 79.536 % |
1120.84/1120.92	c |       477 |   15881   207085   426434 |    91876      477     22 | 79.536 % |
1120.94/1120.99	c |       815 |   15881   207085   426434 |   101064      815     29 | 79.536 % |
1121.02/1121.07	c |      1321 |   15881   207085   426434 |   111170     1321     28 | 79.536 % |
1121.22/1121.22	c |      2080 |   15881   207085   426434 |   122287     2080     27 | 79.536 % |
1121.42/1121.47	c |      3221 |   15873   207085   426434 |   134516     3221     31 | 79.547 % |
1121.82/1121.85	c |      4929 |   15873   207085   426434 |   147968     4929     31 | 79.547 % |
1122.52/1122.59	c |      7491 |   15873   207085   426434 |   162765     7491     37 | 79.547 % |
1123.63/1123.64	c |     11336 |   15873   207085   426434 |   179041    11336     38 | 79.547 % |
1125.12/1125.15	c |     17104 |   15873   207085   426434 |   196945    17104     37 | 79.547 % |
1127.44/1127.50	c |     25753 |   15873   207085   426434 |   216640    25753     40 | 79.547 % |
1131.62/1131.65	c |     38727 |   15873   207085   426434 |   238304    38727     41 | 79.547 % |
1138.54/1138.59	c |     58190 |   15873   207085   426434 |   262134    58190     45 | 79.547 % |
1152.92/1152.93	c |     87382 |   15761   207085   426434 |   288348    87382     51 | 79.691 % |
1176.94/1176.95	c |    131171 |   15761   207085   426434 |   317183   131171     52 | 79.691 % |
1223.43/1223.49	c |    196855 |   15761   207085   426434 |   348901   196855     56 | 79.691 % |
1337.55/1337.60	c |    295381 |   15761   207085   426434 |   383791   295381     55 | 79.691 % |
1576.93/1576.92	c |    443172 |   15761   207085   426434 |   422171   443172     57 | 79.691 % |
1774.54/1774.55	c |    664855 |   15761   207085   426434 |   464388   204781     58 | 79.691 % |

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-3461730-1307121218/watcher-3461730-1307121218 -o /tmp/evaluation-result-3461730-1307121218/solver-3461730-1307121218 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461730-1307121218.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.89 2.02 1.99 2/523 32401
/proc/meminfo: memFree=23031308/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=13864 CPUtime=0.01 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 1192 0 0 0 1 0 0 0 25 0 1 0 804537657 14196736 1146 33554432000 4194304 5714214 140735608402320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 3466 1148 221 372 0 1074 0

[startup+0.0458489 s]
/proc/loadavg: 1.89 2.02 1.99 2/523 32401
/proc/meminfo: memFree=23031308/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=18908 CPUtime=0.04 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 2471 0 0 0 4 0 0 0 25 0 1 0 804537657 19361792 2425 33554432000 4194304 5714214 140735608402320 18446744073709551615 4315614 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 4727 2426 313 372 0 2335 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18908

[startup+0.100837 s]
/proc/loadavg: 1.89 2.02 1.99 2/523 32401
/proc/meminfo: memFree=23031308/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=24876 CPUtime=0.09 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 4175 0 0 0 9 0 0 0 25 0 1 0 804537657 25473024 3982 33554432000 4194304 5714214 140735608402320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 6219 3982 499 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24876

[startup+0.300807 s]
/proc/loadavg: 1.89 2.02 1.99 2/523 32401
/proc/meminfo: memFree=23031308/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=33132 CPUtime=0.29 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 6941 0 0 0 29 0 0 0 25 0 1 0 804537657 33927168 6619 33554432000 4194304 5714214 140735608402320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 8283 6619 1167 372 0 5891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33132

[startup+0.700761 s]
/proc/loadavg: 1.89 2.02 1.99 2/523 32401
/proc/meminfo: memFree=23031308/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=83804 CPUtime=0.69 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 22252 0 0 0 67 2 0 0 25 0 1 0 804537657 85815296 19647 33554432000 4194304 5714214 140735608402320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 20951 19657 172 372 0 20576 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83804

[startup+1.50063 s]
/proc/loadavg: 1.89 2.02 1.99 3/527 32408
/proc/meminfo: memFree=22820540/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=113356 CPUtime=1.49 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 34324 0 0 0 146 3 0 0 25 0 1 0 804537657 116076544 27488 33554432000 4194304 5714214 140735608402320 18446744073709551615 4327560 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 28339 27488 176 372 0 27964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 113356

[startup+3.10033 s]
/proc/loadavg: 1.89 2.02 1.99 3/527 32408
/proc/meminfo: memFree=22804216/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=108316 CPUtime=3.09 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 41773 0 0 0 304 5 0 0 19 0 1 0 804537657 110915584 26730 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319193 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 27079 26730 180 372 0 26704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108316

[startup+6.30072 s]
/proc/loadavg: 1.90 2.02 1.99 3/527 32408
/proc/meminfo: memFree=22807664/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=120196 CPUtime=6.29 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 46074 0 0 0 622 7 0 0 21 0 1 0 804537657 123080704 29455 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 30049 29455 180 372 0 29674 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120196

[startup+12.7006 s]
/proc/loadavg: 1.91 2.01 1.99 3/527 32408
/proc/meminfo: memFree=22790004/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=123436 CPUtime=12.69 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 46673 0 0 0 1261 8 0 0 25 0 1 0 804537657 126398464 30054 33554432000 4194304 5714214 140735608402320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 30859 30054 180 372 0 30484 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123436

[startup+25.5003 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 32408
/proc/meminfo: memFree=22781636/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=130700 CPUtime=25.49 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 48477 0 0 0 2536 13 0 0 25 0 1 0 804537657 133836800 31858 33554432000 4194304 5714214 140735608402320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 32675 31858 180 372 0 32300 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 130700

[startup+51.1007 s]
/proc/loadavg: 1.95 2.01 1.99 4/527 32409
/proc/meminfo: memFree=22764304/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=134072 CPUtime=51.09 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 49259 0 0 0 5090 19 0 0 25 0 1 0 804537657 137289728 32640 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 33518 32640 180 372 0 33143 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 134072

[startup+102.32 s]
/proc/loadavg: 1.98 2.01 1.99 3/527 32410
/proc/meminfo: memFree=22715172/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=152584 CPUtime=102.31 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 53759 0 0 0 10203 28 0 0 25 0 1 0 804537657 156246016 37140 33554432000 4194304 5714214 140735608402320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 38146 37140 180 372 0 37771 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 152584

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32412
/proc/meminfo: memFree=22649544/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=187092 CPUtime=162.29 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 62340 0 0 0 16190 39 0 0 25 0 1 0 804537657 191582208 45721 33554432000 4194304 5714214 140735608402320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 46773 45721 180 372 0 46398 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 187092

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32414
/proc/meminfo: memFree=22649720/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=187092 CPUtime=222.29 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 62357 0 0 0 22179 50 0 0 25 0 1 0 804537657 191582208 45738 33554432000 4194304 5714214 140735608402320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 46773 45738 180 372 0 46398 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 187092

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32415
/proc/meminfo: memFree=22629852/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=187092 CPUtime=282.3 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 62358 0 0 0 28172 58 0 0 25 0 1 0 804537657 191582208 45739 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 46773 45739 180 372 0 46398 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 187092

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32417
/proc/meminfo: memFree=22598316/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=192736 CPUtime=342.3 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 64138 0 0 0 34164 66 0 0 25 0 1 0 804537657 197361664 47519 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 48184 47519 180 372 0 47809 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 192736

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32418
/proc/meminfo: memFree=22562072/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=211312 CPUtime=402.3 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 68719 0 0 0 40155 75 0 0 25 0 1 0 804537657 216383488 52100 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 52828 52100 180 372 0 52453 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 211312

[startup+462.301 s]
/proc/loadavg: 2.14 2.03 2.00 3/527 32420
/proc/meminfo: memFree=22510576/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=247944 CPUtime=462.31 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 78052 0 0 0 46144 87 0 0 25 0 1 0 804537657 253894656 60796 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 61986 60796 180 372 0 61611 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 247944

[startup+522.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/527 32422
/proc/meminfo: memFree=22493812/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=247944 CPUtime=522.3 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 78069 0 0 0 52136 94 0 0 25 0 1 0 804537657 253894656 60813 33554432000 4194304 5714214 140735608402320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 61986 60813 180 372 0 61611 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 247944

[startup+582.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/527 32423
/proc/meminfo: memFree=22485328/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=247944 CPUtime=582.31 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 78183 0 0 0 58130 101 0 0 25 0 1 0 804537657 253894656 60927 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 61986 60927 180 372 0 61611 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 247944

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 32433
/proc/meminfo: memFree=22465652/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=263764 CPUtime=822.31 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 82355 0 0 0 82104 127 0 0 25 0 1 0 804537657 270094336 65099 33554432000 4194304 5714214 140735608402320 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 65941 65099 180 372 0 65566 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 263764

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32434
/proc/meminfo: memFree=22437472/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=278008 CPUtime=882.31 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 85741 0 0 0 88097 134 0 0 25 0 1 0 804537657 284680192 68485 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 69502 68485 180 372 0 69127 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 278008

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32436
/proc/meminfo: memFree=22406940/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=292840 CPUtime=942.32 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 89017 0 0 0 94090 142 0 0 25 0 1 0 804537657 299868160 71761 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 73210 71761 180 372 0 72835 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 292840

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/527 32437
/proc/meminfo: memFree=22383348/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=297180 CPUtime=1002.32 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 90083 0 0 0 100083 149 0 0 25 0 1 0 804537657 304312320 72827 33554432000 4194304 5714214 140735608402320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 74295 72827 180 372 0 73920 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 297180

[startup+1062.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/527 32439
/proc/meminfo: memFree=22366700/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=297468 CPUtime=1062.32 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 90152 0 0 0 106072 160 0 0 25 0 1 0 804537657 304607232 72896 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 74367 72896 180 372 0 73992 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 297468

[startup+1122.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/527 32441
/proc/meminfo: memFree=22338880/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1122.32 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 93764 0 0 0 112066 166 0 0 25 0 1 0 804537657 315473920 75559 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75559 180 372 0 76645 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 308080

[startup+1182.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/527 32442
/proc/meminfo: memFree=22324800/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1182.33 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 93773 0 0 0 118056 177 0 0 25 0 1 0 804537657 315473920 75568 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75568 180 372 0 76645 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 308080

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/527 32444
/proc/meminfo: memFree=22324600/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1242.32 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 93777 0 0 0 124047 185 0 0 25 0 1 0 804537657 315473920 75572 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319882 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75572 180 372 0 76645 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 308080

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 32445
/proc/meminfo: memFree=22322816/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1302.35 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 93782 0 0 0 130044 191 0 0 25 0 1 0 804537657 315473920 75577 33554432000 4194304 5714214 140735608402320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75577 180 372 0 76645 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 308080

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 32447
/proc/meminfo: memFree=22324752/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1362.33 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 93786 0 0 0 136036 197 0 0 25 0 1 0 804537657 315473920 75581 33554432000 4194304 5714214 140735608402320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75581 180 372 0 76645 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 308080

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 32449
/proc/meminfo: memFree=22324208/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1422.35 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 93794 0 0 0 142033 202 0 0 25 0 1 0 804537657 315473920 75589 33554432000 4194304 5714214 140735608402320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75589 180 372 0 76645 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 308080

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32450
/proc/meminfo: memFree=22323552/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1482.33 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 93809 0 0 0 148026 207 0 0 25 0 1 0 804537657 315473920 75604 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75604 180 372 0 76645 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 308080

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32452
/proc/meminfo: memFree=22323880/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1542.33 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 93831 0 0 0 154020 213 0 0 25 0 1 0 804537657 315473920 75626 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75626 180 372 0 76645 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 308080

[startup+1602.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/527 32453
/proc/meminfo: memFree=22323212/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1602.33 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 93868 0 0 0 160016 217 0 0 25 0 1 0 804537657 315473920 75663 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75663 180 372 0 76645 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 308080

[startup+1662.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/527 32455
/proc/meminfo: memFree=22315736/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1662.34 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 94018 0 0 0 166012 222 0 0 25 0 1 0 804537657 315473920 75813 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319297 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75813 180 372 0 76645 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 308080

[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/527 32457
/proc/meminfo: memFree=22303680/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1722.34 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 94018 0 0 0 172003 231 0 0 25 0 1 0 804537657 315473920 75813 33554432000 4194304 5714214 140735608402320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75813 180 372 0 76645 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 308080

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/527 32458
/proc/meminfo: memFree=22287156/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1782.34 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 94018 0 0 0 177997 237 0 0 25 0 1 0 804537657 315473920 75813 33554432000 4194304 5714214 140735608402320 18446744073709551615 4320074 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75813 180 372 0 76645 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 308080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.05 2.01 3/527 32459
/proc/meminfo: memFree=22283428/32951124 swapFree=64303760/67111528
[pid=32401] ppid=32399 vsize=308080 CPUtime=1800.06 cores=0,2,4,6
/proc/32401/stat : 32401 (wbo1.6) R 32399 32401 23633 0 -1 4202496 94018 0 0 0 179766 240 0 0 25 0 1 0 804537657 315473920 75813 33554432000 4194304 5714214 140735608402320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/32401/statm: 77020 75813 180 372 0 76645 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 308080

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.04
CPU time (s): 1800.08
CPU user time (s): 1797.67
CPU system time (s): 2.41663
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 313552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.67
system time used= 2.41663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94018
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= 13
involuntary context switches= 2306

runsolver used 9.93249 second user time and 21.1948 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-03 19:13:38
IDJOB=3461730
IDBENCH=77411
IDSOLVER=1953
FILE ID=node145/3461730-1307121218
RUNJOBID= node145-1307117613-32167
PBS_JOBID= 13498004
Free space on /tmp= 73948 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_10.std.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461730-1307121218/watcher-3461730-1307121218 -o /tmp/evaluation-result-3461730-1307121218/solver-3461730-1307121218 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461730-1307121218.opb

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

MD5SUM BENCH= 3a741555d430d0ca416ea4853bc85581
RANDOM SEED=617340118

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.83
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23031836 kB
Buffers:        240332 kB
Cached:         421900 kB
SwapCached:        944 kB
Active:        9342288 kB
Inactive:       308176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23031836 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:           14004 kB
Writeback:          60 kB
AnonPages:     8986988 kB
Mapped:          33856 kB
Slab:           134316 kB
PageTables:      65868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153208108 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= 73932 MiB
End job on node145 at 2011-06-03 19:43:40