Trace number 2656034

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.03 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
MD5SUM292e71503f1e4f136e087e61da3c7ed4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 118
Optimality of the best value was proved NO
Number of variables2470
Total number of constraints4744
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 constraints4744
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1357
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2656034-1276588083.opb.
0.00/0.00	c Instance file HOME/instance-2656034-1276588083.opb
0.00/0.00	c File size is 1119445 bytes.
0.09/0.18	c Highest Coefficient sum: 1357
0.09/0.18	c ============================[ Problem Statistics ]=============================
0.09/0.18	c |                                                                             |
0.09/0.18	c |  Parsing time:          0.18         s                                      |
0.09/0.18	c |  Number Variables:      2470                                                |
0.09/0.18	c |  Number Clauses:        0                                                   |
0.09/0.18	c |  Number Cardinality:    0                                                   |
0.09/0.18	c |  Number PB Constraints: 4744                                                |
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |    2470     4744   140124 |     5000        0    nan |  0.000 % |
0.59/0.61	c |       101 |    2470     4744   140124 |     5500      101     31 |  0.000 % |
0.89/0.98	c |       253 |    2470     4744   140124 |     6050      253     31 |  0.000 % |
1.28/1.39	c |       478 |    2470     4744   140124 |     6655      478     30 |  0.000 % |
1.78/1.80	c |       815 |    2470     4744   140124 |     7320      815     29 |  0.000 % |
2.58/2.60	c |      1321 |    2470     4744   140124 |     8052     1321     32 |  0.000 % |
3.89/3.92	c |      2080 |    2470     4744   140124 |     8857     2080     35 |  0.000 % |
5.58/5.68	c |      3220 |    2470     4744   140124 |     9743     3220     36 |  0.000 % |
8.58/8.66	c |      4929 |    2470     4744   140124 |    10717     4929     34 |  0.000 % |
14.29/14.32	c |      7493 |    2470     4744   140124 |    11789     7493     34 |  0.000 % |
17.48/17.57	c ===============================================================================
17.48/17.57	c New solution: 164
17.48/17.57	o 164
17.48/17.57	c Elapsed CPU time: 17.5133 s	Remaining CPU time: 162.487 s
17.48/17.57	c ===============================================================================
17.48/17.57	c |      9006 |    2470     4745   140132 |     5000     9006     36 |  0.000 % |
17.68/17.76	c |      9107 |    2470     4745   140132 |     5500     4604     37 |  0.000 % |
17.98/18.02	c |      9257 |    2470     4745   140132 |     6050     4754     37 |  0.000 % |
18.49/18.55	c |      9483 |    2470     4745   140132 |     6655     4980     37 |  0.000 % |
19.08/19.10	c |      9821 |    2470     4745   140132 |     7320     5318     36 |  0.000 % |
19.88/19.98	c |     10328 |    2470     4745   140132 |     8052     5825     37 |  0.000 % |
21.58/21.61	c |     11088 |    2470     4745   140132 |     8857     6585     37 |  0.000 % |
23.28/23.38	c |     12227 |    2470     4745   140132 |     9743     7724     37 |  0.000 % |
25.98/26.06	c |     13935 |    2470     4745   140132 |    10717     9432     36 |  0.000 % |
26.78/26.80	c ===============================================================================
26.78/26.80	c New solution: 163
26.78/26.80	o 163
26.78/26.80	c Elapsed CPU time: 26.7179 s	Remaining CPU time: 153.282 s
26.78/26.80	c ===============================================================================
26.78/26.80	c |     14387 |    2470     4746   140140 |     5000     9884     36 |  0.000 % |
26.98/27.04	c |     14488 |    2470     4746   140140 |     5500     5043     35 |  0.000 % |
27.18/27.25	c |     14639 |    2470     4746   140140 |     6050     5194     35 |  0.000 % |
27.68/27.70	c |     14864 |    2470     4746   140140 |     6655     5419     35 |  0.000 % |
27.98/28.02	c |     15202 |    2470     4746   140140 |     7320     5757     35 |  0.000 % |
28.68/28.73	c |     15708 |    2470     4746   140140 |     8052     6263     35 |  0.000 % |
29.58/29.60	c |     16467 |    2470     4746   140140 |     8857     7022     34 |  0.000 % |
31.89/31.94	c |     17606 |    2470     4746   140140 |     9743     8161     35 |  0.000 % |
34.88/34.98	c |     19316 |    2470     4746   140140 |    10717     9871     35 |  0.000 % |
35.28/35.39	c ===============================================================================
35.28/35.39	c New solution: 161
35.28/35.39	o 161
35.28/35.39	c Elapsed CPU time: 35.2866 s	Remaining CPU time: 144.713 s
35.28/35.39	c ===============================================================================
35.28/35.39	c |     19556 |    2470     4747   140148 |     5000    10111     36 |  0.000 % |
35.48/35.56	c |     19656 |    2470     4747   140148 |     5500     2628     37 |  0.000 % |
35.78/35.82	c |     19806 |    2470     4747   140148 |     6050     2778     37 |  0.000 % |
36.18/36.21	c |     20031 |    2470     4747   140148 |     6655     3003     36 |  0.000 % |
36.68/36.79	c |     20369 |    2470     4747   140148 |     7320     3341     37 |  0.000 % |
37.67/37.76	c |     20876 |    2470     4747   140148 |     8052     3848     37 |  0.000 % |
38.68/38.75	c ===============================================================================
38.68/38.75	c New solution: 156
38.68/38.75	o 156
38.68/38.75	c Elapsed CPU time: 38.6311 s	Remaining CPU time: 141.369 s
38.68/38.75	c ===============================================================================
38.68/38.75	c |     21374 |    2470     4748   140156 |     5000     4346     38 |  0.000 % |
38.88/38.90	c |     21474 |    2470     4748   140156 |     5500     4446     38 |  0.000 % |
38.97/39.08	c |     21624 |    2470     4748   140156 |     6050     4596     37 |  0.000 % |
39.37/39.49	c |     21850 |    2470     4748   140156 |     6655     4822     37 |  0.000 % |
39.77/39.87	c |     22187 |    2470     4748   140156 |     7320     5159     37 |  0.000 % |
40.38/40.44	c |     22693 |    2470     4748   140156 |     8052     5665     37 |  0.000 % |
42.08/42.11	c |     23452 |    2470     4748   140156 |     8857     6424     36 |  0.000 % |
43.78/43.83	c |     24591 |    2470     4748   140156 |     9743     7563     37 |  0.000 % |
46.47/46.55	c |     26299 |    2470     4748   140156 |    10717     9271     35 |  0.000 % |
47.78/47.88	c ===============================================================================
47.78/47.88	c New solution: 154
47.78/47.88	o 154
47.78/47.88	c Elapsed CPU time: 47.7297 s	Remaining CPU time: 132.27 s
47.78/47.88	c ===============================================================================
47.78/47.88	c |     27318 |    2470     4749   140164 |     5000    10290     35 |  0.000 % |
47.98/48.09	c |     27421 |    2470     4749   140164 |     5500     2676     31 |  0.000 % |
48.18/48.27	c |     27575 |    2470     4749   140164 |     6050     2830     31 |  0.000 % |
48.38/48.45	c |     27801 |    2470     4749   140164 |     6655     3056     30 |  0.000 % |
49.07/49.14	c |     28138 |    2470     4749   140164 |     7320     3393     32 |  0.000 % |
50.08/50.10	c |     28646 |    2470     4749   140164 |     8052     3901     31 |  0.000 % |
51.08/51.11	c |     29405 |    2470     4749   140164 |     8857     4660     31 |  0.000 % |
52.97/53.05	c |     30544 |    2470     4749   140164 |     9743     5799     32 |  0.000 % |
55.77/55.82	c |     32252 |    2470     4749   140164 |    10717     7507     33 |  0.000 % |
58.67/58.72	c |     34815 |    2470     4749   140164 |    11789    10070     33 |  0.000 % |
59.17/59.28	c ===============================================================================
59.17/59.28	c New solution: 153
59.17/59.28	o 153
59.17/59.28	c Elapsed CPU time: 59.084 s	Remaining CPU time: 120.916 s
59.17/59.28	c ===============================================================================
59.17/59.28	c |     35195 |    2470     4750   140172 |     5000    10450     33 |  0.000 % |
59.38/59.45	c |     35296 |    2470     4750   140172 |     5500     2714     33 |  0.000 % |
59.77/59.81	c |     35447 |    2470     4750   140172 |     6050     2865     33 |  0.000 % |
59.97/60.03	c |     35673 |    2470     4750   140172 |     6655     3091     32 |  0.000 % |
60.58/60.69	c |     36010 |    2470     4750   140172 |     7320     3428     33 |  0.000 % |
60.97/61.05	c ===============================================================================
60.97/61.05	c New solution: 152
60.97/61.05	o 152
60.97/61.05	c Elapsed CPU time: 60.8507 s	Remaining CPU time: 119.149 s
60.97/61.05	c ===============================================================================
60.97/61.05	c |     36208 |    2470     4751   140180 |     5000     3626     34 |  0.000 % |
61.17/61.24	c |     36309 |    2470     4751   140180 |     5500     3727     33 |  0.000 % |
61.48/61.50	c |     36459 |    2470     4751   140180 |     6050     3877     33 |  0.000 % |
61.77/61.81	c |     36684 |    2470     4751   140180 |     6655     4102     33 |  0.000 % |
62.27/62.31	c |     37021 |    2470     4751   140180 |     7320     4439     34 |  0.000 % |
62.87/62.93	c |     37527 |    2470     4751   140180 |     8052     4945     33 |  0.000 % |
64.57/64.68	c |     38286 |    2470     4751   140180 |     8857     5704     34 |  0.000 % |
65.98/66.01	c |     39427 |    2470     4751   140180 |     9743     6845     33 |  0.000 % |
66.67/66.76	c ===============================================================================
66.67/66.76	c New solution: 151
66.67/66.76	o 151
66.67/66.76	c Elapsed CPU time: 66.5409 s	Remaining CPU time: 113.459 s
66.67/66.76	c ===============================================================================
66.67/66.76	c |     40050 |    2470     4752   140188 |     5000     7468     33 |  0.000 % |
66.86/66.91	c |     40150 |    2470     4752   140188 |     5500     3834     32 |  0.000 % |
67.08/67.19	c |     40301 |    2470     4752   140188 |     6050     3985     32 |  0.000 % |
67.47/67.50	c |     40527 |    2470     4752   140188 |     6655     4211     32 |  0.000 % |
67.97/68.01	c |     40864 |    2470     4752   140188 |     7320     4548     33 |  0.000 % |
68.67/68.71	c |     41370 |    2470     4752   140188 |     8052     5054     32 |  0.000 % |
69.57/69.60	c |     42129 |    2470     4752   140188 |     8857     5813     31 |  0.000 % |
72.07/72.15	c |     43269 |    2470     4752   140188 |     9743     6953     33 |  0.000 % |
72.97/73.08	c ===============================================================================
72.97/73.08	c New solution: 133
72.97/73.08	o 133
72.97/73.08	c Elapsed CPU time: 72.8419 s	Remaining CPU time: 107.158 s
72.97/73.08	c ===============================================================================
72.97/73.08	c |     43877 |    2470     4753   140196 |     5000     7561     33 |  0.000 % |
73.17/73.24	c |     43977 |    2470     4753   140196 |     5500     3881     33 |  0.000 % |
73.27/73.39	c |     44128 |    2470     4753   140196 |     6050     4032     33 |  0.000 % |
73.68/73.79	c |     44355 |    2470     4753   140196 |     6655     4259     33 |  0.000 % |
74.17/74.30	c |     44692 |    2470     4753   140196 |     7320     4596     33 |  0.000 % |
74.78/74.89	c |     45199 |    2470     4753   140196 |     8052     5103     33 |  0.000 % |
75.97/76.00	c |     45959 |    2470     4753   140196 |     8857     5863     33 |  0.000 % |
78.27/78.30	c |     47098 |    2462     4753   140196 |     9743     6049     33 |  0.324 % |
82.07/82.12	c |     48806 |    2462     4753   140196 |    10717     7757     35 |  0.324 % |
86.87/86.95	c |     51368 |    2462     4753   140196 |    11789    10319     37 |  0.324 % |
93.47/93.59	c |     55212 |    2462     4753   140196 |    12968     8008     44 |  0.324 % |
100.76/100.81	c |     60981 |    2462     4753   140196 |    14265     7225     33 |  0.324 % |
113.36/113.42	c |     69632 |    2462     4753   140196 |    15692     8618     32 |  0.324 % |
128.96/129.06	c |     82607 |    2462     4753   140196 |    17261    13685     30 |  0.324 % |
169.54/169.62	c |    102068 |    2462     4753   140196 |    18987    14946     47 |  0.324 % |
180.54/180.62	c There are 8 assigned variables. 0 in cost function.
180.84/180.95	c core #1
180.84/180.95	c core #2
180.84/180.95	c ============================[ Search Statistics ]==============================
180.84/180.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.84/180.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.84/180.95	c ===============================================================================
180.84/180.95	c |         0 |    2407     4785   129730 |     5000        0    nan |  0.000 % |
180.84/180.96	c ===============================================================================
180.94/181.05	c core #3
180.94/181.05	c ============================[ Search Statistics ]==============================
180.94/181.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.94/181.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.94/181.05	c ===============================================================================
180.94/181.05	c |         0 |    2415     4792   129740 |     5000        0    nan |  0.000 % |
180.94/181.06	c ===============================================================================
181.04/181.16	c core #4
181.04/181.16	c ============================[ Search Statistics ]==============================
181.04/181.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.04/181.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.04/181.16	c ===============================================================================
181.04/181.16	c |         0 |    2434     4798   129754 |     5000        0    nan |  0.000 % |
181.04/181.18	c ===============================================================================
181.14/181.27	c core #5
181.14/181.27	c ============================[ Search Statistics ]==============================
181.14/181.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.14/181.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.14/181.27	c ===============================================================================
181.14/181.27	c |         0 |    2444     4804   129769 |     5000        0    nan |  0.000 % |
181.24/181.31	c ===============================================================================
181.35/181.41	c core #6
181.35/181.41	c ============================[ Search Statistics ]==============================
181.35/181.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.35/181.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.35/181.41	c ===============================================================================
181.35/181.41	c |         0 |    2462     4809   129786 |     5000        0    nan |  0.000 % |
181.35/181.47	c ===============================================================================
181.45/181.57	c core #7
181.45/181.57	c ============================[ Search Statistics ]==============================
181.45/181.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.45/181.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.45/181.57	c ===============================================================================
181.45/181.57	c |         0 |    2473     4814   129804 |     5000        0    nan |  0.000 % |
181.64/181.71	c ===============================================================================
181.74/181.81	c core #8
181.74/181.81	c ============================[ Search Statistics ]==============================
181.74/181.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.74/181.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.74/181.81	c ===============================================================================
181.74/181.81	c |         0 |    2485     4819   129824 |     5000        0    nan |  0.000 % |
181.94/182.08	c |       100 |    2485     4819   129824 |     5500      100     21 |  2.050 % |
182.34/182.47	c |       252 |    2484     4819   129824 |     6050      252     22 |  2.089 % |
182.55/182.67	c ===============================================================================
182.64/182.74	c core #9
182.64/182.74	c ============================[ Search Statistics ]==============================
182.64/182.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.74	c ===============================================================================
182.64/182.74	c |         0 |    2502     4823   129846 |     5000        0    nan |  0.000 % |
182.95/183.09	c |       100 |    2502     4823   129846 |     5500      100     22 |  1.536 % |
183.44/183.54	c |       250 |    2494     4823   129846 |     6050      250     24 |  2.440 % |
183.55/183.68	c ===============================================================================
183.65/183.78	c core #10
183.65/183.78	c ============================[ Search Statistics ]==============================
183.65/183.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.78	c ===============================================================================
183.65/183.78	c |         0 |    2515     4829   129873 |     5000        0    nan |  0.000 % |
183.94/184.09	c |       101 |    2515     4829   129873 |     5500      101     21 |  1.527 % |
184.44/184.51	c |       251 |    2511     4829   129873 |     6050      251     25 |  1.919 % |
184.84/184.93	c |       476 |    2506     4829   129873 |     6655      476     25 |  3.021 % |
185.65/185.79	c ===============================================================================
185.75/185.88	c core #11
185.75/185.88	c ============================[ Search Statistics ]==============================
185.75/185.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.75/185.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.75/185.88	c ===============================================================================
185.75/185.88	c |         0 |    2529     4835   129902 |     5000        0    nan |  0.000 % |
186.04/186.17	c |       100 |    2529     4835   129902 |     5500      100     21 |  1.519 % |
186.44/186.57	c |       251 |    2529     4835   129902 |     6050      251     24 |  1.519 % |
187.04/187.15	c |       477 |    2529     4835   129902 |     6655      477     24 |  1.519 % |
187.84/187.98	c |       815 |    2528     4835   129902 |     7320      405     24 |  1.558 % |
189.15/189.22	c |      1322 |    2517     4835   129902 |     8052      912     26 |  3.232 % |
189.74/189.88	c ===============================================================================
189.84/189.98	c core #12
189.84/189.98	c ============================[ Search Statistics ]==============================
189.84/189.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.98	c ===============================================================================
189.84/189.98	c |         0 |    2534     4839   129909 |     5000        0    nan |  0.000 % |
190.15/190.28	c |       101 |    2534     4839   129909 |     5500      101     24 |  1.516 % |
190.54/190.65	c |       253 |    2534     4839   129909 |     6050      253     26 |  1.516 % |
191.25/191.32	c |       479 |    2534     4839   129909 |     6655      479     27 |  1.516 % |
191.94/192.03	c |       816 |    2534     4839   129909 |     7320      816     28 |  1.516 % |
192.95/193.07	c |      1323 |    2534     4839   129909 |     8052     1323     29 |  1.516 % |
195.04/195.10	c |      2083 |    2534     4839   129909 |     8857     2083     29 |  1.516 % |
197.74/197.80	c |      3222 |    2532     4839   129909 |     9743     2109     30 |  1.594 % |
198.04/198.19	c ===============================================================================
198.14/198.29	c core #13
198.14/198.29	c ============================[ Search Statistics ]==============================
198.14/198.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.14/198.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.14/198.29	c ===============================================================================
198.14/198.29	c |         0 |    2546     4843   129930 |     5000        0    nan |  0.000 % |
198.44/198.60	c |       100 |    2546     4843   129930 |     5500      100     22 |  1.509 % |
198.73/198.85	c |       250 |    2546     4843   129930 |     6050      250     23 |  1.509 % |
199.23/199.35	c |       476 |    2545     4843   129930 |     6655      476     23 |  1.780 % |
200.15/200.26	c |       814 |    2545     4843   129930 |     7320      814     24 |  1.780 % |
201.34/201.42	c |      1321 |    2539     4843   129930 |     8052     1107     24 |  1.819 % |
203.24/203.30	c |      2080 |    2539     4843   129930 |     8857     1866     25 |  1.818 % |
205.94/206.09	c |      3222 |    2537     4843   129930 |     9743     2699     25 |  1.858 % |
206.24/206.36	c ===============================================================================
206.34/206.45	c core #14
206.34/206.45	c ============================[ Search Statistics ]==============================
206.34/206.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.34/206.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.34/206.45	c ===============================================================================
206.34/206.45	c |         0 |    2562     4846   129961 |     5000        0    nan |  0.000 % |
206.65/206.72	c |       101 |    2562     4846   129961 |     5500      101     23 |  1.005 % |
206.84/206.98	c |       252 |    2551     4846   129961 |     6050      252     22 |  1.777 % |
207.24/207.40	c |       477 |    2551     4846   129961 |     6655      477     23 |  1.777 % |
207.85/207.94	c |       815 |    2550     4846   129961 |     7320      815     22 |  2.165 % |
208.95/209.07	c |      1322 |    2549     4846   129961 |     8052     1322     23 |  2.164 % |
210.53/210.62	c |      2081 |    2529     4846   129961 |     8857     1854     23 |  5.255 % |
213.34/213.48	c |      3222 |    2529     4846   129961 |     9743     2995     24 |  5.256 % |
216.93/217.05	c |      4931 |    2452     4846   129961 |    10717     4098     25 |  5.255 % |
222.63/222.71	c |      7493 |    2448     4846   129961 |    11789     3850     25 |  7.226 % |
224.63/224.70	c ===============================================================================
224.63/224.79	c core #15
224.63/224.79	c ============================[ Search Statistics ]==============================
224.63/224.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
224.63/224.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
224.63/224.79	c ===============================================================================
224.63/224.79	c |         0 |    2577     4851   129993 |     5000        0    nan |  0.000 % |
224.93/225.08	c |       101 |    2577     4851   129993 |     5500      101     19 |  0.999 % |
225.34/225.48	c |       251 |    2577     4851   129993 |     6050      251     22 |  0.999 % |
225.83/225.99	c |       476 |    2577     4851   129993 |     6655      476     23 |  0.999 % |
226.34/226.46	c |       814 |    2569     4851   129993 |     7320      808     22 |  1.306 % |
226.94/227.06	c |      1321 |    2569     4851   129993 |     8052     1315     23 |  1.306 % |
227.83/227.99	c |      2080 |    2569     4851   129993 |     8857     2074     23 |  1.306 % |
229.34/229.41	c |      3219 |    2569     4851   129993 |     9743     3213     23 |  1.306 % |
232.33/232.41	c |      4929 |    2569     4851   129993 |    10717     4923     24 |  1.306 % |
236.63/236.79	c |      7492 |    2569     4851   129993 |    11789     7486     24 |  1.306 % |
243.13/243.24	c |     11336 |    2569     4851   129993 |    12968    11330     24 |  1.306 % |
253.73/253.88	c ===============================================================================
253.83/253.98	c core #16
253.83/253.98	c ============================[ Search Statistics ]==============================
253.83/253.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
253.83/253.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
253.83/253.98	c ===============================================================================
253.83/253.98	c |         0 |    2584     4857   130011 |     5000        0    nan |  0.000 % |
254.12/254.24	c |       101 |    2584     4857   130011 |     5500      101     21 |  0.996 % |
254.43/254.56	c |       253 |    2584     4857   130011 |     6050      253     24 |  0.996 % |
254.93/255.05	c |       480 |    2584     4857   130011 |     6655      480     26 |  0.996 % |
255.63/255.74	c |       817 |    2584     4857   130011 |     7320      817     26 |  0.996 % |
256.73/256.86	c |      1323 |    2584     4857   130011 |     8052     1323     28 |  0.996 % |
258.33/258.43	c |      2082 |    2584     4857   130011 |     8857     2082     30 |  0.996 % |
260.92/261.07	c |      3221 |    2584     4857   130011 |     9743     3221     32 |  0.996 % |
263.63/263.75	c |      4931 |    2584     4857   130011 |    10717     4931     32 |  0.996 % |
269.52/269.68	c |      7494 |    2584     4857   130011 |    11789     7494     33 |  0.996 % |
279.92/280.01	c |     11338 |    2584     4857   130011 |    12968    11338     33 |  0.996 % |
294.23/294.35	c |     17104 |    2574     4857   130011 |    14265    10576     33 |  1.379 % |
310.72/310.87	c |     25754 |    2569     4857   130011 |    15692     1689     27 |  1.572 % |
311.52/311.67	c ===============================================================================
311.71/311.84	c core #17
311.71/311.84	c ============================[ Search Statistics ]==============================
311.71/311.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
311.71/311.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
311.71/311.84	c ===============================================================================
311.71/311.84	c |         0 |    2608     4863   130063 |     5000        0    nan |  0.000 % |
312.01/312.10	c |       101 |    2608     4863   130063 |     5500      101     25 |  0.987 % |
312.32/312.41	c |       251 |    2608     4863   130063 |     6050      251     27 |  0.987 % |
312.61/312.75	c |       476 |    2608     4863   130063 |     6655      476     25 |  0.987 % |
313.21/313.31	c |       814 |    2608     4863   130063 |     7320      814     25 |  0.987 % |
314.22/314.37	c |      1320 |    2608     4863   130063 |     8052     1320     27 |  0.987 % |
315.52/315.63	c |      2079 |    2608     4863   130063 |     8857     2079     27 |  0.987 % |
317.01/317.18	c |      3218 |    2608     4863   130063 |     9743     3218     27 |  0.987 % |
320.22/320.30	c |      4926 |    2608     4863   130063 |    10717     4926     28 |  0.987 % |
325.61/325.77	c |      7488 |    2608     4863   130063 |    11789     7488     29 |  0.988 % |
333.31/333.47	c |     11332 |    2608     4863   130063 |    12968    11332     29 |  0.987 % |
343.51/343.67	c |     17101 |    2608     4863   130063 |    14265    10508     30 |  0.987 % |
358.52/358.67	c |     25750 |    2608     4863   130063 |    15692    11905     30 |  0.987 % |
380.51/380.64	c |     38725 |    2608     4863   130063 |    17261     8913     37 |  0.987 % |
415.80/415.98	c |     58187 |    2608     4863   130063 |    18987    10641     34 |  0.988 % |
456.89/457.05	c ===============================================================================
457.09/457.25	c core #18
457.09/457.25	c ============================[ Search Statistics ]==============================
457.09/457.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
457.09/457.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
457.09/457.25	c ===============================================================================
457.09/457.25	c |         0 |    2621     4868   130091 |     5000        0    nan |  0.000 % |
457.40/457.53	c |       100 |    2621     4868   130091 |     5500      100     25 |  0.982 % |
457.69/457.83	c |       252 |    2621     4868   130091 |     6050      252     21 |  0.982 % |
457.89/458.07	c |       478 |    2621     4868   130091 |     6655      478     21 |  0.982 % |
458.59/458.79	c |       816 |    2621     4868   130091 |     7320      816     22 |  0.982 % |
459.08/459.23	c |      1324 |    2621     4868   130091 |     8052     1324     21 |  0.982 % |
460.80/460.94	c |      2084 |    2621     4868   130091 |     8857     2084     24 |  0.982 % |
462.99/463.19	c |      3223 |    2621     4868   130091 |     9743     3223     26 |  0.982 % |
465.68/465.84	c |      4931 |    2621     4868   130091 |    10717     4931     27 |  0.982 % |
469.08/469.24	c |      7493 |    2621     4868   130091 |    11789     7493     26 |  0.983 % |
473.89/474.03	c |     11337 |    2613     4868   130091 |    12968     8599     26 |  1.284 % |
482.38/482.57	c |     17103 |    2612     4868   130091 |    14265    10751     26 |  1.322 % |
487.67/487.85	c ===============================================================================
487.78/487.95	c core #19
487.78/487.95	c ============================[ Search Statistics ]==============================
487.78/487.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
487.78/487.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
487.78/487.95	c ===============================================================================
487.78/487.95	c |         0 |    2625     4871   130097 |     5000        0    nan |  0.000 % |
487.98/488.19	c |       100 |    2625     4871   130097 |     5500      100     20 |  0.981 % |
488.29/488.44	c |       251 |    2625     4871   130097 |     6050      251     19 |  0.981 % |
488.58/488.76	c |       477 |    2625     4871   130097 |     6655      477     19 |  0.981 % |
489.28/489.41	c |       814 |    2625     4871   130097 |     7320      814     21 |  0.981 % |
490.17/490.36	c |      1321 |    2625     4871   130097 |     8052     1321     23 |  0.981 % |
491.08/491.24	c |      2081 |    2625     4871   130097 |     8857     2081     23 |  0.981 % |
493.47/493.61	c |      3220 |    2625     4871   130097 |     9743     3220     26 |  0.981 % |
496.17/496.38	c |      4929 |    2625     4871   130097 |    10717     4929     27 |  0.981 % |
501.97/502.17	c |      7491 |    2625     4871   130097 |    11789     7491     28 |  0.981 % |
507.77/507.92	c |     11335 |    2625     4871   130097 |    12968    11335     27 |  0.981 % |
524.77/524.93	c |     17101 |    2625     4871   130097 |    14265    10546     27 |  0.981 % |
541.07/541.27	c |     25752 |    2625     4871   130097 |    15692    11949     30 |  0.981 % |
566.96/567.11	c |     38727 |    2625     4871   130097 |    17261     9074     31 |  0.981 % |
603.44/603.64	c ===============================================================================
603.66/603.81	c core #20
603.66/603.81	c ============================[ Search Statistics ]==============================
603.66/603.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
603.66/603.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
603.66/603.81	c ===============================================================================
603.66/603.81	c |         0 |    2634     4874   130113 |     5000        0    nan |  0.000 % |
603.85/604.03	c |       103 |    2634     4874   130113 |     5500      103     21 |  0.977 % |
604.05/604.26	c |       254 |    2634     4874   130113 |     6050      254     19 |  0.978 % |
604.35/604.50	c |       480 |    2634     4874   130113 |     6655      480     19 |  0.977 % |
604.95/605.11	c |       817 |    2634     4874   130113 |     7320      817     22 |  0.977 % |
605.64/605.89	c |      1323 |    2634     4874   130113 |     8052     1323     24 |  0.977 % |
607.14/607.34	c |      2083 |    2634     4874   130113 |     8857     2083     26 |  0.977 % |
608.55/608.78	c |      3222 |    2634     4874   130113 |     9743     3222     27 |  0.977 % |
611.64/611.85	c |      4930 |    2634     4874   130113 |    10717     4930     27 |  0.978 % |
614.84/615.07	c |      7493 |    2634     4874   130113 |    11789     7493     28 |  0.977 % |
620.94/621.14	c |     11337 |    2634     4874   130113 |    12968    11337     29 |  0.977 % |
631.34/631.51	c |     17103 |    2634     4874   130113 |    14265    10551     32 |  0.977 % |
646.23/646.49	c |     25752 |    2634     4874   130113 |    15692    12016     31 |  0.977 % |
674.72/674.99	c |     38726 |    2634     4874   130113 |    17261     9077     32 |  0.977 % |
706.91/707.18	c |     58189 |    2633     4874   130113 |    18987    13671     33 |  1.015 % |
720.22/720.40	c ===============================================================================
720.32/720.57	c core #21
720.32/720.57	c ============================[ Search Statistics ]==============================
720.32/720.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
720.32/720.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
720.32/720.57	c ===============================================================================
720.32/720.57	c |         0 |    2649     4877   130141 |     5000        0    nan |  0.000 % |
720.61/720.84	c |       100 |    2649     4877   130141 |     5500      100     25 |  0.972 % |
721.01/721.25	c |       250 |    2649     4877   130141 |     6050      250     26 |  0.972 % |
721.42/721.69	c |       475 |    2649     4877   130141 |     6655      475     25 |  0.972 % |
722.01/722.26	c |       813 |    2649     4877   130141 |     7320      813     27 |  0.972 % |
722.91/723.14	c |      1320 |    2649     4877   130141 |     8052     1320     27 |  0.972 % |
724.01/724.22	c |      2079 |    2649     4877   130141 |     8857     2079     27 |  0.972 % |
725.81/726.01	c |      3218 |    2649     4877   130141 |     9743     3218     26 |  0.972 % |
729.31/729.55	c |      4927 |    2649     4877   130141 |    10717     4927     28 |  0.972 % |
732.41/732.69	c |      7490 |    2649     4877   130141 |    11789     7490     27 |  0.972 % |
739.20/739.49	c |     11334 |    2649     4877   130141 |    12968    11334     28 |  0.972 % |
748.00/748.21	c |     17102 |    2649     4877   130141 |    14265    10580     28 |  0.973 % |
761.30/761.50	c |     25752 |    2649     4877   130141 |    15692    12037     27 |  0.972 % |
784.17/784.49	c |     38726 |    2649     4877   130141 |    17261     9007     30 |  0.972 % |
828.26/828.59	c |     58187 |    2649     4877   130141 |    18987    10617     30 |  0.973 % |
884.64/884.94	c |     87379 |    2585     4877   130141 |    20886    13733     31 |  3.365 % |
974.12/974.44	c |    131168 |    2585     4877   130141 |    22974    15345     32 |  3.365 % |
1100.29/1100.66	c |    196852 |    2585     4877   130141 |    25272    22894     30 |  3.364 % |
1291.74/1292.12	c |    295379 |    2585     4877   130141 |    27799    13547     32 |  3.365 % |
1591.86/1592.32	c |    443169 |    2585     4877   130141 |    30579    17361     31 |  3.364 % |

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-2656034-1276588083/watcher-2656034-1276588083 -o /tmp/evaluation-result-2656034-1276588083/solver-2656034-1276588083 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656034-1276588083.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.06 0.11 0.24 1/107 2399
/proc/meminfo: memFree=1692636/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=3668 CPUtime=0
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 282 0 0 0 0 0 0 0 22 0 1 0 102028 3756032 200 1992294400 134512640 135751879 4290303232 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 917 200 140 303 0 338 0

[startup+0.0861869 s]
/proc/loadavg: 0.06 0.11 0.24 1/107 2399
/proc/meminfo: memFree=1692636/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=5668 CPUtime=0.07
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 898 0 0 0 7 0 0 0 22 0 1 0 102028 5804032 816 1992294400 134512640 135751879 4290303232 18446744073709551615 135225254 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 1417 816 258 303 0 838 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5668

[startup+0.101188 s]
/proc/loadavg: 0.06 0.11 0.24 1/107 2399
/proc/meminfo: memFree=1692636/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=6092 CPUtime=0.09
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 1017 0 0 0 9 0 0 0 22 0 1 0 102028 6238208 935 1992294400 134512640 135751879 4290303232 18446744073709551615 134562161 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 1523 935 281 303 0 944 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6092

[startup+0.301215 s]
/proc/loadavg: 0.06 0.11 0.24 1/107 2399
/proc/meminfo: memFree=1692636/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=7188 CPUtime=0.29
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 1779 0 0 0 29 0 0 0 23 0 1 0 102028 7360512 1374 1992294400 134512640 135751879 4290303232 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 1797 1374 146 303 0 1492 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7188

[startup+0.701269 s]
/proc/loadavg: 0.06 0.11 0.24 1/107 2399
/proc/meminfo: memFree=1692636/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=7188 CPUtime=0.69
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 1780 0 0 0 69 0 0 0 25 0 1 0 102028 7360512 1375 1992294400 134512640 135751879 4290303232 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 1797 1375 147 303 0 1492 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7188

[startup+1.50138 s]
/proc/loadavg: 0.06 0.11 0.24 2/108 2400
/proc/meminfo: memFree=1687420/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=7320 CPUtime=1.48
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 1781 0 0 0 148 0 0 0 25 0 1 0 102028 7495680 1376 1992294400 134512640 135751879 4290303232 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 1830 1376 147 303 0 1525 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7320

[startup+3.10159 s]
/proc/loadavg: 0.06 0.11 0.24 2/108 2400
/proc/meminfo: memFree=1687296/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=7452 CPUtime=3.09
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 1844 0 0 0 308 1 0 0 25 0 1 0 102028 7630848 1439 1992294400 134512640 135751879 4290303232 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 1863 1439 147 303 0 1558 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7452

[startup+6.30201 s]
/proc/loadavg: 0.21 0.14 0.25 2/108 2400
/proc/meminfo: memFree=1686676/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=7980 CPUtime=6.29
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 1971 0 0 0 627 2 0 0 25 0 1 0 102028 8171520 1566 1992294400 134512640 135751879 4290303232 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 1995 1566 147 303 0 1690 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7980

[startup+12.7008 s]
/proc/loadavg: 0.43 0.19 0.26 2/108 2400
/proc/meminfo: memFree=1685808/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=8640 CPUtime=12.68
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 2142 0 0 0 1265 3 0 0 25 0 1 0 102028 8847360 1737 1992294400 134512640 135751879 4290303232 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 2160 1737 147 303 0 1855 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8640

[startup+25.5004 s]
/proc/loadavg: 0.56 0.23 0.27 2/108 2400
/proc/meminfo: memFree=1684320/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=10356 CPUtime=25.48
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 2540 0 0 0 2541 7 0 0 25 0 1 0 102028 10604544 2135 1992294400 134512640 135751879 4290303232 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 2589 2135 148 303 0 2284 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10356

[startup+51.1004 s]
/proc/loadavg: 0.71 0.29 0.29 2/108 2400
/proc/meminfo: memFree=1680980/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=13784 CPUtime=51.08
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 3403 0 0 0 5094 14 0 0 25 0 1 0 102028 14114816 2998 1992294400 134512640 135751879 4290303232 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 3446 2998 148 303 0 3141 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13784

[startup+102.308 s]
/proc/loadavg: 0.87 0.40 0.33 2/108 2402
/proc/meminfo: memFree=1673664/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=20912 CPUtime=102.27
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 5192 0 0 0 10195 32 0 0 25 0 1 0 102028 21413888 4787 1992294400 134512640 135751879 4290303232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 5228 4787 148 303 0 4923 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20912

[startup+162.301 s]
/proc/loadavg: 0.95 0.50 0.37 2/108 2404
/proc/meminfo: memFree=1664984/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=29516 CPUtime=162.25
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 7351 0 0 0 16173 52 0 0 25 0 1 0 102028 30224384 6946 1992294400 134512640 135751879 4290303232 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 7379 6946 148 303 0 7074 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29516

[startup+222.3 s]
/proc/loadavg: 0.98 0.59 0.40 2/108 2406
/proc/meminfo: memFree=1658660/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=35764 CPUtime=222.23
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 8920 0 0 0 22160 63 0 0 25 0 1 0 102028 36622336 8515 1992294400 134512640 135751879 4290303232 18446744073709551615 134611307 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 8941 8515 151 303 0 8636 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35764

[startup+282.301 s]
/proc/loadavg: 0.99 0.66 0.44 2/108 2406
/proc/meminfo: memFree=1656800/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=37744 CPUtime=282.22
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 9402 0 0 0 28143 79 0 0 25 0 1 0 102028 38649856 8997 1992294400 134512640 135751879 4290303232 18446744073709551615 134611078 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 9436 8997 151 303 0 9131 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 37744

[startup+342.301 s]
/proc/loadavg: 0.99 0.72 0.47 2/108 2408
/proc/meminfo: memFree=1651840/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=42432 CPUtime=342.22
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 10580 0 0 0 34124 98 0 0 25 0 1 0 102028 43450368 10175 1992294400 134512640 135751879 4290303232 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 10608 10175 151 303 0 10303 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 42432

[startup+402.301 s]
/proc/loadavg: 0.99 0.77 0.50 2/108 2410
/proc/meminfo: memFree=1646136/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=48240 CPUtime=402.2
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 12046 0 0 0 40104 116 0 0 25 0 1 0 102028 49397760 11641 1992294400 134512640 135751879 4290303232 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 12060 11641 151 303 0 11755 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 48240

[startup+462.301 s]
/proc/loadavg: 1.03 0.82 0.53 2/108 2412
/proc/meminfo: memFree=1636464/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=57796 CPUtime=462.19
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 14405 0 0 0 46086 133 0 0 25 0 1 0 102028 59183104 14000 1992294400 134512640 135751879 4290303232 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 14449 14000 151 303 0 14144 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 57796

[startup+522.301 s]
/proc/loadavg: 1.01 0.85 0.56 2/108 2414
/proc/meminfo: memFree=1635596/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=58456 CPUtime=522.16
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 14584 0 0 0 52066 150 0 0 25 0 1 0 102028 59858944 14179 1992294400 134512640 135751879 4290303232 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 14614 14179 151 303 0 14309 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 58456

[startup+582.301 s]
/proc/loadavg: 1.00 0.88 0.58 2/108 2414
/proc/meminfo: memFree=1632992/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=60980 CPUtime=582.15
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 15222 0 0 0 58050 165 0 0 25 0 1 0 102028 62443520 14817 1992294400 134512640 135751879 4290303232 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 15245 14817 151 303 0 14940 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 60980

[startup+642.301 s]
/proc/loadavg: 1.00 0.90 0.61 2/108 2416
/proc/meminfo: memFree=1627040/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=66836 CPUtime=642.14
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 16692 0 0 0 64030 184 0 0 25 0 1 0 102028 68440064 16287 1992294400 134512640 135751879 4290303232 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 16709 16287 151 303 0 16404 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 66836

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.94 0.68 2/108 2431
/proc/meminfo: memFree=1608756/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=84244 CPUtime=882.04
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 21032 0 0 0 87954 250 0 0 25 0 1 0 102028 86265856 20627 1992294400 134512640 135751879 4290303232 18446744073709551615 134611210 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 21061 20627 151 303 0 20756 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 84244

[startup+942.301 s]
/proc/loadavg: 1.00 0.95 0.70 2/108 2433
/proc/meminfo: memFree=1603424/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=89656 CPUtime=942.03
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 22399 0 0 0 93936 267 0 0 25 0 1 0 102028 91807744 21994 1992294400 134512640 135751879 4290303232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 22414 21994 151 303 0 22109 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 89656

[startup+1002.3 s]
/proc/loadavg: 1.00 0.96 0.72 2/108 2435
/proc/meminfo: memFree=1597224/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=96004 CPUtime=1002.01
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 23957 0 0 0 99914 287 0 0 25 0 1 0 102028 98308096 23552 1992294400 134512640 135751879 4290303232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 24001 23552 151 303 0 23696 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 96004

[startup+1062.3 s]
/proc/loadavg: 1.00 0.96 0.73 2/108 2437
/proc/meminfo: memFree=1591148/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=102112 CPUtime=1062
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 25480 0 0 0 105893 307 0 0 25 0 1 0 102028 104562688 25075 1992294400 134512640 135751879 4290303232 18446744073709551615 134616363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 25528 25075 151 303 0 25223 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 102112

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.75 2/108 2439
/proc/meminfo: memFree=1585320/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=107920 CPUtime=1121.98
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 26939 0 0 0 111874 324 0 0 25 0 1 0 102028 110510080 26534 1992294400 134512640 135751879 4290303232 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 26980 26534 151 303 0 26675 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 107920

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.76 2/108 2439
/proc/meminfo: memFree=1579120/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=114192 CPUtime=1181.96
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 28492 0 0 0 117854 342 0 0 25 0 1 0 102028 116932608 28087 1992294400 134512640 135751879 4290303232 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 28548 28087 151 303 0 28243 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 114192

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/108 2441
/proc/meminfo: memFree=1572548/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=120528 CPUtime=1241.95
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 30082 0 0 0 123834 361 0 0 25 0 1 0 102028 123420672 29677 1992294400 134512640 135751879 4290303232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 30132 29677 151 303 0 29827 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 120528

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.78 2/108 2443
/proc/meminfo: memFree=1566100/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=126884 CPUtime=1301.95
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 31658 0 0 0 129816 379 0 0 25 0 1 0 102028 129929216 31253 1992294400 134512640 135751879 4290303232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 31721 31253 151 303 0 31416 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 126884

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/108 2445
/proc/meminfo: memFree=1560396/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=132464 CPUtime=1361.92
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 33060 0 0 0 135798 394 0 0 25 0 1 0 102028 135643136 32655 1992294400 134512640 135751879 4290303232 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 33116 32655 151 303 0 32811 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 132464

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.80 2/108 2447
/proc/meminfo: memFree=1554692/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=138180 CPUtime=1421.91
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 34480 0 0 0 141779 412 0 0 25 0 1 0 102028 141496320 34075 1992294400 134512640 135751879 4290303232 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 34545 34075 151 303 0 34240 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 138180

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 2447
/proc/meminfo: memFree=1548740/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=144120 CPUtime=1481.88
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 35974 0 0 0 147758 430 0 0 25 0 1 0 102028 147578880 35569 1992294400 134512640 135751879 4290303232 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 36030 35569 151 303 0 35725 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 144120

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 2449
/proc/meminfo: memFree=1542540/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=150344 CPUtime=1541.87
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 37515 0 0 0 153740 447 0 0 25 0 1 0 102028 153952256 37110 1992294400 134512640 135751879 4290303232 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 37586 37110 151 303 0 37281 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 150344

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/108 2451
/proc/meminfo: memFree=1536960/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=156064 CPUtime=1601.86
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 38938 0 0 0 159722 464 0 0 25 0 1 0 102028 159809536 38533 1992294400 134512640 135751879 4290303232 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 39016 38533 151 303 0 38711 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 156064

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/108 2453
/proc/meminfo: memFree=1531256/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=161492 CPUtime=1661.84
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 40316 0 0 0 165703 481 0 0 25 0 1 0 102028 165367808 39911 1992294400 134512640 135751879 4290303232 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 40373 39911 151 303 0 40068 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 161492

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/108 2455
/proc/meminfo: memFree=1525180/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=167564 CPUtime=1721.82
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 41823 0 0 0 171682 500 0 0 25 0 1 0 102028 171585536 41418 1992294400 134512640 135751879 4290303232 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 41891 41418 151 303 0 41586 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 167564

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/108 2455
/proc/meminfo: memFree=1519724/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=172720 CPUtime=1781.8
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 43126 0 0 0 177665 515 0 0 25 0 1 0 102028 176865280 42721 1992294400 134512640 135751879 4290303232 18446744073709551615 134518730 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 43180 42721 151 303 0 42875 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 172720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.97 0.85 2/108 2457
/proc/meminfo: memFree=1517988/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=174436 CPUtime=1800.01
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 43548 0 0 0 179481 520 0 0 25 0 1 0 102028 178622464 43143 1992294400 134512640 135751879 4290303232 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 43609 43143 151 303 0 43304 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 174436

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 0.97 0.85 2/108 2457
/proc/meminfo: memFree=1517988/2059040 swapFree=4192956/4192956
[pid=2399] ppid=2397 vsize=174436 CPUtime=1800.01
/proc/2399/stat : 2399 (wbo1.4b) R 2397 2399 2345 0 -1 4202496 43548 0 0 0 179481 520 0 0 25 0 1 0 102028 178622464 43143 1992294400 134512640 135751879 4290303232 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2399/statm: 43609 43143 151 303 0 43304 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 174436

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1794.81
CPU system time (s): 5.21821
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 174436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.81
system time used= 5.21821
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43548
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= 8
involuntary context switches= 1738

runsolver used 3.05253 second user time and 8.43972 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-15 09:48:03
IDJOB=2656034
IDBENCH=2640
IDSOLVER=1161
FILE ID=node083/2656034-1276588083
PBS_JOBID= 11173551
Free space on /tmp= 62492 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656034-1276588083/watcher-2656034-1276588083 -o /tmp/evaluation-result-2656034-1276588083/solver-2656034-1276588083 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656034-1276588083.opb

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

MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4
RANDOM SEED=1131609260

node083.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.262
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.262
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1693164 kB
Buffers:         14872 kB
Cached:         245392 kB
SwapCached:          0 kB
Active:          95688 kB
Inactive:       224080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1693164 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3988 kB
Writeback:           0 kB
AnonPages:       59488 kB
Mapped:          15620 kB
Slab:            24240 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182948 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62488 MiB
End job on node083 at 2010-06-15 10:18:06