Trace number 1875465

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.34 1801.25

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_024_area_delay.opb
MD5SUM58f3055ef9bb388e237f57f2627386e0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark26.113
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables3392
Total number of constraints9001
Number of constraints which are clauses9001
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 constraint63
Number of terms in the objective function 1642
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 1642
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1642
Number of bits of the biggest sum of numbers11
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-1875465-1245182015.opb.
0.00/0.00	c Instance file HOME/instance-1875465-1245182015.opb
0.00/0.00	c File size is 264615 bytes.
0.00/0.03	c Highest Coefficient sum: 64
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      3392                                                |
0.00/0.03	c |  Number Clauses:        10643                                               |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.00/0.03	c core #1
0.00/0.03	c Core size: 66	Core Weight: 1	Total Weight: 1
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #2
0.00/0.04	c Core size: 31	Core Weight: 1	Total Weight: 2
0.00/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #3
0.00/0.05	c Core size: 126	Core Weight: 1	Total Weight: 3
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #4
0.00/0.05	c Core size: 63	Core Weight: 1	Total Weight: 4
0.00/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.06/0.06	c core #5
0.06/0.06	c Core size: 62	Core Weight: 1	Total Weight: 5
0.06/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.06/0.07	c core #6
0.06/0.07	c Core size: 62	Core Weight: 1	Total Weight: 6
0.06/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.06/0.08	c core #7
0.06/0.08	c Core size: 15	Core Weight: 1	Total Weight: 7
0.06/0.08	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.06/0.08	c core #8
0.06/0.08	c Core size: 63	Core Weight: 1	Total Weight: 8
0.06/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.06/0.09	c core #9
0.06/0.09	c Core size: 15	Core Weight: 1	Total Weight: 9
0.06/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.09/0.10	c core #10
0.09/0.10	c Core size: 15	Core Weight: 1	Total Weight: 10
0.09/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #11
0.09/0.11	c Core size: 62	Core Weight: 1	Total Weight: 11
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #12
0.09/0.12	c Core size: 31	Core Weight: 1	Total Weight: 12
0.09/0.12	c Elapsed CPU time: 0.113982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #13
0.09/0.12	c Core size: 31	Core Weight: 1	Total Weight: 13
0.09/0.12	c Elapsed CPU time: 0.121981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #14
0.09/0.13	c Core size: 30	Core Weight: 1	Total Weight: 14
0.09/0.13	c Elapsed CPU time: 0.12998 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #15
0.09/0.14	c Core size: 7	Core Weight: 1	Total Weight: 15
0.09/0.14	c Elapsed CPU time: 0.137979 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #16
0.09/0.15	c Core size: 30	Core Weight: 1	Total Weight: 16
0.09/0.15	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #17
0.09/0.15	c Core size: 301	Core Weight: 1	Total Weight: 17
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #18
0.09/0.16	c Core size: 15	Core Weight: 1	Total Weight: 18
0.09/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #19
0.09/0.17	c Core size: 479	Core Weight: 1	Total Weight: 19
0.09/0.17	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 1799.83 s
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |    1816    10662    15884 |     5000        0    nan |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c core #20
0.09/0.18	c Core size: 240	Core Weight: 1	Total Weight: 20
0.09/0.18	c Elapsed CPU time: 0.179972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    2039    10663    16624 |     5000        0    nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c core #21
0.19/0.21	c Core size: 1593	Core Weight: 1	Total Weight: 21
0.19/0.21	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.22	c Learning 2 hard constraints
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    3511    10666    21121 |     5000        0    nan |  0.000 % |
0.19/0.23	c |       104 |    3511    10666    21121 |     5500      104     35 | 25.756 % |
0.19/0.28	c |       255 |    3511    10666    21121 |     6050      255     40 | 25.756 % |
0.29/0.35	c |       481 |    3511    10666    21121 |     6655      481     49 | 25.756 % |
0.49/0.50	c |       819 |    3511    10666    21121 |     7320      819     62 | 25.756 % |
0.69/0.73	c ===============================================================================
0.69/0.74	c core #22
0.69/0.74	c Core size: 3095	Core Weight: 1	Total Weight: 22
0.69/0.74	c Elapsed CPU time: 0.729889 s	Remaining CPU time: 1799.27 s
0.69/0.75	c Learning 26 hard constraints
0.69/0.75	c ============================[ Search Statistics ]==============================
0.69/0.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.75	c ===============================================================================
0.69/0.75	c |         0 |    5516    10693    28398 |     5000        0    nan |  0.000 % |
0.69/0.77	c |       101 |    5516    10693    28398 |     5500      101    112 |  3.364 % |
0.79/0.82	c |       253 |    5516    10693    28398 |     6050      253     78 |  3.364 % |
0.89/0.91	c |       478 |    5516    10693    28398 |     6655      478     73 |  3.364 % |
1.00/1.03	c |       815 |    5516    10693    28398 |     7320      815     65 |  3.364 % |
1.19/1.22	c |      1322 |    5516    10693    28398 |     8052     1322     55 |  3.364 % |
1.49/1.58	c |      2081 |    5516    10693    28398 |     8857     2081     60 |  3.364 % |
2.10/2.17	c |      3222 |    5516    10693    28398 |     9743     3222     64 |  3.364 % |
3.29/3.31	c |      4930 |    5516    10693    28398 |    10717     4930     85 |  3.364 % |
5.39/5.41	c |      7493 |    5516    10693    28398 |    11789     7493     92 |  3.364 % |
10.08/10.12	c |     11337 |    5516    10693    28398 |    12968    11337    116 |  3.364 % |
15.98/16.07	c |     17107 |    5516    10693    28398 |    14265    10431    137 |  3.364 % |
26.76/26.80	c |     25758 |    5516    10693    28398 |    15692    11815    120 |  3.364 % |
41.25/41.38	c |     38733 |    5516    10693    28398 |    17261     8645    126 |  3.364 % |
46.64/46.70	c ===============================================================================
47.64/47.71	c core #23
47.64/47.71	c Core size: 2897	Core Weight: 1	Total Weight: 23
47.64/47.71	c Elapsed CPU time: 47.4568 s	Remaining CPU time: 1752.54 s
47.64/47.77	c Learning 95 hard constraints
47.64/47.77	c ============================[ Search Statistics ]==============================
47.64/47.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.64/47.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.64/47.77	c ===============================================================================
47.64/47.77	c |         0 |    6107    10789    30547 |     5000        0    nan |  0.000 % |
47.64/47.79	c |       102 |    6107    10789    30547 |     5500      102     82 |  3.048 % |
47.75/47.84	c |       253 |    6107    10789    30547 |     6050      253     68 |  3.048 % |
47.85/47.95	c |       481 |    6107    10789    30547 |     6655      481     83 |  3.048 % |
48.05/48.12	c |       818 |    6107    10789    30547 |     7320      818     94 |  3.048 % |
48.25/48.36	c |      1324 |    6107    10789    30547 |     8052     1324     75 |  3.049 % |
48.65/48.73	c |      2083 |    6107    10789    30547 |     8857     2083    103 |  3.048 % |
49.24/49.36	c |      3222 |    6107    10789    30547 |     9743     3222     94 |  3.048 % |
50.25/50.32	c |      4932 |    6107    10789    30547 |    10717     4932     98 |  3.048 % |
51.55/51.69	c |      7494 |    6107    10789    30547 |    11789     7494    112 |  3.048 % |
54.24/54.32	c |     11338 |    6107    10789    30547 |    12968    11338    121 |  3.048 % |
58.94/59.09	c |     17107 |    6107    10789    30547 |    14265     9874    180 |  3.049 % |
65.84/65.93	c |     25761 |    6107    10789    30547 |    15692    10810    156 |  3.049 % |
76.74/76.87	c |     38736 |    6107    10789    30547 |    17261    15521    177 |  3.048 % |
92.13/92.24	c |     58197 |    6107    10789    30547 |    18987    16018    257 |  3.049 % |
127.52/127.63	c |     87389 |    6107    10789    30547 |    20886    14859    271 |  3.048 % |
186.58/186.71	c |    131179 |    6107    10789    30547 |    22974    14677    247 |  3.048 % |
264.44/264.60	c |    196863 |    6107    10789    30547 |    25272    19863    203 |  3.048 % |
373.79/374.05	c |    295390 |    6107    10789    30547 |    27799    24649    196 |  3.048 % |
582.58/582.95	c |    443182 |    6107    10789    30547 |    30579    14979    194 |  3.048 % |
975.49/976.10	c |    664866 |    6107    10789    30547 |    33637    23875    369 |  3.048 % |
1490.93/1491.70	c |    997393 |    6107    10789    30547 |    37001    17051    290 |  3.048 % |

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-1875465-1245182015/watcher-1875465-1245182015 -o /tmp/evaluation-result-1875465-1245182015/solver-1875465-1245182015 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875465-1245182015.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.91 0.97 0.99 3/64 3313
/proc/meminfo: memFree=1845736/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=3068 CPUtime=0
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 185797945 3141632 268 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 767 269 125 292 0 407 0

[startup+0.066592 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 3313
/proc/meminfo: memFree=1845736/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=4252 CPUtime=0.06
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 709 0 0 0 6 0 0 0 18 0 1 0 185797945 4354048 628 1992294400 134512640 135709839 4294956240 18446744073709551615 135163564 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 1063 628 133 292 0 768 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4252

[startup+0.101598 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 3313
/proc/meminfo: memFree=1845736/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=4444 CPUtime=0.09
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 735 0 0 0 9 0 0 0 18 0 1 0 185797945 4550656 654 1992294400 134512640 135709839 4294956240 18446744073709551615 134517501 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 1111 654 133 292 0 816 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4444

[startup+0.301635 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 3313
/proc/meminfo: memFree=1845736/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=4768 CPUtime=0.29
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 905 0 0 0 28 1 0 0 19 0 1 0 185797945 4882432 726 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 1192 726 136 292 0 897 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4768

[startup+0.70171 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 3313
/proc/meminfo: memFree=1845736/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=4900 CPUtime=0.69
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 946 0 0 0 68 1 0 0 23 0 1 0 185797945 5017600 767 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 1225 767 136 292 0 930 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4900

[startup+1.50186 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1841888/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=6236 CPUtime=1.49
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 1274 0 0 0 147 2 0 0 25 0 1 0 185797945 6385664 1095 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 1559 1095 136 292 0 1264 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6236

[startup+3.10116 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1841696/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=7572 CPUtime=3.08
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 1635 0 0 0 305 3 0 0 25 0 1 0 185797945 7753728 1456 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 1893 1456 136 292 0 1598 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7572

[startup+6.30176 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1837920/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=11004 CPUtime=6.28
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 2470 0 0 0 623 5 0 0 25 0 1 0 185797945 11268096 2291 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 2751 2291 136 292 0 2456 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11004

[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1831776/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=16604 CPUtime=12.69
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 3871 0 0 0 1262 7 0 0 25 0 1 0 185797945 17002496 3692 1992294400 134512640 135709839 4294956240 18446744073709551615 134574138 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 4151 3692 136 292 0 3856 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16604

[startup+25.5013 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1820320/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=27720 CPUtime=25.46
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 6672 0 0 0 2535 11 0 0 25 0 1 0 185797945 28385280 6493 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 6930 6493 136 292 0 6635 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 27720

[startup+51.1011 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1797280/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=50752 CPUtime=51.04
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 12387 0 0 0 5082 22 0 0 25 0 1 0 185797945 51970048 12208 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 12688 12208 136 292 0 12393 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 50752

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1742816/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=105164 CPUtime=102.23
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 25976 0 0 0 10174 49 0 0 25 0 1 0 185797945 107687936 25797 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 26291 25797 136 292 0 25996 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 105164

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1667936/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=180616 CPUtime=162.19
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 44847 0 0 0 16145 74 0 0 25 0 1 0 185797945 184950784 44668 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 45154 44668 136 292 0 44859 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 180616

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1596320/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=251412 CPUtime=222.17
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 62552 0 0 0 22112 105 0 0 25 0 1 0 185797945 257445888 62373 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 62853 62373 136 292 0 62558 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 251412

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1535456/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=312676 CPUtime=282.13
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 77852 0 0 0 28083 130 0 0 25 0 1 0 185797945 320180224 77673 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 78169 77673 136 292 0 77874 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 312676

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1471328/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=376308 CPUtime=342.1
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 93765 0 0 0 34054 156 0 0 25 0 1 0 185797945 385339392 93586 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 94077 93586 136 292 0 93782 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 376308

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3314
/proc/meminfo: memFree=1412576/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=435524 CPUtime=402.08
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 108551 0 0 0 40026 182 0 0 25 0 1 0 185797945 445976576 108372 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 108881 108372 136 292 0 108586 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 435524

[startup+462.302 s]
/proc/loadavg: 1.06 0.99 0.99 2/65 3320
/proc/meminfo: memFree=1357088/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=490364 CPUtime=462.04
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 122251 0 0 0 45999 205 0 0 25 0 1 0 185797945 502132736 122072 1992294400 134512640 135709839 4294956240 18446744073709551615 134572752 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 122591 122072 136 292 0 122296 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 490364

[startup+522.302 s]
/proc/loadavg: 1.02 0.99 0.99 2/65 3320
/proc/meminfo: memFree=1300768/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=547336 CPUtime=522.02
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 136487 0 0 0 51974 228 0 0 25 0 1 0 185797945 560472064 136308 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 136834 136308 136 292 0 136539 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 547336

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=1244832/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=602460 CPUtime=581.98
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 150259 0 0 0 57947 251 0 0 25 0 1 0 185797945 616919040 150080 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 150615 150080 136 292 0 150320 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 602460

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=1176480/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=670208 CPUtime=641.96
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 167208 0 0 0 63916 280 0 0 25 0 1 0 185797945 686292992 167029 1992294400 134512640 135709839 4294956240 18446744073709551615 134577287 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 167552 167029 136 292 0 167257 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 670208

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=976160/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=870552 CPUtime=881.84
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 217252 0 0 0 87827 357 0 0 25 0 1 0 185797945 891445248 217073 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 217638 217073 136 292 0 217343 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 870552

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=922976/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=923716 CPUtime=941.81
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 230522 0 0 0 93805 376 0 0 25 0 1 0 185797945 945885184 230343 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 230929 230343 136 292 0 230634 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 923716

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=877920/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=968800 CPUtime=1001.77
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 241778 0 0 0 99784 393 0 0 25 0 1 0 185797945 992051200 241599 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 242200 241599 136 292 0 241905 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 968800

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=826592/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1020472 CPUtime=1061.75
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 254685 0 0 0 105760 415 0 0 25 0 1 0 185797945 1044963328 254506 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 255118 254506 136 292 0 254823 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 1020472

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=780704/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1066016 CPUtime=1121.72
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 266057 0 0 0 111738 434 0 0 25 0 1 0 185797945 1091600384 265878 1992294400 134512640 135709839 4294956240 18446744073709551615 134572770 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 266504 265878 136 292 0 266209 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 1066016

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=721376/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1125712 CPUtime=1181.69
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 280981 0 0 0 117712 457 0 0 25 0 1 0 185797945 1152729088 280802 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 281428 280802 136 292 0 281133 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 1125712

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=666080/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1180336 CPUtime=1241.66
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 294646 0 0 0 123688 478 0 0 25 0 1 0 185797945 1208664064 294467 1992294400 134512640 135709839 4294956240 18446744073709551615 134573772 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 295084 294467 136 292 0 294789 0
Current children cumulated CPU time (s) 1241.66
Current children cumulated vsize (KiB) 1180336

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=605856/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1239888 CPUtime=1301.63
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 309540 0 0 0 129663 500 0 0 25 0 1 0 185797945 1269645312 309361 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 309972 309361 136 292 0 309677 0
Current children cumulated CPU time (s) 1301.63
Current children cumulated vsize (KiB) 1239888

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=543328/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1302608 CPUtime=1361.6
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 325220 0 0 0 135636 524 0 0 25 0 1 0 185797945 1333870592 325041 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 325652 325041 136 292 0 325357 0
Current children cumulated CPU time (s) 1361.6
Current children cumulated vsize (KiB) 1302608

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=479776/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1365848 CPUtime=1421.58
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 341012 0 0 0 141607 551 0 0 25 0 1 0 185797945 1398628352 340833 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 341462 340833 136 292 0 341167 0
Current children cumulated CPU time (s) 1421.58
Current children cumulated vsize (KiB) 1365848

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=425248/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1420728 CPUtime=1481.54
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 354739 0 0 0 147581 573 0 0 25 0 1 0 185797945 1454825472 354560 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 355182 354560 136 292 0 354887 0
Current children cumulated CPU time (s) 1481.54
Current children cumulated vsize (KiB) 1420728

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=368928/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1476624 CPUtime=1541.51
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 368685 0 0 0 153556 595 0 0 25 0 1 0 185797945 1512062976 368506 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 369156 368506 136 292 0 368861 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 1476624

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=325600/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1520356 CPUtime=1601.48
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 379621 0 0 0 159535 613 0 0 25 0 1 0 185797945 1556844544 379442 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 380089 379442 136 292 0 379794 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 1520356

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=286368/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1559116 CPUtime=1661.45
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 389284 0 0 0 165514 631 0 0 25 0 1 0 185797945 1596534784 389105 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 389779 389105 136 292 0 389484 0
Current children cumulated CPU time (s) 1661.45
Current children cumulated vsize (KiB) 1559116

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=247456/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1598280 CPUtime=1721.43
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 399094 0 0 0 171492 651 0 0 25 0 1 0 185797945 1636638720 398915 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 399570 398915 136 292 0 399275 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 1598280

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=198560/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1646656 CPUtime=1781.4
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 411185 0 0 0 177470 670 0 0 25 0 1 0 185797945 1686175744 411006 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 411664 411006 136 292 0 411369 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 1646656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=184288/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=1660648 CPUtime=1800.09
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4194304 414680 0 0 0 179333 676 0 0 25 0 1 0 185797945 1700503552 414501 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 415162 414501 136 292 0 414867 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1660648

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

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

[startup+1801.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3320
/proc/meminfo: memFree=184288/2055920 swapFree=4182544/4192956
[pid=3313] ppid=3311 vsize=0 CPUtime=1800.29
/proc/3313/stat : 3313 (wbo) R 3311 3313 3205 0 -1 4195332 414680 0 0 0 179333 696 0 0 25 0 1 0 185797945 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/3313/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.25
CPU time (s): 1800.34
CPU user time (s): 1793.33
CPU system time (s): 7.01093
CPU usage (%): 99.9498
Max. virtual memory (cumulated for all children) (KiB): 1660648

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

runsolver used 1.50077 second user time and 5.06523 second system time

The end

Launcher Data 

Begin job on node47 at 2009-06-16 21:53:35
IDJOB=1875465
IDBENCH=24987
IDSOLVER=698
FILE ID=node47/1875465-1245182015
PBS_JOBID= 9368282
Free space on /tmp= 65952 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_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-1875465-1245182015/watcher-1875465-1245182015 -o /tmp/evaluation-result-1875465-1245182015/solver-1875465-1245182015 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875465-1245182015.opb

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

MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0
RANDOM SEED=1624229601

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1846280 kB
Buffers:         45552 kB
Cached:          97336 kB
SwapCached:       4196 kB
Active:          46832 kB
Inactive:       103940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846280 kB
SwapTotal:     4192956 kB
SwapFree:      4182544 kB
Dirty:            2700 kB
Writeback:           0 kB
Mapped:          13676 kB
Slab:            44864 kB
Committed_AS:   180336 kB
PageTables:       1448 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-1875465-1245182015.opb

Free space on /tmp at the end= 65948 MiB
End job on node47 at 2009-06-16 22:23:39