Trace number 2656014

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? (MO) 1312.34 1312.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM9c27419d6022516b3a8580fda3ca43ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50
Best CPU time to get the best result obtained on this benchmark9.23959
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50
Optimality of the best value was proved NO
Number of variables807
Total number of constraints1823
Number of constraints which are clauses1823
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 constraint98
Number of terms in the objective function 807
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 807
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 807
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656014-1276413576.opb.
0.00/0.00	c Instance file HOME/instance-2656014-1276413576.opb
0.00/0.00	c File size is 302882 bytes.
0.00/0.04	c Highest Coefficient sum: 99
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:      807                                                 |
0.00/0.04	c |  Number Clauses:        1823                                                |
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.05	c |         0 |     791     1823    36014 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 68
0.00/0.05	o 68
0.00/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 179.953 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     791     1824    36821 |     5000        0    nan |  0.000 % |
0.00/0.06	c |       100 |     791     1824    36821 |     5500      100    135 |  1.983 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 61
0.00/0.06	o 61
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 179.939 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |       100 |     791     1825    37628 |     5000      100    135 |  1.983 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 60
0.00/0.06	o 60
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 179.937 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |       101 |     791     1826    38435 |     5000      101    134 |  1.983 % |
0.00/0.08	c |       201 |     791     1826    38435 |     5500      201    126 |  1.983 % |
0.09/0.10	c |       351 |     791     1826    38435 |     6050      351    116 |  1.983 % |
0.09/0.13	c |       580 |     791     1826    38435 |     6655      580    115 |  1.983 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 59
0.09/0.14	o 59
0.09/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 179.863 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |       627 |     791     1827    39242 |     5000      627    115 |  1.983 % |
0.09/0.16	c |       728 |     791     1827    39242 |     5500      728    110 |  1.983 % |
0.19/0.21	c |       879 |     791     1827    39242 |     6050      879    108 |  1.983 % |
0.19/0.25	c |      1105 |     791     1827    39242 |     6655     1105    106 |  1.983 % |
0.29/0.32	c |      1444 |     791     1827    39242 |     7320     1444    102 |  1.983 % |
0.39/0.44	c |      1950 |     791     1827    39242 |     8052     1950    111 |  1.983 % |
0.49/0.58	c |      2709 |     791     1827    39242 |     8857     2709    109 |  1.983 % |
0.69/0.76	c |      3848 |     791     1827    39242 |     9743     3848    106 |  1.983 % |
1.00/1.06	c |      5560 |     791     1827    39242 |    10717     5560    106 |  1.983 % |
1.50/1.55	c |      8123 |     791     1827    39242 |    11789     8123    103 |  1.983 % |
2.10/2.11	c |     11970 |     791     1827    39242 |    12968    11970     99 |  1.983 % |
3.09/3.14	c |     17736 |     791     1827    39242 |    14265    10888     95 |  1.983 % |
4.79/4.85	c |     26389 |     791     1827    39242 |    15692    12072    116 |  1.983 % |
8.18/8.20	c |     39363 |     791     1827    39242 |    17261     8672    111 |  1.983 % |
12.79/12.89	c |     58825 |     791     1827    39242 |    18987    10125    125 |  1.983 % |
21.19/21.25	c |     88018 |     791     1827    39242 |    20886    19583    134 |  1.983 % |
30.19/30.29	c |    131807 |     791     1827    39242 |    22974    20003    105 |  1.983 % |
45.97/46.03	c |    197491 |     791     1827    39242 |    25272    21673    112 |  1.983 % |
46.09/46.15	c ===============================================================================
46.09/46.15	c New solution: 58
46.09/46.15	o 58
46.09/46.15	c Elapsed CPU time: 45.4581 s	Remaining CPU time: 134.542 s
46.09/46.15	c ===============================================================================
46.09/46.15	c |    198486 |     791     1828    40049 |     5000    22668    113 |  1.983 % |
46.28/46.31	c |    198587 |     791     1828    40049 |     5500     2789    117 |  1.983 % |
46.28/46.33	c |    198737 |     791     1828    40049 |     6050     2939    115 |  1.983 % |
46.28/46.39	c |    198963 |     791     1828    40049 |     6655     3165    113 |  1.983 % |
46.38/46.46	c |    199301 |     791     1828    40049 |     7320     3503    114 |  1.983 % |
46.47/46.57	c |    199809 |     791     1828    40049 |     8052     4011    112 |  1.983 % |
46.57/46.69	c |    200569 |     791     1828    40049 |     8857     4771    106 |  1.983 % |
46.78/46.86	c |    201709 |     791     1828    40049 |     9743     5911    102 |  1.983 % |
47.07/47.15	c |    203417 |     791     1828    40049 |    10717     7619    110 |  1.983 % |
47.68/47.78	c |    205980 |     791     1828    40049 |    11789    10182    109 |  1.983 % |
48.38/48.43	c |    209828 |     791     1828    40049 |    12968     7800    108 |  1.983 % |
49.68/49.79	c |    215594 |     791     1828    40049 |    14265    13566    105 |  1.983 % |
51.48/51.55	c |    224244 |     791     1828    40049 |    15692    14732    119 |  1.983 % |
54.17/54.26	c |    237219 |     791     1828    40049 |    17261    11325     86 |  1.983 % |
57.77/57.82	c |    256681 |     791     1828    40049 |    18987    12856     85 |  1.983 % |
65.28/65.30	c |    285875 |     791     1828    40049 |    20886    12449    143 |  1.983 % |
74.07/74.13	c |    329664 |     791     1828    40049 |    22974    12708     86 |  1.983 % |
90.67/90.77	c |    395348 |     791     1828    40049 |    25272    14216     98 |  1.983 % |
116.86/116.91	c |    493875 |     791     1828    40049 |    27799    23538     96 |  1.983 % |
161.25/161.30	c |    641665 |     791     1828    40049 |    30579    13545    125 |  1.983 % |
182.45/182.50	c There are 16 assigned variables. 16 in cost function.
183.44/183.55	c core #1
183.44/183.55	c core #2
183.44/183.55	c core #3
183.44/183.55	c core #4
183.44/183.55	c core #5
183.44/183.55	c core #6
183.44/183.55	c core #7
183.44/183.55	c core #8
183.44/183.55	c core #9
183.44/183.55	c core #10
183.44/183.55	c core #11
183.44/183.55	c core #12
183.44/183.55	c core #13
183.44/183.55	c core #14
183.44/183.55	c core #15
183.44/183.55	c core #16
183.44/183.55	c core #17
183.44/183.55	c core #18
183.44/183.55	c core #19
183.44/183.55	c core #20
183.44/183.55	c core #21
183.44/183.55	c ============================[ Search Statistics ]==============================
183.44/183.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.55	c ===============================================================================
183.44/183.55	c |         0 |     719     2528    27801 |     5000        0    nan |  0.000 % |
183.44/183.55	c ===============================================================================
183.44/183.57	c core #22
183.44/183.57	c ============================[ Search Statistics ]==============================
183.44/183.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.57	c ===============================================================================
183.44/183.57	c |         0 |     867     2529    29086 |     5000        0    nan |  0.000 % |
183.44/183.57	c ===============================================================================
183.44/183.59	c core #23
183.44/183.59	c ============================[ Search Statistics ]==============================
183.44/183.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.59	c ===============================================================================
183.44/183.59	c |         0 |    1054     2530    29904 |     5000        0    nan |  0.000 % |
183.44/183.60	c |       103 |    1054     2530    29904 |     5500      103     84 | 26.294 % |
183.55/183.61	c |       253 |    1052     2530    29904 |     6050      253     60 | 26.434 % |
183.55/183.64	c |       480 |    1052     2530    29904 |     6655      480     48 | 26.434 % |
183.55/183.68	c |       817 |    1052     2530    29904 |     7320      815     41 | 26.504 % |
183.65/183.75	c |      1323 |    1051     2530    29904 |     8052     1321     42 | 39.720 % |
183.65/183.75	c ===============================================================================
183.65/183.77	c core #24
183.65/183.77	c ============================[ Search Statistics ]==============================
183.65/183.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.77	c ===============================================================================
183.65/183.77	c |         0 |    1316     2531    31016 |     5000        0    nan |  0.000 % |
183.65/183.79	c |       100 |    1316     2531    31016 |     5500      100    134 | 21.103 % |
183.74/183.81	c |       252 |    1316     2531    31016 |     6050      252     90 | 21.103 % |
183.74/183.85	c |       479 |    1315     2531    31016 |     6655      478     75 | 21.163 % |
183.84/183.91	c |       816 |    1315     2531    31016 |     7320      815     68 | 21.163 % |
183.84/183.99	c |      1323 |    1315     2531    31016 |     8052     1322     76 | 21.163 % |
184.04/184.14	c |      2082 |    1315     2531    31016 |     8857     2081     78 | 21.163 % |
184.24/184.37	c |      3222 |    1314     2531    31016 |     9743     3220     75 | 21.223 % |
184.54/184.69	c |      4930 |    1314     2531    31016 |    10717     4928     79 | 21.223 % |
185.14/185.28	c |      7493 |    1314     2531    31016 |    11789     7491     75 | 21.223 % |
186.24/186.35	c |     11338 |    1313     2531    31016 |    12968    11335     80 | 21.283 % |
188.34/188.44	c |     17114 |    1311     2531    31016 |    14265    10322     89 | 21.468 % |
188.44/188.50	c ===============================================================================
188.64/188.70	c core #25
188.64/188.70	c ============================[ Search Statistics ]==============================
188.64/188.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.64/188.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.64/188.70	c ===============================================================================
188.64/188.70	c |         0 |    1766     2532    37596 |     5000        0    nan |  0.000 % |
188.64/188.72	c |       101 |    1766     2532    37596 |     5500      101    142 | 11.167 % |
188.64/188.75	c |       251 |    1766     2532    37596 |     6050      251     92 | 11.167 % |
188.64/188.78	c |       480 |    1766     2532    37596 |     6655      480     84 | 11.167 % |
188.74/188.85	c |       817 |    1766     2532    37596 |     7320      817     87 | 11.167 % |
188.84/188.97	c |      1323 |    1766     2532    37596 |     8052     1323    105 | 11.167 % |
189.05/189.13	c |      2082 |    1766     2532    37596 |     8857     2082    115 | 11.167 % |
189.24/189.39	c |      3227 |    1766     2532    37596 |     9743     3227    116 | 11.167 % |
189.74/189.89	c |      4935 |    1766     2532    37596 |    10717     4935    122 | 11.167 % |
190.74/190.89	c |      7499 |    1766     2532    37596 |    11789     7499    125 | 11.167 % |
192.04/192.19	c |     11347 |    1766     2532    37596 |    12968    11347    132 | 11.167 % |
194.34/194.43	c |     17113 |    1766     2532    37596 |    14265    10425    148 | 11.167 % |
197.24/197.39	c |     25762 |    1766     2532    37596 |    15692    11694    162 | 11.167 % |
202.93/203.06	c |     38739 |    1766     2532    37596 |    17261     8625    143 | 11.167 % |
212.64/212.71	c |     58202 |    1766     2532    37596 |    18987    10331    124 | 11.167 % |
216.64/216.76	c ===============================================================================
217.33/217.49	c core #26
217.33/217.49	c ============================[ Search Statistics ]==============================
217.33/217.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.33/217.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.33/217.49	c ===============================================================================
217.33/217.49	c |         0 |    2164     2533    38797 |     5000        0    nan |  0.000 % |
217.43/217.53	c |       103 |    2164     2533    38797 |     5500      103     55 |  7.797 % |
217.43/217.56	c |       253 |    2164     2533    38797 |     6050      253     60 |  7.797 % |
217.53/217.60	c |       478 |    2164     2533    38797 |     6655      478     64 |  7.797 % |
217.53/217.66	c |       816 |    2164     2533    38797 |     7320      816     67 |  7.797 % |
217.64/217.76	c |      1323 |    2160     2533    38797 |     8052     1320     87 |  7.968 % |
217.84/217.92	c |      2082 |    2160     2533    38797 |     8857     2076    118 |  7.968 % |
218.13/218.29	c |      3223 |    2160     2533    38797 |     9743     3217    149 |  7.968 % |
218.74/218.89	c |      4932 |    2160     2533    38797 |    10717     4926    169 |  7.968 % |
219.85/219.95	c |      7494 |    2160     2533    38797 |    11789     7488    184 |  7.968 % |
221.83/221.98	c |     11338 |    2160     2533    38797 |    12968    11332    215 |  7.968 % |
225.03/225.12	c |     17104 |    2160     2533    38797 |    14265    10324    256 |  7.968 % |
230.03/230.19	c |     25753 |    2160     2533    38797 |    15692    11644    218 |  7.968 % |
239.13/239.27	c |     38728 |    2160     2533    38797 |    17261     8375    232 |  7.968 % |
254.63/254.75	c |     58189 |    2158     2533    38797 |    18987    10180    221 |  8.053 % |
276.52/276.61	c |     87383 |    2158     2533    38797 |    20886    10426    222 |  8.053 % |
308.31/308.40	c |    131172 |    2156     2533    38797 |    22974    11358    227 |  8.138 % |
373.09/373.23	c |    196856 |    2155     2533    38797 |    25272    18044    262 |  8.223 % |
471.07/471.25	c |    295390 |    2154     2533    38797 |    27799    25462    276 |  8.223 % |
645.63/645.83	c |    443181 |    2152     2533    38797 |    30579    19146    270 |  8.308 % |
860.37/860.60	c |    664870 |    2152     2533    38797 |    33637    30356    308 |  8.308 % |
1263.57/1263.93	c |    997399 |    2152     2533    38797 |    37001    33021    270 |  8.308 % |

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-2656014-1276413576/watcher-2656014-1276413576 -o /tmp/evaluation-result-2656014-1276413576/solver-2656014-1276413576 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656014-1276413576.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: 2.19 1.84 1.37 3/106 21585
/proc/meminfo: memFree=1851700/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=2868 CPUtime=0
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 16944004 2936832 219 1992294400 134512640 135751879 4287804320 18446744073709551615 135118951 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 717 219 145 303 0 338 0

[startup+0.099208 s]
/proc/loadavg: 2.19 1.84 1.37 3/106 21585
/proc/meminfo: memFree=1851700/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=3092 CPUtime=0.09
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 511 0 0 0 9 0 0 0 20 0 1 0 16944004 3166208 355 1992294400 134512640 135751879 4287804320 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 773 355 147 303 0 468 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3092

[startup+0.101208 s]
/proc/loadavg: 2.19 1.84 1.37 3/106 21585
/proc/meminfo: memFree=1851700/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=3092 CPUtime=0.09
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 513 0 0 0 9 0 0 0 20 0 1 0 16944004 3166208 357 1992294400 134512640 135751879 4287804320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 773 357 147 303 0 468 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3092

[startup+0.301227 s]
/proc/loadavg: 2.19 1.84 1.37 3/106 21585
/proc/meminfo: memFree=1851700/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=3744 CPUtime=0.29
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 657 0 0 0 28 1 0 0 20 0 1 0 16944004 3833856 501 1992294400 134512640 135751879 4287804320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 936 501 147 303 0 631 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3744

[startup+0.701268 s]
/proc/loadavg: 2.19 1.84 1.37 3/106 21585
/proc/meminfo: memFree=1851700/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=5040 CPUtime=0.69
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 968 0 0 0 68 1 0 0 21 0 1 0 16944004 5160960 812 1992294400 134512640 135751879 4287804320 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 1260 812 147 303 0 955 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5040

[startup+1.50135 s]
/proc/loadavg: 2.19 1.84 1.37 2/107 21586
/proc/meminfo: memFree=1847972/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=7384 CPUtime=1.5
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 1565 0 0 0 147 3 0 0 23 0 1 0 16944004 7561216 1409 1992294400 134512640 135751879 4287804320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 1846 1409 147 303 0 1541 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7384

[startup+3.10051 s]
/proc/loadavg: 2.09 1.82 1.36 2/107 21586
/proc/meminfo: memFree=1844252/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=12208 CPUtime=3.09
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 2787 0 0 0 304 5 0 0 25 0 1 0 16944004 12500992 2631 1992294400 134512640 135751879 4287804320 18446744073709551615 134606599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 3052 2631 148 303 0 2747 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12208

[startup+6.30083 s]
/proc/loadavg: 2.09 1.82 1.36 2/107 21588
/proc/meminfo: memFree=1834332/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=21196 CPUtime=6.29
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 5032 0 0 0 618 11 0 0 25 0 1 0 16944004 21704704 4876 1992294400 134512640 135751879 4287804320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 5299 4876 148 303 0 4994 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21196

[startup+12.7005 s]
/proc/loadavg: 2.00 1.81 1.36 2/107 21588
/proc/meminfo: memFree=1818088/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=36788 CPUtime=12.68
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 8916 0 0 0 1250 18 0 0 25 0 1 0 16944004 37670912 8760 1992294400 134512640 135751879 4287804320 18446744073709551615 134606432 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 9197 8760 148 303 0 8892 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36788

[startup+25.5008 s]
/proc/loadavg: 1.78 1.77 1.36 2/107 21588
/proc/meminfo: memFree=1786096/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=68036 CPUtime=25.48
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 16728 0 0 0 2510 38 0 0 25 0 1 0 16944004 69668864 16572 1992294400 134512640 135751879 4287804320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 17009 16572 148 303 0 16704 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68036

[startup+51.1013 s]
/proc/loadavg: 1.51 1.71 1.35 2/107 21588
/proc/meminfo: memFree=1727320/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=128044 CPUtime=51.08
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 31706 0 0 0 5032 76 0 0 25 0 1 0 16944004 131117056 31550 1992294400 134512640 135751879 4287804320 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 32011 31550 148 303 0 31706 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128044

[startup+102.308 s]
/proc/loadavg: 1.20 1.58 1.33 2/107 21590
/proc/meminfo: memFree=1611132/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=242228 CPUtime=102.27
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 60215 0 0 0 10081 146 0 0 25 0 1 0 16944004 248041472 60059 1992294400 134512640 135751879 4287804320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 60557 60059 148 303 0 60252 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 242228

[startup+162.301 s]
/proc/loadavg: 1.08 1.48 1.30 2/107 21592
/proc/meminfo: memFree=1493704/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=361364 CPUtime=162.25
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 89986 0 0 0 16005 220 0 0 25 0 1 0 16944004 370036736 89830 1992294400 134512640 135751879 4287804320 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 90341 89830 148 303 0 90036 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 361364

[startup+222.301 s]
/proc/loadavg: 1.02 1.39 1.28 2/107 21592
/proc/meminfo: memFree=1426744/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=426088 CPUtime=222.24
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 106273 0 0 0 21926 298 0 0 25 0 1 0 16944004 436314112 106086 1992294400 134512640 135751879 4287804320 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 106522 106086 151 303 0 106217 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 426088

[startup+282.302 s]
/proc/loadavg: 1.01 1.32 1.26 2/107 21594
/proc/meminfo: memFree=1335976/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=517576 CPUtime=282.22
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 129131 0 0 0 27868 354 0 0 25 0 1 0 16944004 529997824 128944 1992294400 134512640 135751879 4287804320 18446744073709551615 134608365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 129394 128944 151 303 0 129089 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 517576

[startup+342.302 s]
/proc/loadavg: 1.00 1.26 1.24 2/107 21596
/proc/meminfo: memFree=1251408/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=600956 CPUtime=342.21
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 149968 0 0 0 33819 402 0 0 25 0 1 0 16944004 615378944 149781 1992294400 134512640 135751879 4287804320 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 150239 149781 151 303 0 149934 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 600956

[startup+402.302 s]
/proc/loadavg: 1.00 1.21 1.23 2/107 21598
/proc/meminfo: memFree=1177504/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=676248 CPUtime=402.19
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 168769 0 0 0 39772 447 0 0 25 0 1 0 16944004 692477952 168582 1992294400 134512640 135751879 4287804320 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 169062 168582 151 303 0 168757 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 676248

[startup+462.302 s]
/proc/loadavg: 1.00 1.17 1.21 2/107 21600
/proc/meminfo: memFree=1084876/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=767480 CPUtime=462.17
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 191586 0 0 0 45722 495 0 0 25 0 1 0 16944004 785899520 191399 1992294400 134512640 135751879 4287804320 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 191870 191399 151 303 0 191565 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 767480

[startup+522.302 s]
/proc/loadavg: 1.00 1.13 1.19 2/107 21600
/proc/meminfo: memFree=1005268/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=848016 CPUtime=522.16
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 211698 0 0 0 51678 538 0 0 25 0 1 0 16944004 868368384 211511 1992294400 134512640 135751879 4287804320 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 212004 211511 151 303 0 211699 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 848016

[startup+582.302 s]
/proc/loadavg: 1.00 1.11 1.18 2/107 21602
/proc/meminfo: memFree=931488/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=920620 CPUtime=582.14
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 229800 0 0 0 57640 574 0 0 25 0 1 0 16944004 942714880 229613 1992294400 134512640 135751879 4287804320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 230155 229613 151 303 0 229850 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 920620

[startup+642.302 s]
/proc/loadavg: 1.00 1.08 1.16 2/107 21604
/proc/meminfo: memFree=873952/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=977588 CPUtime=642.14
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 244037 0 0 0 63605 609 0 0 25 0 1 0 16944004 1001050112 243850 1992294400 134512640 135751879 4287804320 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 244397 243850 151 303 0 244092 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 977588

[startup+702.302 s]
/proc/loadavg: 1.00 1.07 1.15 2/107 21606
/proc/meminfo: memFree=783680/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1068224 CPUtime=702.11
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 266709 0 0 0 69553 658 0 0 25 0 1 0 16944004 1093861376 266522 1992294400 134512640 135751879 4287804320 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 267056 266522 151 303 0 266751 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1068224

[startup+762.309 s]
/proc/loadavg: 1.00 1.05 1.14 2/107 21608
/proc/meminfo: memFree=708660/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1142420 CPUtime=762.1
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 285237 0 0 0 75511 699 0 0 25 0 1 0 16944004 1169838080 285050 1992294400 134512640 135751879 4287804320 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 285605 285050 151 303 0 285300 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1142420

[startup+822.302 s]
/proc/loadavg: 1.00 1.04 1.13 2/107 21608
/proc/meminfo: memFree=630416/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1221644 CPUtime=822.08
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 305037 0 0 0 81463 745 0 0 25 0 1 0 16944004 1250963456 304850 1992294400 134512640 135751879 4287804320 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 305411 304850 151 303 0 305106 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1221644

[startup+882.302 s]
/proc/loadavg: 1.00 1.03 1.12 2/107 21610
/proc/meminfo: memFree=556016/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1295240 CPUtime=882.06
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 323420 0 0 0 87420 786 0 0 25 0 1 0 16944004 1326325760 323233 1992294400 134512640 135751879 4287804320 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 323810 323233 151 303 0 323505 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1295240

[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.11 2/107 21612
/proc/meminfo: memFree=494140/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1357080 CPUtime=942.05
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 338884 0 0 0 93390 815 0 0 25 0 1 0 16944004 1389649920 338697 1992294400 134512640 135751879 4287804320 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 339270 338697 151 303 0 338965 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1357080

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.09 2/107 21614
/proc/meminfo: memFree=418624/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1432448 CPUtime=1002.03
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 357694 0 0 0 99351 852 0 0 25 0 1 0 16944004 1466826752 357507 1992294400 134512640 135751879 4287804320 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 358112 357507 151 303 0 357807 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1432448

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 21616
/proc/meminfo: memFree=342240/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1510260 CPUtime=1062.01
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 377110 0 0 0 105311 890 0 0 25 0 1 0 16944004 1546506240 376923 1992294400 134512640 135751879 4287804320 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 377565 376923 151 303 0 377260 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1510260

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.08 2/107 21616
/proc/meminfo: memFree=259904/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1590916 CPUtime=1122.01
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 397261 0 0 0 111266 935 0 0 25 0 1 0 16944004 1629097984 397074 1992294400 134512640 135751879 4287804320 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 397729 397074 151 303 0 397424 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1590916

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 21618
/proc/meminfo: memFree=190464/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1661220 CPUtime=1181.99
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 414834 0 0 0 117228 971 0 0 25 0 1 0 16944004 1701089280 414647 1992294400 134512640 135751879 4287804320 18446744073709551615 134610856 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 415305 414647 151 303 0 415000 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1661220

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 21620
/proc/meminfo: memFree=118420/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1732096 CPUtime=1241.98
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 432545 0 0 0 123188 1010 0 0 25 0 1 0 16944004 1773666304 432358 1992294400 134512640 135751879 4287804320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 433024 432358 151 303 0 432719 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1732096

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 21622
/proc/meminfo: memFree=19716/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1830088 CPUtime=1301.96
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 457025 0 0 0 129134 1062 0 0 25 0 1 0 16944004 1874010112 456838 1992294400 134512640 135751879 4287804320 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 457522 456838 151 303 0 457217 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1830088



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1312.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 21622
/proc/meminfo: memFree=9148/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=1843200 CPUtime=1312.16
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4202496 460315 0 0 0 130148 1068 0 0 25 0 1 0 16944004 1887436800 460128 1992294400 134512640 135751879 4287804320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21585/statm: 460800 460128 151 303 0 460495 0
Current children cumulated CPU time (s) 1312.16
Current children cumulated vsize (KiB) 1843200

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

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

[startup+1312.61 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 21622
/proc/meminfo: memFree=9148/2059040 swapFree=4134484/4192956
[pid=21585] ppid=21583 vsize=0 CPUtime=1312.26
/proc/21585/stat : 21585 (wbo1.4b) R 21583 21585 21317 0 -1 4203524 460315 0 0 0 130148 1078 0 0 25 0 1 0 16944004 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/21585/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1312.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1312.68
CPU time (s): 1312.34
CPU user time (s): 1301.49
CPU system time (s): 10.8533
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1843200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.49
system time used= 10.8534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460315
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= 2
involuntary context switches= 3744

runsolver used 2.34264 second user time and 6.03508 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-13 09:19:36
IDJOB=2656014
IDBENCH=2052
IDSOLVER=1161
FILE ID=node017/2656014-1276413576
PBS_JOBID= 11173288
Free space on /tmp= 62368 MiB

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

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

MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee
RANDOM SEED=1999247124

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1852228 kB
Buffers:         12420 kB
Cached:         117220 kB
SwapCached:      11688 kB
Active:          82640 kB
Inactive:        61008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852228 kB
SwapTotal:     4192956 kB
SwapFree:      4134484 kB
Dirty:            2872 kB
Writeback:           0 kB
AnonPages:       12364 kB
Mapped:           9072 kB
Slab:            41448 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182756 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= 62368 MiB
End job on node017 at 2010-06-13 09:41:31