Trace number 2656242

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) 1735.91 1736.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_15.r.opb
MD5SUM34bb25320bcbfa536bfc14194ca6ac66
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 benchmark7.04093
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 constraint15
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

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-2656242-1276591691.opb.
0.00/0.00	c Instance file HOME/instance-2656242-1276591691.opb
0.00/0.00	c File size is 12838 bytes.
0.00/0.00	c Highest Coefficient sum: 16
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      297                                                 |
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 |     297      100     1276 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 34
0.00/0.00	o 34
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     297      101     1573 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 33
0.00/0.00	o 33
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     297      102     1870 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 32
0.00/0.00	o 32
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 |        27 |     297      103     2167 |     5000       27     66 |  0.000 % |
0.00/0.01	c |       127 |     297      103     2167 |     5500      127     63 |  0.001 % |
0.00/0.02	c |       277 |     297      103     2167 |     6050      277     59 |  0.001 % |
0.02/0.03	c |       503 |     297      103     2167 |     6655      503     56 |  0.001 % |
0.02/0.05	c |       841 |     297      103     2167 |     7320      841     56 |  0.001 % |
0.02/0.07	c |      1348 |     297      103     2167 |     8052     1348     57 |  0.001 % |
0.09/0.11	c |      2108 |     297      103     2167 |     8857     2108     56 |  0.001 % |
0.09/0.18	c |      3247 |     297      103     2167 |     9743     3247     56 |  0.001 % |
0.19/0.29	c |      4958 |     297      103     2167 |    10717     4958     56 |  0.001 % |
0.38/0.45	c |      7520 |     297      103     2167 |    11789     7520     56 |  0.001 % |
0.69/0.74	c |     11364 |     297      103     2167 |    12968    11364     55 |  0.001 % |
1.19/1.21	c |     17130 |     297      103     2167 |    14265    10530     56 |  0.001 % |
1.89/1.96	c |     25779 |     297      103     2167 |    15692    11936     53 |  0.001 % |
3.20/3.27	c |     38754 |     297      103     2167 |    17261     9003     60 |  0.001 % |
5.40/5.44	c |     58216 |     297      103     2167 |    18987    10983     61 |  0.001 % |
8.79/8.85	c |     87408 |     297      103     2167 |    20886    11341     56 |  0.001 % |
14.49/14.55	c |    131198 |     297      103     2167 |    22974    12886     53 |  0.001 % |
23.59/23.69	c |    196882 |     297      103     2167 |    25272    16927     53 |  0.001 % |
39.08/39.18	c |    295408 |     297      103     2167 |    27799    16519     55 |  0.001 % |
60.27/60.37	c |    443197 |     297      103     2167 |    30579    11596     53 |  0.001 % |
61.27/61.34	c ===============================================================================
61.27/61.34	c New solution: 31
61.27/61.34	o 31
61.27/61.34	c Elapsed CPU time: 60.0789 s	Remaining CPU time: 119.921 s
61.27/61.34	c ===============================================================================
61.27/61.34	c |    452386 |     297      104     2464 |     5000    20785     61 |  0.001 % |
61.37/61.44	c |    452486 |     297      104     2464 |     5500     2699     79 |  0.001 % |
61.37/61.45	c |    452636 |     297      104     2464 |     6050     2849     78 |  0.001 % |
61.37/61.47	c |    452861 |     297      104     2464 |     6655     3074     76 |  0.001 % |
61.37/61.49	c |    453198 |     297      104     2464 |     7320     3411     74 |  0.001 % |
61.48/61.52	c |    453704 |     297      104     2464 |     8052     3917     71 |  0.001 % |
61.48/61.56	c |    454464 |     297      104     2464 |     8857     4677     69 |  0.001 % |
61.58/61.64	c |    455604 |     297      104     2464 |     9743     5817     66 |  0.001 % |
61.67/61.75	c |    457313 |     297      104     2464 |    10717     7526     64 |  0.001 % |
61.87/61.93	c |    459876 |     297      104     2464 |    11789    10089     62 |  0.001 % |
62.17/62.24	c |    463721 |     297      104     2464 |    12968     7928     54 |  0.001 % |
62.68/62.71	c |    469487 |     297      104     2464 |    14265     7093     56 |  0.001 % |
63.36/63.44	c |    478136 |     297      104     2464 |    15692     8505     54 |  0.001 % |
64.57/64.69	c |    491110 |     297      104     2464 |    17261    13517     54 |  0.001 % |
66.57/66.67	c |    510571 |     297      104     2464 |    18987    15489     52 |  0.001 % |
69.96/70.07	c |    539764 |     297      104     2464 |    20886    15890     54 |  0.001 % |
76.67/76.75	c |    583553 |     297      104     2464 |    22974    17473     57 |  0.001 % |
87.27/87.38	c |    649237 |     297      104     2464 |    25272    11362     56 |  0.001 % |
102.06/102.17	c |    747763 |     297      104     2464 |    27799    22977     50 |  0.001 % |
124.86/124.92	c |    895553 |     297      104     2464 |    30579    19047     50 |  0.001 % |
161.44/161.53	c |   1117236 |     297      104     2464 |    33637    24998     54 |  0.001 % |
183.44/183.57	c There are 0 assigned variables. 0 in cost function.
184.84/184.94	c core #1
184.84/184.94	c core #2
184.84/184.94	c core #3
184.84/184.94	c core #4
184.84/184.94	c core #5
184.84/184.94	c core #6
184.84/184.94	c core #7
184.84/184.94	c core #8
184.84/184.94	c ============================[ Search Statistics ]==============================
184.84/184.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.84/184.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.84/184.94	c ===============================================================================
184.84/184.94	c |         0 |     246      410     3131 |     5000        0    nan |  0.000 % |
184.84/184.94	c ===============================================================================
184.84/184.94	c core #9
184.84/184.94	c ============================[ Search Statistics ]==============================
184.84/184.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.84/184.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.84/184.94	c ===============================================================================
184.84/184.94	c |         0 |     379      411     3351 |     5000        0    nan |  0.000 % |
184.84/184.95	c |       108 |     379      411     3351 |     5500      108     95 | 25.394 % |
184.84/184.96	c ===============================================================================
184.84/184.97	c core #10
184.84/184.97	c ============================[ Search Statistics ]==============================
184.84/184.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.84/184.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.84/184.97	c ===============================================================================
184.84/184.97	c |         0 |     700      412     3899 |     5000        0    nan |  0.000 % |
184.84/184.98	c |       104 |     700      412     3899 |     5500      104    151 |  4.762 % |
184.94/185.00	c |       257 |     700      412     3899 |     6050      257    147 |  4.762 % |
184.94/185.05	c |       482 |     700      412     3899 |     6655      482    144 |  4.762 % |
185.04/185.14	c |       819 |     700      412     3899 |     7320      819    131 |  4.762 % |
185.24/185.30	c |      1331 |     700      412     3899 |     8052     1331    121 |  4.762 % |
185.34/185.49	c |      2091 |     700      412     3899 |     8857     2091    105 |  4.762 % |
185.64/185.79	c |      3230 |     700      412     3899 |     9743     3230     96 |  4.762 % |
186.14/186.20	c |      4939 |     700      412     3899 |    10717     4939     92 |  4.762 % |
186.84/186.97	c |      7505 |     700      412     3899 |    11789     7505     89 |  4.762 % |
188.33/188.49	c |     11350 |     700      412     3899 |    12968    11350     87 |  4.762 % |
190.34/190.46	c |     17118 |     700      412     3899 |    14265    10575     74 |  4.762 % |
192.23/192.34	c ===============================================================================
192.53/192.62	c core #11
192.53/192.62	c ============================[ Search Statistics ]==============================
192.53/192.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.53/192.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.53/192.62	c ===============================================================================
192.53/192.62	c |         0 |    1024      413     4514 |     5000        0    nan |  0.000 % |
192.53/192.64	c |       104 |    1024      413     4514 |     5500      104    214 |  0.195 % |
192.53/192.66	c |       254 |    1024      413     4514 |     6050      254    167 |  0.195 % |
192.63/192.70	c |       482 |    1024      413     4514 |     6655      482    123 |  0.195 % |
192.63/192.77	c |       822 |    1024      413     4514 |     7320      822     95 |  0.195 % |
192.73/192.85	c |      1332 |    1024      413     4514 |     8052     1332     81 |  0.195 % |
192.94/193.03	c |      2091 |    1024      413     4514 |     8857     2091     79 |  0.195 % |
193.13/193.28	c |      3235 |    1024      413     4514 |     9743     3235     78 |  0.195 % |
193.63/193.70	c |      4943 |    1024      413     4514 |    10717     4943     90 |  0.195 % |
194.33/194.45	c |      7507 |    1024      413     4514 |    11789     7507     97 |  0.195 % |
195.93/196.03	c |     11351 |    1024      413     4514 |    12968    11351    102 |  0.195 % |
197.84/197.95	c |     17118 |    1024      413     4514 |    14265    10509    105 |  0.195 % |
202.34/202.44	c |     25767 |    1024      413     4514 |    15692    11929    113 |  0.195 % |
208.53/208.69	c |     38741 |    1024      413     4514 |    17261     8931     98 |  0.195 % |
217.22/217.30	c |     58207 |    1024      413     4514 |    18987    10837    103 |  0.195 % |
233.22/233.34	c |     87399 |    1024      413     4514 |    20886    11170    128 |  0.195 % |
258.51/258.64	c |    131188 |    1024      413     4514 |    22974    12841    135 |  0.195 % |
317.10/317.24	c |    196874 |    1024      413     4514 |    25272    20574    208 |  0.195 % |
420.38/420.54	c |    295401 |    1024      413     4514 |    27799    15911    187 |  0.195 % |
533.74/533.96	c ===============================================================================
544.35/544.53	c core #12
544.35/544.53	c ============================[ Search Statistics ]==============================
544.35/544.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
544.35/544.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
544.35/544.53	c ===============================================================================
544.35/544.53	c |         0 |    1321      414     5107 |     5000        0    nan |  0.000 % |
544.54/544.70	c |       106 |    1321      414     5107 |     5500      106    206 |  0.076 % |
544.54/544.72	c |       256 |    1321      414     5107 |     6050      256    135 |  0.076 % |
544.54/544.77	c |       481 |    1321      414     5107 |     6655      481    159 |  0.076 % |
544.64/544.86	c |       818 |    1321      414     5107 |     7320      818    174 |  0.076 % |
544.84/545.00	c |      1332 |    1321      414     5107 |     8052     1332    170 |  0.076 % |
545.04/545.21	c |      2091 |    1321      414     5107 |     8857     2091    153 |  0.076 % |
545.24/545.48	c |      3230 |    1321      414     5107 |     9743     3230    145 |  0.076 % |
545.74/545.92	c |      4940 |    1321      414     5107 |    10717     4940    143 |  0.076 % |
546.45/546.68	c |      7505 |    1321      414     5107 |    11789     7505    164 |  0.076 % |
548.44/548.60	c |     11350 |    1321      414     5107 |    12968    11350    202 |  0.076 % |
551.04/551.28	c |     17117 |    1321      414     5107 |    14265    10408    213 |  0.076 % |
557.44/557.64	c |     25766 |    1321      414     5107 |    15692    11743    215 |  0.076 % |
565.15/565.36	c |     38740 |    1321      414     5107 |    17261     8835    171 |  0.076 % |
581.43/581.65	c |     58203 |    1321      414     5107 |    18987    10652    253 |  0.076 % |
607.92/608.18	c |     87396 |    1321      414     5107 |    20886    10944    222 |  0.076 % |
644.02/644.21	c |    131189 |    1321      414     5107 |    22974    12257    281 |  0.076 % |
699.60/699.83	c |    196877 |    1321      414     5107 |    25272    19132    228 |  0.076 % |
781.97/782.28	c |    295409 |    1321      414     5107 |    27799    23658    244 |  0.076 % |
948.83/949.19	c |    443198 |    1321      414     5107 |    30579    18750    299 |  0.076 % |
1269.25/1269.70	c |    664888 |    1321      414     5107 |    33637    29788    329 |  0.076 % |

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-2656242-1276591691/watcher-2656242-1276591691 -o /tmp/evaluation-result-2656242-1276591691/solver-2656242-1276591691 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656242-1276591691.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.04 1.29 1.12 3/106 8782
/proc/meminfo: memFree=1537124/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=2572 CPUtime=0
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 289 0 0 0 0 0 0 0 19 0 1 0 461968 2633728 204 1992294400 134512640 135751879 4291130896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 643 204 146 303 0 338 0

[startup+0.02538 s]
/proc/loadavg: 1.04 1.29 1.12 3/106 8782
/proc/meminfo: memFree=1537124/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=2700 CPUtime=0.02
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 315 0 0 0 2 0 0 0 19 0 1 0 461968 2764800 230 1992294400 134512640 135751879 4291130896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 675 230 147 303 0 370 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2700

[startup+0.101387 s]
/proc/loadavg: 1.04 1.29 1.12 3/106 8782
/proc/meminfo: memFree=1537124/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=3216 CPUtime=0.09
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 441 0 0 0 9 0 0 0 19 0 1 0 461968 3293184 356 1992294400 134512640 135751879 4291130896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 804 357 147 303 0 499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3216

[startup+0.30141 s]
/proc/loadavg: 1.04 1.29 1.12 3/106 8782
/proc/meminfo: memFree=1537124/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=4256 CPUtime=0.29
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 730 0 0 0 28 1 0 0 20 0 1 0 461968 4358144 645 1992294400 134512640 135751879 4291130896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 1064 645 147 303 0 759 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4256

[startup+0.700456 s]
/proc/loadavg: 1.04 1.29 1.12 3/106 8782
/proc/meminfo: memFree=1537124/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=6200 CPUtime=0.69
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 1201 0 0 0 66 3 0 0 20 0 1 0 461968 6348800 1116 1992294400 134512640 135751879 4291130896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 1550 1116 147 303 0 1245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6200

[startup+1.50055 s]
/proc/loadavg: 1.03 1.28 1.12 2/107 8783
/proc/meminfo: memFree=1532032/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=9596 CPUtime=1.48
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 2045 0 0 0 143 5 0 0 22 0 1 0 461968 9826304 1960 1992294400 134512640 135751879 4291130896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 2399 1960 148 303 0 2094 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9596

[startup+3.10073 s]
/proc/loadavg: 1.03 1.28 1.12 2/107 8783
/proc/meminfo: memFree=1527444/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=15232 CPUtime=3.08
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 3470 0 0 0 300 8 0 0 25 0 1 0 461968 15597568 3385 1992294400 134512640 135751879 4291130896 18446744073709551615 134649755 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 3808 3385 148 303 0 3503 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15232

[startup+6.30109 s]
/proc/loadavg: 1.03 1.28 1.11 2/107 8783
/proc/meminfo: memFree=1516780/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=25544 CPUtime=6.29
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 6041 0 0 0 613 16 0 0 25 0 1 0 461968 26157056 5956 1992294400 134512640 135751879 4291130896 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 6386 5956 148 303 0 6081 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25544

[startup+12.7008 s]
/proc/loadavg: 1.03 1.27 1.11 2/107 8785
/proc/meminfo: memFree=1498676/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=41988 CPUtime=12.68
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 10155 0 0 0 1239 29 0 0 25 0 1 0 461968 42995712 10070 1992294400 134512640 135751879 4291130896 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 10497 10070 148 303 0 10192 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41988

[startup+25.5012 s]
/proc/loadavg: 1.02 1.26 1.11 2/107 8785
/proc/meminfo: memFree=1467304/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=72444 CPUtime=25.48
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 17759 0 0 0 2491 57 0 0 25 0 1 0 461968 74182656 17674 1992294400 134512640 135751879 4291130896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 18111 17674 148 303 0 17806 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72444

[startup+51.1011 s]
/proc/loadavg: 1.01 1.23 1.11 2/107 8785
/proc/meminfo: memFree=1413736/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=126304 CPUtime=51.08
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 31177 0 0 0 5005 103 0 0 25 0 1 0 461968 129335296 31092 1992294400 134512640 135751879 4291130896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 31576 31092 148 303 0 31271 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 126304

[startup+102.309 s]
/proc/loadavg: 1.00 1.20 1.10 2/107 8787
/proc/meminfo: memFree=1294696/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=244632 CPUtime=102.27
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 60748 0 0 0 10013 214 0 0 25 0 1 0 461968 250503168 60663 1992294400 134512640 135751879 4291130896 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 61158 60663 148 303 0 60853 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 244632

[startup+162.301 s]
/proc/loadavg: 1.00 1.16 1.09 2/107 8789
/proc/meminfo: memFree=1181608/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=359216 CPUtime=162.24
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 89359 0 0 0 15902 322 0 0 25 0 1 0 461968 367837184 89274 1992294400 134512640 135751879 4291130896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 89804 89274 148 303 0 89499 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 359216

[startup+222.302 s]
/proc/loadavg: 1.00 1.13 1.08 2/107 8789
/proc/meminfo: memFree=1116384/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=422408 CPUtime=222.22
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 105255 0 0 0 21830 392 0 0 25 0 1 0 461968 432545792 105136 1992294400 134512640 135751879 4291130896 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 105602 105136 151 303 0 105297 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 422408

[startup+282.302 s]
/proc/loadavg: 1.00 1.10 1.08 2/107 8791
/proc/meminfo: memFree=1057856/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=481468 CPUtime=282.21
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 119986 0 0 0 27786 435 0 0 25 0 1 0 461968 493023232 119867 1992294400 134512640 135751879 4291130896 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 120367 119867 151 303 0 120062 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 481468

[startup+342.302 s]
/proc/loadavg: 1.00 1.08 1.07 2/107 8793
/proc/meminfo: memFree=1001560/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=537096 CPUtime=342.2
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 133880 0 0 0 33747 473 0 0 25 0 1 0 461968 549986304 133761 1992294400 134512640 135751879 4291130896 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 134274 133761 151 303 0 133969 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 537096

[startup+402.302 s]
/proc/loadavg: 1.00 1.06 1.06 2/107 8795
/proc/meminfo: memFree=944148/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=595188 CPUtime=402.18
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 148300 0 0 0 39708 510 0 0 25 0 1 0 461968 609472512 148181 1992294400 134512640 135751879 4291130896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 148797 148181 151 303 0 148492 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 595188

[startup+462.302 s]
/proc/loadavg: 1.00 1.05 1.06 2/107 8797
/proc/meminfo: memFree=886240/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=652620 CPUtime=462.16
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 162636 0 0 0 45665 551 0 0 25 0 1 0 461968 668282880 162517 1992294400 134512640 135751879 4291130896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 163155 162517 151 303 0 162850 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 652620

[startup+522.302 s]
/proc/loadavg: 1.00 1.04 1.05 2/107 8797
/proc/meminfo: memFree=825852/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=713692 CPUtime=522.15
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 177859 0 0 0 51620 595 0 0 25 0 1 0 461968 730820608 177740 1992294400 134512640 135751879 4291130896 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 178423 177740 151 303 0 178118 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 713692

[startup+582.302 s]
/proc/loadavg: 1.00 1.03 1.05 2/107 8799
/proc/meminfo: memFree=777492/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=760120 CPUtime=582.13
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 189721 0 0 0 57576 637 0 0 25 0 1 0 461968 778362880 189602 1992294400 134512640 135751879 4291130896 18446744073709551615 134616363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 190030 189602 151 303 0 189725 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 760120

[startup+642.3 s]
/proc/loadavg: 1.00 1.02 1.04 2/107 8801
/proc/meminfo: memFree=713260/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=824052 CPUtime=642.12
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 205665 0 0 0 63529 683 0 0 25 0 1 0 461968 843829248 205546 1992294400 134512640 135751879 4291130896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 206013 205546 151 303 0 205708 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 824052

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 8814
/proc/meminfo: memFree=508288/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1029824 CPUtime=822.06
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 257008 0 0 0 81398 808 0 0 25 0 1 0 461968 1054539776 256889 1992294400 134512640 135751879 4291130896 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 257456 256889 151 303 0 257151 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1029824

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 8816
/proc/meminfo: memFree=444304/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1093032 CPUtime=882.04
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 272788 0 0 0 87362 842 0 0 25 0 1 0 461968 1119264768 272669 1992294400 134512640 135751879 4291130896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 273258 272669 151 303 0 272953 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1093032

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 8818
/proc/meminfo: memFree=388380/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1149632 CPUtime=942.03
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 286900 0 0 0 93333 870 0 0 25 0 1 0 461968 1177223168 286781 1992294400 134512640 135751879 4291130896 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 287408 286781 151 303 0 287103 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1149632

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 8820
/proc/meminfo: memFree=338780/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1198452 CPUtime=1002.02
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 299099 0 0 0 99304 898 0 0 25 0 1 0 461968 1227214848 298980 1992294400 134512640 135751879 4291130896 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 299613 298980 151 303 0 299308 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1198452

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8822
/proc/meminfo: memFree=292280/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1245088 CPUtime=1062
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 310729 0 0 0 105280 920 0 0 25 0 1 0 461968 1274970112 310610 1992294400 134512640 135751879 4291130896 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 311272 310610 151 303 0 310967 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1245088

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8822
/proc/meminfo: memFree=235488/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1302136 CPUtime=1121.98
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 324922 0 0 0 111245 953 0 0 25 0 1 0 461968 1333387264 324803 1992294400 134512640 135751879 4291130896 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 325534 324803 151 303 0 325229 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1302136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8824
/proc/meminfo: memFree=176712/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1361804 CPUtime=1181.97
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 339831 0 0 0 117215 982 0 0 25 0 1 0 461968 1394487296 339712 1992294400 134512640 135751879 4291130896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 340451 339712 151 303 0 340146 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1361804

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8826
/proc/meminfo: memFree=116820/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1420612 CPUtime=1241.95
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 354518 0 0 0 123181 1014 0 0 25 0 1 0 461968 1454706688 354399 1992294400 134512640 135751879 4291130896 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 355153 354399 151 303 0 354848 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1420612

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8828
/proc/meminfo: memFree=58540/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1478264 CPUtime=1301.95
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 368892 0 0 0 129152 1043 0 0 25 0 1 0 461968 1513742336 368773 1992294400 134512640 135751879 4291130896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 369566 368773 151 303 0 369261 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1478264

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8830
/proc/meminfo: memFree=10696/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1529644 CPUtime=1361.93
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 381710 0 0 0 135124 1069 0 0 25 0 1 0 461968 1566355456 381591 1992294400 134512640 135751879 4291130896 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 382411 381591 151 303 0 382106 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1529644

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8830
/proc/meminfo: memFree=9704/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1580552 CPUtime=1421.92
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 394413 0 0 0 141095 1097 0 0 25 0 1 0 461968 1618485248 394294 1992294400 134512640 135751879 4291130896 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 395138 394294 151 303 0 394833 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1580552

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8832
/proc/meminfo: memFree=10188/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1633480 CPUtime=1481.9
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 407605 0 0 0 147064 1126 0 0 25 0 1 0 461968 1672683520 407486 1992294400 134512640 135751879 4291130896 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 408370 407486 151 303 0 408065 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1633480

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8834
/proc/meminfo: memFree=10112/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1685304 CPUtime=1541.88
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 420554 0 0 0 153037 1151 0 0 25 0 1 0 461968 1725751296 420435 1992294400 134512640 135751879 4291130896 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 421326 420435 151 303 0 421021 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1685304

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8836
/proc/meminfo: memFree=9592/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1725768 CPUtime=1601.87
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 430635 0 0 0 159013 1174 0 0 25 0 1 0 461968 1767186432 430516 1992294400 134512640 135751879 4291130896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 431442 430516 151 303 0 431137 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1725768

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8838
/proc/meminfo: memFree=10236/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1782164 CPUtime=1661.85
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 444700 0 0 0 164982 1203 0 0 25 0 1 0 461968 1824935936 444581 1992294400 134512640 135751879 4291130896 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 445541 444581 151 303 0 445236 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1782164

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8838
/proc/meminfo: memFree=9916/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1828432 CPUtime=1721.83
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 456242 0 0 0 170951 1232 0 0 25 0 1 0 461968 1872314368 456123 1992294400 134512640 135751879 4291130896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 457108 456123 151 303 0 456803 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1828432



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1736.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8840
/proc/meminfo: memFree=10680/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=1843224 CPUtime=1735.73
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4202496 459943 0 0 0 172333 1240 0 0 25 0 1 0 461968 1887461376 459824 1992294400 134512640 135751879 4291130896 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8782/statm: 460806 459824 151 303 0 460501 0
Current children cumulated CPU time (s) 1735.73
Current children cumulated vsize (KiB) 1843224

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

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

[startup+1736.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8840
/proc/meminfo: memFree=10680/2059040 swapFree=4192956/4192956
[pid=8782] ppid=8780 vsize=0 CPUtime=1735.83
/proc/8782/stat : 8782 (wbo1.4b) R 8780 8782 2335 0 -1 4203524 459943 0 0 0 172333 1250 0 0 25 0 1 0 461968 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/8782/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1735.83
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1736.38
CPU time (s): 1735.91
CPU user time (s): 1723.34
CPU system time (s): 12.5761
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1843224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1723.34
system time used= 12.5761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459943
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= 1765

runsolver used 2.92355 second user time and 8.15276 second system time

The end

Launcher Data 

Begin job on node037 at 2010-06-15 10:48:11
IDJOB=2656242
IDBENCH=2851
IDSOLVER=1161
FILE ID=node037/2656242-1276591691
PBS_JOBID= 11172214
Free space on /tmp= 62584 MiB

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

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

MD5SUM BENCH= 34bb25320bcbfa536bfc14194ca6ac66
RANDOM SEED=1462299425

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1537776 kB
Buffers:         36932 kB
Cached:         346376 kB
SwapCached:          0 kB
Active:         176804 kB
Inactive:       265944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1537776 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2736 kB
Writeback:           0 kB
AnonPages:       59404 kB
Mapped:          15304 kB
Slab:            56744 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182240 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= 62580 MiB
End job on node037 at 2010-06-15 11:17:10