Trace number 3460953

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
MD5SUM308ce6e771b8240fefc971d6e27a7575
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark151
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 142
Optimality of the best value was proved NO
Number of variables3297
Total number of constraints6383
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 constraints6383
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1411
Number of bits of the biggest sum of numbers11
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-3460953-1307100476.opb.
0.00/0.00	c Instance file HOME/instance-3460953-1307100476.opb
0.00/0.00	c File size is 1531615 bytes.
0.09/0.10	c Highest Coefficient sum: 1411
0.09/0.10	c ============================[ Problem Statistics ]=============================
0.09/0.10	c |                                                                             |
0.09/0.10	c |  Parsing time:          0.11         s                                      |
0.09/0.10	c |  Number Variables:      3297                                                |
0.09/0.10	c |  Number Clauses:        0                                                   |
0.09/0.10	c |  Number Cardinality:    0                                                   |
0.09/0.10	c |  Number PB Constraints: 6383                                                |
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    3297     6383   190034 |     5000        0   -nan |  0.000 % |
0.19/0.24	c core #1
0.19/0.24	c 
0.19/0.24	c 
0.19/0.24	c Core size: 9	Core Weight: 1	Total Weight: 1
0.19/0.24	c Current CPU time: 0.150977 s
0.19/0.24	c
0.19/0.24	c core #2
0.19/0.24	c 
0.19/0.24	c 
0.19/0.24	c Core size: 11	Core Weight: 1	Total Weight: 2
0.19/0.24	c Current CPU time: 0.19097 s
0.19/0.24	c
0.19/0.24	c ============================[ Search Statistics ]==============================
0.19/0.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.24	c ===============================================================================
0.19/0.24	c |         0 |    3228     6406   190055 |     5000        0   -nan |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.29	c core #3
0.19/0.29	c 
0.19/0.29	c 
0.19/0.29	c Core size: 15	Core Weight: 1	Total Weight: 3
0.19/0.29	c Current CPU time: 0.238963 s
0.19/0.29	c
0.19/0.29	c ============================[ Search Statistics ]==============================
0.19/0.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.29	c ===============================================================================
0.19/0.29	c |         0 |    3236     6413   190065 |     5000        0   -nan |  0.000 % |
0.19/0.29	c ===============================================================================
0.29/0.34	c core #4
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 14	Core Weight: 1	Total Weight: 4
0.29/0.34	c Current CPU time: 0.287956 s
0.29/0.34	c
0.29/0.34	c ============================[ Search Statistics ]==============================
0.29/0.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |    3256     6419   190079 |     5000        0   -nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.39	c core #5
0.29/0.39	c 
0.29/0.39	c 
0.29/0.39	c Core size: 16	Core Weight: 1	Total Weight: 5
0.29/0.39	c Current CPU time: 0.341948 s
0.29/0.39	c
0.29/0.39	c ============================[ Search Statistics ]==============================
0.29/0.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.39	c ===============================================================================
0.29/0.39	c |         0 |    3266     6425   190094 |     5000        0   -nan |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.46	c core #6
0.39/0.46	c 
0.39/0.46	c 
0.39/0.46	c Core size: 15	Core Weight: 3	Total Weight: 8
0.39/0.46	c Current CPU time: 0.405938 s
0.39/0.46	c
0.39/0.46	c ============================[ Search Statistics ]==============================
0.39/0.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |    3285     6430   190111 |     5000        0   -nan |  0.000 % |
0.39/0.48	c ===============================================================================
0.49/0.53	c core #7
0.49/0.53	c 
0.49/0.53	c 
0.49/0.53	c Core size: 19	Core Weight: 1	Total Weight: 9
0.49/0.53	c Current CPU time: 0.478927 s
0.49/0.53	c
0.49/0.53	c ============================[ Search Statistics ]==============================
0.49/0.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.53	c ===============================================================================
0.49/0.53	c |         0 |    3296     6435   190129 |     5000        0   -nan |  0.000 % |
0.49/0.58	c ===============================================================================
0.59/0.63	c core #8
0.59/0.63	c 
0.59/0.63	c 
0.59/0.63	c Core size: 18	Core Weight: 1	Total Weight: 10
0.59/0.63	c Current CPU time: 0.578911 s
0.59/0.63	c
0.59/0.63	c ============================[ Search Statistics ]==============================
0.59/0.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.63	c ===============================================================================
0.59/0.63	c |         0 |    3308     6440   190149 |     5000        0   -nan |  0.000 % |
0.69/0.75	c |       101 |    3308     6440   190149 |     5500      101     21 |  1.665 % |
0.79/0.88	c |       251 |    3307     6440   190149 |     6050      251     21 |  1.695 % |
0.89/0.93	c ===============================================================================
0.89/0.98	c core #9
0.89/0.98	c 
0.89/0.98	c 
0.89/0.98	c Core size: 15	Core Weight: 6	Total Weight: 16
0.89/0.98	c Current CPU time: 0.930858 s
0.89/0.98	c
0.89/0.98	c ============================[ Search Statistics ]==============================
0.89/0.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.98	c ===============================================================================
0.89/0.98	c |         0 |    3326     6444   190171 |     5000        0   -nan |  0.000 % |
1.00/1.11	c |       100 |    3326     6444   190171 |     5500      100     23 |  1.248 % |
1.19/1.27	c |       250 |    3312     6444   190171 |     6050      250     25 |  4.157 % |
1.19/1.29	c ===============================================================================
1.29/1.34	c core #10
1.29/1.34	c 
1.29/1.34	c 
1.29/1.34	c Core size: 35	Core Weight: 1	Total Weight: 17
1.29/1.34	c Current CPU time: 1.2848 s
1.29/1.34	c
1.29/1.34	c ============================[ Search Statistics ]==============================
1.29/1.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.34	c ===============================================================================
1.29/1.34	c |         0 |    3339     6450   190198 |     5000        0   -nan |  0.000 % |
1.39/1.47	c |       101 |    3339     6450   190198 |     5500      101     22 |  1.242 % |
1.59/1.63	c |       251 |    3339     6450   190198 |     6050      251     26 |  1.242 % |
1.89/1.90	c |       476 |    3339     6450   190198 |     6655      476     26 |  1.242 % |
2.29/2.33	c |       815 |    3331     6450   190198 |     7320      815     27 |  1.720 % |
2.29/2.36	c ===============================================================================
2.39/2.41	c core #11
2.39/2.41	c 
2.39/2.41	c 
2.39/2.41	c Core size: 37	Core Weight: 1	Total Weight: 18
2.39/2.41	c Current CPU time: 2.35764 s
2.39/2.41	c
2.39/2.41	c ============================[ Search Statistics ]==============================
2.39/2.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.41	c ===============================================================================
2.39/2.41	c |         0 |    3351     6456   190223 |     5000        0   -nan |  0.000 % |
2.49/2.53	c |       101 |    3351     6456   190223 |     5500      101     22 |  1.238 % |
2.59/2.69	c |       252 |    3351     6456   190223 |     6050      252     24 |  1.238 % |
2.79/2.89	c |       477 |    3351     6456   190223 |     6655      477     25 |  1.238 % |
3.09/3.19	c |       814 |    3351     6456   190223 |     7320      814     27 |  1.238 % |
3.59/3.67	c |      1321 |    3351     6456   190223 |     8052     1321     28 |  1.238 % |
4.30/4.35	c |      2080 |    3328     6456   190223 |     8857     2080     29 |  1.916 % |
4.59/4.61	c ===============================================================================
4.59/4.66	c core #12
4.59/4.66	c 
4.59/4.66	c 
4.59/4.66	c Core size: 26	Core Weight: 1	Total Weight: 19
4.59/4.66	c Current CPU time: 4.5993 s
4.59/4.66	c
4.59/4.66	c ============================[ Search Statistics ]==============================
4.59/4.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.66	c ===============================================================================
4.59/4.66	c |         0 |    3356     6460   190230 |     5000        0   -nan |  0.000 % |
4.69/4.78	c |       100 |    3356     6460   190230 |     5500      100     22 |  1.236 % |
4.89/4.95	c |       250 |    3356     6460   190230 |     6050      250     27 |  1.236 % |
5.09/5.17	c |       476 |    3356     6460   190230 |     6655      476     26 |  1.236 % |
5.40/5.47	c |       814 |    3356     6460   190230 |     7320      814     28 |  1.236 % |
5.99/6.02	c |      1322 |    3356     6460   190230 |     8052     1322     28 |  1.236 % |
6.61/6.69	c |      2081 |    3356     6460   190230 |     8857     2081     30 |  1.236 % |
7.71/7.72	c |      3221 |    3341     6460   190230 |     9743     3221     31 |  1.707 % |
7.79/7.84	c ===============================================================================
7.79/7.89	c core #13
7.79/7.89	c 
7.79/7.89	c 
7.79/7.89	c Core size: 44	Core Weight: 1	Total Weight: 20
7.79/7.89	c Current CPU time: 7.82081 s
7.79/7.89	c
7.79/7.89	c ============================[ Search Statistics ]==============================
7.79/7.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.79/7.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.79/7.89	c ===============================================================================
7.79/7.89	c |         0 |    3371     6464   190257 |     5000        0   -nan |  0.000 % |
7.99/8.02	c |       101 |    3371     6464   190257 |     5500      101     28 |  1.231 % |
8.09/8.19	c |       252 |    3371     6464   190257 |     6050      252     30 |  1.231 % |
8.39/8.40	c |       478 |    3371     6464   190257 |     6655      478     30 |  1.231 % |
8.59/8.65	c |       816 |    3371     6464   190257 |     7320      816     30 |  1.231 % |
9.09/9.11	c |      1324 |    3364     6464   190257 |     8052     1324     30 |  1.436 % |
9.69/9.78	c |      2083 |    3364     6464   190257 |     8857     2083     30 |  1.436 % |
10.59/10.65	c |      3224 |    3358     6464   190257 |     9743     3224     30 |  1.671 % |
11.29/11.37	c ===============================================================================
11.39/11.42	c core #14
11.39/11.42	c 
11.39/11.42	c 
11.39/11.42	c Core size: 29	Core Weight: 12	Total Weight: 32
11.39/11.42	c Current CPU time: 11.3463 s
11.39/11.42	c
11.39/11.42	c ============================[ Search Statistics ]==============================
11.39/11.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.39/11.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.39/11.42	c ===============================================================================
11.39/11.42	c |         0 |    3388     6467   190288 |     5000        0   -nan |  0.000 % |
11.49/11.56	c |       100 |    3388     6467   190288 |     5500      100     21 |  0.820 % |
11.69/11.73	c |       250 |    3382     6467   190288 |     6050      250     23 |  1.200 % |
11.89/11.96	c |       476 |    3381     6467   190288 |     6655      476     25 |  1.200 % |
12.19/12.24	c |       813 |    3379     6467   190288 |     7320      813     25 |  1.288 % |
12.69/12.70	c |      1320 |    3372     6467   190288 |     8052     1320     26 |  1.288 % |
13.39/13.47	c |      2079 |    3372     6467   190288 |     8857     2079     28 |  1.288 % |
14.79/14.89	c |      3220 |    3372     6467   190288 |     9743     3220     30 |  1.288 % |
16.40/16.42	c |      4929 |    3371     6467   190288 |    10717     4929     31 |  1.317 % |
18.89/18.92	c |      7492 |    3351     6467   190288 |    11789     7492     34 | 22.131 % |
18.89/18.95	c ===============================================================================
18.99/19.01	c core #15
18.99/19.01	c 
18.99/19.01	c 
18.99/19.01	c Core size: 56	Core Weight: 1	Total Weight: 33
18.99/19.01	c Current CPU time: 18.9201 s
18.99/19.01	c
18.99/19.01	c ============================[ Search Statistics ]==============================
18.99/19.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.99/19.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.99/19.01	c ===============================================================================
18.99/19.01	c |         0 |    3421     6472   190356 |     5000        0   -nan |  0.000 % |
19.09/19.14	c |       101 |    3421     6472   190356 |     5500      101     23 |  0.812 % |
19.29/19.31	c |       253 |    3421     6472   190356 |     6050      253     23 |  0.812 % |
19.59/19.68	c |       478 |    3421     6472   190356 |     6655      478     27 |  0.812 % |
20.09/20.10	c |       817 |    3421     6472   190356 |     7320      817     31 |  0.812 % |
20.59/20.69	c |      1323 |    3421     6472   190356 |     8052     1323     32 |  0.812 % |
21.39/21.43	c |      2084 |    3421     6472   190356 |     8857     2084     32 |  0.812 % |
22.39/22.41	c |      3224 |    3421     6472   190356 |     9743     3224     31 |  0.812 % |
23.99/24.06	c |      4932 |    3412     6472   190356 |    10717     4932     32 |  1.073 % |
25.99/26.03	c |      7494 |    3411     6472   190356 |    11789     7494     31 |  1.102 % |
28.39/28.51	c |     11338 |    3411     6472   190356 |    12968    11338     30 |  1.102 % |
30.49/30.58	c ===============================================================================
30.59/30.64	c core #16
30.59/30.64	c 
30.59/30.64	c 
30.59/30.64	c Core size: 25	Core Weight: 1	Total Weight: 34
30.59/30.64	c Current CPU time: 30.5214 s
30.59/30.64	c
30.59/30.64	c ============================[ Search Statistics ]==============================
30.59/30.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.59/30.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.59/30.64	c ===============================================================================
30.59/30.64	c |         0 |    3428     6478   190374 |     5000        0   -nan |  0.000 % |
30.70/30.78	c |       100 |    3428     6478   190374 |     5500      100     22 |  0.810 % |
30.89/30.94	c |       252 |    3428     6478   190374 |     6050      252     24 |  0.810 % |
31.09/31.10	c |       478 |    3428     6478   190374 |     6655      478     25 |  0.810 % |
31.29/31.37	c |       816 |    3428     6478   190374 |     7320      816     25 |  0.810 % |
31.80/31.83	c |      1322 |    3428     6478   190374 |     8052     1322     27 |  0.810 % |
32.30/32.38	c |      2081 |    3428     6478   190374 |     8857     2081     28 |  0.810 % |
33.39/33.44	c |      3220 |    3428     6478   190374 |     9743     3220     30 |  0.810 % |
34.99/35.09	c |      4928 |    3428     6478   190374 |    10717     4928     30 |  0.810 % |
37.49/37.51	c |      7491 |    3428     6478   190374 |    11789     7491     30 |  0.811 % |
41.89/41.93	c |     11336 |    3428     6478   190374 |    12968    11336     31 |  0.810 % |
47.09/47.11	c |     17102 |    3428     6478   190374 |    14265    10546     33 |  0.810 % |
52.49/52.54	c ===============================================================================
52.59/52.61	c core #17
52.59/52.61	c 
52.59/52.61	c 
52.59/52.61	c Core size: 34	Core Weight: 1	Total Weight: 35
52.59/52.61	c Current CPU time: 52.442 s
52.59/52.61	c
52.59/52.61	c ============================[ Search Statistics ]==============================
52.59/52.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
52.59/52.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
52.59/52.61	c ===============================================================================
52.59/52.61	c |         0 |    3444     6484   190410 |     5000        0   -nan |  0.000 % |
52.59/52.70	c |       100 |    3444     6484   190410 |     5500      100     23 |  0.806 % |
52.81/52.85	c |       251 |    3444     6484   190410 |     6050      251     20 |  0.806 % |
53.09/53.12	c |       476 |    3444     6484   190410 |     6655      476     24 |  0.806 % |
53.29/53.34	c |       814 |    3444     6484   190410 |     7320      814     24 |  0.807 % |
53.69/53.76	c |      1320 |    3444     6484   190410 |     8052     1320     25 |  0.806 % |
54.39/54.41	c |      2079 |    3444     6484   190410 |     8857     2079     27 |  0.806 % |
55.49/55.59	c |      3218 |    3444     6484   190410 |     9743     3218     29 |  0.806 % |
57.00/57.06	c |      4928 |    3444     6484   190410 |    10717     4928     30 |  0.806 % |
59.27/59.36	c |      7490 |    3444     6484   190410 |    11789     7490     30 |  0.806 % |
62.32/62.47	c |     11335 |    3431     6484   190410 |    12968    11335     31 |  1.181 % |
63.22/63.39	c ===============================================================================
63.32/63.45	c core #18
63.32/63.45	c 
63.32/63.45	c 
63.32/63.45	c Core size: 24	Core Weight: 1	Total Weight: 36
63.32/63.45	c Current CPU time: 63.2094 s
63.32/63.45	c
63.32/63.45	c ============================[ Search Statistics ]==============================
63.32/63.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.32/63.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
63.32/63.45	c ===============================================================================
63.32/63.45	c |         0 |    3456     6489   190436 |     5000        0   -nan |  0.000 % |
63.43/63.53	c |       100 |    3456     6489   190436 |     5500      100     24 |  0.804 % |
63.53/63.70	c |       250 |    3456     6489   190436 |     6050      250     22 |  0.804 % |
63.93/64.03	c |       476 |    3456     6489   190436 |     6655      476     25 |  0.804 % |
64.23/64.38	c |       815 |    3456     6489   190436 |     7320      815     25 |  0.804 % |
64.63/64.81	c |      1322 |    3456     6489   190436 |     8052     1322     26 |  0.804 % |
65.53/65.64	c |      2081 |    3456     6489   190436 |     8857     2081     27 |  0.804 % |
66.53/66.64	c |      3220 |    3456     6489   190436 |     9743     3220     28 |  0.804 % |
68.53/68.62	c |      4928 |    3456     6489   190436 |    10717     4928     29 |  0.804 % |
71.12/71.25	c |      7493 |    3456     6489   190436 |    11789     7493     30 |  0.804 % |
75.03/75.19	c |     11338 |    3456     6489   190436 |    12968    11338     34 |  0.804 % |
81.42/81.53	c |     17104 |    3456     6489   190436 |    14265    10493     36 |  0.804 % |
89.53/89.62	c |     25753 |    3449     6489   190436 |    15692    11960     35 |  1.005 % |
102.03/102.17	c ===============================================================================
102.14/102.25	c core #19
102.14/102.25	c 
102.14/102.25	c 
102.14/102.25	c Core size: 22	Core Weight: 2	Total Weight: 38
102.14/102.25	c Current CPU time: 101.953 s
102.14/102.25	c
102.14/102.25	c ============================[ Search Statistics ]==============================
102.14/102.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
102.14/102.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
102.14/102.25	c ===============================================================================
102.14/102.25	c |         0 |    3460     6492   190442 |     5000        0   -nan |  0.000 % |
102.24/102.34	c |       100 |    3460     6492   190442 |     5500      100     22 |  0.803 % |
102.43/102.51	c |       250 |    3460     6492   190442 |     6050      250     26 |  0.803 % |
102.63/102.71	c |       475 |    3460     6492   190442 |     6655      475     28 |  0.803 % |
102.93/103.06	c |       812 |    3460     6492   190442 |     7320      812     27 |  0.803 % |
103.42/103.50	c |      1319 |    3460     6492   190442 |     8052     1319     26 |  0.803 % |
103.93/104.07	c |      2079 |    3460     6492   190442 |     8857     2079     26 |  0.803 % |
105.23/105.38	c |      3218 |    3460     6492   190442 |     9743     3218     28 |  0.803 % |
106.54/106.64	c |      4926 |    3460     6492   190442 |    10717     4926     29 |  0.803 % |
107.74/107.87	c |      7488 |    3460     6492   190442 |    11789     7488     28 |  0.803 % |
111.23/111.33	c |     11332 |    3460     6492   190442 |    12968    11332     30 |  0.803 % |
116.63/116.72	c |     17098 |    3460     6492   190442 |    14265    10505     32 |  0.803 % |
123.43/123.57	c |     25747 |    3460     6492   190442 |    15692    11838     30 |  0.803 % |
133.82/133.94	c |     38722 |    3460     6492   190442 |    17261     8624     32 |  0.803 % |
148.63/148.76	c |     58184 |    3460     6492   190442 |    18987    10578     31 |  0.803 % |
150.43/150.50	c ===============================================================================
150.43/150.58	c core #20
150.43/150.58	c 
150.43/150.58	c 
150.43/150.58	c Core size: 22	Core Weight: 1	Total Weight: 39
150.43/150.58	c Current CPU time: 150.162 s
150.43/150.58	c
150.43/150.58	c ============================[ Search Statistics ]==============================
150.43/150.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
150.43/150.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
150.43/150.58	c ===============================================================================
150.43/150.58	c |         0 |    3469     6495   190458 |     5000        0   -nan |  0.000 % |
150.54/150.70	c |       100 |    3469     6495   190458 |     5500      100     29 |  0.801 % |
150.73/150.81	c |       251 |    3469     6495   190458 |     6050      251     24 |  0.801 % |
151.03/151.11	c |       476 |    3469     6495   190458 |     6655      476     29 |  0.801 % |
151.53/151.64	c |       813 |    3469     6495   190458 |     7320      813     32 |  0.801 % |
151.93/152.08	c |      1319 |    3469     6495   190458 |     8052     1319     31 |  0.801 % |
152.63/152.75	c |      2079 |    3469     6495   190458 |     8857     2079     30 |  0.801 % |
153.53/153.63	c |      3219 |    3469     6495   190458 |     9743     3219     29 |  0.801 % |
154.72/154.80	c |      4927 |    3469     6495   190458 |    10717     4927     28 |  0.801 % |
156.33/156.40	c |      7489 |    3469     6495   190458 |    11789     7489     29 |  0.801 % |
159.83/159.91	c |     11334 |    3469     6495   190458 |    12968    11334     30 |  0.801 % |
164.83/164.94	c |     17100 |    3469     6495   190458 |    14265    10420     32 |  0.801 % |
172.33/172.49	c |     25749 |    3431     6495   190458 |    15692    11881     30 |  1.887 % |
185.53/185.66	c |     38723 |    3431     6495   190458 |    17261     8410     33 |  1.887 % |
201.33/201.43	c |     58184 |    3431     6495   190458 |    18987    10284     31 |  1.887 % |
228.33/228.44	c |     87376 |    3431     6495   190458 |    20886    10385     34 |  1.887 % |
235.03/235.16	c ===============================================================================
235.13/235.25	c core #21
235.13/235.25	c 
235.13/235.25	c 
235.13/235.25	c Core size: 27	Core Weight: 1	Total Weight: 40
235.13/235.25	c Current CPU time: 234.648 s
235.13/235.25	c
235.13/235.25	c ============================[ Search Statistics ]==============================
235.13/235.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.13/235.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
235.13/235.25	c ===============================================================================
235.13/235.25	c |         0 |    3480     6498   190478 |     5000        0   -nan |  0.000 % |
235.24/235.38	c |       103 |    3480     6498   190478 |     5500      103     29 |  0.798 % |
235.35/235.49	c |       256 |    3480     6498   190478 |     6050      256     24 |  0.798 % |
235.53/235.62	c |       481 |    3480     6498   190478 |     6655      481     23 |  0.798 % |
235.73/235.86	c |       818 |    3480     6498   190478 |     7320      818     23 |  0.798 % |
236.34/236.44	c |      1324 |    3480     6498   190478 |     8052     1324     26 |  0.798 % |
236.73/236.87	c |      2083 |    3480     6498   190478 |     8857     2083     27 |  0.798 % |
237.44/237.57	c |      3222 |    3480     6498   190478 |     9743     3222     28 |  0.798 % |
239.03/239.12	c |      4934 |    3480     6498   190478 |    10717     4934     29 |  0.798 % |
240.74/240.85	c |      7497 |    3480     6498   190478 |    11789     7497     29 |  0.798 % |
245.03/245.21	c |     11342 |    3480     6498   190478 |    12968    11342     30 |  0.798 % |
251.74/251.90	c |     17108 |    3480     6498   190478 |    14265    10421     32 |  0.798 % |
262.43/262.52	c |     25757 |    3480     6498   190478 |    15692    11592     36 |  0.798 % |
277.23/277.39	c |     38733 |    3480     6498   190478 |    17261     8433     36 |  0.798 % |
290.43/290.50	c |     58194 |    3480     6498   190478 |    18987    10302     33 |  0.799 % |
318.03/318.16	c |     87386 |    3480     6498   190478 |    20886    19871     33 |  0.798 % |
346.24/346.35	c |    131176 |    3480     6498   190478 |    22974    10985     31 |  0.798 % |
393.83/393.94	c |    196862 |    3480     6498   190478 |    25272    17940     31 |  0.798 % |
464.64/464.71	c |    295388 |    3480     6498   190478 |    27799    20503     35 |  0.798 % |
574.05/574.12	c |    443178 |    3479     6498   190478 |    30579    21664     33 |  0.827 % |
752.26/752.37	c |    664862 |    3439     6498   190478 |    33637    18377     31 |  1.967 % |
848.06/848.12	c ===============================================================================
848.36/848.47	c core #22
848.36/848.47	c 
848.36/848.47	c 
848.36/848.47	c Core size: 19	Core Weight: 24	Total Weight: 64
848.36/848.47	c Current CPU time: 846.642 s
848.36/848.47	c
848.36/848.47	c ============================[ Search Statistics ]==============================
848.36/848.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
848.36/848.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
848.36/848.47	c ===============================================================================
848.36/848.47	c |         0 |    3496     6500   190524 |     5000        0   -nan |  0.000 % |
848.46/848.59	c |       102 |    3496     6500   190524 |     5500      102     28 |  0.399 % |
848.66/848.74	c |       254 |    3484     6500   190524 |     6050      254     26 |  0.769 % |
848.86/848.96	c |       479 |    3484     6500   190524 |     6655      479     28 |  0.769 % |
849.17/849.23	c |       818 |    3484     6500   190524 |     7320      818     27 |  0.769 % |
849.56/849.65	c |      1325 |    3483     6500   190524 |     8052     1325     28 |  0.769 % |
849.95/850.09	c |      2084 |    3483     6500   190524 |     8857     2084     27 |  0.769 % |
851.37/851.42	c |      3223 |    3483     6500   190524 |     9743     3223     30 |  0.769 % |
852.65/852.76	c |      4932 |    3483     6500   190524 |    10717     4932     32 |  0.769 % |
854.36/854.42	c |      7494 |    3483     6500   190524 |    11789     7494     31 |  0.769 % |
856.65/856.75	c |     11339 |    3483     6500   190524 |    12968    11339     32 |  0.769 % |
860.65/860.78	c |     17106 |    3483     6500   190524 |    14265    10553     34 |  0.769 % |
867.65/867.70	c |     25756 |    3483     6500   190524 |    15692    11993     36 |  0.769 % |
877.26/877.34	c |     38730 |    3483     6500   190524 |    17261     8556     40 |  0.769 % |
890.16/890.22	c |     58192 |    3483     6500   190524 |    18987    10120     39 |  0.769 % |
913.25/913.30	c |     87387 |    3483     6500   190524 |    20886    10197     40 |  0.769 % |
947.66/947.71	c |    131176 |    3483     6500   190524 |    22974    11385     43 |  0.769 % |
1002.26/1002.36	c |    196860 |    3483     6500   190524 |    25272    17797     42 |  0.769 % |
1078.46/1078.51	c |    295386 |    3483     6500   190524 |    27799    19546     46 |  0.769 % |
1199.76/1199.87	c |    443176 |    3483     6500   190524 |    30579    22478     39 |  0.769 % |
1393.77/1393.83	c |    664860 |    3483     6500   190524 |    33637    22016     48 |  0.769 % |
1682.28/1682.34	c |    997385 |    3474     6500   190524 |    37001    12692     43 |  1.026 % |

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-3460953-1307100476/watcher-3460953-1307100476 -o /tmp/evaluation-result-3460953-1307100476/solver-3460953-1307100476 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460953-1307100476.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.00 2.02 2.00 2/455 16982
/proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=4260 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 802463523 4362240 452 33554432000 4194304 5714214 140736883457072 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 1065 452 193 372 0 316 0

[startup+0.0309759 s]
/proc/loadavg: 2.00 2.02 2.00 2/455 16982
/proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=6292 CPUtime=0.02 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 1083 0 0 0 2 0 0 0 25 0 1 0 802463523 6443008 1036 33554432000 4194304 5714214 140736883457072 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 1573 1036 266 372 0 824 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6292

[startup+0.100969 s]
/proc/loadavg: 2.00 2.02 2.00 2/455 16982
/proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=13444 CPUtime=0.09 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 3095 0 0 0 9 0 0 0 25 0 1 0 802463523 13766656 3048 33554432000 4194304 5714214 140736883457072 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 3361 3048 507 372 0 2612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13444

[startup+0.300932 s]
/proc/loadavg: 2.00 2.02 2.00 2/455 16982
/proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=26528 CPUtime=0.29 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 6802 0 0 0 29 0 0 0 25 0 1 0 802463523 27164672 6381 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 6632 6381 179 372 0 6257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26528

[startup+0.700857 s]
/proc/loadavg: 2.00 2.02 2.00 2/455 16982
/proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=30784 CPUtime=0.69 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 7859 0 0 0 69 0 0 0 25 0 1 0 802463523 31522816 7438 33554432000 4194304 5714214 140736883457072 18446744073709551615 4323065 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 7696 7438 179 372 0 7321 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30784

[startup+1.50071 s]
/proc/loadavg: 2.08 2.04 2.01 3/456 16983
/proc/meminfo: memFree=24500788/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=32548 CPUtime=1.49 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 8300 0 0 0 149 0 0 0 18 0 1 0 802463523 33329152 7879 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 8137 7879 180 372 0 7762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32548

[startup+3.10042 s]
/proc/loadavg: 2.08 2.04 2.01 3/456 16983
/proc/meminfo: memFree=24498560/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=33520 CPUtime=3.09 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 8553 0 0 0 308 1 0 0 21 0 1 0 802463523 34324480 8132 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 8380 8132 180 372 0 8005 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33520

[startup+6.30082 s]
/proc/loadavg: 2.07 2.03 2.00 3/456 16983
/proc/meminfo: memFree=24493700/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=34900 CPUtime=6.29 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 8873 0 0 0 628 1 0 0 25 0 1 0 802463523 35737600 8452 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 8725 8452 180 372 0 8350 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34900

[startup+12.7007 s]
/proc/loadavg: 2.07 2.03 2.00 3/456 16983
/proc/meminfo: memFree=24489244/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=37048 CPUtime=12.69 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 9431 0 0 0 1267 2 0 0 25 0 1 0 802463523 37937152 9010 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 9262 9010 180 372 0 8887 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37048

[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.00 3/456 16983
/proc/meminfo: memFree=24482672/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=39200 CPUtime=25.49 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 9963 0 0 0 2544 5 0 0 25 0 1 0 802463523 40140800 9542 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 9800 9542 180 372 0 9425 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39200

[startup+51.1006 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 16984
/proc/meminfo: memFree=24480940/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=40800 CPUtime=51.09 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 10377 0 0 0 5099 10 0 0 25 0 1 0 802463523 41779200 9956 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305278 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16982/statm: 10200 9956 180 372 0 9825 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40800

[startup+102.317 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 16985
/proc/meminfo: memFree=24473184/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=46908 CPUtime=102.24 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 11895 0 0 0 10207 17 0 0 25 0 1 0 802463523 48033792 11474 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 11727 11474 180 372 0 11352 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 46908

[startup+162.301 s]
/proc/loadavg: 2.11 2.05 2.01 4/456 16987
/proc/meminfo: memFree=24457760/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=50880 CPUtime=162.23 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 12889 0 0 0 16193 30 0 0 25 0 1 0 802463523 52101120 12468 33554432000 4194304 5714214 140736883457072 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 12720 12468 180 372 0 12345 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 50880

[startup+222.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/456 16989
/proc/meminfo: memFree=24439980/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=50880 CPUtime=222.23 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 12889 0 0 0 22180 43 0 0 25 0 1 0 802463523 52101120 12468 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 12720 12468 180 372 0 12345 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 50880

[startup+282.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/456 16990
/proc/meminfo: memFree=24424332/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=56456 CPUtime=282.24 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 14279 0 0 0 28174 50 0 0 25 0 1 0 802463523 57810944 13858 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 14114 13858 180 372 0 13739 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 56456

[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 16992
/proc/meminfo: memFree=24414124/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=56456 CPUtime=342.24 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 14279 0 0 0 34165 59 0 0 25 0 1 0 802463523 57810944 13858 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 14114 13858 180 372 0 13739 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 56456

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16993
/proc/meminfo: memFree=24403292/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=59648 CPUtime=402.24 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 15081 0 0 0 40154 70 0 0 25 0 1 0 802463523 61079552 14660 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 14912 14660 180 372 0 14537 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 59648

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16995
/proc/meminfo: memFree=24383156/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=68464 CPUtime=462.24 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 17244 0 0 0 46144 80 0 0 25 0 1 0 802463523 70107136 16823 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 17116 16823 180 372 0 16741 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 68464

[startup+522.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/456 16997
/proc/meminfo: memFree=24347416/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=77216 CPUtime=522.24 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 19428 0 0 0 52132 92 0 0 25 0 1 0 802463523 79069184 19007 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 19304 19007 180 372 0 18929 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 77216

[startup+582.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/456 16998
/proc/meminfo: memFree=24338212/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=86580 CPUtime=582.24 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 21757 0 0 0 58122 102 0 0 25 0 1 0 802463523 88657920 21336 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 21645 21336 180 372 0 21270 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 86580

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 17006
/proc/meminfo: memFree=24254952/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=882.25 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 88075 150 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31645 180 372 0 31625 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 128000

[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/456 17008
/proc/meminfo: memFree=24250332/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=942.25 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 94065 160 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31645 180 372 0 31625 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 128000

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17009
/proc/meminfo: memFree=24232440/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=1002.26 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 100057 169 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31645 180 372 0 31625 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 128000

[startup+1062.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/456 17011
/proc/meminfo: memFree=24223228/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=1062.26 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 106048 178 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31645 180 372 0 31625 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 128000

[startup+1122.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/456 17013
/proc/meminfo: memFree=24217488/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=1122.26 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 112038 188 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305251 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31645 180 372 0 31625 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 128000

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 17014
/proc/meminfo: memFree=24210396/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=1182.27 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32163 0 0 0 118030 197 0 0 25 0 1 0 802463523 131072000 31646 33554432000 4194304 5714214 140736883457072 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31646 180 372 0 31625 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 128000

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 17016
/proc/meminfo: memFree=24201436/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=1242.27 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32194 0 0 0 124019 208 0 0 25 0 1 0 802463523 131072000 31677 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31677 180 372 0 31625 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 128000

[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 17017
/proc/meminfo: memFree=24189120/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=1302.28 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32211 0 0 0 130012 216 0 0 25 0 1 0 802463523 131072000 31694 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31694 180 372 0 31625 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 128000

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 17019
/proc/meminfo: memFree=24185992/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=1362.26 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32241 0 0 0 136003 223 0 0 25 0 1 0 802463523 131072000 31724 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31724 180 372 0 31625 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 128000

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17021
/proc/meminfo: memFree=24180380/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=1422.29 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32255 0 0 0 141997 232 0 0 25 0 1 0 802463523 131072000 31738 33554432000 4194304 5714214 140736883457072 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31738 180 372 0 31625 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 128000

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 17022
/proc/meminfo: memFree=24150700/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=128000 CPUtime=1482.27 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32259 0 0 0 147988 239 0 0 25 0 1 0 802463523 131072000 31742 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32000 31742 180 372 0 31625 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 128000

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 17024
/proc/meminfo: memFree=24116060/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=129716 CPUtime=1542.27 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32676 0 0 0 153979 248 0 0 25 0 1 0 802463523 132829184 32159 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 32429 32159 180 372 0 32054 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 129716

[startup+1602.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/456 17053
/proc/meminfo: memFree=24476492/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=136316 CPUtime=1602.27 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 34318 0 0 0 159967 260 0 0 25 0 1 0 802463523 139587584 33801 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 34079 33801 180 372 0 33704 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 136316

[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/456 17055
/proc/meminfo: memFree=24443740/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=144816 CPUtime=1662.27 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 36431 0 0 0 165956 271 0 0 25 0 1 0 802463523 148291584 35914 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 36204 35914 180 372 0 35829 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 144816

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17057
/proc/meminfo: memFree=24420880/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=151680 CPUtime=1722.28 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 38142 0 0 0 171943 285 0 0 25 0 1 0 802463523 155320320 37625 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 37920 37625 180 372 0 37545 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 151680

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17058
/proc/meminfo: memFree=24350416/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=158428 CPUtime=1782.28 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 39827 0 0 0 177930 298 0 0 25 0 1 0 802463523 162230272 39310 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 39607 39310 180 372 0 39232 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 158428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 17059
/proc/meminfo: memFree=24326852/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=161068 CPUtime=1800.09 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 40493 0 0 0 179707 302 0 0 25 0 1 0 802463523 164933632 39976 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 40267 39976 180 372 0 39892 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 161068

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.00 2.00 2.00 3/456 17059
/proc/meminfo: memFree=24326852/32951124 swapFree=60476376/67111528
[pid=16982] ppid=16980 vsize=161068 CPUtime=1800.09 cores=1,3,5,7
/proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 40493 0 0 0 179707 302 0 0 25 0 1 0 802463523 164933632 39976 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/16982/statm: 40267 39976 180 372 0 39892 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 161068

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.12
CPU user time (s): 1797.09
CPU system time (s): 3.02854
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 161068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.09
system time used= 3.02854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40493
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= 29
involuntary context switches= 2790

runsolver used 7.85181 second user time and 18.3672 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-03 13:27:56
IDJOB=3460953
IDBENCH=2631
IDSOLVER=1953
FILE ID=node147/3460953-1307100476
RUNJOBID= node147-1307094843-16566
PBS_JOBID= 13498009
Free space on /tmp= 73680 MiB

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

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

MD5SUM BENCH= 308ce6e771b8240fefc971d6e27a7575
RANDOM SEED=1086087906

node147.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.836
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.67
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.836
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.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.836
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.76
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.836
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.82
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.836
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:      24532076 kB
Buffers:        283000 kB
Cached:        1431472 kB
SwapCached:      11164 kB
Active:        6832748 kB
Inactive:      1328424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24532076 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:            5828 kB
Writeback:          12 kB
AnonPages:     6444176 kB
Mapped:          23380 kB
Slab:           132072 kB
PageTables:      58680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120902704 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= 73676 MiB
End job on node147 at 2011-06-03 13:57:58