Trace number 2680917

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.16 1800.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_30_30.r.opb
MD5SUM28e00d9d9bb0c4a536b74577b47a7849
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark8.23975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
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 constraint30
Maximum length of a constraint30
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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-2680917-1277457535.opb.
0.00/0.00	c Instance file HOME/instance-2680917-1277457535.opb
0.00/0.00	c File size is 22368 bytes.
0.00/0.00	c Highest Coefficient sum: 31
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      100                                                 |
0.00/0.00	c |  Number Clauses:        100                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     100      100     3000 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 9
0.00/0.00	o 9
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     100      101     3100 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 8
0.00/0.00	o 8
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     100      102     3200 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7
0.00/0.00	o 7
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         2 |     100      103     3300 |     5000        2     71 |  0.000 % |
0.00/0.01	c |       102 |     100      103     3300 |     5500      102     57 |  0.010 % |
0.00/0.01	c |       253 |     100      103     3300 |     6050      253     57 |  0.010 % |
0.01/0.02	c |       479 |     100      103     3300 |     6655      479     56 |  0.010 % |
0.01/0.03	c |       817 |     100      103     3300 |     7320      817     56 |  0.010 % |
0.01/0.05	c |      1326 |     100      103     3300 |     8052     1326     57 |  0.010 % |
0.01/0.09	c |      2086 |     100      103     3300 |     8857     2086     58 |  0.010 % |
0.09/0.16	c |      3227 |     100      103     3300 |     9743     3227     57 |  0.010 % |
0.19/0.27	c |      4939 |     100      103     3300 |    10717     4939     58 |  0.010 % |
0.39/0.46	c |      7502 |     100      103     3300 |    11789     7502     58 |  0.010 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: 6
0.59/0.64	o 6
0.59/0.64	c Elapsed CPU time: 0.618905 s	Remaining CPU time: 179.381 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |      9573 |     100      104     3400 |     5000     9573     58 |  0.010 % |
0.59/0.66	c |      9674 |     100      104     3400 |     5500     4888     57 |  0.010 % |
0.59/0.67	c |      9825 |     100      104     3400 |     6050     5039     57 |  0.010 % |
0.59/0.68	c |     10051 |     100      104     3400 |     6655     5265     57 |  0.010 % |
0.69/0.71	c |     10393 |     100      104     3400 |     7320     5607     56 |  0.010 % |
0.69/0.74	c |     10905 |     100      104     3400 |     8052     6119     56 |  0.010 % |
0.69/0.79	c |     11665 |     100      104     3400 |     8857     6879     55 |  0.010 % |
0.79/0.87	c |     12806 |     100      104     3400 |     9743     8020     55 |  0.010 % |
1.00/1.02	c |     14515 |     100      104     3400 |    10717     9729     55 |  0.010 % |
1.19/1.27	c |     17077 |     100      104     3400 |    11789     6897     53 |  0.010 % |
1.59/1.62	c |     20923 |     100      104     3400 |    12968    10743     53 |  0.010 % |
2.20/2.25	c |     26697 |     100      104     3400 |    14265     9995     52 |  0.010 % |
3.19/3.26	c |     35346 |     100      104     3400 |    15692    11473     54 |  0.010 % |
4.89/4.97	c |     48324 |     100      104     3400 |    17261     8689     50 |  0.010 % |
7.59/7.65	c |     67786 |     100      104     3400 |    18987    10814     50 |  0.010 % |
12.19/12.28	c |     96978 |     100      104     3400 |    20886    11422     51 |  0.010 % |
20.59/20.63	c |    140771 |     100      104     3400 |    22974    13302     51 |  0.010 % |
32.89/32.99	c |    206455 |     100      104     3400 |    25272    20052     51 |  0.010 % |
54.08/54.15	c |    304984 |     100      104     3400 |    27799    20922     49 |  0.010 % |
86.88/86.92	c |    452776 |     100      104     3400 |    30579    21818     50 |  0.010 % |
139.76/139.85	c |    674461 |     100      104     3400 |    33637    15153     50 |  0.010 % |
182.75/182.83	c There are 0 assigned variables. 0 in cost function.
183.66/183.75	c core #1
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 31	Core Weight: 1	Total Weight: 1
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c ============================[ Search Statistics ]==============================
183.66/183.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.66/183.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.66/183.75	c ===============================================================================
183.66/183.75	c |         0 |      60      205     3490 |     5000        0    nan |  0.000 % |
183.66/183.75	c ===============================================================================
183.66/183.75	c core #2
183.66/183.75	c 
183.66/183.75	c 
183.66/183.75	c Core size: 92	Core Weight: 1	Total Weight: 2
183.66/183.75	c
183.66/183.75	c
183.66/183.75	c ============================[ Search Statistics ]==============================
183.66/183.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.66/183.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.66/183.75	c ===============================================================================
183.66/183.75	c |         0 |     214      206     3735 |     5000        0    nan |  0.000 % |
183.66/183.76	c |       108 |     214      206     3735 |     5500      108     57 |  3.169 % |
183.66/183.78	c |       262 |     214      206     3735 |     6050      262     55 |  3.169 % |
183.66/183.79	c ===============================================================================
183.66/183.79	c core #3
183.66/183.79	c 
183.66/183.79	c 
183.66/183.79	c Core size: 101	Core Weight: 1	Total Weight: 3
183.66/183.79	c
183.66/183.79	c
183.66/183.79	c ============================[ Search Statistics ]==============================
183.66/183.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.66/183.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.66/183.79	c ===============================================================================
183.66/183.79	c |         0 |     321      207     3942 |     5000        0    nan |  0.000 % |
183.75/183.80	c |       101 |     321      207     3942 |     5500      101     82 |  0.001 % |
183.75/183.82	c |       255 |     321      207     3942 |     6050      255     79 |  0.001 % |
183.75/183.84	c |       485 |     321      207     3942 |     6655      485     74 |  0.001 % |
183.75/183.88	c |       823 |     321      207     3942 |     7320      823     78 |  0.001 % |
183.86/183.95	c |      1331 |     321      207     3942 |     8052     1331     74 |  0.001 % |
183.96/184.07	c |      2091 |     321      207     3942 |     8857     2091     72 |  0.001 % |
184.15/184.27	c |      3232 |     321      207     3942 |     9743     3232     73 |  0.001 % |
184.55/184.60	c |      4941 |     321      207     3942 |    10717     4941     68 |  0.001 % |
185.15/185.25	c |      7504 |     321      207     3942 |    11789     7504     69 |  0.001 % |
186.25/186.30	c |     11351 |     321      207     3942 |    12968    11351     68 |  0.001 % |
187.96/188.05	c |     17118 |     321      207     3942 |    14265    10602     65 |  0.001 % |
190.55/190.66	c |     25775 |     321      207     3942 |    15692    12088     66 |  0.001 % |
194.56/194.62	c |     38749 |     321      207     3942 |    17261     9303     70 |  0.001 % |
200.06/200.10	c ===============================================================================
200.95/201.07	c core #4
200.95/201.07	c 
200.95/201.07	c 
200.95/201.07	c Core size: 102	Core Weight: 1	Total Weight: 4
200.95/201.07	c
200.95/201.07	c
200.95/201.07	c ============================[ Search Statistics ]==============================
200.95/201.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.95/201.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.95/201.07	c ===============================================================================
200.95/201.07	c |         0 |     421      208     4142 |     5000        0    nan |  0.000 % |
201.05/201.10	c |       108 |     421      208     4142 |     5500      108    109 |  0.001 % |
201.05/201.11	c |       258 |     421      208     4142 |     6050      258     97 |  0.001 % |
201.05/201.12	c |       483 |     421      208     4142 |     6655      483     77 |  0.001 % |
201.05/201.14	c |       822 |     421      208     4142 |     7320      822     68 |  0.001 % |
201.05/201.16	c |      1329 |     421      208     4142 |     8052     1329     63 |  0.001 % |
201.15/201.21	c |      2090 |     421      208     4142 |     8857     2090     59 |  0.001 % |
201.15/201.28	c |      3229 |     421      208     4142 |     9743     3229     56 |  0.001 % |
201.35/201.41	c |      4939 |     421      208     4142 |    10717     4939     55 |  0.001 % |
201.54/201.65	c |      7501 |     421      208     4142 |    11789     7501     55 |  0.001 % |
201.95/202.07	c |     11346 |     421      208     4142 |    12968    11346     54 |  0.001 % |
202.85/202.92	c |     17112 |     421      208     4142 |    14265    10589     54 |  0.001 % |
204.05/204.14	c |     25766 |     421      208     4142 |    15692    12074     53 |  0.001 % |
206.15/206.30	c |     38743 |     421      208     4142 |    17261     9287     51 |  0.001 % |
209.95/210.05	c |     58204 |     421      208     4142 |    18987    11422     49 |  0.001 % |
215.14/215.24	c |     87396 |     421      208     4142 |    20886    12024     51 |  0.001 % |
224.94/225.03	c |    131187 |     421      208     4142 |    22974    13903     51 |  0.001 % |
240.44/240.51	c |    196873 |     421      208     4142 |    25272    20926     49 |  0.001 % |
264.54/264.63	c |    295402 |     421      208     4142 |    27799    22715     50 |  0.001 % |
301.83/301.96	c |    443194 |     421      208     4142 |    30579    23536     49 |  0.001 % |
361.11/361.20	c |    664881 |     421      208     4142 |    33637    18003     48 |  0.001 % |
453.79/453.98	c |    997406 |     421      208     4142 |    37001    21739     50 |  0.001 % |
591.47/591.68	c |   1496194 |     421      208     4142 |    40701    18043     49 |  0.001 % |
817.81/818.06	c |   2244380 |     421      208     4142 |    44771    18775     52 |  0.001 % |
1215.73/1216.02	c |   3366655 |     421      208     4142 |    49248    30862     47 |  0.001 % |

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-2680917-1277457535/watcher-2680917-1277457535 -o /tmp/evaluation-result-2680917-1277457535/solver-2680917-1277457535 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680917-1277457535.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.95 3/106 28090
/proc/meminfo: memFree=1824104/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=2572 CPUtime=0
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 87048894 2633728 193 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 643 193 144 303 0 338 0

[startup+0.0182609 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 28090
/proc/meminfo: memFree=1824104/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=2572 CPUtime=0.01
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 303 0 0 0 1 0 0 0 20 0 1 0 87048894 2633728 216 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 643 216 145 303 0 338 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2572

[startup+0.100265 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 28090
/proc/meminfo: memFree=1824104/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=3232 CPUtime=0.09
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 464 0 0 0 9 0 0 0 20 0 1 0 87048894 3309568 377 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 808 377 145 303 0 503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3232

[startup+0.300278 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 28090
/proc/meminfo: memFree=1824104/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=4420 CPUtime=0.29
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 752 0 0 0 28 1 0 0 20 0 1 0 87048894 4526080 665 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 1105 665 145 303 0 800 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4420

[startup+0.700303 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 28090
/proc/meminfo: memFree=1824104/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=6168 CPUtime=0.69
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 1190 0 0 0 67 2 0 0 20 0 1 0 87048894 6316032 1103 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 1542 1103 145 303 0 1237 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6168

[startup+1.50035 s]
/proc/loadavg: 0.92 0.98 0.95 2/107 28091
/proc/meminfo: memFree=1818888/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=9204 CPUtime=1.49
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 1968 0 0 0 145 4 0 0 23 0 1 0 87048894 9424896 1881 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 2301 1882 145 303 0 1996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9204

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.95 2/107 28091
/proc/meminfo: memFree=1815044/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=14228 CPUtime=3.09
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 3195 0 0 0 300 9 0 0 25 0 1 0 87048894 14569472 3108 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 3557 3108 145 303 0 3252 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14228

[startup+6.30165 s]
/proc/loadavg: 0.93 0.98 0.95 2/107 28091
/proc/meminfo: memFree=1805744/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=22432 CPUtime=6.29
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 5242 0 0 0 612 17 0 0 25 0 1 0 87048894 22970368 5155 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 5608 5155 145 303 0 5303 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22432

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.95 2/107 28091
/proc/meminfo: memFree=1791360/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=36272 CPUtime=12.69
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 8690 0 0 0 1239 30 0 0 25 0 1 0 87048894 37142528 8603 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 9068 8603 145 303 0 8763 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36272

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.95 2/107 28091
/proc/meminfo: memFree=1767924/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=58636 CPUtime=25.49
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 14284 0 0 0 2497 52 0 0 25 0 1 0 87048894 60043264 14197 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 14659 14197 145 303 0 14354 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58636

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.95 2/107 28091
/proc/meminfo: memFree=1727872/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=98828 CPUtime=51.09
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 24333 0 0 0 5018 91 0 0 25 0 1 0 87048894 101199872 24246 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 24707 24246 145 303 0 24402 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98828

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.95 2/107 28093
/proc/meminfo: memFree=1652852/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=172900 CPUtime=102.28
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 42818 0 0 0 10060 168 0 0 25 0 1 0 87048894 177049600 42731 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 43225 42731 145 303 0 42920 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 172900

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 28095
/proc/meminfo: memFree=1574236/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=252664 CPUtime=162.26
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 62731 0 0 0 15974 252 0 0 25 0 1 0 87048894 258727936 62644 1992294400 134512640 135752675 4289566992 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 63166 62644 145 303 0 62861 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 252664

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 28097
/proc/meminfo: memFree=1522652/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=302880 CPUtime=222.25
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 75379 0 0 0 21891 334 0 0 25 0 1 0 87048894 310149120 75259 1992294400 134512640 135752675 4289566992 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 75720 75259 146 303 0 75415 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 302880

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 28099
/proc/meminfo: memFree=1473300/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=352484 CPUtime=282.23
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 87763 0 0 0 27817 406 0 0 25 0 1 0 87048894 360943616 87643 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 88121 87643 146 303 0 87816 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 352484

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 28099
/proc/meminfo: memFree=1423948/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=401552 CPUtime=342.21
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 99996 0 0 0 33743 478 0 0 25 0 1 0 87048894 411189248 99876 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 100388 99876 146 303 0 100083 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 401552

[startup+402.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 28101
/proc/meminfo: memFree=1373852/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=451640 CPUtime=402.21
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 112502 0 0 0 39674 547 0 0 25 0 1 0 87048894 462479360 112382 1992294400 134512640 135752675 4289566992 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 112910 112382 146 303 0 112605 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 451640

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 28103
/proc/meminfo: memFree=1324748/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=500332 CPUtime=462.2
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 124679 0 0 0 45607 613 0 0 25 0 1 0 87048894 512339968 124559 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 125083 124559 146 303 0 124778 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 500332

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/107 28105
/proc/meminfo: memFree=1273412/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=552528 CPUtime=522.18
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 137690 0 0 0 51536 682 0 0 25 0 1 0 87048894 565788672 137570 1992294400 134512640 135752675 4289566992 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 138132 137570 146 303 0 137827 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 552528

[startup+582.3 s]
/proc/loadavg: 1.05 1.00 0.95 2/107 28107
/proc/meminfo: memFree=1212032/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=613104 CPUtime=582.17
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 152812 0 0 0 57459 758 0 0 25 0 1 0 87048894 627818496 152692 1992294400 134512640 135752675 4289566992 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 153276 152692 146 303 0 152971 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 613104

[startup+642.3 s]
/proc/loadavg: 1.02 1.00 0.95 2/107 28107
/proc/meminfo: memFree=1156728/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=667956 CPUtime=642.16
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 166489 0 0 0 63394 822 0 0 25 0 1 0 87048894 683986944 166369 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 166989 166369 146 303 0 166684 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 667956

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28118
/proc/meminfo: memFree=950888/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=873216 CPUtime=882.11
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 217753 0 0 0 87139 1072 0 0 25 0 1 0 87048894 894173184 217633 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 218304 217633 146 303 0 217999 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 873216

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28118
/proc/meminfo: memFree=905008/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=920156 CPUtime=942.08
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 229491 0 0 0 93078 1130 0 0 25 0 1 0 87048894 942239744 229371 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 230039 229371 146 303 0 229734 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 920156

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28120
/proc/meminfo: memFree=858136/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=966032 CPUtime=1002.08
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 240951 0 0 0 99016 1192 0 0 25 0 1 0 87048894 989216768 240831 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 241508 240831 146 303 0 241203 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 966032

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28122
/proc/meminfo: memFree=818208/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1007060 CPUtime=1062.06
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 251189 0 0 0 104958 1248 0 0 25 0 1 0 87048894 1031229440 251069 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 251765 251069 146 303 0 251460 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1007060

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28124
/proc/meminfo: memFree=771584/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1052820 CPUtime=1122.05
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 262597 0 0 0 110893 1312 0 0 25 0 1 0 87048894 1078087680 262477 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 263205 262478 146 303 0 262900 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1052820

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28126
/proc/meminfo: memFree=727812/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1096792 CPUtime=1182.03
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 273605 0 0 0 116837 1366 0 0 25 0 1 0 87048894 1123115008 273485 1992294400 134512640 135752675 4289566992 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 274198 273485 146 303 0 273893 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1096792

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28126
/proc/meminfo: memFree=685652/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1137924 CPUtime=1242.02
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 283896 0 0 0 122782 1420 0 0 25 0 1 0 87048894 1165234176 283776 1992294400 134512640 135752675 4289566992 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 284481 283776 146 303 0 284176 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1137924

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 28128
/proc/meminfo: memFree=640888/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1182588 CPUtime=1302.02
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 295031 0 0 0 128728 1474 0 0 25 0 1 0 87048894 1210970112 294911 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 295647 294911 146 303 0 295342 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1182588

[startup+1362.3 s]
/proc/loadavg: 1.06 1.02 0.96 2/107 28130
/proc/meminfo: memFree=600216/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1223656 CPUtime=1362
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 305303 0 0 0 134673 1527 0 0 25 0 1 0 87048894 1253023744 305183 1992294400 134512640 135752675 4289566992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 305914 305183 146 303 0 305609 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1223656

[startup+1422.31 s]
/proc/loadavg: 1.08 1.03 0.96 2/107 28132
/proc/meminfo: memFree=558304/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1265160 CPUtime=1422
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 315671 0 0 0 140615 1585 0 0 25 0 1 0 87048894 1295523840 315551 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 316290 315551 146 303 0 315985 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1265160

[startup+1482.3 s]
/proc/loadavg: 1.08 1.03 0.97 2/107 28134
/proc/meminfo: memFree=516516/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1307212 CPUtime=1481.97
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 326180 0 0 0 146561 1636 0 0 25 0 1 0 87048894 1338585088 326060 1992294400 134512640 135752675 4289566992 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 326803 326060 146 303 0 326498 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1307212

[startup+1542.3 s]
/proc/loadavg: 1.03 1.03 0.97 2/107 28134
/proc/meminfo: memFree=476464/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1346784 CPUtime=1541.96
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 336070 0 0 0 152507 1689 0 0 25 0 1 0 87048894 1379106816 335950 1992294400 134512640 135752675 4289566992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 336696 335950 146 303 0 336391 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1346784

[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 0.97 2/107 28136
/proc/meminfo: memFree=432444/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1391264 CPUtime=1601.95
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 347193 0 0 0 158449 1746 0 0 25 0 1 0 87048894 1424654336 347073 1992294400 134512640 135752675 4289566992 18446744073709551615 134611594 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 347816 347073 146 303 0 347511 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1391264

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 28138
/proc/meminfo: memFree=388300/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1434748 CPUtime=1661.94
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 358061 0 0 0 164394 1800 0 0 25 0 1 0 87048894 1469181952 357941 1992294400 134512640 135752675 4289566992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 358687 357941 146 303 0 358382 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1434748

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 28140
/proc/meminfo: memFree=345768/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1477736 CPUtime=1721.92
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 368791 0 0 0 170336 1856 0 0 25 0 1 0 87048894 1513201664 368671 1992294400 134512640 135752675 4289566992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 369434 368671 146 303 0 369129 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1477736

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 28142
/proc/meminfo: memFree=305220/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1517600 CPUtime=1781.91
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 378758 0 0 0 176279 1912 0 0 25 0 1 0 87048894 1554022400 378638 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 379400 378638 146 303 0 379095 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1517600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 28142
/proc/meminfo: memFree=293564/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=1528968 CPUtime=1800.01
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4202496 381598 0 0 0 178075 1926 0 0 25 0 1 0 87048894 1565663232 381478 1992294400 134512640 135752675 4289566992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28090/statm: 382242 381478 146 303 0 381937 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1528968

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

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

[startup+1800.51 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 28142
/proc/meminfo: memFree=293564/2059040 swapFree=4139096/4192956
[pid=28090] ppid=28088 vsize=0 CPUtime=1800.11
/proc/28090/stat : 28090 (wbo1.4b) R 28088 28090 27561 0 -1 4203524 381598 0 0 0 178075 1936 0 0 25 0 1 0 87048894 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28090/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.55
CPU time (s): 1800.16
CPU user time (s): 1780.76
CPU system time (s): 19.407
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 1528968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.76
system time used= 19.407
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381598
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= 3
involuntary context switches= 3201

runsolver used 3.23851 second user time and 8.24075 second system time

The end

Launcher Data 

Begin job on node029 at 2010-06-25 11:18:55
IDJOB=2680917
IDBENCH=2891
IDSOLVER=1190
FILE ID=node029/2680917-1277457535
PBS_JOBID= 11188136
Free space on /tmp= 62488 MiB

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

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

MD5SUM BENCH= 28e00d9d9bb0c4a536b74577b47a7849
RANDOM SEED=1648249503

node029.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.221
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.44
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.221
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:       1824632 kB
Buffers:         47732 kB
Cached:          87356 kB
SwapCached:       7392 kB
Active:          64784 kB
Inactive:        85172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1824632 kB
SwapTotal:     4192956 kB
SwapFree:      4139096 kB
Dirty:            2640 kB
Writeback:           0 kB
AnonPages:       12492 kB
Mapped:          11960 kB
Slab:            62600 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182760 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= 62488 MiB
End job on node029 at 2010-06-25 11:48:57