Trace number 2680718

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.21 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1801.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
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 constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
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 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
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-2680718-1277457384.opb.
0.00/0.00	c Instance file HOME/instance-2680718-1277457384.opb
0.00/0.00	c File size is 9972193 bytes.
1.59/1.64	c Highest Coefficient sum: 361
1.59/1.64	c ============================[ Problem Statistics ]=============================
1.59/1.64	c |                                                                             |
1.59/1.64	c |  Parsing time:          1.63         s                                      |
1.59/1.64	c |  Number Variables:      5203                                                |
1.59/1.64	c |  Number Clauses:        19637                                               |
1.59/1.64	c |  Number Cardinality:    0                                                   |
1.59/1.64	c |  Number PB Constraints: 0                                                   |
1.59/1.67	c ============================[ Search Statistics ]==============================
1.59/1.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.67	c ===============================================================================
1.59/1.67	c |         0 |    5203    19637  1117990 |     6545        0    nan |  0.000 % |
1.69/1.70	c ===============================================================================
1.69/1.70	c New solution: 86
1.69/1.70	o 86
1.69/1.70	c Elapsed CPU time: 1.68674 s	Remaining CPU time: 178.313 s
1.69/1.70	c ===============================================================================
1.69/1.70	c |         4 |    5203    19638  1123193 |     6546        4    176 |  0.000 % |
1.69/1.73	c ===============================================================================
1.69/1.73	c New solution: 82
1.69/1.73	o 82
1.69/1.73	c Elapsed CPU time: 1.71674 s	Remaining CPU time: 178.283 s
1.69/1.73	c ===============================================================================
1.69/1.73	c |         5 |    5203    19639  1128396 |     6546        5    168 |  0.000 % |
1.69/1.79	c ===============================================================================
1.69/1.79	c New solution: 73
1.69/1.79	o 73
1.69/1.79	c Elapsed CPU time: 1.77173 s	Remaining CPU time: 178.228 s
1.69/1.79	c ===============================================================================
1.69/1.79	c |         9 |    5203    19640  1133599 |     6546        9    146 |  0.000 % |
1.79/1.86	c |       110 |    5203    19640  1133599 |     7201      110    172 |  0.000 % |
1.89/1.99	c |       260 |    5203    19640  1133599 |     7921      260    187 |  0.000 % |
2.20/2.21	c |       486 |    5203    19640  1133599 |     8713      486    248 |  0.000 % |
2.39/2.48	c |       823 |    5203    19640  1133599 |     9584      823    253 |  0.000 % |
3.09/3.17	c |      1331 |    5203    19640  1133599 |    10543     1331    234 |  0.000 % |
3.99/4.04	c |      2090 |    5203    19640  1133599 |    11597     2090    230 |  0.000 % |
5.98/6.02	c |      3230 |    5203    19640  1133599 |    12757     3230    235 |  0.000 % |
8.09/8.12	c |      4941 |    5203    19640  1133599 |    14033     4941    241 |  0.000 % |
9.98/10.01	c |      7504 |    5203    19640  1133599 |    15436     7504    229 |  0.000 % |
13.78/13.82	c |     11351 |    5203    19640  1133599 |    16980    11351    214 |  0.000 % |
21.48/21.58	c |     17117 |    5203    19640  1133599 |    18678    17117    231 |  0.000 % |
28.98/29.02	c |     25766 |    5203    19640  1133599 |    20546    13104    227 |  0.000 % |
38.39/38.47	c |     38740 |    5203    19640  1133599 |    22600    11497    237 |  0.000 % |
53.17/53.25	c |     58201 |    5203    19640  1133599 |    24860    14443    235 |  0.000 % |
75.97/76.03	c |     87393 |    5203    19640  1133599 |    27347    25105    233 |  0.000 % |
113.56/113.69	c |    131183 |    5203    19640  1133599 |    30081    26556    208 |  0.000 % |
180.84/180.92	c There are 0 assigned variables. 0 in cost function.
183.44/183.50	c core #1
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 77	Core Weight: 1	Total Weight: 1
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #2
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 46	Core Weight: 1	Total Weight: 2
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #3
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 77	Core Weight: 1	Total Weight: 3
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #4
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 46	Core Weight: 1	Total Weight: 4
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #5
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 42	Core Weight: 1	Total Weight: 5
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #6
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 48	Core Weight: 1	Total Weight: 6
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #7
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 111	Core Weight: 1	Total Weight: 7
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #8
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 43	Core Weight: 1	Total Weight: 8
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #9
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 55	Core Weight: 1	Total Weight: 9
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #10
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 48	Core Weight: 1	Total Weight: 10
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #11
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 42	Core Weight: 1	Total Weight: 11
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #12
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 527	Core Weight: 1	Total Weight: 12
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #13
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 287	Core Weight: 1	Total Weight: 13
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c core #14
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 203	Core Weight: 1	Total Weight: 14
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c ============================[ Search Statistics ]==============================
183.44/183.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.50	c ===============================================================================
183.44/183.50	c |         0 |    3150    24857   351769 |     8285        0    nan |  0.000 % |
183.44/183.54	c |       105 |    3146    24857   351769 |     9114      105    126 | 53.812 % |
183.44/183.58	c ===============================================================================
183.64/183.73	c core #15
183.64/183.73	c 
183.64/183.73	c 
183.64/183.73	c Core size: 1198	Core Weight: 1	Total Weight: 15
183.64/183.73	c
183.64/183.73	c
183.64/183.73	c ============================[ Search Statistics ]==============================
183.64/183.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.64/183.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.64/183.73	c ===============================================================================
183.64/183.73	c |         0 |    5063    24858   452474 |     8286        0    nan |  0.000 % |
183.64/183.79	c |       112 |    5063    24858   452474 |     9114      112    383 | 36.697 % |
183.85/183.97	c |       262 |    5063    24858   452474 |    10026      262    383 | 36.722 % |
184.24/184.30	c |       495 |    5063    24858   452474 |    11028      495    401 | 36.722 % |
184.44/184.59	c |       832 |    5060    24858   452474 |    12131      830    377 | 36.747 % |
184.84/184.92	c |      1338 |    5060    24858   452474 |    13344     1336    388 | 36.747 % |
186.14/186.22	c |      2098 |    5060    24858   452474 |    14679     2096    392 | 36.747 % |
187.84/187.96	c |      3238 |    5058    24858   452474 |    16147     3234    422 | 36.759 % |
190.14/190.25	c |      4947 |    5058    24858   452474 |    17761     4942    472 | 36.759 % |
191.34/191.45	c ===============================================================================
191.53/191.67	c core #16
191.53/191.67	c 
191.53/191.67	c 
191.53/191.67	c Core size: 2082	Core Weight: 1	Total Weight: 16
191.53/191.67	c
191.53/191.67	c
191.53/191.67	c ============================[ Search Statistics ]==============================
191.53/191.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.53/191.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.53/191.67	c ===============================================================================
191.53/191.67	c |         0 |    7979    24859   629081 |     8286        0    nan |  0.000 % |
191.64/191.73	c |       102 |    7979    24859   629081 |     9114      102    362 | 20.757 % |
192.03/192.11	c |       253 |    7979    24859   629081 |    10026      253    418 | 20.757 % |
192.34/192.43	c |       487 |    7979    24859   629081 |    11029      487    319 | 20.757 % |
192.93/193.07	c |       824 |    7979    24859   629081 |    12132      824    292 | 20.757 % |
193.33/193.49	c |      1330 |    7979    24859   629081 |    13345     1330    262 | 20.757 % |
194.83/194.97	c |      2089 |    7979    24859   629081 |    14679     2089    313 | 20.757 % |
197.14/197.28	c |      3228 |    7979    24859   629081 |    16147     3228    353 | 20.757 % |
199.83/199.98	c |      4939 |    7979    24859   629081 |    17762     4939    394 | 20.757 % |
204.33/204.47	c |      7502 |    7979    24859   629081 |    19538     7502    468 | 20.757 % |
211.52/211.66	c |     11346 |    7979    24859   629081 |    21492    11346    547 | 20.757 % |
225.43/225.50	c |     17115 |    7979    24859   629081 |    23641    17115    582 | 20.757 % |
248.42/248.60	c |     25765 |    7979    24859   629081 |    26006    25765    640 | 20.757 % |
259.21/259.31	c ===============================================================================
259.72/259.90	c core #17
259.72/259.90	c 
259.72/259.90	c 
259.72/259.90	c Core size: 1852	Core Weight: 1	Total Weight: 17
259.72/259.90	c
259.72/259.90	c
259.72/259.90	c ============================[ Search Statistics ]==============================
259.72/259.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
259.72/259.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
259.72/259.90	c ===============================================================================
259.72/259.90	c |         0 |   10826    24860   900080 |     8286        0    nan |  0.000 % |
259.91/260.09	c |       102 |   10826    24860   900080 |     9115      102    616 |  9.185 % |
260.12/260.25	c |       252 |   10826    24860   900080 |    10026      252    475 |  9.185 % |
260.71/260.87	c |       477 |   10826    24860   900080 |    11029      477    539 |  9.185 % |
261.72/261.83	c |       816 |   10826    24860   900080 |    12132      816    622 |  9.185 % |
262.41/262.58	c |      1323 |   10826    24860   900080 |    13345     1323    602 |  9.185 % |
264.41/264.55	c |      2082 |   10826    24860   900080 |    14680     2082    576 |  9.185 % |
266.61/266.79	c |      3223 |   10826    24860   900080 |    16148     3223    620 |  9.185 % |
276.81/276.96	c |      4931 |   10826    24860   900080 |    17763     4931    630 |  9.185 % |
281.91/282.02	c |      7493 |   10826    24860   900080 |    19539     7493    533 |  9.185 % |
293.80/293.97	c |     11340 |   10826    24860   900080 |    21493    11340    557 |  9.185 % |
317.19/317.38	c |     17111 |   10826    24860   900080 |    23642    17111    569 |  9.185 % |
342.49/342.60	c |     25762 |   10826    24860   900080 |    26007    12257    417 |  9.185 % |
372.18/372.35	c |     38736 |   10826    24860   900080 |    28607    25231    367 |  9.185 % |
418.26/418.44	c |     58197 |   10826    24860   900080 |    31468    27090    289 |  9.185 % |
494.75/494.94	c |     87390 |   10826    24860   900080 |    34615    16227    357 |  9.185 % |
687.59/687.82	c |    131179 |   10826    24860   900080 |    38077    13741    725 |  9.185 % |
935.60/935.98	c |    196864 |   10826    24860   900080 |    41884    24733    610 |  9.185 % |
1259.81/1260.23	c |    295392 |   10826    24860   900080 |    46073    34744    475 |  9.185 % |
1738.49/1739.08	c |    443201 |   10825    24860   900080 |    50680     9977    229 |  9.194 % |

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-2680718-1277457384/watcher-2680718-1277457384 -o /tmp/evaluation-result-2680718-1277457384/solver-2680718-1277457384 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680718-1277457384.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 26473
/proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=13188 CPUtime=0
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 458 0 0 0 0 0 0 0 19 0 1 0 87031146 13504512 377 1992294400 134512640 135752675 4292253760 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 3297 377 134 303 0 557 0

[startup+0.068109 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 26473
/proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=13200 CPUtime=0.06
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 587 0 0 0 6 0 0 0 21 0 1 0 87031146 13516800 506 1992294400 134512640 135752675 4292253760 18446744073709551615 134562306 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 3300 506 226 303 0 560 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13200

[startup+0.101112 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 26473
/proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=13332 CPUtime=0.09
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 666 0 0 0 9 0 0 0 21 0 1 0 87031146 13651968 585 1992294400 134512640 135752675 4292253760 18446744073709551615 134559951 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 3333 585 276 303 0 593 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13332

[startup+0.301129 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 26473
/proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=14008 CPUtime=0.29
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 1121 0 0 0 29 0 0 0 21 0 1 0 87031146 14344192 1040 1992294400 134512640 135752675 4292253760 18446744073709551615 135225940 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 3502 1042 571 303 0 762 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14008

[startup+0.701164 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 26473
/proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=15356 CPUtime=0.69
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 2046 0 0 0 69 0 0 0 22 0 1 0 87031146 15724544 1965 1992294400 134512640 135752675 4292253760 18446744073709551615 135010788 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 3839 1965 1169 303 0 1099 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15356

[startup+1.50124 s]
/proc/loadavg: 0.92 0.98 0.93 2/107 26474
/proc/meminfo: memFree=1839228/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=17760 CPUtime=1.49
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 3864 0 0 0 149 0 0 0 25 0 1 0 87031146 18186240 3783 1992294400 134512640 135752675 4292253760 18446744073709551615 135010149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 4440 3783 2352 303 0 1700 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17760

[startup+3.10038 s]
/proc/loadavg: 0.92 0.98 0.93 2/107 26474
/proc/meminfo: memFree=1834764/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=11512 CPUtime=3.09
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 5031 0 0 0 305 4 0 0 25 0 1 0 87031146 11788288 2408 1992294400 134512640 135752675 4292253760 18446744073709551615 134639641 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 2878 2408 145 303 0 2573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11512

[startup+6.30065 s]
/proc/loadavg: 0.93 0.98 0.93 2/107 26474
/proc/meminfo: memFree=1832036/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=14000 CPUtime=6.29
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 5656 0 0 0 623 6 0 0 25 0 1 0 87031146 14336000 3033 1992294400 134512640 135752675 4292253760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 3500 3033 145 303 0 3195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14000

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.93 2/107 26474
/proc/meminfo: memFree=1825092/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=20556 CPUtime=12.69
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 7311 0 0 0 1261 8 0 0 25 0 1 0 87031146 21049344 4688 1992294400 134512640 135752675 4292253760 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 5139 4688 145 303 0 4834 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20556

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.93 2/107 26474
/proc/meminfo: memFree=1812692/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=32964 CPUtime=25.49
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 10409 0 0 0 2534 15 0 0 25 0 1 0 87031146 33755136 7786 1992294400 134512640 135752675 4292253760 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 8241 7786 145 303 0 7936 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32964

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.93 2/107 26476
/proc/meminfo: memFree=1774748/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=71348 CPUtime=51.08
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 19978 0 0 0 5079 29 0 0 25 0 1 0 87031146 73060352 17355 1992294400 134512640 135752675 4292253760 18446744073709551615 134638047 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 17837 17355 145 303 0 17532 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 71348

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.93 2/107 26476
/proc/meminfo: memFree=1707540/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=137916 CPUtime=102.27
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 36606 0 0 0 10174 53 0 0 25 0 1 0 87031146 141225984 33983 1992294400 134512640 135752675 4292253760 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 34479 33983 145 303 0 34174 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 137916

[startup+162.301 s]
/proc/loadavg: 1.07 1.00 0.94 2/107 26478
/proc/meminfo: memFree=1651864/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=193812 CPUtime=162.24
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 50588 0 0 0 16145 79 0 0 25 0 1 0 87031146 198463488 47965 1992294400 134512640 135752675 4292253760 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 48453 47965 145 303 0 48148 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 193812

[startup+222.302 s]
/proc/loadavg: 1.09 1.02 0.94 2/107 26480
/proc/meminfo: memFree=1630412/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=214512 CPUtime=222.23
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 55980 0 0 0 22115 108 0 0 25 0 1 0 87031146 219660288 53182 1992294400 134512640 135752675 4292253760 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 53628 53182 146 303 0 53323 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 214512

[startup+282.301 s]
/proc/loadavg: 1.09 1.03 0.95 2/107 26482
/proc/meminfo: memFree=1580316/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=264472 CPUtime=282.21
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 68447 0 0 0 28082 139 0 0 25 0 1 0 87031146 270819328 65649 1992294400 134512640 135752675 4292253760 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 66118 65649 146 303 0 65813 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 264472

[startup+342.301 s]
/proc/loadavg: 1.09 1.04 0.95 2/107 26482
/proc/meminfo: memFree=1544356/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=300636 CPUtime=342.19
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 77509 0 0 0 34052 167 0 0 25 0 1 0 87031146 307851264 74711 1992294400 134512640 135752675 4292253760 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 75159 74711 146 303 0 74854 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 300636

[startup+402.301 s]
/proc/loadavg: 1.08 1.04 0.96 2/107 26484
/proc/meminfo: memFree=1506412/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=338620 CPUtime=402.17
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 86991 0 0 0 40020 197 0 0 25 0 1 0 87031146 346746880 84193 1992294400 134512640 135752675 4292253760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 84655 84193 146 303 0 84350 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 338620

[startup+462.302 s]
/proc/loadavg: 1.03 1.03 0.96 2/107 26486
/proc/meminfo: memFree=1468716/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=376160 CPUtime=462.15
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 96354 0 0 0 45988 227 0 0 25 0 1 0 87031146 385187840 93556 1992294400 134512640 135752675 4292253760 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 94040 93556 146 303 0 93735 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 376160

[startup+522.301 s]
/proc/loadavg: 1.01 1.02 0.96 2/107 26488
/proc/meminfo: memFree=1428788/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=416268 CPUtime=522.14
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 106373 0 0 0 51958 256 0 0 25 0 1 0 87031146 426258432 103575 1992294400 134512640 135752675 4292253760 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 104067 103575 146 303 0 103762 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 416268

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 0.96 2/107 26490
/proc/meminfo: memFree=1391340/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=453312 CPUtime=582.12
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 115646 0 0 0 57939 273 0 0 25 0 1 0 87031146 464191488 112848 1992294400 134512640 135752675 4292253760 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 113328 112848 146 303 0 113023 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 453312

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/107 26490
/proc/meminfo: memFree=1351164/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=493160 CPUtime=642.11
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 125598 0 0 0 63919 292 0 0 25 0 1 0 87031146 504995840 122800 1992294400 134512640 135752675 4292253760 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 123290 122800 146 303 0 122985 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 493160

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26498
/proc/meminfo: memFree=1183268/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=660796 CPUtime=882.03
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 167485 0 0 0 87813 390 0 0 25 0 1 0 87031146 676655104 164687 1992294400 134512640 135752675 4292253760 18446744073709551615 134639697 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 165199 164687 146 303 0 164894 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 660796

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26498
/proc/meminfo: memFree=1132056/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=712328 CPUtime=942
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 180349 0 0 0 93780 420 0 0 25 0 1 0 87031146 729423872 177551 1992294400 134512640 135752675 4292253760 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 178082 177551 146 303 0 177777 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 712328

[startup+1002.3 s]
/proc/loadavg: 1.03 1.01 0.96 2/107 26503
/proc/meminfo: memFree=1095600/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=747588 CPUtime=1001.98
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 189175 0 0 0 99753 445 0 0 25 0 1 0 87031146 765530112 186377 1992294400 134512640 135752675 4292253760 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 186897 186378 146 303 0 186592 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 747588

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 0.96 2/107 26505
/proc/meminfo: memFree=1056168/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=787220 CPUtime=1061.97
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 199070 0 0 0 105727 470 0 0 25 0 1 0 87031146 806113280 196272 1992294400 134512640 135752675 4292253760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 196805 196272 146 303 0 196500 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 787220

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26507
/proc/meminfo: memFree=1013388/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=829804 CPUtime=1121.95
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 209707 0 0 0 111697 498 0 0 25 0 1 0 87031146 849719296 206909 1992294400 134512640 135752675 4292253760 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 207451 206909 146 303 0 207146 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 829804

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26509
/proc/meminfo: memFree=978916/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=864608 CPUtime=1181.94
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 218420 0 0 0 117674 520 0 0 25 0 1 0 87031146 885358592 215622 1992294400 134512640 135752675 4292253760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 216152 215622 146 303 0 215847 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 864608

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26509
/proc/meminfo: memFree=936508/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=906724 CPUtime=1241.92
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 228960 0 0 0 123642 550 0 0 25 0 1 0 87031146 928485376 226162 1992294400 134512640 135752675 4292253760 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 226681 226162 146 303 0 226376 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 906724

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26511
/proc/meminfo: memFree=900548/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=942264 CPUtime=1301.91
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 237846 0 0 0 129616 575 0 0 25 0 1 0 87031146 964878336 235048 1992294400 134512640 135752675 4292253760 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 235566 235048 146 303 0 235261 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 942264

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26513
/proc/meminfo: memFree=859752/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=983220 CPUtime=1361.88
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 248071 0 0 0 135585 603 0 0 25 0 1 0 87031146 1006817280 245273 1992294400 134512640 135752675 4292253760 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 245805 245273 146 303 0 245500 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 983220

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26515
/proc/meminfo: memFree=827760/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=1015064 CPUtime=1421.87
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 256015 0 0 0 141566 621 0 0 25 0 1 0 87031146 1039425536 253217 1992294400 134512640 135752675 4292253760 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 253766 253217 146 303 0 253461 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1015064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26517
/proc/meminfo: memFree=786840/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=1056296 CPUtime=1481.85
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 266342 0 0 0 147538 647 0 0 25 0 1 0 87031146 1081647104 263544 1992294400 134512640 135752675 4292253760 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 264074 263544 146 303 0 263769 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1056296

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26517
/proc/meminfo: memFree=739844/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=1102868 CPUtime=1541.83
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 277979 0 0 0 153509 674 0 0 25 0 1 0 87031146 1129336832 275181 1992294400 134512640 135752675 4292253760 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 275717 275181 146 303 0 275412 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1102868

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26519
/proc/meminfo: memFree=695080/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=1147944 CPUtime=1601.81
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 289213 0 0 0 159479 702 0 0 25 0 1 0 87031146 1175494656 286415 1992294400 134512640 135752675 4292253760 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 286986 286415 146 303 0 286681 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1147944

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26521
/proc/meminfo: memFree=657756/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=1184952 CPUtime=1661.81
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 298460 0 0 0 165450 731 0 0 25 0 1 0 87031146 1213390848 295662 1992294400 134512640 135752675 4292253760 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 296238 295662 146 303 0 295933 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1184952

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26523
/proc/meminfo: memFree=616340/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=1226428 CPUtime=1721.78
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 308828 0 0 0 171415 763 0 0 25 0 1 0 87031146 1255862272 306030 1992294400 134512640 135752675 4292253760 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 306607 306030 146 303 0 306302 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1226428

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26525
/proc/meminfo: memFree=570088/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=1272260 CPUtime=1781.77
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 320286 0 0 0 177387 790 0 0 25 0 1 0 87031146 1302794240 317488 1992294400 134512640 135752675 4292253760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 318065 317488 146 303 0 317760 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1272260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26525
/proc/meminfo: memFree=557936/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=1284440 CPUtime=1800.07
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 323338 0 0 0 179210 797 0 0 25 0 1 0 87031146 1315266560 320540 1992294400 134512640 135752675 4292253760 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26473/statm: 321110 320540 146 303 0 320805 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1284440

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.00 1.00 0.96 2/107 26525
/proc/meminfo: memFree=557936/2059040 swapFree=4140412/4192956
[pid=26473] ppid=26471 vsize=0 CPUtime=1800.17
/proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4203524 323338 0 0 0 179210 807 0 0 25 0 1 0 87031146 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/26473/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.21
CPU user time (s): 1792.11
CPU system time (s): 8.09977
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1284440

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

runsolver used 2.90956 second user time and 8.5757 second system time

The end

Launcher Data 

Begin job on node041 at 2010-06-25 11:16:25
IDJOB=2680718
IDBENCH=2889
IDSOLVER=1190
FILE ID=node041/2680718-1277457384
PBS_JOBID= 11188126
Free space on /tmp= 61668 MiB

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

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

MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0
RANDOM SEED=1157272844

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1844104 kB
Buffers:         20208 kB
Cached:          97720 kB
SwapCached:       5276 kB
Active:          41528 kB
Inactive:        89372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1844104 kB
SwapTotal:     4192956 kB
SwapFree:      4140412 kB
Dirty:           12420 kB
Writeback:           0 kB
AnonPages:       11552 kB
Mapped:          12044 kB
Slab:            62080 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181108 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= 61668 MiB
End job on node041 at 2010-06-25 11:46:27