Trace number 2689988

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 NameAnswerCPU timeWall clock time
wbo 1.4aOPTIMUM 1588.53 1588.47

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
MD5SUMaf1f4aa986dfaf7d995a788abb35be25
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark526.527
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints961
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46411
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46410
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 737
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2689988-1277900877.wbo.
0.00/0.00	c Instance file HOME/instance-2689988-1277900877.wbo
0.00/0.00	c File size is 88172 bytes.
0.00/0.00	c Highest Coefficient sum: 737
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:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
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 |     231     2707     8338 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       102 |     231     2707     8338 |     5500      102     18 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     19 |  0.002 % |
0.00/0.01	c |       479 |     231     2707     8338 |     6655      479     20 |  0.002 % |
0.00/0.02	c |       818 |     231     2707     8338 |     7320      818     20 |  0.002 % |
0.00/0.04	c |      1325 |     231     2707     8338 |     8052     1325     21 |  0.002 % |
0.00/0.06	c |      2085 |     231     2707     8338 |     8857     2085     24 |  0.002 % |
0.09/0.10	c |      3224 |     231     2707     8338 |     9743     3224     26 |  0.002 % |
0.09/0.15	c |      4932 |     231     2707     8338 |    10717     4932     27 |  0.002 % |
0.19/0.27	c |      7495 |     231     2707     8338 |    11789     7495     30 |  0.002 % |
0.39/0.46	c |     11340 |     231     2707     8338 |    12968    11340     31 |  0.002 % |
0.79/0.82	c |     17108 |     231     2707     8338 |    14265    10579     36 |  0.002 % |
1.29/1.36	c |     25758 |     231     2707     8338 |    15692    12048     37 |  0.002 % |
2.29/2.30	c |     38732 |     231     2707     8338 |    17261     9216     40 |  0.002 % |
3.99/4.00	c |     58195 |     231     2707     8338 |    18987    11300     40 |  0.002 % |
6.59/6.63	c |     87388 |     231     2707     8338 |    20886    11860     37 |  0.002 % |
10.29/10.38	c |    131179 |     231     2707     8338 |    22974    13704     36 |  0.002 % |
16.79/16.88	c |    196864 |     231     2707     8338 |    25272    21697     36 |  0.002 % |
27.39/27.43	c |    295390 |     231     2707     8338 |    27799    16721     36 |  0.002 % |
43.29/43.34	c |    443179 |     231     2707     8338 |    30579    24157     37 |  0.002 % |
66.00/66.05	c |    664862 |     210     2707     8338 |    33637    26330     34 |  9.093 % |
68.59/68.67	c ===============================================================================
72.09/72.18	c core #1
72.09/72.18	c ============================[ Search Statistics ]==============================
72.09/72.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
72.09/72.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
72.09/72.18	c ===============================================================================
72.09/72.18	c |         0 |     732     3614    12549 |     5000        0    nan |  0.000 % |
72.29/72.35	c |       100 |     732     3614    12549 |     5500      100     21 |  0.000 % |
72.29/72.35	c |       252 |     732     3614    12549 |     6050      252     30 |  0.000 % |
72.29/72.36	c |       478 |     732     3614    12549 |     6655      478     30 |  0.000 % |
72.29/72.38	c |       818 |     732     3614    12549 |     7320      818     28 |  0.000 % |
72.29/72.39	c |      1324 |     732     3614    12549 |     8052     1324     28 |  0.000 % |
72.39/72.44	c |      2083 |     732     3614    12549 |     8857     2083     28 |  0.000 % |
72.39/72.48	c |      3222 |     732     3614    12549 |     9743     3222     28 |  0.000 % |
72.49/72.55	c |      4933 |     732     3614    12549 |    10717     4933     30 |  0.000 % |
72.60/72.68	c |      7495 |     732     3614    12549 |    11789     7495     31 |  0.000 % |
72.89/72.97	c |     11339 |     732     3614    12549 |    12968    11339     32 |  0.000 % |
73.29/73.38	c |     17106 |     732     3614    12549 |    14265    10571     33 |  0.000 % |
73.99/74.03	c |     25757 |     732     3614    12549 |    15692    12045     35 |  0.000 % |
75.09/75.13	c |     38732 |     732     3614    12549 |    17261     9238     34 |  0.000 % |
76.69/76.74	c |     58196 |     732     3614    12549 |    18987    11319     34 |  0.000 % |
79.50/79.53	c |     87388 |     732     3614    12549 |    20886    11883     39 |  0.000 % |
83.19/83.29	c |    131178 |     732     3614    12549 |    22974    13683     37 |  0.000 % |
89.39/89.43	c |    196865 |     732     3614    12549 |    25272    21651     36 |  0.000 % |
99.29/99.37	c |    295392 |     732     3614    12549 |    27799    15345     37 |  0.000 % |
116.20/116.27	c |    443182 |     731     3614    12549 |    30579    23198     38 |  0.137 % |
129.90/129.98	c ===============================================================================
133.01/133.02	c core #2
133.01/133.02	c ============================[ Search Statistics ]==============================
133.01/133.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
133.01/133.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
133.01/133.02	c ===============================================================================
133.01/133.02	c |         0 |    1226     4480    16587 |     5000        0    nan |  0.000 % |
133.01/133.05	c |       101 |    1226     4480    16587 |     5500      101     21 |  0.000 % |
133.01/133.06	c |       251 |    1226     4480    16587 |     6050      251     22 |  0.000 % |
133.01/133.07	c |       478 |    1226     4480    16587 |     6655      478     27 |  0.000 % |
133.01/133.08	c |       816 |    1226     4480    16587 |     7320      816     28 |  0.000 % |
133.10/133.10	c |      1323 |    1226     4480    16587 |     8052     1323     27 |  0.000 % |
133.10/133.14	c |      2083 |    1226     4480    16587 |     8857     2083     28 |  0.000 % |
133.10/133.18	c |      3223 |    1226     4480    16587 |     9743     3223     29 |  0.000 % |
133.20/133.26	c |      4933 |    1226     4480    16587 |    10717     4933     29 |  0.000 % |
133.29/133.39	c |      7495 |    1226     4480    16587 |    11789     7495     28 |  0.000 % |
133.59/133.65	c |     11339 |    1226     4480    16587 |    12968    11339     30 |  0.000 % |
134.00/134.08	c |     17105 |    1226     4480    16587 |    14265    10584     32 |  0.000 % |
134.69/134.77	c |     25755 |    1226     4480    16587 |    15692    12048     33 |  0.000 % |
135.80/135.83	c |     38729 |    1226     4480    16587 |    17261     9225     33 |  0.000 % |
137.50/137.55	c |     58190 |    1226     4480    16587 |    18987    11329     34 |  0.000 % |
140.29/140.32	c |     87383 |    1226     4480    16587 |    20886    11884     34 |  0.000 % |
144.49/144.52	c |    131173 |    1226     4480    16587 |    22974    13685     33 |  0.000 % |
151.20/151.21	c |    196859 |    1226     4480    16587 |    25272    21684     37 |  0.000 % |
161.29/161.36	c |    295385 |    1226     4480    16587 |    27799    14877     35 |  0.000 % |
177.70/177.80	c |    443174 |    1226     4480    16587 |    30579    23339     37 |  0.000 % |
191.20/191.28	c ===============================================================================
194.50/194.57	c core #3
194.50/194.57	c ============================[ Search Statistics ]==============================
194.50/194.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.50/194.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.50/194.57	c ===============================================================================
194.50/194.57	c |         0 |    1729     5361    20705 |     5000        0    nan |  0.000 % |
194.60/194.61	c |       102 |    1729     5361    20705 |     5500      102     40 |  0.000 % |
194.60/194.62	c |       252 |    1729     5361    20705 |     6050      252     34 |  0.000 % |
194.60/194.63	c |       477 |    1729     5361    20705 |     6655      477     30 |  0.000 % |
194.60/194.64	c |       816 |    1729     5361    20705 |     7320      816     30 |  0.000 % |
194.60/194.67	c |      1323 |    1729     5361    20705 |     8052     1323     29 |  0.000 % |
194.70/194.70	c |      2083 |    1729     5361    20705 |     8857     2083     28 |  0.000 % |
194.70/194.75	c |      3223 |    1729     5361    20705 |     9743     3223     29 |  0.000 % |
194.80/194.84	c |      4931 |    1729     5361    20705 |    10717     4931     29 |  0.000 % |
194.90/194.98	c |      7493 |    1729     5361    20705 |    11789     7493     30 |  0.000 % |
195.20/195.26	c |     11338 |    1729     5361    20705 |    12968    11338     31 |  0.000 % |
195.60/195.66	c |     17105 |    1729     5361    20705 |    14265    10558     31 |  0.000 % |
196.20/196.21	c |     25759 |    1729     5361    20705 |    15692    12034     31 |  0.000 % |
197.30/197.33	c |     38733 |    1729     5361    20705 |    17261     9247     31 |  0.000 % |
198.89/198.95	c |     58194 |    1729     5361    20705 |    18987    11350     34 |  0.000 % |
201.80/201.89	c |     87389 |    1729     5361    20705 |    20886    11921     36 |  0.000 % |
206.20/206.22	c |    131180 |    1729     5361    20705 |    22974    13744     34 |  0.000 % |
213.59/213.61	c |    196864 |    1729     5361    20705 |    25272    21755     37 |  0.000 % |
223.90/223.98	c |    295392 |    1729     5361    20705 |    27799    14175     35 |  0.000 % |
240.50/240.59	c |    443183 |    1729     5361    20705 |    30579    20308     35 |  0.000 % |
263.20/263.28	c |    664866 |    1729     5361    20705 |    33637    23131     34 |  0.000 % |
288.30/288.32	c ===============================================================================
293.40/293.48	c core #4
293.40/293.48	c ============================[ Search Statistics ]==============================
293.40/293.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
293.40/293.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
293.40/293.48	c ===============================================================================
293.40/293.48	c |         0 |    2244     6227    24810 |     5000        0    nan |  0.000 % |
293.50/293.54	c |       102 |    2244     6227    24810 |     5500      102     23 |  0.000 % |
293.50/293.55	c |       252 |    2244     6227    24810 |     6050      252     29 |  0.000 % |
293.50/293.56	c |       479 |    2244     6227    24810 |     6655      479     29 |  0.000 % |
293.50/293.58	c |       820 |    2244     6227    24810 |     7320      820     28 |  0.000 % |
293.61/293.60	c |      1326 |    2244     6227    24810 |     8052     1326     27 |  0.000 % |
293.61/293.65	c |      2087 |    2244     6227    24810 |     8857     2087     28 |  0.000 % |
293.61/293.70	c |      3228 |    2244     6227    24810 |     9743     3228     28 |  0.000 % |
293.71/293.78	c |      4938 |    2244     6227    24810 |    10717     4938     28 |  0.000 % |
293.90/293.92	c |      7500 |    2244     6227    24810 |    11789     7500     29 |  0.000 % |
294.20/294.20	c |     11344 |    2244     6227    24810 |    12968    11344     31 |  0.000 % |
294.61/294.67	c |     17111 |    2244     6227    24810 |    14265    10571     34 |  0.000 % |
295.30/295.32	c |     25760 |    2244     6227    24810 |    15692    12036     31 |  0.000 % |
296.50/296.56	c |     38735 |    2244     6227    24810 |    17261     9215     37 |  0.000 % |
298.51/298.53	c |     58199 |    2244     6227    24810 |    18987    11337     35 |  0.000 % |
301.41/301.46	c |     87391 |    2244     6227    24810 |    20886    11882     36 |  0.000 % |
305.90/305.98	c |    131180 |    2244     6227    24810 |    22974    13706     37 |  0.000 % |
313.11/313.13	c |    196867 |    2244     6227    24810 |    25272    21689     35 |  0.000 % |
324.31/324.31	c |    295394 |    2244     6227    24810 |    27799    15209     38 |  0.000 % |
340.71/340.75	c |    443183 |    2244     6227    24810 |    30579    23546     35 |  0.000 % |
366.90/366.97	c |    664868 |    2244     6227    24810 |    33637    27688     36 |  0.000 % |
382.31/382.34	c ===============================================================================
386.81/386.87	c core #5
386.81/386.87	c ============================[ Search Statistics ]==============================
386.81/386.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
386.81/386.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
386.81/386.87	c ===============================================================================
386.81/386.87	c |         0 |    2735     7088    28830 |     5000        0    nan |  0.000 % |
386.90/386.91	c |       101 |    2735     7088    28830 |     5500      101     25 |  0.000 % |
386.90/386.94	c |       251 |    2735     7088    28830 |     6050      251     19 |  0.000 % |
386.90/386.95	c |       479 |    2735     7088    28830 |     6655      479     24 |  0.000 % |
386.90/386.98	c |       816 |    2735     7088    28830 |     7320      816     26 |  0.000 % |
387.00/387.01	c |      1324 |    2735     7088    28830 |     8052     1324     25 |  0.000 % |
387.00/387.05	c |      2083 |    2735     7088    28830 |     8857     2083     27 |  0.000 % |
387.00/387.10	c |      3223 |    2735     7088    28830 |     9743     3223     26 |  0.000 % |
387.11/387.19	c |      4932 |    2735     7088    28830 |    10717     4932     28 |  0.000 % |
387.41/387.41	c |      7494 |    2735     7088    28830 |    11789     7494     28 |  0.000 % |
387.61/387.67	c |     11339 |    2735     7088    28830 |    12968    11339     29 |  0.000 % |
388.01/388.07	c |     17106 |    2735     7088    28830 |    14265    10572     31 |  0.000 % |
388.81/388.85	c |     25757 |    2735     7088    28830 |    15692    12027     37 |  0.000 % |
390.01/390.01	c |     38732 |    2735     7088    28830 |    17261     9200     35 |  0.000 % |
391.80/391.83	c |     58195 |    2735     7088    28830 |    18987    11276     35 |  0.000 % |
394.61/394.67	c |     87388 |    2735     7088    28830 |    20886    11857     33 |  0.000 % |
399.50/399.53	c |    131178 |    2735     7088    28830 |    22974    13702     37 |  0.000 % |
406.40/406.40	c |    196862 |    2735     7088    28830 |    25272    21651     34 |  0.000 % |
417.50/417.58	c |    295389 |    2735     7088    28830 |    27799    15189     33 |  0.000 % |
433.11/433.18	c |    443178 |    2735     7088    28830 |    30579    20737     35 |  0.000 % |
460.01/460.05	c |    664861 |    2735     7088    28830 |    33637    25667     35 |  0.000 % |
484.02/484.04	c ===============================================================================
488.91/488.94	c core #6
488.91/488.94	c ============================[ Search Statistics ]==============================
488.91/488.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
488.91/488.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
488.91/488.94	c ===============================================================================
488.91/488.94	c |         0 |    3272     7919    32844 |     5000        0    nan |  0.000 % |
489.01/489.00	c |       102 |    3272     7919    32844 |     5500      102     31 |  0.000 % |
489.01/489.01	c |       252 |    3272     7919    32844 |     6050      252     34 |  0.000 % |
489.01/489.03	c |       477 |    3272     7919    32844 |     6655      477     30 |  0.000 % |
489.01/489.05	c |       814 |    3272     7919    32844 |     7320      814     27 |  0.000 % |
489.01/489.09	c |      1320 |    3272     7919    32844 |     8052     1320     28 |  0.000 % |
489.11/489.13	c |      2079 |    3272     7919    32844 |     8857     2079     28 |  0.000 % |
489.11/489.19	c |      3218 |    3272     7919    32844 |     9743     3218     27 |  0.000 % |
489.21/489.27	c |      4928 |    3272     7919    32844 |    10717     4928     28 |  0.000 % |
489.42/489.41	c |      7494 |    3272     7919    32844 |    11789     7494     28 |  0.000 % |
489.61/489.69	c |     11338 |    3272     7919    32844 |    12968    11338     29 |  0.000 % |
490.11/490.13	c |     17104 |    3272     7919    32844 |    14265    10561     31 |  0.000 % |
490.81/490.87	c |     25753 |    3272     7919    32844 |    15692    12027     34 |  0.000 % |
492.21/492.29	c |     38727 |    3272     7919    32844 |    17261     9207     42 |  0.000 % |
494.31/494.37	c |     58188 |    3272     7919    32844 |    18987    11309     36 |  0.000 % |
497.21/497.26	c |     87383 |    3272     7919    32844 |    20886    11849     35 |  0.000 % |
501.81/501.81	c |    131172 |    3272     7919    32844 |    22974    13666     38 |  0.000 % |
509.31/509.31	c |    196856 |    3272     7919    32844 |    25272    21658     36 |  0.000 % |
520.31/520.34	c |    295385 |    3272     7919    32844 |    27799    12732     36 |  0.000 % |
537.21/537.25	c |    443175 |    3272     7919    32844 |    30579    20604     38 |  0.000 % |
564.62/564.67	c |    664858 |    3272     7919    32844 |    33637    25688     39 |  0.000 % |
576.52/576.55	c ===============================================================================
581.31/581.34	c core #7
581.31/581.34	c ============================[ Search Statistics ]==============================
581.31/581.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
581.31/581.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
581.31/581.34	c ===============================================================================
581.31/581.34	c |         0 |    3831     8766    36963 |     5000        0    nan |  0.000 % |
581.41/581.41	c |       100 |    3831     8766    36963 |     5500      100     27 |  0.000 % |
581.41/581.42	c |       250 |    3831     8766    36963 |     6050      250     32 |  0.000 % |
581.41/581.44	c |       476 |    3831     8766    36963 |     6655      476     31 |  0.000 % |
581.41/581.45	c |       814 |    3831     8766    36963 |     7320      814     32 |  0.000 % |
581.41/581.48	c |      1323 |    3831     8766    36963 |     8052     1323     29 |  0.000 % |
581.51/581.53	c |      2082 |    3831     8766    36963 |     8857     2082     29 |  0.000 % |
581.51/581.59	c |      3221 |    3831     8766    36963 |     9743     3221     31 |  0.000 % |
581.61/581.68	c |      4930 |    3831     8766    36963 |    10717     4930     32 |  0.000 % |
581.82/581.83	c |      7495 |    3831     8766    36963 |    11789     7495     31 |  0.000 % |
582.01/582.09	c |     11341 |    3831     8766    36963 |    12968    11341     31 |  0.000 % |
582.51/582.56	c |     17107 |    3831     8766    36963 |    14265    10586     31 |  0.000 % |
583.21/583.24	c |     25756 |    3831     8766    36963 |    15692    12043     34 |  0.000 % |
584.51/584.51	c |     38730 |    3831     8766    36963 |    17261     9233     35 |  0.000 % |
586.51/586.58	c |     58193 |    3831     8766    36963 |    18987    11338     37 |  0.000 % |
589.52/589.52	c |     87386 |    3831     8766    36963 |    20886    11915     37 |  0.000 % |
594.41/594.45	c |    131175 |    3831     8766    36963 |    22974    13732     36 |  0.000 % |
601.62/601.63	c |    196859 |    3831     8766    36963 |    25272    21717     36 |  0.000 % |
613.22/613.28	c |    295386 |    3831     8766    36963 |    27799    14467     37 |  0.000 % |
630.92/630.92	c |    443175 |    3831     8766    36963 |    30579    22394     36 |  0.000 % |
658.42/658.44	c |    664861 |    3831     8766    36963 |    33637    24850     38 |  0.000 % |
702.11/702.14	c |    997387 |    3831     8766    36963 |    37001    22587     36 |  0.000 % |
751.52/751.53	c ===============================================================================
760.22/760.29	c core #8
760.22/760.29	c ============================[ Search Statistics ]==============================
760.22/760.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
760.22/760.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
760.22/760.29	c ===============================================================================
760.22/760.29	c |         0 |    4408     9600    41086 |     5000        0    nan |  0.000 % |
760.32/760.39	c |       101 |    4408     9600    41086 |     5500      101     23 |  0.000 % |
760.42/760.40	c |       252 |    4408     9600    41086 |     6050      252     22 |  0.000 % |
760.42/760.41	c |       477 |    4408     9600    41086 |     6655      477     26 |  0.000 % |
760.42/760.44	c |       816 |    4408     9600    41086 |     7320      816     30 |  0.000 % |
760.42/760.46	c |      1322 |    4408     9600    41086 |     8052     1322     29 |  0.000 % |
760.52/760.52	c |      2082 |    4408     9600    41086 |     8857     2082     29 |  0.000 % |
760.62/760.61	c |      3222 |    4408     9600    41086 |     9743     3222     31 |  0.000 % |
760.72/760.71	c |      4931 |    4408     9600    41086 |    10717     4931     30 |  0.000 % |
760.82/760.88	c |      7493 |    4408     9600    41086 |    11789     7493     30 |  0.000 % |
761.13/761.18	c |     11337 |    4408     9600    41086 |    12968    11337     30 |  0.000 % |
761.62/761.66	c |     17105 |    4408     9600    41086 |    14265    10586     31 |  0.000 % |
762.42/762.41	c |     25756 |    4408     9600    41086 |    15692    12051     35 |  0.000 % |
763.72/763.75	c |     38731 |    4408     9600    41086 |    17261     9236     41 |  0.000 % |
765.92/765.92	c |     58192 |    4408     9600    41086 |    18987    11330     38 |  0.000 % |
769.32/769.30	c |     87385 |    4408     9600    41086 |    20886    11880     35 |  0.000 % |
774.22/774.20	c |    131175 |    4408     9600    41086 |    22974    13721     37 |  0.000 % |
782.42/782.42	c |    196859 |    4408     9600    41086 |    25272    21696     39 |  0.000 % |
794.03/794.01	c |    295385 |    4408     9600    41086 |    27799    16204     38 |  0.000 % |
812.93/812.97	c |    443175 |    4408     9600    41086 |    30579    25039     40 |  0.000 % |
843.63/843.61	c |    664859 |    4408     9600    41086 |    33637    28521     39 |  0.000 % |
889.02/889.05	c |    997384 |    4408     9600    41086 |    37001    25933     37 |  0.000 % |
909.93/909.98	c ===============================================================================
917.43/917.40	c core #9
917.43/917.40	c ============================[ Search Statistics ]==============================
917.43/917.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
917.43/917.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
917.43/917.40	c ===============================================================================
917.43/917.40	c |         0 |    5032    10431    45319 |     5000        0    nan |  0.000 % |
917.53/917.52	c |       101 |    5032    10431    45319 |     5500      101     36 |  0.000 % |
917.53/917.53	c |       251 |    5032    10431    45319 |     6050      251     34 |  0.000 % |
917.53/917.54	c |       476 |    5032    10431    45319 |     6655      476     30 |  0.000 % |
917.53/917.56	c |       815 |    5032    10431    45319 |     7320      815     30 |  0.000 % |
917.63/917.60	c |      1323 |    5032    10431    45319 |     8052     1323     29 |  0.000 % |
917.63/917.66	c |      2082 |    5032    10431    45319 |     8857     2082     29 |  0.000 % |
917.73/917.73	c |      3221 |    5032    10431    45319 |     9743     3221     28 |  0.000 % |
917.83/917.83	c |      4931 |    5032    10431    45319 |    10717     4931     28 |  0.000 % |
918.02/918.00	c |      7493 |    5032    10431    45319 |    11789     7493     29 |  0.000 % |
918.33/918.32	c |     11337 |    5032    10431    45319 |    12968    11337     30 |  0.000 % |
918.72/918.77	c |     17103 |    5032    10431    45319 |    14265    10560     31 |  0.000 % |
919.53/919.57	c |     25752 |    5032    10431    45319 |    15692    12016     36 |  0.000 % |
920.73/920.79	c |     38726 |    5032    10431    45319 |    17261     9185     32 |  0.000 % |
922.63/922.66	c |     58189 |    5032    10431    45319 |    18987    11286     34 |  0.000 % |
925.63/925.69	c |     87383 |    5032    10431    45319 |    20886    11845     34 |  0.000 % |
930.33/930.32	c |    131172 |    5032    10431    45319 |    22974    13666     36 |  0.000 % |
937.93/937.91	c |    196856 |    5032    10431    45319 |    25272    21500     38 |  0.000 % |
951.12/951.14	c |    295384 |    5032    10431    45319 |    27799    15448     37 |  0.000 % |
970.92/970.93	c |    443174 |    5032    10431    45319 |    30579    25364     37 |  0.000 % |
998.93/998.95	c |    664857 |    5032    10431    45319 |    33637    30182     36 |  0.000 % |
1045.24/1045.28	c |    997383 |    5032    10431    45319 |    37001    30667     40 |  0.000 % |
1079.14/1079.17	c ===============================================================================
1087.63/1087.64	c core #10
1087.63/1087.64	c ============================[ Search Statistics ]==============================
1087.63/1087.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1087.63/1087.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1087.63/1087.64	c ===============================================================================
1087.63/1087.64	c |         0 |    5723    11241    49628 |     5000        0    nan |  0.000 % |
1087.74/1087.77	c |       102 |    5723    11241    49628 |     5500      102     41 |  0.000 % |
1087.74/1087.78	c |       252 |    5723    11241    49628 |     6050      252     36 |  0.000 % |
1087.74/1087.79	c |       477 |    5723    11241    49628 |     6655      477     34 |  0.000 % |
1087.84/1087.82	c |       815 |    5723    11241    49628 |     7320      815     33 |  0.000 % |
1087.84/1087.86	c |      1321 |    5723    11241    49628 |     8052     1321     32 |  0.000 % |
1087.94/1087.93	c |      2081 |    5723    11241    49628 |     8857     2081     31 |  0.000 % |
1088.04/1088.00	c |      3222 |    5723    11241    49628 |     9743     3222     33 |  0.000 % |
1088.14/1088.10	c |      4932 |    5723    11241    49628 |    10717     4932     34 |  0.000 % |
1088.33/1088.32	c |      7495 |    5723    11241    49628 |    11789     7495     35 |  0.000 % |
1088.64/1088.69	c |     11340 |    5723    11241    49628 |    12968    11340     36 |  0.000 % |
1089.34/1089.33	c |     17107 |    5723    11241    49628 |    14265    10577     37 |  0.000 % |
1090.23/1090.25	c |     25758 |    5723    11241    49628 |    15692    12035     39 |  0.000 % |
1091.73/1091.77	c |     38733 |    5723    11241    49628 |    17261     9205     44 |  0.000 % |
1093.93/1093.95	c |     58194 |    5723    11241    49628 |    18987    11290     43 |  0.000 % |
1097.63/1097.61	c |     87386 |    5723    11241    49628 |    20886    11850     45 |  0.000 % |
1103.53/1103.55	c |    131175 |    5723    11241    49628 |    22974    13658     44 |  0.000 % |
1112.14/1112.18	c |    196859 |    5723    11241    49628 |    25272    21631     46 |  0.000 % |
1126.34/1126.31	c |    295386 |    5723    11241    49628 |    27799    15306     43 |  0.000 % |
1145.74/1145.78	c |    443178 |    5723    11241    49628 |    30579    23448     39 |  0.000 % |
1177.74/1177.74	c |    664861 |    5723    11241    49628 |    33637    28315     41 |  0.000 % |
1220.84/1220.87	c |    997387 |    5723    11241    49628 |    37001    18247     37 |  0.000 % |
1265.54/1265.53	c ===============================================================================
1274.34/1274.36	c core #11
1274.34/1274.36	c ============================[ Search Statistics ]==============================
1274.34/1274.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1274.34/1274.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1274.34/1274.36	c ===============================================================================
1274.34/1274.36	c |         0 |    6474    12070    54161 |     5000        0    nan |  0.000 % |
1274.44/1274.48	c |       103 |    6474    12070    54161 |     5500      103     26 |  0.000 % |
1274.44/1274.49	c |       254 |    6474    12070    54161 |     6050      254     25 |  0.000 % |
1274.54/1274.53	c |       479 |    6474    12070    54161 |     6655      479     26 |  0.000 % |
1274.54/1274.56	c |       820 |    6474    12070    54161 |     7320      820     30 |  0.000 % |
1274.64/1274.60	c |      1326 |    6474    12070    54161 |     8052     1326     32 |  0.000 % |
1274.64/1274.66	c |      2085 |    6474    12070    54161 |     8857     2085     30 |  0.000 % |
1274.74/1274.71	c |      3224 |    6474    12070    54161 |     9743     3224     29 |  0.000 % |
1274.84/1274.82	c |      4934 |    6474    12070    54161 |    10717     4934     31 |  0.000 % |
1275.04/1275.00	c |      7497 |    6474    12070    54161 |    11789     7497     30 |  0.000 % |
1275.24/1275.29	c |     11341 |    6474    12070    54161 |    12968    11341     31 |  0.000 % |
1275.74/1275.79	c |     17107 |    6474    12070    54161 |    14265    10578     33 |  0.000 % |
1276.64/1276.60	c |     25757 |    6474    12070    54161 |    15692    12037     37 |  0.000 % |
1277.94/1277.96	c |     38731 |    6474    12070    54161 |    17261     9215     39 |  0.000 % |
1280.14/1280.18	c |     58192 |    6474    12070    54161 |    18987    11342     37 |  0.000 % |
1283.24/1283.21	c |     87384 |    6474    12070    54161 |    20886    11876     34 |  0.000 % |
1288.24/1288.25	c |    131174 |    6474    12070    54161 |    22974    13685     37 |  0.000 % |
1296.04/1296.03	c |    196860 |    6474    12070    54161 |    25272    21693     39 |  0.000 % |
1307.85/1307.87	c |    295386 |    6474    12070    54161 |    27799    13863     39 |  0.000 % |
1326.44/1326.50	c |    443176 |    6474    12070    54161 |    30579    20379     40 |  0.000 % |
1354.15/1354.19	c |    664860 |    6474    12070    54161 |    33637    23263     36 |  0.000 % |
1394.86/1394.81	c |    997386 |    6474    12070    54161 |    37001    16251     36 |  0.000 % |
1456.94/1456.96	c |   1496174 |    6474    12070    54161 |    40701    27681     38 |  0.000 % |
1489.94/1489.91	c ===============================================================================
1500.25/1500.24	c core #12
1500.25/1500.24	c ============================[ Search Statistics ]==============================
1500.25/1500.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1500.25/1500.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1500.25/1500.24	c ===============================================================================
1500.25/1500.24	c |         0 |    7258    12870    58647 |     5000        0    nan |  0.000 % |
1500.45/1500.40	c |       100 |    7258    12870    58647 |     5500      100     37 |  0.000 % |
1500.45/1500.43	c |       251 |    7258    12870    58647 |     6050      251     37 |  0.000 % |
1500.45/1500.45	c |       477 |    7258    12870    58647 |     6655      477     35 |  0.000 % |
1500.45/1500.49	c |       814 |    7258    12870    58647 |     7320      814     32 |  0.000 % |
1500.55/1500.53	c |      1322 |    7258    12870    58647 |     8052     1322     31 |  0.000 % |
1500.65/1500.60	c |      2081 |    7258    12870    58647 |     8857     2081     31 |  0.000 % |
1500.65/1500.67	c |      3220 |    7258    12870    58647 |     9743     3220     30 |  0.000 % |
1500.75/1500.78	c |      4930 |    7258    12870    58647 |    10717     4930     31 |  0.000 % |
1500.95/1500.97	c |      7495 |    7258    12870    58647 |    11789     7495     31 |  0.000 % |
1501.35/1501.32	c |     11339 |    7258    12870    58647 |    12968    11339     31 |  0.000 % |
1501.85/1501.83	c |     17105 |    7258    12870    58647 |    14265    10579     35 |  0.000 % |
1502.75/1502.72	c |     25754 |    7258    12870    58647 |    15692    12045     39 |  0.000 % |
1504.15/1504.13	c |     38729 |    7258    12870    58647 |    17261     9216     35 |  0.000 % |
1506.05/1506.06	c |     58192 |    7258    12870    58647 |    18987    11295     36 |  0.000 % |
1509.65/1509.62	c |     87384 |    7258    12870    58647 |    20886    11875     40 |  0.000 % |
1515.25/1515.21	c |    131176 |    7258    12870    58647 |    22974    13682     41 |  0.000 % |
1523.56/1523.55	c |    196861 |    7258    12870    58647 |    25272    21673     42 |  0.000 % |
1537.55/1537.51	c |    295391 |    7258    12870    58647 |    27799    13506     39 |  0.000 % |
1560.85/1560.90	c |    443181 |    7258    12870    58647 |    30579    16935     37 |  0.000 % |
1588.36/1588.39	c ===============================================================================
1588.36/1588.39	c #cores: 12
1588.36/1588.39	c Final Weight: 12
1588.36/1588.39	o 12
1588.36/1588.39	s OPTIMUM FOUND
1588.36/1588.39	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231
1588.36/1588.39	c Total CPU time: 1571.14 s

Verifier Data 

OK	12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689988-1277900877/watcher-2689988-1277900877 -o /tmp/evaluation-result-2689988-1277900877/solver-2689988-1277900877 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689988-1277900877.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.01 2.00 4/196 11622
/proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2808 CPUtime=0
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 311 0 0 0 0 0 0 0 25 0 1 0 131233309 2875392 230 4089446400 134512640 135751879 4292210096 18446744073709551615 134638015 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 702 231 147 303 0 375 0

[startup+0.067464 s]
/proc/loadavg: 2.06 2.01 2.00 4/196 11622
/proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=3248 CPUtime=0.06
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 467 0 0 0 6 0 0 0 25 0 1 0 131233309 3325952 364 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 812 364 143 303 0 507 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3248

[startup+0.100493 s]
/proc/loadavg: 2.06 2.01 2.00 4/196 11622
/proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=3380 CPUtime=0.09
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 527 0 0 0 9 0 0 0 25 0 1 0 131233309 3461120 424 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 845 424 143 303 0 540 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3380

[startup+0.300415 s]
/proc/loadavg: 2.06 2.01 2.00 4/196 11622
/proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=4700 CPUtime=0.29
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 842 0 0 0 28 1 0 0 25 0 1 0 131233309 4812800 739 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 1175 739 143 303 0 870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4700

[startup+0.70034 s]
/proc/loadavg: 2.06 2.01 2.00 4/196 11622
/proc/meminfo: memFree=31542748/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=6580 CPUtime=0.69
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 1319 0 0 0 68 1 0 0 25 0 1 0 131233309 6737920 1216 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 1645 1216 143 303 0 1340 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6580

[startup+1.50024 s]
/proc/loadavg: 2.05 2.01 2.00 3/197 11623
/proc/meminfo: memFree=31536416/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=10012 CPUtime=1.49
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 2161 0 0 0 146 3 0 0 25 0 1 0 131233309 10252288 2058 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 2503 2059 143 303 0 2198 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10012

[startup+3.10094 s]
/proc/loadavg: 2.05 2.01 2.00 3/197 11624
/proc/meminfo: memFree=31530668/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=15828 CPUtime=3.09
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 3607 0 0 0 304 5 0 0 25 0 1 0 131233309 16207872 3504 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 3957 3504 143 303 0 3652 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15828

[startup+6.30033 s]
/proc/loadavg: 2.05 2.01 2.00 3/197 11624
/proc/meminfo: memFree=31515292/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=25880 CPUtime=6.29
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 6112 0 0 0 619 10 0 0 25 0 1 0 131233309 26501120 6009 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 6470 6009 143 303 0 6165 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25880

[startup+12.701 s]
/proc/loadavg: 2.41 2.09 2.03 3/197 11624
/proc/meminfo: memFree=31492844/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=44112 CPUtime=12.69
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 10675 0 0 0 1248 21 0 0 25 0 1 0 131233309 45170688 10572 4089446400 134512640 135751879 4292210096 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 11028 10572 143 303 0 10723 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44112

[startup+25.5007 s]
/proc/loadavg: 2.35 2.09 2.03 3/197 11624
/proc/meminfo: memFree=31454576/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=76884 CPUtime=25.49
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 18878 0 0 0 2512 37 0 0 25 0 1 0 131233309 78729216 18775 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 19221 18775 143 303 0 18916 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76884

[startup+51.1007 s]
/proc/loadavg: 2.21 2.08 2.02 3/197 11625
/proc/meminfo: memFree=31388576/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=139932 CPUtime=51.09
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 34613 0 0 0 5039 70 0 0 25 0 1 0 131233309 143290368 34510 4089446400 134512640 135751879 4292210096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 34983 34510 143 303 0 34678 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 139932

[startup+102.307 s]
/proc/loadavg: 2.13 2.08 2.03 3/197 11626
/proc/meminfo: memFree=31303220/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=223428 CPUtime=102.3
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 55558 0 0 0 10090 140 0 0 25 0 1 0 131233309 228790272 55422 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 55857 55422 146 303 0 55552 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 223428

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/197 11628
/proc/meminfo: memFree=31203360/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=309232 CPUtime=162.29
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 77013 0 0 0 16014 215 0 0 25 0 1 0 131233309 316653568 76877 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 77308 76877 146 303 0 77003 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 309232

[startup+222.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/197 11629
/proc/meminfo: memFree=31087260/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=401072 CPUtime=222.3
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 99965 0 0 0 21941 289 0 0 25 0 1 0 131233309 410697728 99829 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 100268 99829 146 303 0 99963 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 401072

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 11631
/proc/meminfo: memFree=30934192/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=529924 CPUtime=282.3
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 132167 0 0 0 27867 363 0 0 25 0 1 0 131233309 542642176 132031 4089446400 134512640 135751879 4292210096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 132481 132031 146 303 0 132176 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 529924

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 11632
/proc/meminfo: memFree=30834808/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=597056 CPUtime=342.31
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 148966 0 0 0 33798 433 0 0 25 0 1 0 131233309 611385344 148830 4089446400 134512640 135751879 4292210096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 149264 148830 146 303 0 148959 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 597056

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 11634
/proc/meminfo: memFree=30715120/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=692172 CPUtime=402.3
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 172749 0 0 0 39725 505 0 0 25 0 1 0 131233309 708784128 172613 4089446400 134512640 135751879 4292210096 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 173043 172613 146 303 0 172738 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 692172

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 11636
/proc/meminfo: memFree=30617360/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=770820 CPUtime=462.31
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 192387 0 0 0 45655 576 0 0 25 0 1 0 131233309 789319680 192251 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 192705 192251 146 303 0 192400 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 770820

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/197 11637
/proc/meminfo: memFree=30511800/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=854996 CPUtime=522.31
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 213418 0 0 0 51590 641 0 0 25 0 1 0 131233309 875515904 213282 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 213749 213282 146 303 0 213444 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 854996

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 11639
/proc/meminfo: memFree=30375104/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=964936 CPUtime=582.31
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 240900 0 0 0 57528 703 0 0 25 0 1 0 131233309 988094464 240764 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 241234 240764 146 303 0 240929 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 964936

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 11640
/proc/meminfo: memFree=30291736/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=1019540 CPUtime=642.32
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 254559 0 0 0 63456 776 0 0 25 0 1 0 131233309 1044008960 254423 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 254885 254423 146 303 0 254580 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1019540

[startup+702.301 s]

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

/proc/meminfo: memFree=29644552/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=1516364 CPUtime=1002.33
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 378746 0 0 0 99088 1145 0 0 25 0 1 0 131233309 1552756736 378610 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 379091 378610 146 303 0 378786 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1516364

[startup+1062.3 s]
/proc/loadavg: 2.21 2.15 2.06 3/197 11652
/proc/meminfo: memFree=29521276/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=1615868 CPUtime=1062.33
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 403633 0 0 0 105026 1207 0 0 25 0 1 0 131233309 1654648832 403497 4089446400 134512640 135751879 4292210096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 403967 403497 146 303 0 403662 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1615868

[startup+1122.3 s]
/proc/loadavg: 2.45 2.22 2.09 3/197 11653
/proc/meminfo: memFree=29419296/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=1686292 CPUtime=1122.33
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 421276 0 0 0 110976 1257 0 0 25 0 1 0 131233309 1726763008 421140 4089446400 134512640 135751879 4292210096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 421573 421140 146 303 0 421268 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1686292

[startup+1182.3 s]
/proc/loadavg: 2.16 2.17 2.08 3/197 11655
/proc/meminfo: memFree=29312376/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=1754496 CPUtime=1182.34
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 438308 0 0 0 116915 1319 0 0 25 0 1 0 131233309 1796603904 438172 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 438624 438172 146 303 0 438319 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1754496

[startup+1242.3 s]
/proc/loadavg: 2.06 2.14 2.07 3/197 11656
/proc/meminfo: memFree=29194800/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=1847368 CPUtime=1242.34
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 461502 0 0 0 122853 1381 0 0 25 0 1 0 131233309 1891704832 461366 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 461842 461366 146 303 0 461537 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1847368

[startup+1302.3 s]
/proc/loadavg: 2.02 2.11 2.07 7/197 11658
/proc/meminfo: memFree=29105568/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=1927716 CPUtime=1302.35
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 481610 0 0 0 128800 1435 0 0 25 0 1 0 131233309 1973981184 481474 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 481929 481474 146 303 0 481624 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1927716

[startup+1362.3 s]
/proc/loadavg: 2.01 2.09 2.06 3/197 11660
/proc/meminfo: memFree=29037452/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=1996860 CPUtime=1362.34
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 498868 0 0 0 134733 1501 0 0 25 0 1 0 131233309 2044784640 498732 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 499215 498732 146 303 0 498910 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1996860

[startup+1422.31 s]
/proc/loadavg: 2.00 2.07 2.06 3/197 11661
/proc/meminfo: memFree=28931256/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2101556 CPUtime=1422.35
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 525018 0 0 0 140664 1571 0 0 25 0 1 0 131233309 2151993344 524882 4089446400 134512640 135751879 4292210096 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 525389 524882 146 303 0 525084 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2101556

[startup+1482.3 s]
/proc/loadavg: 1.94 2.04 2.05 3/179 11693
/proc/meminfo: memFree=29612948/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2222332 CPUtime=1482.34
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 555201 0 0 0 146596 1638 0 0 25 0 1 0 131233309 2275667968 555065 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 555583 555065 146 303 0 555278 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2222332

[startup+1542.3 s]
/proc/loadavg: 1.97 2.03 2.04 3/179 11694
/proc/meminfo: memFree=29546840/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2287092 CPUtime=1542.35
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 571479 0 0 0 152550 1685 0 0 25 0 1 0 131233309 2341982208 571305 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 571773 571305 146 303 0 571468 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2287092

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

[startup+1561.5 s]
/proc/loadavg: 1.98 2.03 2.04 3/179 11695
/proc/meminfo: memFree=29535176/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2299692 CPUtime=1561.56
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 574630 0 0 0 154455 1701 0 0 25 0 1 0 131233309 2354884608 574456 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 574923 574456 146 303 0 574618 0
Current children cumulated CPU time (s) 1561.56
Current children cumulated vsize (KiB) 2299692

[startup+1574.3 s]
/proc/loadavg: 1.98 2.02 2.04 3/179 11695
/proc/meminfo: memFree=29518680/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2315428 CPUtime=1574.36
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 578571 0 0 0 155718 1718 0 0 25 0 1 0 131233309 2370998272 578397 4089446400 134512640 135751879 4292210096 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 578857 578397 146 303 0 578552 0
Current children cumulated CPU time (s) 1574.36
Current children cumulated vsize (KiB) 2315428

[startup+1580.71 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 11696
/proc/meminfo: memFree=29511108/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2322828 CPUtime=1580.75
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 580416 0 0 0 156353 1722 0 0 25 0 1 0 131233309 2378575872 580242 4089446400 134512640 135751879 4292210096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 580707 580242 146 303 0 580402 0
Current children cumulated CPU time (s) 1580.75
Current children cumulated vsize (KiB) 2322828

[startup+1583.9 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 11696
/proc/meminfo: memFree=29506768/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2326920 CPUtime=1583.95
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 581416 0 0 0 156669 1726 0 0 25 0 1 0 131233309 2382766080 581242 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 581730 581242 146 303 0 581425 0
Current children cumulated CPU time (s) 1583.95
Current children cumulated vsize (KiB) 2326920

[startup+1585.5 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 11696
/proc/meminfo: memFree=29505652/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2328648 CPUtime=1585.55
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 581841 0 0 0 156827 1728 0 0 25 0 1 0 131233309 2384535552 581667 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 582162 581667 146 303 0 581857 0
Current children cumulated CPU time (s) 1585.55
Current children cumulated vsize (KiB) 2328648

[startup+1587.1 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 11696
/proc/meminfo: memFree=29504164/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2330512 CPUtime=1587.15
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 582313 0 0 0 156985 1730 0 0 25 0 1 0 131233309 2386444288 582139 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 582628 582139 146 303 0 582323 0
Current children cumulated CPU time (s) 1587.15
Current children cumulated vsize (KiB) 2330512

[startup+1587.9 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 11696
/proc/meminfo: memFree=29503048/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2331436 CPUtime=1587.96
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 582560 0 0 0 157065 1731 0 0 25 0 1 0 131233309 2387390464 582386 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 582859 582386 146 303 0 582554 0
Current children cumulated CPU time (s) 1587.96
Current children cumulated vsize (KiB) 2331436

[startup+1588.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 11696
/proc/meminfo: memFree=29501684/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=2331964 CPUtime=1588.36
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202496 582687 0 0 0 157105 1731 0 0 25 0 1 0 131233309 2387931136 582513 4089446400 134512640 135751879 4292210096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11622/statm: 582991 582513 146 303 0 582686 0
Current children cumulated CPU time (s) 1588.36
Current children cumulated vsize (KiB) 2331964

[startup+1588.41 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 11696
/proc/meminfo: memFree=29501684/32950928 swapFree=67111528/67111528
[pid=11622] ppid=11620 vsize=0 CPUtime=1588.46
/proc/11622/stat : 11622 (wbo1.4a) R 11620 11622 10940 0 -1 4202500 582716 0 0 0 157114 1732 0 0 25 0 1 0 131233309 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/11622/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1588.46
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1588.47
CPU time (s): 1588.53
CPU user time (s): 1571.14
CPU system time (s): 17.3894
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2331964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1571.14
system time used= 17.3894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582716
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= 5
involuntary context switches= 5028

runsolver used 2.83857 second user time and 5.49216 second system time

The end

Launcher Data 

Begin job on node127 at 2010-06-30 14:27:57
IDJOB=2689988
IDBENCH=78886
IDSOLVER=1200
FILE ID=node127/2689988-1277900877
PBS_JOBID= 11197209
Free space on /tmp= 74208 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689988-1277900877/watcher-2689988-1277900877 -o /tmp/evaluation-result-2689988-1277900877/solver-2689988-1277900877 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689988-1277900877.wbo

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

MD5SUM BENCH= af1f4aa986dfaf7d995a788abb35be25
RANDOM SEED=543453105

node127.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31543276 kB
Buffers:        185656 kB
Cached:         710932 kB
SwapCached:          0 kB
Active:         783072 kB
Inactive:       485840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31543276 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2776 kB
Writeback:           0 kB
AnonPages:      372352 kB
Mapped:          20276 kB
Slab:            76540 kB
PageTables:       5348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1657492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node127 at 2010-06-30 14:54:25