Trace number 2690143

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.4a? (TO) 1800.13 1800.09

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-66-100-0.wbo
MD5SUM9b8daeac3a936659a5f0bb5b79c19c15
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 benchmark677.011
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 constraints906
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 44555
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44554
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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-2690143-1277909771.wbo.
0.00/0.00	c Instance file HOME/instance-2690143-1277909771.wbo
0.00/0.00	c File size is 87897 bytes.
0.00/0.00	c Highest Coefficient sum: 723
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     22 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     22 |  0.002 % |
0.00/0.01	c |       477 |     231     2707     8338 |     6655      477     23 |  0.002 % |
0.00/0.02	c |       817 |     231     2707     8338 |     7320      817     25 |  0.002 % |
0.00/0.04	c |      1323 |     231     2707     8338 |     8052     1323     29 |  0.002 % |
0.00/0.06	c |      2084 |     231     2707     8338 |     8857     2084     32 |  0.002 % |
0.09/0.10	c |      3225 |     231     2707     8338 |     9743     3225     31 |  0.002 % |
0.09/0.17	c |      4934 |     231     2707     8338 |    10717     4934     32 |  0.002 % |
0.19/0.28	c |      7496 |     231     2707     8338 |    11789     7496     31 |  0.002 % |
0.39/0.48	c |     11343 |     231     2707     8338 |    12968    11343     32 |  0.002 % |
0.79/0.82	c |     17109 |     231     2707     8338 |    14265    10576     33 |  0.002 % |
1.30/1.38	c |     25758 |     231     2707     8338 |    15692    12050     34 |  0.002 % |
2.20/2.24	c |     38733 |     231     2707     8338 |    17261     9238     35 |  0.002 % |
3.69/3.76	c |     58197 |     231     2707     8338 |    18987    11334     39 |  0.002 % |
6.40/6.46	c |     87389 |     231     2707     8338 |    20886    11895     40 |  0.002 % |
10.19/10.24	c |    131178 |     231     2707     8338 |    22974    13692     38 |  0.002 % |
15.69/15.71	c |    196862 |     231     2707     8338 |    25272    21647     38 |  0.002 % |
25.29/25.30	c |    295388 |     231     2707     8338 |    27799    14881     33 |  0.002 % |
40.49/40.53	c |    443178 |     231     2707     8338 |    30579    21860     35 |  0.002 % |
65.20/65.28	c |    664863 |     231     2707     8338 |    33637    25396     39 |  0.002 % |
104.59/104.61	c |    997388 |     231     2707     8338 |    37001    23227     38 |  0.002 % |
130.29/130.30	c ===============================================================================
136.69/136.79	c core #1
136.69/136.79	c ============================[ Search Statistics ]==============================
136.69/136.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
136.69/136.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
136.69/136.79	c ===============================================================================
136.69/136.79	c |         0 |     688     3558    12290 |     5000        0    nan |  0.000 % |
136.99/137.06	c |       101 |     688     3558    12290 |     5500      101     22 |  0.000 % |
136.99/137.09	c |       252 |     688     3558    12290 |     6050      252     28 |  0.000 % |
136.99/137.10	c |       478 |     688     3558    12290 |     6655      478     30 |  0.000 % |
137.10/137.11	c |       815 |     688     3558    12290 |     7320      815     29 |  0.000 % |
137.10/137.13	c |      1321 |     688     3558    12290 |     8052     1321     30 |  0.000 % |
137.10/137.19	c |      2080 |     688     3558    12290 |     8857     2080     30 |  0.000 % |
137.19/137.23	c |      3219 |     688     3558    12290 |     9743     3219     30 |  0.000 % |
137.30/137.30	c |      4927 |     688     3558    12290 |    10717     4927     30 |  0.000 % |
137.40/137.42	c |      7490 |     688     3558    12290 |    11789     7490     31 |  0.000 % |
137.60/137.65	c |     11334 |     688     3558    12290 |    12968    11334     32 |  0.000 % |
137.99/138.00	c |     17100 |     688     3558    12290 |    14265    10556     32 |  0.000 % |
138.60/138.65	c |     25749 |     688     3558    12290 |    15692    12020     36 |  0.000 % |
139.70/139.71	c |     38725 |     688     3558    12290 |    17261     9209     35 |  0.000 % |
141.29/141.36	c |     58186 |     688     3558    12290 |    18987    11320     37 |  0.000 % |
144.20/144.21	c |     87380 |     688     3558    12290 |    20886    11876     41 |  0.000 % |
148.40/148.40	c |    131172 |     688     3558    12290 |    22974    13654     36 |  0.000 % |
155.39/155.48	c |    196860 |     688     3558    12290 |    25272    21469     39 |  0.000 % |
166.60/166.62	c |    295387 |     688     3558    12290 |    27799    15835     38 |  0.000 % |
182.10/182.15	c |    443176 |     688     3558    12290 |    30579    22172     36 |  0.000 % |
206.60/206.61	c |    664861 |     688     3558    12290 |    33637    25508     39 |  0.000 % |
243.30/243.30	c |    997388 |     688     3558    12290 |    37001    17661     37 |  0.005 % |
262.90/262.98	c ===============================================================================
269.40/269.49	c core #2
269.40/269.49	c ============================[ Search Statistics ]==============================
269.40/269.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
269.40/269.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
269.40/269.49	c ===============================================================================
269.40/269.49	c |         0 |    1146     4398    16207 |     5000        0    nan |  0.000 % |
269.51/269.52	c |       101 |    1146     4398    16207 |     5500      101     26 |  0.000 % |
269.51/269.53	c |       251 |    1146     4398    16207 |     6050      251     31 |  0.000 % |
269.51/269.56	c |       476 |    1146     4398    16207 |     6655      476     29 |  0.000 % |
269.51/269.58	c |       815 |    1146     4398    16207 |     7320      815     31 |  0.000 % |
269.60/269.60	c |      1322 |    1146     4398    16207 |     8052     1322     30 |  0.000 % |
269.60/269.64	c |      2083 |    1146     4398    16207 |     8857     2083     27 |  0.000 % |
269.70/269.71	c |      3225 |    1146     4398    16207 |     9743     3225     29 |  0.000 % |
269.70/269.79	c |      4936 |    1146     4398    16207 |    10717     4936     29 |  0.000 % |
269.89/269.92	c |      7498 |    1146     4398    16207 |    11789     7498     30 |  0.000 % |
270.10/270.18	c |     11342 |    1146     4398    16207 |    12968    11342     33 |  0.000 % |
270.60/270.68	c |     17109 |    1146     4398    16207 |    14265    10589     39 |  0.000 % |
271.40/271.48	c |     25758 |    1146     4398    16207 |    15692    12053     42 |  0.000 % |
272.71/272.71	c |     38735 |    1146     4398    16207 |    17261     9223     37 |  0.000 % |
274.20/274.29	c |     58197 |    1146     4398    16207 |    18987    11317     36 |  0.000 % |
276.89/276.95	c |     87389 |    1146     4398    16207 |    20886    11893     36 |  0.000 % |
281.10/281.20	c |    131179 |    1146     4398    16207 |    22974    13714     34 |  0.000 % |
287.40/287.44	c |    196863 |    1146     4398    16207 |    25272    21428     37 |  0.000 % |
298.11/298.14	c |    295389 |    1146     4398    16207 |    27799    24861     40 |  0.000 % |
314.40/314.48	c |    443178 |    1146     4398    16207 |    30579    16069     34 |  0.000 % |
338.40/338.50	c |    664861 |    1146     4398    16207 |    33637    16673     36 |  0.000 % |
375.90/375.97	c |    997388 |    1146     4398    16207 |    37001    33630     41 |  0.002 % |
386.90/386.94	c ===============================================================================
392.80/392.81	c core #3
392.80/392.81	c ============================[ Search Statistics ]==============================
392.80/392.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
392.80/392.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
392.80/392.81	c ===============================================================================
392.80/392.81	c |         0 |    1604     5216    20049 |     5000        0    nan |  0.000 % |
392.80/392.89	c |       101 |    1604     5216    20049 |     5500      101     23 |  0.000 % |
392.91/392.90	c |       251 |    1604     5216    20049 |     6050      251     33 |  0.000 % |
392.91/392.91	c |       477 |    1604     5216    20049 |     6655      477     32 |  0.000 % |
392.91/392.93	c |       817 |    1604     5216    20049 |     7320      817     31 |  0.000 % |
392.91/392.95	c |      1325 |    1604     5216    20049 |     8052     1325     31 |  0.000 % |
393.00/393.01	c |      2085 |    1604     5216    20049 |     8857     2085     30 |  0.000 % |
393.00/393.06	c |      3225 |    1604     5216    20049 |     9743     3225     30 |  0.000 % |
393.10/393.14	c |      4934 |    1604     5216    20049 |    10717     4934     31 |  0.000 % |
393.20/393.28	c |      7496 |    1604     5216    20049 |    11789     7496     32 |  0.000 % |
393.50/393.53	c |     11344 |    1604     5216    20049 |    12968    11344     32 |  0.000 % |
393.91/393.97	c |     17110 |    1604     5216    20049 |    14265    10579     35 |  0.000 % |
394.60/394.61	c |     25759 |    1604     5216    20049 |    15692    12042     34 |  0.000 % |
395.60/395.69	c |     38736 |    1604     5216    20049 |    17261     9208     38 |  0.000 % |
397.50/397.59	c |     58198 |    1604     5216    20049 |    18987    11316     38 |  0.000 % |
400.10/400.12	c |     87392 |    1604     5216    20049 |    20886    11842     35 |  0.000 % |
404.60/404.61	c |    131185 |    1604     5216    20049 |    22974    13664     39 |  0.000 % |
412.00/412.02	c |    196869 |    1604     5216    20049 |    25272    21655     38 |  0.000 % |
422.31/422.39	c |    295397 |    1604     5216    20049 |    27799    13926     38 |  0.000 % |
438.40/438.47	c |    443188 |    1604     5216    20049 |    30579    22331     41 |  0.000 % |
464.30/464.34	c |    664872 |    1601     5216    20049 |    33637    24132     38 |  0.187 % |
506.70/506.79	c |    997397 |    1601     5216    20049 |    37001    23110     38 |  0.187 % |
532.41/532.42	c ===============================================================================
539.51/539.58	c core #4
539.51/539.58	c ============================[ Search Statistics ]==============================
539.51/539.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
539.51/539.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
539.51/539.58	c ===============================================================================
539.51/539.58	c |         0 |    2070     6031    23909 |     5000        0    nan |  0.000 % |
539.61/539.68	c |       100 |    2070     6031    23909 |     5500      100     30 |  0.000 % |
539.61/539.69	c |       250 |    2070     6031    23909 |     6050      250     22 |  0.000 % |
539.71/539.70	c |       477 |    2070     6031    23909 |     6655      477     29 |  0.000 % |
539.71/539.71	c |       814 |    2070     6031    23909 |     7320      814     27 |  0.000 % |
539.71/539.75	c |      1320 |    2070     6031    23909 |     8052     1320     30 |  0.000 % |
539.80/539.81	c |      2079 |    2070     6031    23909 |     8857     2079     32 |  0.000 % |
539.80/539.87	c |      3221 |    2070     6031    23909 |     9743     3221     33 |  0.000 % |
539.90/539.97	c |      4931 |    2070     6031    23909 |    10717     4931     32 |  0.000 % |
540.11/540.11	c |      7494 |    2070     6031    23909 |    11789     7494     32 |  0.000 % |
540.30/540.39	c |     11339 |    2070     6031    23909 |    12968    11339     32 |  0.000 % |
540.80/540.80	c |     17106 |    2070     6031    23909 |    14265    10557     34 |  0.000 % |
541.60/541.62	c |     25755 |    2070     6031    23909 |    15692    12017     38 |  0.000 % |
542.80/542.89	c |     38730 |    2070     6031    23909 |    17261     9181     36 |  0.000 % |
544.60/544.63	c |     58192 |    2070     6031    23909 |    18987    11278     39 |  0.000 % |
547.81/547.83	c |     87385 |    2070     6031    23909 |    20886    11835     38 |  0.000 % |
552.01/552.06	c |    131175 |    2070     6031    23909 |    22974    13644     36 |  0.000 % |
558.71/558.78	c |    196860 |    2070     6031    23909 |    25272    21567     38 |  0.000 % |
569.31/569.35	c |    295388 |    2070     6031    23909 |    27799    13322     38 |  0.000 % |
585.40/585.47	c |    443178 |    2070     6031    23909 |    30579    17926     38 |  0.000 % |
611.41/611.48	c |    664862 |    2070     6031    23909 |    33637    21779     38 |  0.000 % |
652.31/652.32	c |    997388 |    2070     6031    23909 |    37001    20432     39 |  0.000 % |
697.71/697.76	c ===============================================================================
705.61/705.66	c core #5
705.61/705.66	c ============================[ Search Statistics ]==============================
705.61/705.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
705.61/705.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
705.61/705.66	c ===============================================================================
705.61/705.66	c |         0 |    2553     6822    27717 |     5000        0    nan |  0.000 % |
705.71/705.76	c |       100 |    2553     6822    27717 |     5500      100     36 |  0.000 % |
705.71/705.77	c |       250 |    2553     6822    27717 |     6050      250     39 |  0.000 % |
705.71/705.79	c |       477 |    2553     6822    27717 |     6655      477     34 |  0.000 % |
705.80/705.81	c |       816 |    2553     6822    27717 |     7320      816     32 |  0.000 % |
705.80/705.85	c |      1322 |    2553     6822    27717 |     8052     1322     29 |  0.000 % |
705.91/705.91	c |      2082 |    2553     6822    27717 |     8857     2082     31 |  0.000 % |
705.91/705.96	c |      3224 |    2553     6822    27717 |     9743     3224     31 |  0.000 % |
706.01/706.06	c |      4935 |    2553     6822    27717 |    10717     4935     32 |  0.000 % |
706.21/706.23	c |      7498 |    2553     6822    27717 |    11789     7498     34 |  0.000 % |
706.51/706.51	c |     11342 |    2553     6822    27717 |    12968    11342     34 |  0.000 % |
706.91/706.99	c |     17109 |    2553     6822    27717 |    14265    10558     38 |  0.000 % |
707.61/707.68	c |     25760 |    2553     6822    27717 |    15692    12021     38 |  0.000 % |
708.81/708.82	c |     38734 |    2553     6822    27717 |    17261     9194     34 |  0.000 % |
710.51/710.57	c |     58195 |    2553     6822    27717 |    18987    11287     38 |  0.000 % |
713.30/713.36	c |     87389 |    2553     6822    27717 |    20886    11851     37 |  0.000 % |
717.41/717.40	c |    131180 |    2553     6822    27717 |    22974    13627     34 |  0.000 % |
723.72/723.79	c |    196867 |    2553     6822    27717 |    25272    20993     36 |  0.000 % |
735.51/735.53	c |    295396 |    2553     6822    27717 |    27799    13970     39 |  0.000 % |
753.21/753.29	c |    443186 |    2553     6822    27717 |    30579    21048     40 |  0.000 % |
779.61/779.60	c |    664869 |    2553     6822    27717 |    33637    22522     36 |  0.000 % |
820.41/820.50	c |    997395 |    2552     6822    27717 |    37001    15567     37 |  0.039 % |
858.22/858.27	c ===============================================================================
866.21/866.22	c core #6
866.21/866.22	c ============================[ Search Statistics ]==============================
866.21/866.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
866.21/866.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
866.21/866.22	c ===============================================================================
866.21/866.22	c |         0 |    3052     7604    31537 |     5000        0    nan |  0.000 % |
866.21/866.29	c |       100 |    3052     7604    31537 |     5500      100     24 |  0.000 % |
866.31/866.32	c |       251 |    3052     7604    31537 |     6050      251     30 |  0.000 % |
866.31/866.33	c |       477 |    3052     7604    31537 |     6655      477     27 |  0.000 % |
866.31/866.37	c |       815 |    3052     7604    31537 |     7320      815     28 |  0.000 % |
866.41/866.40	c |      1321 |    3052     7604    31537 |     8052     1321     29 |  0.000 % |
866.41/866.45	c |      2081 |    3052     7604    31537 |     8857     2081     31 |  0.000 % |
866.52/866.54	c |      3223 |    3052     7604    31537 |     9743     3223     33 |  0.000 % |
866.61/866.63	c |      4931 |    3052     7604    31537 |    10717     4931     33 |  0.000 % |
866.82/866.81	c |      7494 |    3052     7604    31537 |    11789     7494     34 |  0.000 % |
867.11/867.12	c |     11340 |    3052     7604    31537 |    12968    11340     35 |  0.000 % |
867.52/867.59	c |     17106 |    3052     7604    31537 |    14265    10563     37 |  0.000 % |
868.31/868.32	c |     25756 |    3052     7604    31537 |    15692    12024     39 |  0.000 % |
869.41/869.49	c |     38731 |    3052     7604    31537 |    17261     9202     34 |  0.000 % |
871.31/871.36	c |     58192 |    3052     7604    31537 |    18987    11306     39 |  0.000 % |
874.62/874.61	c |     87386 |    3052     7604    31537 |    20886    11847     42 |  0.000 % |
879.01/879.07	c |    131177 |    3052     7604    31537 |    22974    13613     43 |  0.000 % |
885.81/885.81	c |    196861 |    3052     7604    31537 |    25272    21527     39 |  0.000 % |
897.71/897.74	c |    295389 |    3052     7604    31537 |    27799    14327     41 |  0.000 % |
915.71/915.79	c |    443178 |    3052     7604    31537 |    30579    22157     39 |  0.000 % |
941.31/941.39	c |    664862 |    3052     7604    31537 |    33637    22948     37 |  0.000 % |
984.82/984.87	c |    997388 |    3048     7604    31537 |    37001    17748     41 |  0.131 % |
1004.62/1004.63	c ===============================================================================
1012.12/1012.11	c core #7
1012.12/1012.11	c ============================[ Search Statistics ]==============================
1012.12/1012.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1012.12/1012.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1012.12/1012.11	c ===============================================================================
1012.12/1012.11	c |         0 |    3548     8384    35344 |     5000        0    nan |  0.000 % |
1012.22/1012.22	c |       100 |    3548     8384    35344 |     5500      100     34 |  0.000 % |
1012.22/1012.23	c |       253 |    3548     8384    35344 |     6050      253     33 |  0.000 % |
1012.22/1012.25	c |       478 |    3548     8384    35344 |     6655      478     32 |  0.000 % |
1012.22/1012.28	c |       818 |    3548     8384    35344 |     7320      818     34 |  0.000 % |
1012.31/1012.33	c |      1326 |    3548     8384    35344 |     8052     1326     31 |  0.000 % |
1012.31/1012.37	c |      2088 |    3548     8384    35344 |     8857     2088     32 |  0.000 % |
1012.42/1012.43	c |      3227 |    3548     8384    35344 |     9743     3227     32 |  0.000 % |
1012.52/1012.53	c |      4935 |    3548     8384    35344 |    10717     4935     32 |  0.000 % |
1012.72/1012.71	c |      7497 |    3548     8384    35344 |    11789     7497     34 |  0.000 % |
1012.92/1012.98	c |     11342 |    3548     8384    35344 |    12968    11342     33 |  0.000 % |
1013.41/1013.40	c |     17108 |    3548     8384    35344 |    14265    10561     31 |  0.000 % |
1014.01/1014.09	c |     25759 |    3548     8384    35344 |    15692    12033     35 |  0.000 % |
1015.32/1015.35	c |     38733 |    3548     8384    35344 |    17261     9218     40 |  0.000 % |
1017.22/1017.23	c |     58196 |    3548     8384    35344 |    18987    11304     38 |  0.000 % |
1020.41/1020.49	c |     87391 |    3548     8384    35344 |    20886    11860     39 |  0.000 % |
1025.02/1025.02	c |    131181 |    3548     8384    35344 |    22974    13670     41 |  0.000 % |
1032.62/1032.65	c |    196866 |    3548     8384    35344 |    25272    21695     39 |  0.000 % |
1044.12/1044.18	c |    295395 |    3548     8384    35344 |    27799    14689     36 |  0.000 % |
1062.31/1062.31	c |    443184 |    3548     8384    35344 |    30579    19726     40 |  0.000 % |
1088.92/1088.91	c |    664868 |    3548     8384    35344 |    33637    21843     36 |  0.000 % |
1131.32/1131.34	c |    997393 |    3548     8384    35344 |    37001    15139     39 |  0.000 % |
1192.12/1192.17	c ===============================================================================
1201.92/1201.91	c core #8
1201.92/1201.91	c ============================[ Search Statistics ]==============================
1201.92/1201.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1201.92/1201.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1201.92/1201.91	c ===============================================================================
1201.92/1201.91	c |         0 |    4035     9153    39080 |     5000        0    nan |  0.000 % |
1202.02/1202.04	c |       100 |    4035     9153    39080 |     5500      100     34 |  0.000 % |
1202.02/1202.05	c |       251 |    4035     9153    39080 |     6050      251     29 |  0.000 % |
1202.02/1202.06	c |       477 |    4035     9153    39080 |     6655      477     29 |  0.000 % |
1202.02/1202.08	c |       814 |    4035     9153    39080 |     7320      814     28 |  0.000 % |
1202.12/1202.12	c |      1321 |    4035     9153    39080 |     8052     1321     29 |  0.000 % |
1202.12/1202.17	c |      2081 |    4035     9153    39080 |     8857     2081     29 |  0.000 % |
1202.23/1202.25	c |      3220 |    4035     9153    39080 |     9743     3220     29 |  0.000 % |
1202.33/1202.34	c |      4932 |    4035     9153    39080 |    10717     4932     29 |  0.000 % |
1202.52/1202.51	c |      7496 |    4035     9153    39080 |    11789     7496     30 |  0.000 % |
1202.82/1202.80	c |     11341 |    4035     9153    39080 |    12968    11341     31 |  0.000 % |
1203.22/1203.28	c |     17107 |    4035     9153    39080 |    14265    10570     36 |  0.000 % |
1204.12/1204.10	c |     25759 |    4035     9153    39080 |    15692    12039     35 |  0.000 % |
1205.32/1205.39	c |     38734 |    4035     9153    39080 |    17261     9206     36 |  0.000 % |
1207.22/1207.23	c |     58195 |    4035     9153    39080 |    18987    11297     38 |  0.000 % |
1210.12/1210.10	c |     87387 |    4035     9153    39080 |    20886    11867     35 |  0.000 % |
1214.82/1214.88	c |    131176 |    4035     9153    39080 |    22974    13652     39 |  0.000 % |
1222.82/1222.89	c |    196860 |    4035     9153    39080 |    25272    21664     39 |  0.000 % |
1234.82/1234.85	c |    295386 |    4035     9153    39080 |    27799    13642     36 |  0.000 % |
1252.52/1252.55	c |    443175 |    4035     9153    39080 |    30579    21013     38 |  0.000 % |
1281.22/1281.23	c |    664859 |    4035     9153    39080 |    33637    25702     38 |  0.000 % |
1322.93/1322.91	c |    997385 |    4035     9153    39080 |    37001    15949     36 |  0.000 % |
1339.42/1339.42	c ===============================================================================
1346.92/1346.94	c core #9
1346.92/1346.94	c ============================[ Search Statistics ]==============================
1346.92/1346.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1346.92/1346.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1346.92/1346.94	c ===============================================================================
1346.92/1346.94	c |         0 |    4583     9926    42984 |     5000        0    nan |  0.000 % |
1347.02/1347.07	c |       105 |    4583     9926    42984 |     5500      105     27 |  0.000 % |
1347.02/1347.08	c |       258 |    4583     9926    42984 |     6050      258     29 |  0.000 % |
1347.13/1347.11	c |       483 |    4583     9926    42984 |     6655      483     30 |  0.000 % |
1347.13/1347.14	c |       820 |    4583     9926    42984 |     7320      820     31 |  0.000 % |
1347.13/1347.18	c |      1327 |    4583     9926    42984 |     8052     1327     32 |  0.000 % |
1347.23/1347.22	c |      2086 |    4583     9926    42984 |     8857     2086     34 |  0.000 % |
1347.23/1347.29	c |      3226 |    4583     9926    42984 |     9743     3226     33 |  0.000 % |
1347.43/1347.40	c |      4935 |    4583     9926    42984 |    10717     4935     34 |  0.000 % |
1347.62/1347.61	c |      7500 |    4583     9926    42984 |    11789     7500     34 |  0.000 % |
1347.92/1347.93	c |     11350 |    4583     9926    42984 |    12968    11350     35 |  0.000 % |
1348.42/1348.48	c |     17117 |    4583     9926    42984 |    14265    10594     36 |  0.000 % |
1349.22/1349.27	c |     25770 |    4583     9926    42984 |    15692    12060     38 |  0.000 % |
1350.53/1350.55	c |     38746 |    4583     9926    42984 |    17261     9227     39 |  0.000 % |
1352.52/1352.51	c |     58210 |    4583     9926    42984 |    18987    11310     38 |  0.000 % |
1355.52/1355.58	c |     87405 |    4583     9926    42984 |    20886    11857     36 |  0.000 % |
1360.53/1360.50	c |    131196 |    4583     9926    42984 |    22974    13666     40 |  0.000 % |
1367.83/1367.87	c |    196880 |    4583     9926    42984 |    25272    21672     37 |  0.000 % |
1378.82/1378.84	c |    295407 |    4583     9926    42984 |    27799    12619     37 |  0.000 % |
1398.22/1398.25	c |    443197 |    4583     9926    42984 |    30579    20401     37 |  0.000 % |
1426.53/1426.53	c |    664881 |    4583     9926    42984 |    33637    22713     36 |  0.000 % |
1469.03/1469.07	c |    997406 |    4583     9926    42984 |    37001    18585     36 |  0.000 % |
1510.03/1510.01	c ===============================================================================
1518.62/1518.62	c core #10
1518.62/1518.62	c ============================[ Search Statistics ]==============================
1518.62/1518.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1518.62/1518.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1518.62/1518.62	c ===============================================================================
1518.62/1518.62	c |         0 |    5136    10690    46870 |     5000        0    nan |  0.000 % |
1518.73/1518.76	c |       101 |    5136    10690    46870 |     5500      101     24 |  0.000 % |
1518.73/1518.78	c |       251 |    5136    10690    46870 |     6050      251     30 |  0.000 % |
1518.83/1518.80	c |       478 |    5136    10690    46870 |     6655      478     31 |  0.000 % |
1518.83/1518.82	c |       815 |    5136    10690    46870 |     7320      815     30 |  0.000 % |
1518.83/1518.86	c |      1321 |    5136    10690    46870 |     8052     1321     30 |  0.000 % |
1518.93/1518.92	c |      2081 |    5136    10690    46870 |     8857     2081     32 |  0.000 % |
1518.93/1518.98	c |      3220 |    5136    10690    46870 |     9743     3220     32 |  0.000 % |
1519.03/1519.08	c |      4930 |    5136    10690    46870 |    10717     4930     34 |  0.000 % |
1519.23/1519.27	c |      7492 |    5136    10690    46870 |    11789     7492     35 |  0.000 % |
1519.53/1519.57	c |     11337 |    5136    10690    46870 |    12968    11337     35 |  0.000 % |
1520.03/1520.05	c |     17105 |    5136    10690    46870 |    14265    10564     35 |  0.000 % |
1520.83/1520.81	c |     25755 |    5136    10690    46870 |    15692    12042     34 |  0.000 % |
1522.13/1522.12	c |     38729 |    5136    10690    46870 |    17261     9238     40 |  0.000 % |
1524.12/1524.14	c |     58191 |    5136    10690    46870 |    18987    11354     36 |  0.000 % |
1527.12/1527.14	c |     87383 |    5136    10690    46870 |    20886    11891     40 |  0.000 % |
1531.73/1531.74	c |    131173 |    5136    10690    46870 |    22974    13677     37 |  0.000 % |
1539.13/1539.13	c |    196858 |    5136    10690    46870 |    25272    21535     37 |  0.000 % |
1551.04/1551.09	c |    295387 |    5136    10690    46870 |    27799    14098     37 |  0.000 % |
1568.73/1568.72	c |    443177 |    5136    10690    46870 |    30579    20300     36 |  0.000 % |
1598.53/1598.52	c |    664862 |    5136    10690    46870 |    33637    22954     40 |  0.000 % |
1642.34/1642.34	c |    997388 |    5136    10690    46870 |    37001    17439     37 |  0.000 % |
1703.53/1703.54	c ===============================================================================
1712.93/1712.91	c core #11
1712.93/1712.91	c ============================[ Search Statistics ]==============================
1712.93/1712.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1712.93/1712.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1712.93/1712.91	c ===============================================================================
1712.93/1712.91	c |         0 |    5689    11452    50745 |     5000        0    nan |  0.000 % |
1713.03/1713.07	c |       102 |    5689    11452    50745 |     5500      102     33 |  0.000 % |
1713.03/1713.09	c |       253 |    5689    11452    50745 |     6050      253     32 |  0.000 % |
1713.13/1713.11	c |       478 |    5689    11452    50745 |     6655      478     33 |  0.000 % |
1713.13/1713.13	c |       819 |    5689    11452    50745 |     7320      819     32 |  0.000 % |
1713.13/1713.17	c |      1326 |    5689    11452    50745 |     8052     1326     34 |  0.000 % |
1713.23/1713.24	c |      2086 |    5689    11452    50745 |     8857     2086     33 |  0.000 % |
1713.34/1713.31	c |      3225 |    5689    11452    50745 |     9743     3225     32 |  0.000 % |
1713.43/1713.42	c |      4933 |    5689    11452    50745 |    10717     4933     31 |  0.000 % |
1713.64/1713.63	c |      7496 |    5689    11452    50745 |    11789     7496     32 |  0.000 % |
1713.94/1713.93	c |     11340 |    5689    11452    50745 |    12968    11340     33 |  0.000 % |
1714.43/1714.41	c |     17109 |    5689    11452    50745 |    14265    10572     34 |  0.000 % |
1715.13/1715.15	c |     25762 |    5689    11452    50745 |    15692    12042     36 |  0.000 % |
1716.53/1716.55	c |     38736 |    5689    11452    50745 |    17261     9216     36 |  0.000 % |
1718.54/1718.58	c |     58198 |    5689    11452    50745 |    18987    11326     39 |  0.000 % |
1721.73/1721.76	c |     87390 |    5689    11452    50745 |    20886    11872     39 |  0.000 % |
1726.73/1726.73	c |    131181 |    5689    11452    50745 |    22974    13685     37 |  0.000 % |
1734.74/1734.75	c |    196866 |    5689    11452    50745 |    25272    21487     41 |  0.000 % |
1747.44/1747.48	c |    295394 |    5689    11452    50745 |    27799    13600     38 |  0.000 % |
1766.43/1766.44	c |    443183 |    5689    11452    50745 |    30579    20812     39 |  0.000 % |
1793.94/1793.97	c |    664867 |    5689    11452    50745 |    33637    19429     35 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690143-1277909771/watcher-2690143-1277909771 -o /tmp/evaluation-result-2690143-1277909771/solver-2690143-1277909771 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690143-1277909771.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.00 2.00 2.00 3/178 25002
/proc/meminfo: memFree=31430684/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2664 CPUtime=0
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 304 0 0 0 0 0 0 0 18 0 1 0 164616616 2727936 222 4089446400 134512640 135751879 4293652144 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 666 223 145 303 0 339 0

[startup+0.073189 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25002
/proc/meminfo: memFree=31430684/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=3248 CPUtime=0.06
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 492 0 0 0 6 0 0 0 18 0 1 0 164616616 3325952 388 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 812 388 143 303 0 507 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3248

[startup+0.100186 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25002
/proc/meminfo: memFree=31430684/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=3520 CPUtime=0.09
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 542 0 0 0 9 0 0 0 18 0 1 0 164616616 3604480 438 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 880 438 143 303 0 575 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3520

[startup+0.30015 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25002
/proc/meminfo: memFree=31430684/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=4708 CPUtime=0.29
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 830 0 0 0 28 1 0 0 18 0 1 0 164616616 4820992 726 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 1177 727 143 303 0 872 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4708

[startup+0.701082 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25002
/proc/meminfo: memFree=31430684/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=6436 CPUtime=0.69
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 1287 0 0 0 66 3 0 0 18 0 1 0 164616616 6590464 1183 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 1609 1183 143 303 0 1304 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6436

[startup+1.50094 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25003
/proc/meminfo: memFree=31424972/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=9736 CPUtime=1.49
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 2091 0 0 0 144 5 0 0 20 0 1 0 164616616 9969664 1987 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 2434 1987 143 303 0 2129 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9736

[startup+3.10066 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25003
/proc/meminfo: memFree=31420932/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=15688 CPUtime=3.09
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 3581 0 0 0 298 11 0 0 25 0 1 0 164616616 16064512 3477 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 3922 3477 143 303 0 3617 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15688

[startup+6.3011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25003
/proc/meminfo: memFree=31409896/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=25648 CPUtime=6.3
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 6075 0 0 0 611 19 0 0 25 0 1 0 164616616 26263552 5971 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 6412 5971 143 303 0 6107 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 25648

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25003
/proc/meminfo: memFree=31390184/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=45584 CPUtime=12.69
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 11054 0 0 0 1233 36 0 0 25 0 1 0 164616616 46678016 10950 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 11396 10950 143 303 0 11091 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45584

[startup+25.5007 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 25003
/proc/meminfo: memFree=31353224/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=82164 CPUtime=25.5
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 20205 0 0 0 2481 69 0 0 25 0 1 0 164616616 84135936 20101 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 20541 20101 143 303 0 20236 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 82164

[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 25004
/proc/meminfo: memFree=31288792/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=146568 CPUtime=51.09
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 36294 0 0 0 4985 124 0 0 25 0 1 0 164616616 150085632 36190 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 36642 36190 143 303 0 36337 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 146568

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25005
/proc/meminfo: memFree=31169460/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=264028 CPUtime=102.3
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 65631 0 0 0 10008 222 0 0 25 0 1 0 164616616 270364672 65527 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 66007 65527 143 303 0 65702 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 264028

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25007
/proc/meminfo: memFree=31067492/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=365436 CPUtime=162.3
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 91059 0 0 0 15892 338 0 0 25 0 1 0 164616616 374206464 90918 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 91359 90918 146 303 0 91054 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 365436

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25009
/proc/meminfo: memFree=30995652/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=437004 CPUtime=222.29
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 108930 0 0 0 21770 459 0 0 25 0 1 0 164616616 447492096 108789 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 109251 108789 146 303 0 108946 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 437004

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25011
/proc/meminfo: memFree=30876448/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=555184 CPUtime=282.3
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 138505 0 0 0 27668 562 0 0 25 0 1 0 164616616 568508416 138364 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 138796 138364 146 303 0 138491 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 555184

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25021
/proc/meminfo: memFree=30817576/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=612700 CPUtime=342.3
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 152884 0 0 0 33551 679 0 0 25 0 1 0 164616616 627404800 152743 4089446400 134512640 135751879 4293652144 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 153175 152743 146 303 0 152870 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 612700

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25022
/proc/meminfo: memFree=30693784/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=734060 CPUtime=402.3
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 183237 0 0 0 39434 796 0 0 25 0 1 0 164616616 751677440 183096 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 183515 183096 146 303 0 183210 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 734060

[startup+462.301 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 25052
/proc/meminfo: memFree=30744416/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=801068 CPUtime=462.3
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 199959 0 0 0 45307 923 0 0 25 0 1 0 164616616 820293632 199818 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 200267 199818 146 303 0 199962 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 801068

[startup+522.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 25054
/proc/meminfo: memFree=30626104/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=913648 CPUtime=522.3
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 228086 0 0 0 51204 1026 0 0 25 0 1 0 164616616 935575552 227945 4089446400 134512640 135751879 4293652144 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 228412 227945 146 303 0 228107 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 913648

[startup+582.301 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 25056
/proc/meminfo: memFree=30545188/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=988400 CPUtime=582.3
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 246799 0 0 0 57091 1139 0 0 25 0 1 0 164616616 1012121600 246658 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 247100 246658 146 303 0 246795 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 988400

[startup+642.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 25057
/proc/meminfo: memFree=30451536/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=1076356 CPUtime=642.31
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 268741 0 0 0 62975 1256 0 0 25 0 1 0 164616616 1102188544 268600 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 269089 268600 146 303 0 268784 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1076356

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25062
/proc/meminfo: memFree=30179844/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=1343916 CPUtime=822.31
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 335657 0 0 0 80655 1576 0 0 25 0 1 0 164616616 1376169984 335516 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 335979 335516 146 303 0 335674 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1343916

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25064
/proc/meminfo: memFree=30063112/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=1458604 CPUtime=882.31
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 364361 0 0 0 86548 1683 0 0 25 0 1 0 164616616 1493610496 364220 4089446400 134512640 135751879 4293652144 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 364651 364220 146 303 0 364346 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1458604

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25065
/proc/meminfo: memFree=30006904/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=1515960 CPUtime=942.31
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 378667 0 0 0 92436 1795 0 0 25 0 1 0 164616616 1552343040 378526 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 378990 378526 146 303 0 378685 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1515960

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25066
/proc/meminfo: memFree=29913724/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=1607848 CPUtime=1002.31
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 401640 0 0 0 98337 1894 0 0 25 0 1 0 164616616 1646436352 401499 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 401962 401499 146 303 0 401657 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1607848

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25068
/proc/meminfo: memFree=29846724/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=1675084 CPUtime=1062.31
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 418439 0 0 0 104232 1999 0 0 25 0 1 0 164616616 1715286016 418298 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 418771 418298 146 303 0 418466 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1675084

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25070
/proc/meminfo: memFree=29759376/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=1761032 CPUtime=1122.32
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 439914 0 0 0 110129 2103 0 0 25 0 1 0 164616616 1803296768 439773 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 440258 439773 146 303 0 439953 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1761032

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25072
/proc/meminfo: memFree=29638808/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=1882828 CPUtime=1182.31
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 470364 0 0 0 116029 2202 0 0 25 0 1 0 164616616 1928015872 470223 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 470707 470223 146 303 0 470402 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1882828

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25073
/proc/meminfo: memFree=29572296/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=1946560 CPUtime=1242.32
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 486347 0 0 0 121939 2293 0 0 25 0 1 0 164616616 1993277440 486206 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 486640 486206 146 303 0 486335 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1946560

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 25074
/proc/meminfo: memFree=29494004/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2022848 CPUtime=1302.32
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 505380 0 0 0 127831 2401 0 0 25 0 1 0 164616616 2071396352 505239 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 505712 505239 146 303 0 505407 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2022848

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25076
/proc/meminfo: memFree=29404688/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2108348 CPUtime=1362.33
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 526783 0 0 0 133732 2501 0 0 25 0 1 0 164616616 2158948352 526642 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 527087 526642 146 303 0 526782 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2108348

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25078
/proc/meminfo: memFree=29342892/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2169192 CPUtime=1422.33
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 541953 0 0 0 139621 2612 0 0 25 0 1 0 164616616 2221252608 541812 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 542298 541812 146 303 0 541993 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2169192

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25080
/proc/meminfo: memFree=29246892/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2265456 CPUtime=1482.33
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 566012 0 0 0 145513 2720 0 0 25 0 1 0 164616616 2319826944 565871 4089446400 134512640 135751879 4293652144 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 566364 565871 146 303 0 566059 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2265456

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25081
/proc/meminfo: memFree=29145772/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2362836 CPUtime=1542.33
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 590419 0 0 0 151407 2826 0 0 25 0 1 0 164616616 2419544064 590278 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 590709 590278 146 303 0 590404 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2362836

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25082
/proc/meminfo: memFree=29091052/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2418548 CPUtime=1602.33
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 604323 0 0 0 157293 2940 0 0 25 0 1 0 164616616 2476593152 604182 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 604637 604182 146 303 0 604332 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2418548

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25084
/proc/meminfo: memFree=28997264/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2511340 CPUtime=1662.33
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 627513 0 0 0 163186 3047 0 0 25 0 1 0 164616616 2571612160 627372 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 627835 627372 146 303 0 627530 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2511340

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25086
/proc/meminfo: memFree=28873100/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2633428 CPUtime=1722.34
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 658065 0 0 0 169101 3133 0 0 25 0 1 0 164616616 2696630272 657924 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 658357 657924 146 303 0 658052 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2633428

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25088
/proc/meminfo: memFree=28837588/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2667832 CPUtime=1782.34
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 666658 0 0 0 174996 3238 0 0 25 0 1 0 164616616 2731859968 666517 4089446400 134512640 135751879 4293652144 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 666958 666517 146 303 0 666653 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2667832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25088
/proc/meminfo: memFree=28814272/32951124 swapFree=67111528/67111528
[pid=25002] ppid=25000 vsize=2690544 CPUtime=1800.04
/proc/25002/stat : 25002 (wbo1.4a) R 25000 25002 23744 0 -1 4202496 672314 0 0 0 176733 3271 0 0 25 0 1 0 164616616 2755117056 672173 4089446400 134512640 135751879 4293652144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25002/statm: 672636 672173 146 303 0 672331 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2690544

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.09
CPU time (s): 1800.13
CPU user time (s): 1767.33
CPU system time (s): 32.8
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2690544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.33
system time used= 32.8
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 672315
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= 11
involuntary context switches= 21052

runsolver used 2.40563 second user time and 5.79012 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 16:56:11
IDJOB=2690143
IDBENCH=78971
IDSOLVER=1200
FILE ID=node119/2690143-1277909771
PBS_JOBID= 11197232
Free space on /tmp= 74204 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834--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-2690143-1277909771/watcher-2690143-1277909771 -o /tmp/evaluation-result-2690143-1277909771/solver-2690143-1277909771 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690143-1277909771.wbo

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

MD5SUM BENCH= 9b8daeac3a936659a5f0bb5b79c19c15
RANDOM SEED=1016609668

node119.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.802
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.60
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.802
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.802
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.802
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.75
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.802
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.73
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.802
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.802
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.802
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31431584 kB
Buffers:        195208 kB
Cached:         957332 kB
SwapCached:          0 kB
Active:         741908 kB
Inactive:       634168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31431584 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2780 kB
Writeback:           0 kB
AnonPages:      223392 kB
Mapped:          17668 kB
Slab:            78548 kB
PageTables:       5624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   374888 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 node119 at 2010-06-30 17:26:13