Trace number 2702172

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.16 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb
MD5SUM133707692e98c55077a0d19203c18204
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark6.74797
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables162
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702172-1278546713.opb.
0.00/0.00	c Instance file HOME/instance-2702172-1278546713.opb
0.00/0.00	c File size is 36228 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
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:      648                                                 |
0.00/0.00	c |  Number Clauses:        486                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 505                                                 |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     648      991     4149 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     648      991     4149 |     5500      101     76 |  0.002 % |
0.00/0.02	c |       251 |     648      991     4149 |     6050      251     84 |  0.000 % |
0.00/0.04	c |       476 |     648      991     4149 |     6655      476     80 |  0.002 % |
0.06/0.06	c |       814 |     648      991     4149 |     7320      814     78 |  0.000 % |
0.09/0.12	c |      1322 |     648      991     4149 |     8052     1322     76 |  0.002 % |
0.19/0.21	c |      2081 |     648      991     4149 |     8857     2081     72 |  0.000 % |
0.29/0.35	c |      3222 |     648      991     4149 |     9743     3222     73 |  0.000 % |
0.50/0.56	c |      4930 |     648      991     4149 |    10717     4930     70 |  0.000 % |
0.89/0.92	c |      7492 |     648      991     4149 |    11789     7492     71 |  0.000 % |
1.29/1.36	c |     11336 |     648      991     4149 |    12968    11336     69 |  0.000 % |
2.10/2.13	c |     17102 |     648      991     4149 |    14265    10529     61 |  0.000 % |
3.20/3.30	c |     25751 |     648      991     4149 |    15692    11962     47 |  0.000 % |
5.19/5.22	c |     38725 |     648      991     4149 |    17261     8914     56 |  0.000 % |
8.89/8.99	c |     58187 |     648      991     4149 |    18987    10852     47 |  0.000 % |
11.59/11.67	c ===============================================================================
11.59/11.67	c New solution: 65
11.59/11.67	o 65
11.59/11.67	c Elapsed CPU time: 11.4703 s	Remaining CPU time: 168.53 s
11.59/11.67	c ===============================================================================
11.59/11.67	c |     76025 |     648      992     4158 |     5000    18962     63 |  0.000 % |
11.69/11.75	c |     76126 |     626      992     4158 |     5500     4801     69 |  3.397 % |
11.69/11.77	c |     76276 |     626      992     4158 |     6050     4951     69 |  3.397 % |
11.69/11.79	c |     76502 |     626      992     4158 |     6655     5177     68 |  3.395 % |
11.79/11.82	c |     76839 |     626      992     4158 |     7320     5514     68 |  3.395 % |
11.79/11.87	c |     77346 |     626      992     4158 |     8052     6021     67 |  3.395 % |
11.89/11.95	c |     78105 |     626      992     4158 |     8857     6780     67 |  3.397 % |
12.10/12.11	c |     79244 |     626      992     4158 |     9743     7919     68 |  3.397 % |
12.29/12.31	c |     80954 |     626      992     4158 |    10717     9629     67 |  3.395 % |
12.69/12.79	c |     83519 |     626      992     4158 |    11789     6571     63 |  3.395 % |
13.39/13.42	c |     87363 |     626      992     4158 |    12968    10415     55 |  3.395 % |
14.20/14.28	c |     93129 |     626      992     4158 |    14265     9457     62 |  3.395 % |
15.99/16.07	c |    101779 |     626      992     4158 |    15692    10827     50 |  3.395 % |
17.99/18.02	c |    114754 |     626      992     4158 |    17261    15815     58 |  3.395 % |
21.90/21.95	c |    134216 |     626      992     4158 |    18987     9143     38 |  3.395 % |
26.68/26.75	c |    163408 |     626      992     4158 |    20886    18791     72 |  3.395 % |
35.78/35.86	c |    207197 |     626      992     4158 |    22974    19871     44 |  3.397 % |
36.78/36.81	c ===============================================================================
36.78/36.81	c New solution: 33
36.78/36.81	o 33
36.78/36.81	c Elapsed CPU time: 36.2565 s	Remaining CPU time: 143.744 s
36.78/36.81	c ===============================================================================
36.78/36.81	c |    212929 |     626      993     4167 |     5000    12921     44 |  3.397 % |
36.78/36.88	c |    213029 |     615      993     4167 |     5500     3331     66 |  5.093 % |
36.78/36.89	c |    213179 |     615      993     4167 |     6050     3481     65 |  5.093 % |
36.88/36.91	c |    213405 |     615      993     4167 |     6655     3707     64 |  5.093 % |
36.88/36.94	c |    213743 |     615      993     4167 |     7320     4045     62 |  5.093 % |
36.88/36.99	c |    214249 |     615      993     4167 |     8052     4551     66 |  5.093 % |
36.97/37.06	c |    215009 |     615      993     4167 |     8857     5311     66 |  5.093 % |
37.08/37.19	c |    216148 |     615      993     4167 |     9743     6450     66 |  5.093 % |
37.28/37.35	c |    217857 |     615      993     4167 |    10717     8159     64 |  5.095 % |
37.58/37.65	c |    220421 |     615      993     4167 |    11789    10723     67 |  5.093 % |
38.07/38.15	c |    224266 |     615      993     4167 |    12968     8526     69 |  5.093 % |
38.88/38.97	c |    230032 |     615      993     4167 |    14265     7756     57 |  5.095 % |
40.38/40.47	c |    238683 |     615      993     4167 |    15692     9225     35 |  5.093 % |
41.98/42.01	c |    251660 |     615      993     4167 |    17261    14236     53 |  5.095 % |
44.87/44.99	c |    271121 |     615      993     4167 |    18987    16128     44 |  5.093 % |
50.87/50.95	c |    300314 |     615      993     4167 |    20886    16686     23 |  5.093 % |
58.87/58.99	c |    344104 |     615      993     4167 |    22974    17629     82 |  5.093 % |
74.26/74.38	c |    409788 |     615      993     4167 |    25272    21012     58 |  5.093 % |
95.26/95.32	c |    508314 |     615      993     4167 |    27799    18288     49 |  5.093 % |
130.64/130.76	c |    656103 |     615      993     4167 |    30579    11665     75 |  5.093 % |
165.43/165.54	c ===============================================================================
165.43/165.54	c New solution: 5
165.43/165.54	o 5
165.43/165.54	c Elapsed CPU time: 163.264 s	Remaining CPU time: 16.7358 s
165.43/165.54	c ===============================================================================
165.43/165.54	c |    775941 |     615      994     4176 |     5000    14432     69 |  5.093 % |
165.53/165.60	c |    776042 |     582      994     4176 |     5500     3698     80 | 10.188 % |
165.53/165.61	c |    776192 |     582      994     4176 |     6050     3848     81 | 10.185 % |
165.53/165.64	c |    776418 |     582      994     4176 |     6655     4074     81 | 10.188 % |
165.53/165.67	c |    776755 |     582      994     4176 |     7320     4411     81 | 10.188 % |
165.64/165.72	c |    777261 |     582      994     4176 |     8052     4917     82 | 10.185 % |
165.64/165.77	c |    778021 |     582      994     4176 |     8857     5677     82 | 10.188 % |
165.73/165.87	c |    779161 |     582      994     4176 |     9743     6817     81 | 10.185 % |
165.94/166.05	c |    780870 |     582      994     4176 |    10717     8526     78 | 10.185 % |
166.33/166.40	c |    783433 |     582      994     4176 |    11789     5580     66 | 10.188 % |
166.73/166.88	c |    787277 |     582      994     4176 |    12968     9424     63 | 10.185 % |
167.83/167.99	c |    793044 |     582      994     4176 |    14265     8625     56 | 10.185 % |
169.03/169.19	c |    801696 |     582      994     4176 |    15692    10059     51 | 10.185 % |
171.03/171.17	c |    814670 |     582      994     4176 |    17261    15057     52 | 10.188 % |
174.43/174.53	c |    834132 |     582      994     4176 |    18987    16924     48 | 10.185 % |
180.53/180.60	c |    863325 |     582      994     4176 |    20886    16964     57 | 10.185 % |
182.43/182.58	c There are 66 assigned variables. 6 in cost function.
183.23/183.38	c core #1
183.23/183.38	c core #2
183.23/183.38	c ============================[ Search Statistics ]==============================
183.23/183.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.23/183.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.23/183.38	c ===============================================================================
183.23/183.38	c |         0 |     559      967     3704 |     5000        0    nan |  0.000 % |
183.23/183.39	c |       100 |     559      967     3704 |     5500      100     76 | 14.396 % |
183.33/183.41	c |       251 |     559      967     3704 |     6050      251     79 | 14.395 % |
183.33/183.43	c |       476 |     559      967     3704 |     6655      476     80 | 14.395 % |
183.33/183.46	c |       814 |     559      967     3704 |     7320      814     74 | 14.395 % |
183.43/183.52	c |      1321 |     559      967     3704 |     8052     1321     70 | 14.395 % |
183.43/183.60	c |      2081 |     559      967     3704 |     8857     2081     69 | 14.395 % |
183.63/183.74	c |      3220 |     559      967     3704 |     9743     3220     71 | 14.395 % |
183.82/183.95	c |      4931 |     559      967     3704 |    10717     4931     65 | 14.395 % |
184.23/184.39	c |      7493 |     559      967     3704 |    11789     7493     65 | 14.395 % |
184.83/184.95	c |     11339 |     559      967     3704 |    12968    11339     61 | 14.395 % |
185.73/185.87	c |     17105 |     559      967     3704 |    14265    10340     55 | 14.395 % |
187.72/187.83	c |     25754 |     559      967     3704 |    15692    11650     60 | 14.395 % |
189.42/189.54	c |     38728 |     559      967     3704 |    17261     8484     60 | 14.395 % |
193.21/193.33	c |     58189 |     559      967     3704 |    18987    10087     56 | 14.395 % |
199.61/199.71	c |     87381 |     559      967     3704 |    20886    10367     44 | 14.395 % |
210.01/210.20	c |    131171 |     559      967     3704 |    22974    11120     39 | 14.395 % |
229.51/229.66	c |    196855 |     559      967     3704 |    25272    14863     47 | 14.395 % |
257.69/257.88	c |    295381 |     559      967     3704 |    27799    24575     52 | 14.395 % |
306.08/306.25	c |    443170 |     559      967     3704 |    30579    19677     55 | 14.395 % |
382.56/382.75	c |    664853 |     559      967     3704 |    33637    28331     78 | 14.395 % |
521.81/522.04	c |    997379 |     559      967     3704 |    37001    26827     54 | 14.395 % |
736.04/736.39	c |   1496167 |     558      967     3704 |    40701    37289     44 | 14.551 % |
1114.13/1114.59	c |   2244350 |     558      967     3704 |    44771    26465     68 | 14.548 % |
1734.05/1734.70	c |   3366624 |     557      967     3704 |    49248    16099     48 | 14.704 % |

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-2702172-1278546713/watcher-2702172-1278546713 -o /tmp/evaluation-result-2702172-1278546713/solver-2702172-1278546713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702172-1278546713.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.01 1.16 0.68 3/106 27535
/proc/meminfo: memFree=1920480/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=2832 CPUtime=0
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 350 0 0 0 0 0 0 0 18 0 1 0 22882887 2899968 260 1992294400 134512640 135751879 4292842432 18446744073709551615 134588273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 708 260 144 303 0 403 0

[startup+0.063293 s]
/proc/loadavg: 1.01 1.16 0.68 3/106 27535
/proc/meminfo: memFree=1920480/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=2964 CPUtime=0.06
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 413 0 0 0 6 0 0 0 20 0 1 0 22882887 3035136 322 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 741 322 147 303 0 436 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2964

[startup+0.101298 s]
/proc/loadavg: 1.01 1.16 0.68 3/106 27535
/proc/meminfo: memFree=1920480/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=3220 CPUtime=0.09
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 451 0 0 0 9 0 0 0 20 0 1 0 22882887 3297280 360 1992294400 134512640 135751879 4292842432 18446744073709551615 134604797 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 805 360 147 303 0 500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3220

[startup+0.301326 s]
/proc/loadavg: 1.01 1.16 0.68 3/106 27535
/proc/meminfo: memFree=1920480/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=3868 CPUtime=0.29
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 616 0 0 0 29 0 0 0 20 0 1 0 22882887 3960832 525 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 967 525 147 303 0 662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3868

[startup+0.701383 s]
/proc/loadavg: 1.01 1.16 0.68 3/106 27535
/proc/meminfo: memFree=1920480/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=5184 CPUtime=0.7
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 952 0 0 0 69 1 0 0 20 0 1 0 22882887 5308416 861 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 1296 861 147 303 0 991 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 5184

[startup+1.5015 s]
/proc/loadavg: 1.01 1.16 0.68 2/107 27536
/proc/meminfo: memFree=1916876/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=7564 CPUtime=1.49
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 1550 0 0 0 148 1 0 0 23 0 1 0 22882887 7745536 1459 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 1891 1459 147 303 0 1586 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7564

[startup+3.10072 s]
/proc/loadavg: 1.01 1.16 0.68 2/107 27536
/proc/meminfo: memFree=1913652/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=11044 CPUtime=3.09
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 2411 0 0 0 304 5 0 0 25 0 1 0 22882887 11309056 2320 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 2761 2320 148 303 0 2456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11044

[startup+6.30118 s]
/proc/loadavg: 1.01 1.16 0.68 2/107 27536
/proc/meminfo: memFree=1906212/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=18252 CPUtime=6.29
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 4224 0 0 0 618 11 0 0 25 0 1 0 22882887 18690048 4133 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 4563 4133 148 303 0 4258 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18252

[startup+12.7011 s]
/proc/loadavg: 1.01 1.16 0.68 2/107 27536
/proc/meminfo: memFree=1894060/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=30084 CPUtime=12.69
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 7156 0 0 0 1248 21 0 0 25 0 1 0 22882887 30806016 7065 1992294400 134512640 135751879 4292842432 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 7521 7065 148 303 0 7216 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30084

[startup+25.5009 s]
/proc/loadavg: 1.01 1.15 0.68 2/107 27538
/proc/meminfo: memFree=1869632/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=53536 CPUtime=25.48
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 13038 0 0 0 2508 40 0 0 25 0 1 0 22882887 54820864 12947 1992294400 134512640 135751879 4292842432 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 13384 12947 148 303 0 13079 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53536

[startup+51.1015 s]
/proc/loadavg: 1.00 1.14 0.69 2/107 27538
/proc/meminfo: memFree=1832804/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=90372 CPUtime=51.08
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 22218 0 0 0 5029 79 0 0 25 0 1 0 22882887 92540928 22127 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 22593 22127 148 303 0 22288 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90372

[startup+102.309 s]
/proc/loadavg: 1.00 1.11 0.71 2/107 27540
/proc/meminfo: memFree=1748484/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=174184 CPUtime=102.26
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 43120 0 0 0 10075 151 0 0 25 0 1 0 22882887 178364416 43029 1992294400 134512640 135751879 4292842432 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 43546 43029 148 303 0 43241 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 174184

[startup+162.301 s]
/proc/loadavg: 1.00 1.09 0.72 2/107 27540
/proc/meminfo: memFree=1689088/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=233976 CPUtime=162.23
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 58065 0 0 0 16005 218 0 0 25 0 1 0 22882887 239591424 57974 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 58494 57974 148 303 0 58189 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 233976

[startup+222.301 s]
/proc/loadavg: 1.00 1.07 0.74 2/107 27542
/proc/meminfo: memFree=1620516/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=301512 CPUtime=222.2
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 75044 0 0 0 21923 297 0 0 25 0 1 0 22882887 308748288 74922 1992294400 134512640 135751879 4292842432 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 75378 74922 151 303 0 75073 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 301512

[startup+282.3 s]
/proc/loadavg: 1.00 1.05 0.75 2/107 27544
/proc/meminfo: memFree=1564592/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=358332 CPUtime=282.19
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 89206 0 0 0 27861 358 0 0 25 0 1 0 22882887 366931968 89084 1992294400 134512640 135751879 4292842432 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 89583 89084 151 303 0 89278 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 358332

[startup+342.302 s]
/proc/loadavg: 1.00 1.04 0.76 2/107 27546
/proc/meminfo: memFree=1525656/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=396288 CPUtime=342.16
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 98655 0 0 0 33807 409 0 0 25 0 1 0 22882887 405798912 98533 1992294400 134512640 135751879 4292842432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 99072 98533 151 303 0 98767 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 396288

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 0.77 2/107 27548
/proc/meminfo: memFree=1484364/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=437648 CPUtime=402.14
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 108986 0 0 0 39751 463 0 0 25 0 1 0 22882887 448151552 108864 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 109412 108864 151 303 0 109107 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 437648

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 0.78 2/107 27548
/proc/meminfo: memFree=1441460/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=480732 CPUtime=462.12
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 119723 0 0 0 45698 514 0 0 25 0 1 0 22882887 492269568 119601 1992294400 134512640 135751879 4292842432 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 120183 119601 151 303 0 119878 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 480732

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 0.80 2/107 27550
/proc/meminfo: memFree=1402524/2059040 swapFree=4081400/4192956
[pid=27535] ppid=27533 vsize=520428 CPUtime=522.11
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 129643 0 0 0 51649 562 0 0 25 0 1 0 22882887 532918272 129521 1992294400 134512640 135751879 4292842432 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 130107 129521 151 303 0 129802 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 520428

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 0.81 2/107 27561
/proc/meminfo: memFree=1353808/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=563036 CPUtime=582.09
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 140263 0 0 0 57602 607 0 0 25 0 1 0 22882887 576548864 140141 1992294400 134512640 135751879 4292842432 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 140759 140141 151 303 0 140454 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 563036

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 0.82 2/107 27563
/proc/meminfo: memFree=1308548/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=608184 CPUtime=642.08
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 151551 0 0 0 63549 659 0 0 25 0 1 0 22882887 622780416 151429 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 152046 151429 151 303 0 151741 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 608184

[startup+702.302 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 27569
/proc/meminfo: memFree=1189260/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=727820 CPUtime=881.99
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 181336 0 0 0 87395 804 0 0 25 0 1 0 22882887 745287680 181214 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 181955 181214 151 303 0 181650 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 727820

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.85 2/107 27571
/proc/meminfo: memFree=1160740/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=756852 CPUtime=941.98
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 188571 0 0 0 93354 844 0 0 25 0 1 0 22882887 775016448 188449 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 189213 188449 151 303 0 188908 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 756852

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/107 27573
/proc/meminfo: memFree=1131352/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=785676 CPUtime=1001.96
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 195759 0 0 0 99320 876 0 0 25 0 1 0 22882887 804532224 195637 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 196419 195637 151 303 0 196114 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 785676

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 27573
/proc/meminfo: memFree=1088324/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=829056 CPUtime=1061.94
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 206604 0 0 0 105272 922 0 0 25 0 1 0 22882887 848953344 206482 1992294400 134512640 135751879 4292842432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 207264 206482 151 303 0 206959 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 829056

[startup+1122.3 s]
/proc/loadavg: 1.04 1.01 0.87 2/107 27575
/proc/meminfo: memFree=1036120/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=880856 CPUtime=1121.93
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 219533 0 0 0 111217 976 0 0 25 0 1 0 22882887 901996544 219411 1992294400 134512640 135751879 4292842432 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 220214 219411 151 303 0 219909 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 880856

[startup+1182.3 s]
/proc/loadavg: 1.05 1.02 0.88 2/107 27577
/proc/meminfo: memFree=995200/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=922340 CPUtime=1181.91
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 229903 0 0 0 117168 1023 0 0 25 0 1 0 22882887 944476160 229781 1992294400 134512640 135751879 4292842432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 230585 229781 151 303 0 230280 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 922340

[startup+1242.3 s]
/proc/loadavg: 1.09 1.04 0.90 2/107 27579
/proc/meminfo: memFree=960108/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=957028 CPUtime=1241.89
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 238537 0 0 0 123127 1062 0 0 25 0 1 0 22882887 979996672 238415 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 239257 238415 151 303 0 238952 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 957028

[startup+1302.3 s]
/proc/loadavg: 1.03 1.03 0.90 2/107 27581
/proc/meminfo: memFree=928860/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=987880 CPUtime=1301.88
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 246236 0 0 0 129086 1102 0 0 25 0 1 0 22882887 1011589120 246114 1992294400 134512640 135751879 4292842432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 246970 246114 151 303 0 246665 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 987880

[startup+1362.3 s]
/proc/loadavg: 1.01 1.03 0.91 2/107 27581
/proc/meminfo: memFree=905548/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=1011852 CPUtime=1361.85
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 252221 0 0 0 135051 1134 0 0 25 0 1 0 22882887 1036136448 252099 1992294400 134512640 135751879 4292842432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 252963 252099 151 303 0 252658 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1011852

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 0.91 2/107 27583
/proc/meminfo: memFree=874300/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=1042500 CPUtime=1421.84
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 259882 0 0 0 141014 1170 0 0 25 0 1 0 22882887 1067520000 259760 1992294400 134512640 135751879 4292842432 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 260625 259760 151 303 0 260320 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1042500

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 0.91 2/107 27585
/proc/meminfo: memFree=844416/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=1072424 CPUtime=1481.83
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 267372 0 0 0 146974 1209 0 0 25 0 1 0 22882887 1098162176 267250 1992294400 134512640 135751879 4292842432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 268106 267250 151 303 0 267801 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1072424

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 0.91 2/107 27587
/proc/meminfo: memFree=817012/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=1099616 CPUtime=1541.8
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 274169 0 0 0 152938 1242 0 0 25 0 1 0 22882887 1126006784 274047 1992294400 134512640 135751879 4292842432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 274904 274047 151 303 0 274599 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1099616

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 27589
/proc/meminfo: memFree=788244/2059040 swapFree=4081432/4192956
[pid=27535] ppid=27533 vsize=1128552 CPUtime=1601.79
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 281392 0 0 0 158906 1273 0 0 25 0 1 0 22882887 1155637248 281270 1992294400 134512640 135751879 4292842432 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 282138 281270 151 303 0 281833 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1128552

[startup+1662.3 s]
/proc/loadavg: 1.10 1.03 0.92 2/107 27592
/proc/meminfo: memFree=700448/2059040 swapFree=4081608/4192956
[pid=27535] ppid=27533 vsize=1160508 CPUtime=1661.77
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 289349 0 0 0 164866 1311 0 0 25 0 1 0 22882887 1188360192 289227 1992294400 134512640 135751879 4292842432 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 290127 289227 151 303 0 289822 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1160508

[startup+1722.3 s]
/proc/loadavg: 1.04 1.02 0.92 2/107 27594
/proc/meminfo: memFree=673416/2059040 swapFree=4081608/4192956
[pid=27535] ppid=27533 vsize=1187812 CPUtime=1721.75
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 296168 0 0 0 170829 1346 0 0 25 0 1 0 22882887 1216319488 296046 1992294400 134512640 135751879 4292842432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 296953 296046 151 303 0 296648 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1187812

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 0.92 2/107 27596
/proc/meminfo: memFree=643532/2059040 swapFree=4081608/4192956
[pid=27535] ppid=27533 vsize=1217636 CPUtime=1781.74
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 303569 0 0 0 176794 1380 0 0 25 0 1 0 22882887 1246859264 303447 1992294400 134512640 135751879 4292842432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 304409 303447 151 303 0 304104 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1217636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 1.01 0.92 2/107 27596
/proc/meminfo: memFree=638572/2059040 swapFree=4081608/4192956
[pid=27535] ppid=27533 vsize=1222448 CPUtime=1800.04
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4202496 304782 0 0 0 178617 1387 0 0 25 0 1 0 22882887 1251786752 304660 1992294400 134512640 135751879 4292842432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27535/statm: 305612 304660 151 303 0 305307 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1222448

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

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

[startup+1800.72 s]
/proc/loadavg: 1.01 1.01 0.92 2/107 27596
/proc/meminfo: memFree=638572/2059040 swapFree=4081608/4192956
[pid=27535] ppid=27533 vsize=0 CPUtime=1800.14
/proc/27535/stat : 27535 (wbo1.4b) R 27533 27535 27170 0 -1 4203524 304782 0 0 0 178617 1397 0 0 25 0 1 0 22882887 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27535/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): 1800.73
CPU time (s): 1800.16
CPU user time (s): 1786.17
CPU system time (s): 13.9919
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1222448

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

runsolver used 2.87956 second user time and 8.60869 second system time

The end

Launcher Data 

Begin job on node029 at 2010-07-08 01:51:54
IDJOB=2702172
IDBENCH=48021
IDSOLVER=1161
FILE ID=node029/2702172-1278546713
PBS_JOBID= 11239509
Free space on /tmp= 62560 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702172-1278546713/watcher-2702172-1278546713 -o /tmp/evaluation-result-2702172-1278546713/solver-2702172-1278546713 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702172-1278546713.opb

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

MD5SUM BENCH= 133707692e98c55077a0d19203c18204
RANDOM SEED=102579065

node029.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1921256 kB
Buffers:          3120 kB
Cached:          20796 kB
SwapCached:      58736 kB
Active:          16688 kB
Inactive:        67148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1921256 kB
SwapTotal:     4192956 kB
SwapFree:      4081400 kB
Dirty:            2712 kB
Writeback:           0 kB
AnonPages:        6432 kB
Mapped:           5652 kB
Slab:            32208 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181692 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702172-1278546713.opb

Free space on /tmp at the end= 62556 MiB
End job on node029 at 2010-07-08 02:21:56