Trace number 2690029

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 1120.64 1120.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo
MD5SUMcd9d62896ad241b3e0bc0c585d812475
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark664.98
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 717
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-2690029-1277903771.wbo.
0.00/0.00	c Instance file HOME/instance-2690029-1277903771.wbo
0.00/0.00	c File size is 88010 bytes.
0.00/0.00	c Highest Coefficient sum: 717
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 |       100 |     231     2707     8338 |     5500      100     15 |  0.002 % |
0.00/0.01	c |       250 |     231     2707     8338 |     6050      250     26 |  0.002 % |
0.00/0.01	c |       475 |     231     2707     8338 |     6655      475     30 |  0.002 % |
0.00/0.02	c |       812 |     231     2707     8338 |     7320      812     29 |  0.002 % |
0.00/0.04	c |      1322 |     231     2707     8338 |     8052     1322     29 |  0.002 % |
0.00/0.06	c |      2081 |     231     2707     8338 |     8857     2081     31 |  0.002 % |
0.09/0.10	c |      3220 |     231     2707     8338 |     9743     3220     31 |  0.002 % |
0.09/0.16	c |      4930 |     231     2707     8338 |    10717     4930     30 |  0.002 % |
0.19/0.27	c |      7492 |     231     2707     8338 |    11789     7492     30 |  0.002 % |
0.39/0.48	c |     11337 |     231     2707     8338 |    12968    11337     31 |  0.002 % |
0.79/0.83	c |     17103 |     231     2707     8338 |    14265    10566     34 |  0.002 % |
1.39/1.40	c |     25752 |     231     2707     8338 |    15692    12036     35 |  0.002 % |
2.30/2.34	c |     38730 |     231     2707     8338 |    17261     9219     38 |  0.002 % |
3.59/3.67	c |     58191 |     231     2707     8338 |    18987    11318     34 |  0.002 % |
5.89/5.92	c |     87384 |     231     2707     8338 |    20886    11859     35 |  0.002 % |
9.69/9.71	c |    131174 |     231     2707     8338 |    22974    13659     37 |  0.002 % |
15.50/15.57	c |    196858 |     231     2707     8338 |    25272    21404     38 |  0.002 % |
25.19/25.30	c |    295384 |     231     2707     8338 |    27799    14004     35 |  0.002 % |
40.09/40.15	c |    443174 |     231     2707     8338 |    30579    19683     38 |  0.002 % |
63.80/63.81	c |    664857 |     231     2707     8338 |    33637    22321     39 |  0.002 % |
101.69/101.79	c |    997384 |     231     2707     8338 |    37001    14494     38 |  0.002 % |
159.40/159.46	c ===============================================================================
167.70/167.78	c core #1
167.70/167.78	c ============================[ Search Statistics ]==============================
167.70/167.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
167.70/167.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
167.70/167.78	c ===============================================================================
167.70/167.78	c |         0 |     719     3596    12457 |     5000        0    nan |  0.000 % |
168.10/168.11	c |       101 |     719     3596    12457 |     5500      101     20 |  0.000 % |
168.10/168.13	c |       251 |     719     3596    12457 |     6050      251     28 |  0.000 % |
168.10/168.14	c |       477 |     719     3596    12457 |     6655      477     27 |  0.000 % |
168.10/168.15	c |       816 |     719     3596    12457 |     7320      816     27 |  0.000 % |
168.10/168.18	c |      1322 |     719     3596    12457 |     8052     1322     27 |  0.000 % |
168.19/168.25	c |      2082 |     719     3596    12457 |     8857     2082     27 |  0.000 % |
168.19/168.29	c |      3221 |     719     3596    12457 |     9743     3221     29 |  0.000 % |
168.30/168.36	c |      4929 |     719     3596    12457 |    10717     4929     29 |  0.000 % |
168.40/168.48	c |      7493 |     719     3596    12457 |    11789     7493     29 |  0.000 % |
168.70/168.72	c |     11338 |     719     3596    12457 |    12968    11338     29 |  0.000 % |
169.09/169.13	c |     17105 |     719     3596    12457 |    14265    10574     33 |  0.000 % |
169.70/169.75	c |     25754 |     719     3596    12457 |    15692    12032     37 |  0.000 % |
170.79/170.83	c |     38729 |     719     3596    12457 |    17261     9203     35 |  0.000 % |
172.39/172.42	c |     58190 |     719     3596    12457 |    18987    11294     32 |  0.000 % |
174.90/174.95	c |     87383 |     719     3596    12457 |    20886    11864     35 |  0.000 % |
179.79/179.88	c |    131173 |     719     3596    12457 |    22974    13696     40 |  0.000 % |
186.39/186.40	c |    196858 |     719     3596    12457 |    25272    21634     36 |  0.000 % |
196.59/196.62	c |    295386 |     719     3596    12457 |    27799    13043     36 |  0.000 % |
213.00/213.04	c |    443176 |     719     3596    12457 |    30579    20263     38 |  0.000 % |
240.09/240.16	c |    664859 |     719     3596    12457 |    33637    24261     41 |  0.000 % |
280.39/280.50	c |    997385 |     719     3596    12457 |    37001    21234     39 |  0.000 % |
349.40/349.40	c |   1496173 |     719     3596    12457 |    40701    16580     36 |  0.000 % |
379.29/379.38	c ===============================================================================
390.40/390.47	c core #2
390.40/390.47	c ============================[ Search Statistics ]==============================
390.40/390.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
390.40/390.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
390.40/390.47	c ===============================================================================
390.40/390.47	c |         0 |    1208     4471    16531 |     5000        0    nan |  0.000 % |
390.51/390.51	c |       100 |    1208     4471    16531 |     5500      100     23 |  0.000 % |
390.51/390.56	c |       250 |    1208     4471    16531 |     6050      250     23 |  0.000 % |
390.51/390.57	c |       475 |    1208     4471    16531 |     6655      475     24 |  0.000 % |
390.51/390.58	c |       812 |    1208     4471    16531 |     7320      812     28 |  0.000 % |
390.60/390.61	c |      1318 |    1208     4471    16531 |     8052     1318     26 |  0.000 % |
390.60/390.64	c |      2077 |    1208     4471    16531 |     8857     2077     27 |  0.000 % |
390.71/390.72	c |      3217 |    1208     4471    16531 |     9743     3217     27 |  0.000 % |
390.80/390.81	c |      4926 |    1208     4471    16531 |    10717     4926     28 |  0.000 % |
390.90/390.95	c |      7488 |    1208     4471    16531 |    11789     7488     30 |  0.000 % |
391.10/391.20	c |     11333 |    1208     4471    16531 |    12968    11333     31 |  0.000 % |
391.50/391.60	c |     17099 |    1208     4471    16531 |    14265    10569     33 |  0.000 % |
392.30/392.33	c |     25748 |    1208     4471    16531 |    15692    12032     36 |  0.000 % |
393.50/393.50	c |     38722 |    1208     4471    16531 |    17261     9220     36 |  0.000 % |
395.20/395.25	c |     58183 |    1208     4471    16531 |    18987    11346     37 |  0.000 % |
398.40/398.41	c |     87375 |    1208     4471    16531 |    20886    11915     39 |  0.000 % |
403.20/403.24	c |    131164 |    1208     4471    16531 |    22974    13742     37 |  0.000 % |
410.41/410.44	c |    196848 |    1208     4471    16531 |    25272    21603     37 |  0.000 % |
421.80/421.89	c |    295374 |    1208     4471    16531 |    27799    14391     38 |  0.000 % |
439.70/439.70	c |    443167 |    1208     4471    16531 |    30579    22631     38 |  0.000 % |
466.10/466.10	c |    664851 |    1207     4471    16531 |    33637    26740     38 |  0.083 % |
476.70/476.77	c ===============================================================================
481.91/481.96	c core #3
481.91/481.96	c ============================[ Search Statistics ]==============================
481.91/481.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
481.91/481.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
481.91/481.96	c ===============================================================================
481.91/481.96	c |         0 |    1694     5330    20541 |     5000        0    nan |  0.000 % |
481.91/481.99	c |       103 |    1694     5330    20541 |     5500      103     29 |  0.000 % |
482.00/482.00	c |       253 |    1694     5330    20541 |     6050      253     34 |  0.000 % |
482.00/482.01	c |       478 |    1694     5330    20541 |     6655      478     30 |  0.000 % |
482.00/482.03	c |       815 |    1694     5330    20541 |     7320      815     26 |  0.000 % |
482.00/482.07	c |      1324 |    1694     5330    20541 |     8052     1324     26 |  0.000 % |
482.11/482.14	c |      2083 |    1694     5330    20541 |     8857     2083     27 |  0.000 % |
482.21/482.23	c |      3222 |    1694     5330    20541 |     9743     3222     28 |  0.000 % |
482.30/482.32	c |      4932 |    1694     5330    20541 |    10717     4932     28 |  0.000 % |
482.40/482.47	c |      7494 |    1694     5330    20541 |    11789     7494     29 |  0.000 % |
482.70/482.74	c |     11338 |    1694     5330    20541 |    12968    11338     30 |  0.000 % |
483.10/483.19	c |     17106 |    1694     5330    20541 |    14265    10569     33 |  0.000 % |
483.91/483.99	c |     25755 |    1694     5330    20541 |    15692    12026     36 |  0.000 % |
485.21/485.26	c |     38729 |    1694     5330    20541 |    17261     9211     37 |  0.000 % |
487.00/487.08	c |     58190 |    1694     5330    20541 |    18987    11302     36 |  0.000 % |
489.90/489.97	c |     87384 |    1694     5330    20541 |    20886    11877     35 |  0.000 % |
494.51/494.56	c |    131173 |    1694     5330    20541 |    22974    13676     36 |  0.000 % |
501.90/501.90	c |    196858 |    1694     5330    20541 |    25272    21553     36 |  0.000 % |
514.00/514.05	c |    295384 |    1694     5330    20541 |    27799    13884     38 |  0.000 % |
530.71/530.75	c |    443174 |    1694     5330    20541 |    30579    20119     37 |  0.000 % |
558.70/558.72	c |    664860 |    1694     5330    20541 |    33637    24198     37 |  0.000 % |
602.70/602.74	c |    997389 |    1694     5330    20541 |    37001    20362     40 |  0.001 % |
609.71/609.79	c ===============================================================================
616.71/616.77	c core #4
616.71/616.77	c ============================[ Search Statistics ]==============================
616.71/616.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
616.71/616.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
616.71/616.77	c ===============================================================================
616.71/616.77	c |         0 |    2179     6169    24489 |     5000        0    nan |  0.000 % |
616.81/616.87	c |       103 |    2179     6169    24489 |     5500      103     21 |  0.000 % |
616.81/616.87	c |       257 |    2179     6169    24489 |     6050      257     21 |  0.000 % |
616.81/616.89	c |       484 |    2179     6169    24489 |     6655      484     24 |  0.000 % |
616.91/616.91	c |       822 |    2179     6169    24489 |     7320      822     26 |  0.000 % |
616.91/616.94	c |      1329 |    2179     6169    24489 |     8052     1329     27 |  0.000 % |
616.91/616.99	c |      2089 |    2179     6169    24489 |     8857     2089     28 |  0.000 % |
617.00/617.04	c |      3228 |    2179     6169    24489 |     9743     3228     29 |  0.000 % |
617.11/617.12	c |      4936 |    2179     6169    24489 |    10717     4936     30 |  0.000 % |
617.21/617.27	c |      7498 |    2179     6169    24489 |    11789     7498     29 |  0.000 % |
617.51/617.55	c |     11342 |    2179     6169    24489 |    12968    11342     32 |  0.000 % |
617.91/617.99	c |     17109 |    2179     6169    24489 |    14265    10572     36 |  0.000 % |
618.81/618.80	c |     25758 |    2179     6169    24489 |    15692    12042     38 |  0.000 % |
620.01/620.05	c |     38734 |    2179     6169    24489 |    17261     9211     41 |  0.000 % |
621.80/621.87	c |     58195 |    2179     6169    24489 |    18987    11302     39 |  0.000 % |
624.71/624.77	c |     87387 |    2179     6169    24489 |    20886    11869     36 |  0.000 % |
629.40/629.46	c |    131179 |    2179     6169    24489 |    22974    13668     38 |  0.000 % |
636.81/636.87	c |    196864 |    2179     6169    24489 |    25272    21630     38 |  0.000 % |
647.71/647.73	c |    295391 |    2179     6169    24489 |    27799    13684     38 |  0.000 % |
664.71/664.79	c |    443186 |    2179     6169    24489 |    30579    20605     38 |  0.000 % |
691.61/691.62	c |    664870 |    2179     6169    24489 |    33637    22364     35 |  0.000 % |
733.50/733.59	c |    997395 |    2178     6169    24489 |    37001    32624     36 |  0.046 % |
740.10/740.13	c ===============================================================================
746.80/746.88	c core #5
746.80/746.88	c ============================[ Search Statistics ]==============================
746.80/746.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
746.80/746.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
746.80/746.88	c ===============================================================================
746.80/746.88	c |         0 |    2683     6999    28434 |     5000        0    nan |  0.000 % |
746.91/746.98	c |       100 |    2683     6999    28434 |     5500      100     17 |  0.000 % |
746.91/746.99	c |       250 |    2683     6999    28434 |     6050      250     19 |  0.000 % |
746.91/747.00	c |       476 |    2683     6999    28434 |     6655      476     22 |  0.000 % |
747.02/747.02	c |       813 |    2683     6999    28434 |     7320      813     25 |  0.000 % |
747.02/747.05	c |      1319 |    2683     6999    28434 |     8052     1319     26 |  0.000 % |
747.11/747.10	c |      2081 |    2683     6999    28434 |     8857     2081     26 |  0.000 % |
747.11/747.16	c |      3220 |    2683     6999    28434 |     9743     3220     28 |  0.000 % |
747.21/747.23	c |      4929 |    2683     6999    28434 |    10717     4929     28 |  0.000 % |
747.41/747.40	c |      7493 |    2683     6999    28434 |    11789     7493     29 |  0.000 % |
747.61/747.67	c |     11337 |    2683     6999    28434 |    12968    11337     31 |  0.000 % |
748.12/748.13	c |     17104 |    2683     6999    28434 |    14265    10572     34 |  0.000 % |
748.90/748.93	c |     25753 |    2683     6999    28434 |    15692    12037     35 |  0.000 % |
750.11/750.13	c |     38727 |    2683     6999    28434 |    17261     9203     36 |  0.000 % |
752.01/752.07	c |     58191 |    2683     6999    28434 |    18987    11306     38 |  0.000 % |
755.11/755.17	c |     87384 |    2683     6999    28434 |    20886    11875     39 |  0.000 % |
759.71/759.76	c |    131174 |    2683     6999    28434 |    22974    13666     38 |  0.000 % |
767.11/767.10	c |    196860 |    2683     6999    28434 |    25272    21659     37 |  0.000 % |
779.11/779.17	c |    295386 |    2683     6999    28434 |    27799    16249     39 |  0.000 % |
797.91/797.95	c |    443179 |    2683     6999    28434 |    30579    23236     37 |  0.000 % |
826.71/826.79	c |    664863 |    2683     6999    28434 |    33637    26805     38 |  0.000 % |
870.01/870.06	c |    997388 |    2683     6999    28434 |    37001    21547     38 |  0.000 % |
906.22/906.24	c ===============================================================================
914.82/914.89	c core #6
914.82/914.89	c ============================[ Search Statistics ]==============================
914.82/914.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
914.82/914.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
914.82/914.89	c ===============================================================================
914.82/914.89	c |         0 |    3209     7816    32400 |     5000        0    nan |  0.000 % |
915.02/915.00	c |       101 |    3209     7816    32400 |     5500      101     40 |  0.000 % |
915.02/915.01	c |       251 |    3209     7816    32400 |     6050      251     35 |  0.000 % |
915.02/915.02	c |       476 |    3209     7816    32400 |     6655      476     33 |  0.000 % |
915.02/915.04	c |       814 |    3209     7816    32400 |     7320      814     31 |  0.000 % |
915.02/915.07	c |      1321 |    3209     7816    32400 |     8052     1321     30 |  0.000 % |
915.11/915.12	c |      2080 |    3209     7816    32400 |     8857     2080     29 |  0.000 % |
915.11/915.19	c |      3219 |    3209     7816    32400 |     9743     3219     30 |  0.000 % |
915.22/915.28	c |      4929 |    3209     7816    32400 |    10717     4929     30 |  0.000 % |
915.41/915.44	c |      7492 |    3209     7816    32400 |    11789     7492     31 |  0.000 % |
915.71/915.71	c |     11336 |    3209     7816    32400 |    12968    11336     31 |  0.000 % |
916.12/916.18	c |     17102 |    3209     7816    32400 |    14265    10590     34 |  0.000 % |
916.92/916.92	c |     25751 |    3209     7816    32400 |    15692    12036     34 |  0.000 % |
918.11/918.11	c |     38728 |    3209     7816    32400 |    17261     9214     33 |  0.000 % |
920.01/920.05	c |     58191 |    3209     7816    32400 |    18987    11309     39 |  0.000 % |
923.02/923.05	c |     87385 |    3209     7816    32400 |    20886    11875     36 |  0.000 % |
927.61/927.69	c |    131174 |    3209     7816    32400 |    22974    13683     36 |  0.000 % |
935.21/935.27	c |    196858 |    3209     7816    32400 |    25272    21685     38 |  0.000 % |
946.21/946.27	c |    295385 |    3209     7816    32400 |    27799    13890     36 |  0.000 % |
963.82/963.81	c |    443175 |    3209     7816    32400 |    30579    19488     36 |  0.000 % |
991.91/991.97	c |    664858 |    3209     7816    32400 |    33637    23330     38 |  0.000 % |
1037.02/1037.03	c |    997385 |    3209     7816    32400 |    37001    23596     40 |  0.000 % |
1105.62/1105.64	c |   1496174 |    3207     7816    32400 |    40701    34241     38 |  0.062 % |
1108.32/1108.31	c ===============================================================================
1118.82/1118.81	c core #7
1118.82/1118.81	c ============================[ Search Statistics ]==============================
1118.82/1118.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1118.82/1118.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1118.82/1118.81	c ===============================================================================
1118.82/1118.81	c |         0 |    3725     8629    36327 |     5000        0    nan |  0.000 % |
1118.91/1118.94	c |       102 |    3725     8629    36327 |     5500      102     20 |  0.000 % |
1118.91/1118.95	c |       253 |    3725     8629    36327 |     6050      253     26 |  0.000 % |
1118.91/1118.96	c |       480 |    3725     8629    36327 |     6655      480     31 |  0.000 % |
1118.91/1118.99	c |       817 |    3725     8629    36327 |     7320      817     30 |  0.000 % |
1119.02/1119.03	c |      1326 |    3725     8629    36327 |     8052     1326     31 |  0.000 % |
1119.02/1119.08	c |      2086 |    3725     8629    36327 |     8857     2086     30 |  0.000 % |
1119.12/1119.14	c |      3226 |    3725     8629    36327 |     9743     3226     29 |  0.000 % |
1119.22/1119.24	c |      4934 |    3725     8629    36327 |    10717     4934     30 |  0.000 % |
1119.32/1119.40	c |      7497 |    3725     8629    36327 |    11789     7497     31 |  0.000 % |
1119.72/1119.72	c |     11341 |    3725     8629    36327 |    12968    11341     31 |  0.000 % |
1120.12/1120.19	c |     17108 |    3725     8629    36327 |    14265    10570     35 |  0.000 % |
1120.52/1120.55	c ===============================================================================
1120.52/1120.55	c #cores: 7
1120.52/1120.55	c Final Weight: 7
1120.52/1120.55	o 7
1120.52/1120.55	s OPTIMUM FOUND
1120.52/1120.55	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
1120.52/1120.55	c Total CPU time: 1109.27 s

Verifier Data 

OK	7

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690029-1277903771/watcher-2690029-1277903771 -o /tmp/evaluation-result-2690029-1277903771/solver-2690029-1277903771 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690029-1277903771.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.02 2.00 2.00 4/178 12523
/proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=2656 CPUtime=0
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 303 0 0 0 0 0 0 0 25 0 1 0 131674013 2719744 222 4089446400 134512640 135751879 4294713712 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 664 223 146 303 0 337 0

[startup+0.100764 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 12523
/proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=3516 CPUtime=0.09
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 534 0 0 0 9 0 0 0 25 0 1 0 131674013 3600384 431 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 879 431 143 303 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3516

[startup+0.200747 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 12523
/proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=4176 CPUtime=0.19
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 696 0 0 0 19 0 0 0 25 0 1 0 131674013 4276224 593 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 1044 594 143 303 0 739 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4176

[startup+0.300725 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 12523
/proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=4704 CPUtime=0.29
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 832 0 0 0 29 0 0 0 25 0 1 0 131674013 4816896 729 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 1176 729 143 303 0 871 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4704

[startup+0.700661 s]
/proc/loadavg: 2.02 2.00 2.00 4/178 12523
/proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=6552 CPUtime=0.69
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 1290 0 0 0 68 1 0 0 25 0 1 0 131674013 6709248 1187 4089446400 134512640 135751879 4294713712 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 1638 1187 143 303 0 1333 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6552

[startup+1.50053 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 12524
/proc/meminfo: memFree=31515116/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=9720 CPUtime=1.49
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 2084 0 0 0 147 2 0 0 25 0 1 0 131674013 9953280 1981 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 2430 1981 143 303 0 2125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9720

[startup+3.10018 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 12524
/proc/meminfo: memFree=31510372/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=15672 CPUtime=3.09
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 3599 0 0 0 304 5 0 0 25 0 1 0 131674013 16048128 3496 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 3918 3496 143 303 0 3613 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15672

[startup+6.30061 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 12524
/proc/meminfo: memFree=31498344/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=26972 CPUtime=6.29
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 6400 0 0 0 619 10 0 0 25 0 1 0 131674013 27619328 6297 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 6743 6297 143 303 0 6438 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26972

[startup+12.7005 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 12524
/proc/meminfo: memFree=31477636/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=46264 CPUtime=12.69
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 11241 0 0 0 1251 18 0 0 25 0 1 0 131674013 47374336 11138 4089446400 134512640 135751879 4294713712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 11566 11138 143 303 0 11261 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46264

[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12525
/proc/meminfo: memFree=31439680/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=81548 CPUtime=25.5
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 20049 0 0 0 2517 33 0 0 25 0 1 0 131674013 83505152 19946 4089446400 134512640 135751879 4294713712 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 20387 19947 143 303 0 20082 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 81548

[startup+51.1007 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12526
/proc/meminfo: memFree=31372628/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=146336 CPUtime=51.09
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 36214 0 0 0 5046 63 0 0 25 0 1 0 131674013 149848064 36111 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 36584 36111 143 303 0 36279 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 146336

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12527
/proc/meminfo: memFree=31249344/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=266944 CPUtime=102.3
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 66357 0 0 0 10115 115 0 0 25 0 1 0 131674013 273350656 66254 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 66736 66254 143 303 0 66431 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 266944

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12528
/proc/meminfo: memFree=31097896/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=422428 CPUtime=162.29
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 105200 0 0 0 16055 174 0 0 25 0 1 0 131674013 432566272 105097 4089446400 134512640 135751879 4294713712 18446744073709551615 134516450 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 105607 105097 143 303 0 105302 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 422428

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12530
/proc/meminfo: memFree=31058164/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=453716 CPUtime=222.3
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 113134 0 0 0 21996 234 0 0 25 0 1 0 131674013 464605184 112994 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 113429 112994 146 303 0 113124 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 453716

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12532
/proc/meminfo: memFree=30979516/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=532776 CPUtime=282.3
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 132874 0 0 0 27928 302 0 0 25 0 1 0 131674013 545562624 132734 4089446400 134512640 135751879 4294713712 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 133194 132734 146 303 0 132889 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 532776

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12534
/proc/meminfo: memFree=30858212/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=651768 CPUtime=342.3
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 162611 0 0 0 33870 360 0 0 25 0 1 0 131674013 667410432 162471 4089446400 134512640 135751879 4294713712 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 162942 162471 146 303 0 162637 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 651768

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12535
/proc/meminfo: memFree=30731072/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=776264 CPUtime=402.3
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 193726 0 0 0 39814 416 0 0 25 0 1 0 131674013 794894336 193586 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 194066 193586 146 303 0 193761 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 776264

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12536
/proc/meminfo: memFree=30700160/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=805676 CPUtime=462.3
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 201121 0 0 0 45754 476 0 0 25 0 1 0 131674013 825012224 200981 4089446400 134512640 135751879 4294713712 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 201419 200981 146 303 0 201114 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 805676

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12538
/proc/meminfo: memFree=30638108/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=866836 CPUtime=522.31
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 216389 0 0 0 51692 539 0 0 25 0 1 0 131674013 887640064 216249 4089446400 134512640 135751879 4294713712 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 216709 216249 146 303 0 216404 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 866836

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12540
/proc/meminfo: memFree=30552016/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=947960 CPUtime=582.31
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 236655 0 0 0 57633 598 0 0 25 0 1 0 131674013 970711040 236515 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 236990 236515 146 303 0 236685 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 947960

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12541
/proc/meminfo: memFree=30478548/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1018364 CPUtime=642.31
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 254303 0 0 0 63577 654 0 0 25 0 1 0 131674013 1042804736 254163 4089446400 134512640 135751879 4294713712 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 254591 254163 146 303 0 254286 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1018364

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12543
/proc/meminfo: memFree=30389832/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1103896 CPUtime=702.31
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 275642 0 0 0 69510 721 0 0 25 0 1 0 131674013 1130389504 275502 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 275974 275502 146 303 0 275669 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1103896

[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12544
/proc/meminfo: memFree=30294288/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1197780 CPUtime=762.31
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 299167 0 0 0 75452 779 0 0 25 0 1 0 131674013 1226526720 299027 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 299445 299027 146 303 0 299140 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 1197780

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12546
/proc/meminfo: memFree=30227788/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1262792 CPUtime=822.31
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 315396 0 0 0 81391 840 0 0 25 0 1 0 131674013 1293099008 315256 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 315698 315256 146 303 0 315393 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1262792

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12548
/proc/meminfo: memFree=30121596/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1366892 CPUtime=882.31
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 341404 0 0 0 87332 899 0 0 25 0 1 0 131674013 1399697408 341264 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 341723 341264 146 303 0 341418 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1366892

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12552
/proc/meminfo: memFree=30034828/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1451696 CPUtime=942.32
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 362637 0 0 0 93271 961 0 0 25 0 1 0 131674013 1486536704 362497 4089446400 134512640 135751879 4294713712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 362924 362497 146 303 0 362619 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1451696

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12554
/proc/meminfo: memFree=29970980/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1514744 CPUtime=1002.32
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 378358 0 0 0 99210 1022 0 0 25 0 1 0 131674013 1551097856 378218 4089446400 134512640 135751879 4294713712 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 378686 378218 146 303 0 378381 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1514744

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12555
/proc/meminfo: memFree=29872600/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1613556 CPUtime=1062.32
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 403055 0 0 0 105153 1079 0 0 25 0 1 0 131674013 1652281344 402915 4089446400 134512640 135751879 4294713712 18446744073709551615 134616507 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 403389 402915 146 303 0 403084 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1613556

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

[startup+1075.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12556
/proc/meminfo: memFree=29846036/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1639648 CPUtime=1075.22
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 409568 0 0 0 106427 1095 0 0 25 0 1 0 131674013 1678999552 409428 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 409912 409428 146 303 0 409607 0
Current children cumulated CPU time (s) 1075.22
Current children cumulated vsize (KiB) 1639648

[startup+1100.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12557
/proc/meminfo: memFree=29797668/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1688564 CPUtime=1100.82
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 421813 0 0 0 108959 1123 0 0 25 0 1 0 131674013 1729089536 421673 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 422141 421673 146 303 0 421836 0
Current children cumulated CPU time (s) 1100.82
Current children cumulated vsize (KiB) 1688564

[startup+1113.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12557
/proc/meminfo: memFree=29738504/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1746536 CPUtime=1113.61
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436298 0 0 0 110232 1129 0 0 25 0 1 0 131674013 1788452864 436158 4089446400 134512640 135751879 4294713712 18446744073709551615 134618707 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 436634 436158 146 303 0 436329 0
Current children cumulated CPU time (s) 1113.61
Current children cumulated vsize (KiB) 1746536

[startup+1116.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12557
/proc/meminfo: memFree=29738128/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1746536 CPUtime=1116.81
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436298 0 0 0 110552 1129 0 0 25 0 1 0 131674013 1788452864 436158 4089446400 134512640 135751879 4294713712 18446744073709551615 134618707 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 436634 436158 146 303 0 436329 0
Current children cumulated CPU time (s) 1116.81
Current children cumulated vsize (KiB) 1746536

[startup+1118.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12557
/proc/meminfo: memFree=29738128/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1747600 CPUtime=1118.41
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436526 0 0 0 110712 1129 0 0 25 0 1 0 131674013 1789542400 436386 4089446400 134512640 135751879 4294713712 18446744073709551615 134521914 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 436900 436386 146 303 0 436595 0
Current children cumulated CPU time (s) 1118.41
Current children cumulated vsize (KiB) 1747600

[startup+1120 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12557
/proc/meminfo: memFree=29737136/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1747600 CPUtime=1120.01
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436534 0 0 0 110871 1130 0 0 25 0 1 0 131674013 1789542400 436394 4089446400 134512640 135751879 4294713712 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 436900 436394 146 303 0 436595 0
Current children cumulated CPU time (s) 1120.01
Current children cumulated vsize (KiB) 1747600

[startup+1120.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12557
/proc/meminfo: memFree=29737136/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=1747600 CPUtime=1120.42
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436534 0 0 0 110911 1131 0 0 25 0 1 0 131674013 1789542400 436394 4089446400 134512640 135751879 4294713712 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/12523/statm: 436900 436394 146 303 0 436595 0
Current children cumulated CPU time (s) 1120.42
Current children cumulated vsize (KiB) 1747600

[startup+1120.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12557
/proc/meminfo: memFree=29737136/32950928 swapFree=67111528/67111528
[pid=12523] ppid=12521 vsize=0 CPUtime=1120.62
/proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202500 436534 0 0 0 110926 1136 0 0 25 0 1 0 131674013 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/12523/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1120.62
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1120.61
CPU time (s): 1120.64
CPU user time (s): 1109.27
CPU system time (s): 11.3683
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1747600

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

runsolver used 1.60875 second user time and 3.49947 second system time

The end

Launcher Data 

Begin job on node120 at 2010-06-30 15:16:11
IDJOB=2690029
IDBENCH=78914
IDSOLVER=1200
FILE ID=node120/2690029-1277903771
PBS_JOBID= 11197198
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.1900557957--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-2690029-1277903771/watcher-2690029-1277903771 -o /tmp/evaluation-result-2690029-1277903771/solver-2690029-1277903771 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690029-1277903771.wbo

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

MD5SUM BENCH= cd9d62896ad241b3e0bc0c585d812475
RANDOM SEED=1325083585

node120.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.820
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.64
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.820
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	: 5226.07
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.820
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.80
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.820
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.74
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.820
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.82
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.820
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.68
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.820
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.75
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31521604 kB
Buffers:        189584 kB
Cached:         935844 kB
SwapCached:          0 kB
Active:         702640 kB
Inactive:       586344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31521604 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2760 kB
Writeback:           0 kB
AnonPages:      163468 kB
Mapped:          17136 kB
Slab:            77852 kB
PageTables:       4864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   312036 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 node120 at 2010-06-30 15:34:51