Trace number 1875489

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.24 1800.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir10_area_delay.opb
MD5SUM5d0340a340565eda2e94c9f5d1d814a1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1734.83
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables49757
Total number of constraints199672
Number of constraints which are clauses199672
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 constraint1
Maximum length of a constraint511
Number of terms in the objective function 24319
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 24319
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 24319
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875489-1245183716.opb.
0.00/0.00	c Instance file HOME/instance-1875489-1245183716.opb
0.00/0.00	c File size is 6754478 bytes.
0.99/1.06	c Highest Coefficient sum: 512
0.99/1.06	c ============================[ Problem Statistics ]=============================
0.99/1.06	c |                                                                             |
0.99/1.06	c |  Parsing time:          1.04         s                                      |
0.99/1.06	c |  Number Variables:      49757                                               |
0.99/1.06	c |  Number Clauses:        223991                                              |
0.99/1.06	c |  Number Cardinality:    0                                                   |
0.99/1.06	c |  Number PB Constraints: 0                                                   |
0.99/1.06	c core #1
0.99/1.06	c Core size: 2	Core Weight: 1	Total Weight: 1
0.99/1.06	c Elapsed CPU time: 1.03684 s	Remaining CPU time: 1798.96 s
1.19/1.22	c core #2
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 2
1.19/1.22	c Elapsed CPU time: 1.18382 s	Remaining CPU time: 1798.82 s
1.29/1.39	c core #3
1.29/1.39	c Core size: 1022	Core Weight: 1	Total Weight: 3
1.29/1.39	c Elapsed CPU time: 1.3478 s	Remaining CPU time: 1798.65 s
1.49/1.58	c core #4
1.49/1.58	c Core size: 127	Core Weight: 1	Total Weight: 4
1.49/1.58	c Elapsed CPU time: 1.52477 s	Remaining CPU time: 1798.48 s
1.69/1.76	c core #5
1.69/1.76	c Core size: 4	Core Weight: 1	Total Weight: 5
1.69/1.76	c Elapsed CPU time: 1.70474 s	Remaining CPU time: 1798.3 s
1.89/1.95	c core #6
1.89/1.95	c Core size: 12	Core Weight: 1	Total Weight: 6
1.89/1.95	c Elapsed CPU time: 1.88571 s	Remaining CPU time: 1798.11 s
2.10/2.13	c core #7
2.10/2.13	c Core size: 131	Core Weight: 1	Total Weight: 7
2.10/2.13	c Elapsed CPU time: 2.06369 s	Remaining CPU time: 1797.94 s
2.29/2.33	c core #8
2.29/2.33	c Core size: 76	Core Weight: 1	Total Weight: 8
2.29/2.33	c Elapsed CPU time: 2.25266 s	Remaining CPU time: 1797.75 s
2.49/2.52	c core #9
2.49/2.52	c Core size: 30	Core Weight: 1	Total Weight: 9
2.49/2.52	c Elapsed CPU time: 2.44163 s	Remaining CPU time: 1797.56 s
2.69/2.72	c core #10
2.69/2.72	c Core size: 14	Core Weight: 1	Total Weight: 10
2.69/2.72	c Elapsed CPU time: 2.6316 s	Remaining CPU time: 1797.37 s
2.89/2.91	c core #11
2.89/2.91	c Core size: 170	Core Weight: 1	Total Weight: 11
2.89/2.91	c Elapsed CPU time: 2.82357 s	Remaining CPU time: 1797.18 s
3.09/3.11	c core #12
3.09/3.11	c Core size: 24	Core Weight: 1	Total Weight: 12
3.09/3.11	c Elapsed CPU time: 3.02154 s	Remaining CPU time: 1796.98 s
3.29/3.31	c core #13
3.29/3.31	c Core size: 141	Core Weight: 1	Total Weight: 13
3.29/3.31	c Elapsed CPU time: 3.22051 s	Remaining CPU time: 1796.78 s
3.49/3.52	c core #14
3.49/3.52	c Core size: 95	Core Weight: 1	Total Weight: 14
3.49/3.52	c Elapsed CPU time: 3.41748 s	Remaining CPU time: 1796.58 s
3.69/3.72	c core #15
3.69/3.72	c Core size: 353	Core Weight: 1	Total Weight: 15
3.69/3.72	c Elapsed CPU time: 3.61245 s	Remaining CPU time: 1796.39 s
3.89/3.92	c core #16
3.89/3.92	c Core size: 156	Core Weight: 1	Total Weight: 16
3.89/3.92	c Elapsed CPU time: 3.80842 s	Remaining CPU time: 1796.19 s
4.08/4.12	c core #17
4.08/4.12	c Core size: 506	Core Weight: 1	Total Weight: 17
4.08/4.12	c Elapsed CPU time: 4.00339 s	Remaining CPU time: 1796 s
4.28/4.33	c core #18
4.28/4.33	c Core size: 125	Core Weight: 1	Total Weight: 18
4.28/4.33	c Elapsed CPU time: 4.20136 s	Remaining CPU time: 1795.8 s
4.48/4.53	c core #19
4.48/4.53	c Core size: 92	Core Weight: 1	Total Weight: 19
4.48/4.53	c Elapsed CPU time: 4.39233 s	Remaining CPU time: 1795.61 s
4.68/4.73	c core #20
4.68/4.73	c Core size: 250	Core Weight: 1	Total Weight: 20
4.68/4.73	c Elapsed CPU time: 4.5933 s	Remaining CPU time: 1795.41 s
4.88/4.93	c core #21
4.88/4.93	c Core size: 62	Core Weight: 1	Total Weight: 21
4.88/4.93	c Elapsed CPU time: 4.78527 s	Remaining CPU time: 1795.21 s
5.08/5.14	c core #22
5.08/5.14	c Core size: 905	Core Weight: 1	Total Weight: 22
5.08/5.14	c Elapsed CPU time: 4.99424 s	Remaining CPU time: 1795.01 s
5.28/5.34	c ============================[ Search Statistics ]==============================
5.28/5.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.28/5.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.28/5.34	c ===============================================================================
5.28/5.34	c |         0 |    6907   224013   220992 |    74671        0    nan |  0.000 % |
5.28/5.35	c ===============================================================================
5.28/5.35	c core #23
5.28/5.35	c Core size: 301	Core Weight: 1	Total Weight: 23
5.28/5.35	c Elapsed CPU time: 5.19921 s	Remaining CPU time: 1794.8 s
5.49/5.56	c ============================[ Search Statistics ]==============================
5.49/5.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.56	c ===============================================================================
5.49/5.56	c |         0 |    7272   224014   224388 |    74671        0    nan |  0.000 % |
5.58/5.66	c |       100 |    7270   224014   224388 |    82138      100    160 | 86.030 % |
5.68/5.73	c ===============================================================================
5.68/5.74	c core #24
5.68/5.74	c Core size: 2208	Core Weight: 1	Total Weight: 24
5.68/5.74	c Elapsed CPU time: 5.57215 s	Remaining CPU time: 1794.43 s
5.88/5.94	c Learning 1 hard constraints
5.88/5.94	c ============================[ Search Statistics ]==============================
5.88/5.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.88/5.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.88/5.94	c ===============================================================================
5.88/5.94	c |         0 |    9173   224016   239521 |    74672        0    nan |  0.000 % |
6.08/6.12	c |       100 |    9173   224016   239521 |    82139      100    333 | 82.724 % |
6.28/6.31	c |       252 |    9173   224016   239521 |    90353      252    255 | 82.724 % |
6.59/6.62	c |       477 |    9172   224016   239521 |    99388      475    331 | 82.726 % |
7.08/7.13	c |       816 |    9172   224016   239521 |   109327      814    456 | 82.726 % |
8.28/8.35	c |      1323 |    9169   224016   239521 |   120260     1319    462 | 82.731 % |
12.38/12.41	c |      2082 |    9169   224016   239521 |   132286     2078    437 | 82.731 % |
13.88/13.95	c ===============================================================================
13.98/14.01	c core #25
13.98/14.01	c Core size: 4304	Core Weight: 1	Total Weight: 25
13.98/14.01	c Elapsed CPU time: 13.8129 s	Remaining CPU time: 1786.19 s
14.18/14.23	c Learning 10 hard constraints
14.18/14.23	c ============================[ Search Statistics ]==============================
14.18/14.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.18/14.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
14.18/14.23	c ===============================================================================
14.18/14.23	c |         0 |   12818   224027   271778 |    74675        0    nan |  0.000 % |
14.29/14.32	c |       100 |   12818   224027   271778 |    82143      100    114 | 76.750 % |
14.68/14.73	c |       250 |   12818   224027   271778 |    90357      250    156 | 76.750 % |
15.08/15.10	c |       475 |   12818   224027   271778 |    99393      475    127 | 76.750 % |
15.38/15.48	c |       812 |   12818   224027   271778 |   109332      812    116 | 76.750 % |
17.08/17.14	c |      1320 |   12818   224027   271778 |   120265     1320    170 | 76.750 % |
18.17/18.24	c |      2079 |   12818   224027   271778 |   132292     2079    173 | 76.750 % |
20.08/20.19	c |      3220 |   12818   224027   271778 |   145521     3220    192 | 76.750 % |
27.77/27.80	c |      4928 |   12818   224027   271778 |   160073     4928    247 | 76.750 % |
31.78/31.87	c |      7492 |   12818   224027   271778 |   176081     7492    241 | 76.750 % |
42.76/42.85	c |     11336 |   12815   224027   271778 |   193689    11332    304 | 76.760 % |
60.46/60.57	c |     17102 |   12810   224027   271778 |   213058    17094    357 | 76.766 % |
82.75/82.80	c |     25752 |   12810   224027   271778 |   234364    25744    354 | 76.766 % |
117.34/117.40	c |     38727 |   12809   224027   271778 |   257800    38718    307 | 76.768 % |
190.00/190.11	c |     58191 |   12808   224027   271778 |   283580    58181    325 | 76.768 % |
303.85/304.04	c |     87383 |   12807   224027   271778 |   311938    87372    336 | 76.773 % |
510.18/510.49	c ===============================================================================
512.57/512.80	c core #26
512.57/512.80	c Core size: 5378	Core Weight: 1	Total Weight: 26
512.57/512.80	c Elapsed CPU time: 510.964 s	Remaining CPU time: 1289.04 s
512.88/513.15	c Learning 17 hard constraints
512.88/513.15	c ============================[ Search Statistics ]==============================
512.88/513.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
512.88/513.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
512.88/513.15	c ===============================================================================
512.88/513.15	c |         0 |   15823   224045   285047 |    74681        0    nan |  0.000 % |
513.17/513.42	c |       100 |   15822   224045   285047 |    82149      100    293 | 72.403 % |
513.48/513.77	c |       251 |   15822   224045   285047 |    90364      251    160 | 72.403 % |
514.18/514.40	c |       476 |   15822   224045   285047 |    99401      475    145 | 72.403 % |
516.68/516.97	c |       814 |   15822   224045   285047 |   109341      813    307 | 72.403 % |
517.98/518.25	c |      1320 |   15822   224045   285047 |   120275     1319    419 | 72.403 % |
518.98/519.30	c |      2079 |   15822   224045   285047 |   132303     2078    451 | 72.403 % |
521.08/521.38	c |      3220 |   15822   224045   285047 |   145533     3219    433 | 72.403 % |
525.48/525.73	c |      4928 |   15821   224045   285047 |   160086     4925    427 | 72.405 % |
532.77/533.01	c |      7490 |   15821   224045   285047 |   176095     7487    445 | 72.405 % |
541.07/541.31	c |     11334 |   15821   224045   285047 |   193705    11331    502 | 72.405 % |
557.06/557.39	c |     17100 |   15820   224045   285047 |   213075    17096    545 | 72.406 % |
594.45/594.74	c |     25751 |   15818   224045   285047 |   234383    25746    610 | 72.410 % |
650.94/651.21	c |     38726 |   15816   224045   285047 |   257821    38718    607 | 72.415 % |
743.69/744.09	c |     58187 |   15816   224045   285047 |   283603    58179    649 | 72.415 % |
863.35/863.77	c |     87382 |   15815   224045   285047 |   311963    87372    594 | 72.420 % |
1055.59/1056.01	c |    131171 |   15810   224045   285047 |   343160   131157    579 | 72.429 % |
1475.31/1475.90	c |    196866 |   15810   224045   285047 |   377476   196852    620 | 72.429 % |

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-1875489-1245183716/watcher-1875489-1245183716 -o /tmp/evaluation-result-1875489-1245183716/solver-1875489-1245183716 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875489-1245183716.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.99 1.00 1.00 3/65 3417
/proc/meminfo: memFree=1858408/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=9452 CPUtime=0
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 185970276 9678848 253 1992294400 134512640 135709839 4294956240 18446744073709551615 135189690 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 2363 255 122 292 0 418 0

[startup+0.0540319 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3417
/proc/meminfo: memFree=1858408/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=14292 CPUtime=0.04
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 1461 0 0 0 4 0 0 0 18 0 1 0 185970276 14635008 1445 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 3573 1445 187 292 0 1628 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14292

[startup+0.101034 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3417
/proc/meminfo: memFree=1858408/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=16364 CPUtime=0.09
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 1920 0 0 0 9 0 0 0 18 0 1 0 185970276 16756736 1904 1992294400 134512640 135709839 4294956240 18446744073709551615 134542970 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 4091 1904 262 292 0 2146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16364

[startup+0.301054 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3417
/proc/meminfo: memFree=1858408/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=20776 CPUtime=0.29
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 3244 0 0 0 28 1 0 0 19 0 1 0 185970276 21274624 3139 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 5194 3139 550 292 0 3249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20776

[startup+0.701094 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3417
/proc/meminfo: memFree=1858408/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=24408 CPUtime=0.69
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 4762 0 0 0 67 2 0 0 23 0 1 0 185970276 24993792 4657 1992294400 134512640 135709839 4294956240 18446744073709551615 134542973 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 6102 4657 1195 292 0 4157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24408

[startup+1.50118 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1842144/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=36376 CPUtime=1.49
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 12121 0 0 0 144 5 0 0 25 0 1 0 185970276 37249024 8028 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 9094 8028 133 292 0 8799 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36376

[startup+3.10134 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1824416/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=39048 CPUtime=3.09
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 19161 0 0 0 300 9 0 0 25 0 1 0 185970276 39985152 8596 1992294400 134512640 135709839 4294956240 18446744073709551615 135162445 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 9762 8596 133 292 0 9467 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39048

[startup+6.30166 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1824160/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=35104 CPUtime=6.28
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 30014 0 0 0 612 16 0 0 25 0 1 0 185970276 35946496 7989 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 8776 7989 136 292 0 8481 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35104

[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1826464/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=35104 CPUtime=12.68
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 30014 0 0 0 1250 18 0 0 25 0 1 0 185970276 35946496 7989 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 8776 7989 136 292 0 8481 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35104

[startup+25.5016 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1818272/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=43400 CPUtime=25.48
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 32938 0 0 0 2524 24 0 0 25 0 1 0 185970276 44441600 10070 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 10850 10070 136 292 0 10555 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43400

[startup+51.1012 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1806624/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=56004 CPUtime=51.06
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 36107 0 0 0 5072 34 0 0 25 0 1 0 185970276 57348096 13239 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 14001 13239 136 292 0 13706 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 56004

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1769376/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=92396 CPUtime=102.24
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 45186 0 0 0 10165 59 0 0 25 0 1 0 185970276 94613504 22318 1992294400 134512640 135709839 4294956240 18446744073709551615 134577556 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 23099 22318 136 292 0 22804 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 92396

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1734752/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=127464 CPUtime=162.22
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 53952 0 0 0 16143 79 0 0 25 0 1 0 185970276 130523136 31084 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 31866 31084 136 292 0 31571 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 127464

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1698848/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=162872 CPUtime=222.2
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 62774 0 0 0 22124 96 0 0 25 0 1 0 185970276 166780928 39906 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 40718 39906 136 292 0 40423 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 162872

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1667744/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=194324 CPUtime=282.17
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 70643 0 0 0 28107 110 0 0 25 0 1 0 185970276 198987776 47775 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 48581 47775 136 292 0 48286 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 194324

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1638048/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=223928 CPUtime=342.14
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 77978 0 0 0 34090 124 0 0 25 0 1 0 185970276 229302272 55110 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 55982 55110 136 292 0 55687 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 223928

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1605152/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=256924 CPUtime=402.12
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 86261 0 0 0 40077 135 0 0 25 0 1 0 185970276 263090176 63393 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 64231 63393 136 292 0 63936 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 256924

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1573792/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=287964 CPUtime=462.09
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 93989 0 0 0 46058 151 0 0 25 0 1 0 185970276 294875136 71121 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 71991 71121 136 292 0 71696 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 287964

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1535520/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=325712 CPUtime=522.08
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 104432 0 0 0 52037 171 0 0 25 0 1 0 185970276 333529088 80577 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 81428 80577 136 292 0 81133 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 325712

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1535456/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=325712 CPUtime=582.05
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 104433 0 0 0 58020 185 0 0 25 0 1 0 185970276 333529088 80578 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 81428 80578 136 292 0 81133 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 325712

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1535264/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=325712 CPUtime=642.04
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 104515 0 0 0 64006 198 0 0 25 0 1 0 185970276 333529088 80660 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 81428 80660 136 292 0 81133 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 325712

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1392160/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=468888 CPUtime=881.94
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 140243 0 0 0 87920 274 0 0 25 0 1 0 185970276 480141312 116388 1992294400 134512640 135709839 4294956240 18446744073709551615 134577669 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 117222 116388 136 292 0 116927 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 468888

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1354016/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=507452 CPUtime=941.93
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 149903 0 0 0 93903 290 0 0 25 0 1 0 185970276 519630848 126048 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 126863 126048 136 292 0 126568 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 507452

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1320288/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=540468 CPUtime=1001.9
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 158147 0 0 0 99883 307 0 0 25 0 1 0 185970276 553439232 134292 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 135117 134292 136 292 0 134822 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 540468

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1287392/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=573764 CPUtime=1061.88
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 166406 0 0 0 105864 324 0 0 25 0 1 0 185970276 587534336 142551 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 143441 142551 136 292 0 143146 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 573764

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1254240/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=607292 CPUtime=1121.86
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 174702 0 0 0 111843 343 0 0 25 0 1 0 185970276 621867008 150847 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 151823 150847 136 292 0 151528 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 607292

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1218208/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=643280 CPUtime=1181.83
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 183732 0 0 0 117823 360 0 0 25 0 1 0 185970276 658718720 159877 1992294400 134512640 135709839 4294956240 18446744073709551615 134577661 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 160820 159877 136 292 0 160525 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 643280

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1187616/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=673316 CPUtime=1241.81
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 191235 0 0 0 123806 375 0 0 25 0 1 0 185970276 689475584 167380 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 168329 167380 136 292 0 168034 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 673316

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1156704/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=703816 CPUtime=1301.79
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 198863 0 0 0 129792 387 0 0 25 0 1 0 185970276 720707584 175008 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 175954 175008 136 292 0 175659 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 703816

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1118688/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=742300 CPUtime=1361.76
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 208450 0 0 0 135777 399 0 0 25 0 1 0 185970276 760115200 184595 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 185575 184595 136 292 0 185280 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 742300

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1090016/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=770692 CPUtime=1421.75
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 215554 0 0 0 141767 408 0 0 25 0 1 0 185970276 789188608 191699 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 192673 191699 136 292 0 192378 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 770692

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1061792/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=799016 CPUtime=1481.71
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 222631 0 0 0 147754 417 0 0 25 0 1 0 185970276 818192384 198776 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 199754 198776 136 292 0 199459 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 799016

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1031712/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=828808 CPUtime=1541.68
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 230085 0 0 0 153735 433 0 0 25 0 1 0 185970276 848699392 206230 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 207202 206230 136 292 0 206907 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 828808

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=1000288/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=860600 CPUtime=1601.66
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 237942 0 0 0 159718 448 0 0 25 0 1 0 185970276 881254400 214087 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 215150 214087 136 292 0 214855 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 860600

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=972256/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=888536 CPUtime=1661.64
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 244924 0 0 0 165704 460 0 0 25 0 1 0 185970276 909860864 221069 1992294400 134512640 135709839 4294956240 18446744073709551615 134577698 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 222134 221069 136 292 0 221839 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 888536

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=940384/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=920684 CPUtime=1721.61
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 252964 0 0 0 171692 469 0 0 25 0 1 0 185970276 942780416 229109 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 230171 229109 136 292 0 229876 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 920684

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=901024/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=959900 CPUtime=1781.6
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 262777 0 0 0 177680 480 0 0 25 0 1 0 185970276 982937600 238922 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 239975 238922 136 292 0 239680 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 959900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=889120/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=971104 CPUtime=1800.09
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4194304 265589 0 0 0 179526 483 0 0 25 0 1 0 185970276 994410496 241734 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 242776 241734 136 292 0 242481 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 971104

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3418
/proc/meminfo: memFree=889120/2055920 swapFree=4169920/4192956
[pid=3417] ppid=3415 vsize=0 CPUtime=1800.19
/proc/3417/stat : 3417 (wbo) R 3415 3417 3140 0 -1 4195332 265589 0 0 0 179526 493 0 0 25 0 1 0 185970276 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/3417/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.95
CPU time (s): 1800.24
CPU user time (s): 1795.27
CPU system time (s): 4.97424
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 971104

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

runsolver used 2.13068 second user time and 4.08738 second system time

The end

Launcher Data 

Begin job on node84 at 2009-06-16 22:21:57
IDJOB=1875489
IDBENCH=25011
IDSOLVER=698
FILE ID=node84/1875489-1245183716
PBS_JOBID= 9363945
Free space on /tmp= 66516 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir10_area_delay.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875489-1245183716/watcher-1875489-1245183716 -o /tmp/evaluation-result-1875489-1245183716/solver-1875489-1245183716 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875489-1245183716.opb

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

MD5SUM BENCH= 5d0340a340565eda2e94c9f5d1d814a1
RANDOM SEED=1711306641

node84.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.222
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.222
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1858824 kB
Buffers:         32100 kB
Cached:          86464 kB
SwapCached:      17164 kB
Active:          49784 kB
Inactive:        88384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858824 kB
SwapTotal:     4192956 kB
SwapFree:      4169920 kB
Dirty:            8976 kB
Writeback:           0 kB
Mapped:          25284 kB
Slab:            44808 kB
Committed_AS:    89992 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875489-1245183716.opb

Free space on /tmp at the end= 66512 MiB
End job on node84 at 2009-06-16 22:51:59