Trace number 2656035

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.4b? (TO) 1800.08 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
MD5SUM5946eb43fefc6e626d35d99afd3eec42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 75
Optimality of the best value was proved NO
Number of variables1287
Total number of constraints2430
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 constraints2430
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656035-1276589002.opb.
0.00/0.00	c Instance file HOME/instance-2656035-1276589002.opb
0.00/0.00	c File size is 481040 bytes.
0.01/0.08	c Highest Coefficient sum: 749
0.01/0.08	c ============================[ Problem Statistics ]=============================
0.01/0.08	c |                                                                             |
0.01/0.08	c |  Parsing time:          0.07         s                                      |
0.01/0.08	c |  Number Variables:      1287                                                |
0.01/0.08	c |  Number Clauses:        0                                                   |
0.01/0.08	c |  Number Cardinality:    0                                                   |
0.01/0.08	c |  Number PB Constraints: 2430                                                |
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    1287     2430    61850 |     5000        0    nan |  0.000 % |
0.19/0.21	c |       103 |    1287     2430    61850 |     5500      103     22 |  0.000 % |
0.29/0.31	c |       253 |    1287     2430    61850 |     6050      253     20 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 111
0.29/0.35	o 111
0.29/0.35	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 179.657 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |       305 |    1287     2431    61857 |     5000      305     20 |  0.000 % |
0.39/0.42	c |       405 |    1287     2431    61857 |     5500      405     22 |  0.000 % |
0.49/0.52	c |       555 |    1287     2431    61857 |     6050      555     23 |  0.001 % |
0.59/0.63	c |       780 |    1287     2431    61857 |     6655      780     23 |  0.000 % |
0.78/0.81	c |      1118 |    1287     2431    61857 |     7320     1118     24 |  0.000 % |
1.00/1.04	c |      1624 |    1287     2431    61857 |     8052     1624     23 |  0.000 % |
1.39/1.46	c ===============================================================================
1.39/1.46	c New solution: 109
1.39/1.46	o 109
1.39/1.46	c Elapsed CPU time: 1.44478 s	Remaining CPU time: 178.555 s
1.39/1.46	c ===============================================================================
1.39/1.46	c |      2316 |    1287     2432    61864 |     5000     2316     27 |  0.000 % |
1.49/1.53	c |      2416 |    1287     2432    61864 |     5500     2416     27 |  0.000 % |
1.59/1.64	c |      2566 |    1287     2432    61864 |     6050     2566     27 |  0.001 % |
1.69/1.78	c |      2794 |    1287     2432    61864 |     6655     2794     28 |  0.000 % |
1.88/1.96	c |      3132 |    1287     2432    61864 |     7320     3132     27 |  0.001 % |
2.19/2.29	c ===============================================================================
2.19/2.29	c New solution: 106
2.19/2.29	o 106
2.19/2.29	c Elapsed CPU time: 2.27165 s	Remaining CPU time: 177.728 s
2.19/2.29	c ===============================================================================
2.19/2.29	c |      3453 |    1287     2433    61871 |     5000     3453     28 |  0.001 % |
2.29/2.34	c |      3553 |    1287     2433    61871 |     5500     3553     28 |  0.000 % |
2.39/2.43	c |      3703 |    1287     2433    61871 |     6050     3703     28 |  0.000 % |
2.59/2.61	c |      3930 |    1287     2433    61871 |     6655     3930     28 |  0.000 % |
2.59/2.66	c ===============================================================================
2.59/2.66	c New solution: 102
2.59/2.66	o 102
2.59/2.66	c Elapsed CPU time: 2.6386 s	Remaining CPU time: 177.361 s
2.59/2.66	c ===============================================================================
2.59/2.66	c |      3990 |    1287     2434    61878 |     5000     3990     28 |  0.000 % |
2.69/2.75	c |      4092 |    1287     2434    61878 |     5500     4092     28 |  0.000 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: 101
2.79/2.83	o 101
2.79/2.83	c Elapsed CPU time: 2.80457 s	Remaining CPU time: 177.195 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |      4175 |    1287     2435    61885 |     5000     4175     28 |  0.000 % |
2.79/2.89	c |      4276 |    1287     2435    61885 |     5500     4276     28 |  0.000 % |
2.89/2.99	c |      4426 |    1287     2435    61885 |     6050     4426     28 |  0.000 % |
3.09/3.12	c |      4651 |    1287     2435    61885 |     6655     4651     28 |  0.000 % |
3.30/3.38	c |      4989 |    1287     2435    61885 |     7320     4989     28 |  0.000 % |
3.59/3.63	c |      5495 |    1287     2435    61885 |     8052     5495     27 |  0.000 % |
3.89/3.98	c |      6255 |    1287     2435    61885 |     8857     6255     27 |  0.000 % |
4.79/4.82	c |      7395 |    1287     2435    61885 |     9743     7395     28 |  0.000 % |
5.39/5.49	c ===============================================================================
5.39/5.49	c New solution: 91
5.39/5.49	o 91
5.39/5.49	c Elapsed CPU time: 5.45217 s	Remaining CPU time: 174.548 s
5.39/5.49	c ===============================================================================
5.39/5.49	c |      8075 |    1287     2436    61892 |     5000     8075     30 |  0.000 % |
5.49/5.58	c |      8175 |    1287     2436    61892 |     5500     4138     31 |  0.001 % |
5.68/5.71	c |      8325 |    1287     2436    61892 |     6050     4288     31 |  0.000 % |
5.78/5.88	c |      8550 |    1287     2436    61892 |     6655     4513     31 |  0.000 % |
6.09/6.11	c |      8887 |    1287     2436    61892 |     7320     4850     30 |  0.000 % |
6.39/6.42	c |      9393 |    1287     2436    61892 |     8052     5356     30 |  0.000 % |
6.99/7.02	c |     10152 |    1287     2436    61892 |     8857     6115     30 |  0.000 % |
8.09/8.15	c |     11292 |    1287     2436    61892 |     9743     7255     31 |  0.000 % |
9.39/9.40	c |     13000 |    1287     2436    61892 |    10717     8963     31 |  0.000 % |
11.18/11.27	c |     15562 |    1287     2436    61892 |    11789     5993     33 |  0.000 % |
15.09/15.13	c |     19406 |    1287     2436    61892 |    12968     9837     34 |  0.000 % |
19.80/19.86	c |     25172 |    1287     2436    61892 |    14265     8856     36 |  0.000 % |
19.89/19.99	c ===============================================================================
19.89/19.99	c New solution: 90
19.89/19.99	o 90
19.89/19.99	c Elapsed CPU time: 19.891 s	Remaining CPU time: 160.109 s
19.89/19.99	c ===============================================================================
19.89/19.99	c |     25312 |    1287     2437    61899 |     5000     8996     35 |  0.000 % |
19.99/20.08	c |     25413 |    1287     2437    61899 |     5500     4599     36 |  0.001 % |
20.19/20.21	c |     25563 |    1287     2437    61899 |     6050     4749     36 |  0.000 % |
20.39/20.40	c |     25788 |    1287     2437    61899 |     6655     4974     36 |  0.000 % |
20.69/20.73	c |     26125 |    1287     2437    61899 |     7320     5311     36 |  0.000 % |
20.99/21.08	c |     26631 |    1287     2437    61899 |     8052     5817     35 |  0.000 % |
21.58/21.61	c |     27391 |    1287     2437    61899 |     8857     6577     34 |  0.000 % |
22.28/22.36	c |     28531 |    1287     2437    61899 |     9743     7717     33 |  0.000 % |
23.28/23.34	c |     30239 |    1287     2437    61899 |    10717     9425     32 |  0.000 % |
24.58/24.64	c |     32803 |    1287     2437    61899 |    11789     6576     26 |  0.000 % |
26.29/26.34	c ===============================================================================
26.29/26.34	c New solution: 89
26.29/26.34	o 89
26.29/26.34	c Elapsed CPU time: 26.198 s	Remaining CPU time: 153.802 s
26.29/26.34	c ===============================================================================
26.29/26.34	c |     34923 |    1287     2438    61906 |     5000     8696     28 |  0.000 % |
26.39/26.42	c |     35023 |    1287     2438    61906 |     5500     4448     29 |  0.000 % |
26.39/26.49	c |     35173 |    1287     2438    61906 |     6050     4598     28 |  0.000 % |
26.58/26.66	c |     35399 |    1287     2438    61906 |     6655     4824     28 |  0.000 % |
26.88/26.98	c |     35737 |    1287     2438    61906 |     7320     5162     28 |  0.000 % |
27.28/27.34	c |     36244 |    1287     2438    61906 |     8052     5669     29 |  0.000 % |
27.68/27.75	c |     37003 |    1287     2438    61906 |     8857     6428     28 |  0.001 % |
28.68/28.71	c |     38142 |    1287     2438    61906 |     9743     7567     29 |  0.000 % |
29.88/29.92	c ===============================================================================
29.88/29.92	c New solution: 84
29.88/29.92	o 84
29.88/29.92	c Elapsed CPU time: 29.7625 s	Remaining CPU time: 150.238 s
29.88/29.92	c ===============================================================================
29.88/29.92	c |     39826 |    1287     2439    61913 |     5000     9251     29 |  0.000 % |
29.88/29.98	c |     39927 |    1287     2439    61913 |     5500     4727     29 |  0.001 % |
29.98/30.06	c |     40078 |    1287     2439    61913 |     6050     4878     28 |  0.000 % |
30.09/30.18	c |     40304 |    1287     2439    61913 |     6655     5104     28 |  0.000 % |
30.39/30.44	c |     40641 |    1287     2439    61913 |     7320     5441     29 |  0.000 % |
30.69/30.70	c |     41147 |    1287     2439    61913 |     8052     5947     29 |  0.001 % |
31.08/31.15	c |     41906 |    1287     2439    61913 |     8857     6706     28 |  0.000 % |
31.88/31.98	c |     43045 |    1287     2439    61913 |     9743     7845     28 |  0.000 % |
33.18/33.28	c |     44753 |    1287     2439    61913 |    10717     9553     29 |  0.000 % |
35.18/35.26	c |     47315 |    1287     2439    61913 |    11789     6717     29 |  0.001 % |
37.97/38.05	c |     51159 |    1287     2439    61913 |    12968    10561     29 |  0.000 % |
43.07/43.17	c |     56925 |    1287     2439    61913 |    14265     9460     31 |  0.000 % |
49.97/50.09	c ===============================================================================
49.97/50.09	c New solution: 82
49.97/50.09	o 82
49.97/50.09	c Elapsed CPU time: 49.8354 s	Remaining CPU time: 130.165 s
49.97/50.09	c ===============================================================================
49.97/50.09	c |     65388 |    1287     2440    61920 |     5000    10745     33 |  0.000 % |
50.07/50.19	c |     65488 |    1287     2440    61920 |     5500     2787     33 |  0.000 % |
50.27/50.32	c |     65638 |    1287     2440    61920 |     6050     2937     32 |  0.000 % |
50.37/50.48	c |     65863 |    1287     2440    61920 |     6655     3162     33 |  0.000 % |
50.57/50.67	c |     66200 |    1287     2440    61920 |     7320     3499     32 |  0.000 % |
50.87/50.94	c |     66706 |    1287     2440    61920 |     8052     4005     31 |  0.001 % |
51.26/51.39	c |     67465 |    1287     2440    61920 |     8857     4764     29 |  0.000 % |
52.27/52.37	c |     68604 |    1287     2440    61920 |     9743     5903     30 |  0.000 % |
53.56/53.64	c |     70312 |    1287     2440    61920 |    10717     7611     31 |  0.000 % |
55.36/55.43	c |     72874 |    1287     2440    61920 |    11789    10173     31 |  0.000 % |
58.36/58.47	c |     76718 |    1287     2440    61920 |    12968     7865     29 |  0.000 % |
63.46/63.53	c |     82484 |    1287     2440    61920 |    14265     6880     32 |  0.000 % |
70.96/71.04	c |     91134 |    1287     2440    61920 |    15692     7969     31 |  0.000 % |
82.85/82.96	c |    104108 |    1287     2440    61920 |    17261    12978     34 |  0.000 % |
92.26/92.32	c ===============================================================================
92.26/92.32	c New solution: 81
92.26/92.32	o 81
92.26/92.32	c Elapsed CPU time: 91.883 s	Remaining CPU time: 88.117 s
92.26/92.32	c ===============================================================================
92.26/92.32	c |    114212 |    1287     2441    61927 |     5000    14112     36 |  0.000 % |
92.36/92.44	c |    114312 |    1287     2441    61927 |     5500     3628     38 |  0.000 % |
92.46/92.55	c |    114463 |    1287     2441    61927 |     6050     3779     37 |  0.000 % |
92.55/92.67	c |    114689 |    1287     2441    61927 |     6655     4005     37 |  0.000 % |
92.75/92.88	c |    115027 |    1287     2441    61927 |     7320     4343     36 |  0.000 % |
93.15/93.20	c |    115533 |    1287     2441    61927 |     8052     4849     35 |  0.000 % |
93.75/93.87	c |    116293 |    1287     2441    61927 |     8857     5609     34 |  0.000 % |
94.76/94.80	c |    117432 |    1287     2441    61927 |     9743     6748     34 |  0.000 % |
96.15/96.23	c |    119141 |    1287     2441    61927 |    10717     8457     34 |  0.000 % |
97.95/98.05	c |    121703 |    1287     2441    61927 |    11789     5539     33 |  0.000 % |
100.85/100.97	c |    125547 |    1287     2441    61927 |    12968     9383     32 |  0.000 % |
105.46/105.55	c |    131313 |    1287     2441    61927 |    14265     8389     31 |  0.000 % |
112.45/112.58	c |    139964 |    1287     2441    61927 |    15692     9494     28 |  0.000 % |
124.04/124.10	c |    152938 |    1287     2441    61927 |    17261    14503     31 |  0.000 % |
132.44/132.53	c ===============================================================================
132.44/132.53	c New solution: 79
132.44/132.53	o 79
132.44/132.53	c Elapsed CPU time: 131.912 s	Remaining CPU time: 48.0881 s
132.44/132.53	c ===============================================================================
132.44/132.53	c |    161087 |    1287     2442    61934 |     5000    13720     37 |  0.000 % |
132.54/132.63	c |    161188 |    1287     2442    61934 |     5500     3531     38 |  0.000 % |
132.64/132.72	c |    161338 |    1287     2442    61934 |     6050     3681     38 |  0.000 % |
132.74/132.89	c |    161563 |    1287     2442    61934 |     6655     3906     37 |  0.000 % |
133.05/133.18	c |    161903 |    1287     2442    61934 |     7320     4246     36 |  0.000 % |
133.44/133.54	c |    162410 |    1287     2442    61934 |     8052     4753     36 |  0.000 % |
133.94/134.05	c |    163169 |    1287     2442    61934 |     8857     5512     34 |  0.000 % |
134.95/135.02	c |    164309 |    1287     2442    61934 |     9743     6652     33 |  0.000 % |
136.14/136.24	c |    166018 |    1287     2442    61934 |    10717     8361     32 |  0.000 % |
138.14/138.26	c |    168582 |    1287     2442    61934 |    11789    10925     32 |  0.000 % |
141.44/141.51	c |    172428 |    1287     2442    61934 |    12968     8602     33 |  0.000 % |
146.25/146.31	c |    178195 |    1287     2442    61934 |    14265     7671     33 |  0.000 % |
151.14/151.29	c |    186844 |    1287     2442    61934 |    15692     9125     27 |  0.000 % |
161.54/161.64	c |    199818 |    1287     2442    61934 |    17261    14134     33 |  0.000 % |
180.73/180.83	c There are 0 assigned variables. 0 in cost function.
181.03/181.12	c core #1
181.03/181.12	c core #2
181.03/181.12	c ============================[ Search Statistics ]==============================
181.03/181.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.03/181.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.03/181.12	c ===============================================================================
181.03/181.12	c |         0 |    1245     2471    61869 |     5000        0    nan |  0.000 % |
181.03/181.13	c ===============================================================================
181.03/181.18	c core #3
181.03/181.18	c ============================[ Search Statistics ]==============================
181.03/181.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.03/181.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.03/181.18	c ===============================================================================
181.03/181.18	c |         0 |    1252     2477    61878 |     5000        0    nan |  0.000 % |
181.03/181.19	c ===============================================================================
181.13/181.25	c core #4
181.13/181.25	c ============================[ Search Statistics ]==============================
181.13/181.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.13/181.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.13/181.25	c ===============================================================================
181.13/181.25	c |         0 |    1268     2482    61891 |     5000        0    nan |  0.000 % |
181.13/181.26	c ===============================================================================
181.23/181.31	c core #5
181.23/181.31	c ============================[ Search Statistics ]==============================
181.23/181.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.23/181.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.23/181.31	c ===============================================================================
181.23/181.31	c |         0 |    1277     2487    61905 |     5000        0    nan |  0.000 % |
181.23/181.33	c ===============================================================================
181.23/181.38	c core #6
181.23/181.38	c ============================[ Search Statistics ]==============================
181.23/181.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.23/181.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.23/181.38	c ===============================================================================
181.23/181.38	c |         0 |    1292     2491    61921 |     5000        0    nan |  0.000 % |
181.34/181.43	c ===============================================================================
181.34/181.48	c core #7
181.34/181.48	c ============================[ Search Statistics ]==============================
181.34/181.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.34/181.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.34/181.48	c ===============================================================================
181.34/181.48	c |         0 |    1302     2495    61938 |     5000        0    nan |  0.000 % |
181.44/181.54	c ===============================================================================
181.44/181.59	c core #8
181.44/181.59	c ============================[ Search Statistics ]==============================
181.44/181.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.44/181.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.44/181.59	c ===============================================================================
181.44/181.59	c |         0 |    1313     2499    61957 |     5000        0    nan |  0.000 % |
181.63/181.73	c |       100 |    1313     2499    61957 |     5500      100     17 |  2.452 % |
181.73/181.89	c ===============================================================================
181.83/181.94	c core #9
181.83/181.94	c ============================[ Search Statistics ]==============================
181.83/181.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.83/181.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.83/181.94	c ===============================================================================
181.83/181.94	c |         0 |    1327     2502    61978 |     5000        0    nan |  0.000 % |
181.93/182.08	c |       102 |    1327     2502    61978 |     5500      102     18 |  1.635 % |
182.13/182.23	c |       252 |    1319     2502    61978 |     6050      252     21 |  2.970 % |
182.13/182.28	c ===============================================================================
182.23/182.32	c core #10
182.23/182.32	c ============================[ Search Statistics ]==============================
182.23/182.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.23/182.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.23/182.32	c ===============================================================================
182.23/182.32	c |         0 |    1339     2507    62004 |     5000        0    nan |  0.000 % |
182.33/182.47	c |       101 |    1339     2507    62004 |     5500      101     17 |  1.618 % |
182.54/182.64	c |       252 |    1338     2507    62004 |     6050      252     20 |  1.690 % |
182.83/182.95	c |       477 |    1338     2507    62004 |     6655      477     23 |  1.693 % |
183.13/183.20	c ===============================================================================
183.13/183.26	c core #11
183.13/183.26	c ============================[ Search Statistics ]==============================
183.13/183.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.13/183.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.13/183.26	c ===============================================================================
183.13/183.26	c |         0 |    1354     2512    62036 |     5000        0    nan |  0.000 % |
183.33/183.41	c |       101 |    1354     2512    62036 |     5500      101     18 |  1.599 % |
183.43/183.59	c |       252 |    1354     2512    62036 |     6050      252     21 |  1.599 % |
183.73/183.82	c |       477 |    1354     2512    62036 |     6655      477     21 |  1.599 % |
184.02/184.17	c |       816 |    1354     2512    62036 |     7320      816     23 |  1.599 % |
184.64/184.71	c |      1322 |    1354     2512    62036 |     8052     1322     23 |  1.599 % |
185.43/185.56	c |      2082 |    1354     2512    62036 |     8857     2082     23 |  1.600 % |
186.43/186.57	c ===============================================================================
186.53/186.62	c core #12
186.53/186.62	c ============================[ Search Statistics ]==============================
186.53/186.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.53/186.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.53/186.62	c ===============================================================================
186.53/186.62	c |         0 |    1358     2515    62042 |     5000        0    nan |  0.000 % |
186.63/186.79	c |       100 |    1358     2515    62042 |     5500      100     18 |  1.594 % |
186.93/187.06	c |       250 |    1358     2515    62042 |     6050      250     20 |  1.594 % |
187.23/187.33	c |       475 |    1358     2515    62042 |     6655      475     21 |  1.595 % |
187.63/187.71	c |       813 |    1358     2515    62042 |     7320      813     22 |  1.594 % |
188.12/188.24	c |      1319 |    1358     2515    62042 |     8052     1319     22 |  1.594 % |
188.93/189.03	c |      2078 |    1358     2515    62042 |     8857     2078     24 |  1.594 % |
190.42/190.51	c |      3217 |    1358     2515    62042 |     9743     3217     25 |  1.598 % |
192.44/192.52	c |      4925 |    1352     2515    62042 |    10717     2523     25 |  3.261 % |
192.53/192.63	c ===============================================================================
192.53/192.69	c core #13
192.53/192.69	c ============================[ Search Statistics ]==============================
192.53/192.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.53/192.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.53/192.69	c ===============================================================================
192.53/192.69	c |         0 |    1368     2518    62060 |     5000        0    nan |  0.000 % |
192.73/192.83	c |       100 |    1368     2518    62060 |     5500      100     17 |  1.583 % |
192.83/192.98	c |       251 |    1368     2518    62060 |     6050      251     20 |  1.583 % |
193.13/193.24	c |       477 |    1368     2518    62060 |     6655      477     21 |  1.583 % |
193.43/193.55	c |       814 |    1368     2518    62060 |     7320      814     22 |  1.583 % |
194.03/194.10	c |      1320 |    1362     2518    62060 |     8052     1149     23 |  2.014 % |
194.82/194.95	c |      2079 |    1362     2518    62060 |     8857     1908     23 |  2.014 % |
196.13/196.27	c |      3218 |    1362     2518    62060 |     9743     3047     23 |  2.014 % |
197.94/198.09	c |      4926 |    1362     2518    62060 |    10717     4755     23 |  2.014 % |
201.13/201.25	c |      7488 |    1362     2518    62060 |    11789     7317     24 |  2.015 % |
206.12/206.21	c |     11333 |    1345     2518    62060 |    12968     2682     23 |  3.237 % |
206.63/206.79	c ===============================================================================
206.73/206.84	c core #14
206.73/206.84	c ============================[ Search Statistics ]==============================
206.73/206.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.73/206.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.73/206.84	c ===============================================================================
206.73/206.84	c |         0 |    1381     2520    62090 |     5000        0    nan |  0.000 % |
206.82/206.99	c |       100 |    1381     2520    62090 |     5500      100     17 |  0.790 % |
207.02/207.12	c |       250 |    1374     2520    62090 |     6050      250     21 |  1.509 % |
207.22/207.30	c |       475 |    1374     2520    62090 |     6655      475     22 |  1.509 % |
207.52/207.61	c |       812 |    1371     2520    62090 |     7320      811     23 |  1.509 % |
208.02/208.20	c |      1319 |    1371     2520    62090 |     8052     1318     24 |  1.509 % |
208.83/208.96	c |      2082 |    1371     2520    62090 |     8857     2081     25 |  1.509 % |
210.12/210.29	c |      3221 |    1371     2520    62090 |     9743     3220     26 |  1.509 % |
212.02/212.17	c |      4929 |    1370     2520    62090 |    10717     2012     25 |  1.581 % |
214.52/214.62	c ===============================================================================
214.52/214.69	c core #15
214.52/214.69	c ============================[ Search Statistics ]==============================
214.52/214.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.52/214.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.52/214.69	c ===============================================================================
214.52/214.69	c |         0 |    1403     2524    62137 |     5000        0    nan |  0.000 % |
214.72/214.81	c |       100 |    1403     2524    62137 |     5500      100     18 |  0.778 % |
214.82/214.99	c |       251 |    1403     2524    62137 |     6050      251     22 |  0.778 % |
215.12/215.21	c |       477 |    1403     2524    62137 |     6655      477     24 |  0.778 % |
215.42/215.52	c |       815 |    1403     2524    62137 |     7320      815     24 |  0.778 % |
215.82/215.90	c |      1321 |    1403     2524    62137 |     8052     1321     24 |  0.778 % |
216.63/216.73	c |      2081 |    1403     2524    62137 |     8857     2081     25 |  0.778 % |
217.72/217.82	c |      3220 |    1403     2524    62137 |     9743     3220     25 |  0.778 % |
218.73/218.89	c |      4931 |    1403     2524    62137 |    10717     4931     25 |  0.778 % |
221.03/221.11	c |      7494 |    1403     2524    62137 |    11789     7494     26 |  0.778 % |
224.62/224.74	c |     11339 |    1395     2524    62137 |    12968     9925     28 |  1.344 % |
230.61/230.71	c |     17106 |    1395     2524    62137 |    14265     8687     31 |  1.344 % |
233.02/233.16	c ===============================================================================
233.12/233.25	c core #16
233.12/233.25	c ============================[ Search Statistics ]==============================
233.12/233.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
233.12/233.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
233.12/233.25	c ===============================================================================
233.12/233.25	c |         0 |    1409     2529    62154 |     5000        0    nan |  0.000 % |
233.22/233.35	c |       102 |    1409     2529    62154 |     5500      102     18 |  0.775 % |
233.32/233.45	c |       252 |    1409     2529    62154 |     6050      252     22 |  0.775 % |
233.51/233.66	c |       477 |    1409     2529    62154 |     6655      477     21 |  0.775 % |
233.81/233.93	c |       814 |    1409     2529    62154 |     7320      814     24 |  0.775 % |
234.12/234.30	c |      1320 |    1409     2529    62154 |     8052     1320     24 |  0.775 % |
234.61/234.70	c |      2080 |    1409     2529    62154 |     8857     2080     25 |  0.775 % |
235.42/235.51	c |      3219 |    1409     2529    62154 |     9743     3219     25 |  0.775 % |
236.61/236.72	c |      4928 |    1408     2529    62154 |    10717     4023     26 |  0.845 % |
238.92/239.08	c |      7491 |    1401     2529    62154 |    11789     6574     27 |  1.338 % |
242.71/242.83	c |     11336 |    1401     2529    62154 |    12968    10419     28 |  1.338 % |
248.01/248.10	c |     17103 |    1401     2529    62154 |    14265     9669     28 |  1.339 % |
257.41/257.54	c |     25752 |    1398     2529    62154 |    15692    10060     29 |  1.550 % |
258.11/258.30	c ===============================================================================
258.32/258.41	c core #17
258.32/258.41	c ============================[ Search Statistics ]==============================
258.32/258.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
258.32/258.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
258.32/258.41	c ===============================================================================
258.32/258.41	c |         0 |    1428     2534    62197 |     5000        0    nan |  0.000 % |
258.42/258.53	c |       100 |    1428     2534    62197 |     5500      100     20 |  0.764 % |
258.51/258.67	c |       251 |    1428     2534    62197 |     6050      251     23 |  0.764 % |
258.81/258.93	c |       476 |    1428     2534    62197 |     6655      476     23 |  0.764 % |
259.11/259.20	c |       816 |    1428     2534    62197 |     7320      816     24 |  0.764 % |
259.61/259.74	c |      1322 |    1428     2534    62197 |     8052     1322     24 |  0.764 % |
260.21/260.33	c |      2084 |    1428     2534    62197 |     8857     2084     26 |  0.764 % |
261.21/261.31	c |      3224 |    1428     2534    62197 |     9743     3224     28 |  0.764 % |
263.01/263.12	c |      4932 |    1428     2534    62197 |    10717     4932     28 |  0.764 % |
265.51/265.67	c |      7494 |    1428     2534    62197 |    11789     7494     30 |  0.764 % |
268.60/268.79	c |     11339 |    1428     2534    62197 |    12968    11339     29 |  0.765 % |
274.60/274.70	c |     17107 |    1428     2534    62197 |    14265    10591     28 |  0.764 % |
284.60/284.78	c |     25757 |    1428     2534    62197 |    15692    12036     30 |  0.765 % |
297.69/297.87	c |     38732 |    1428     2534    62197 |    17261     9176     34 |  0.764 % |
319.39/319.56	c |     58193 |    1428     2534    62197 |    18987    11294     34 |  0.764 % |
352.48/352.64	c |     87386 |    1419     2534    62197 |    20886    14244     34 |  1.392 % |
376.87/377.08	c ===============================================================================
377.28/377.40	c core #18
377.28/377.40	c ============================[ Search Statistics ]==============================
377.28/377.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
377.28/377.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
377.28/377.40	c ===============================================================================
377.28/377.40	c |         0 |    1431     2536    62202 |     5000        0    nan |  0.000 % |
377.38/377.51	c |       100 |    1431     2536    62202 |     5500      100     20 |  0.763 % |
377.38/377.59	c |       251 |    1431     2536    62202 |     6050      251     21 |  0.763 % |
377.48/377.69	c |       476 |    1431     2536    62202 |     6655      476     19 |  0.763 % |
377.68/377.80	c |       815 |    1431     2536    62202 |     7320      815     18 |  0.763 % |
377.98/378.14	c |      1321 |    1431     2536    62202 |     8052     1321     21 |  0.763 % |
378.28/378.48	c |      2080 |    1431     2536    62202 |     8857     2080     21 |  0.763 % |
379.18/379.35	c |      3220 |    1431     2536    62202 |     9743     3220     23 |  0.763 % |
380.28/380.42	c |      4930 |    1431     2536    62202 |    10717     4930     24 |  0.763 % |
381.88/382.04	c |      7492 |    1431     2536    62202 |    11789     7492     26 |  0.763 % |
384.78/384.95	c |     11337 |    1431     2536    62202 |    12968    11337     26 |  0.763 % |
388.98/389.10	c |     17103 |    1431     2536    62202 |    14265    10356     28 |  0.763 % |
397.48/397.66	c |     25752 |    1431     2536    62202 |    15692    11593     31 |  0.763 % |
407.67/407.80	c |     38727 |    1431     2536    62202 |    17261     8464     31 |  0.763 % |
426.97/427.15	c |     58188 |    1431     2536    62202 |    18987    10449     31 |  0.763 % |
451.46/451.60	c |     87381 |    1431     2536    62202 |    20886    10688     32 |  0.763 % |
494.35/494.57	c |    131170 |    1431     2536    62202 |    22974    12198     32 |  0.763 % |
562.63/562.88	c |    196855 |    1430     2536    62202 |    25272     7757     29 |  0.833 % |
613.42/613.69	c ===============================================================================
614.02/614.23	c core #19
614.02/614.23	c ============================[ Search Statistics ]==============================
614.02/614.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
614.02/614.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
614.02/614.23	c ===============================================================================
614.02/614.23	c |         0 |    1456     2538    62251 |     5000        0    nan |  0.000 % |
614.12/614.33	c |       101 |    1456     2538    62251 |     5500      101     19 |  0.750 % |
614.22/614.42	c |       251 |    1456     2538    62251 |     6050      251     21 |  0.750 % |
614.31/614.54	c |       477 |    1456     2538    62251 |     6655      477     22 |  0.751 % |
614.51/614.75	c |       814 |    1456     2538    62251 |     7320      814     23 |  0.750 % |
614.81/615.01	c |      1320 |    1456     2538    62251 |     8052     1320     23 |  0.750 % |
615.32/615.52	c |      2079 |    1456     2538    62251 |     8857     2079     25 |  0.750 % |
616.12/616.39	c |      3218 |    1456     2538    62251 |     9743     3218     26 |  0.750 % |
616.93/617.18	c |      4926 |    1456     2538    62251 |    10717     4926     25 |  0.750 % |
618.82/619.07	c |      7489 |    1456     2538    62251 |    11789     7489     26 |  0.750 % |
621.51/621.77	c |     11333 |    1456     2538    62251 |    12968    11333     26 |  0.750 % |
626.61/626.81	c |     17099 |    1456     2538    62251 |    14265    10361     27 |  0.750 % |
634.71/634.99	c |     25750 |    1456     2538    62251 |    15692    11517     28 |  0.750 % |
644.51/644.79	c |     38724 |    1456     2538    62251 |    17261     8660     28 |  0.750 % |
662.61/662.87	c |     58186 |    1456     2538    62251 |    18987    10650     30 |  0.750 % |
689.90/690.19	c |     87378 |    1456     2538    62251 |    20886    11040     30 |  0.750 % |
728.59/728.87	c |    131169 |    1455     2538    62251 |    22974    12565     28 |  0.819 % |
761.78/762.08	c ===============================================================================
762.18/762.46	c core #20
762.18/762.46	c ============================[ Search Statistics ]==============================
762.18/762.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
762.18/762.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
762.18/762.46	c ===============================================================================
762.18/762.46	c |         0 |    1470     2540    62278 |     5000        0    nan |  0.000 % |
762.38/762.63	c |       101 |    1470     2540    62278 |     5500      101     23 |  0.743 % |
762.48/762.75	c |       252 |    1470     2540    62278 |     6050      252     24 |  0.743 % |
762.78/763.02	c |       477 |    1470     2540    62278 |     6655      477     25 |  0.743 % |
763.08/763.31	c |       815 |    1470     2540    62278 |     7320      815     26 |  0.743 % |
763.38/763.62	c |      1321 |    1470     2540    62278 |     8052     1321     26 |  0.743 % |
763.97/764.28	c |      2081 |    1470     2540    62278 |     8857     2081     27 |  0.743 % |
765.17/765.44	c |      3220 |    1470     2540    62278 |     9743     3220     26 |  0.743 % |
766.67/766.96	c |      4928 |    1470     2540    62278 |    10717     4928     26 |  0.743 % |
769.37/769.70	c |      7491 |    1470     2540    62278 |    11789     7491     27 |  0.743 % |
773.57/773.85	c |     11336 |    1470     2540    62278 |    12968    11336     28 |  0.743 % |
778.96/779.20	c |     17102 |    1470     2540    62278 |    14265    10529     27 |  0.743 % |
787.28/787.59	c |     25751 |    1470     2540    62278 |    15692    11981     27 |  0.744 % |
802.77/803.07	c |     38725 |    1470     2540    62278 |    17261     8788     29 |  0.743 % |
823.05/823.31	c |     58187 |    1470     2540    62278 |    18987    10857     28 |  0.743 % |
854.35/854.67	c |     87380 |    1470     2540    62278 |    20886    11292     25 |  0.743 % |
908.13/908.40	c |    131170 |    1470     2540    62278 |    22974    12566     31 |  0.743 % |
987.50/987.88	c |    196855 |    1470     2540    62278 |    25272    18412     29 |  0.743 % |
1123.25/1123.64	c |    295381 |    1470     2540    62278 |    27799    22394     30 |  0.743 % |
1316.59/1317.06	c |    443170 |    1470     2540    62278 |    30579    24552     31 |  0.744 % |
1645.20/1645.72	c |    664855 |    1470     2540    62278 |    33637    25109     31 |  0.743 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656035-1276589002/watcher-2656035-1276589002 -o /tmp/evaluation-result-2656035-1276589002/solver-2656035-1276589002 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656035-1276589002.opb 

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


[startup+0 s]
/proc/loadavg: 1.94 1.98 1.32 3/106 2466
/proc/meminfo: memFree=1686228/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=3048 CPUtime=0
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 291 0 0 0 0 0 0 0 21 0 1 0 193714 3121152 209 1992294400 134512640 135751879 4288739632 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 762 210 142 303 0 339 0

[startup+0.0193151 s]
/proc/loadavg: 1.94 1.98 1.32 3/106 2466
/proc/meminfo: memFree=1686228/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=3324 CPUtime=0.01
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 375 0 0 0 1 0 0 0 21 0 1 0 193714 3403776 293 1992294400 134512640 135751879 4288739632 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 831 293 157 303 0 408 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3324

[startup+0.101322 s]
/proc/loadavg: 1.94 1.98 1.32 3/106 2466
/proc/meminfo: memFree=1686228/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=4680 CPUtime=0.09
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 957 0 0 0 9 0 0 0 22 0 1 0 193714 4792320 746 1992294400 134512640 135751879 4288739632 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 1170 746 146 303 0 865 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4680

[startup+0.301341 s]
/proc/loadavg: 1.94 1.98 1.32 3/106 2466
/proc/meminfo: memFree=1686228/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=4680 CPUtime=0.29
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 958 0 0 0 29 0 0 0 22 0 1 0 193714 4792320 747 1992294400 134512640 135751879 4288739632 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 1170 747 147 303 0 865 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4680

[startup+0.701378 s]
/proc/loadavg: 1.94 1.98 1.32 3/106 2466
/proc/meminfo: memFree=1686228/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=4812 CPUtime=0.69
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 970 0 0 0 69 0 0 0 24 0 1 0 193714 4927488 759 1992294400 134512640 135751879 4288739632 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 1203 759 147 303 0 898 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4812

[startup+1.50145 s]
/proc/loadavg: 1.94 1.98 1.32 2/107 2467
/proc/meminfo: memFree=1683616/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=5076 CPUtime=1.49
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 1051 0 0 0 148 1 0 0 25 0 1 0 193714 5197824 840 1992294400 134512640 135751879 4288739632 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 1269 840 147 303 0 964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5076

[startup+3.1016 s]
/proc/loadavg: 1.94 1.98 1.32 2/107 2467
/proc/meminfo: memFree=1682872/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=5604 CPUtime=3.09
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 1172 0 0 0 307 2 0 0 25 0 1 0 193714 5738496 961 1992294400 134512640 135751879 4288739632 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 1401 961 147 303 0 1096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5604

[startup+6.30089 s]
/proc/loadavg: 1.87 1.97 1.32 2/107 2467
/proc/meminfo: memFree=1681756/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=6528 CPUtime=6.29
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 1418 0 0 0 625 4 0 0 25 0 1 0 193714 6684672 1207 1992294400 134512640 135751879 4288739632 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 1632 1207 148 303 0 1327 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6528

[startup+12.7016 s]
/proc/loadavg: 1.80 1.95 1.32 2/107 2467
/proc/meminfo: memFree=1680020/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=8244 CPUtime=12.69
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 1837 0 0 0 1263 6 0 0 25 0 1 0 193714 8441856 1626 1992294400 134512640 135751879 4288739632 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 2061 1626 148 303 0 1756 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8244

[startup+25.501 s]
/proc/loadavg: 1.62 1.90 1.31 2/107 2467
/proc/meminfo: memFree=1676424/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=11852 CPUtime=25.49
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 2720 0 0 0 2536 13 0 0 25 0 1 0 193714 12136448 2509 1992294400 134512640 135751879 4288739632 18446744073709551615 134611024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 2963 2509 148 303 0 2658 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11852

[startup+51.1006 s]
/proc/loadavg: 1.48 1.85 1.31 2/107 2469
/proc/meminfo: memFree=1669976/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=18324 CPUtime=51.06
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 4364 0 0 0 5083 23 0 0 25 0 1 0 193714 18763776 4153 1992294400 134512640 135751879 4288739632 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 4581 4153 148 303 0 4276 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 18324

[startup+102.308 s]
/proc/loadavg: 1.29 1.73 1.29 2/107 2469
/proc/meminfo: memFree=1657080/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=30880 CPUtime=102.25
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 7497 0 0 0 10181 44 0 0 25 0 1 0 193714 31621120 7286 1992294400 134512640 135751879 4288739632 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 7720 7286 148 303 0 7415 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 30880

[startup+162.301 s]
/proc/loadavg: 1.18 1.61 1.27 2/107 2471
/proc/meminfo: memFree=1642076/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=45932 CPUtime=162.23
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 11239 0 0 0 16153 70 0 0 25 0 1 0 193714 47034368 11028 1992294400 134512640 135751879 4288739632 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 11483 11028 148 303 0 11178 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 45932

[startup+222.301 s]
/proc/loadavg: 1.13 1.51 1.26 2/107 2473
/proc/meminfo: memFree=1636124/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=51616 CPUtime=222.22
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 12678 0 0 0 22133 89 0 0 25 0 1 0 193714 52854784 12467 1992294400 134512640 135751879 4288739632 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 12904 12467 151 303 0 12599 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 51616

[startup+282.301 s]
/proc/loadavg: 1.05 1.42 1.24 2/107 2475
/proc/meminfo: memFree=1631908/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=55996 CPUtime=282.2
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 13780 0 0 0 28112 108 0 0 25 0 1 0 193714 57339904 13569 1992294400 134512640 135751879 4288739632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 13999 13569 151 303 0 13694 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 55996

[startup+342.301 s]
/proc/loadavg: 1.02 1.34 1.23 2/107 2477
/proc/meminfo: memFree=1622608/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=65192 CPUtime=342.19
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 16054 0 0 0 34086 133 0 0 25 0 1 0 193714 66756608 15843 1992294400 134512640 135751879 4288739632 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 16298 15843 151 303 0 15993 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 65192

[startup+402.301 s]
/proc/loadavg: 1.00 1.27 1.21 2/107 2477
/proc/meminfo: memFree=1612440/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=75372 CPUtime=402.17
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 18631 0 0 0 40065 152 0 0 25 0 1 0 193714 77180928 18420 1992294400 134512640 135751879 4288739632 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 18843 18420 151 303 0 18538 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 75372

[startup+462.302 s]
/proc/loadavg: 1.00 1.22 1.19 2/107 2479
/proc/meminfo: memFree=1601776/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=85808 CPUtime=462.16
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 21221 0 0 0 46042 174 0 0 25 0 1 0 193714 87867392 21010 1992294400 134512640 135751879 4288739632 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 21452 21010 151 303 0 21147 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 85808

[startup+522.301 s]
/proc/loadavg: 1.00 1.18 1.18 2/107 2481
/proc/meminfo: memFree=1590616/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=97052 CPUtime=522.15
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 24035 0 0 0 52017 198 0 0 25 0 1 0 193714 99381248 23824 1992294400 134512640 135751879 4288739632 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 24263 23824 151 303 0 23958 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 97052

[startup+582.301 s]
/proc/loadavg: 1.00 1.14 1.16 2/107 2483
/proc/meminfo: memFree=1577968/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=109608 CPUtime=582.13
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 27173 0 0 0 57992 221 0 0 25 0 1 0 193714 112238592 26962 1992294400 134512640 135751879 4288739632 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 27402 26962 151 303 0 27097 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 109608

[startup+642.301 s]
/proc/loadavg: 1.00 1.11 1.15 2/107 2485
/proc/meminfo: memFree=1567676/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=119656 CPUtime=642.11
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 29677 0 0 0 63967 244 0 0 25 0 1 0 193714 122527744 29466 1992294400 134512640 135751879 4288739632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 29914 29466 151 303 0 29609 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 119656

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.06 1.12 2/107 2489
/proc/meminfo: memFree=1544240/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=142808 CPUtime=822.06
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 35472 0 0 0 81894 312 0 0 25 0 1 0 193714 146235392 35261 1992294400 134512640 135751879 4288739632 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 35702 35261 151 303 0 35397 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 142808

[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.11 2/107 2491
/proc/meminfo: memFree=1536428/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=150624 CPUtime=882.04
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 37423 0 0 0 87873 331 0 0 25 0 1 0 193714 154238976 37212 1992294400 134512640 135751879 4288739632 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 37656 37212 151 303 0 37351 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 150624

[startup+942.302 s]
/proc/loadavg: 1.00 1.03 1.09 2/107 2493
/proc/meminfo: memFree=1528740/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=158184 CPUtime=942.01
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 39322 0 0 0 93852 349 0 0 25 0 1 0 193714 161980416 39111 1992294400 134512640 135751879 4288739632 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 39546 39111 151 303 0 39241 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 158184

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.09 2/107 2493
/proc/meminfo: memFree=1520804/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=166004 CPUtime=1001.99
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 41268 0 0 0 99832 367 0 0 25 0 1 0 193714 169988096 41057 1992294400 134512640 135751879 4288739632 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 41501 41057 151 303 0 41196 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 166004

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.08 2/107 2495
/proc/meminfo: memFree=1512868/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=174100 CPUtime=1061.97
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 43272 0 0 0 105812 385 0 0 25 0 1 0 193714 178278400 43061 1992294400 134512640 135751879 4288739632 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 43525 43061 151 303 0 43220 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 174100

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 2497
/proc/meminfo: memFree=1504188/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=182740 CPUtime=1121.95
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 45456 0 0 0 111792 403 0 0 25 0 1 0 193714 187125760 45245 1992294400 134512640 135751879 4288739632 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 45685 45245 151 303 0 45380 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 182740

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.07 2/107 2499
/proc/meminfo: memFree=1494516/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=192456 CPUtime=1181.94
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 47864 0 0 0 117772 422 0 0 25 0 1 0 193714 197074944 47653 1992294400 134512640 135751879 4288739632 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 48114 47653 151 303 0 47809 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 192456

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2501
/proc/meminfo: memFree=1485340/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=201372 CPUtime=1241.91
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 50072 0 0 0 123750 441 0 0 25 0 1 0 193714 206204928 49861 1992294400 134512640 135751879 4288739632 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 50343 49861 151 303 0 50038 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 201372

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2501
/proc/meminfo: memFree=1476908/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=209556 CPUtime=1301.91
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 52121 0 0 0 129730 461 0 0 25 0 1 0 193714 214585344 51910 1992294400 134512640 135751879 4288739632 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 52389 51910 151 303 0 52084 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 209556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 2503
/proc/meminfo: memFree=1468352/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=218168 CPUtime=1361.88
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 54292 0 0 0 135708 480 0 0 25 0 1 0 193714 223404032 54081 1992294400 134512640 135751879 4288739632 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 54542 54081 151 303 0 54237 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 218168

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 2505
/proc/meminfo: memFree=1460044/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=226352 CPUtime=1421.87
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 56337 0 0 0 141690 497 0 0 25 0 1 0 193714 231784448 56126 1992294400 134512640 135751879 4288739632 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 56588 56126 151 303 0 56283 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 226352

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 2507
/proc/meminfo: memFree=1451984/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=234576 CPUtime=1481.85
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 58366 0 0 0 147669 516 0 0 25 0 1 0 193714 240205824 58155 1992294400 134512640 135751879 4288739632 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 58644 58155 151 303 0 58339 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 234576

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 2509
/proc/meminfo: memFree=1444048/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=242396 CPUtime=1541.83
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 60323 0 0 0 153647 536 0 0 25 0 1 0 193714 248213504 60112 1992294400 134512640 135751879 4288739632 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 60599 60112 151 303 0 60294 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 242396

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 2509
/proc/meminfo: memFree=1436484/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=250052 CPUtime=1601.81
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 62257 0 0 0 159627 554 0 0 25 0 1 0 193714 256053248 62046 1992294400 134512640 135751879 4288739632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 62513 62046 151 303 0 62208 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 250052

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 2511
/proc/meminfo: memFree=1428424/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=257972 CPUtime=1661.79
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 64227 0 0 0 165609 570 0 0 25 0 1 0 193714 264163328 64016 1992294400 134512640 135751879 4288739632 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 64493 64016 151 303 0 64188 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 257972

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 2513
/proc/meminfo: memFree=1420736/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=265628 CPUtime=1721.77
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 66137 0 0 0 171588 589 0 0 25 0 1 0 193714 272003072 65926 1992294400 134512640 135751879 4288739632 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 66407 65926 151 303 0 66102 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 265628

[startup+1782.3 s]
/proc/loadavg: 1.06 1.01 1.02 2/107 2518
/proc/meminfo: memFree=1378552/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=273956 CPUtime=1781.75
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 68232 0 0 0 177566 609 0 0 25 0 1 0 193714 280530944 68021 1992294400 134512640 135751879 4288739632 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 68489 68021 151 303 0 68184 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 273956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.04 1.01 1.01 2/107 2518
/proc/meminfo: memFree=1375948/2059040 swapFree=4192956/4192956
[pid=2466] ppid=2464 vsize=276472 CPUtime=1800.06
/proc/2466/stat : 2466 (wbo1.4b) R 2464 2466 2306 0 -1 4202496 68842 0 0 0 179391 615 0 0 25 0 1 0 193714 283107328 68631 1992294400 134512640 135751879 4288739632 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2466/statm: 69118 68631 151 303 0 68813 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 276472

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.64
CPU time (s): 1800.08
CPU user time (s): 1793.91
CPU system time (s): 6.17306
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 276472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.91
system time used= 6.17306
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 4864

runsolver used 2.70259 second user time and 8.80266 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-15 10:03:22
IDJOB=2656035
IDBENCH=2643
IDSOLVER=1161
FILE ID=node087/2656035-1276589002
PBS_JOBID= 11173547
Free space on /tmp= 62432 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656035-1276589002/watcher-2656035-1276589002 -o /tmp/evaluation-result-2656035-1276589002/solver-2656035-1276589002 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656035-1276589002.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5946eb43fefc6e626d35d99afd3eec42
RANDOM SEED=2039057638

node087.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1686756 kB
Buffers:         15684 kB
Cached:         250912 kB
SwapCached:          0 kB
Active:         104520 kB
Inactive:       221764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1686756 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3124 kB
Writeback:           0 kB
AnonPages:       59684 kB
Mapped:          15684 kB
Slab:            24224 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181004 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62432 MiB
End job on node087 at 2010-06-15 10:33:25