Trace number 1875421

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.16 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_5.opb
MD5SUM0619afe86d0e2ffb4ad28e9f2f441c24
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 benchmark1692.31
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)1212
Sum of products size (including duplicates)2424
Number of different products606
Sum of products size1212

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-1875421-1245209853.opb.
0.00/0.00	c Instance file HOME/instance-1875421-1245209853.opb
0.00/0.00	c File size is 49626 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:      706                                                 |
0.00/0.00	c |  Number Clauses:        706                                                 |
0.00/0.00	c |  Number Cardinality:    102                                                 |
0.00/0.00	c |  Number PB Constraints: 606                                                 |
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.007998 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 |     756     1415     5298 |     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.012998 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 |     805     1416     5396 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       101 |     805     1416     5396 |     5500      101     33 |  1.863 % |
0.03/0.04	c |       251 |     764     1416     5396 |     6050      198     34 |  5.099 % |
0.03/0.06	c |       476 |     735     1416     5396 |     6655      368     34 | 11.934 % |
0.03/0.09	c |       813 |     645     1416     5396 |     7320      553     35 | 28.821 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #3
0.09/0.12	c Core size: 152	Core Weight: 1	Total Weight: -47
0.09/0.12	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c Learning 14 hard constraints
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |     855     1431     5819 |     5000        0    nan |  0.000 % |
0.09/0.13	c |       100 |     855     1431     5819 |     5500      100     48 |  0.002 % |
0.09/0.15	c |       250 |     855     1431     5819 |     6050      250     39 |  0.002 % |
0.09/0.17	c |       476 |     855     1431     5819 |     6655      476     38 |  0.002 % |
0.19/0.20	c |       813 |     855     1431     5819 |     7320      813     34 |  0.003 % |
0.19/0.26	c |      1319 |     855     1431     5819 |     8052     1319     35 |  0.004 % |
0.29/0.35	c |      2078 |     855     1431     5819 |     8857     2078     34 |  0.009 % |
0.39/0.49	c |      3218 |     855     1431     5819 |     9743     3218     33 |  0.020 % |
0.69/0.75	c |      4927 |     855     1431     5819 |    10717     4927     31 |  0.019 % |
1.09/1.17	c |      7491 |     838     1431     5819 |    11789     6133     33 |  6.557 % |
1.39/1.42	c ===============================================================================
1.49/1.50	c core #4
1.49/1.50	c Core size: 510	Core Weight: 1	Total Weight: -46
1.49/1.50	c Elapsed CPU time: 1.47378 s	Remaining CPU time: 1798.53 s
1.49/1.51	c Learning 76 hard constraints
1.49/1.51	c ============================[ Search Statistics ]==============================
1.49/1.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.51	c ===============================================================================
1.49/1.51	c |         0 |     905     1508     6193 |     5000        0    nan |  0.000 % |
1.49/1.53	c |       102 |     905     1508     6193 |     5500      102     66 |  0.002 % |
1.49/1.54	c |       254 |     905     1508     6193 |     6050      254     36 |  0.001 % |
1.49/1.57	c |       479 |     905     1508     6193 |     6655      479     36 |  0.001 % |
1.59/1.61	c |       823 |     905     1508     6193 |     7320      823     38 |  0.001 % |
1.59/1.67	c |      1329 |     905     1508     6193 |     8052     1329     38 |  0.002 % |
1.79/1.80	c |      2089 |     905     1508     6193 |     8857     2089     41 |  0.002 % |
1.89/1.98	c |      3229 |     905     1508     6193 |     9743     3229     42 |  0.001 % |
2.20/2.28	c |      4942 |     905     1508     6193 |    10717     4942     43 |  0.001 % |
2.79/2.83	c |      7505 |     905     1508     6193 |    11789     7505     44 |  0.001 % |
3.69/3.71	c |     11351 |     905     1508     6193 |    12968    11351     44 |  0.000 % |
5.09/5.11	c |     17117 |     905     1508     6193 |    14265    10532     40 |  0.002 % |
7.28/7.37	c |     25767 |     905     1508     6193 |    15692    11771     41 |  0.002 % |
10.79/10.86	c |     38742 |     905     1508     6193 |    17261     8681     37 |  0.001 % |
16.89/16.94	c |     58205 |     905     1508     6193 |    18987    10578     43 |  0.003 % |
25.88/25.95	c |     87397 |     905     1508     6193 |    20886    10667     41 |  0.003 % |
40.47/40.58	c |    131187 |     891     1508     6193 |    22974    14104     44 |  1.565 % |
64.07/64.10	c |    196871 |     891     1508     6193 |    25272    21195     47 |  1.564 % |
99.66/99.77	c |    295397 |     854     1508     6193 |    27799    17640     46 |  5.637 % |
136.35/136.42	c ===============================================================================
142.15/142.25	c core #5
142.15/142.25	c Core size: 871	Core Weight: 1	Total Weight: -45
142.15/142.25	c Elapsed CPU time: 141.108 s	Remaining CPU time: 1658.89 s
142.55/142.63	c Learning 162 hard constraints
142.55/142.63	c ============================[ Search Statistics ]==============================
142.55/142.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
142.55/142.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
142.55/142.63	c ===============================================================================
142.55/142.63	c |         0 |     955     1671     7332 |     5000        0    nan |  0.000 % |
142.65/142.72	c |       100 |     955     1671     7332 |     5500      100     83 |  0.002 % |
142.65/142.73	c |       251 |     955     1671     7332 |     6050      251     41 |  0.001 % |
142.65/142.76	c |       476 |     955     1671     7332 |     6655      476     53 |  0.000 % |
142.75/142.81	c |       814 |     955     1671     7332 |     7320      814     53 |  0.000 % |
142.75/142.88	c |      1320 |     955     1671     7332 |     8052     1320     49 |  0.000 % |
142.85/143.00	c |      2079 |     955     1671     7332 |     8857     2079     47 |  0.000 % |
143.04/143.20	c |      3218 |     955     1671     7332 |     9743     3218     47 |  0.000 % |
143.45/143.50	c |      4927 |     955     1671     7332 |    10717     4927     45 |  0.000 % |
143.95/144.00	c |      7489 |     955     1671     7332 |    11789     7489     42 |  0.000 % |
144.85/144.96	c |     11334 |     955     1671     7332 |    12968    11334     42 |  0.000 % |
146.55/146.64	c |     17101 |     955     1671     7332 |    14265    10415     41 |  0.001 % |
149.24/149.35	c |     25750 |     955     1671     7332 |    15692    11662     40 |  0.000 % |
153.85/153.90	c |     38724 |     955     1671     7332 |    17261     8731     38 |  0.000 % |
160.45/160.54	c |     58185 |     955     1671     7332 |    18987    10403     48 |  0.001 % |
171.05/171.18	c |     87377 |     955     1671     7332 |    20886    10651     42 |  0.000 % |
187.74/187.85	c |    131169 |     955     1671     7332 |    22974    11585     58 |  0.000 % |
215.03/215.18	c |    196854 |     955     1671     7332 |    25272    18557     54 |  0.002 % |
261.02/261.15	c |    295382 |     955     1671     7332 |    27799    13629     46 |  0.000 % |
325.90/326.01	c |    443172 |     955     1671     7332 |    30579    21503     56 |  0.001 % |
425.77/425.94	c |    664855 |     954     1671     7332 |    33637    30715     49 |  0.106 % |
593.53/593.80	c |    997380 |     937     1671     7332 |    37001    23434     48 |  1.885 % |
865.86/866.13	c |   1496169 |     761     1671     7332 |    40701    16538     34 | 20.316 % |
898.54/898.82	c ===============================================================================
932.23/932.57	c core #6
932.23/932.57	c Core size: 1146	Core Weight: 1	Total Weight: -44
932.23/932.57	c Elapsed CPU time: 926.492 s	Remaining CPU time: 873.508 s
933.94/934.27	c Learning 10406 hard constraints
933.94/934.27	c ============================[ Search Statistics ]==============================
933.94/934.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
933.94/934.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
933.94/934.27	c ===============================================================================
933.94/934.27	c |         0 |    1005    12078   505423 |     5000        0    nan |  0.000 % |
934.24/934.53	c |       107 |    1005    12078   505423 |     5500      107    111 |  0.002 % |
934.34/934.62	c |       257 |    1005    12078   505423 |     6050      257     73 |  0.001 % |
934.34/934.64	c |       482 |    1005    12078   505423 |     6655      482     48 |  0.001 % |
934.44/934.72	c |       822 |    1005    12078   505423 |     7320      822     55 |  0.000 % |
934.54/934.84	c |      1329 |    1005    12078   505423 |     8052     1329     48 |  0.000 % |
934.64/934.97	c |      2088 |    1005    12078   505423 |     8857     2088     44 |  0.000 % |
934.84/935.17	c |      3229 |    1005    12078   505423 |     9743     3229     44 |  0.000 % |
935.23/935.50	c |      4939 |    1005    12078   505423 |    10717     4939     45 |  0.000 % |
935.83/936.11	c |      7504 |    1005    12078   505423 |    11789     7504     47 |  0.000 % |
937.03/937.35	c |     11350 |    1005    12078   505423 |    12968    11350     49 |  0.000 % |
938.83/939.17	c |     17116 |    1005    12078   505423 |    14265    10468     55 |  0.000 % |
942.13/942.49	c |     25765 |    1005    12078   505423 |    15692    11799     57 |  0.000 % |
947.43/947.71	c |     38741 |    1005    12078   505423 |    17261     8488     58 |  0.001 % |
956.93/957.27	c |     58204 |    1005    12078   505423 |    18987    10195     58 |  0.000 % |
970.22/970.50	c |     87397 |    1005    12078   505423 |    20886    10176     45 |  0.001 % |
993.32/993.69	c |    131189 |    1005    12078   505423 |    22974    11291     50 |  0.000 % |
1036.51/1036.80	c |    196873 |    1005    12078   505423 |    25272    17799     58 |  0.002 % |
1103.29/1103.63	c |    295399 |    1005    12078   505423 |    27799    24077     70 |  0.002 % |
1206.76/1207.15	c |    443189 |    1005    12078   505423 |    30579    23252     58 |  0.000 % |
1347.12/1347.55	c |    664872 |    1005    12078   505423 |    33637    27470     62 |  0.000 % |
1582.96/1583.42	c |    997398 |    1005    12078   505423 |    37001    31406     51 |  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-1875421-1245209853/watcher-1875421-1245209853 -o /tmp/evaluation-result-1875421-1245209853/solver-1875421-1245209853 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875421-1245209853.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 12226
/proc/meminfo: memFree=1633248/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=2588 CPUtime=0
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 177474642 2650112 199 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 647 199 129 292 0 339 0

[startup+0.0355179 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 12226
/proc/meminfo: memFree=1633248/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=3064 CPUtime=0.03
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 351 0 0 0 3 0 0 0 18 0 1 0 177474642 3137536 322 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 766 322 136 292 0 471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3064

[startup+0.101523 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 12226
/proc/meminfo: memFree=1633248/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=3192 CPUtime=0.09
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 399 0 0 0 9 0 0 0 18 0 1 0 177474642 3268608 370 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 798 371 136 292 0 503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3192

[startup+0.301539 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 12226
/proc/meminfo: memFree=1633248/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=3856 CPUtime=0.29
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 544 0 0 0 29 0 0 0 19 0 1 0 177474642 3948544 515 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 964 515 136 292 0 669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3856

[startup+0.701571 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 12226
/proc/meminfo: memFree=1633248/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=5164 CPUtime=0.69
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 883 0 0 0 68 1 0 0 23 0 1 0 177474642 5287936 854 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 1291 854 136 292 0 996 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5164

[startup+1.50163 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1629592/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=6988 CPUtime=1.49
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 1355 0 0 0 146 3 0 0 25 0 1 0 177474642 7155712 1326 1992294400 134512640 135709839 4294956240 18446744073709551615 134583537 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 1747 1326 136 292 0 1452 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6988

[startup+3.10276 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1628056/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=9348 CPUtime=3.09
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 1935 0 0 0 304 5 0 0 25 0 1 0 177474642 9572352 1906 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 2337 1906 136 292 0 2042 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9348

[startup+6.30201 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1621656/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=14712 CPUtime=6.29
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 3269 0 0 0 620 9 0 0 25 0 1 0 177474642 15065088 3240 1992294400 134512640 135709839 4294956240 18446744073709551615 134568263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 3678 3240 136 292 0 3383 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14712

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1612768/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=23080 CPUtime=12.69
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 5356 0 0 0 1255 14 0 0 25 0 1 0 177474642 23633920 5327 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 5770 5327 136 292 0 5475 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23080

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1597408/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=38044 CPUtime=25.49
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 9093 0 0 0 2522 27 0 0 25 0 1 0 177474642 38957056 9064 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 9511 9064 136 292 0 9216 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38044

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1571808/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=63988 CPUtime=51.07
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 15570 0 0 0 5060 47 0 0 25 0 1 0 177474642 65523712 15541 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 15997 15541 136 292 0 15702 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63988

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1522464/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=112732 CPUtime=102.26
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 27735 0 0 0 10142 84 0 0 25 0 1 0 177474642 115437568 27706 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 28183 27706 136 292 0 27888 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 112732

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1483232/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=151592 CPUtime=162.24
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 37528 0 0 0 16099 125 0 0 25 0 1 0 177474642 155230208 37471 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 37898 37471 136 292 0 37603 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 151592

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1452384/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=182580 CPUtime=222.23
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 45249 0 0 0 22059 164 0 0 25 0 1 0 177474642 186961920 45192 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 45645 45192 136 292 0 45350 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 182580

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12227
/proc/meminfo: memFree=1409952/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=225664 CPUtime=282.21
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 56013 0 0 0 28017 204 0 0 25 0 1 0 177474642 231079936 55956 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 56416 55956 136 292 0 56121 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 225664

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=1356192/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=278484 CPUtime=342.19
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 69225 0 0 0 33966 253 0 0 25 0 1 0 177474642 285167616 69168 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 69621 69168 136 292 0 69326 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 278484

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=1308384/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=326624 CPUtime=402.18
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 81237 0 0 0 39929 289 0 0 25 0 1 0 177474642 334462976 81180 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 81656 81180 136 292 0 81361 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 326624

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=1261728/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=372856 CPUtime=462.17
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 92795 0 0 0 45889 328 0 0 25 0 1 0 177474642 381804544 92738 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 93214 92738 136 292 0 92919 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 372856

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=1218400/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=416516 CPUtime=522.15
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 103683 0 0 0 51850 365 0 0 25 0 1 0 177474642 426512384 103626 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 104129 103626 136 292 0 103834 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 416516

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=1171424/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=463452 CPUtime=582.13
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 115420 0 0 0 57812 401 0 0 25 0 1 0 177474642 474574848 115363 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 115863 115363 136 292 0 115568 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 463452

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=1124256/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=509920 CPUtime=642.12
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 127030 0 0 0 63770 442 0 0 25 0 1 0 177474642 522158080 126973 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 127480 126973 136 292 0 127185 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 509920

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=970272/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=663884 CPUtime=882.05
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 165455 0 0 0 87636 569 0 0 25 0 1 0 177474642 679817216 165398 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 165971 165398 136 292 0 165676 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 663884

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=917280/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=716500 CPUtime=942.04
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 178655 0 0 0 93616 588 0 0 25 0 1 0 177474642 733696000 178557 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 179125 178557 136 292 0 178830 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 716500

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=917280/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=716500 CPUtime=1002.01
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 178660 0 0 0 99584 617 0 0 25 0 1 0 177474642 733696000 178562 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 179125 178562 136 292 0 178830 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 716500

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=917280/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=716500 CPUtime=1062
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 178695 0 0 0 105561 639 0 0 25 0 1 0 177474642 733696000 178597 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 179125 178597 136 292 0 178830 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 716500

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=916896/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=716500 CPUtime=1121.99
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 178772 0 0 0 111537 662 0 0 25 0 1 0 177474642 733696000 178674 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 179125 178674 136 292 0 178830 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 716500

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=910752/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=723128 CPUtime=1181.96
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 180440 0 0 0 117512 684 0 0 25 0 1 0 177474642 740483072 180342 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 180782 180342 136 292 0 180487 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 723128

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=890336/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=743252 CPUtime=1241.95
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 185446 0 0 0 123485 710 0 0 25 0 1 0 177474642 761090048 185348 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 185813 185348 136 292 0 185518 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 743252

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=865568/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=767824 CPUtime=1301.94
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 191584 0 0 0 129456 738 0 0 25 0 1 0 177474642 786251776 191486 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 191956 191486 136 292 0 191661 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 767824

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12229
/proc/meminfo: memFree=839072/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=794428 CPUtime=1361.92
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 198240 0 0 0 135427 765 0 0 25 0 1 0 177474642 813494272 198142 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 198607 198142 136 292 0 198312 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 794428

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12235
/proc/meminfo: memFree=818456/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=814680 CPUtime=1421.91
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 203283 0 0 0 141400 791 0 0 25 0 1 0 177474642 834232320 203185 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 203670 203185 136 292 0 203375 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 814680

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12235
/proc/meminfo: memFree=793752/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=839544 CPUtime=1481.88
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 209497 0 0 0 147367 821 0 0 25 0 1 0 177474642 859693056 209399 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 209886 209399 136 292 0 209591 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 839544

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12235
/proc/meminfo: memFree=776344/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=856988 CPUtime=1541.87
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 213840 0 0 0 153341 846 0 0 25 0 1 0 177474642 877555712 213742 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 214247 213742 136 292 0 213952 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 856988

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12235
/proc/meminfo: memFree=756952/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=876552 CPUtime=1601.84
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 218728 0 0 0 159314 870 0 0 25 0 1 0 177474642 897589248 218630 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 219138 218630 136 292 0 218843 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 876552

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12235
/proc/meminfo: memFree=724568/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=908816 CPUtime=1661.84
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 226794 0 0 0 165286 898 0 0 25 0 1 0 177474642 930627584 226696 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 227204 226696 136 292 0 226909 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 908816

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12235
/proc/meminfo: memFree=687392/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=946180 CPUtime=1721.81
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 236112 0 0 0 171257 924 0 0 25 0 1 0 177474642 968888320 236014 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 236545 236015 136 292 0 236250 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 946180

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12235
/proc/meminfo: memFree=653088/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=980208 CPUtime=1781.8
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 244601 0 0 0 177228 952 0 0 25 0 1 0 177474642 1003732992 244503 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 245052 244503 136 292 0 244757 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 980208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12235
/proc/meminfo: memFree=643232/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=989884 CPUtime=1800
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4194304 247012 0 0 0 179042 958 0 0 25 0 1 0 177474642 1013641216 246914 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 247471 246914 136 292 0 247176 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 989884

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/69 12236
/proc/meminfo: memFree=1284888/2055920 swapFree=4192956/4192956
[pid=12226] ppid=12224 vsize=0 CPUtime=1800.1
/proc/12226/stat : 12226 (wbo) R 12224 12226 12088 0 -1 4195332 247012 0 0 0 179042 968 0 0 25 0 1 0 177474642 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/12226/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.66
CPU time (s): 1800.16
CPU user time (s): 1790.43
CPU system time (s): 9.73352
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 989884

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

runsolver used 1.45678 second user time and 5.10622 second system time

The end

Launcher Data 

Begin job on node68 at 2009-06-17 05:37:33
IDJOB=1875421
IDBENCH=48261
IDSOLVER=698
FILE ID=node68/1875421-1245209853
PBS_JOBID= 9368394
Free space on /tmp= 66472 MiB

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

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

MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24
RANDOM SEED=784256612

node68.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.238
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.238
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:       1633792 kB
Buffers:         50492 kB
Cached:         275636 kB
SwapCached:          0 kB
Active:         106924 kB
Inactive:       235592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1633792 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2408 kB
Writeback:           0 kB
Mapped:          26496 kB
Slab:            65272 kB
Committed_AS:    94740 kB
PageTables:       1564 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875421-1245209853.opb

Free space on /tmp at the end= 66472 MiB
End job on node68 at 2009-06-17 06:07:36