Trace number 2689533

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 902.64 902.596

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo
MD5SUM0424fd5691d718147f8291be7b6f72f2
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 benchmark425.105
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 constraints892
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 45060
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45059
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 711
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-2689533-1277911398.wbo.
0.00/0.00	c Instance file HOME/instance-2689533-1277911398.wbo
0.00/0.00	c File size is 87838 bytes.
0.00/0.00	c Highest Coefficient sum: 711
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     27 |  0.002 % |
0.00/0.01	c |       250 |     231     2707     8338 |     6050      250     30 |  0.002 % |
0.00/0.01	c |       475 |     231     2707     8338 |     6655      475     27 |  0.002 % |
0.00/0.02	c |       813 |     231     2707     8338 |     7320      813     28 |  0.002 % |
0.00/0.04	c |      1320 |     231     2707     8338 |     8052     1320     28 |  0.002 % |
0.00/0.06	c |      2080 |     231     2707     8338 |     8857     2080     27 |  0.002 % |
0.09/0.10	c |      3220 |     231     2707     8338 |     9743     3220     28 |  0.002 % |
0.09/0.16	c |      4929 |     231     2707     8338 |    10717     4929     30 |  0.002 % |
0.19/0.28	c |      7493 |     231     2707     8338 |    11789     7493     31 |  0.002 % |
0.39/0.48	c |     11339 |     231     2707     8338 |    12968    11339     31 |  0.002 % |
0.69/0.78	c |     17108 |     231     2707     8338 |    14265    10567     31 |  0.002 % |
1.19/1.27	c |     25760 |     231     2707     8338 |    15692    12018     34 |  0.002 % |
2.10/2.17	c |     38735 |     231     2707     8338 |    17261     9211     37 |  0.002 % |
3.59/3.60	c |     58196 |     231     2707     8338 |    18987    11308     37 |  0.002 % |
6.10/6.18	c |     87390 |     231     2707     8338 |    20886    11869     37 |  0.002 % |
9.80/9.82	c |    131183 |     231     2707     8338 |    22974    13682     41 |  0.002 % |
15.69/15.78	c |    196869 |     231     2707     8338 |    25272    21668     37 |  0.002 % |
24.89/24.90	c |    295396 |     231     2707     8338 |    27799    14772     37 |  0.002 % |
38.60/38.60	c |    443188 |     231     2707     8338 |    30579    18457     35 |  0.002 % |
60.30/60.34	c |    664871 |     231     2707     8338 |    33637    19323     33 |  0.002 % |
81.89/81.96	c ===============================================================================
86.49/86.58	c core #1
86.49/86.58	c ============================[ Search Statistics ]==============================
86.49/86.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.49/86.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
86.49/86.58	c ===============================================================================
86.49/86.58	c |         0 |     676     3536    12318 |     5000        0    nan |  0.000 % |
86.69/86.77	c |       100 |     676     3536    12318 |     5500      100     22 |  0.000 % |
86.69/86.78	c |       251 |     676     3536    12318 |     6050      251     18 |  0.000 % |
86.69/86.79	c |       477 |     676     3536    12318 |     6655      477     26 |  0.000 % |
86.69/86.80	c |       814 |     676     3536    12318 |     7320      814     31 |  0.000 % |
86.81/86.82	c |      1320 |     676     3536    12318 |     8052     1320     29 |  0.000 % |
86.81/86.87	c |      2081 |     676     3536    12318 |     8857     2081     29 |  0.000 % |
86.90/86.91	c |      3222 |     676     3536    12318 |     9743     3222     30 |  0.000 % |
86.90/86.99	c |      4930 |     676     3536    12318 |    10717     4930     32 |  0.000 % |
87.09/87.13	c |      7493 |     676     3536    12318 |    11789     7493     32 |  0.000 % |
87.30/87.37	c |     11338 |     676     3536    12318 |    12968    11338     32 |  0.000 % |
87.70/87.75	c |     17104 |     676     3536    12318 |    14265    10563     32 |  0.000 % |
88.30/88.39	c |     25754 |     676     3536    12318 |    15692    12032     33 |  0.000 % |
89.40/89.41	c |     38729 |     676     3536    12318 |    17261     9217     36 |  0.000 % |
91.09/91.12	c |     58190 |     676     3536    12318 |    18987    11298     36 |  0.000 % |
93.60/93.69	c |     87386 |     676     3536    12318 |    20886    11849     34 |  0.000 % |
98.20/98.25	c |    131176 |     676     3536    12318 |    22974    13653     39 |  0.000 % |
104.90/104.94	c |    196861 |     676     3536    12318 |    25272    21584     40 |  0.000 % |
115.50/115.54	c |    295387 |     676     3536    12318 |    27799    13375     35 |  0.000 % |
132.40/132.43	c |    443177 |     676     3536    12318 |    30579    21991     37 |  0.000 % |
157.50/157.58	c |    664861 |     676     3536    12318 |    33637    24318     36 |  0.000 % |
186.21/186.28	c ===============================================================================
192.10/192.10	c core #2
192.10/192.10	c ============================[ Search Statistics ]==============================
192.10/192.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.10/192.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.10/192.10	c ===============================================================================
192.10/192.10	c |         0 |    1125     4360    16288 |     5000        0    nan |  0.000 % |
192.10/192.13	c |       100 |    1125     4360    16288 |     5500      100     20 |  0.000 % |
192.10/192.13	c |       252 |    1125     4360    16288 |     6050      252     27 |  0.000 % |
192.10/192.15	c |       477 |    1125     4360    16288 |     6655      477     27 |  0.000 % |
192.10/192.18	c |       814 |    1125     4360    16288 |     7320      814     26 |  0.000 % |
192.10/192.20	c |      1320 |    1125     4360    16288 |     8052     1320     25 |  0.000 % |
192.20/192.23	c |      2081 |    1125     4360    16288 |     8857     2081     26 |  0.000 % |
192.20/192.29	c |      3220 |    1125     4360    16288 |     9743     3220     26 |  0.000 % |
192.30/192.37	c |      4931 |    1125     4360    16288 |    10717     4931     26 |  0.000 % |
192.41/192.49	c |      7493 |    1125     4360    16288 |    11789     7493     28 |  0.000 % |
192.70/192.75	c |     11338 |    1125     4360    16288 |    12968    11338     30 |  0.000 % |
193.11/193.19	c |     17105 |    1125     4360    16288 |    14265    10569     32 |  0.000 % |
193.80/193.87	c |     25754 |    1125     4360    16288 |    15692    12025     35 |  0.000 % |
194.90/194.93	c |     38729 |    1125     4360    16288 |    17261     9184     35 |  0.000 % |
196.50/196.53	c |     58191 |    1125     4360    16288 |    18987    11288     33 |  0.000 % |
199.00/199.09	c |     87385 |    1125     4360    16288 |    20886    11823     36 |  0.000 % |
203.50/203.57	c |    131174 |    1125     4360    16288 |    22974    13646     36 |  0.000 % |
210.30/210.37	c |    196861 |    1125     4360    16288 |    25272    21623     36 |  0.000 % |
220.70/220.70	c |    295388 |    1125     4360    16288 |    27799    11804     37 |  0.000 % |
236.60/236.68	c |    443177 |    1125     4360    16288 |    30579    19703     36 |  0.000 % |
262.01/262.00	c |    664860 |    1125     4360    16288 |    33637    19574     34 |  0.000 % |
288.71/288.74	c ===============================================================================
294.51/294.54	c core #3
294.51/294.54	c ============================[ Search Statistics ]==============================
294.51/294.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
294.51/294.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
294.51/294.54	c ===============================================================================
294.51/294.54	c |         0 |    1571     5164    20174 |     5000        0    nan |  0.000 % |
294.61/294.61	c |       100 |    1571     5164    20174 |     5500      100     31 |  0.000 % |
294.61/294.61	c |       250 |    1571     5164    20174 |     6050      250     34 |  0.000 % |
294.61/294.62	c |       478 |    1571     5164    20174 |     6655      478     30 |  0.000 % |
294.61/294.63	c |       815 |    1571     5164    20174 |     7320      815     28 |  0.000 % |
294.61/294.66	c |      1322 |    1571     5164    20174 |     8052     1322     26 |  0.000 % |
294.61/294.70	c |      2082 |    1571     5164    20174 |     8857     2082     27 |  0.000 % |
294.71/294.76	c |      3222 |    1571     5164    20174 |     9743     3222     28 |  0.000 % |
294.81/294.84	c |      4931 |    1571     5164    20174 |    10717     4931     29 |  0.000 % |
294.91/294.98	c |      7496 |    1571     5164    20174 |    11789     7496     29 |  0.000 % |
295.21/295.21	c |     11340 |    1571     5164    20174 |    12968    11340     29 |  0.000 % |
295.60/295.61	c |     17106 |    1571     5164    20174 |    14265    10586     31 |  0.000 % |
296.21/296.26	c |     25757 |    1571     5164    20174 |    15692    12048     35 |  0.000 % |
297.41/297.45	c |     38733 |    1571     5164    20174 |    17261     9242     33 |  0.000 % |
299.22/299.23	c |     58194 |    1571     5164    20174 |    18987    11310     37 |  0.000 % |
302.11/302.11	c |     87386 |    1571     5164    20174 |    20886    11852     37 |  0.000 % |
306.40/306.47	c |    131176 |    1571     5164    20174 |    22974    13652     38 |  0.000 % |
313.70/313.70	c |    196860 |    1571     5164    20174 |    25272    21609     36 |  0.000 % |
324.70/324.78	c |    295387 |    1571     5164    20174 |    27799    13456     35 |  0.000 % |
341.21/341.24	c |    443178 |    1571     5164    20174 |    30579    18930     37 |  0.000 % |
367.61/367.63	c |    664862 |    1571     5164    20174 |    33637    20970     35 |  0.000 % |
404.91/404.90	c ===============================================================================
411.11/411.18	c core #4
411.11/411.18	c ============================[ Search Statistics ]==============================
411.11/411.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
411.11/411.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
411.11/411.18	c ===============================================================================
411.11/411.18	c |         0 |    2017     5948    23997 |     5000        0    nan |  0.000 % |
411.21/411.25	c |       101 |    2017     5948    23997 |     5500      101     23 |  0.000 % |
411.21/411.26	c |       252 |    2017     5948    23997 |     6050      252     29 |  0.000 % |
411.21/411.27	c |       477 |    2017     5948    23997 |     6655      477     28 |  0.000 % |
411.21/411.29	c |       814 |    2017     5948    23997 |     7320      814     28 |  0.000 % |
411.32/411.32	c |      1321 |    2017     5948    23997 |     8052     1321     27 |  0.000 % |
411.32/411.37	c |      2081 |    2017     5948    23997 |     8857     2081     29 |  0.000 % |
411.42/411.42	c |      3223 |    2017     5948    23997 |     9743     3223     30 |  0.000 % |
411.51/411.50	c |      4933 |    2017     5948    23997 |    10717     4933     30 |  0.000 % |
411.61/411.65	c |      7497 |    2017     5948    23997 |    11789     7497     32 |  0.000 % |
411.91/411.90	c |     11342 |    2017     5948    23997 |    12968    11342     32 |  0.000 % |
412.31/412.31	c |     17110 |    2017     5948    23997 |    14265    10574     31 |  0.000 % |
412.91/412.97	c |     25761 |    2017     5948    23997 |    15692    12057     31 |  0.000 % |
414.11/414.11	c |     38735 |    2017     5948    23997 |    17261     9242     36 |  0.000 % |
415.82/415.81	c |     58197 |    2017     5948    23997 |    18987    11337     38 |  0.000 % |
418.71/418.71	c |     87389 |    2017     5948    23997 |    20886    11886     36 |  0.000 % |
423.51/423.56	c |    131179 |    2017     5948    23997 |    22974    13689     35 |  0.000 % |
430.61/430.67	c |    196863 |    2017     5948    23997 |    25272    21634     42 |  0.000 % |
441.51/441.50	c |    295389 |    2017     5948    23997 |    27799    13885     34 |  0.000 % |
457.81/457.82	c |    443180 |    2017     5948    23997 |    30579    19688     36 |  0.000 % |
485.12/485.16	c |    664864 |    2017     5948    23997 |    33637    20081     37 |  0.000 % |
523.63/523.62	c |    997390 |    2016     5948    23997 |    37001    31106     35 |  0.050 % |
545.22/545.22	c ===============================================================================
552.32/552.36	c core #5
552.32/552.36	c ============================[ Search Statistics ]==============================
552.32/552.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
552.32/552.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
552.32/552.36	c ===============================================================================
552.32/552.36	c |         0 |    2487     6734    27881 |     5000        0    nan |  0.000 % |
552.42/552.45	c |       100 |    2487     6734    27881 |     5500      100     23 |  0.000 % |
552.42/552.46	c |       250 |    2487     6734    27881 |     6050      250     28 |  0.000 % |
552.42/552.47	c |       475 |    2487     6734    27881 |     6655      475     27 |  0.000 % |
552.42/552.49	c |       813 |    2487     6734    27881 |     7320      813     28 |  0.000 % |
552.51/552.52	c |      1319 |    2487     6734    27881 |     8052     1319     27 |  0.000 % |
552.51/552.57	c |      2078 |    2487     6734    27881 |     8857     2078     27 |  0.000 % |
552.62/552.63	c |      3217 |    2487     6734    27881 |     9743     3217     27 |  0.000 % |
552.72/552.72	c |      4925 |    2487     6734    27881 |    10717     4925     29 |  0.000 % |
552.82/552.87	c |      7487 |    2487     6734    27881 |    11789     7487     29 |  0.000 % |
553.12/553.13	c |     11331 |    2487     6734    27881 |    12968    11331     31 |  0.000 % |
553.52/553.52	c |     17098 |    2487     6734    27881 |    14265    10557     32 |  0.000 % |
554.12/554.18	c |     25747 |    2487     6734    27881 |    15692    12032     32 |  0.000 % |
555.32/555.33	c |     38721 |    2487     6734    27881 |    17261     9223     33 |  0.000 % |
557.11/557.16	c |     58183 |    2487     6734    27881 |    18987    11329     35 |  0.000 % |
559.92/559.94	c |     87380 |    2487     6734    27881 |    20886    11896     35 |  0.000 % |
564.62/564.66	c |    131169 |    2487     6734    27881 |    22974    13685     36 |  0.000 % |
572.12/572.18	c |    196853 |    2487     6734    27881 |    25272    21521     35 |  0.000 % |
583.62/583.68	c |    295380 |    2487     6734    27881 |    27799    12834     36 |  0.000 % |
601.72/601.75	c |    443169 |    2487     6734    27881 |    30579    17408     34 |  0.000 % |
628.12/628.18	c |    664853 |    2487     6734    27881 |    33637    16676     35 |  0.000 % |
671.42/671.45	c |    997380 |    2487     6734    27881 |    37001    32555     39 |  0.000 % |
725.73/725.78	c ===============================================================================
735.53/735.58	c core #6
735.53/735.58	c ============================[ Search Statistics ]==============================
735.53/735.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
735.53/735.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
735.53/735.58	c ===============================================================================
735.53/735.58	c |         0 |    2971     7522    31804 |     5000        0    nan |  0.000 % |
735.63/735.67	c |       101 |    2971     7522    31804 |     5500      101     32 |  0.000 % |
735.63/735.69	c |       254 |    2971     7522    31804 |     6050      254     34 |  0.000 % |
735.72/735.71	c |       483 |    2971     7522    31804 |     6655      483     28 |  0.000 % |
735.72/735.73	c |       820 |    2971     7522    31804 |     7320      820     30 |  0.000 % |
735.72/735.75	c |      1326 |    2971     7522    31804 |     8052     1326     28 |  0.000 % |
735.83/735.81	c |      2086 |    2971     7522    31804 |     8857     2086     28 |  0.000 % |
735.83/735.89	c |      3226 |    2971     7522    31804 |     9743     3226     30 |  0.000 % |
735.94/735.98	c |      4936 |    2971     7522    31804 |    10717     4936     29 |  0.000 % |
736.13/736.13	c |      7498 |    2971     7522    31804 |    11789     7498     30 |  0.000 % |
736.43/736.45	c |     11343 |    2971     7522    31804 |    12968    11343     32 |  0.000 % |
736.93/736.94	c |     17113 |    2971     7522    31804 |    14265    10597     35 |  0.000 % |
737.72/737.77	c |     25762 |    2971     7522    31804 |    15692    12058     37 |  0.000 % |
739.03/739.02	c |     38737 |    2971     7522    31804 |    17261     9242     35 |  0.000 % |
741.03/741.03	c |     58198 |    2971     7522    31804 |    18987    11340     38 |  0.000 % |
744.23/744.27	c |     87391 |    2971     7522    31804 |    20886    11874     39 |  0.000 % |
749.03/749.05	c |    131181 |    2971     7522    31804 |    22974    13680     36 |  0.000 % |
755.82/755.88	c |    196865 |    2971     7522    31804 |    25272    21607     38 |  0.000 % |
767.73/767.78	c |    295391 |    2971     7522    31804 |    27799    13881     37 |  0.000 % |
785.23/785.25	c |    443180 |    2971     7522    31804 |    30579    19437     35 |  0.000 % |
812.13/812.15	c |    664863 |    2971     7522    31804 |    33637    22343     35 |  0.000 % |
855.03/855.08	c |    997388 |    2950     7522    31804 |    37001    13067     28 |  0.707 % |
861.64/861.60	c ===============================================================================
868.84/868.89	c core #7
868.84/868.89	c ============================[ Search Statistics ]==============================
868.84/868.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
868.84/868.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
868.84/868.89	c ===============================================================================
868.84/868.89	c |         0 |    3464     8294    35686 |     5000        0    nan |  0.000 % |
868.94/869.00	c |       100 |    3464     8294    35686 |     5500      100     24 |  0.000 % |
869.04/869.00	c |       251 |    3464     8294    35686 |     6050      251     29 |  0.000 % |
869.04/869.02	c |       476 |    3464     8294    35686 |     6655      476     32 |  0.000 % |
869.04/869.03	c |       814 |    3464     8294    35686 |     7320      814     29 |  0.000 % |
869.04/869.07	c |      1321 |    3464     8294    35686 |     8052     1321     30 |  0.000 % |
869.13/869.13	c |      2080 |    3464     8294    35686 |     8857     2080     32 |  0.000 % |
869.13/869.19	c |      3219 |    3464     8294    35686 |     9743     3219     29 |  0.000 % |
869.24/869.29	c |      4928 |    3464     8294    35686 |    10717     4928     29 |  0.000 % |
869.43/869.44	c |      7490 |    3464     8294    35686 |    11789     7490     29 |  0.000 % |
869.73/869.73	c |     11335 |    3464     8294    35686 |    12968    11335     30 |  0.000 % |
870.14/870.18	c |     17101 |    3464     8294    35686 |    14265    10553     34 |  0.000 % |
870.93/870.96	c |     25750 |    3464     8294    35686 |    15692    12030     39 |  0.000 % |
872.24/872.28	c |     38724 |    3464     8294    35686 |    17261     9210     37 |  0.000 % |
874.34/874.33	c |     58185 |    3464     8294    35686 |    18987    11305     37 |  0.000 % |
877.34/877.37	c |     87377 |    3464     8294    35686 |    20886    11863     34 |  0.000 % |
881.74/881.71	c |    131170 |    3464     8294    35686 |    22974    13684     34 |  0.000 % |
889.03/889.03	c |    196854 |    3464     8294    35686 |    25272    21626     34 |  0.000 % |
901.23/901.22	c |    295380 |    3464     8294    35686 |    27799    12881     35 |  0.000 % |
902.53/902.55	c ===============================================================================
902.53/902.55	c #cores: 7
902.53/902.55	c Final Weight: 7
902.53/902.55	o 7
902.53/902.55	s OPTIMUM FOUND
902.53/902.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
902.53/902.55	c Total CPU time: 886.654 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-2689533-1277911398/watcher-2689533-1277911398 -o /tmp/evaluation-result-2689533-1277911398/solver-2689533-1277911398 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689533-1277911398.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.17 2.04 2.01 3/196 14900
/proc/meminfo: memFree=31014324/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=2660 CPUtime=0
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 304 0 0 0 0 0 0 0 23 0 1 0 132434672 2723840 222 4089446400 134512640 135751879 4293021936 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 665 223 145 303 0 338 0

[startup+0.0753551 s]
/proc/loadavg: 2.17 2.04 2.01 3/196 14900
/proc/meminfo: memFree=31014324/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=3384 CPUtime=0.07
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 497 0 0 0 7 0 0 0 23 0 1 0 132434672 3465216 393 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 846 393 143 303 0 541 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3384

[startup+0.100353 s]
/proc/loadavg: 2.17 2.04 2.01 3/196 14900
/proc/meminfo: memFree=31014324/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=3516 CPUtime=0.09
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 543 0 0 0 9 0 0 0 23 0 1 0 132434672 3600384 439 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 879 439 143 303 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3516

[startup+0.300312 s]
/proc/loadavg: 2.17 2.04 2.01 3/196 14900
/proc/meminfo: memFree=31014324/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=4836 CPUtime=0.29
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 867 0 0 0 28 1 0 0 23 0 1 0 132434672 4952064 763 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 1209 763 143 303 0 904 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4836

[startup+0.700237 s]
/proc/loadavg: 2.17 2.04 2.01 3/196 14900
/proc/meminfo: memFree=31014324/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=6900 CPUtime=0.69
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 1378 0 0 0 66 3 0 0 25 0 1 0 132434672 7065600 1274 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 1725 1274 143 303 0 1420 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6900

[startup+1.50107 s]
/proc/loadavg: 2.17 2.04 2.01 3/197 14901
/proc/meminfo: memFree=31007992/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=10728 CPUtime=1.5
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 2337 0 0 0 144 6 0 0 25 0 1 0 132434672 10985472 2233 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 2682 2233 143 303 0 2377 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10728

[startup+3.10075 s]
/proc/loadavg: 2.17 2.04 2.01 3/197 14901
/proc/meminfo: memFree=31002660/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=17196 CPUtime=3.09
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 3952 0 0 0 298 11 0 0 25 0 1 0 132434672 17608704 3848 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 4299 3848 143 303 0 3994 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17196

[startup+6.30111 s]
/proc/loadavg: 2.16 2.04 2.01 3/197 14901
/proc/meminfo: memFree=30990184/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=27988 CPUtime=6.29
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 6648 0 0 0 610 19 0 0 25 0 1 0 132434672 28659712 6544 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 6997 6544 143 303 0 6692 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27988

[startup+12.7008 s]
/proc/loadavg: 2.15 2.04 2.01 3/197 14901
/proc/meminfo: memFree=30966284/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=49524 CPUtime=12.69
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 12054 0 0 0 1235 34 0 0 25 0 1 0 132434672 50712576 11950 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 12381 11950 143 303 0 12076 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49524

[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.01 3/197 14901
/proc/meminfo: memFree=30921972/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=89200 CPUtime=25.49
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 21974 0 0 0 2494 55 0 0 25 0 1 0 132434672 91340800 21870 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 22300 21870 143 303 0 21995 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89200

[startup+51.1002 s]
/proc/loadavg: 2.07 2.04 2.01 3/197 14903
/proc/meminfo: memFree=30838972/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=163076 CPUtime=51.09
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 40426 0 0 0 4991 118 0 0 25 0 1 0 132434672 166989824 40322 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 40769 40322 143 303 0 40464 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 163076

[startup+102.307 s]
/proc/loadavg: 2.34 2.13 2.04 3/197 14903
/proc/meminfo: memFree=30704520/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=268464 CPUtime=102.31
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 66816 0 0 0 10018 213 0 0 25 0 1 0 132434672 274907136 66679 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 67116 66679 146 303 0 66811 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 268464

[startup+162.301 s]
/proc/loadavg: 2.39 2.20 2.07 3/197 14905
/proc/meminfo: memFree=30599512/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=351520 CPUtime=162.3
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 87572 0 0 0 15896 334 0 0 25 0 1 0 132434672 359956480 87435 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 87880 87435 146 303 0 87575 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 351520

[startup+222.301 s]
/proc/loadavg: 2.17 2.18 2.07 3/197 14907
/proc/meminfo: memFree=30477172/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=441484 CPUtime=222.3
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 110070 0 0 0 21770 460 0 0 25 0 1 0 132434672 452079616 109933 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 110371 109933 146 303 0 110066 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 441484

[startup+282.301 s]
/proc/loadavg: 2.06 2.14 2.07 3/197 14909
/proc/meminfo: memFree=30352112/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=546280 CPUtime=282.31
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 136263 0 0 0 27652 579 0 0 25 0 1 0 132434672 559390720 136126 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 136570 136126 146 303 0 136265 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 546280

[startup+342.301 s]
/proc/loadavg: 2.20 2.17 2.08 3/197 14910
/proc/meminfo: memFree=30256340/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=617784 CPUtime=342.31
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 154128 0 0 0 33535 696 0 0 25 0 1 0 132434672 632610816 153991 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 154446 153991 146 303 0 154141 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 617784

[startup+402.301 s]
/proc/loadavg: 2.07 2.14 2.08 3/197 14911
/proc/meminfo: memFree=30115204/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=735932 CPUtime=402.31
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 183651 0 0 0 39432 799 0 0 25 0 1 0 132434672 753594368 183514 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 183983 183514 146 303 0 183678 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 735932

[startup+462.301 s]
/proc/loadavg: 2.02 2.11 2.07 3/197 14913
/proc/meminfo: memFree=30029344/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=796612 CPUtime=462.31
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 198831 0 0 0 45341 890 0 0 25 0 1 0 132434672 815730688 198694 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 199153 198694 146 303 0 198848 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 796612

[startup+522.301 s]
/proc/loadavg: 2.07 2.10 2.07 3/197 14918
/proc/meminfo: memFree=29893760/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=910808 CPUtime=522.31
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 227366 0 0 0 51223 1008 0 0 25 0 1 0 132434672 932667392 227229 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 227702 227229 146 303 0 227397 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 910808

[startup+582.301 s]
/proc/loadavg: 2.03 2.08 2.06 3/197 14920
/proc/meminfo: memFree=29784264/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=994036 CPUtime=582.32
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 248213 0 0 0 57138 1094 0 0 25 0 1 0 132434672 1017892864 248076 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 248509 248076 146 303 0 248204 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 994036

[startup+642.301 s]
/proc/loadavg: 2.01 2.06 2.06 3/197 14921
/proc/meminfo: memFree=29699380/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1057288 CPUtime=642.32
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 263998 0 0 0 63058 1174 0 0 25 0 1 0 132434672 1082662912 263861 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 264322 263861 146 303 0 264017 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1057288

[startup+702.301 s]
/proc/loadavg: 2.36 2.17 2.09 3/197 14922
/proc/meminfo: memFree=29555392/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1180848 CPUtime=702.33
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 294874 0 0 0 68970 1263 0 0 25 0 1 0 132434672 1209188352 294737 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 295212 294737 146 303 0 294907 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 1180848

[startup+762.306 s]
/proc/loadavg: 3.10 2.35 2.15 3/197 14924
/proc/meminfo: memFree=29436276/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1271600 CPUtime=762.33
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 317584 0 0 0 74889 1344 0 0 25 0 1 0 132434672 1302118400 317447 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 317900 317447 146 303 0 317595 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 1271600

[startup+822.301 s]
/proc/loadavg: 2.40 2.28 2.14 3/197 14926
/proc/meminfo: memFree=29373488/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1315388 CPUtime=822.33
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 328523 0 0 0 80782 1451 0 0 25 0 1 0 132434672 1346957312 328386 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 328847 328386 146 303 0 328542 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 1315388

[startup+882.301 s]
/proc/loadavg: 2.15 2.23 2.13 3/197 14928
/proc/meminfo: memFree=29264820/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1404264 CPUtime=882.34
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 350760 0 0 0 86682 1552 0 0 25 0 1 0 132434672 1437966336 350623 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 351066 350623 146 303 0 350761 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 1404264

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

[startup+883.101 s]
/proc/loadavg: 2.15 2.23 2.13 3/197 14928
/proc/meminfo: memFree=29264820/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1404264 CPUtime=883.14
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 350760 0 0 0 86761 1553 0 0 25 0 1 0 132434672 1437966336 350623 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 351066 350623 146 303 0 350761 0
Current children cumulated CPU time (s) 883.14
Current children cumulated vsize (KiB) 1404264

[startup+895.9 s]
/proc/loadavg: 2.11 2.22 2.13 3/197 14928
/proc/meminfo: memFree=29260324/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1404264 CPUtime=895.93
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 350760 0 0 0 88011 1582 0 0 25 0 1 0 132434672 1437966336 350623 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 351066 350623 146 303 0 350761 0
Current children cumulated CPU time (s) 895.93
Current children cumulated vsize (KiB) 1404264

[startup+899.101 s]
/proc/loadavg: 2.10 2.21 2.13 3/197 14928
/proc/meminfo: memFree=29259208/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1404264 CPUtime=899.13
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 350760 0 0 0 88326 1587 0 0 25 0 1 0 132434672 1437966336 350623 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 351066 350623 146 303 0 350761 0
Current children cumulated CPU time (s) 899.13
Current children cumulated vsize (KiB) 1404264

[startup+900.7 s]
/proc/loadavg: 2.10 2.21 2.13 3/197 14928
/proc/meminfo: memFree=29258464/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1404264 CPUtime=900.73
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 350760 0 0 0 88483 1590 0 0 25 0 1 0 132434672 1437966336 350623 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 351066 350623 146 303 0 350761 0
Current children cumulated CPU time (s) 900.73
Current children cumulated vsize (KiB) 1404264

[startup+901.501 s]
/proc/loadavg: 2.10 2.21 2.13 3/197 14928
/proc/meminfo: memFree=29257596/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1404264 CPUtime=901.53
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 350760 0 0 0 88562 1591 0 0 25 0 1 0 132434672 1437966336 350623 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 351066 350623 146 303 0 350761 0
Current children cumulated CPU time (s) 901.53
Current children cumulated vsize (KiB) 1404264

[startup+902.301 s]
/proc/loadavg: 2.10 2.21 2.13 3/197 14928
/proc/meminfo: memFree=29257224/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1404264 CPUtime=902.33
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 350760 0 0 0 88640 1593 0 0 25 0 1 0 132434672 1437966336 350623 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 351066 350623 146 303 0 350761 0
Current children cumulated CPU time (s) 902.33
Current children cumulated vsize (KiB) 1404264

[startup+902.501 s]
/proc/loadavg: 2.10 2.21 2.13 3/197 14928
/proc/meminfo: memFree=29257224/32950928 swapFree=67111528/67111528
[pid=14900] ppid=14898 vsize=1404264 CPUtime=902.53
/proc/14900/stat : 14900 (wbo1.4a) R 14898 14900 13929 0 -1 4202496 350760 0 0 0 88660 1593 0 0 25 0 1 0 132434672 1437966336 350623 4089446400 134512640 135751879 4293021936 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14900/statm: 351066 350623 146 303 0 350761 0
Current children cumulated CPU time (s) 902.53
Current children cumulated vsize (KiB) 1404264

Child status: 0
Real time (s): 902.596
CPU time (s): 902.64
CPU user time (s): 886.654
CPU system time (s): 15.9856
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1404264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 886.654
system time used= 15.9856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350760
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= 1
involuntary context switches= 700

runsolver used 1.41878 second user time and 3.02154 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 17:23:18
IDJOB=2689533
IDBENCH=78987
IDSOLVER=1200
FILE ID=node149/2689533-1277911398
PBS_JOBID= 11197229
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= 0424fd5691d718147f8291be7b6f72f2
RANDOM SEED=1746904991

node149.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.831
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.66
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.831
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.15
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.831
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.82
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.831
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.831
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.831
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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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:     32950928 kB
MemFree:      31015100 kB
Buffers:        198944 kB
Cached:        1266992 kB
SwapCached:          0 kB
Active:         768816 kB
Inactive:      1021460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31015100 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2776 kB
Writeback:           0 kB
AnonPages:      324272 kB
Mapped:          20296 kB
Slab:            82096 kB
PageTables:       5752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1654768 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= 74208 MiB
End job on node149 at 2010-06-30 17:38:20