Trace number 2680676

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 (fixed)? (TO) 1800.05 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
MD5SUM308ce6e771b8240fefc971d6e27a7575
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark154
Best CPU time to get the best result obtained on this benchmark1798.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 142
Optimality of the best value was proved NO
Number of variables3297
Total number of constraints6383
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1411
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680676-1277456185.opb.
0.00/0.00	c Instance file HOME/instance-2680676-1277456185.opb
0.00/0.00	c File size is 1531615 bytes.
0.29/0.30	c Highest Coefficient sum: 1411
0.29/0.30	c ============================[ Problem Statistics ]=============================
0.29/0.30	c |                                                                             |
0.29/0.30	c |  Parsing time:          0.30         s                                      |
0.29/0.30	c |  Number Variables:      3297                                                |
0.29/0.30	c |  Number Clauses:        0                                                   |
0.29/0.30	c |  Number Cardinality:    0                                                   |
0.29/0.30	c |  Number PB Constraints: 6383                                                |
0.29/0.31	c ============================[ Search Statistics ]==============================
0.29/0.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.31	c ===============================================================================
0.29/0.31	c |         0 |    3297     6383   190034 |     5000        0    nan |  0.000 % |
0.89/0.93	c |       101 |    3297     6383   190034 |     5500      101     28 |  0.000 % |
1.29/1.32	c |       251 |    3297     6383   190034 |     6050      251     26 |  0.000 % |
1.79/1.80	c |       478 |    3297     6383   190034 |     6655      478     27 |  0.000 % |
2.69/2.77	c |       815 |    3297     6383   190034 |     7320      815     29 |  0.000 % |
3.69/3.74	c |      1321 |    3297     6383   190034 |     8052     1321     29 |  0.000 % |
5.99/6.07	c |      2080 |    3297     6383   190034 |     8857     2080     31 |  0.000 % |
7.79/7.81	c ===============================================================================
7.79/7.81	c New solution: 192
7.79/7.81	o 192
7.79/7.81	c Elapsed CPU time: 7.79082 s	Remaining CPU time: 172.209 s
7.79/7.81	c ===============================================================================
7.79/7.81	c |      2979 |    3297     6384   190042 |     5000     2979     32 |  0.000 % |
8.09/8.11	c |      3079 |    3297     6384   190042 |     5500     3079     32 |  0.000 % |
8.39/8.47	c |      3229 |    3297     6384   190042 |     6050     3229     32 |  0.000 % |
8.89/8.95	c |      3454 |    3297     6384   190042 |     6655     3454     32 |  0.000 % |
9.59/9.62	c |      3791 |    3297     6384   190042 |     7320     3791     32 |  0.000 % |
10.49/10.51	c |      4297 |    3297     6384   190042 |     8052     4297     32 |  0.000 % |
12.19/12.22	c |      5056 |    3297     6384   190042 |     8857     5056     32 |  0.000 % |
14.79/14.85	c |      6196 |    3297     6384   190042 |     9743     6196     34 |  0.000 % |
19.19/19.27	c |      7905 |    3297     6384   190042 |    10717     7905     35 |  0.000 % |
27.28/27.37	c |     10467 |    3297     6384   190042 |    11789    10467     38 |  0.000 % |
34.48/34.51	c |     14312 |    3297     6384   190042 |    12968     8356     37 |  0.000 % |
44.18/44.26	c |     20078 |    3297     6384   190042 |    14265     7607     29 |  0.000 % |
66.47/66.60	c |     28727 |    3297     6384   190042 |    15692    16256     33 |  0.000 % |
90.66/90.75	c ===============================================================================
90.66/90.75	c New solution: 191
90.66/90.75	o 191
90.66/90.75	c Elapsed CPU time: 90.4882 s	Remaining CPU time: 89.5118 s
90.66/90.75	c ===============================================================================
90.66/90.75	c |     39706 |    3297     6385   190050 |     5000    11214     30 |  0.000 % |
90.96/91.04	c |     39806 |    3297     6385   190050 |     5500     2904     35 |  0.000 % |
91.35/91.41	c |     39956 |    3297     6385   190050 |     6050     3054     34 |  0.000 % |
91.96/92.02	c |     40182 |    3297     6385   190050 |     6655     3280     34 |  0.000 % |
92.66/92.73	c |     40521 |    3297     6385   190050 |     7320     3619     34 |  0.000 % |
93.66/93.78	c |     41027 |    3297     6385   190050 |     8052     4125     34 |  0.000 % |
95.25/95.33	c |     41787 |    3297     6385   190050 |     8857     4885     35 |  0.000 % |
97.16/97.28	c |     42927 |    3297     6385   190050 |     9743     6025     35 |  0.000 % |
100.76/100.82	c |     44635 |    3297     6385   190050 |    10717     7733     35 |  0.000 % |
107.05/107.19	c |     47198 |    3297     6385   190050 |    11789    10296     36 |  0.000 % |
115.35/115.50	c |     51043 |    3297     6385   190050 |    12968     7195     34 |  0.000 % |
132.85/132.92	c |     56809 |    3297     6385   190050 |    14265    12961     36 |  0.000 % |
139.84/139.98	c ===============================================================================
139.84/139.98	c New solution: 190
139.84/139.98	o 190
139.84/139.98	c Elapsed CPU time: 139.585 s	Remaining CPU time: 40.4152 s
139.84/139.98	c ===============================================================================
139.84/139.98	c |     59610 |    3297     6386   190058 |     5000    15762     37 |  0.000 % |
140.24/140.33	c |     59711 |    3297     6386   190058 |     5500     4042     44 |  0.000 % |
140.65/140.72	c |     59862 |    3297     6386   190058 |     6050     4193     43 |  0.000 % |
141.24/141.30	c |     60088 |    3297     6386   190058 |     6655     4419     43 |  0.000 % |
141.94/142.05	c |     60425 |    3297     6386   190058 |     7320     4756     43 |  0.000 % |
143.04/143.15	c |     60932 |    3297     6386   190058 |     8052     5263     42 |  0.000 % |
144.04/144.15	c ===============================================================================
144.04/144.15	c New solution: 184
144.04/144.15	o 184
144.04/144.15	c Elapsed CPU time: 143.746 s	Remaining CPU time: 36.2539 s
144.04/144.15	c ===============================================================================
144.04/144.15	c |     61365 |    3297     6387   190066 |     5000     5696     41 |  0.000 % |
144.24/144.35	c |     61465 |    3297     6387   190066 |     5500     2948     39 |  0.000 % |
144.54/144.67	c |     61618 |    3297     6387   190066 |     6050     3101     38 |  0.000 % |
144.94/145.08	c |     61844 |    3297     6387   190066 |     6655     3327     38 |  0.000 % |
145.44/145.55	c |     62182 |    3297     6387   190066 |     7320     3665     37 |  0.000 % |
146.34/146.50	c |     62689 |    3297     6387   190066 |     8052     4172     36 |  0.000 % |
147.73/147.87	c |     63448 |    3297     6387   190066 |     8857     4931     35 |  0.000 % |
149.84/149.96	c |     64589 |    3297     6387   190066 |     9743     6072     34 |  0.000 % |
153.34/153.49	c |     66298 |    3297     6387   190066 |    10717     7781     37 |  0.000 % |
158.63/158.73	c |     68861 |    3297     6387   190066 |    11789    10344     36 |  0.000 % |
169.43/169.57	c |     72706 |    3297     6387   190066 |    12968     7460     36 |  0.000 % |
169.73/169.86	c ===============================================================================
169.73/169.86	c New solution: 177
169.73/169.86	o 177
169.73/169.86	c Elapsed CPU time: 169.365 s	Remaining CPU time: 10.6347 s
169.73/169.86	c ===============================================================================
169.73/169.86	c |     72843 |    3297     6388   190074 |     5000     7597     36 |  0.000 % |
170.03/170.15	c |     72945 |    3297     6388   190074 |     5500     3901     37 |  0.000 % |
170.63/170.71	c |     73097 |    3297     6388   190074 |     6050     4053     36 |  0.000 % |
171.13/171.21	c |     73322 |    3297     6388   190074 |     6655     4278     36 |  0.000 % |
171.73/171.83	c |     73660 |    3297     6388   190074 |     7320     4616     36 |  0.000 % |
173.02/173.15	c |     74167 |    3297     6388   190074 |     8052     5123     37 |  0.000 % |
174.33/174.43	c |     74927 |    3297     6388   190074 |     8857     5883     36 |  0.000 % |
176.83/176.90	c |     76066 |    3297     6388   190074 |     9743     7022     35 |  0.000 % |
180.33/180.46	c |     77775 |    3297     6388   190074 |    10717     8731     37 |  0.000 % |
180.42/180.54	c There are 0 assigned variables. 0 in cost function.
180.83/180.97	c core #1
180.83/180.97	c 
180.83/180.97	c 
180.83/180.97	c Core size: 9	Core Weight: 1	Total Weight: 1
180.83/180.97	c
180.83/180.97	c
180.83/180.97	c core #2
180.83/180.97	c 
180.83/180.97	c 
180.83/180.97	c Core size: 11	Core Weight: 1	Total Weight: 2
180.83/180.97	c
180.83/180.97	c
180.83/180.97	c ============================[ Search Statistics ]==============================
180.83/180.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.83/180.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.83/180.97	c ===============================================================================
180.83/180.97	c |         0 |    3228     6411   190055 |     5000        0    nan |  0.000 % |
180.83/180.98	c ===============================================================================
181.03/181.12	c core #3
181.03/181.12	c 
181.03/181.12	c 
181.03/181.12	c Core size: 15	Core Weight: 1	Total Weight: 3
181.03/181.12	c
181.03/181.12	c
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 |    3236     6418   190065 |     5000        0    nan |  0.000 % |
181.03/181.13	c ===============================================================================
181.13/181.28	c core #4
181.13/181.28	c 
181.13/181.28	c 
181.13/181.28	c Core size: 14	Core Weight: 1	Total Weight: 4
181.13/181.28	c
181.13/181.28	c
181.13/181.28	c ============================[ Search Statistics ]==============================
181.13/181.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.13/181.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.13/181.28	c ===============================================================================
181.13/181.28	c |         0 |    3256     6424   190079 |     5000        0    nan |  0.000 % |
181.23/181.31	c ===============================================================================
181.34/181.44	c core #5
181.34/181.44	c 
181.34/181.44	c 
181.34/181.44	c Core size: 16	Core Weight: 1	Total Weight: 5
181.34/181.44	c
181.34/181.44	c
181.34/181.44	c ============================[ Search Statistics ]==============================
181.34/181.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.34/181.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.34/181.44	c ===============================================================================
181.34/181.44	c |         0 |    3266     6430   190094 |     5000        0    nan |  0.000 % |
181.34/181.50	c ===============================================================================
181.53/181.65	c core #6
181.53/181.65	c 
181.53/181.65	c 
181.53/181.65	c Core size: 15	Core Weight: 3	Total Weight: 8
181.53/181.65	c
181.53/181.65	c
181.53/181.65	c ============================[ Search Statistics ]==============================
181.53/181.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.53/181.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.53/181.65	c ===============================================================================
181.53/181.65	c |         0 |    3285     6435   190111 |     5000        0    nan |  0.000 % |
181.63/181.75	c ===============================================================================
181.73/181.89	c core #7
181.73/181.89	c 
181.73/181.89	c 
181.73/181.89	c Core size: 19	Core Weight: 1	Total Weight: 9
181.73/181.89	c
181.73/181.89	c
181.73/181.89	c ============================[ Search Statistics ]==============================
181.73/181.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.73/181.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.73/181.89	c ===============================================================================
181.73/181.89	c |         0 |    3296     6440   190129 |     5000        0    nan |  0.000 % |
181.93/182.09	c ===============================================================================
182.13/182.24	c core #8
182.13/182.24	c 
182.13/182.24	c 
182.13/182.24	c Core size: 18	Core Weight: 1	Total Weight: 10
182.13/182.24	c
182.13/182.24	c
182.13/182.24	c ============================[ Search Statistics ]==============================
182.13/182.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.13/182.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.13/182.24	c ===============================================================================
182.13/182.24	c |         0 |    3308     6445   190149 |     5000        0    nan |  0.000 % |
182.53/182.67	c |       101 |    3308     6445   190149 |     5500      101     21 |  1.665 % |
183.03/183.14	c |       251 |    3307     6445   190149 |     6050      251     21 |  1.695 % |
183.23/183.33	c ===============================================================================
183.33/183.47	c core #9
183.33/183.47	c 
183.33/183.47	c 
183.33/183.47	c Core size: 15	Core Weight: 6	Total Weight: 16
183.33/183.47	c
183.33/183.47	c
183.33/183.47	c ============================[ Search Statistics ]==============================
183.33/183.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.33/183.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.33/183.47	c ===============================================================================
183.33/183.47	c |         0 |    3326     6449   190171 |     5000        0    nan |  0.000 % |
183.82/183.96	c |       100 |    3326     6449   190171 |     5500      100     23 |  1.248 % |
184.52/184.60	c |       250 |    3312     6449   190171 |     6050      250     25 |  4.157 % |
184.52/184.65	c ===============================================================================
184.63/184.80	c core #10
184.63/184.80	c 
184.63/184.80	c 
184.63/184.80	c Core size: 35	Core Weight: 1	Total Weight: 17
184.63/184.80	c
184.63/184.80	c
184.63/184.80	c ============================[ Search Statistics ]==============================
184.63/184.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.63/184.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.63/184.80	c ===============================================================================
184.63/184.80	c |         0 |    3339     6455   190198 |     5000        0    nan |  0.000 % |
185.12/185.28	c |       101 |    3339     6455   190198 |     5500      101     22 |  1.242 % |
185.73/185.86	c |       251 |    3339     6455   190198 |     6050      251     26 |  1.242 % |
186.72/186.85	c |       476 |    3339     6455   190198 |     6655      476     26 |  1.242 % |
188.33/188.41	c |       815 |    3331     6455   190198 |     7320      434     26 |  1.720 % |
188.43/188.55	c ===============================================================================
188.53/188.70	c core #11
188.53/188.70	c 
188.53/188.70	c 
188.53/188.70	c Core size: 37	Core Weight: 1	Total Weight: 18
188.53/188.70	c
188.53/188.70	c
188.53/188.70	c ============================[ Search Statistics ]==============================
188.53/188.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.53/188.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.53/188.70	c ===============================================================================
188.53/188.70	c |         0 |    3351     6461   190223 |     5000        0    nan |  0.000 % |
189.03/189.13	c |       101 |    3351     6461   190223 |     5500      101     22 |  1.238 % |
189.53/189.66	c |       252 |    3351     6461   190223 |     6050      252     24 |  1.238 % |
190.32/190.41	c |       477 |    3351     6461   190223 |     6655      477     25 |  1.238 % |
191.42/191.56	c |       814 |    3351     6461   190223 |     7320      814     27 |  1.238 % |
193.22/193.33	c |      1321 |    3351     6461   190223 |     8052     1321     28 |  1.238 % |
195.82/195.98	c |      2080 |    3328     6461   190223 |     8857     1757     29 |  1.916 % |
196.83/196.94	c ===============================================================================
196.92/197.09	c core #12
196.92/197.09	c 
196.92/197.09	c 
196.92/197.09	c Core size: 26	Core Weight: 1	Total Weight: 19
196.92/197.09	c
196.92/197.09	c
196.92/197.09	c ============================[ Search Statistics ]==============================
196.92/197.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.92/197.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.92/197.09	c ===============================================================================
196.92/197.09	c |         0 |    3356     6465   190230 |     5000        0    nan |  0.000 % |
197.32/197.47	c |       100 |    3356     6465   190230 |     5500      100     22 |  1.236 % |
198.02/198.10	c |       250 |    3356     6465   190230 |     6050      250     27 |  1.236 % |
198.62/198.78	c |       476 |    3356     6465   190230 |     6655      476     26 |  1.236 % |
199.72/199.81	c |       814 |    3356     6465   190230 |     7320      814     28 |  1.236 % |
201.51/201.66	c |      1322 |    3356     6465   190230 |     8052     1322     28 |  1.236 % |
203.81/203.95	c |      2081 |    3356     6465   190230 |     8857     2081     30 |  1.236 % |
207.51/207.61	c |      3221 |    3340     6465   190230 |     9743      410     28 |  1.707 % |
207.82/207.94	c ===============================================================================
207.91/208.08	c core #13
207.91/208.08	c 
207.91/208.08	c 
207.91/208.08	c Core size: 48	Core Weight: 1	Total Weight: 20
207.91/208.08	c
207.91/208.08	c
207.91/208.08	c ============================[ Search Statistics ]==============================
207.91/208.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.91/208.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.91/208.08	c ===============================================================================
207.91/208.08	c |         0 |    3371     6469   190257 |     5000        0    nan |  0.000 % |
208.41/208.53	c |       101 |    3371     6469   190257 |     5500      101     28 |  1.231 % |
208.93/209.08	c |       252 |    3371     6469   190257 |     6050      252     30 |  1.231 % |
209.72/209.80	c |       478 |    3371     6469   190257 |     6655      478     30 |  1.231 % |
210.62/210.70	c |       816 |    3371     6469   190257 |     7320      816     30 |  1.231 % |
212.22/212.36	c |      1324 |    3364     6469   190257 |     8052     1307     30 |  1.436 % |
214.71/214.84	c |      2083 |    3364     6469   190257 |     8857     2066     30 |  1.436 % |
218.01/218.14	c |      3224 |    3358     6469   190257 |     9743     3115     30 |  1.671 % |
220.92/221.08	c ===============================================================================
221.11/221.23	c core #14
221.11/221.23	c 
221.11/221.23	c 
221.11/221.23	c Core size: 30	Core Weight: 12	Total Weight: 32
221.11/221.23	c
221.11/221.23	c
221.11/221.23	c ============================[ Search Statistics ]==============================
221.11/221.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
221.11/221.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
221.11/221.23	c ===============================================================================
221.11/221.23	c |         0 |    3388     6472   190288 |     5000        0    nan |  0.000 % |
221.61/221.72	c |       100 |    3388     6472   190288 |     5500      100     21 |  0.820 % |
222.12/222.25	c |       250 |    3382     6472   190288 |     6050      250     23 |  1.200 % |
222.81/222.96	c |       476 |    3381     6472   190288 |     6655      476     25 |  1.200 % |
223.71/223.88	c |       813 |    3379     6472   190288 |     7320      813     25 |  1.288 % |
225.21/225.31	c |      1320 |    3372     6472   190288 |     8052     1020     27 |  1.288 % |
227.61/227.79	c |      2079 |    3372     6472   190288 |     8857     1779     28 |  1.288 % |
232.40/232.53	c |      3220 |    3372     6472   190288 |     9743     2920     30 |  1.288 % |
237.70/237.86	c |      4929 |    3371     6472   190288 |    10717     3640     32 |  1.317 % |
246.30/246.44	c |      7492 |    3351     6472   190288 |    11789     3013     33 | 22.131 % |
246.40/246.54	c ===============================================================================
246.59/246.70	c core #15
246.59/246.70	c 
246.59/246.70	c 
246.59/246.70	c Core size: 56	Core Weight: 1	Total Weight: 33
246.59/246.70	c
246.59/246.70	c
246.59/246.70	c ============================[ Search Statistics ]==============================
246.59/246.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
246.59/246.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
246.59/246.70	c ===============================================================================
246.59/246.70	c |         0 |    3421     6477   190356 |     5000        0    nan |  0.000 % |
246.99/247.17	c |       101 |    3421     6477   190356 |     5500      101     23 |  0.812 % |
247.59/247.77	c |       253 |    3421     6477   190356 |     6050      253     23 |  0.812 % |
248.80/248.94	c |       478 |    3421     6477   190356 |     6655      478     27 |  0.812 % |
250.10/250.26	c |       817 |    3421     6477   190356 |     7320      817     31 |  0.812 % |
251.89/252.06	c |      1323 |    3421     6477   190356 |     8052     1323     32 |  0.812 % |
254.19/254.37	c |      2084 |    3421     6477   190356 |     8857     2084     32 |  0.812 % |
257.30/257.47	c |      3224 |    3421     6477   190356 |     9743     3224     31 |  0.812 % |
262.69/262.86	c |      4932 |    3412     6477   190356 |    10717     4926     32 |  1.073 % |
269.49/269.60	c |      7494 |    3411     6477   190356 |    11789     5525     30 |  1.102 % |
277.98/278.10	c |     11338 |    3411     6477   190356 |    12968     9369     29 |  1.102 % |
285.08/285.28	c ===============================================================================
285.28/285.44	c core #16
285.28/285.44	c 
285.28/285.44	c 
285.28/285.44	c Core size: 26	Core Weight: 1	Total Weight: 34
285.28/285.44	c
285.28/285.44	c
285.28/285.44	c ============================[ Search Statistics ]==============================
285.28/285.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
285.28/285.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
285.28/285.44	c ===============================================================================
285.28/285.44	c |         0 |    3428     6483   190374 |     5000        0    nan |  0.000 % |
285.68/285.87	c |       100 |    3428     6483   190374 |     5500      100     22 |  0.810 % |
286.18/286.33	c |       252 |    3428     6483   190374 |     6050      252     24 |  0.810 % |
286.68/286.86	c |       478 |    3428     6483   190374 |     6655      478     25 |  0.810 % |
287.48/287.65	c |       816 |    3428     6483   190374 |     7320      816     25 |  0.810 % |
288.88/289.01	c |      1322 |    3428     6483   190374 |     8052     1322     27 |  0.810 % |
290.38/290.54	c |      2081 |    3428     6483   190374 |     8857     2081     28 |  0.810 % |
293.78/293.91	c |      3220 |    3428     6483   190374 |     9743     3220     30 |  0.810 % |
298.98/299.11	c |      4928 |    3428     6483   190374 |    10717     4928     30 |  0.810 % |
306.97/307.19	c |      7491 |    3428     6483   190374 |    11789     7491     30 |  0.811 % |
321.87/322.06	c |     11336 |    3428     6483   190374 |    12968    11336     31 |  0.810 % |
338.86/339.03	c |     17102 |    3428     6483   190374 |    14265    10546     33 |  0.810 % |
357.65/357.87	c ===============================================================================
357.85/358.03	c core #17
357.85/358.03	c 
357.85/358.03	c 
357.85/358.03	c Core size: 34	Core Weight: 1	Total Weight: 35
357.85/358.03	c
357.85/358.03	c
357.85/358.03	c ============================[ Search Statistics ]==============================
357.85/358.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
357.85/358.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
357.85/358.03	c ===============================================================================
357.85/358.03	c |         0 |    3444     6489   190410 |     5000        0    nan |  0.000 % |
358.15/358.36	c |       100 |    3444     6489   190410 |     5500      100     23 |  0.806 % |
358.66/358.88	c |       251 |    3444     6489   190410 |     6050      251     20 |  0.806 % |
359.56/359.72	c |       476 |    3444     6489   190410 |     6655      476     24 |  0.806 % |
360.25/360.49	c |       814 |    3444     6489   190410 |     7320      814     24 |  0.807 % |
361.66/361.82	c |      1320 |    3444     6489   190410 |     8052     1320     25 |  0.806 % |
363.65/363.84	c |      2079 |    3444     6489   190410 |     8857     2079     27 |  0.806 % |
367.35/367.56	c |      3218 |    3444     6489   190410 |     9743     3218     29 |  0.806 % |
372.25/372.43	c |      4928 |    3444     6489   190410 |    10717     4928     30 |  0.806 % |
380.05/380.28	c |      7490 |    3444     6489   190410 |    11789     7490     30 |  0.806 % |
390.84/391.03	c |     11335 |    3431     6489   190410 |    12968     8723     30 |  1.181 % |
394.04/394.26	c ===============================================================================
394.24/394.42	c core #18
394.24/394.42	c 
394.24/394.42	c 
394.24/394.42	c Core size: 24	Core Weight: 1	Total Weight: 36
394.24/394.42	c
394.24/394.42	c
394.24/394.42	c ============================[ Search Statistics ]==============================
394.24/394.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
394.24/394.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
394.24/394.42	c ===============================================================================
394.24/394.42	c |         0 |    3456     6494   190436 |     5000        0    nan |  0.000 % |
394.54/394.72	c |       100 |    3456     6494   190436 |     5500      100     24 |  0.804 % |
395.04/395.29	c |       250 |    3456     6494   190436 |     6050      250     22 |  0.804 % |
396.14/396.35	c |       476 |    3456     6494   190436 |     6655      476     25 |  0.804 % |
397.24/397.42	c |       815 |    3456     6494   190436 |     7320      815     25 |  0.804 % |
398.64/398.86	c |      1322 |    3456     6494   190436 |     8052     1322     26 |  0.804 % |
401.54/401.77	c |      2081 |    3456     6494   190436 |     8857     2081     27 |  0.804 % |
404.94/405.15	c |      3220 |    3456     6494   190436 |     9743     3220     28 |  0.804 % |
411.44/411.62	c |      4928 |    3456     6494   190436 |    10717     4928     29 |  0.804 % |
420.03/420.24	c |      7493 |    3456     6494   190436 |    11789     7493     30 |  0.804 % |
433.13/433.38	c |     11338 |    3456     6494   190436 |    12968    11338     34 |  0.804 % |
453.92/454.14	c |     17104 |    3456     6494   190436 |    14265    10493     36 |  0.804 % |
483.41/483.68	c |     25755 |    3449     6494   190436 |    15692    11860     35 |  1.005 % |
521.49/521.76	c |     38730 |    3448     6494   190436 |    17261     8078     34 |  1.033 % |
539.99/540.23	c ===============================================================================
540.19/540.47	c core #19
540.19/540.47	c 
540.19/540.47	c 
540.19/540.47	c Core size: 17	Core Weight: 2	Total Weight: 38
540.19/540.47	c
540.19/540.47	c
540.19/540.47	c ============================[ Search Statistics ]==============================
540.19/540.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
540.19/540.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
540.19/540.47	c ===============================================================================
540.19/540.47	c |         0 |    3460     6497   190442 |     5000        0    nan |  0.000 % |
540.59/540.80	c |       100 |    3460     6497   190442 |     5500      100     22 |  0.803 % |
541.08/541.35	c |       250 |    3460     6497   190442 |     6050      250     26 |  0.803 % |
541.58/541.84	c |       475 |    3460     6497   190442 |     6655      475     28 |  0.803 % |
542.59/542.80	c |       812 |    3460     6497   190442 |     7320      812     27 |  0.803 % |
543.89/544.19	c |      1319 |    3460     6497   190442 |     8052     1319     26 |  0.803 % |
545.68/545.99	c |      2079 |    3460     6497   190442 |     8857     2079     26 |  0.803 % |
549.58/549.87	c |      3218 |    3460     6497   190442 |     9743     3218     28 |  0.803 % |
553.78/554.01	c |      4926 |    3460     6497   190442 |    10717     4926     29 |  0.803 % |
557.88/558.19	c |      7488 |    3460     6497   190442 |    11789     7488     28 |  0.803 % |
568.17/568.41	c |     11332 |    3460     6497   190442 |    12968    11332     30 |  0.803 % |
585.67/585.99	c |     17098 |    3460     6497   190442 |    14265    10505     32 |  0.803 % |
607.36/607.64	c |     25747 |    3460     6497   190442 |    15692    11838     30 |  0.803 % |
641.85/642.15	c |     38722 |    3460     6497   190442 |    17261     8624     32 |  0.803 % |
692.83/693.18	c |     58184 |    3460     6497   190442 |    18987    10578     31 |  0.803 % |
698.82/699.10	c ===============================================================================
698.93/699.29	c core #20
698.93/699.29	c 
698.93/699.29	c 
698.93/699.29	c Core size: 22	Core Weight: 1	Total Weight: 39
698.93/699.29	c
698.93/699.29	c
698.93/699.29	c ============================[ Search Statistics ]==============================
698.93/699.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
698.93/699.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
698.93/699.29	c ===============================================================================
698.93/699.29	c |         0 |    3469     6500   190458 |     5000        0    nan |  0.000 % |
699.42/699.73	c |       100 |    3469     6500   190458 |     5500      100     29 |  0.801 % |
699.82/700.12	c |       251 |    3469     6500   190458 |     6050      251     24 |  0.801 % |
700.72/701.01	c |       476 |    3469     6500   190458 |     6655      476     29 |  0.801 % |
702.32/702.60	c |       813 |    3469     6500   190458 |     7320      813     32 |  0.801 % |
703.53/703.83	c |      1319 |    3469     6500   190458 |     8052     1319     31 |  0.801 % |
705.62/705.95	c |      2079 |    3469     6500   190458 |     8857     2079     30 |  0.801 % |
708.62/708.92	c |      3219 |    3469     6500   190458 |     9743     3219     29 |  0.801 % |
712.43/712.72	c |      4927 |    3469     6500   190458 |    10717     4927     28 |  0.801 % |
718.02/718.31	c |      7489 |    3469     6500   190458 |    11789     7489     29 |  0.801 % |
729.51/729.85	c |     11334 |    3469     6500   190458 |    12968    11334     30 |  0.801 % |
745.52/745.84	c |     17100 |    3469     6500   190458 |    14265    10420     32 |  0.801 % |
771.60/771.94	c |     25750 |    3431     6500   190458 |    15692     8919     31 |  1.887 % |
812.79/813.18	c ===============================================================================
812.99/813.35	c core #21
812.99/813.35	c 
812.99/813.35	c 
812.99/813.35	c Core size: 31	Core Weight: 1	Total Weight: 40
812.99/813.35	c
812.99/813.35	c
812.99/813.35	c ============================[ Search Statistics ]==============================
812.99/813.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
812.99/813.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
812.99/813.35	c ===============================================================================
812.99/813.35	c |         0 |    3478     6503   190474 |     5000        0    nan |  0.000 % |
813.39/813.70	c |       101 |    3478     6503   190474 |     5500      101     24 |  0.799 % |
813.89/814.22	c |       254 |    3478     6503   190474 |     6050      254     27 |  0.799 % |
814.49/814.82	c |       480 |    3478     6503   190474 |     6655      480     27 |  0.799 % |
815.58/815.98	c |       817 |    3478     6503   190474 |     7320      817     25 |  0.799 % |
817.18/817.51	c |      1326 |    3478     6503   190474 |     8052     1326     26 |  0.799 % |
819.58/819.97	c |      2087 |    3478     6503   190474 |     8857     2087     28 |  0.799 % |
824.78/825.10	c |      3226 |    3478     6503   190474 |     9743     3226     30 |  0.799 % |
829.28/829.65	c |      4936 |    3478     6503   190474 |    10717     4936     29 |  0.799 % |
838.07/838.41	c |      7499 |    3478     6503   190474 |    11789     7499     31 |  0.799 % |
851.48/851.86	c |     11343 |    3478     6503   190474 |    12968    11343     30 |  0.799 % |
869.47/869.86	c |     17109 |    3478     6503   190474 |    14265    10328     33 |  0.799 % |
893.35/893.73	c |     25758 |    3478     6503   190474 |    15692    11735     33 |  0.799 % |
934.74/935.16	c |     38732 |    3478     6503   190474 |    17261     8232     31 |  0.799 % |
995.42/995.80	c |     58193 |    3478     6503   190474 |    18987     9836     31 |  0.799 % |
1074.29/1074.77	c |     87387 |    3478     6503   190474 |    20886    10314     32 |  0.799 % |
1188.55/1189.07	c |    131177 |    3478     6503   190474 |    22974    11846     30 |  0.799 % |
1374.77/1375.38	c |    196861 |    3377     6503   190474 |    25272    20505     33 |  3.679 % |
1630.58/1631.23	c |    295390 |    3375     6503   190474 |    27799    20192     30 |  3.737 % |
1682.66/1683.30	c ===============================================================================
1682.96/1683.67	c core #22
1682.96/1683.67	c 
1682.96/1683.67	c 
1682.96/1683.67	c Core size: 15	Core Weight: 24	Total Weight: 64
1682.96/1683.67	c
1682.96/1683.67	c
1682.96/1683.67	c ============================[ Search Statistics ]==============================
1682.96/1683.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1682.96/1683.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1682.96/1683.67	c ===============================================================================
1682.96/1683.67	c |         0 |    3494     6505   190520 |     5000        0    nan |  0.000 % |
1683.37/1684.03	c |       100 |    3494     6505   190520 |     5500      100     25 |  0.399 % |
1683.86/1684.52	c |       251 |    3494     6505   190520 |     6050      251     22 |  0.399 % |
1684.36/1685.01	c |       477 |    3486     6505   190520 |     6655      477     22 |  0.770 % |
1685.05/1685.76	c |       815 |    3485     6505   190520 |     7320      815     25 |  0.770 % |
1686.96/1687.66	c |      1322 |    3484     6505   190520 |     8052     1322     27 |  0.770 % |
1688.96/1689.69	c |      2081 |    3481     6505   190520 |     8857     2080     26 |  0.770 % |
1692.56/1693.22	c |      3220 |    3481     6505   190520 |     9743     3219     30 |  0.770 % |
1696.95/1697.68	c |      4928 |    3481     6505   190520 |    10717     4927     30 |  0.770 % |
1704.45/1705.20	c |      7490 |    3481     6505   190520 |    11789     7489     32 |  0.770 % |
1714.94/1715.63	c |     11334 |    3481     6505   190520 |    12968    11333     31 |  0.770 % |
1731.24/1731.93	c |     17100 |    3481     6505   190520 |    14265    10438     35 |  0.770 % |
1756.23/1756.94	c |     25749 |    3481     6505   190520 |    15692    11917     34 |  0.770 % |
1791.72/1792.43	c |     38724 |    3481     6505   190520 |    17261     8566     33 |  0.770 % |

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-2680676-1277456185/watcher-2680676-1277456185 -o /tmp/evaluation-result-2680676-1277456185/solver-2680676-1277456185 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680676-1277456185.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: 0.92 0.98 0.97 3/106 28454
/proc/meminfo: memFree=1808772/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=4068 CPUtime=0
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 289 0 0 0 0 0 0 0 20 0 1 0 86910810 4165632 208 1992294400 134512640 135752675 4291689296 18446744073709551615 135193033 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 1017 208 138 303 0 338 0

[startup+0.057377 s]
/proc/loadavg: 0.92 0.98 0.97 3/106 28454
/proc/meminfo: memFree=1808772/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=5128 CPUtime=0.05
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 599 0 0 0 5 0 0 0 20 0 1 0 86910810 5251072 518 1992294400 134512640 135752675 4291689296 18446744073709551615 135211771 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 1282 518 198 303 0 603 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5128

[startup+0.101385 s]
/proc/loadavg: 0.92 0.98 0.97 3/106 28454
/proc/meminfo: memFree=1808772/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=5936 CPUtime=0.09
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 877 0 0 0 9 0 0 0 20 0 1 0 86910810 6078464 796 1992294400 134512640 135752675 4291689296 18446744073709551615 134560750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 1484 796 250 303 0 805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5936

[startup+0.30142 s]
/proc/loadavg: 0.92 0.98 0.97 3/106 28454
/proc/meminfo: memFree=1808772/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=10172 CPUtime=0.29
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 2159 0 0 0 28 1 0 0 20 0 1 0 86910810 10416128 2078 1992294400 134512640 135752675 4291689296 18446744073709551615 134569165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 2543 2078 495 303 0 1864 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10172

[startup+0.701494 s]
/proc/loadavg: 0.92 0.98 0.97 3/106 28454
/proc/meminfo: memFree=1808772/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=8952 CPUtime=0.69
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 2346 0 0 0 68 1 0 0 20 0 1 0 86910810 9166848 1812 1992294400 134512640 135752675 4291689296 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 2238 1812 143 303 0 1933 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8952

[startup+1.50164 s]
/proc/loadavg: 0.92 0.98 0.97 2/107 28455
/proc/meminfo: memFree=1801572/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=8952 CPUtime=1.49
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 2347 0 0 0 148 1 0 0 23 0 1 0 86910810 9166848 1813 1992294400 134512640 135752675 4291689296 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 2238 1813 144 303 0 1933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8952

[startup+3.10093 s]
/proc/loadavg: 0.92 0.98 0.97 2/107 28455
/proc/meminfo: memFree=1801448/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=9084 CPUtime=3.09
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 2371 0 0 0 308 1 0 0 25 0 1 0 86910810 9302016 1837 1992294400 134512640 135752675 4291689296 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 2271 1837 144 303 0 1966 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9084

[startup+6.30151 s]
/proc/loadavg: 0.93 0.98 0.97 2/107 28455
/proc/meminfo: memFree=1801200/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=9348 CPUtime=6.29
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 2439 0 0 0 627 2 0 0 25 0 1 0 86910810 9572352 1905 1992294400 134512640 135752675 4291689296 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 2337 1905 144 303 0 2032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9348

[startup+12.7007 s]
/proc/loadavg: 0.93 0.98 0.97 2/107 28455
/proc/meminfo: memFree=1800456/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=10140 CPUtime=12.69
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 2616 0 0 0 1266 3 0 0 25 0 1 0 86910810 10383360 2082 1992294400 134512640 135752675 4291689296 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 2535 2082 144 303 0 2230 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10140

[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.97 2/107 28457
/proc/meminfo: memFree=1799216/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=11328 CPUtime=25.49
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 2916 0 0 0 2544 5 0 0 25 0 1 0 86910810 11599872 2382 1992294400 134512640 135752675 4291689296 18446744073709551615 134616136 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 2832 2382 144 303 0 2527 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11328

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.97 2/107 28457
/proc/meminfo: memFree=1796488/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=14100 CPUtime=51.07
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 3601 0 0 0 5094 13 0 0 25 0 1 0 86910810 14438400 3067 1992294400 134512640 135752675 4291689296 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 3525 3067 145 303 0 3220 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14100

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.97 2/107 28459
/proc/meminfo: memFree=1791652/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=18724 CPUtime=102.26
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 4783 0 0 0 10200 26 0 0 25 0 1 0 86910810 19173376 4249 1992294400 134512640 135752675 4291689296 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 4681 4249 145 303 0 4376 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18724

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28459
/proc/meminfo: memFree=1786072/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=24264 CPUtime=162.24
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 6159 0 0 0 16183 41 0 0 25 0 1 0 86910810 24846336 5625 1992294400 134512640 135752675 4291689296 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 6066 5625 145 303 0 5761 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24264

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28461
/proc/meminfo: memFree=1771316/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=38740 CPUtime=222.21
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 9798 0 0 0 22166 55 0 0 25 0 1 0 86910810 39669760 9264 1992294400 134512640 135752675 4291689296 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 9685 9264 146 303 0 9380 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 38740

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28472
/proc/meminfo: memFree=1767560/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=40984 CPUtime=282.18
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 10347 0 0 0 28150 68 0 0 25 0 1 0 86910810 41967616 9813 1992294400 134512640 135752675 4291689296 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 10246 9813 146 303 0 9941 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 40984

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28474
/proc/meminfo: memFree=1764832/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=43756 CPUtime=342.16
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 11035 0 0 0 34135 81 0 0 25 0 1 0 86910810 44806144 10501 1992294400 134512640 135752675 4291689296 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 10939 10501 146 303 0 10634 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 43756

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28476
/proc/meminfo: memFree=1759872/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=48660 CPUtime=402.13
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 12266 0 0 0 40121 92 0 0 25 0 1 0 86910810 49827840 11732 1992294400 134512640 135752675 4291689296 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 12165 11732 146 303 0 11860 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 48660

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28476
/proc/meminfo: memFree=1759748/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=48660 CPUtime=462.12
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 12266 0 0 0 46109 103 0 0 25 0 1 0 86910810 49827840 11732 1992294400 134512640 135752675 4291689296 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 12165 11732 146 303 0 11860 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 48660

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28478
/proc/meminfo: memFree=1756648/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=51820 CPUtime=522.09
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 13053 0 0 0 52093 116 0 0 25 0 1 0 86910810 53063680 12519 1992294400 134512640 135752675 4291689296 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 12955 12519 146 303 0 12650 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 51820

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28480
/proc/meminfo: memFree=1750200/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=58248 CPUtime=582.07
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 14652 0 0 0 58078 129 0 0 25 0 1 0 86910810 59645952 14118 1992294400 134512640 135752675 4291689296 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 14562 14118 146 303 0 14257 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 58248

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28482
/proc/meminfo: memFree=1748836/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=59572 CPUtime=642.05
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 14994 0 0 0 64060 145 0 0 25 0 1 0 86910810 61001728 14460 1992294400 134512640 135752675 4291689296 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 14893 14460 146 303 0 14588 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 59572

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28488
/proc/meminfo: memFree=1736436/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=71864 CPUtime=881.96
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 18047 0 0 0 88000 196 0 0 25 0 1 0 86910810 73588736 17513 1992294400 134512640 135752675 4291689296 18446744073709551615 134605400 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 17966 17513 146 303 0 17661 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 71864

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28490
/proc/meminfo: memFree=1734700/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=73580 CPUtime=941.93
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 18479 0 0 0 93986 207 0 0 25 0 1 0 86910810 75345920 17945 1992294400 134512640 135752675 4291689296 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 18395 17945 146 303 0 18090 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 73580

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28492
/proc/meminfo: memFree=1731600/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=76608 CPUtime=1001.92
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 19250 0 0 0 99971 221 0 0 25 0 1 0 86910810 78446592 18716 1992294400 134512640 135752675 4291689296 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 19152 18716 146 303 0 18847 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 76608

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28492
/proc/meminfo: memFree=1728004/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=80164 CPUtime=1061.9
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 20147 0 0 0 105954 236 0 0 25 0 1 0 86910810 82087936 19613 1992294400 134512640 135752675 4291689296 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 20041 19613 146 303 0 19736 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 80164

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28494
/proc/meminfo: memFree=1723044/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=85052 CPUtime=1121.87
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 21362 0 0 0 111934 253 0 0 25 0 1 0 86910810 87093248 20828 1992294400 134512640 135752675 4291689296 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 21263 20828 146 303 0 20958 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 85052

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28496
/proc/meminfo: memFree=1718704/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=89436 CPUtime=1181.84
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 22455 0 0 0 117917 267 0 0 25 0 1 0 86910810 91582464 21921 1992294400 134512640 135752675 4291689296 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 22359 21921 146 303 0 22054 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 89436

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28498
/proc/meminfo: memFree=1713992/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=94056 CPUtime=1241.82
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 23615 0 0 0 123901 281 0 0 25 0 1 0 86910810 96313344 23081 1992294400 134512640 135752675 4291689296 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 23514 23081 146 303 0 23209 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 94056

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28500
/proc/meminfo: memFree=1709776/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=98284 CPUtime=1301.81
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 24644 0 0 0 129885 296 0 0 25 0 1 0 86910810 100642816 24110 1992294400 134512640 135752675 4291689296 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 24571 24110 146 303 0 24266 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 98284

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28500
/proc/meminfo: memFree=1705684/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=102380 CPUtime=1361.78
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 25667 0 0 0 135869 309 0 0 25 0 1 0 86910810 104837120 25133 1992294400 134512640 135752675 4291689296 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 25595 25133 146 303 0 25290 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 102380

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28502
/proc/meminfo: memFree=1701344/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=106632 CPUtime=1421.76
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 26737 0 0 0 141853 323 0 0 25 0 1 0 86910810 109191168 26203 1992294400 134512640 135752675 4291689296 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 26658 26203 146 303 0 26353 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 106632

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28504
/proc/meminfo: memFree=1696880/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=111120 CPUtime=1481.74
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 27858 0 0 0 147835 339 0 0 25 0 1 0 86910810 113786880 27324 1992294400 134512640 135752675 4291689296 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 27780 27324 146 303 0 27475 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 111120

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28506
/proc/meminfo: memFree=1692292/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=115620 CPUtime=1541.71
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 29005 0 0 0 153817 354 0 0 25 0 1 0 86910810 118394880 28471 1992294400 134512640 135752675 4291689296 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 28905 28471 146 303 0 28600 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 115620

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28508
/proc/meminfo: memFree=1687580/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=120380 CPUtime=1601.69
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 30172 0 0 0 159801 368 0 0 25 0 1 0 86910810 123269120 29638 1992294400 134512640 135752675 4291689296 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 30095 29638 146 303 0 29790 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 120380

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28508
/proc/meminfo: memFree=1682992/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=124900 CPUtime=1661.67
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 31293 0 0 0 165781 386 0 0 25 0 1 0 86910810 127897600 30759 1992294400 134512640 135752675 4291689296 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 31225 30759 146 303 0 30920 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 124900

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28510
/proc/meminfo: memFree=1675428/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=132348 CPUtime=1721.64
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 33191 0 0 0 171764 400 0 0 25 0 1 0 86910810 135524352 32629 1992294400 134512640 135752675 4291689296 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 33087 32629 146 303 0 32782 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 132348

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28512
/proc/meminfo: memFree=1675304/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=132348 CPUtime=1781.63
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 33199 0 0 0 177750 413 0 0 25 0 1 0 86910810 135524352 32637 1992294400 134512640 135752675 4291689296 18446744073709551615 134611666 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 33087 32637 146 303 0 32782 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 132348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28512
/proc/meminfo: memFree=1675180/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=132480 CPUtime=1800.03
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 33237 0 0 0 179586 417 0 0 25 0 1 0 86910810 135659520 32675 1992294400 134512640 135752675 4291689296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 33120 32675 146 303 0 32815 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 132480

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28512
/proc/meminfo: memFree=1675180/2059040 swapFree=4140856/4192956
[pid=28454] ppid=28452 vsize=132480 CPUtime=1800.03
/proc/28454/stat : 28454 (wbo1.4b) R 28452 28454 28024 0 -1 4202496 33237 0 0 0 179586 417 0 0 25 0 1 0 86910810 135659520 32675 1992294400 134512640 135752675 4291689296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28454/statm: 33120 32675 146 303 0 32815 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 132480

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.05
CPU user time (s): 1795.87
CPU system time (s): 4.18836
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (KiB): 132512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.87
system time used= 4.18836
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33237
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= 18
involuntary context switches= 2373

runsolver used 3.09753 second user time and 8.39872 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-25 10:56:25
IDJOB=2680676
IDBENCH=2631
IDSOLVER=1190
FILE ID=node044/2680676-1277456185
PBS_JOBID= 11188123
Free space on /tmp= 62276 MiB

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

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

MD5SUM BENCH= 308ce6e771b8240fefc971d6e27a7575
RANDOM SEED=1765486200

node044.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.266
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.53
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.266
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	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1809176 kB
Buffers:         13392 kB
Cached:         139224 kB
SwapCached:       5300 kB
Active:          36616 kB
Inactive:       129352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1809176 kB
SwapTotal:     4192956 kB
SwapFree:      4140856 kB
Dirty:            4108 kB
Writeback:           0 kB
AnonPages:       11920 kB
Mapped:          12016 kB
Slab:            61956 kB
PageTables:       4124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181416 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= 62272 MiB
End job on node044 at 2010-06-25 11:26:28