Trace number 1875406

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_3.opb
MD5SUM138d1c5c8dee06528dd1cfb072975c49
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1267.4
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1236
Sum of products size (including duplicates)2472
Number of different products618
Sum of products size1236

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-1875406-1245208027.opb.
0.00/0.00	c Instance file HOME/instance-1875406-1245208027.opb
0.00/0.00	c File size is 50556 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      718                                                 |
0.00/0.00	c |  Number Clauses:        718                                                 |
0.00/0.00	c |  Number Cardinality:    102                                                 |
0.00/0.00	c |  Number PB Constraints: 618                                                 |
0.00/0.00	c core #1
0.00/0.00	c Core size: 101	Core Weight: 1	Total Weight: -49
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     768     1439     5394 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #2
0.00/0.01	c Core size: 103	Core Weight: 1	Total Weight: -48
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     817     1440     5492 |     5000        0    nan |  0.000 % |
0.01/0.02	c |       100 |     817     1440     5492 |     5500      100     33 |  0.128 % |
0.01/0.03	c |       253 |     795     1440     5492 |     6050      211     32 |  4.651 % |
0.01/0.05	c |       478 |     739     1440     5492 |     6655      340     34 |  9.555 % |
0.01/0.08	c |       815 |     647     1440     5492 |     7320      422     39 | 20.809 % |
0.10/0.11	c ===============================================================================
0.10/0.12	c core #3
0.10/0.12	c Core size: 164	Core Weight: 1	Total Weight: -47
0.10/0.12	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.10/0.12	c Learning 23 hard constraints
0.10/0.12	c ============================[ Search Statistics ]==============================
0.10/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.10/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.10/0.12	c ===============================================================================
0.10/0.12	c |         0 |     867     1464     6174 |     5000        0    nan |  0.000 % |
0.10/0.13	c |       102 |     867     1464     6174 |     5500      102     49 |  0.002 % |
0.10/0.15	c |       252 |     867     1464     6174 |     6050      252     34 |  0.002 % |
0.10/0.17	c |       482 |     867     1464     6174 |     6655      482     31 |  0.002 % |
0.19/0.20	c |       819 |     867     1464     6174 |     7320      819     30 |  0.003 % |
0.19/0.26	c |      1325 |     867     1464     6174 |     8052     1325     29 |  0.006 % |
0.29/0.34	c |      2084 |     867     1464     6174 |     8857     2084     28 |  0.007 % |
0.39/0.47	c |      3223 |     867     1464     6174 |     9743     3223     27 |  0.013 % |
0.59/0.69	c |      4931 |     867     1464     6174 |    10717     4931     27 |  0.025 % |
1.00/1.03	c |      7493 |     797     1464     6174 |    11789     5153     34 | 14.218 % |
1.10/1.11	c ===============================================================================
1.10/1.17	c core #4
1.10/1.17	c Core size: 530	Core Weight: 1	Total Weight: -46
1.10/1.17	c Elapsed CPU time: 1.14283 s	Remaining CPU time: 1798.86 s
1.10/1.18	c Learning 532 hard constraints
1.10/1.18	c ============================[ Search Statistics ]==============================
1.10/1.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.18	c ===============================================================================
1.10/1.18	c |         0 |     917     1997    23544 |     5000        0    nan |  0.000 % |
1.10/1.19	c |       100 |     917     1997    23544 |     5500      100     70 |  0.002 % |
1.19/1.21	c |       251 |     917     1997    23544 |     6050      251     55 |  0.002 % |
1.19/1.24	c |       476 |     917     1997    23544 |     6655      476     51 |  0.000 % |
1.19/1.28	c |       814 |     917     1997    23544 |     7320      814     40 |  0.001 % |
1.29/1.33	c |      1322 |     917     1997    23544 |     8052     1322     44 |  0.000 % |
1.39/1.43	c |      2082 |     917     1997    23544 |     8857     2082     44 |  0.001 % |
1.59/1.60	c |      3229 |     917     1997    23544 |     9743     3229     44 |  0.001 % |
1.79/1.87	c |      4937 |     917     1997    23544 |    10717     4937     43 |  0.002 % |
2.29/2.35	c |      7499 |     917     1997    23544 |    11789     7499     43 |  0.002 % |
3.09/3.12	c |     11346 |     917     1997    23544 |    12968    11346     43 |  0.001 % |
4.30/4.36	c |     17113 |     917     1997    23544 |    14265    10432     40 |  0.004 % |
6.29/6.34	c |     25762 |     917     1997    23544 |    15692    11801     40 |  0.010 % |
9.49/9.52	c |     38738 |     917     1997    23544 |    17261     8609     40 |  0.010 % |
14.38/14.40	c |     58200 |     917     1997    23544 |    18987    10429     42 |  0.002 % |
21.98/22.01	c |     87392 |     905     1997    23544 |    20886    13004     46 |  1.309 % |
34.87/34.96	c |    131183 |     885     1997    23544 |    22974    10703     40 |  8.944 % |
43.88/43.96	c ===============================================================================
46.27/46.31	c core #5
46.27/46.31	c Core size: 965	Core Weight: 1	Total Weight: -45
46.27/46.31	c Elapsed CPU time: 45.843 s	Remaining CPU time: 1754.16 s
46.47/46.51	c Learning 4447 hard constraints
46.47/46.51	c ============================[ Search Statistics ]==============================
46.47/46.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.47/46.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.47/46.51	c ===============================================================================
46.47/46.51	c |         0 |     967     6445   225060 |     5000        0    nan |  0.000 % |
46.47/46.55	c |       100 |     967     6445   225060 |     5500      100     87 |  0.001 % |
46.47/46.57	c |       253 |     967     6445   225060 |     6050      253     70 |  0.001 % |
46.47/46.58	c |       478 |     967     6445   225060 |     6655      478     44 |  0.002 % |
46.56/46.64	c |       815 |     967     6445   225060 |     7320      815     46 |  0.000 % |
46.67/46.70	c |      1322 |     967     6445   225060 |     8052     1322     45 |  0.001 % |
46.77/46.83	c |      2081 |     967     6445   225060 |     8857     2081     55 |  0.001 % |
46.97/47.04	c |      3220 |     967     6445   225060 |     9743     3220     56 |  0.001 % |
47.37/47.43	c |      4928 |     967     6445   225060 |    10717     4928     62 |  0.002 % |
47.97/48.09	c |      7491 |     967     6445   225060 |    11789     7491     65 |  0.000 % |
49.06/49.15	c |     11335 |     967     6445   225060 |    12968    11335     63 |  0.001 % |
50.97/51.07	c |     17101 |     967     6445   225060 |    14265    10456     58 |  0.001 % |
53.77/53.88	c |     25750 |     967     6445   225060 |    15692    11892     60 |  0.002 % |
58.56/58.63	c |     38725 |     967     6445   225060 |    17261     9060     46 |  0.001 % |
64.56/64.67	c |     58186 |     967     6445   225060 |    18987    10981     45 |  0.002 % |
75.25/75.35	c |     87379 |     967     6445   225060 |    20886    11068     46 |  0.000 % |
91.45/91.57	c |    131168 |     967     6445   225060 |    22974    12196     58 |  0.002 % |
119.84/119.91	c |    196852 |     967     6445   225060 |    25272    19050     52 |  0.002 % |
160.72/160.80	c |    295378 |     967     6445   225060 |    27799    13173     44 |  0.001 % |
224.79/224.96	c |    443169 |     967     6445   225060 |    30579    22549     52 |  0.000 % |
333.54/333.79	c |    664852 |     967     6445   225060 |    33637    15730     56 |  0.002 % |
506.66/506.97	c |    997380 |     945     6445   225060 |    37001    19532     53 |  2.277 % |
800.63/801.02	c |   1496169 |     944     6445   225060 |    40701    15717     52 |  2.388 % |
1026.72/1027.25	c ===============================================================================
1069.01/1069.59	c core #6
1069.01/1069.59	c Core size: 2089	Core Weight: 1	Total Weight: -44
1069.01/1069.59	c Elapsed CPU time: 1063.33 s	Remaining CPU time: 736.675 s
1071.00/1071.53	c Learning 273 hard constraints
1071.00/1071.53	c ============================[ Search Statistics ]==============================
1071.00/1071.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1071.00/1071.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1071.00/1071.53	c ===============================================================================
1071.00/1071.53	c |         0 |    1017     6719   226563 |     5000        0    nan |  0.000 % |
1071.21/1071.76	c |       100 |    1017     6719   226563 |     5500      100     99 |  0.001 % |
1071.21/1071.78	c |       250 |    1017     6719   226563 |     6050      250     50 |  0.001 % |
1071.40/1071.97	c |       475 |    1017     6719   226563 |     6655      475     64 |  0.000 % |
1071.50/1072.01	c |       814 |    1017     6719   226563 |     7320      814     56 |  0.001 % |
1071.50/1072.05	c |      1322 |    1017     6719   226563 |     8052     1322     43 |  0.001 % |
1071.70/1072.25	c |      2081 |    1017     6719   226563 |     8857     2081     49 |  0.001 % |
1072.01/1072.52	c |      3220 |    1017     6719   226563 |     9743     3220     49 |  0.001 % |
1072.31/1072.86	c |      4928 |    1017     6719   226563 |    10717     4928     46 |  0.001 % |
1072.80/1073.38	c |      7490 |    1017     6719   226563 |    11789     7490     45 |  0.000 % |
1074.01/1074.52	c |     11335 |    1017     6719   226563 |    12968    11335     44 |  0.000 % |
1075.50/1076.09	c |     17102 |    1017     6719   226563 |    14265    10399     44 |  0.001 % |
1078.50/1079.05	c |     25751 |    1017     6719   226563 |    15692    11761     64 |  0.001 % |
1083.80/1084.39	c |     38725 |    1017     6719   226563 |    17261     8537     59 |  0.000 % |
1093.40/1093.95	c |     58186 |    1017     6719   226563 |    18987    10500     67 |  0.000 % |
1106.50/1107.00	c |     87378 |    1017     6719   226563 |    20886    10507     55 |  0.000 % |
1129.98/1130.51	c |    131167 |    1017     6719   226563 |    22974    11255     59 |  0.001 % |
1169.64/1170.27	c |    196852 |    1017     6719   226563 |    25272    18618     69 |  0.000 % |
1235.61/1236.27	c |    295378 |    1017     6719   226563 |    27799    13545     63 |  0.001 % |
1315.78/1316.40	c |    443170 |    1017     6719   226563 |    30579    15146     84 |  0.002 % |
1450.92/1451.67	c |    664856 |    1017     6719   226563 |    33637    18236     51 |  0.002 % |
1678.01/1678.85	c |    997381 |    1017     6719   226563 |    37001    21649     53 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875406-1245208027/watcher-1875406-1245208027 -o /tmp/evaluation-result-1875406-1245208027/solver-1875406-1245208027 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875406-1245208027.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 0.98 0.99 3/64 12478
/proc/meminfo: memFree=1858688/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=2576 CPUtime=0
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 220 0 0 0 0 0 0 0 18 0 1 0 188403558 2637824 204 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 644 204 130 292 0 336 0

[startup+0.016626 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12478
/proc/meminfo: memFree=1858688/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=3060 CPUtime=0.01
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 350 0 0 0 1 0 0 0 18 0 1 0 188403558 3133440 321 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 765 321 135 292 0 470 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3060

[startup+0.101644 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12478
/proc/meminfo: memFree=1858688/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=3316 CPUtime=0.1
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 408 0 0 0 9 1 0 0 18 0 1 0 188403558 3395584 379 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 829 380 136 292 0 534 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3316

[startup+0.301677 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12478
/proc/meminfo: memFree=1858688/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=3840 CPUtime=0.29
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 561 0 0 0 28 1 0 0 19 0 1 0 188403558 3932160 532 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 960 532 136 292 0 665 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3840

[startup+0.701752 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12478
/proc/meminfo: memFree=1858688/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=5272 CPUtime=0.69
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 918 0 0 0 67 2 0 0 23 0 1 0 188403558 5398528 889 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 1318 889 136 292 0 1023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5272

[startup+1.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1854968/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=6860 CPUtime=1.5
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 1305 0 0 0 146 4 0 0 25 0 1 0 188403558 7024640 1276 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 1715 1276 136 292 0 1420 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 6860

[startup+3.10119 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1853752/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=9500 CPUtime=3.09
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 1975 0 0 0 303 6 0 0 25 0 1 0 188403558 9728000 1946 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 2375 1946 136 292 0 2080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9500

[startup+6.30179 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1847032/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=15152 CPUtime=6.29
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 3371 0 0 0 620 9 0 0 25 0 1 0 188403558 15515648 3342 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 3788 3342 136 292 0 3493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15152

[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1837368/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=24296 CPUtime=12.68
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 5672 0 0 0 1251 17 0 0 25 0 1 0 188403558 24879104 5643 1992294400 134512640 135709839 4294956240 18446744073709551615 134518147 0 0 4096 3 0 0 0 17 1 0 0
/proc/12478/statm: 6074 5643 136 292 0 5779 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24296

[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1819832/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=41424 CPUtime=25.48
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 9924 0 0 0 2519 29 0 0 25 0 1 0 188403558 42418176 9895 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 10356 9895 136 292 0 10061 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41424

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1790968/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=69816 CPUtime=51.07
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 17027 0 0 0 5058 49 0 0 25 0 1 0 188403558 71491584 16998 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 17454 16998 136 292 0 17159 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69816

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1754808/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=105876 CPUtime=102.25
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 26045 0 0 0 10141 84 0 0 25 0 1 0 188403558 108417024 26016 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 26469 26016 136 292 0 26174 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 105876

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1697144/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=164312 CPUtime=162.22
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 40630 0 0 0 16099 123 0 0 25 0 1 0 188403558 168255488 40601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 41078 40601 136 292 0 40783 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 164312

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1640888/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=219740 CPUtime=222.19
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 54473 0 0 0 22058 161 0 0 25 0 1 0 188403558 225013760 54444 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 54935 54444 136 292 0 54640 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 219740

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1590264/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=270884 CPUtime=282.16
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 67260 0 0 0 28019 197 0 0 25 0 1 0 188403558 277385216 67231 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 67721 67231 136 292 0 67426 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 270884

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1540920/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=319736 CPUtime=342.14
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 79430 0 0 0 33981 233 0 0 25 0 1 0 188403558 327409664 79401 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 79934 79401 136 292 0 79639 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 319736

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1495992/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=365296 CPUtime=402.11
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 90824 0 0 0 39947 264 0 0 25 0 1 0 188403558 374063104 90795 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 91324 90795 136 292 0 91029 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 365296

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1448312/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=412432 CPUtime=462.08
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 102612 0 0 0 45913 295 0 0 25 0 1 0 188403558 422330368 102583 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 103108 102583 136 292 0 102813 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 412432

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1405816/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=455064 CPUtime=522.05
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 113236 0 0 0 51880 325 0 0 25 0 1 0 188403558 465985536 113207 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 113766 113207 136 292 0 113471 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 455064

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1366392/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=494088 CPUtime=582.03
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 122994 0 0 0 57850 353 0 0 25 0 1 0 188403558 505946112 122965 1992294400 134512640 135709839 4294956240 18446744073709551615 134573742 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 123522 122965 136 292 0 123227 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 494088

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1325112/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=534872 CPUtime=642.01
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 133203 0 0 0 63813 388 0 0 25 0 1 0 188403558 547708928 133174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 133718 133174 136 292 0 133423 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 534872

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1170296/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=689788 CPUtime=881.88
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 171877 0 0 0 87687 501 0 0 25 0 1 0 188403558 706342912 171848 1992294400 134512640 135709839 4294956240 18446744073709551615 134574200 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 172447 171848 136 292 0 172152 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 689788

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1134136/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=726104 CPUtime=941.85
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 180957 0 0 0 93656 529 0 0 25 0 1 0 188403558 743530496 180928 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 181526 180928 136 292 0 181231 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 726104

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1095288/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=764696 CPUtime=1001.83
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 190583 0 0 0 99623 560 0 0 25 0 1 0 188403558 783048704 190554 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 191174 190554 136 292 0 190879 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 764696

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1031352/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=828296 CPUtime=1061.81
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 206485 0 0 0 105603 578 0 0 25 0 1 0 188403558 848175104 206456 1992294400 134512640 135709839 4294956240 18446744073709551615 134521266 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 207074 206456 136 292 0 206779 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 828296

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1030200/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=829240 CPUtime=1121.78
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 206782 0 0 0 111574 604 0 0 25 0 1 0 188403558 849141760 206712 1992294400 134512640 135709839 4294956240 18446744073709551615 134573739 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 207310 206712 136 292 0 207015 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 829240

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1030136/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=829240 CPUtime=1181.74
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 206787 0 0 0 117546 628 0 0 25 0 1 0 188403558 849141760 206717 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 207310 206717 136 292 0 207015 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 829240

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1029496/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=829240 CPUtime=1241.71
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 206935 0 0 0 123520 651 0 0 25 0 1 0 188403558 849141760 206865 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 207310 206865 136 292 0 207015 0
Current children cumulated CPU time (s) 1241.71
Current children cumulated vsize (KiB) 829240

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1029496/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=829240 CPUtime=1301.69
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 206935 0 0 0 129492 677 0 0 25 0 1 0 188403558 849141760 206865 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 207310 206865 136 292 0 207015 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 829240

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=1017400/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=841608 CPUtime=1361.66
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 210012 0 0 0 135468 698 0 0 25 0 1 0 188403558 861806592 209942 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 210402 209942 136 292 0 210107 0
Current children cumulated CPU time (s) 1361.66
Current children cumulated vsize (KiB) 841608

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=994808/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=864108 CPUtime=1421.63
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 215610 0 0 0 141441 722 0 0 25 0 1 0 188403558 884846592 215540 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 216027 215540 136 292 0 215732 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 864108

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=972152/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=886992 CPUtime=1481.6
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 221326 0 0 0 147413 747 0 0 25 0 1 0 188403558 908279808 221256 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 221748 221256 136 292 0 221453 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 886992

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=948024/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=910764 CPUtime=1541.58
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 227269 0 0 0 153384 774 0 0 25 0 1 0 188403558 932622336 227199 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 227691 227199 136 292 0 227396 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 910764

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=924664/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=934596 CPUtime=1601.55
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 233210 0 0 0 159356 799 0 0 25 0 1 0 188403558 957026304 233140 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 233649 233140 136 292 0 233354 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 934596

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=901368/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=957508 CPUtime=1661.53
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 238936 0 0 0 165332 821 0 0 25 0 1 0 188403558 980488192 238866 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 239377 238866 136 292 0 239082 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 957508

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=879608/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=979472 CPUtime=1721.49
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 244420 0 0 0 171305 844 0 0 25 0 1 0 188403558 1002979328 244350 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 244868 244350 136 292 0 244573 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 979472

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=855544/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=1003272 CPUtime=1781.45
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 250345 0 0 0 177277 868 0 0 25 0 1 0 188403558 1027350528 250275 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 250818 250275 136 292 0 250523 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 1003272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=849720/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=1008980 CPUtime=1800.04
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4194304 251780 0 0 0 179130 874 0 0 25 0 1 0 188403558 1033195520 251710 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 252245 251710 136 292 0 251950 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1008980

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: 0.99 0.98 0.99 2/65 12479
/proc/meminfo: memFree=849720/2055920 swapFree=4188244/4192956
[pid=12478] ppid=12476 vsize=0 CPUtime=1800.14
/proc/12478/stat : 12478 (wbo) R 12476 12478 12398 0 -1 4195332 251780 0 0 0 179130 884 0 0 25 0 1 0 188403558 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/12478/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.05
CPU time (s): 1800.2
CPU user time (s): 1791.31
CPU system time (s): 8.89465
CPU usage (%): 99.9529
Max. virtual memory (cumulated for all children) (KiB): 1008980

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

runsolver used 1.9487 second user time and 4.6153 second system time

The end

Launcher Data 

Begin job on node7 at 2009-06-17 05:07:07
IDJOB=1875406
IDBENCH=48246
IDSOLVER=698
FILE ID=node7/1875406-1245208027
PBS_JOBID= 9368393
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= 138d1c5c8dee06528dd1cfb072975c49
RANDOM SEED=1497990186

node7.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.274
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.274
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:       1859232 kB
Buffers:         46852 kB
Cached:          83324 kB
SwapCached:       2424 kB
Active:          57516 kB
Inactive:        84440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859232 kB
SwapTotal:     4192956 kB
SwapFree:      4188244 kB
Dirty:            2400 kB
Writeback:           0 kB
Mapped:          18736 kB
Slab:            40668 kB
Committed_AS:   175496 kB
PageTables:       1444 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-1875406-1245208027.opb

Free space on /tmp at the end= 66268 MiB
End job on node7 at 2009-06-17 05:37:10