Trace number 2680768

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)? (MO) 1451.74 1452.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-5xp1.b.opb
MD5SUMb3e6d54e40b24334877b0ae377edea30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.939856
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved YES
Number of variables464
Total number of constraints845
Number of constraints which are clauses845
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint149
Number of terms in the objective function 464
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 464
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 464
Number of bits of the biggest sum of numbers9
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-2680768-1277453507.opb.
0.00/0.00	c Instance file HOME/instance-2680768-1277453507.opb
0.00/0.00	c File size is 245270 bytes.
0.00/0.04	c Highest Coefficient sum: 150
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      464                                                 |
0.00/0.04	c |  Number Clauses:        845                                                 |
0.00/0.04	c |  Number Cardinality:    0                                                   |
0.00/0.04	c |  Number PB Constraints: 0                                                   |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     463      845    29887 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 17
0.00/0.04	o 17
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 179.958 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     463      846    30351 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 16
0.00/0.04	o 16
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 179.956 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |        21 |     463      847    30815 |     5000       21     67 |  0.000 % |
0.00/0.05	c |       121 |     463      847    30815 |     5500      121     85 |  0.216 % |
0.00/0.06	c |       272 |     463      847    30815 |     6050      272     84 |  0.216 % |
0.06/0.09	c |       501 |     463      847    30815 |     6655      501     81 |  0.216 % |
0.09/0.12	c |       838 |     463      847    30815 |     7320      838     84 |  0.216 % |
0.09/0.18	c |      1344 |     463      847    30815 |     8052     1344     80 |  0.216 % |
0.19/0.24	c |      2103 |     463      847    30815 |     8857     2103     81 |  0.216 % |
0.38/0.45	c |      3242 |     463      847    30815 |     9743     3242     83 |  0.216 % |
0.58/0.63	c |      4950 |     463      847    30815 |    10717     4950     70 |  0.216 % |
1.00/1.05	c |      7512 |     463      847    30815 |    11789     7512     66 |  0.216 % |
1.49/1.55	c |     11359 |     463      847    30815 |    12968    11359     68 |  0.216 % |
2.79/2.80	c |     17125 |     463      847    30815 |    14265    10492     78 |  0.216 % |
2.79/2.85	c ===============================================================================
2.79/2.85	c New solution: 15
2.79/2.85	o 15
2.79/2.85	c Elapsed CPU time: 2.79058 s	Remaining CPU time: 177.209 s
2.79/2.85	c ===============================================================================
2.79/2.85	c |     17631 |     463      848    31279 |     5000    10998     77 |  0.216 % |
2.79/2.89	c |     17731 |     463      848    31279 |     5500     2850     69 |  0.216 % |
2.89/2.90	c |     17881 |     463      848    31279 |     6050     3000     69 |  0.216 % |
2.89/2.95	c |     18108 |     463      848    31279 |     6655     3227     70 |  0.216 % |
2.99/3.00	c |     18445 |     463      848    31279 |     7320     3564     69 |  0.216 % |
2.99/3.07	c |     18951 |     463      848    31279 |     8052     4070     67 |  0.216 % |
3.08/3.18	c |     19711 |     463      848    31279 |     8857     4830     63 |  0.216 % |
3.30/3.37	c |     20854 |     463      848    31279 |     9743     5973     63 |  0.216 % |
3.59/3.69	c |     22562 |     463      848    31279 |    10717     7681     63 |  0.216 % |
3.98/4.07	c |     25126 |     463      848    31279 |    11789    10245     71 |  0.216 % |
4.59/4.67	c |     28970 |     463      848    31279 |    12968     8022     72 |  0.216 % |
5.59/5.61	c |     34740 |     463      848    31279 |    14265     7139     84 |  0.216 % |
6.59/6.69	c |     43389 |     463      848    31279 |    15692     8479     55 |  0.216 % |
9.28/9.38	c |     56363 |     463      848    31279 |    17261    13446     90 |  0.216 % |
12.78/12.89	c |     75824 |     463      848    31279 |    18987    15272     65 |  0.216 % |
21.39/21.43	c |    105016 |     463      848    31279 |    20886    15557     83 |  0.216 % |
29.69/29.76	c |    148805 |     463      848    31279 |    22974    16809     60 |  0.216 % |
52.27/52.32	c |    214490 |     463      848    31279 |    25272    22355     82 |  0.216 % |
75.37/75.43	c |    313016 |     463      848    31279 |    27799    19837     89 |  0.216 % |
124.65/124.76	c |    460805 |     463      848    31279 |    30579    24460     64 |  0.216 % |
175.64/175.74	c |    682488 |     463      848    31279 |    33637    30101     80 |  0.216 % |
182.73/182.84	c There are 1 assigned variables. 1 in cost function.
183.54/183.66	c core #1
183.54/183.66	c 
183.54/183.66	c 
183.54/183.66	c Core size: 11	Core Weight: 1	Total Weight: 2
183.54/183.66	c
183.54/183.66	c
183.54/183.66	c core #2
183.54/183.66	c 
183.54/183.66	c 
183.54/183.66	c Core size: 13	Core Weight: 1	Total Weight: 3
183.54/183.66	c
183.54/183.66	c
183.54/183.66	c core #3
183.54/183.66	c 
183.54/183.66	c 
183.54/183.66	c Core size: 145	Core Weight: 1	Total Weight: 4
183.54/183.66	c
183.54/183.66	c
183.54/183.66	c core #4
183.54/183.66	c 
183.54/183.66	c 
183.54/183.66	c Core size: 23	Core Weight: 1	Total Weight: 5
183.54/183.66	c
183.54/183.66	c
183.54/183.66	c core #5
183.54/183.66	c 
183.54/183.66	c 
183.54/183.66	c Core size: 18	Core Weight: 1	Total Weight: 6
183.54/183.66	c
183.54/183.66	c
183.54/183.66	c ============================[ Search Statistics ]==============================
183.54/183.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.66	c ===============================================================================
183.54/183.66	c |         0 |     394     1315    15727 |     5000        0    nan |  0.000 % |
183.54/183.66	c ===============================================================================
183.54/183.67	c core #6
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 113	Core Weight: 1	Total Weight: 7
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c ============================[ Search Statistics ]==============================
183.54/183.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.67	c ===============================================================================
183.54/183.67	c |         0 |     592     1316    20885 |     5000        0    nan |  0.000 % |
183.54/183.69	c |       100 |     592     1316    20885 |     5500      100     61 | 23.871 % |
183.54/183.69	c ===============================================================================
183.54/183.69	c core #7
183.54/183.69	c 
183.54/183.69	c 
183.54/183.69	c Core size: 363	Core Weight: 1	Total Weight: 8
183.54/183.69	c
183.54/183.69	c
183.54/183.69	c ============================[ Search Statistics ]==============================
183.54/183.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.70	c ===============================================================================
183.54/183.70	c |         0 |    1086     1317    30321 |     5000        0    nan |  0.000 % |
183.64/183.71	c |       101 |    1086     1317    30321 |     5500      101    117 |  4.486 % |
183.64/183.75	c |       252 |    1086     1317    30321 |     6050      252    124 |  4.486 % |
183.74/183.81	c |       477 |    1086     1317    30321 |     6655      477    136 |  4.486 % |
183.83/183.90	c |       818 |    1086     1317    30321 |     7320      818    174 |  4.486 % |
183.93/184.09	c |      1327 |    1086     1317    30321 |     8052     1327    178 |  4.486 % |
184.23/184.38	c |      2086 |    1086     1317    30321 |     8857     2086    164 |  4.486 % |
184.74/184.88	c |      3229 |    1086     1317    30321 |     9743     3229    156 |  4.486 % |
185.84/185.96	c |      4939 |    1084     1317    30321 |    10717     4938    155 |  4.925 % |
187.03/187.18	c |      7501 |    1084     1317    30321 |    11789     7500    149 |  4.925 % |
187.63/187.72	c ===============================================================================
187.63/187.74	c core #8
187.63/187.74	c 
187.63/187.74	c 
187.63/187.74	c Core size: 30	Core Weight: 1	Total Weight: 9
187.63/187.74	c
187.63/187.74	c
187.63/187.74	c ============================[ Search Statistics ]==============================
187.63/187.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.63/187.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.63/187.74	c ===============================================================================
187.63/187.74	c |         0 |    1112     1318    30373 |     5000        0    nan |  0.000 % |
187.63/187.76	c |       100 |    1112     1318    30373 |     5500      100    126 |  4.385 % |
187.63/187.79	c |       251 |    1112     1318    30373 |     6050      251    167 |  4.385 % |
187.73/187.85	c |       477 |    1112     1318    30373 |     6655      477    162 |  4.385 % |
187.83/187.97	c |       815 |    1112     1318    30373 |     7320      815    151 |  4.385 % |
188.13/188.28	c |      1322 |    1112     1318    30373 |     8052     1322    169 |  4.385 % |
188.43/188.57	c |      2084 |    1112     1318    30373 |     8857     2084    163 |  4.385 % |
188.93/189.05	c |      3224 |    1112     1318    30373 |     9743     3224    147 |  4.385 % |
189.73/189.82	c |      4933 |    1112     1318    30373 |    10717     4933    137 |  4.385 % |
191.03/191.17	c |      7498 |    1112     1318    30373 |    11789     7498    132 |  4.385 % |
193.23/193.39	c |     11343 |    1112     1318    30373 |    12968    11343    121 |  4.385 % |
193.93/194.03	c ===============================================================================
194.13/194.20	c core #9
194.13/194.20	c 
194.13/194.20	c 
194.13/194.20	c Core size: 406	Core Weight: 1	Total Weight: 10
194.13/194.20	c
194.13/194.20	c
194.13/194.20	c ============================[ Search Statistics ]==============================
194.13/194.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.13/194.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.13/194.20	c ===============================================================================
194.13/194.20	c |         0 |    1547     1319    32820 |     5000        0    nan |  0.000 % |
194.13/194.23	c |       102 |    1547     1319    32820 |     5500      102    168 |  1.276 % |
194.13/194.26	c |       252 |    1547     1319    32820 |     6050      252    154 |  1.276 % |
194.23/194.34	c |       484 |    1547     1319    32820 |     6655      484    156 |  1.276 % |
194.43/194.55	c |       822 |    1547     1319    32820 |     7320      822    202 |  1.276 % |
194.73/194.86	c |      1328 |    1547     1319    32820 |     8052     1328    231 |  1.276 % |
195.13/195.27	c |      2088 |    1547     1319    32820 |     8857     2088    243 |  1.276 % |
195.74/195.86	c |      3229 |    1547     1319    32820 |     9743     3229    234 |  1.276 % |
196.43/196.53	c |      4937 |    1547     1319    32820 |    10717     4937    225 |  1.276 % |
197.63/197.74	c |      7501 |    1547     1319    32820 |    11789     7501    230 |  1.276 % |
200.14/200.25	c |     11345 |    1547     1319    32820 |    12968    11345    241 |  1.276 % |
203.53/203.65	c |     17112 |    1547     1319    32820 |    14265    10459    231 |  1.276 % |
211.04/211.15	c |     25761 |    1547     1319    32820 |    15692    11681    217 |  1.276 % |
219.52/219.66	c |     38736 |    1547     1319    32820 |    17261     8584    150 |  1.276 % |
233.92/234.09	c |     58199 |    1547     1319    32820 |    18987    10526    193 |  1.276 % |
256.82/256.96	c |     87397 |    1547     1319    32820 |    20886    10836    198 |  1.276 % |
294.31/294.43	c |    131188 |    1547     1319    32820 |    22974    12388    194 |  1.276 % |
349.28/349.46	c ===============================================================================
353.28/353.43	c core #10
353.28/353.43	c 
353.28/353.43	c 
353.28/353.43	c Core size: 432	Core Weight: 1	Total Weight: 11
353.28/353.43	c
353.28/353.43	c
353.28/353.43	c ============================[ Search Statistics ]==============================
353.28/353.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
353.28/353.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
353.28/353.43	c ===============================================================================
353.28/353.43	c |         0 |    1995     1320    34803 |     5000        0    nan |  0.000 % |
353.38/353.52	c |       100 |    1995     1320    34803 |     5500      100    185 |  0.050 % |
353.38/353.54	c |       250 |    1995     1320    34803 |     6050      250    178 |  0.050 % |
353.49/353.61	c |       475 |    1995     1320    34803 |     6655      475    144 |  0.050 % |
353.59/353.75	c |       813 |    1995     1320    34803 |     7320      813    209 |  0.050 % |
353.78/353.97	c |      1319 |    1995     1320    34803 |     8052     1319    247 |  0.050 % |
354.09/354.29	c |      2078 |    1995     1320    34803 |     8857     2078    239 |  0.050 % |
354.78/354.91	c |      3220 |    1995     1320    34803 |     9743     3220    259 |  0.050 % |
355.89/356.03	c |      4928 |    1995     1320    34803 |    10717     4928    285 |  0.050 % |
357.39/357.59	c |      7490 |    1995     1320    34803 |    11789     7490    301 |  0.050 % |
360.69/360.89	c |     11336 |    1995     1320    34803 |    12968    11336    320 |  0.050 % |
366.09/366.25	c |     17105 |    1995     1320    34803 |    14265    10459    359 |  0.050 % |
371.69/371.85	c |     25754 |    1995     1320    34803 |    15692    11753    330 |  0.050 % |
381.27/381.44	c |     38730 |    1995     1320    34803 |    17261     8576    291 |  0.050 % |
397.36/397.58	c |     58191 |    1995     1320    34803 |    18987    10345    264 |  0.050 % |
417.17/417.37	c |     87383 |    1995     1320    34803 |    20886    10180    220 |  0.050 % |
469.75/469.94	c |    131172 |    1995     1320    34803 |    22974    11502    429 |  0.050 % |
555.81/556.03	c |    196856 |    1995     1320    34803 |    25272    18453    385 |  0.050 % |
646.89/647.15	c |    295385 |    1995     1320    34803 |    27799    24125    272 |  0.050 % |
819.73/820.05	c |    443174 |    1995     1320    34803 |    30579    18971    399 |  0.050 % |
1091.95/1092.34	c |    664857 |    1995     1320    34803 |    33637    16163    357 |  0.050 % |

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-2680768-1277453507/watcher-2680768-1277453507 -o /tmp/evaluation-result-2680768-1277453507/solver-2680768-1277453507 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680768-1277453507.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.07 0.99 0.82 3/106 27852
/proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=2812 CPUtime=0
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 270 0 0 0 0 0 0 0 19 0 1 0 86643249 2879488 189 1992294400 134512640 135752675 4291653728 18446744073709551615 134573784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 703 189 138 303 0 338 0

[startup+0.0686011 s]
/proc/loadavg: 1.07 0.99 0.82 3/106 27852
/proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=2836 CPUtime=0.06
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 421 0 0 0 6 0 0 0 20 0 1 0 86643249 2904064 280 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 709 280 145 303 0 404 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2836

[startup+0.100605 s]
/proc/loadavg: 1.07 0.99 0.82 3/106 27852
/proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=2968 CPUtime=0.09
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 452 0 0 0 9 0 0 0 20 0 1 0 86643249 3039232 311 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 742 311 145 303 0 437 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2968

[startup+0.300627 s]
/proc/loadavg: 1.07 0.99 0.82 3/106 27852
/proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=3892 CPUtime=0.29
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 671 0 0 0 29 0 0 0 20 0 1 0 86643249 3985408 530 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 973 530 145 303 0 668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3892

[startup+0.70067 s]
/proc/loadavg: 1.07 0.99 0.82 3/106 27852
/proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=5072 CPUtime=0.68
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 971 0 0 0 67 1 0 0 20 0 1 0 86643249 5193728 830 1992294400 134512640 135752675 4291653728 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 1268 835 145 303 0 963 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5072

[startup+1.50076 s]
/proc/loadavg: 1.07 0.99 0.82 2/107 27853
/proc/meminfo: memFree=1843920/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=7312 CPUtime=1.49
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 1539 0 0 0 146 3 0 0 23 0 1 0 86643249 7487488 1398 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 1828 1398 145 303 0 1523 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7312

[startup+3.10093 s]
/proc/loadavg: 1.06 0.99 0.82 2/107 27853
/proc/meminfo: memFree=1840448/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=11384 CPUtime=3.08
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 2538 0 0 0 302 6 0 0 25 0 1 0 86643249 11657216 2397 1992294400 134512640 135752675 4291653728 18446744073709551615 134605041 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 2846 2397 145 303 0 2541 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11384

[startup+6.30128 s]
/proc/loadavg: 1.06 0.99 0.82 2/107 27853
/proc/meminfo: memFree=1831644/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=20472 CPUtime=6.29
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 4808 0 0 0 616 13 0 0 25 0 1 0 86643249 20963328 4667 1992294400 134512640 135752675 4291653728 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 5118 4667 145 303 0 4813 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20472

[startup+12.701 s]
/proc/loadavg: 1.05 0.99 0.82 2/107 27853
/proc/meminfo: memFree=1815648/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=35388 CPUtime=12.68
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 8550 0 0 0 1244 24 0 0 25 0 1 0 86643249 36237312 8409 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 8847 8409 145 303 0 8542 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35388

[startup+25.5004 s]
/proc/loadavg: 1.04 0.99 0.83 2/107 27855
/proc/meminfo: memFree=1789484/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=60840 CPUtime=25.48
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 14919 0 0 0 2502 46 0 0 25 0 1 0 86643249 62300160 14778 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 15210 14778 145 303 0 14905 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60840

[startup+51.1002 s]
/proc/loadavg: 1.03 0.99 0.83 2/107 27855
/proc/meminfo: memFree=1750052/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=100324 CPUtime=51.07
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 24774 0 0 0 5023 84 0 0 25 0 1 0 86643249 102731776 24633 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 25081 24633 145 303 0 24776 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100324

[startup+102.309 s]
/proc/loadavg: 1.01 0.99 0.83 2/107 27857
/proc/meminfo: memFree=1663872/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=185628 CPUtime=102.27
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 46081 0 0 0 10072 155 0 0 25 0 1 0 86643249 190083072 45940 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 46407 45940 145 303 0 46102 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 185628

[startup+162.3 s]
/proc/loadavg: 1.00 0.99 0.84 2/107 27857
/proc/meminfo: memFree=1575956/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=274684 CPUtime=162.24
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 68311 0 0 0 15979 245 0 0 25 0 1 0 86643249 281276416 68170 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 68671 68170 145 303 0 68366 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 274684

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.85 2/107 27859
/proc/meminfo: memFree=1523504/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=325840 CPUtime=222.22
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 81206 0 0 0 21905 317 0 0 25 0 1 0 86643249 333660160 81031 1992294400 134512640 135752675 4291653728 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 81460 81031 146 303 0 81155 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 325840

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.85 2/107 27861
/proc/meminfo: memFree=1453816/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=395960 CPUtime=282.21
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 98688 0 0 0 27851 370 0 0 25 0 1 0 86643249 405463040 98513 1992294400 134512640 135752675 4291653728 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 98990 98513 146 303 0 98685 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 395960

[startup+342.3 s]
/proc/loadavg: 1.00 0.99 0.86 2/107 27863
/proc/meminfo: memFree=1379548/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=469512 CPUtime=342.18
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 117064 0 0 0 33796 422 0 0 25 0 1 0 86643249 480780288 116889 1992294400 134512640 135752675 4291653728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 117378 116889 146 303 0 117073 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 469512

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.86 2/107 27865
/proc/meminfo: memFree=1328212/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=521596 CPUtime=402.17
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 130127 0 0 0 39746 471 0 0 25 0 1 0 86643249 534114304 129952 1992294400 134512640 135752675 4291653728 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 130399 129952 146 303 0 130094 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 521596

[startup+462.3 s]
/proc/loadavg: 1.00 0.99 0.87 2/107 27865
/proc/meminfo: memFree=1240420/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=608320 CPUtime=462.15
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 151794 0 0 0 45691 524 0 0 25 0 1 0 86643249 622919680 151619 1992294400 134512640 135752675 4291653728 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 152080 151619 146 303 0 151775 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 608320

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.87 2/107 27867
/proc/meminfo: memFree=1174452/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=674736 CPUtime=522.13
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 168394 0 0 0 51652 561 0 0 25 0 1 0 86643249 690929664 168219 1992294400 134512640 135752675 4291653728 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 168684 168219 146 303 0 168379 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 674736

[startup+582.3 s]
/proc/loadavg: 1.00 0.99 0.88 2/107 27869
/proc/meminfo: memFree=1090876/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=757636 CPUtime=582.11
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 189108 0 0 0 57604 607 0 0 25 0 1 0 86643249 775819264 188933 1992294400 134512640 135752675 4291653728 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 189409 188933 146 303 0 189104 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 757636

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.89 2/107 27871
/proc/meminfo: memFree=999488/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=848360 CPUtime=642.1
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 211762 0 0 0 63554 656 0 0 25 0 1 0 86643249 868720640 211587 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 212090 211587 146 303 0 211785 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 848360

[startup+702.301 s]
/proc/loadavg: 1.00 0.99 0.89 2/107 27873
/proc/meminfo: memFree=911820/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=936236 CPUtime=702.07
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 233729 0 0 0 69501 706 0 0 25 0 1 0 86643249 958705664 233554 1992294400 134512640 135752675 4291653728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 234059 233554 146 303 0 233754 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 936236

[startup+762.308 s]
/proc/loadavg: 1.08 1.00 0.90 2/107 27873
/proc/meminfo: memFree=838784/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1009120 CPUtime=762.05
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 251906 0 0 0 75459 746 0 0 25 0 1 0 86643249 1033338880 251731 1992294400 134512640 135752675 4291653728 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 252280 251731 146 303 0 251975 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 1009120

[startup+822.301 s]
/proc/loadavg: 1.03 1.00 0.91 2/107 27875
/proc/meminfo: memFree=751984/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1096452 CPUtime=822.03
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 273737 0 0 0 81409 794 0 0 25 0 1 0 86643249 1122766848 273562 1992294400 134512640 135752675 4291653728 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 274113 273562 146 303 0 273808 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 1096452

[startup+882.3 s]
/proc/loadavg: 1.12 1.03 0.92 2/107 27877
/proc/meminfo: memFree=680932/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1166648 CPUtime=882.01
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 291256 0 0 0 87369 832 0 0 25 0 1 0 86643249 1194647552 291081 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 291662 291081 146 303 0 291357 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 1166648

[startup+942.301 s]
/proc/loadavg: 1.10 1.04 0.93 2/107 27879
/proc/meminfo: memFree=613724/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1234316 CPUtime=941.99
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 308186 0 0 0 93335 864 0 0 25 0 1 0 86643249 1263939584 308011 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 308579 308011 146 303 0 308274 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 1234316

[startup+1002.3 s]
/proc/loadavg: 1.08 1.04 0.93 2/107 27881
/proc/meminfo: memFree=537092/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1310080 CPUtime=1001.96
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 327092 0 0 0 99290 906 0 0 25 0 1 0 86643249 1341521920 326917 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 327520 326917 146 303 0 327215 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 1310080

[startup+1062.3 s]
/proc/loadavg: 1.07 1.05 0.94 2/107 27881
/proc/meminfo: memFree=454632/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1393168 CPUtime=1061.95
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 347857 0 0 0 105244 951 0 0 25 0 1 0 86643249 1426604032 347682 1992294400 134512640 135752675 4291653728 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 348292 347682 146 303 0 347987 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1393168

[startup+1122.3 s]
/proc/loadavg: 1.07 1.05 0.94 2/107 27883
/proc/meminfo: memFree=375148/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1471968 CPUtime=1121.93
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 367551 0 0 0 111204 989 0 0 25 0 1 0 86643249 1507295232 367376 1992294400 134512640 135752675 4291653728 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 367992 367376 146 303 0 367687 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1471968

[startup+1182.3 s]
/proc/loadavg: 1.06 1.05 0.95 2/107 27885
/proc/meminfo: memFree=316992/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1531172 CPUtime=1181.92
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 382366 0 0 0 117169 1023 0 0 25 0 1 0 86643249 1567920128 382191 1992294400 134512640 135752675 4291653728 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 382793 382191 146 303 0 382488 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1531172

[startup+1242.3 s]
/proc/loadavg: 1.12 1.07 0.96 2/107 27890
/proc/meminfo: memFree=195628/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1608196 CPUtime=1241.89
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 401590 0 0 0 123126 1063 0 0 25 0 1 0 86643249 1646792704 401415 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 402049 401415 146 303 0 401744 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1608196

[startup+1302.3 s]
/proc/loadavg: 1.15 1.09 0.97 2/107 27892
/proc/meminfo: memFree=123088/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1680252 CPUtime=1301.89
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 419593 0 0 0 129092 1097 0 0 25 0 1 0 86643249 1720578048 419418 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 420063 419418 146 303 0 419758 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1680252

[startup+1362.3 s]
/proc/loadavg: 1.13 1.09 0.97 2/107 27892
/proc/meminfo: memFree=58980/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1744616 CPUtime=1361.86
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 435690 0 0 0 135063 1123 0 0 25 0 1 0 86643249 1786486784 435515 1992294400 134512640 135752675 4291653728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 436154 435515 146 303 0 435849 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1744616

[startup+1422.31 s]
/proc/loadavg: 1.11 1.08 0.98 2/107 27894
/proc/meminfo: memFree=9952/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1805928 CPUtime=1421.85
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 450994 0 0 0 141032 1153 0 0 25 0 1 0 86643249 1849270272 450819 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 451482 450819 146 303 0 451177 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1805928



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1452.01 s]
/proc/loadavg: 1.07 1.08 0.98 3/107 27896
/proc/meminfo: memFree=10592/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=1843420 CPUtime=1451.55
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 460362 0 0 0 143982 1173 0 0 25 0 1 0 86643249 1887662080 460187 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27852/statm: 460855 460188 146 303 0 460550 0
Current children cumulated CPU time (s) 1451.55
Current children cumulated vsize (KiB) 1843420

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

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

[startup+1452.11 s]
/proc/loadavg: 1.07 1.08 0.98 3/107 27896
/proc/meminfo: memFree=10592/2059040 swapFree=4140344/4192956
[pid=27852] ppid=27850 vsize=0 CPUtime=1451.65
/proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4203524 460363 0 0 0 143982 1183 0 0 25 0 1 0 86643249 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27852/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1451.65
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1452.19
CPU time (s): 1451.74
CPU user time (s): 1439.82
CPU system time (s): 11.9152
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1843420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1439.82
system time used= 11.9152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460363
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= 9
involuntary context switches= 8841

runsolver used 2.42063 second user time and 6.85496 second system time

The end

Launcher Data 

Begin job on node042 at 2010-06-25 10:11:48
IDJOB=2680768
IDBENCH=2046
IDSOLVER=1190
FILE ID=node042/2680768-1277453507
PBS_JOBID= 11188125
Free space on /tmp= 62252 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680768-1277453507/watcher-2680768-1277453507 -o /tmp/evaluation-result-2680768-1277453507/solver-2680768-1277453507 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680768-1277453507.opb

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

MD5SUM BENCH= b3e6d54e40b24334877b0ae377edea30
RANDOM SEED=623027128

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1848652 kB
Buffers:         27224 kB
Cached:          79272 kB
SwapCached:       5356 kB
Active:          20760 kB
Inactive:        98780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848652 kB
SwapTotal:     4192956 kB
SwapFree:      4140344 kB
Dirty:            2860 kB
Writeback:           0 kB
AnonPages:       11572 kB
Mapped:          12020 kB
Slab:            68848 kB
PageTables:       4124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184220 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= 62248 MiB
End job on node042 at 2010-06-25 10:36:02