Trace number 1875437

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.17

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
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 benchmark1703.64
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)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

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-1875437-1245211880.opb.
0.00/0.00	c Instance file HOME/instance-1875437-1245211880.opb
0.00/0.00	c File size is 50240 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:      714                                                 |
0.00/0.00	c |  Number Clauses:        714                                                 |
0.00/0.00	c |  Number Cardinality:    102                                                 |
0.00/0.00	c |  Number PB Constraints: 614                                                 |
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.005999 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 |     764     1431     5362 |     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.008998 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 |     813     1432     5460 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       100 |     813     1432     5460 |     5500      100     30 |  0.166 % |
0.00/0.03	c |       251 |     811     1432     5460 |     6050      250     27 |  6.027 % |
0.00/0.06	c |       483 |     709     1432     5460 |     6655      368     33 | 14.395 % |
0.00/0.09	c |       821 |     637     1432     5460 |     7320      564     34 | 40.594 % |
0.00/0.10	c ===============================================================================
0.09/0.10	c core #3
0.09/0.10	c Core size: 163	Core Weight: 1	Total Weight: -47
0.09/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c Learning 14 hard constraints
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |     863     1447     5931 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       100 |     863     1447     5931 |     5500      100     47 |  0.002 % |
0.09/0.13	c |       250 |     863     1447     5931 |     6050      250     36 |  0.002 % |
0.09/0.15	c |       475 |     863     1447     5931 |     6655      475     33 |  0.003 % |
0.09/0.18	c |       812 |     863     1447     5931 |     7320      812     31 |  0.003 % |
0.19/0.23	c |      1319 |     863     1447     5931 |     8052     1319     29 |  0.005 % |
0.29/0.31	c |      2078 |     863     1447     5931 |     8857     2078     30 |  0.008 % |
0.39/0.44	c |      3218 |     863     1447     5931 |     9743     3218     29 |  0.019 % |
0.59/0.68	c |      4926 |     847     1447     5931 |    10717     3782     30 |  1.863 % |
1.00/1.01	c |      7490 |     828     1447     5931 |    11789     5373     35 | 13.222 % |
1.10/1.11	c ===============================================================================
1.10/1.18	c core #4
1.10/1.18	c Core size: 536	Core Weight: 1	Total Weight: -46
1.10/1.18	c Elapsed CPU time: 1.15182 s	Remaining CPU time: 1798.85 s
1.10/1.19	c Learning 498 hard constraints
1.10/1.19	c ============================[ Search Statistics ]==============================
1.10/1.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.19	c ===============================================================================
1.10/1.19	c |         0 |     913     1946    23812 |     5000        0    nan |  0.000 % |
1.19/1.20	c |       100 |     913     1946    23812 |     5500      100     69 |  0.002 % |
1.19/1.21	c |       250 |     913     1946    23812 |     6050      250     45 |  0.002 % |
1.19/1.24	c |       475 |     913     1946    23812 |     6655      475     40 |  0.002 % |
1.19/1.28	c |       812 |     913     1946    23812 |     7320      812     31 |  0.001 % |
1.29/1.34	c |      1318 |     913     1946    23812 |     8052     1318     28 |  0.001 % |
1.39/1.44	c |      2077 |     913     1946    23812 |     8857     2077     32 |  0.001 % |
1.59/1.60	c |      3217 |     913     1946    23812 |     9743     3217     34 |  0.001 % |
1.79/1.84	c |      4925 |     913     1946    23812 |    10717     4925     36 |  0.001 % |
2.19/2.27	c |      7487 |     913     1946    23812 |    11789     7487     38 |  0.002 % |
2.99/3.04	c |     11331 |     913     1946    23812 |    12968    11331     40 |  0.002 % |
4.29/4.34	c |     17097 |     913     1946    23812 |    14265    10549     40 |  0.002 % |
6.18/6.20	c |     25746 |     913     1946    23812 |    15692    11908     40 |  0.002 % |
9.39/9.42	c |     38720 |     913     1946    23812 |    17261     8711     43 |  0.001 % |
14.48/14.55	c |     58182 |     913     1946    23812 |    18987    10550     41 |  0.006 % |
22.88/22.90	c |     87376 |     913     1946    23812 |    20886    10709     45 |  0.001 % |
36.58/36.64	c |    131165 |     913     1946    23812 |    22974    11854     46 |  0.002 % |
58.36/58.45	c |    196849 |     913     1946    23812 |    25272    17919     50 |  0.002 % |
96.24/96.32	c |    295375 |     913     1946    23812 |    27799    23727     50 |  0.001 % |
151.72/151.81	c |    443166 |     913     1946    23812 |    30579    13382     50 |  0.001 % |
238.07/238.29	c |    664851 |     913     1946    23812 |    33637    30096     52 |  0.001 % |
385.38/385.63	c |    997376 |     901     1946    23812 |    37001    19038     47 |  1.316 % |
415.17/415.43	c ===============================================================================
433.76/434.01	c core #5
433.76/434.01	c Core size: 998	Core Weight: 1	Total Weight: -45
433.76/434.01	c Elapsed CPU time: 430.866 s	Remaining CPU time: 1369.13 s
434.76/435.08	c Learning 311 hard constraints
434.76/435.08	c ============================[ Search Statistics ]==============================
434.76/435.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
434.76/435.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
434.76/435.08	c ===============================================================================
434.76/435.08	c |         0 |     963     2258    25868 |     5000        0    nan |  0.000 % |
434.96/435.29	c |       102 |     963     2258    25868 |     5500      102     92 |  0.002 % |
435.06/435.31	c |       252 |     963     2258    25868 |     6050      252     79 |  0.001 % |
435.06/435.32	c |       478 |     963     2258    25868 |     6655      478     49 |  0.001 % |
435.06/435.38	c |       815 |     963     2258    25868 |     7320      815     51 |  0.001 % |
435.16/435.43	c |      1322 |     963     2258    25868 |     8052     1322     44 |  0.002 % |
435.26/435.54	c |      2082 |     963     2258    25868 |     8857     2082     46 |  0.001 % |
435.45/435.74	c |      3221 |     963     2258    25868 |     9743     3221     52 |  0.001 % |
435.76/436.06	c |      4932 |     963     2258    25868 |    10717     4932     54 |  0.001 % |
436.36/436.65	c |      7497 |     963     2258    25868 |    11789     7497     56 |  0.001 % |
437.26/437.57	c |     11342 |     963     2258    25868 |    12968    11342     54 |  0.001 % |
438.76/439.08	c |     17108 |     963     2258    25868 |    14265    10482     44 |  0.001 % |
441.35/441.67	c |     25758 |     963     2258    25868 |    15692    11849     42 |  0.000 % |
445.95/446.28	c |     38733 |     963     2258    25868 |    17261     8801     47 |  0.001 % |
453.25/453.53	c |     58195 |     963     2258    25868 |    18987    10636     46 |  0.000 % |
464.35/464.69	c |     87387 |     963     2258    25868 |    20886    10827     54 |  0.001 % |
479.83/480.13	c |    131176 |     963     2258    25868 |    22974    12127     48 |  0.001 % |
505.62/505.92	c |    196860 |     963     2258    25868 |    25272    19178     55 |  0.002 % |
549.29/549.68	c |    295386 |     963     2258    25868 |    27799    13192     49 |  0.002 % |
616.15/616.56	c |    443176 |     963     2258    25868 |    30579    21744     52 |  0.000 % |
736.10/736.57	c |    664860 |     963     2258    25868 |    33637    28765     53 |  0.002 % |
912.61/913.18	c |    997385 |     963     2258    25868 |    37001    28694     53 |  0.002 % |
1179.05/1179.71	c |   1496174 |     962     2258    25868 |    40701    28424     49 |  0.115 % |
1339.96/1340.77	c ===============================================================================
1388.35/1389.18	c core #6
1388.35/1389.18	c Core size: 1523	Core Weight: 1	Total Weight: -44
1388.35/1389.18	c Elapsed CPU time: 1380.31 s	Remaining CPU time: 419.688 s
1390.34/1391.14	c Learning 3926 hard constraints
1390.34/1391.14	c ============================[ Search Statistics ]==============================
1390.34/1391.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1390.34/1391.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1390.34/1391.14	c ===============================================================================
1390.34/1391.14	c |         0 |    1013     6185   210877 |     5000        0    nan |  0.000 % |
1390.64/1391.50	c |       101 |    1013     6185   210877 |     5500      101    101 |  0.001 % |
1390.74/1391.51	c |       252 |    1013     6185   210877 |     6050      252     53 |  0.001 % |
1390.84/1391.63	c |       479 |    1013     6185   210877 |     6655      479     60 |  0.001 % |
1390.84/1391.66	c |       820 |    1013     6185   210877 |     7320      820     43 |  0.001 % |
1390.94/1391.78	c |      1326 |    1013     6185   210877 |     8052     1326     51 |  0.000 % |
1391.14/1391.95	c |      2086 |    1013     6185   210877 |     8857     2086     65 |  0.001 % |
1391.34/1392.10	c |      3227 |    1013     6185   210877 |     9743     3227     58 |  0.001 % |
1391.64/1392.49	c |      4937 |    1013     6185   210877 |    10717     4937     55 |  0.001 % |
1392.25/1393.01	c |      7500 |    1013     6185   210877 |    11789     7500     54 |  0.000 % |
1393.34/1394.10	c |     11345 |    1013     6185   210877 |    12968    11345     55 |  0.000 % |
1395.24/1396.07	c |     17111 |    1013     6185   210877 |    14265    10365     53 |  0.001 % |
1398.44/1399.22	c |     25760 |    1013     6185   210877 |    15692    11594     58 |  0.000 % |
1403.94/1404.78	c |     38736 |    1013     6185   210877 |    17261     8376     58 |  0.001 % |
1412.64/1413.40	c |     58198 |    1013     6185   210877 |    18987    10091     58 |  0.000 % |
1427.43/1428.21	c |     87390 |    1013     6185   210877 |    20886    10144     71 |  0.001 % |
1454.01/1454.83	c |    131180 |    1013     6185   210877 |    22974    11531     71 |  0.001 % |
1493.49/1494.35	c |    196864 |    1013     6185   210877 |    25272    18060     75 |  0.001 % |
1543.36/1544.29	c |    295391 |    1013     6185   210877 |    27799    24659     65 |  0.001 % |
1633.62/1634.54	c |    443180 |    1013     6185   210877 |    30579    14680     49 |  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-1875437-1245211880/watcher-1875437-1245211880 -o /tmp/evaluation-result-1875437-1245211880/solver-1875437-1245211880 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875437-1245211880.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 5737
/proc/meminfo: memFree=1801256/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=2576 CPUtime=0
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 220 0 0 0 0 0 0 0 18 0 1 0 188788561 2637824 204 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 644 204 130 292 0 336 0

[startup+0.00864607 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5737
/proc/meminfo: memFree=1801256/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=2788 CPUtime=0
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 188788561 2854912 243 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 697 250 134 292 0 402 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2788

[startup+0.101665 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5737
/proc/meminfo: memFree=1801256/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=3312 CPUtime=0.09
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 404 0 0 0 9 0 0 0 18 0 1 0 188788561 3391488 375 1992294400 134512640 135709839 4294956240 18446744073709551615 135168492 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 828 375 136 292 0 533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3312

[startup+0.301707 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5737
/proc/meminfo: memFree=1801256/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=3984 CPUtime=0.29
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 575 0 0 0 28 1 0 0 19 0 1 0 188788561 4079616 546 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 996 547 136 292 0 701 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3984

[startup+0.701791 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5737
/proc/meminfo: memFree=1801256/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=5288 CPUtime=0.7
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 916 0 0 0 68 2 0 0 24 0 1 0 188788561 5414912 887 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 1322 887 136 292 0 1027 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 5288

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1797472/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=6988 CPUtime=1.49
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 1336 0 0 0 146 3 0 0 25 0 1 0 188788561 7155712 1307 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 1747 1307 136 292 0 1452 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6988

[startup+3.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1796384/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=8712 CPUtime=3.09
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 1774 0 0 0 304 5 0 0 25 0 1 0 188788561 8921088 1745 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 2178 1745 136 292 0 1883 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8712

[startup+6.30198 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1790752/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=14044 CPUtime=6.28
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 3107 0 0 0 619 9 0 0 25 0 1 0 188788561 14381056 3078 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 3511 3078 136 292 0 3216 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14044

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1780968/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=23448 CPUtime=12.69
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 5467 0 0 0 1253 16 0 0 25 0 1 0 188788561 24010752 5438 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 5862 5438 136 292 0 5567 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23448

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1764072/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=39584 CPUtime=25.48
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 9472 0 0 0 2520 28 0 0 25 0 1 0 188788561 40534016 9443 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 9896 9443 136 292 0 9601 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39584

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1736232/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=67668 CPUtime=51.07
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 16503 0 0 0 5056 51 0 0 25 0 1 0 188788561 69292032 16474 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 16917 16474 136 292 0 16622 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 67668

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1687848/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=115436 CPUtime=102.24
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 28416 0 0 0 10139 85 0 0 25 0 1 0 188788561 118206464 28387 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 28859 28388 136 292 0 28564 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 115436

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1632296/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=171692 CPUtime=162.2
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 42455 0 0 0 16091 129 0 0 25 0 1 0 188788561 175812608 42426 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 42923 42426 136 292 0 42628 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 171692

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1577960/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=225344 CPUtime=222.18
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 55824 0 0 0 22049 169 0 0 25 0 1 0 188788561 230752256 55795 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 56336 55795 136 292 0 56041 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 225344

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1528552/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=275200 CPUtime=282.15
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 68291 0 0 0 28009 206 0 0 25 0 1 0 188788561 281804800 68262 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 68800 68262 136 292 0 68505 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 275200

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1482536/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=320668 CPUtime=342.1
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 79645 0 0 0 33970 240 0 0 25 0 1 0 188788561 328364032 79616 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 80167 79616 136 292 0 79872 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 320668

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1432936/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=370420 CPUtime=402.07
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 92095 0 0 0 39929 278 0 0 25 0 1 0 188788561 379310080 92066 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 92605 92066 136 292 0 92310 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 370420

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1391272/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=411164 CPUtime=462.05
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 102404 0 0 0 45893 312 0 0 25 0 1 0 188788561 421031936 102338 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 102791 102338 136 292 0 102496 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 411164

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1374760/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=428116 CPUtime=522
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 106654 0 0 0 51847 353 0 0 25 0 1 0 188788561 438390784 106588 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 107029 106588 136 292 0 106734 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 428116

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1340200/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=462372 CPUtime=581.98
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 115205 0 0 0 57807 391 0 0 25 0 1 0 188788561 473468928 115139 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 115593 115139 136 292 0 115298 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 462372

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1305064/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=497204 CPUtime=641.94
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 123893 0 0 0 63768 426 0 0 25 0 1 0 188788561 509136896 123827 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 124301 123827 136 292 0 124006 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 497204

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1161576/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=640784 CPUtime=881.83
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 159736 0 0 0 87626 557 0 0 25 0 1 0 188788561 656162816 159670 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 160196 159670 136 292 0 159901 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 640784

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1114920/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=687824 CPUtime=941.79
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 171498 0 0 0 93587 592 0 0 25 0 1 0 188788561 704331776 171432 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 171956 171432 136 292 0 171661 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 687824

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1066344/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=735776 CPUtime=1001.77
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 183494 0 0 0 99549 628 0 0 25 0 1 0 188788561 753434624 183428 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 183944 183428 136 292 0 183649 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 735776

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=1025448/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=777404 CPUtime=1061.71
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 193878 0 0 0 105509 662 0 0 25 0 1 0 188788561 796061696 193812 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 194351 193812 136 292 0 194056 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 777404

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=979816/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=822464 CPUtime=1121.67
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 205136 0 0 0 111476 691 0 0 25 0 1 0 188788561 842203136 205070 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 205616 205070 136 292 0 205321 0
Current children cumulated CPU time (s) 1121.67
Current children cumulated vsize (KiB) 822464

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=939048/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=863452 CPUtime=1181.65
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 215375 0 0 0 117442 723 0 0 25 0 1 0 188788561 884174848 215309 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 215863 215309 136 292 0 215568 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 863452

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=899112/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=903068 CPUtime=1241.61
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 225274 0 0 0 123406 755 0 0 25 0 1 0 188788561 924741632 225208 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 225767 225208 136 292 0 225472 0
Current children cumulated CPU time (s) 1241.61
Current children cumulated vsize (KiB) 903068

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=860968/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=940704 CPUtime=1301.59
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 234671 0 0 0 129374 785 0 0 25 0 1 0 188788561 963280896 234605 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 235176 234605 136 292 0 234881 0
Current children cumulated CPU time (s) 1301.59
Current children cumulated vsize (KiB) 940704

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=788392/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=1014012 CPUtime=1361.56
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 253001 0 0 0 135344 812 0 0 25 0 1 0 188788561 1038348288 252935 1992294400 134512640 135709839 4294956240 18446744073709551615 134516598 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 253503 252935 136 292 0 253208 0
Current children cumulated CPU time (s) 1361.56
Current children cumulated vsize (KiB) 1014012

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=785128/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=1016152 CPUtime=1421.54
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 253588 0 0 0 141322 832 0 0 25 0 1 0 188788561 1040539648 253481 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 254038 253481 136 292 0 253743 0
Current children cumulated CPU time (s) 1421.54
Current children cumulated vsize (KiB) 1016152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=785064/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=1016152 CPUtime=1481.5
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 253600 0 0 0 147294 856 0 0 25 0 1 0 188788561 1040539648 253493 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 254038 253493 136 292 0 253743 0
Current children cumulated CPU time (s) 1481.5
Current children cumulated vsize (KiB) 1016152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=784744/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=1016152 CPUtime=1541.46
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 253691 0 0 0 153268 878 0 0 25 0 1 0 188788561 1040539648 253584 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 254038 253584 136 292 0 253743 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 1016152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=780712/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=1020424 CPUtime=1601.44
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 254768 0 0 0 159244 900 0 0 25 0 1 0 188788561 1044914176 254661 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 255106 254661 136 292 0 254811 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 1020424

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=761512/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=1039484 CPUtime=1661.4
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 259513 0 0 0 165217 923 0 0 25 0 1 0 188788561 1064431616 259406 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 259871 259406 136 292 0 259576 0
Current children cumulated CPU time (s) 1661.4
Current children cumulated vsize (KiB) 1039484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=738792/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=1062316 CPUtime=1721.37
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 265205 0 0 0 171188 949 0 0 25 0 1 0 188788561 1087811584 265098 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 265579 265098 136 292 0 265284 0
Current children cumulated CPU time (s) 1721.37
Current children cumulated vsize (KiB) 1062316

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=717928/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=1083112 CPUtime=1781.33
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 270391 0 0 0 177162 971 0 0 25 0 1 0 188788561 1109106688 270284 1992294400 134512640 135709839 4294956240 18446744073709551615 134572762 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 270778 270284 136 292 0 270483 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (KiB) 1083112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=712104/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=1088728 CPUtime=1800.03
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4194304 271791 0 0 0 179024 979 0 0 25 0 1 0 188788561 1114857472 271684 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/statm: 272182 271684 136 292 0 271887 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1088728

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

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

[startup+1801.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5738
/proc/meminfo: memFree=712104/2055920 swapFree=4192812/4192956
[pid=5737] ppid=5735 vsize=0 CPUtime=1800.14
/proc/5737/stat : 5737 (wbo) R 5735 5737 5534 0 -1 4195332 271791 0 0 0 179024 990 0 0 25 0 1 0 188788561 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/5737/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.17
CPU time (s): 1800.2
CPU user time (s): 1790.24
CPU system time (s): 9.95949
CPU usage (%): 99.9464
Max. virtual memory (cumulated for all children) (KiB): 1088728

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

runsolver used 1.40179 second user time and 5.16921 second system time

The end

Launcher Data 

Begin job on node13 at 2009-06-17 06:11:20
IDJOB=1875437
IDBENCH=48277
IDSOLVER=698
FILE ID=node13/1875437-1245211880
PBS_JOBID= 9368371
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_4.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-1875437-1245211880/watcher-1875437-1245211880 -o /tmp/evaluation-result-1875437-1245211880/solver-1875437-1245211880 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875437-1245211880.opb

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

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=501888510

node13.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.259
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.259
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:       1801800 kB
Buffers:         50572 kB
Cached:         125608 kB
SwapCached:        144 kB
Active:          57024 kB
Inactive:       133296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2392 kB
Writeback:           0 kB
Mapped:          23760 kB
Slab:            49776 kB
Committed_AS:   173972 kB
PageTables:       1460 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-1875437-1245211880.opb

Free space on /tmp at the end= 66272 MiB
End job on node13 at 2009-06-17 06:41:23