Trace number 1875456

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.19 1801.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
MD5SUM11f76d5c4a01da95c686f09380ec8e85
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark100.387
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables9709
Total number of constraints29891
Number of constraints which are clauses29891
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 constraint127
Number of terms in the objective function 4768
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 4768
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 4768
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

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-1875456-1245181651.opb.
0.00/0.00	c Instance file HOME/instance-1875456-1245181651.opb
0.00/0.00	c File size is 874504 bytes.
0.09/0.12	c Highest Coefficient sum: 128
0.09/0.12	c ============================[ Problem Statistics ]=============================
0.09/0.12	c |                                                                             |
0.09/0.12	c |  Parsing time:          0.12         s                                      |
0.09/0.12	c |  Number Variables:      9709                                                |
0.09/0.12	c |  Number Clauses:        34659                                               |
0.09/0.12	c |  Number Cardinality:    0                                                   |
0.09/0.12	c |  Number PB Constraints: 0                                                   |
0.09/0.12	c core #1
0.09/0.12	c Core size: 2	Core Weight: 1	Total Weight: 1
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.09/0.14	c core #2
0.09/0.14	c Core size: 247	Core Weight: 1	Total Weight: 2
0.09/0.14	c Elapsed CPU time: 0.140978 s	Remaining CPU time: 1799.86 s
0.09/0.17	c core #3
0.09/0.17	c Core size: 63	Core Weight: 1	Total Weight: 3
0.09/0.17	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
0.09/0.19	c core #4
0.09/0.19	c Core size: 125	Core Weight: 1	Total Weight: 4
0.09/0.19	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.19/0.21	c core #5
0.19/0.21	c Core size: 7	Core Weight: 1	Total Weight: 5
0.19/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 1799.79 s
0.19/0.24	c core #6
0.19/0.24	c Core size: 254	Core Weight: 1	Total Weight: 6
0.19/0.24	c Elapsed CPU time: 0.233964 s	Remaining CPU time: 1799.77 s
0.19/0.26	c core #7
0.19/0.26	c Core size: 30	Core Weight: 1	Total Weight: 7
0.19/0.26	c Elapsed CPU time: 0.25796 s	Remaining CPU time: 1799.74 s
0.19/0.29	c core #8
0.19/0.29	c Core size: 31	Core Weight: 1	Total Weight: 8
0.19/0.29	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 1799.72 s
0.30/0.31	c core #9
0.30/0.31	c Core size: 61	Core Weight: 1	Total Weight: 9
0.30/0.31	c Elapsed CPU time: 0.306953 s	Remaining CPU time: 1799.69 s
0.30/0.34	c core #10
0.30/0.34	c Core size: 30	Core Weight: 1	Total Weight: 10
0.30/0.34	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.30/0.36	c core #11
0.30/0.36	c Core size: 15	Core Weight: 1	Total Weight: 11
0.30/0.36	c Elapsed CPU time: 0.356945 s	Remaining CPU time: 1799.64 s
0.30/0.39	c core #12
0.30/0.39	c Core size: 15	Core Weight: 1	Total Weight: 12
0.30/0.39	c Elapsed CPU time: 0.381941 s	Remaining CPU time: 1799.62 s
0.40/0.41	c core #13
0.40/0.41	c Core size: 63	Core Weight: 1	Total Weight: 13
0.40/0.41	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 1799.59 s
0.40/0.44	c core #14
0.40/0.44	c Core size: 31	Core Weight: 1	Total Weight: 14
0.40/0.44	c Elapsed CPU time: 0.432934 s	Remaining CPU time: 1799.57 s
0.40/0.47	c core #15
0.40/0.47	c Core size: 31	Core Weight: 1	Total Weight: 15
0.40/0.47	c Elapsed CPU time: 0.45893 s	Remaining CPU time: 1799.54 s
0.40/0.49	c core #16
0.40/0.49	c Core size: 31	Core Weight: 1	Total Weight: 16
0.40/0.49	c Elapsed CPU time: 0.484926 s	Remaining CPU time: 1799.52 s
0.50/0.52	c core #17
0.50/0.52	c Core size: 31	Core Weight: 1	Total Weight: 17
0.50/0.52	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 1799.49 s
0.50/0.54	c core #18
0.50/0.54	c Core size: 63	Core Weight: 1	Total Weight: 18
0.50/0.54	c Elapsed CPU time: 0.536918 s	Remaining CPU time: 1799.46 s
0.50/0.57	c core #19
0.50/0.57	c Core size: 501	Core Weight: 1	Total Weight: 19
0.50/0.57	c Elapsed CPU time: 0.565913 s	Remaining CPU time: 1799.43 s
0.59/0.61	c core #20
0.59/0.61	c Core size: 1397	Core Weight: 1	Total Weight: 20
0.59/0.61	c Elapsed CPU time: 0.604908 s	Remaining CPU time: 1799.4 s
0.59/0.64	c ============================[ Search Statistics ]==============================
0.59/0.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.64	c ===============================================================================
0.59/0.64	c |         0 |    3487    34679    43164 |    11559        0    nan |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c core #21
0.69/0.72	c Core size: 3046	Core Weight: 1	Total Weight: 21
0.69/0.72	c Elapsed CPU time: 0.707892 s	Remaining CPU time: 1799.29 s
0.69/0.75	c Learning 3 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 |    7371    34683    59803 |    11561        0    nan |  0.000 % |
0.79/0.80	c |       101 |    7368    34683    59803 |    12717      101     67 | 41.183 % |
0.79/0.84	c ===============================================================================
0.79/0.85	c core #22
0.79/0.85	c Core size: 2421	Core Weight: 1	Total Weight: 22
0.79/0.85	c Elapsed CPU time: 0.836872 s	Remaining CPU time: 1799.16 s
0.79/0.88	c Learning 12 hard constraints
0.79/0.88	c ============================[ Search Statistics ]==============================
0.79/0.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.88	c ===============================================================================
0.79/0.88	c |         0 |    9451    34696    68760 |    11565        0    nan |  0.000 % |
0.89/0.95	c |       100 |    9451    34696    68760 |    12721      100     85 | 29.312 % |
0.99/1.05	c |       251 |    9451    34696    68760 |    13994      251     82 | 29.312 % |
1.19/1.25	c |       477 |    9451    34696    68760 |    15393      477     84 | 29.312 % |
1.49/1.55	c |       815 |    7364    34696    68760 |    16932      381     44 | 47.958 % |
1.49/1.55	c ===============================================================================
1.49/1.56	c core #23
1.49/1.56	c Core size: 2540	Core Weight: 1	Total Weight: 23
1.49/1.56	c Elapsed CPU time: 1.54976 s	Remaining CPU time: 1798.45 s
1.59/1.60	c Learning 58 hard constraints
1.59/1.60	c ============================[ Search Statistics ]==============================
1.59/1.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.60	c ===============================================================================
1.59/1.60	c |         0 |   10254    34755    71391 |    11585        0    nan |  0.000 % |
1.59/1.65	c |       100 |   10254    34755    71391 |    12743      100    100 | 26.637 % |
1.79/1.80	c |       250 |   10254    34755    71391 |    14017      250    111 | 26.637 % |
1.89/1.96	c |       476 |   10254    34755    71391 |    15419      476    105 | 26.637 % |
2.20/2.27	c |       816 |   10254    34755    71391 |    16961      816     94 | 26.637 % |
2.59/2.60	c |      1322 |   10254    34755    71391 |    18657     1322    140 | 26.637 % |
3.39/3.40	c |      2084 |   10254    34755    71391 |    20523     2084    173 | 26.637 % |
4.39/4.44	c |      3227 |   10254    34755    71391 |    22575     3227    179 | 26.637 % |
6.29/6.30	c |      4935 |   10254    34755    71391 |    24833     4935    181 | 26.637 % |
9.29/9.32	c |      7498 |   10254    34755    71391 |    27316     7498    192 | 26.637 % |
15.69/15.79	c |     11342 |   10254    34755    71391 |    30048    11342    199 | 26.637 % |
26.58/26.68	c |     17110 |   10254    34755    71391 |    33053    17110    228 | 26.637 % |
43.68/43.76	c ===============================================================================
44.17/44.25	c core #24
44.17/44.25	c Core size: 6016	Core Weight: 1	Total Weight: 24
44.17/44.25	c Elapsed CPU time: 44.0613 s	Remaining CPU time: 1755.94 s
44.27/44.32	c Learning 241 hard constraints
44.27/44.32	c ============================[ Search Statistics ]==============================
44.27/44.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.27/44.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.27/44.32	c ===============================================================================
44.27/44.32	c |         0 |   13977    34997    93632 |    11665        0    nan |  0.000 % |
44.27/44.38	c |       100 |   13977    34997    93632 |    12832      100    122 | 11.722 % |
44.47/44.58	c |       250 |   13977    34997    93632 |    14115      250    122 | 11.722 % |
44.78/44.80	c |       479 |   13977    34997    93632 |    15527      479    139 | 11.722 % |
45.18/45.24	c |       817 |   13977    34997    93632 |    17079      817    131 | 11.722 % |
46.08/46.10	c |      1323 |   13977    34997    93632 |    18787     1323    163 | 11.722 % |
47.07/47.12	c |      2083 |   13977    34997    93632 |    20666     2083    143 | 11.722 % |
48.37/48.43	c |      3223 |   13977    34997    93632 |    22733     3223    161 | 11.722 % |
50.97/51.07	c |      4933 |   13977    34997    93632 |    25006     4933    192 | 11.722 % |
55.07/55.17	c |      7495 |   13977    34997    93632 |    27507     7495    192 | 11.722 % |
60.66/60.72	c |     11341 |   13977    34997    93632 |    30257    11341    169 | 11.722 % |
68.07/68.19	c |     17109 |   13977    34997    93632 |    33283    17109    164 | 11.722 % |
84.96/85.04	c |     25761 |   13977    34997    93632 |    36611    25761    183 | 11.723 % |
116.14/116.24	c |     38737 |   13977    34997    93632 |    40273    38737    197 | 11.722 % |
159.44/159.54	c |     58198 |   13977    34997    93632 |    44300    30069    229 | 11.722 % |
231.20/231.30	c |     87390 |   13977    34997    93632 |    48730    25602    271 | 11.722 % |
345.25/345.47	c |    131179 |   13977    34997    93632 |    53603    33167    278 | 11.722 % |
540.06/540.33	c |    196863 |   13977    34997    93632 |    58963    18758    304 | 11.722 % |
877.87/878.37	c |    295390 |   13977    34997    93632 |    64860    26734    285 | 11.722 % |
1388.83/1389.54	c |    443183 |   13977    34997    93632 |    71346    18220    274 | 11.722 % |

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-1875456-1245181651/watcher-1875456-1245181651 -o /tmp/evaluation-result-1875456-1245181651/solver-1875456-1245181651 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875456-1245181651.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5000
/proc/meminfo: memFree=1847280/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=3912 CPUtime=0
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 306 0 0 0 0 0 0 0 18 0 1 0 185762200 4005888 290 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 978 290 123 292 0 469 0

[startup+0.0307051 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5000
/proc/meminfo: memFree=1847280/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=5220 CPUtime=0.02
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 651 0 0 0 2 0 0 0 18 0 1 0 185762200 5345280 635 1992294400 134512640 135709839 4294956240 18446744073709551615 134540467 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 1305 635 165 292 0 796 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5220

[startup+0.101714 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5000
/proc/meminfo: memFree=1847280/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=6112 CPUtime=0.09
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 998 0 0 0 9 0 0 0 18 0 1 0 185762200 6258688 982 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 1528 982 296 292 0 1019 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6112

[startup+0.301742 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5000
/proc/meminfo: memFree=1847280/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=8892 CPUtime=0.3
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 2274 0 0 0 29 1 0 0 19 0 1 0 185762200 9105408 1715 1992294400 134512640 135709839 4294956240 18446744073709551615 135166705 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 2223 1715 133 292 0 1928 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 8892

[startup+0.7018 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5000
/proc/meminfo: memFree=1847280/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=8892 CPUtime=0.69
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 2279 0 0 0 68 1 0 0 23 0 1 0 185762200 9105408 1720 1992294400 134512640 135709839 4294956240 18446744073709551615 134599686 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 2223 1720 135 292 0 1928 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8892

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5001
/proc/meminfo: memFree=1840040/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=9812 CPUtime=1.49
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 2514 0 0 0 148 1 0 0 25 0 1 0 185762200 10047488 1955 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 2453 1955 136 292 0 2158 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9812

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5001
/proc/meminfo: memFree=1838824/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=10988 CPUtime=3.09
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 2775 0 0 0 307 2 0 0 25 0 1 0 185762200 11251712 2216 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 2747 2216 136 292 0 2452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10988

[startup+6.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5001
/proc/meminfo: memFree=1837288/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=13100 CPUtime=6.29
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 3325 0 0 0 625 4 0 0 25 0 1 0 185762200 13414400 2766 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 3275 2766 136 292 0 2980 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13100

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5001
/proc/meminfo: memFree=1831088/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=18912 CPUtime=12.69
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 4788 0 0 0 1262 7 0 0 25 0 1 0 185762200 19365888 4229 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 4728 4229 136 292 0 4433 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18912

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5001
/proc/meminfo: memFree=1820784/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=29236 CPUtime=25.48
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 7371 0 0 0 2537 11 0 0 25 0 1 0 185762200 29937664 6812 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 7309 6812 136 292 0 7014 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29236

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5001
/proc/meminfo: memFree=1803888/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=45648 CPUtime=51.07
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 11527 0 0 0 5088 19 0 0 25 0 1 0 185762200 46743552 10886 1992294400 134512640 135709839 4294956240 18446744073709551615 134574113 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 11412 10886 136 292 0 11117 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45648

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5001
/proc/meminfo: memFree=1794224/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=55456 CPUtime=102.25
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 13960 0 0 0 10194 31 0 0 25 0 1 0 185762200 56786944 13319 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 13864 13319 136 292 0 13569 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 55456

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5001
/proc/meminfo: memFree=1758640/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=91248 CPUtime=162.22
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 22899 0 0 0 16174 48 0 0 25 0 1 0 185762200 93437952 22258 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 22812 22258 136 292 0 22517 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 91248

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5003
/proc/meminfo: memFree=1718896/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=130600 CPUtime=222.2
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 32754 0 0 0 22153 67 0 0 25 0 1 0 185762200 133734400 32113 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 32650 32113 136 292 0 32355 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 130600

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5003
/proc/meminfo: memFree=1685168/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=164708 CPUtime=282.18
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 41263 0 0 0 28136 82 0 0 25 0 1 0 185762200 168660992 40622 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 41177 40622 136 292 0 40882 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 164708

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5003
/proc/meminfo: memFree=1642288/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=207300 CPUtime=342.15
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 51906 0 0 0 34114 101 0 0 25 0 1 0 185762200 212275200 51265 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 51825 51265 136 292 0 51530 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 207300

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5003
/proc/meminfo: memFree=1607024/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=243080 CPUtime=402.12
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 60839 0 0 0 40095 117 0 0 25 0 1 0 185762200 248913920 60198 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 60770 60198 136 292 0 60475 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 243080

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5003
/proc/meminfo: memFree=1566640/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=282860 CPUtime=462.09
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 70795 0 0 0 46075 134 0 0 25 0 1 0 185762200 289648640 70154 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 70715 70154 136 292 0 70420 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 282860

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5003
/proc/meminfo: memFree=1532528/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=317420 CPUtime=522.07
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 79401 0 0 0 52057 150 0 0 25 0 1 0 185762200 325038080 78760 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 79355 78760 136 292 0 79060 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 317420

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5003
/proc/meminfo: memFree=1496880/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=352592 CPUtime=582.04
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 88191 0 0 0 58038 166 0 0 25 0 1 0 185762200 361054208 87550 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 88148 87550 136 292 0 87853 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 352592

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5003
/proc/meminfo: memFree=1473776/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=375360 CPUtime=642
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 93880 0 0 0 64024 176 0 0 25 0 1 0 185762200 384368640 93239 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 93840 93239 136 292 0 93545 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 375360

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1351088/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=498176 CPUtime=881.87
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 124520 0 0 0 87959 228 0 0 25 0 1 0 185762200 510132224 123879 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 124544 123879 136 292 0 124249 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 498176

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1320176/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=529108 CPUtime=941.84
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 132261 0 0 0 93944 240 0 0 25 0 1 0 185762200 541806592 131620 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 132277 131620 136 292 0 131982 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 529108

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1289008/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=560136 CPUtime=1001.81
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 140006 0 0 0 99930 251 0 0 25 0 1 0 185762200 573579264 139365 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 140034 139365 136 292 0 139739 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 560136

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1256112/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=593612 CPUtime=1061.79
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 148381 0 0 0 105913 266 0 0 25 0 1 0 185762200 607858688 147740 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 148403 147740 136 292 0 148108 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 593612

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1218992/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=630076 CPUtime=1121.76
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 157489 0 0 0 111896 280 0 0 25 0 1 0 185762200 645197824 156848 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 157519 156848 136 292 0 157224 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 630076

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1190448/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=658976 CPUtime=1181.73
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 164706 0 0 0 117882 291 0 0 25 0 1 0 185762200 674791424 164065 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 164744 164065 136 292 0 164449 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 658976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1154992/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=693828 CPUtime=1241.7
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 173418 0 0 0 123864 306 0 0 25 0 1 0 185762200 710479872 172777 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 173457 172777 136 292 0 173162 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 693828

[startup+1302.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5009
/proc/meminfo: memFree=1125552/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=723052 CPUtime=1301.68
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 180711 0 0 0 129849 319 0 0 25 0 1 0 185762200 740405248 180070 1992294400 134512640 135709839 4294956240 18446744073709551615 134577780 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 180763 180070 136 292 0 180468 0
Current children cumulated CPU time (s) 1301.68
Current children cumulated vsize (KiB) 723052

[startup+1362.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5009
/proc/meminfo: memFree=1101744/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=747140 CPUtime=1361.64
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 186729 0 0 0 135835 329 0 0 25 0 1 0 185762200 765071360 186088 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 186785 186088 136 292 0 186490 0
Current children cumulated CPU time (s) 1361.64
Current children cumulated vsize (KiB) 747140

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1066800/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=782056 CPUtime=1421.62
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 195426 0 0 0 141817 345 0 0 25 0 1 0 185762200 800825344 194785 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 195514 194785 136 292 0 195219 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 782056

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1033648/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=815324 CPUtime=1481.59
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 203740 0 0 0 147799 360 0 0 25 0 1 0 185762200 834891776 203099 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 203831 203099 136 292 0 203536 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 815324

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=1007664/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=840948 CPUtime=1541.56
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 210157 0 0 0 153784 372 0 0 25 0 1 0 185762200 861130752 209516 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 210237 209516 136 292 0 209942 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 840948

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=983408/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=865424 CPUtime=1601.54
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 216262 0 0 0 159771 383 0 0 25 0 1 0 185762200 886194176 215621 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 216356 215621 136 292 0 216061 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 865424

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=952240/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=896448 CPUtime=1661.51
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 224017 0 0 0 165756 395 0 0 25 0 1 0 185762200 917962752 223376 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 224112 223376 136 292 0 223817 0
Current children cumulated CPU time (s) 1661.51
Current children cumulated vsize (KiB) 896448

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=915056/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=934000 CPUtime=1721.49
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 233393 0 0 0 171738 411 0 0 25 0 1 0 185762200 956416000 232752 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 233500 232752 136 292 0 233205 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 934000

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=886448/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=962008 CPUtime=1781.46
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 240367 0 0 0 177722 424 0 0 25 0 1 0 185762200 985096192 239726 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 240502 239726 136 292 0 240207 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 962008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=878704/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=969540 CPUtime=1800.05
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4194304 242280 0 0 0 179577 428 0 0 25 0 1 0 185762200 992808960 241639 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 242385 241639 136 292 0 242090 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 969540

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

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

[startup+1801.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5009
/proc/meminfo: memFree=878704/2055920 swapFree=4182572/4192956
[pid=5000] ppid=4998 vsize=0 CPUtime=1800.15
/proc/5000/stat : 5000 (wbo) R 4998 5000 4758 0 -1 4195332 242281 0 0 0 179577 438 0 0 25 0 1 0 185762200 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/5000/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.05
CPU time (s): 1800.19
CPU user time (s): 1795.77
CPU system time (s): 4.42433
CPU usage (%): 99.9526
Max. virtual memory (cumulated for all children) (KiB): 969540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.77
system time used= 4.42433
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242281
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= 3
involuntary context switches= 6799

runsolver used 1.78473 second user time and 4.78027 second system time

The end

Launcher Data 

Begin job on node39 at 2009-06-16 21:47:31
IDJOB=1875456
IDBENCH=24978
IDSOLVER=698
FILE ID=node39/1875456-1245181651
PBS_JOBID= 9363902
Free space on /tmp= 66128 MiB

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

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

MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85
RANDOM SEED=729039366

node39.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.263
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.263
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:       1847760 kB
Buffers:         50204 kB
Cached:          90080 kB
SwapCached:       4216 kB
Active:          44168 kB
Inactive:       104044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847760 kB
SwapTotal:     4192956 kB
SwapFree:      4182572 kB
Dirty:            3232 kB
Writeback:           0 kB
Mapped:          13660 kB
Slab:            45956 kB
Committed_AS:   138736 kB
PageTables:       1384 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-1875456-1245181651.opb

Free space on /tmp at the end= 66128 MiB
End job on node39 at 2009-06-16 22:17:34