Trace number 2656250

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) 1719.72 1720.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_14.r.opb
MD5SUMf1b978cb920387bc2a07b8b1a528a68d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark0.675896
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables297
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 constraint10
Maximum length of a constraint14
Number of terms in the objective function 297
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 297
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 297
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

Solver Data 

0.00/0.01	c wbo 1.4 beta - 20100517
0.00/0.01	c Parsing opb file format. File HOME/instance-2656250-1276592336.opb.
0.00/0.01	c Instance file HOME/instance-2656250-1276592336.opb
0.00/0.01	c File size is 12077 bytes.
0.00/0.01	c Highest Coefficient sum: 15
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.00         s                                      |
0.00/0.01	c |  Number Variables:      297                                                 |
0.00/0.01	c |  Number Clauses:        100                                                 |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     297      100     1176 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 32
0.00/0.01	o 32
0.00/0.01	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     297      101     1473 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 31
0.00/0.01	o 31
0.00/0.01	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        33 |     297      102     1770 |     5000       33     54 |  0.000 % |
0.00/0.01	c |       134 |     297      102     1770 |     5500      134     58 |  0.001 % |
0.00/0.01	c |       285 |     297      102     1770 |     6050      285     56 |  0.001 % |
0.00/0.02	c |       511 |     297      102     1770 |     6655      511     53 |  0.001 % |
0.00/0.04	c |       848 |     297      102     1770 |     7320      848     51 |  0.001 % |
0.04/0.07	c |      1354 |     297      102     1770 |     8052     1354     52 |  0.001 % |
0.09/0.11	c |      2113 |     297      102     1770 |     8857     2113     52 |  0.001 % |
0.09/0.17	c |      3253 |     297      102     1770 |     9743     3253     53 |  0.001 % |
0.19/0.28	c |      4961 |     297      102     1770 |    10717     4961     54 |  0.001 % |
0.39/0.43	c |      7523 |     297      102     1770 |    11789     7523     53 |  0.001 % |
0.69/0.71	c |     11367 |     297      102     1770 |    12968    11367     53 |  0.001 % |
1.19/1.21	c |     17133 |     297      102     1770 |    14265    10546     56 |  0.001 % |
1.89/1.98	c |     25783 |     297      102     1770 |    15692    11962     52 |  0.001 % |
3.20/3.28	c |     38757 |     297      102     1770 |    17261     9023     60 |  0.001 % |
5.19/5.21	c |     58218 |     297      102     1770 |    18987    11007     59 |  0.001 % |
8.89/8.98	c |     87410 |     297      102     1770 |    20886    11391     61 |  0.001 % |
14.49/14.51	c |    131200 |     297      102     1770 |    22974    12974     51 |  0.001 % |
24.79/24.84	c |    196884 |     297      102     1770 |    25272    18614     58 |  0.001 % |
39.78/39.82	c |    295411 |     297      102     1770 |    27799    17049     53 |  0.001 % |
64.58/64.65	c |    443200 |     297      102     1770 |    30579    14525     50 |  0.001 % |
100.67/100.76	c |    664884 |     297      102     1770 |    33637    20874     52 |  0.001 % |
161.05/161.11	c |    997409 |     297      102     1770 |    37001    19614     50 |  0.001 % |
183.04/183.16	c There are 0 assigned variables. 0 in cost function.
184.34/184.40	c core #1
184.34/184.40	c core #2
184.34/184.40	c core #3
184.34/184.40	c core #4
184.34/184.40	c core #5
184.34/184.40	c core #6
184.34/184.40	c core #7
184.34/184.40	c core #8
184.34/184.40	c core #9
184.34/184.40	c ============================[ Search Statistics ]==============================
184.34/184.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.34/184.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.34/184.40	c ===============================================================================
184.34/184.40	c |         0 |     255      409     2453 |     5000        0    nan |  0.000 % |
184.34/184.40	c ===============================================================================
184.34/184.40	c core #10
184.34/184.40	c ============================[ Search Statistics ]==============================
184.34/184.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.34/184.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.34/184.40	c ===============================================================================
184.34/184.40	c |         0 |     427      410     2723 |     5000        0    nan |  0.000 % |
184.34/184.41	c |       101 |     427      410     2723 |     5500      101     72 | 18.822 % |
184.34/184.42	c |       261 |     427      410     2723 |     6050      261     57 | 18.822 % |
184.34/184.44	c ===============================================================================
184.34/184.44	c core #11
184.34/184.44	c ============================[ Search Statistics ]==============================
184.34/184.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.34/184.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.34/184.44	c ===============================================================================
184.34/184.44	c |         0 |     758      411     3311 |     5000        0    nan |  0.000 % |
184.34/184.45	c |       101 |     758      411     3311 |     5500      101     90 |  3.193 % |
184.34/184.47	c |       251 |     758      411     3311 |     6050      251     92 |  3.193 % |
184.44/184.51	c |       478 |     758      411     3311 |     6655      478     98 |  3.193 % |
184.44/184.58	c |       818 |     758      411     3311 |     7320      818     98 |  3.193 % |
184.64/184.71	c |      1325 |     758      411     3311 |     8052     1325     94 |  3.193 % |
184.75/184.87	c |      2085 |     758      411     3311 |     8857     2085     94 |  3.193 % |
185.04/185.20	c |      3225 |     758      411     3311 |     9743     3225     90 |  3.193 % |
185.64/185.73	c |      4933 |     758      411     3311 |    10717     4933     81 |  3.193 % |
186.35/186.48	c |      7495 |     758      411     3311 |    11789     7495     78 |  3.193 % |
187.95/188.00	c |     11341 |     758      411     3311 |    12968    11341     81 |  3.193 % |
190.15/190.23	c |     17107 |     758      411     3311 |    14265    10531     85 |  3.193 % |
191.14/191.20	c ===============================================================================
191.34/191.43	c core #12
191.34/191.43	c ============================[ Search Statistics ]==============================
191.34/191.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.34/191.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.34/191.43	c ===============================================================================
191.34/191.43	c |         0 |    1050      412     3879 |     5000        0    nan |  0.000 % |
191.34/191.45	c |       103 |    1050      412     3879 |     5500      103    212 |  0.850 % |
191.34/191.47	c |       254 |    1050      412     3879 |     6050      254    148 |  0.850 % |
191.43/191.50	c |       479 |    1050      412     3879 |     6655      479    121 |  0.850 % |
191.43/191.55	c |       817 |    1050      412     3879 |     7320      817     99 |  0.850 % |
191.54/191.65	c |      1323 |    1050      412     3879 |     8052     1323    107 |  0.850 % |
191.64/191.79	c |      2083 |    1050      412     3879 |     8857     2083     99 |  0.850 % |
191.93/192.07	c |      3223 |    1050      412     3879 |     9743     3223     98 |  0.850 % |
192.35/192.46	c |      4932 |    1050      412     3879 |    10717     4932     94 |  0.850 % |
192.94/193.03	c |      7494 |    1050      412     3879 |    11789     7494     88 |  0.850 % |
194.03/194.14	c |     11339 |    1050      412     3879 |    12968    11339     88 |  0.850 % |
196.54/196.65	c |     17108 |    1050      412     3879 |    14265    10517    111 |  0.850 % |
200.34/200.48	c |     25762 |    1050      412     3879 |    15692    11960    102 |  0.850 % |
206.13/206.28	c |     38738 |    1050      412     3879 |    17261     9051    120 |  0.850 % |
214.03/214.13	c |     58199 |    1050      412     3879 |    18987    11170    124 |  0.850 % |
228.83/228.99	c |     87393 |    1050      412     3879 |    20886    11349    151 |  0.850 % |
253.22/253.32	c |    131182 |    1050      412     3879 |    22974    12757    144 |  0.850 % |
292.81/292.97	c |    196871 |    1050      412     3879 |    25272    19988    179 |  0.850 % |
366.99/367.10	c |    295397 |    1050      412     3879 |    27799    12993    185 |  0.850 % |
482.76/482.96	c |    443187 |    1050      412     3879 |    30579    26973    173 |  0.850 % |
697.90/698.10	c |    664871 |    1050      412     3879 |    33637    17360    162 |  0.850 % |
1009.13/1009.45	c |    997399 |    1050      412     3879 |    37001    18033    219 |  0.850 % |
1278.65/1279.00	c ===============================================================================
1307.46/1307.87	c core #13
1307.46/1307.87	c ============================[ Search Statistics ]==============================
1307.46/1307.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1307.46/1307.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1307.46/1307.87	c ===============================================================================
1307.46/1307.87	c |         0 |    1353      413     4477 |     5000        0    nan |  0.000 % |
1307.75/1308.16	c |       108 |    1353      413     4477 |     5500      108    230 |  0.074 % |
1307.85/1308.21	c |       259 |    1353      413     4477 |     6050      259    150 |  0.074 % |
1307.85/1308.24	c |       485 |    1353      413     4477 |     6655      485    114 |  0.074 % |
1307.85/1308.29	c |       822 |    1353      413     4477 |     7320      822     97 |  0.074 % |
1307.95/1308.38	c |      1329 |    1353      413     4477 |     8052     1329    108 |  0.074 % |
1308.14/1308.51	c |      2088 |    1353      413     4477 |     8857     2088    112 |  0.074 % |
1308.35/1308.76	c |      3227 |    1353      413     4477 |     9743     3227    109 |  0.074 % |
1308.75/1309.19	c |      4938 |    1353      413     4477 |    10717     4938    108 |  0.074 % |
1309.54/1309.92	c |      7500 |    1353      413     4477 |    11789     7500    118 |  0.074 % |
1311.15/1311.58	c |     11344 |    1353      413     4477 |    12968    11344    127 |  0.074 % |
1314.55/1314.90	c |     17110 |    1353      413     4477 |    14265    10503    154 |  0.074 % |
1318.15/1318.56	c |     25759 |    1353      413     4477 |    15692    12006    148 |  0.074 % |
1325.44/1325.87	c |     38733 |    1353      413     4477 |    17261     9205    166 |  0.074 % |
1338.85/1339.22	c |     58196 |    1353      413     4477 |    18987    11399    147 |  0.074 % |
1355.64/1356.01	c |     87393 |    1353      413     4477 |    20886    11998    153 |  0.074 % |
1381.53/1381.99	c |    131182 |    1353      413     4477 |    22974    13726    159 |  0.074 % |
1422.82/1423.21	c |    196867 |    1353      413     4477 |    25272    21109    222 |  0.074 % |
1497.10/1497.59	c |    295393 |    1353      413     4477 |    27799    16146    177 |  0.074 % |
1609.78/1610.22	c |    443182 |    1353      413     4477 |    30579    28202    200 |  0.074 % |

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-2656250-1276592336/watcher-2656250-1276592336 -o /tmp/evaluation-result-2656250-1276592336/solver-2656250-1276592336 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656250-1276592336.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.00 1.06 1.35 3/105 9148
/proc/meminfo: memFree=1846976/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=2572 CPUtime=0
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 527105 2633728 209 1992294400 134512640 135751879 4290843232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 643 209 146 303 0 338 0

[startup+0.0502629 s]
/proc/loadavg: 1.00 1.06 1.35 3/105 9148
/proc/meminfo: memFree=1846976/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=2832 CPUtime=0.04
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 362 0 0 0 4 0 0 0 22 0 1 0 527105 2899968 277 1992294400 134512640 135751879 4290843232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 708 277 147 303 0 403 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2832

[startup+0.100266 s]
/proc/loadavg: 1.00 1.06 1.35 3/105 9148
/proc/meminfo: memFree=1846976/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=3220 CPUtime=0.09
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 443 0 0 0 9 0 0 0 22 0 1 0 527105 3297280 358 1992294400 134512640 135751879 4290843232 18446744073709551615 135420558 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 805 358 147 303 0 500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3220

[startup+0.300282 s]
/proc/loadavg: 1.00 1.06 1.35 3/105 9148
/proc/meminfo: memFree=1846976/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=4260 CPUtime=0.29
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 734 0 0 0 28 1 0 0 22 0 1 0 527105 4362240 649 1992294400 134512640 135751879 4290843232 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 1065 649 147 303 0 760 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4260

[startup+0.700314 s]
/proc/loadavg: 1.00 1.06 1.35 3/105 9148
/proc/meminfo: memFree=1846976/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=6240 CPUtime=0.69
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 1223 0 0 0 67 2 0 0 24 0 1 0 527105 6389760 1138 1992294400 134512640 135751879 4290843232 18446744073709551615 134641987 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 1560 1138 147 303 0 1255 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6240

[startup+1.50038 s]
/proc/loadavg: 1.00 1.06 1.35 2/106 9149
/proc/meminfo: memFree=1841636/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=9372 CPUtime=1.49
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 1991 0 0 0 145 4 0 0 25 0 1 0 527105 9596928 1906 1992294400 134512640 135751879 4290843232 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 2343 1906 148 303 0 2038 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9372

[startup+3.10151 s]
/proc/loadavg: 1.00 1.06 1.35 2/106 9149
/proc/meminfo: memFree=1837296/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=15108 CPUtime=3.09
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 3428 0 0 0 300 9 0 0 25 0 1 0 527105 15470592 3343 1992294400 134512640 135751879 4290843232 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 3777 3343 148 303 0 3472 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15108

[startup+6.30176 s]
/proc/loadavg: 1.00 1.05 1.35 2/106 9149
/proc/meminfo: memFree=1825888/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=26020 CPUtime=6.29
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 6148 0 0 0 612 17 0 0 25 0 1 0 527105 26644480 6063 1992294400 134512640 135751879 4290843232 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 6505 6063 148 303 0 6200 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26020

[startup+12.7013 s]
/proc/loadavg: 1.00 1.05 1.35 2/106 9151
/proc/meminfo: memFree=1808156/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=42052 CPUtime=12.69
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 10169 0 0 0 1238 31 0 0 25 0 1 0 527105 43061248 10084 1992294400 134512640 135751879 4290843232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 10513 10084 148 303 0 10208 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42052

[startup+25.5003 s]
/proc/loadavg: 1.00 1.05 1.34 2/106 9151
/proc/meminfo: memFree=1779636/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=70208 CPUtime=25.48
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 17199 0 0 0 2494 54 0 0 25 0 1 0 527105 71892992 17114 1992294400 134512640 135751879 4290843232 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 17552 17114 148 303 0 17247 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70208

[startup+51.1007 s]
/proc/loadavg: 1.00 1.05 1.33 2/106 9151
/proc/meminfo: memFree=1728796/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=121732 CPUtime=51.08
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 30029 0 0 0 5010 98 0 0 25 0 1 0 527105 124653568 29944 1992294400 134512640 135751879 4290843232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 30433 29944 148 303 0 30128 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 121732

[startup+102.308 s]
/proc/loadavg: 1.04 1.05 1.32 2/106 9153
/proc/meminfo: memFree=1629844/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=219268 CPUtime=102.28
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 54406 0 0 0 10043 185 0 0 25 0 1 0 527105 224530432 54321 1992294400 134512640 135751879 4290843232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 54817 54321 148 303 0 54512 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 219268

[startup+162.3 s]
/proc/loadavg: 1.05 1.05 1.30 2/106 9164
/proc/meminfo: memFree=1529180/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=320208 CPUtime=162.25
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 79615 0 0 0 15947 278 0 0 25 0 1 0 527105 327892992 79530 1992294400 134512640 135751879 4290843232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 80052 79530 148 303 0 79747 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 320208

[startup+222.301 s]
/proc/loadavg: 1.13 1.07 1.28 2/106 9164
/proc/meminfo: memFree=1458252/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=389104 CPUtime=222.23
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 96927 0 0 0 21875 348 0 0 25 0 1 0 527105 398442496 96805 1992294400 134512640 135751879 4290843232 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 97276 96805 151 303 0 96971 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 389104

[startup+282.3 s]
/proc/loadavg: 1.12 1.07 1.27 2/106 9166
/proc/meminfo: memFree=1382736/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=465216 CPUtime=282.22
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 115954 0 0 0 27822 400 0 0 25 0 1 0 527105 476381184 115832 1992294400 134512640 135751879 4290843232 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 116304 115832 151 303 0 115999 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 465216

[startup+342.301 s]
/proc/loadavg: 1.11 1.07 1.26 2/106 9168
/proc/meminfo: memFree=1313048/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=534492 CPUtime=342.2
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 133213 0 0 0 33776 444 0 0 25 0 1 0 527105 547319808 133091 1992294400 134512640 135751879 4290843232 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 133623 133091 151 303 0 133318 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 534492

[startup+402.301 s]
/proc/loadavg: 1.10 1.07 1.24 2/106 9170
/proc/meminfo: memFree=1247204/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=600788 CPUtime=402.18
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 149770 0 0 0 39733 485 0 0 25 0 1 0 527105 615206912 149648 1992294400 134512640 135751879 4290843232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 150197 149648 151 303 0 149892 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 600788

[startup+462.301 s]
/proc/loadavg: 1.09 1.07 1.23 2/106 9172
/proc/meminfo: memFree=1183716/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=663908 CPUtime=462.16
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 165486 0 0 0 45689 527 0 0 25 0 1 0 527105 679841792 165364 1992294400 134512640 135751879 4290843232 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 165977 165364 151 303 0 165672 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 663908

[startup+522.301 s]
/proc/loadavg: 1.08 1.07 1.22 2/106 9172
/proc/meminfo: memFree=1121592/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=726136 CPUtime=522.15
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 181032 0 0 0 51647 568 0 0 25 0 1 0 527105 743563264 180910 1992294400 134512640 135751879 4290843232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 181534 180910 151 303 0 181229 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 726136

[startup+582.3 s]
/proc/loadavg: 1.08 1.07 1.21 2/106 9174
/proc/meminfo: memFree=1072116/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=775136 CPUtime=582.13
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 193288 0 0 0 57614 599 0 0 25 0 1 0 527105 793739264 193166 1992294400 134512640 135751879 4290843232 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 193784 193166 151 303 0 193479 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 775136

[startup+642.301 s]
/proc/loadavg: 1.07 1.07 1.20 2/106 9176
/proc/meminfo: memFree=1022764/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=824460 CPUtime=642.12
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 205551 0 0 0 63581 631 0 0 25 0 1 0 527105 844247040 205429 1992294400 134512640 135751879 4290843232 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 206115 205429 151 303 0 205810 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 824460

[startup+702.301 s]

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

[startup+762.308 s]
/proc/loadavg: 1.06 1.06 1.17 2/106 9180
/proc/meminfo: memFree=903352/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=943800 CPUtime=762.1
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 235304 0 0 0 75501 709 0 0 25 0 1 0 527105 966451200 235183 1992294400 134512640 135751879 4290843232 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 235950 235183 151 303 0 235645 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 943800

[startup+822.301 s]
/proc/loadavg: 1.06 1.06 1.17 2/106 9180
/proc/meminfo: memFree=846932/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1000424 CPUtime=822.07
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 249435 0 0 0 81462 745 0 0 25 0 1 0 527105 1024434176 249313 1992294400 134512640 135751879 4290843232 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 250106 249313 151 303 0 249801 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1000424

[startup+882.301 s]
/proc/loadavg: 1.02 1.05 1.16 2/106 9182
/proc/meminfo: memFree=786048/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1061172 CPUtime=882.06
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 264561 0 0 0 87425 781 0 0 25 0 1 0 527105 1086640128 264439 1992294400 134512640 135751879 4290843232 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 265293 264439 151 303 0 264988 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1061172

[startup+942.301 s]
/proc/loadavg: 1.00 1.04 1.14 2/106 9184
/proc/meminfo: memFree=738928/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1108992 CPUtime=942.04
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 276470 0 0 0 93393 811 0 0 25 0 1 0 527105 1135607808 276348 1992294400 134512640 135751879 4290843232 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 277248 276348 151 303 0 276943 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1108992

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.13 2/106 9186
/proc/meminfo: memFree=676060/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1171160 CPUtime=1002.02
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 292012 0 0 0 99354 848 0 0 25 0 1 0 527105 1199267840 291890 1992294400 134512640 135751879 4290843232 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 292790 291890 151 303 0 292485 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1171160

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.12 2/106 9188
/proc/meminfo: memFree=616292/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1231696 CPUtime=1062.01
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 307123 0 0 0 105313 888 0 0 25 0 1 0 527105 1261256704 307001 1992294400 134512640 135751879 4290843232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 307924 307001 151 303 0 307619 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1231696

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.11 2/106 9188
/proc/meminfo: memFree=560988/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1286212 CPUtime=1122
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 320726 0 0 0 111278 922 0 0 25 0 1 0 527105 1317081088 320604 1992294400 134512640 135751879 4290843232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 321553 320604 151 303 0 321248 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1286212

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/106 9190
/proc/meminfo: memFree=497996/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1349908 CPUtime=1181.98
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 336646 0 0 0 117242 956 0 0 25 0 1 0 527105 1382305792 336524 1992294400 134512640 135751879 4290843232 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 337477 336524 151 303 0 337172 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1349908

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 9192
/proc/meminfo: memFree=434012/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1412960 CPUtime=1241.97
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 352370 0 0 0 123208 989 0 0 25 0 1 0 527105 1446871040 352248 1992294400 134512640 135751879 4290843232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 353240 352248 151 303 0 352935 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1412960

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 9194
/proc/meminfo: memFree=358744/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1487516 CPUtime=1301.96
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 371015 0 0 0 129183 1013 0 0 25 0 1 0 527105 1523216384 370893 1992294400 134512640 135751879 4290843232 18446744073709551615 134618389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 371879 370893 151 303 0 371574 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1487516

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 9196
/proc/meminfo: memFree=356264/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1487656 CPUtime=1361.94
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 371619 0 0 0 135143 1051 0 0 25 0 1 0 527105 1523359744 371497 1992294400 134512640 135751879 4290843232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 371914 371497 151 303 0 371609 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1487656

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 9196
/proc/meminfo: memFree=297860/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1546388 CPUtime=1421.92
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 386260 0 0 0 141093 1099 0 0 25 0 1 0 527105 1583501312 386138 1992294400 134512640 135751879 4290843232 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 386597 386138 151 303 0 386292 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1546388

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 9198
/proc/meminfo: memFree=232140/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1612612 CPUtime=1481.9
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 402824 0 0 0 147050 1140 0 0 25 0 1 0 527105 1651314688 402702 1992294400 134512640 135751879 4290843232 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 403153 402702 151 303 0 402848 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1612612

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 9200
/proc/meminfo: memFree=171008/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1672984 CPUtime=1541.89
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 417885 0 0 0 153009 1180 0 0 25 0 1 0 527105 1713135616 417763 1992294400 134512640 135751879 4290843232 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 418246 417763 151 303 0 417941 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1672984

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 9202
/proc/meminfo: memFree=111240/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1733312 CPUtime=1601.88
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 432940 0 0 0 158964 1224 0 0 25 0 1 0 527105 1774911488 432818 1992294400 134512640 135751879 4290843232 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 433328 432818 151 303 0 433023 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1733312

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 9204
/proc/meminfo: memFree=49612/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1794424 CPUtime=1661.86
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 448188 0 0 0 164920 1266 0 0 25 0 1 0 527105 1837490176 448066 1992294400 134512640 135751879 4290843232 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 448606 448066 151 303 0 448301 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1794424



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1720 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 9204
/proc/meminfo: memFree=10048/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=1843228 CPUtime=1719.55
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4202496 460345 0 0 0 170653 1302 0 0 25 0 1 0 527105 1887465472 460223 1992294400 134512640 135751879 4290843232 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9148/statm: 460807 460223 151 303 0 460502 0
Current children cumulated CPU time (s) 1719.55
Current children cumulated vsize (KiB) 1843228

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

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

[startup+1720.11 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 9204
/proc/meminfo: memFree=10048/2059040 swapFree=4192956/4192956
[pid=9148] ppid=9146 vsize=0 CPUtime=1719.65
/proc/9148/stat : 9148 (wbo1.4b) R 9146 9148 2300 0 -1 4203524 460345 0 0 0 170653 1312 0 0 25 0 1 0 527105 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/9148/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1719.65
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1720.17
CPU time (s): 1719.72
CPU user time (s): 1706.54
CPU system time (s): 13.181
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1843228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1706.54
system time used= 13.181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460345
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= 5
involuntary context switches= 1525

runsolver used 2.98155 second user time and 7.98379 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-15 10:58:56
IDJOB=2656250
IDBENCH=2859
IDSOLVER=1161
FILE ID=node089/2656250-1276592336
PBS_JOBID= 11173545
Free space on /tmp= 62556 MiB

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

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

MD5SUM BENCH= f1b978cb920387bc2a07b8b1a528a68d
RANDOM SEED=978469370

node089.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.244
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.48
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.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1848288 kB
Buffers:          6144 kB
Cached:          81460 kB
SwapCached:          0 kB
Active:          49792 kB
Inactive:        97152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848288 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2644 kB
Writeback:           0 kB
AnonPages:       59244 kB
Mapped:          15560 kB
Slab:            42284 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182404 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= 62556 MiB
End job on node089 at 2010-06-15 11:27:38