Trace number 3460998

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.09 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
MD5SUMfe9b3ae0ed0deb400897e8cf071ce6eb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark91
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 95
Optimality of the best value was proved NO
Number of variables1812
Total number of constraints3443
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 constraints3443
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 1307
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-3460998-1307100816.opb.
0.00/0.00	c Instance file HOME/instance-3460998-1307100816.opb
0.00/0.00	c File size is 799598 bytes.
0.05/0.06	c Highest Coefficient sum: 1307
0.05/0.06	c ============================[ Problem Statistics ]=============================
0.05/0.06	c |                                                                             |
0.05/0.06	c |  Parsing time:          0.06         s                                      |
0.05/0.06	c |  Number Variables:      1812                                                |
0.05/0.06	c |  Number Clauses:        0                                                   |
0.05/0.06	c |  Number Cardinality:    0                                                   |
0.05/0.06	c |  Number PB Constraints: 3443                                                |
0.05/0.06	c ============================[ Search Statistics ]==============================
0.05/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.05/0.06	c ===============================================================================
0.05/0.06	c |         0 |    1812     3443   100760 |     5000        0   -nan |  0.000 % |
0.09/0.13	c core #1
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 9	Core Weight: 1	Total Weight: 1
0.09/0.13	c Current CPU time: 0.082987 s
0.09/0.13	c
0.09/0.13	c core #2
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 11	Core Weight: 1	Total Weight: 2
0.09/0.13	c Current CPU time: 0.105983 s
0.09/0.13	c
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    1755     3466   100781 |     5000        0   -nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.16	c core #3
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 15	Core Weight: 1	Total Weight: 3
0.09/0.16	c Current CPU time: 0.131979 s
0.09/0.16	c
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    1763     3473   100791 |     5000        0   -nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.19	c core #4
0.09/0.19	c 
0.09/0.19	c 
0.09/0.19	c Core size: 14	Core Weight: 1	Total Weight: 4
0.09/0.19	c Current CPU time: 0.157975 s
0.09/0.19	c
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    1781     3479   100805 |     5000        0   -nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.19/0.22	c core #5
0.19/0.22	c 
0.19/0.22	c 
0.19/0.22	c Core size: 16	Core Weight: 1	Total Weight: 5
0.19/0.22	c Current CPU time: 0.187971 s
0.19/0.22	c
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    1791     3485   100820 |     5000        0   -nan |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.25	c core #6
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 15	Core Weight: 3	Total Weight: 8
0.19/0.25	c Current CPU time: 0.223965 s
0.19/0.25	c
0.19/0.25	c ============================[ Search Statistics ]==============================
0.19/0.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.25	c ===============================================================================
0.19/0.25	c |         0 |    1808     3490   100837 |     5000        0   -nan |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.30	c core #7
0.19/0.30	c 
0.19/0.30	c 
0.19/0.30	c Core size: 19	Core Weight: 1	Total Weight: 9
0.19/0.30	c Current CPU time: 0.266959 s
0.19/0.30	c
0.19/0.30	c ============================[ Search Statistics ]==============================
0.19/0.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.30	c ===============================================================================
0.19/0.30	c |         0 |    1819     3495   100855 |     5000        0   -nan |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.36	c core #8
0.29/0.36	c 
0.29/0.36	c 
0.29/0.36	c Core size: 19	Core Weight: 1	Total Weight: 10
0.29/0.36	c Current CPU time: 0.331949 s
0.29/0.36	c
0.29/0.36	c ============================[ Search Statistics ]==============================
0.29/0.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.36	c ===============================================================================
0.29/0.36	c |         0 |    1831     3500   100875 |     5000        0   -nan |  0.000 % |
0.39/0.44	c |       101 |    1830     3500   100875 |     5500      101     23 |  2.608 % |
0.49/0.50	c ===============================================================================
0.49/0.53	c core #9
0.49/0.53	c 
0.49/0.53	c 
0.49/0.53	c Core size: 13	Core Weight: 6	Total Weight: 16
0.49/0.53	c Current CPU time: 0.501923 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 |    1847     3504   100897 |     5000        0   -nan |  0.000 % |
0.59/0.61	c |       101 |    1847     3504   100897 |     5500      101     22 |  1.914 % |
0.69/0.71	c |       251 |    1841     3504   100897 |     6050      251     25 |  2.570 % |
0.69/0.74	c ===============================================================================
0.69/0.77	c core #10
0.69/0.77	c 
0.69/0.77	c 
0.69/0.77	c Core size: 23	Core Weight: 1	Total Weight: 17
0.69/0.77	c Current CPU time: 0.737887 s
0.69/0.77	c
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 |    1860     3510   100924 |     5000        0   -nan |  0.000 % |
0.79/0.84	c |       100 |    1860     3510   100924 |     5500      100     22 |  1.899 % |
0.89/0.93	c |       250 |    1859     3510   100924 |     6050      250     24 |  1.952 % |
0.89/1.00	c ===============================================================================
1.00/1.03	c core #11
1.00/1.03	c 
1.00/1.03	c 
1.00/1.03	c Core size: 40	Core Weight: 1	Total Weight: 18
1.00/1.03	c Current CPU time: 1.00085 s
1.00/1.03	c
1.00/1.03	c ============================[ Search Statistics ]==============================
1.00/1.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.00/1.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.00/1.03	c ===============================================================================
1.00/1.03	c |         0 |    1877     3516   100959 |     5000        0   -nan |  0.000 % |
1.00/1.10	c |       100 |    1877     3516   100959 |     5500      100     22 |  1.882 % |
1.19/1.21	c |       250 |    1877     3516   100959 |     6050      250     27 |  1.882 % |
1.29/1.34	c |       475 |    1877     3516   100959 |     6655      475     27 |  1.882 % |
1.49/1.57	c |       812 |    1877     3516   100959 |     7320      812     27 |  1.882 % |
1.89/1.91	c |      1319 |    1876     3516   100959 |     8052     1319     27 |  1.935 % |
1.99/2.00	c ===============================================================================
1.99/2.03	c core #12
1.99/2.03	c 
1.99/2.03	c 
1.99/2.03	c Core size: 21	Core Weight: 1	Total Weight: 19
1.99/2.03	c Current CPU time: 1.9947 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 |    1882     3520   100966 |     5000        0   -nan |  0.000 % |
1.99/2.11	c |       101 |    1882     3520   100966 |     5500      101     24 |  1.877 % |
2.10/2.20	c |       252 |    1882     3520   100966 |     6050      252     26 |  1.877 % |
2.29/2.36	c |       479 |    1882     3520   100966 |     6655      479     26 |  1.877 % |
2.59/2.61	c |       816 |    1880     3520   100966 |     7320      816     28 |  2.242 % |
2.79/2.87	c |      1323 |    1875     3520   100966 |     8052     1323     29 |  2.242 % |
3.31/3.37	c |      2082 |    1875     3520   100966 |     8857     2082     30 |  2.242 % |
3.99/4.08	c |      3221 |    1875     3520   100966 |     9743     3221     30 |  2.242 % |
4.89/4.98	c |      4929 |    1875     3520   100966 |    10717     4929     30 |  2.242 % |
5.59/5.64	c ===============================================================================
5.59/5.67	c core #13
5.59/5.67	c 
5.59/5.67	c 
5.59/5.67	c Core size: 39	Core Weight: 1	Total Weight: 20
5.59/5.67	c Current CPU time: 5.62415 s
5.59/5.67	c
5.59/5.67	c ============================[ Search Statistics ]==============================
5.59/5.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.59/5.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.59/5.67	c ===============================================================================
5.59/5.67	c |         0 |    1893     3524   100985 |     5000        0   -nan |  0.000 % |
5.69/5.74	c |       103 |    1893     3524   100985 |     5500      103     27 |  1.866 % |
5.79/5.83	c |       255 |    1893     3524   100985 |     6050      255     28 |  1.866 % |
5.89/5.97	c |       481 |    1893     3524   100985 |     6655      481     29 |  1.866 % |
6.09/6.17	c |       818 |    1893     3524   100985 |     7320      818     30 |  1.866 % |
6.39/6.51	c |      1325 |    1881     3524   100985 |     8052     1325     31 |  2.488 % |
6.89/6.93	c |      2084 |    1881     3524   100985 |     8857     2084     30 |  2.488 % |
7.60/7.64	c |      3223 |    1880     3524   100985 |     9743     3223     30 |  2.540 % |
8.20/8.22	c ===============================================================================
8.20/8.26	c core #14
8.20/8.26	c 
8.20/8.26	c 
8.20/8.26	c Core size: 28	Core Weight: 12	Total Weight: 32
8.20/8.26	c Current CPU time: 8.20875 s
8.20/8.26	c
8.20/8.26	c ============================[ Search Statistics ]==============================
8.20/8.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.20/8.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.20/8.26	c ===============================================================================
8.20/8.26	c |         0 |    1908     3527   101016 |     5000        0   -nan |  0.000 % |
8.30/8.34	c |       101 |    1908     3527   101016 |     5500      101     22 |  1.242 % |
8.40/8.44	c |       251 |    1903     3527   101016 |     6050      251     24 |  1.812 % |
8.50/8.59	c |       477 |    1899     3527   101016 |     6655      477     26 |  1.812 % |
8.71/8.77	c |       814 |    1896     3527   101016 |     7320      814     26 |  2.226 % |
8.99/9.04	c |      1322 |    1889     3527   101016 |     8052     1322     28 |  2.226 % |
9.49/9.57	c |      2081 |    1889     3527   101016 |     8857     2081     29 |  2.226 % |
10.09/10.14	c |      3221 |    1889     3527   101016 |     9743     3221     30 |  2.226 % |
11.19/11.24	c |      4931 |    1889     3527   101016 |    10717     4931     32 |  2.226 % |
12.89/12.93	c |      7493 |    1887     3527   101016 |    11789     7493     34 |  2.329 % |
13.29/13.34	c ===============================================================================
13.29/13.38	c core #15
13.29/13.38	c 
13.29/13.38	c 
13.29/13.38	c Core size: 64	Core Weight: 1	Total Weight: 33
13.29/13.38	c Current CPU time: 13.325 s
13.29/13.38	c
13.29/13.38	c ============================[ Search Statistics ]==============================
13.29/13.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.29/13.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.29/13.38	c ===============================================================================
13.29/13.38	c |         0 |    1943     3532   101088 |     5000        0   -nan |  0.000 % |
13.39/13.46	c |       100 |    1943     3532   101088 |     5500      100     23 |  1.220 % |
13.49/13.57	c |       251 |    1943     3532   101088 |     6050      251     24 |  1.220 % |
13.59/13.69	c |       477 |    1943     3532   101088 |     6655      477     23 |  1.220 % |
13.79/13.89	c |       814 |    1943     3532   101088 |     7320      814     26 |  1.220 % |
14.09/14.20	c |      1320 |    1943     3532   101088 |     8052     1320     27 |  1.220 % |
14.59/14.61	c |      2079 |    1943     3532   101088 |     8857     2079     29 |  1.220 % |
15.30/15.32	c |      3218 |    1943     3532   101088 |     9743     3218     31 |  1.220 % |
16.40/16.47	c |      4927 |    1943     3532   101088 |    10717     4927     32 |  1.220 % |
17.99/18.06	c |      7489 |    1943     3532   101088 |    11789     7489     33 |  1.220 % |
20.80/20.84	c |     11333 |    1943     3532   101088 |    12968    11333     34 |  1.220 % |
24.89/24.95	c |     17100 |    1935     3532   101088 |    14265    10579     35 |  1.627 % |
30.59/30.61	c |     25749 |    1934     3532   101088 |    15692    12064     36 |  1.678 % |
34.49/34.52	c ===============================================================================
34.49/34.58	c core #16
34.49/34.58	c 
34.49/34.58	c 
34.49/34.58	c Core size: 29	Core Weight: 1	Total Weight: 34
34.49/34.58	c Current CPU time: 34.4808 s
34.49/34.58	c
34.49/34.58	c ============================[ Search Statistics ]==============================
34.49/34.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.49/34.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.49/34.58	c ===============================================================================
34.49/34.58	c |         0 |    1950     3538   101106 |     5000        0   -nan |  0.000 % |
34.60/34.66	c |       100 |    1950     3538   101106 |     5500      100     22 |  1.216 % |
34.70/34.76	c |       250 |    1950     3538   101106 |     6050      250     25 |  1.216 % |
34.90/34.90	c |       475 |    1950     3538   101106 |     6655      475     27 |  1.216 % |
35.10/35.14	c |       812 |    1950     3538   101106 |     7320      812     28 |  1.216 % |
35.39/35.43	c |      1318 |    1950     3538   101106 |     8052     1318     29 |  1.216 % |
35.79/35.83	c |      2077 |    1950     3538   101106 |     8857     2077     30 |  1.216 % |
36.59/36.62	c |      3216 |    1950     3538   101106 |     9743     3216     32 |  1.216 % |
37.69/37.75	c |      4924 |    1950     3538   101106 |    10717     4924     33 |  1.216 % |
39.30/39.37	c |      7487 |    1950     3538   101106 |    11789     7487     34 |  1.216 % |
41.89/41.93	c |     11331 |    1950     3538   101106 |    12968    11331     34 |  1.216 % |
45.59/45.63	c |     17098 |    1950     3538   101106 |    14265    10507     34 |  1.216 % |
51.80/51.86	c |     25748 |    1950     3538   101106 |    15692    11727     39 |  1.216 % |
60.09/60.17	c |     38724 |    1942     3538   101106 |    17261     8602     36 |  1.621 % |
63.89/63.92	c ===============================================================================
63.89/63.98	c core #17
63.89/63.98	c 
63.89/63.98	c 
63.89/63.98	c Core size: 56	Core Weight: 1	Total Weight: 35
63.89/63.98	c Current CPU time: 63.8253 s
63.89/63.98	c
63.89/63.98	c ============================[ Search Statistics ]==============================
63.89/63.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.89/63.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
63.89/63.98	c ===============================================================================
63.89/63.98	c |         0 |    1975     3544   101160 |     5000        0   -nan |  0.000 % |
63.99/64.05	c |       102 |    1975     3544   101160 |     5500      102     23 |  1.201 % |
64.09/64.15	c |       253 |    1975     3544   101160 |     6050      253     23 |  1.201 % |
64.29/64.32	c |       480 |    1975     3544   101160 |     6655      480     28 |  1.201 % |
64.39/64.49	c |       818 |    1975     3544   101160 |     7320      818     28 |  1.202 % |
64.80/64.81	c |      1324 |    1975     3544   101160 |     8052     1324     30 |  1.201 % |
65.19/65.26	c |      2083 |    1975     3544   101160 |     8857     2083     32 |  1.201 % |
65.90/65.95	c |      3222 |    1975     3544   101160 |     9743     3222     33 |  1.201 % |
67.00/67.01	c |      4931 |    1975     3544   101160 |    10717     4931     32 |  1.201 % |
68.59/68.61	c |      7494 |    1975     3544   101160 |    11789     7494     33 |  1.201 % |
70.89/70.95	c |     11338 |    1975     3544   101160 |    12968    11338     33 |  1.201 % |
74.59/74.63	c |     17105 |    1975     3544   101160 |    14265    10489     35 |  1.201 % |
80.00/80.07	c |     25754 |    1975     3544   101160 |    15692    11951     36 |  1.201 % |
87.59/87.65	c |     38728 |    1974     3544   101160 |    17261     8966     34 |  1.251 % |
95.99/96.02	c |     58189 |    1974     3544   101160 |    18987    10972     37 |  1.251 % |
102.99/103.04	c ===============================================================================
103.09/103.11	c core #18
103.09/103.11	c 
103.09/103.11	c 
103.09/103.11	c Core size: 30	Core Weight: 3	Total Weight: 38
103.09/103.11	c Current CPU time: 102.875 s
103.09/103.11	c
103.09/103.11	c ============================[ Search Statistics ]==============================
103.09/103.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
103.09/103.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
103.09/103.11	c ===============================================================================
103.09/103.11	c |         0 |    1979     3547   101166 |     5000        0   -nan |  0.000 % |
103.09/103.17	c |       100 |    1979     3547   101166 |     5500      100     24 |  1.198 % |
103.19/103.27	c |       250 |    1979     3547   101166 |     6050      250     27 |  1.198 % |
103.30/103.40	c |       476 |    1979     3547   101166 |     6655      476     26 |  1.198 % |
103.49/103.60	c |       813 |    1979     3547   101166 |     7320      813     26 |  1.198 % |
103.89/103.93	c |      1320 |    1979     3547   101166 |     8052     1320     29 |  1.198 % |
104.29/104.31	c |      2080 |    1979     3547   101166 |     8857     2080     30 |  1.198 % |
104.89/104.91	c |      3220 |    1979     3547   101166 |     9743     3220     30 |  1.198 % |
105.80/105.85	c |      4928 |    1979     3547   101166 |    10717     4928     31 |  1.198 % |
106.90/106.95	c |      7490 |    1979     3547   101166 |    11789     7490     32 |  1.199 % |
109.20/109.26	c |     11337 |    1979     3547   101166 |    12968    11337     33 |  1.198 % |
112.30/112.33	c |     17103 |    1979     3547   101166 |    14265    10232     34 |  1.198 % |
116.99/117.06	c |     25753 |    1979     3547   101166 |    15692    11638     35 |  1.199 % |
124.90/124.94	c |     38728 |    1953     3547   101166 |    17261     8644     34 |  2.496 % |
136.79/136.86	c |     58189 |    1946     3547   101166 |    18987    10569     34 |  2.846 % |
154.89/154.97	c |     87381 |    1946     3547   101166 |    20886    10937     37 |  2.846 % |
181.51/181.58	c |    131170 |    1945     3547   101166 |    22974    12612     38 |  2.896 % |
207.80/207.85	c ===============================================================================
207.99/208.03	c core #19
207.99/208.03	c 
207.99/208.03	c 
207.99/208.03	c Core size: 38	Core Weight: 1	Total Weight: 39
207.99/208.03	c Current CPU time: 207.576 s
207.99/208.03	c
207.99/208.03	c ============================[ Search Statistics ]==============================
207.99/208.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.99/208.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.99/208.03	c ===============================================================================
207.99/208.03	c |         0 |    1986     3550   101178 |     5000        0   -nan |  0.000 % |
208.09/208.10	c |       102 |    1986     3550   101178 |     5500      102     25 |  1.194 % |
208.19/208.21	c |       252 |    1986     3550   101178 |     6050      252     25 |  1.194 % |
208.29/208.32	c |       477 |    1986     3550   101178 |     6655      477     28 |  1.194 % |
208.49/208.53	c |       815 |    1986     3550   101178 |     7320      815     29 |  1.194 % |
208.80/208.81	c |      1321 |    1986     3550   101178 |     8052     1321     30 |  1.194 % |
209.30/209.31	c |      2081 |    1986     3550   101178 |     8857     2081     32 |  1.194 % |
209.80/209.83	c |      3220 |    1986     3550   101178 |     9743     3220     32 |  1.194 % |
210.90/210.90	c |      4928 |    1986     3550   101178 |    10717     4928     33 |  1.194 % |
212.40/212.44	c |      7491 |    1986     3550   101178 |    11789     7491     34 |  1.194 % |
213.90/213.98	c |     11336 |    1986     3550   101178 |    12968    11336     33 |  1.194 % |
216.50/216.57	c |     17103 |    1986     3550   101178 |    14265    10494     32 |  1.194 % |
220.02/220.03	c |     25753 |    1986     3550   101178 |    15692    11975     31 |  1.194 % |
226.90/226.90	c |     38728 |    1986     3550   101178 |    17261     9030     34 |  1.194 % |
237.40/237.41	c |     58189 |    1986     3550   101178 |    18987    11079     35 |  1.194 % |
254.11/254.12	c |     87381 |    1986     3550   101178 |    20886    11281     40 |  1.195 % |
281.20/281.23	c |    131170 |    1981     3550   101178 |    22974    12985     35 |  1.443 % |
309.60/309.69	c ===============================================================================
309.81/309.85	c core #20
309.81/309.85	c 
309.81/309.85	c 
309.81/309.85	c Core size: 44	Core Weight: 1	Total Weight: 40
309.81/309.85	c Current CPU time: 309.243 s
309.81/309.85	c
309.81/309.85	c ============================[ Search Statistics ]==============================
309.81/309.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
309.81/309.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
309.81/309.85	c ===============================================================================
309.81/309.85	c |         0 |    2006     3553   101216 |     5000        0   -nan |  0.000 % |
309.91/309.94	c |       100 |    2006     3553   101216 |     5500      100     27 |  1.182 % |
310.01/310.04	c |       251 |    2006     3553   101216 |     6050      251     26 |  1.182 % |
310.12/310.18	c |       477 |    2006     3553   101216 |     6655      477     29 |  1.182 % |
310.31/310.39	c |       814 |    2006     3553   101216 |     7320      814     32 |  1.182 % |
310.61/310.64	c |      1320 |    2006     3553   101216 |     8052     1320     32 |  1.182 % |
311.01/311.02	c |      2080 |    2006     3553   101216 |     8857     2080     33 |  1.182 % |
311.71/311.77	c |      3223 |    2006     3553   101216 |     9743     3223     33 |  1.182 % |
312.80/312.88	c |      4932 |    2006     3553   101216 |    10717     4932     34 |  1.182 % |
314.20/314.27	c |      7495 |    2006     3553   101216 |    11789     7495     35 |  1.182 % |
316.30/316.32	c |     11339 |    2006     3553   101216 |    12968    11339     34 |  1.182 % |
320.51/320.59	c |     17106 |    2006     3553   101216 |    14265    10231     35 |  1.182 % |
325.40/325.45	c |     25758 |    2006     3553   101216 |    15692    11362     35 |  1.182 % |
334.21/334.21	c |     38732 |    2006     3553   101216 |    17261    16120     36 |  1.182 % |
345.51/345.53	c |     58195 |    2006     3553   101216 |    18987     8792     37 |  1.182 % |
364.81/364.86	c |     87387 |    2006     3553   101216 |    20886    18284     36 |  1.182 % |
394.00/394.06	c |    131176 |    2006     3553   101216 |    22974    19818     36 |  1.182 % |
436.40/436.42	c |    196862 |    2006     3553   101216 |    25272    15358     37 |  1.182 % |
496.91/496.92	c |    295388 |    2006     3553   101216 |    27799    15906     35 |  1.182 % |
592.31/592.31	c |    443179 |    2006     3553   101216 |    30579    19334     36 |  1.182 % |
738.03/738.08	c |    664863 |    2006     3553   101216 |    33637    17125     41 |  1.182 % |
961.34/961.40	c ===============================================================================
962.33/962.32	c core #21
962.33/962.32	c 
962.33/962.32	c 
962.33/962.32	c Core size: 31	Core Weight: 1	Total Weight: 41
962.33/962.32	c Current CPU time: 960.376 s
962.33/962.32	c
962.33/962.32	c ============================[ Search Statistics ]==============================
962.33/962.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
962.33/962.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
962.33/962.32	c ===============================================================================
962.33/962.32	c |         0 |    2015     3556   101232 |     5000        0   -nan |  0.000 % |
962.33/962.36	c |       102 |    2015     3556   101232 |     5500      102     23 |  1.177 % |
962.44/962.42	c |       253 |    2015     3556   101232 |     6050      253     19 |  1.177 % |
962.54/962.55	c |       479 |    2015     3556   101232 |     6655      479     25 |  1.177 % |
962.73/962.73	c |       816 |    2015     3556   101232 |     7320      816     27 |  1.177 % |
963.03/963.05	c |      1323 |    2015     3556   101232 |     8052     1323     31 |  1.177 % |
963.32/963.36	c |      2082 |    2015     3556   101232 |     8857     2082     31 |  1.177 % |
964.02/964.07	c |      3221 |    2015     3556   101232 |     9743     3221     32 |  1.177 % |
964.83/964.86	c |      4930 |    2015     3556   101232 |    10717     4930     32 |  1.178 % |
966.33/966.33	c |      7492 |    2015     3556   101232 |    11789     7492     33 |  1.177 % |
968.72/968.76	c |     11338 |    2015     3556   101232 |    12968    11338     34 |  1.177 % |
971.83/971.87	c |     17105 |    2015     3556   101232 |    14265    10545     37 |  1.177 % |
975.93/975.94	c |     25755 |    2015     3556   101232 |    15692    11901     35 |  1.177 % |
983.82/983.84	c |     38730 |    2015     3556   101232 |    17261     8856     39 |  1.177 % |
995.72/995.73	c |     58191 |    2015     3556   101232 |    18987    10437     42 |  1.179 % |
1014.14/1014.18	c |     87384 |    2014     3556   101232 |    20886    10913     37 |  1.227 % |
1037.63/1037.60	c |    131173 |    1999     3556   101232 |    22974    12580     38 |  1.962 % |
1044.03/1044.07	c ===============================================================================
1044.23/1044.29	c core #22
1044.23/1044.29	c 
1044.23/1044.29	c 
1044.23/1044.29	c Core size: 50	Core Weight: 1	Total Weight: 42
1044.23/1044.29	c Current CPU time: 1042.61 s
1044.23/1044.29	c
1044.23/1044.29	c ============================[ Search Statistics ]==============================
1044.23/1044.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1044.23/1044.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1044.23/1044.29	c ===============================================================================
1044.23/1044.29	c |         0 |    2043     3559   101286 |     5000        0   -nan |  0.000 % |
1044.33/1044.39	c |       101 |    2043     3559   101286 |     5500      101     27 |  1.161 % |
1044.53/1044.50	c |       253 |    2043     3559   101286 |     6050      253     27 |  1.161 % |
1044.63/1044.63	c |       479 |    2043     3559   101286 |     6655      479     29 |  1.161 % |
1044.73/1044.79	c |       817 |    2043     3559   101286 |     7320      817     30 |  1.161 % |
1045.13/1045.16	c |      1324 |    2043     3559   101286 |     8052     1324     31 |  1.161 % |
1045.53/1045.58	c |      2085 |    2043     3559   101286 |     8857     2085     32 |  1.161 % |
1046.33/1046.38	c |      3225 |    2043     3559   101286 |     9743     3225     33 |  1.161 % |
1047.24/1047.22	c |      4934 |    2043     3559   101286 |    10717     4934     32 |  1.161 % |
1049.44/1049.41	c |      7498 |    2043     3559   101286 |    11789     7498     34 |  1.161 % |
1051.93/1051.92	c |     11343 |    2043     3559   101286 |    12968    11343     35 |  1.161 % |
1055.03/1055.01	c |     17110 |    2043     3559   101286 |    14265    10571     34 |  1.161 % |
1060.83/1060.80	c |     25759 |    2043     3559   101286 |    15692    11791     34 |  1.161 % |
1067.73/1067.71	c |     38734 |    2043     3559   101286 |    17261     8818     31 |  1.161 % |
1081.13/1081.14	c |     58195 |    2043     3559   101286 |    18987    10337     37 |  1.161 % |
1101.73/1101.75	c |     87387 |    2043     3559   101286 |    20886    10648     35 |  1.161 % |
1132.83/1132.83	c |    131176 |    2043     3559   101286 |    22974    12058     33 |  1.161 % |
1177.53/1177.52	c |    196862 |    2043     3559   101286 |    25272    18194     34 |  1.161 % |
1243.84/1243.87	c |    295389 |    2043     3559   101286 |    27799    20199     35 |  1.161 % |
1347.94/1347.91	c |    443178 |    2043     3559   101286 |    30579    26096     36 |  1.161 % |
1495.05/1495.06	c |    664862 |    2042     3559   101286 |    33637    27442     35 |  1.210 % |
1744.75/1744.75	c |    997387 |    2042     3559   101286 |    37001    15958     36 |  1.210 % |

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-3460998-1307100816/watcher-3460998-1307100816 -o /tmp/evaluation-result-3460998-1307100816/solver-3460998-1307100816 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460998-1307100816.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: 2.00 2.01 2.00 2/443 14373
/proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=3416 CPUtime=0 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 477 0 0 0 0 0 0 0 25 0 1 0 900312251 3497984 430 33554432000 4194304 5714214 140733902325040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 854 431 190 372 0 283 0

[startup+0.062572 s]
/proc/loadavg: 2.00 2.01 2.00 2/443 14373
/proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=8272 CPUtime=0.05 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 1833 0 0 0 5 0 0 0 25 0 1 0 900312251 8470528 1786 33554432000 4194304 5714214 140733902325040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 2068 1787 349 372 0 1497 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8272

[startup+0.100582 s]
/proc/loadavg: 2.00 2.01 2.00 2/443 14373
/proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=13904 CPUtime=0.09 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 3444 0 0 0 9 0 0 0 25 0 1 0 900312251 14237696 3201 33554432000 4194304 5714214 140733902325040 18446744073709551615 4968289 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 3476 3201 176 372 0 3101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13904

[startup+0.300535 s]
/proc/loadavg: 2.00 2.01 2.00 2/443 14373
/proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=17076 CPUtime=0.29 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 4258 0 0 0 29 0 0 0 25 0 1 0 900312251 17485824 4015 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 4269 4015 179 372 0 3894 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17076

[startup+0.700456 s]
/proc/loadavg: 2.00 2.01 2.00 2/443 14373
/proc/meminfo: memFree=29834976/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=18004 CPUtime=0.69 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 4498 0 0 0 69 0 0 0 18 0 1 0 900312251 18436096 4255 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 4501 4255 180 372 0 4126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18004

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14374
/proc/meminfo: memFree=29817112/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=18932 CPUtime=1.49 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 4735 0 0 0 149 0 0 0 19 0 1 0 900312251 19386368 4492 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 4733 4492 180 372 0 4358 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18932

[startup+3.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14374
/proc/meminfo: memFree=29814880/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=19732 CPUtime=3.09 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 4925 0 0 0 308 1 0 0 23 0 1 0 900312251 20205568 4682 33554432000 4194304 5714214 140733902325040 18446744073709551615 4319156 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 4933 4682 180 372 0 4558 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19732

[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14374
/proc/meminfo: memFree=29815004/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=21460 CPUtime=6.29 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 5376 0 0 0 628 1 0 0 25 0 1 0 900312251 21975040 5133 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323061 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 5365 5133 180 372 0 4990 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21460

[startup+12.7012 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14374
/proc/meminfo: memFree=29811740/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=21592 CPUtime=12.69 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 5403 0 0 0 1267 2 0 0 25 0 1 0 900312251 22110208 5160 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322791 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 5398 5160 180 372 0 5023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21592

[startup+25.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14374
/proc/meminfo: memFree=29806896/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=23316 CPUtime=25.49 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 5823 0 0 0 2545 4 0 0 25 0 1 0 900312251 23875584 5580 33554432000 4194304 5714214 140733902325040 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 5829 5580 180 372 0 5454 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23316

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14375
/proc/meminfo: memFree=29799580/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=27152 CPUtime=51.1 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 6799 0 0 0 5101 9 0 0 25 0 1 0 900312251 27803648 6556 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 6788 6556 180 372 0 6413 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 27152

[startup+102.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14376
/proc/meminfo: memFree=29790996/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=29924 CPUtime=102.31 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 7461 0 0 0 10213 18 0 0 25 0 1 0 900312251 30642176 7218 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 7481 7218 180 372 0 7106 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 29924

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14378
/proc/meminfo: memFree=29782640/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=34024 CPUtime=162.29 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 8507 0 0 0 16201 28 0 0 25 0 1 0 900312251 34840576 8264 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 8506 8264 180 372 0 8131 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34024

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14379
/proc/meminfo: memFree=29765604/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=47472 CPUtime=222.3 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 11860 0 0 0 22192 38 0 0 25 0 1 0 900312251 48611328 11617 33554432000 4194304 5714214 140733902325040 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 11868 11617 180 372 0 11493 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 47472

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/444 14381
/proc/meminfo: memFree=29765448/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=47472 CPUtime=282.3 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 11860 0 0 0 28183 47 0 0 25 0 1 0 900312251 48611328 11617 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200640 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 11868 11617 180 372 0 11493 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 47472

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 14386
/proc/meminfo: memFree=29765392/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=47472 CPUtime=342.31 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 11868 0 0 0 34176 55 0 0 25 0 1 0 900312251 48611328 11625 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 11868 11625 180 372 0 11493 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 47472

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14387
/proc/meminfo: memFree=29765424/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=47472 CPUtime=402.31 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 11878 0 0 0 40165 66 0 0 25 0 1 0 900312251 48611328 11635 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 11868 11635 180 372 0 11493 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 47472

[startup+462.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/444 14389
/proc/meminfo: memFree=29764900/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=48396 CPUtime=462.31 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 12107 0 0 0 46157 74 0 0 25 0 1 0 900312251 49557504 11864 33554432000 4194304 5714214 140733902325040 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 12099 11864 180 372 0 11724 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 48396

[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/444 14390
/proc/meminfo: memFree=29738436/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=58280 CPUtime=522.31 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 14546 0 0 0 52150 81 0 0 25 0 1 0 900312251 59678720 14303 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 14570 14303 180 372 0 14195 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 58280

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14392
/proc/meminfo: memFree=29728584/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=68296 CPUtime=582.31 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 16996 0 0 0 58141 90 0 0 25 0 1 0 900312251 69935104 16753 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322737 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 17074 16753 180 372 0 16699 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 68296

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 14398
/proc/meminfo: memFree=29689704/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=107496 CPUtime=822.32 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 26759 0 0 0 82105 127 0 0 25 0 1 0 900312251 110075904 26516 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 26874 26516 180 372 0 26499 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 107496

[startup+882.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 14400
/proc/meminfo: memFree=29680620/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=116604 CPUtime=882.32 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 29026 0 0 0 88096 136 0 0 25 0 1 0 900312251 119402496 28783 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322827 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 29151 28783 180 372 0 28776 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 116604

[startup+942.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/444 14402
/proc/meminfo: memFree=29671788/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=125340 CPUtime=942.32 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 31223 0 0 0 94087 145 0 0 25 0 1 0 900312251 128348160 30980 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 31335 30980 180 372 0 30960 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 125340

[startup+1002.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/444 14403
/proc/meminfo: memFree=29658208/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1002.33 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34614 0 0 0 100077 156 0 0 25 0 1 0 900312251 141864960 34279 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34279 180 372 0 34260 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 138540

[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/444 14405
/proc/meminfo: memFree=29658280/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1062.33 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34615 0 0 0 106068 165 0 0 25 0 1 0 900312251 141864960 34280 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34280 180 372 0 34260 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 138540

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 14406
/proc/meminfo: memFree=29658720/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1122.33 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34615 0 0 0 112061 172 0 0 25 0 1 0 900312251 141864960 34280 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34280 180 372 0 34260 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 138540

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 14408
/proc/meminfo: memFree=29658436/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1182.33 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34616 0 0 0 118054 179 0 0 25 0 1 0 900312251 141864960 34281 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34281 180 372 0 34260 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 138540

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14410
/proc/meminfo: memFree=29657672/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1242.34 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34620 0 0 0 124046 188 0 0 25 0 1 0 900312251 141864960 34285 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322711 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34285 180 372 0 34260 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 138540

[startup+1302.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/444 14411
/proc/meminfo: memFree=29637016/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1302.35 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34635 0 0 0 130038 197 0 0 25 0 1 0 900312251 141864960 34300 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34300 180 372 0 34260 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 138540

[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/444 14413
/proc/meminfo: memFree=29636988/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1362.34 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34638 0 0 0 136030 204 0 0 25 0 1 0 900312251 141864960 34303 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34303 180 372 0 34260 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 138540

[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 14414
/proc/meminfo: memFree=29636452/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1422.36 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34656 0 0 0 142024 212 0 0 25 0 1 0 900312251 141864960 34321 33554432000 4194304 5714214 140733902325040 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34321 180 372 0 34260 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 138540

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14416
/proc/meminfo: memFree=29636764/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1482.34 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34678 0 0 0 148017 217 0 0 25 0 1 0 900312251 141864960 34343 33554432000 4194304 5714214 140733902325040 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34343 180 372 0 34260 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 138540

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 14418
/proc/meminfo: memFree=29636372/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1542.35 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34682 0 0 0 154010 225 0 0 25 0 1 0 900312251 141864960 34347 33554432000 4194304 5714214 140733902325040 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34347 180 372 0 34260 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 138540

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14419
/proc/meminfo: memFree=29636572/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1602.35 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34686 0 0 0 160003 232 0 0 25 0 1 0 900312251 141864960 34351 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34351 180 372 0 34260 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 138540

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14430
/proc/meminfo: memFree=29636812/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1662.35 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34693 0 0 0 165997 238 0 0 25 0 1 0 900312251 141864960 34358 33554432000 4194304 5714214 140733902325040 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34358 180 372 0 34260 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 138540

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14431
/proc/meminfo: memFree=29636608/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1722.36 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34714 0 0 0 171991 245 0 0 25 0 1 0 900312251 141864960 34379 33554432000 4194304 5714214 140733902325040 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34379 180 372 0 34260 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 138540

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14461
/proc/meminfo: memFree=29785260/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1782.36 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34718 0 0 0 177984 252 0 0 25 0 1 0 900312251 141864960 34383 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34383 180 372 0 34260 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 138540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 14462
/proc/meminfo: memFree=29761468/32950928 swapFree=52246700/67111528
[pid=14373] ppid=14371 vsize=138540 CPUtime=1800.07 cores=0,2,4,6
/proc/14373/stat : 14373 (wbo1.6) R 14371 14373 13866 0 -1 4202496 34725 0 0 0 179753 254 0 0 25 0 1 0 900312251 141864960 34390 33554432000 4194304 5714214 140733902325040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14373/statm: 34635 34390 180 372 0 34260 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 138540

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.02
CPU time (s): 1800.09
CPU user time (s): 1797.54
CPU system time (s): 2.54861
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 139008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.54
system time used= 2.54861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34725
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= 4
involuntary context switches= 3336

runsolver used 8.50671 second user time and 17.4903 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-03 13:33:36
IDJOB=3460998
IDBENCH=2636
IDSOLVER=1953
FILE ID=node114/3460998-1307100816
RUNJOBID= node114-1307093562-13884
PBS_JOBID= 13497997
Free space on /tmp= 73916 MiB

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

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

MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb
RANDOM SEED=1030098042

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.74
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.848
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:     32950928 kB
MemFree:      29835008 kB
Buffers:        274440 kB
Cached:         403096 kB
SwapCached:      10712 kB
Active:        2438712 kB
Inactive:       406492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29835008 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:            5068 kB
Writeback:           0 kB
AnonPages:     2164500 kB
Mapped:          21900 kB
Slab:           140168 kB
PageTables:      62276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108306916 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= 73920 MiB
End job on node114 at 2011-06-03 14:03:38