Trace number 2680908

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.27 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
MD5SUM7e1b8a9f40a52781f7629bf04a2d5793
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.328949
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
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 constraint10
Maximum length of a constraint15
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-2680908-1277457165.opb.
0.00/0.00	c Instance file HOME/instance-2680908-1277457165.opb
0.00/0.00	c File size is 10151 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:      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     1239 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 16
0.00/0.00	o 16
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     100      101     1339 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 15
0.00/0.00	o 15
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        21 |     100      102     1439 |     5000       21     42 |  0.000 % |
0.00/0.00	c |       121 |     100      102     1439 |     5500      121     40 |  0.010 % |
0.00/0.01	c |       272 |     100      102     1439 |     6050      272     41 |  0.010 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 14
0.00/0.01	o 14
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       375 |     100      103     1539 |     5000      375     40 |  0.010 % |
0.00/0.01	c |       476 |     100      103     1539 |     5500      476     39 |  0.010 % |
0.00/0.02	c |       626 |     100      103     1539 |     6050      626     38 |  0.010 % |
0.00/0.02	c |       852 |     100      103     1539 |     6655      852     38 |  0.010 % |
0.00/0.03	c |      1189 |     100      103     1539 |     7320     1189     37 |  0.010 % |
0.00/0.05	c |      1695 |     100      103     1539 |     8052     1695     37 |  0.010 % |
0.07/0.08	c |      2455 |     100      103     1539 |     8857     2455     37 |  0.010 % |
0.09/0.12	c |      3594 |     100      103     1539 |     9743     3594     38 |  0.010 % |
0.19/0.20	c |      5303 |     100      103     1539 |    10717     5303     37 |  0.010 % |
0.29/0.33	c |      7866 |     100      103     1539 |    11789     7866     37 |  0.010 % |
0.49/0.58	c |     11710 |     100      103     1539 |    12968    11710     36 |  0.010 % |
0.89/0.97	c |     17477 |     100      103     1539 |    14265    10960     36 |  0.010 % |
1.59/1.68	c |     26126 |     100      103     1539 |    15692    12441     39 |  0.010 % |
2.79/2.82	c |     39100 |     100      103     1539 |    17261     9653     36 |  0.010 % |
4.89/4.92	c |     58561 |     100      103     1539 |    18987    11784     41 |  0.010 % |
8.19/8.26	c |     87753 |     100      103     1539 |    20886    12389     38 |  0.010 % |
14.19/14.29	c |    131542 |     100      103     1539 |    22974    14269     40 |  0.010 % |
19.59/19.67	c ===============================================================================
19.59/19.67	c New solution: 13
19.59/19.67	o 13
19.59/19.67	c Elapsed CPU time: 19.2201 s	Remaining CPU time: 160.78 s
19.59/19.67	c ===============================================================================
19.59/19.67	c |    172642 |     100      104     1639 |     5000    20474     39 |  0.010 % |
19.69/19.77	c |    172743 |     100      104     1639 |     5500     2661     37 |  0.010 % |
19.69/19.78	c |    172893 |     100      104     1639 |     6050     2811     37 |  0.010 % |
19.69/19.79	c |    173118 |     100      104     1639 |     6655     3036     37 |  0.010 % |
19.69/19.80	c |    173457 |     100      104     1639 |     7320     3375     36 |  0.010 % |
19.79/19.82	c |    173965 |     100      104     1639 |     8052     3883     36 |  0.010 % |
19.79/19.85	c |    174726 |     100      104     1639 |     8857     4644     36 |  0.010 % |
19.89/19.90	c |    175866 |     100      104     1639 |     9743     5784     36 |  0.010 % |
19.89/19.98	c |    177574 |     100      104     1639 |    10717     7492     35 |  0.010 % |
20.08/20.14	c |    180136 |     100      104     1639 |    11789    10054     36 |  0.010 % |
20.38/20.41	c |    183980 |     100      104     1639 |    12968     7971     36 |  0.010 % |
20.79/20.83	c |    189746 |     100      104     1639 |    14265     7218     37 |  0.010 % |
21.39/21.48	c |    198396 |     100      104     1639 |    15692     8704     35 |  0.010 % |
22.49/22.52	c |    211371 |     100      104     1639 |    17261    13801     35 |  0.010 % |
24.58/24.61	c |    230832 |     100      104     1639 |    18987    15939     34 |  0.010 % |
27.78/27.82	c |    260024 |     100      104     1639 |    20886    16554     36 |  0.010 % |
32.89/32.93	c |    303815 |     100      104     1639 |    22974    18437     35 |  0.010 % |
42.08/42.13	c |    369499 |     100      104     1639 |    25272    14351     39 |  0.010 % |
56.98/57.09	c |    468029 |     100      104     1639 |    27799    16233     34 |  0.010 % |
81.96/82.09	c |    615819 |     100      104     1639 |    30579    19549     37 |  0.010 % |
118.46/118.58	c |    837503 |     100      104     1639 |    33637    11549     36 |  0.010 % |
180.25/180.31	c |   1170028 |     100      104     1639 |    37001    18592     38 |  0.010 % |
183.34/183.41	c There are 0 assigned variables. 0 in cost function.
184.44/184.59	c core #1
184.44/184.59	c 
184.44/184.59	c 
184.44/184.59	c Core size: 14	Core Weight: 1	Total Weight: 1
184.44/184.59	c
184.44/184.59	c
184.44/184.59	c core #2
184.44/184.59	c 
184.44/184.59	c 
184.44/184.59	c Core size: 11	Core Weight: 1	Total Weight: 2
184.44/184.59	c
184.44/184.59	c
184.44/184.59	c core #3
184.44/184.59	c 
184.44/184.59	c 
184.44/184.59	c Core size: 13	Core Weight: 1	Total Weight: 3
184.44/184.59	c
184.44/184.59	c
184.44/184.59	c core #4
184.44/184.59	c 
184.44/184.59	c 
184.44/184.59	c Core size: 51	Core Weight: 1	Total Weight: 4
184.44/184.59	c
184.44/184.59	c
184.44/184.59	c ============================[ Search Statistics ]==============================
184.44/184.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.44/184.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.44/184.59	c ===============================================================================
184.44/184.59	c |         0 |     147      208     1865 |     5000        0    nan |  0.000 % |
184.44/184.60	c ===============================================================================
184.54/184.60	c core #5
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 90	Core Weight: 1	Total Weight: 5
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c ============================[ Search Statistics ]==============================
184.54/184.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.54/184.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.54/184.60	c ===============================================================================
184.54/184.60	c |         0 |     264      209     2069 |     5000        0    nan |  0.000 % |
184.54/184.60	c |       100 |     264      209     2069 |     5500      100     60 |  0.753 % |
184.54/184.62	c |       263 |     264      209     2069 |     6050      263     61 |  0.753 % |
184.54/184.64	c |       488 |     264      209     2069 |     6655      488     57 |  0.753 % |
184.54/184.68	c |       825 |     264      209     2069 |     7320      825     52 |  0.753 % |
184.65/184.75	c |      1331 |     264      209     2069 |     8052     1331     47 |  0.753 % |
184.75/184.85	c |      2094 |     264      209     2069 |     8857     2094     44 |  0.753 % |
184.85/184.92	c ===============================================================================
184.85/184.94	c core #6
184.85/184.94	c 
184.85/184.94	c 
184.85/184.94	c Core size: 102	Core Weight: 1	Total Weight: 6
184.85/184.94	c
184.85/184.94	c
184.85/184.94	c ============================[ Search Statistics ]==============================
184.85/184.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.85/184.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.85/184.94	c ===============================================================================
184.85/184.94	c |         0 |     366      210     2271 |     5000        0    nan |  0.000 % |
184.85/184.95	c |       100 |     366      210     2271 |     5500      100     75 |  0.001 % |
184.85/184.96	c |       250 |     366      210     2271 |     6050      250     65 |  0.001 % |
184.85/184.97	c |       478 |     366      210     2271 |     6655      478     58 |  0.001 % |
184.94/185.00	c |       818 |     366      210     2271 |     7320      818     57 |  0.001 % |
184.94/185.06	c |      1325 |     366      210     2271 |     8052     1325     52 |  0.001 % |
185.04/185.14	c |      2090 |     366      210     2271 |     8857     2090     51 |  0.001 % |
185.14/185.27	c |      3230 |     366      210     2271 |     9743     3230     46 |  0.001 % |
185.34/185.50	c |      4940 |     366      210     2271 |    10717     4940     44 |  0.001 % |
185.75/185.87	c |      7502 |     366      210     2271 |    11789     7502     41 |  0.001 % |
186.44/186.57	c |     11346 |     366      210     2271 |    12968    11346     40 |  0.001 % |
187.74/187.80	c |     17116 |     366      210     2271 |    14265    10595     45 |  0.001 % |
189.84/189.96	c |     25766 |     366      210     2271 |    15692    12084     53 |  0.001 % |
193.45/193.58	c |     38743 |     366      210     2271 |    17261     9340     48 |  0.001 % |
198.84/198.94	c |     58204 |     366      210     2271 |    18987    11453     53 |  0.001 % |
206.83/206.95	c |     87396 |     366      210     2271 |    20886    12046     58 |  0.001 % |
215.54/215.67	c ===============================================================================
217.74/217.82	c core #7
217.74/217.82	c 
217.74/217.82	c 
217.74/217.82	c Core size: 101	Core Weight: 1	Total Weight: 7
217.74/217.82	c
217.74/217.82	c
217.74/217.82	c ============================[ Search Statistics ]==============================
217.74/217.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.74/217.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.74/217.82	c ===============================================================================
217.74/217.82	c |         0 |     466      211     2471 |     5000        0    nan |  0.000 % |
217.74/217.87	c |       104 |     466      211     2471 |     5500      104    123 |  0.000 % |
217.74/217.88	c |       255 |     466      211     2471 |     6050      255     94 |  0.000 % |
217.83/217.91	c |       481 |     466      211     2471 |     6655      481     80 |  0.000 % |
217.83/217.94	c |       821 |     466      211     2471 |     7320      821     66 |  0.000 % |
217.83/217.99	c |      1327 |     466      211     2471 |     8052     1327     71 |  0.000 % |
217.93/218.08	c |      2086 |     466      211     2471 |     8857     2086     71 |  0.000 % |
218.14/218.26	c |      3227 |     466      211     2471 |     9743     3227     71 |  0.000 % |
218.43/218.54	c |      4936 |     466      211     2471 |    10717     4936     68 |  0.000 % |
219.03/219.10	c |      7499 |     466      211     2471 |    11789     7499     76 |  0.000 % |
220.03/220.16	c |     11347 |     466      211     2471 |    12968    11347     82 |  0.000 % |
222.04/222.20	c |     17114 |     466      211     2471 |    14265    10517     97 |  0.000 % |
226.33/226.42	c |     25766 |     466      211     2471 |    15692    11942    103 |  0.000 % |
230.43/230.54	c |     38742 |     466      211     2471 |    17261     9081     74 |  0.000 % |
237.22/237.35	c |     58203 |     466      211     2471 |    18987    11057    111 |  0.000 % |
247.22/247.39	c |     87395 |     466      211     2471 |    20886    11621     84 |  0.000 % |
269.42/269.57	c |    131185 |     466      211     2471 |    22974    13388    112 |  0.000 % |
300.81/300.93	c |    196871 |     466      211     2471 |    25272    21194    106 |  0.000 % |
351.10/351.21	c |    295397 |     466      211     2471 |    27799    17491    105 |  0.000 % |
448.17/448.31	c |    443188 |     466      211     2471 |    30579    16023    116 |  0.000 % |
591.13/591.33	c |    664872 |     466      211     2471 |    33637    15223    120 |  0.000 % |
832.16/832.40	c |    997400 |     466      211     2471 |    37001    14905    110 |  0.000 % |
1223.87/1224.27	c |   1496191 |     466      211     2471 |    40701    30080    126 |  0.000 % |

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-2680908-1277457165/watcher-2680908-1277457165 -o /tmp/evaluation-result-2680908-1277457165/solver-2680908-1277457165 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680908-1277457165.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.00 0.92 3/105 28846
/proc/meminfo: memFree=1852180/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=2576 CPUtime=0
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 283 0 0 0 0 0 0 0 25 0 1 0 87009680 2637824 199 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 644 199 145 303 0 339 0

[startup+0.0803011 s]
/proc/loadavg: 1.00 1.00 0.92 3/105 28846
/proc/meminfo: memFree=1852180/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=3100 CPUtime=0.07
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 435 0 0 0 7 0 0 0 18 0 1 0 87009680 3174400 351 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 775 351 145 303 0 470 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3100

[startup+0.100303 s]
/proc/loadavg: 1.00 1.00 0.92 3/105 28846
/proc/meminfo: memFree=1852180/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=3232 CPUtime=0.09
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 473 0 0 0 9 0 0 0 18 0 1 0 87009680 3309568 389 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 808 389 145 303 0 503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3232

[startup+0.300328 s]
/proc/loadavg: 1.00 1.00 0.92 3/105 28846
/proc/meminfo: memFree=1852180/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=4416 CPUtime=0.29
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 754 0 0 0 27 2 0 0 18 0 1 0 87009680 4521984 670 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 1104 670 145 303 0 799 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4416

[startup+0.700376 s]
/proc/loadavg: 1.00 1.00 0.92 3/105 28846
/proc/meminfo: memFree=1852180/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=5992 CPUtime=0.69
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 1158 0 0 0 66 3 0 0 18 0 1 0 87009680 6135808 1074 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 1498 1075 145 303 0 1193 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5992

[startup+1.50048 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28847
/proc/meminfo: memFree=1847088/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=8880 CPUtime=1.49
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 1871 0 0 0 143 6 0 0 20 0 1 0 87009680 9093120 1787 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 2220 1787 145 303 0 1915 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8880

[startup+3.10067 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28847
/proc/meminfo: memFree=1843368/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=13724 CPUtime=3.09
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 3092 0 0 0 300 9 0 0 25 0 1 0 87009680 14053376 3008 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 3431 3008 145 303 0 3126 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13724

[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28849
/proc/meminfo: memFree=1834440/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=21644 CPUtime=6.29
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 5055 0 0 0 613 16 0 0 25 0 1 0 87009680 22163456 4971 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 5411 4971 145 303 0 5106 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21644

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28849
/proc/meminfo: memFree=1820684/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=34164 CPUtime=12.69
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 8174 0 0 0 1240 29 0 0 25 0 1 0 87009680 34983936 8090 1992294400 134512640 135752675 4286958368 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 8541 8090 145 303 0 8236 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34164

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28849
/proc/meminfo: memFree=1789560/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=64960 CPUtime=25.49
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 15875 0 0 0 2488 61 0 0 25 0 1 0 87009680 66519040 15791 1992294400 134512640 135752675 4286958368 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 16240 15791 145 303 0 15935 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64960

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28849
/proc/meminfo: memFree=1740952/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=113700 CPUtime=51.08
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 28037 0 0 0 4992 116 0 0 25 0 1 0 87009680 116428800 27953 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 28425 27953 145 303 0 28120 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 113700

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28851
/proc/meminfo: memFree=1662708/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=191192 CPUtime=102.28
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 47377 0 0 0 10020 208 0 0 25 0 1 0 87009680 195780608 47293 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 47798 47293 145 303 0 47493 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 191192

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28853
/proc/meminfo: memFree=1576900/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=277080 CPUtime=162.24
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 68823 0 0 0 15924 300 0 0 25 0 1 0 87009680 283729920 68739 1992294400 134512640 135752675 4286958368 18446744073709551615 134517456 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 69270 68739 145 303 0 68965 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 277080

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28853
/proc/meminfo: memFree=1530648/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=322652 CPUtime=222.23
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 80345 0 0 0 21847 376 0 0 25 0 1 0 87009680 330395648 80225 1992294400 134512640 135752675 4286958368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 80663 80225 146 303 0 80358 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 322652

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28855
/proc/meminfo: memFree=1470260/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=384060 CPUtime=282.22
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 95661 0 0 0 27793 429 0 0 25 0 1 0 87009680 393277440 95541 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 96015 95541 146 303 0 95710 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 384060

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28857
/proc/meminfo: memFree=1409624/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=443492 CPUtime=342.2
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 110497 0 0 0 33739 481 0 0 25 0 1 0 87009680 454135808 110377 1992294400 134512640 135752675 4286958368 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 110873 110377 146 303 0 110568 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 443492

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28859
/proc/meminfo: memFree=1354568/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=499332 CPUtime=402.18
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 124385 0 0 0 39695 523 0 0 25 0 1 0 87009680 511315968 124265 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 124833 124265 146 303 0 124528 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 499332

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28861
/proc/meminfo: memFree=1302240/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=551204 CPUtime=462.17
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 137326 0 0 0 45654 563 0 0 25 0 1 0 87009680 564432896 137206 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 137801 137206 146 303 0 137496 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 551204

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28861
/proc/meminfo: memFree=1251524/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=603024 CPUtime=522.14
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 150231 0 0 0 51611 603 0 0 25 0 1 0 87009680 617496576 150111 1992294400 134512640 135752675 4286958368 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 150756 150111 146 303 0 150451 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 603024

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28863
/proc/meminfo: memFree=1197336/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=656124 CPUtime=582.13
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 163498 0 0 0 57567 646 0 0 25 0 1 0 87009680 671870976 163378 1992294400 134512640 135752675 4286958368 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 164031 163378 146 303 0 163726 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 656124

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 28865
/proc/meminfo: memFree=1153316/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=699864 CPUtime=642.12
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 174390 0 0 0 63532 680 0 0 25 0 1 0 87009680 716660736 174270 1992294400 134512640 135752675 4286958368 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 174966 174270 146 303 0 174661 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 699864

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.04 1.01 0.93 2/106 28871
/proc/meminfo: memFree=961612/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=891544 CPUtime=882.05
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 222189 0 0 0 87381 824 0 0 25 0 1 0 87009680 912941056 222069 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 222886 222069 146 303 0 222581 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 891544

[startup+942.301 s]
/proc/loadavg: 1.09 1.04 0.94 2/106 28873
/proc/meminfo: memFree=915980/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=937396 CPUtime=942.03
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 233642 0 0 0 93345 858 0 0 25 0 1 0 87009680 959893504 233522 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 234349 233522 146 303 0 234044 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 937396

[startup+1002.3 s]
/proc/loadavg: 1.07 1.04 0.94 2/106 28875
/proc/meminfo: memFree=867000/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=986156 CPUtime=1002.02
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 245827 0 0 0 99306 896 0 0 25 0 1 0 87009680 1009823744 245707 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 246539 245707 146 303 0 246234 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 986156

[startup+1062.3 s]
/proc/loadavg: 1.14 1.06 0.95 2/106 28877
/proc/meminfo: memFree=810580/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1042996 CPUtime=1062
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 260010 0 0 0 105265 935 0 0 25 0 1 0 87009680 1068027904 259890 1992294400 134512640 135752675 4286958368 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 260749 259890 146 303 0 260444 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1042996

[startup+1122.3 s]
/proc/loadavg: 1.12 1.07 0.96 2/106 28877
/proc/meminfo: memFree=759368/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1093740 CPUtime=1121.98
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 272660 0 0 0 111230 968 0 0 25 0 1 0 87009680 1119989760 272540 1992294400 134512640 135752675 4286958368 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 273435 272540 146 303 0 273130 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1093740

[startup+1182.3 s]
/proc/loadavg: 1.11 1.07 0.96 2/106 28879
/proc/meminfo: memFree=706296/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1146880 CPUtime=1181.97
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 285952 0 0 0 117190 1007 0 0 25 0 1 0 87009680 1174405120 285832 1992294400 134512640 135752675 4286958368 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 286720 285832 146 303 0 286415 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1146880

[startup+1242.3 s]
/proc/loadavg: 1.14 1.08 0.97 2/106 28884
/proc/meminfo: memFree=660168/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1192420 CPUtime=1241.95
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 297312 0 0 0 123154 1041 0 0 25 0 1 0 87009680 1221038080 297192 1992294400 134512640 135752675 4286958368 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 298105 297192 146 303 0 297800 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1192420

[startup+1302.3 s]
/proc/loadavg: 1.11 1.08 0.98 2/106 28886
/proc/meminfo: memFree=608708/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1243468 CPUtime=1301.94
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 310035 0 0 0 129115 1079 0 0 25 0 1 0 87009680 1273311232 309915 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 310867 309915 146 303 0 310562 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1243468

[startup+1362.3 s]
/proc/loadavg: 1.09 1.08 0.98 2/106 28888
/proc/meminfo: memFree=567788/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1284632 CPUtime=1361.92
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 320308 0 0 0 135083 1109 0 0 25 0 1 0 87009680 1315463168 320188 1992294400 134512640 135752675 4286958368 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 321158 320188 146 303 0 320853 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1284632

[startup+1422.31 s]
/proc/loadavg: 1.08 1.08 0.99 2/106 28888
/proc/meminfo: memFree=525256/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1327200 CPUtime=1421.91
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 330933 0 0 0 141048 1143 0 0 25 0 1 0 87009680 1359052800 330813 1992294400 134512640 135752675 4286958368 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 331800 330813 146 303 0 331495 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1327200

[startup+1482.3 s]
/proc/loadavg: 1.07 1.08 1.00 2/106 28890
/proc/meminfo: memFree=488676/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1363992 CPUtime=1481.89
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 340108 0 0 0 147017 1172 0 0 25 0 1 0 87009680 1396727808 339988 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 340998 339988 146 303 0 340693 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1363992

[startup+1542.3 s]
/proc/loadavg: 1.07 1.08 1.00 2/106 28892
/proc/meminfo: memFree=447260/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1405212 CPUtime=1541.86
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 350400 0 0 0 152988 1198 0 0 25 0 1 0 87009680 1438937088 350280 1992294400 134512640 135752675 4286958368 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 351303 350280 146 303 0 350998 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1405212

[startup+1602.3 s]
/proc/loadavg: 1.06 1.07 1.00 2/106 28894
/proc/meminfo: memFree=401256/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1451656 CPUtime=1601.85
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 361984 0 0 0 158952 1233 0 0 25 0 1 0 87009680 1486495744 361864 1992294400 134512640 135752675 4286958368 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 362914 361864 146 303 0 362609 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1451656

[startup+1662.3 s]
/proc/loadavg: 1.06 1.07 1.00 2/106 28896
/proc/meminfo: memFree=351780/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1500576 CPUtime=1661.84
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 374217 0 0 0 164910 1274 0 0 25 0 1 0 87009680 1536589824 374097 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 375144 374097 146 303 0 374839 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1500576

[startup+1722.3 s]
/proc/loadavg: 1.13 1.09 1.01 2/106 28896
/proc/meminfo: memFree=302552/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1550488 CPUtime=1721.82
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 386724 0 0 0 170867 1315 0 0 25 0 1 0 87009680 1587699712 386604 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 387622 386604 146 303 0 387317 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1550488

[startup+1782.3 s]
/proc/loadavg: 1.12 1.09 1.00 2/106 28898
/proc/meminfo: memFree=254564/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1597596 CPUtime=1781.81
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 398468 0 0 0 176832 1349 0 0 25 0 1 0 87009680 1635938304 398348 1992294400 134512640 135752675 4286958368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 399399 398348 146 303 0 399094 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1597596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.08 1.08 1.00 2/106 28898
/proc/meminfo: memFree=244644/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=1607300 CPUtime=1800.11
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4202496 400898 0 0 0 178656 1355 0 0 25 0 1 0 87009680 1645875200 400778 1992294400 134512640 135752675 4286958368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28846/statm: 401825 400778 146 303 0 401520 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1607300

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

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

[startup+1800.72 s]
/proc/loadavg: 1.08 1.08 1.00 2/106 28898
/proc/meminfo: memFree=244644/2059040 swapFree=4139732/4192956
[pid=28846] ppid=28844 vsize=0 CPUtime=1800.21
/proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28488 0 -1 4203524 400898 0 0 0 178656 1365 0 0 25 0 1 0 87009680 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28846/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.76
CPU time (s): 1800.27
CPU user time (s): 1786.56
CPU system time (s): 13.7039
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1607300

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

runsolver used 3.02054 second user time and 8.46471 second system time

The end

Launcher Data 

Begin job on node080 at 2010-06-25 11:12:45
IDJOB=2680908
IDBENCH=2874
IDSOLVER=1190
FILE ID=node080/2680908-1277457165
PBS_JOBID= 11188110
Free space on /tmp= 62308 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_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-2680908-1277457165/watcher-2680908-1277457165 -o /tmp/evaluation-result-2680908-1277457165/solver-2680908-1277457165 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680908-1277457165.opb

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

MD5SUM BENCH= 7e1b8a9f40a52781f7629bf04a2d5793
RANDOM SEED=283579043

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1852584 kB
Buffers:         37492 kB
Cached:          69528 kB
SwapCached:       6228 kB
Active:          27836 kB
Inactive:        92964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852584 kB
SwapTotal:     4192956 kB
SwapFree:      4139732 kB
Dirty:            2684 kB
Writeback:           0 kB
AnonPages:       12440 kB
Mapped:          11916 kB
Slab:            63920 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182924 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= 62304 MiB
End job on node080 at 2010-06-25 11:42:48