Trace number 2689607

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 1429.04 1428.97

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo
MD5SUMd3ccf217ec482c2d8ac120ae50401a4a
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark618.94
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 constraints2707
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 137946
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137945
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 737
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2689607-1277928459.wbo.
0.00/0.00	c Instance file HOME/instance-2689607-1277928459.wbo
0.00/0.00	c File size is 96771 bytes.
0.00/0.00	c Highest Coefficient sum: 737
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     231     2707     8338 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       102 |     231     2707     8338 |     5500      102     18 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     19 |  0.002 % |
0.00/0.01	c |       479 |     231     2707     8338 |     6655      479     20 |  0.002 % |
0.00/0.02	c |       818 |     231     2707     8338 |     7320      818     20 |  0.002 % |
0.00/0.04	c |      1324 |     231     2707     8338 |     8052     1324     22 |  0.002 % |
0.00/0.06	c |      2083 |     231     2707     8338 |     8857     2083     26 |  0.002 % |
0.09/0.10	c |      3223 |     231     2707     8338 |     9743     3223     29 |  0.002 % |
0.09/0.16	c |      4931 |     231     2707     8338 |    10717     4931     30 |  0.002 % |
0.19/0.27	c |      7497 |     231     2707     8338 |    11789     7497     30 |  0.002 % |
0.39/0.49	c |     11343 |     231     2707     8338 |    12968    11343     32 |  0.002 % |
0.79/0.88	c |     17110 |     231     2707     8338 |    14265    10574     36 |  0.002 % |
1.29/1.39	c |     25759 |     231     2707     8338 |    15692    12062     34 |  0.002 % |
2.29/2.33	c |     38734 |     231     2707     8338 |    17261     9270     34 |  0.002 % |
3.69/3.76	c |     58195 |     231     2707     8338 |    18987    11365     34 |  0.002 % |
5.99/6.03	c |     87389 |     231     2707     8338 |    20886    11916     35 |  0.002 % |
9.69/9.75	c |    131178 |     231     2707     8338 |    22974    13752     34 |  0.002 % |
15.89/15.99	c |    196863 |     231     2707     8338 |    25272    21753     37 |  0.002 % |
25.89/25.92	c |    295389 |     231     2707     8338 |    27799    14206     33 |  0.002 % |
40.89/40.96	c |    443180 |     231     2707     8338 |    30579    21202     35 |  0.002 % |
63.19/63.23	c |    664863 |     230     2707     8338 |    33637    17358     33 |  0.435 % |
63.19/63.27	c ===============================================================================
67.59/67.64	c core #1
67.59/67.64	c ============================[ Search Statistics ]==============================
67.59/67.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
67.59/67.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
67.59/67.64	c ===============================================================================
67.59/67.64	c |         0 |    1585     5262    20263 |     5000        0    nan |  0.000 % |
67.69/67.78	c |       100 |    1585     5262    20263 |     5500      100     19 |  0.000 % |
67.69/67.79	c |       250 |    1585     5262    20263 |     6050      250     24 |  0.000 % |
67.79/67.80	c |       475 |    1585     5262    20263 |     6655      475     30 |  0.000 % |
67.79/67.81	c |       813 |    1585     5262    20263 |     7320      813     28 |  0.000 % |
67.79/67.84	c |      1319 |    1585     5262    20263 |     8052     1319     28 |  0.000 % |
67.79/67.87	c |      2079 |    1585     5262    20263 |     8857     2079     29 |  0.000 % |
67.90/67.92	c |      3218 |    1585     5262    20263 |     9743     3218     30 |  0.000 % |
67.90/67.99	c |      4928 |    1585     5262    20263 |    10717     4928     30 |  0.000 % |
68.10/68.13	c |      7492 |    1585     5262    20263 |    11789     7492     31 |  0.000 % |
68.29/68.38	c |     11336 |    1585     5262    20263 |    12968    11336     32 |  0.000 % |
68.79/68.80	c |     17102 |    1585     5262    20263 |    14265    10566     35 |  0.000 % |
69.39/69.49	c |     25752 |    1585     5262    20263 |    15692    12026     34 |  0.000 % |
70.59/70.63	c |     38728 |    1585     5262    20263 |    17261     9196     36 |  0.000 % |
72.39/72.43	c |     58191 |    1585     5262    20263 |    18987    11331     34 |  0.000 % |
75.19/75.24	c |     87388 |    1585     5262    20263 |    20886    11932     35 |  0.000 % |
79.89/79.91	c |    131177 |    1585     5262    20263 |    22974    13755     37 |  0.000 % |
87.19/87.28	c |    196865 |    1585     5262    20263 |    25272    21702     40 |  0.000 % |
98.00/98.06	c |    295393 |    1585     5262    20263 |    27799    13770     37 |  0.000 % |
114.90/114.97	c |    443183 |    1585     5262    20263 |    30579    20474     36 |  0.000 % |
140.10/140.16	c |    664866 |    1584     5262    20263 |    33637    13905     37 |  0.063 % |
146.50/146.53	c ===============================================================================
151.81/151.84	c core #2
151.81/151.84	c ============================[ Search Statistics ]==============================
151.81/151.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
151.81/151.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
151.81/151.84	c ===============================================================================
151.81/151.84	c |         0 |    2938     7727    31839 |     5000        0    nan |  0.000 % |
151.81/151.89	c |       101 |    2938     7727    31839 |     5500      101     15 |  0.000 % |
151.90/151.90	c |       252 |    2938     7727    31839 |     6050      252     18 |  0.000 % |
151.90/151.91	c |       479 |    2938     7727    31839 |     6655      479     23 |  0.000 % |
151.90/151.93	c |       817 |    2938     7727    31839 |     7320      817     27 |  0.000 % |
151.90/151.96	c |      1323 |    2938     7727    31839 |     8052     1323     28 |  0.000 % |
152.00/152.00	c |      2082 |    2938     7727    31839 |     8857     2082     28 |  0.000 % |
152.00/152.06	c |      3221 |    2938     7727    31839 |     9743     3221     28 |  0.000 % |
152.10/152.15	c |      4931 |    2938     7727    31839 |    10717     4931     28 |  0.000 % |
152.30/152.30	c |      7496 |    2938     7727    31839 |    11789     7496     29 |  0.000 % |
152.49/152.55	c |     11342 |    2938     7727    31839 |    12968    11342     29 |  0.000 % |
152.91/152.95	c |     17109 |    2938     7727    31839 |    14265    10571     31 |  0.000 % |
153.60/153.65	c |     25759 |    2938     7727    31839 |    15692    12046     34 |  0.000 % |
154.80/154.80	c |     38736 |    2938     7727    31839 |    17261     9249     32 |  0.000 % |
156.89/156.95	c |     58197 |    2938     7727    31839 |    18987    11336     38 |  0.000 % |
159.90/159.98	c |     87389 |    2938     7727    31839 |    20886    11863     37 |  0.000 % |
165.00/165.03	c |    131181 |    2938     7727    31839 |    22974    13677     38 |  0.000 % |
172.90/172.94	c |    196866 |    2938     7727    31839 |    25272    21706     37 |  0.000 % |
184.70/184.73	c |    295392 |    2938     7727    31839 |    27799    15116     36 |  0.000 % |
202.20/202.23	c |    443183 |    2937     7727    31839 |    30579    22996     37 |  0.034 % |
229.51/229.59	c |    664868 |    2937     7727    31839 |    33637    26750     37 |  0.034 % |
237.80/237.80	c ===============================================================================
243.11/243.14	c core #3
243.11/243.14	c ============================[ Search Statistics ]==============================
243.11/243.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
243.11/243.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
243.11/243.14	c ===============================================================================
243.11/243.14	c |         0 |    4300    10162    43318 |     5000        0    nan |  0.000 % |
243.11/243.18	c |       100 |    4300    10162    43318 |     5500      100     19 |  0.000 % |
243.20/243.22	c |       252 |    4300    10162    43318 |     6050      252     24 |  0.000 % |
243.20/243.23	c |       477 |    4300    10162    43318 |     6655      477     25 |  0.000 % |
243.20/243.26	c |       814 |    4300    10162    43318 |     7320      814     25 |  0.000 % |
243.30/243.30	c |      1324 |    4300    10162    43318 |     8052     1324     25 |  0.000 % |
243.30/243.35	c |      2086 |    4300    10162    43318 |     8857     2086     26 |  0.000 % |
243.41/243.41	c |      3226 |    4300    10162    43318 |     9743     3226     25 |  0.000 % |
243.50/243.54	c |      4935 |    4300    10162    43318 |    10717     4935     25 |  0.000 % |
243.70/243.70	c |      7497 |    4300    10162    43318 |    11789     7497     26 |  0.000 % |
244.00/244.04	c |     11341 |    4300    10162    43318 |    12968    11341     27 |  0.000 % |
244.60/244.66	c |     17108 |    4300    10162    43318 |    14265    10565     30 |  0.000 % |
245.40/245.44	c |     25761 |    4300    10162    43318 |    15692    12040     33 |  0.000 % |
246.81/246.82	c |     38736 |    4300    10162    43318 |    17261     9213     33 |  0.000 % |
248.91/248.98	c |     58198 |    4300    10162    43318 |    18987    11314     33 |  0.000 % |
252.21/252.23	c |     87391 |    4300    10162    43318 |    20886    11865     34 |  0.000 % |
257.71/257.70	c |    131183 |    4300    10162    43318 |    22974    13644     40 |  0.000 % |
266.21/266.22	c |    196869 |    4300    10162    43318 |    25272    21631     35 |  0.000 % |
280.51/280.57	c |    295396 |    4300    10162    43318 |    27799    14041     33 |  0.000 % |
300.81/300.81	c |    443185 |    4300    10162    43318 |    30579    22350     40 |  0.000 % |
331.61/331.65	c |    664868 |    4300    10162    43318 |    33637    25018     35 |  0.000 % |
379.91/379.99	c |    997393 |    4300    10162    43318 |    37001    19501     39 |  0.000 % |
401.81/401.81	c ===============================================================================
410.32/410.34	c core #4
410.32/410.34	c ============================[ Search Statistics ]==============================
410.32/410.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
410.32/410.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
410.32/410.34	c ===============================================================================
410.32/410.34	c |         0 |    5685    12663    55142 |     5000        0    nan |  0.000 % |
410.41/410.41	c |       102 |    5685    12663    55142 |     5500      102     40 |  0.000 % |
410.41/410.43	c |       254 |    5685    12663    55142 |     6050      254     32 |  0.000 % |
410.41/410.44	c |       479 |    5685    12663    55142 |     6655      479     31 |  0.000 % |
410.41/410.46	c |       816 |    5685    12663    55142 |     7320      816     31 |  0.000 % |
410.41/410.50	c |      1324 |    5685    12663    55142 |     8052     1324     30 |  0.000 % |
410.51/410.54	c |      2084 |    5685    12663    55142 |     8857     2084     30 |  0.000 % |
410.61/410.63	c |      3224 |    5685    12663    55142 |     9743     3224     31 |  0.000 % |
410.71/410.73	c |      4933 |    5685    12663    55142 |    10717     4933     31 |  0.000 % |
410.91/410.93	c |      7496 |    5685    12663    55142 |    11789     7496     32 |  0.000 % |
411.21/411.27	c |     11340 |    5685    12663    55142 |    12968    11340     32 |  0.000 % |
411.71/411.75	c |     17106 |    5685    12663    55142 |    14265    10561     33 |  0.000 % |
412.52/412.55	c |     25755 |    5685    12663    55142 |    15692    12020     36 |  0.000 % |
413.71/413.78	c |     38729 |    5685    12663    55142 |    17261     9208     33 |  0.000 % |
415.72/415.79	c |     58191 |    5685    12663    55142 |    18987    11310     35 |  0.000 % |
418.71/418.77	c |     87386 |    5685    12663    55142 |    20886    11882     31 |  0.000 % |
424.21/424.25	c |    131176 |    5685    12663    55142 |    22974    13688     38 |  0.000 % |
432.41/432.41	c |    196860 |    5685    12663    55142 |    25272    21598     35 |  0.000 % |
445.52/445.53	c |    295387 |    5685    12663    55142 |    27799    13880     37 |  0.000 % |
463.72/463.76	c |    443177 |    5685    12663    55142 |    30579    19481     36 |  0.000 % |
493.11/493.18	c |    664861 |    5685    12663    55142 |    33637    19718     40 |  0.000 % |
537.32/537.38	c |    997387 |    5685    12663    55142 |    37001    15359     35 |  0.000 % |
583.12/583.12	c ===============================================================================
593.62/593.66	c core #5
593.62/593.66	c ============================[ Search Statistics ]==============================
593.62/593.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
593.62/593.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
593.62/593.66	c ===============================================================================
593.62/593.66	c |         0 |    7113    15138    66994 |     5046        0    nan |  0.000 % |
593.72/593.74	c |       101 |    7113    15138    66994 |     5550      101     22 |  0.000 % |
593.72/593.78	c |       251 |    7113    15138    66994 |     6105      251     23 |  0.000 % |
593.72/593.79	c |       477 |    7113    15138    66994 |     6716      477     34 |  0.000 % |
593.82/593.82	c |       814 |    7113    15138    66994 |     7387      814     34 |  0.000 % |
593.82/593.86	c |      1320 |    7113    15138    66994 |     8126     1320     32 |  0.000 % |
593.92/593.92	c |      2080 |    7113    15138    66994 |     8939     2080     31 |  0.000 % |
594.03/594.01	c |      3219 |    7113    15138    66994 |     9833     3219     31 |  0.000 % |
594.12/594.13	c |      4929 |    7113    15138    66994 |    10816     4929     29 |  0.000 % |
594.31/594.38	c |      7491 |    7113    15138    66994 |    11898     7491     32 |  0.000 % |
594.82/594.84	c |     11337 |    7113    15138    66994 |    13088    11337     33 |  0.000 % |
595.72/595.76	c |     17105 |    7113    15138    66994 |    14396    10504     35 |  0.000 % |
596.62/596.69	c |     25755 |    7113    15138    66994 |    15836    11908     34 |  0.000 % |
598.33/598.32	c |     38730 |    7113    15138    66994 |    17420     8944     38 |  0.000 % |
600.63/600.66	c |     58191 |    7113    15138    66994 |    19162    10861     36 |  0.000 % |
604.52/604.53	c |     87383 |    7113    15138    66994 |    21078    11149     35 |  0.000 % |
609.92/609.94	c |    131174 |    7113    15138    66994 |    23186    12556     37 |  0.000 % |
619.52/619.54	c |    196859 |    7113    15138    66994 |    25504    19511     38 |  0.000 % |
632.82/632.87	c |    295389 |    7113    15138    66994 |    28055    21642     33 |  0.000 % |
654.82/654.88	c |    443179 |    7113    15138    66994 |    30860    25042     37 |  0.000 % |
686.82/686.82	c |    664863 |    7113    15138    66994 |    33946    23016     39 |  0.000 % |
736.52/736.59	c |    997389 |    7113    15138    66994 |    37341    15307     40 |  0.000 % |
804.53/804.59	c |   1496179 |    7113    15138    66994 |    41075    14935     37 |  0.000 % |
867.43/867.47	c ===============================================================================
882.93/882.96	c core #6
882.93/882.96	c ============================[ Search Statistics ]==============================
882.93/882.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
882.93/882.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
882.93/882.96	c ===============================================================================
882.93/882.96	c |         0 |    8606    17581    78932 |     5860        0    nan |  0.000 % |
883.13/883.11	c |       102 |    8606    17581    78932 |     6446      102     22 |  0.000 % |
883.13/883.12	c |       252 |    8606    17581    78932 |     7091      252     21 |  0.000 % |
883.13/883.14	c |       479 |    8606    17581    78932 |     7800      479     26 |  0.000 % |
883.13/883.17	c |       817 |    8606    17581    78932 |     8580      817     29 |  0.000 % |
883.24/883.22	c |      1324 |    8606    17581    78932 |     9438     1324     30 |  0.000 % |
883.24/883.29	c |      2083 |    8606    17581    78932 |    10381     2083     28 |  0.000 % |
883.44/883.40	c |      3224 |    8606    17581    78932 |    11420     3224     28 |  0.000 % |
883.53/883.55	c |      4933 |    8606    17581    78932 |    12562     4933     28 |  0.000 % |
884.03/884.01	c |      7495 |    8606    17581    78932 |    13818     7495     28 |  0.000 % |
884.34/884.39	c |     11341 |    8606    17581    78932 |    15200    11341     29 |  0.000 % |
885.03/885.02	c |     17107 |    8606    17581    78932 |    16720     9461     33 |  0.000 % |
886.03/886.06	c |     25758 |    8606    17581    78932 |    18392     9687     32 |  0.000 % |
887.64/887.63	c |     38732 |    8606    17581    78932 |    20231    13424     37 |  0.000 % |
890.13/890.11	c |     58194 |    8606    17581    78932 |    22254    12537     35 |  0.000 % |
894.03/894.04	c |     87386 |    8606    17581    78932 |    24480    19344     40 |  0.000 % |
900.53/900.55	c |    131176 |    8606    17581    78932 |    26928    12201     36 |  0.000 % |
910.34/910.38	c |    196861 |    8606    17581    78932 |    29620    18051     38 |  0.000 % |
925.24/925.25	c |    295387 |    8606    17581    78932 |    32582    27931     38 |  0.000 % |
948.73/948.71	c |    443179 |    8606    17581    78932 |    35841    13623     38 |  0.000 % |
985.24/985.23	c |    664862 |    8606    17581    78932 |    39425    22799     41 |  0.000 % |
1039.94/1039.91	c |    997388 |    8606    17581    78932 |    43367    32947     39 |  0.000 % |
1118.45/1118.46	c |   1496176 |    8606    17581    78932 |    47704    42123     38 |  0.000 % |
1239.45/1239.42	c |   2244359 |    8606    17581    78932 |    52475    28764     39 |  0.000 % |
1381.46/1381.43	c ===============================================================================
1408.46/1408.45	c core #7
1408.46/1408.45	c ============================[ Search Statistics ]==============================
1408.46/1408.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1408.46/1408.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1408.46/1408.45	c ===============================================================================
1408.46/1408.45	c |         0 |   10186    20002    90999 |     6667        0    nan |  0.000 % |
1408.65/1408.66	c |       101 |   10186    20002    90999 |     7334      101     27 |  0.000 % |
1408.65/1408.69	c |       252 |   10186    20002    90999 |     8067      252     34 |  0.000 % |
1408.75/1408.72	c |       478 |   10186    20002    90999 |     8874      478     31 |  0.000 % |
1408.75/1408.75	c |       816 |   10186    20002    90999 |     9761      816     31 |  0.000 % |
1408.86/1408.80	c |      1323 |   10186    20002    90999 |    10737     1323     31 |  0.000 % |
1408.96/1408.91	c |      2082 |   10186    20002    90999 |    11811     2082     32 |  0.000 % |
1409.06/1409.06	c |      3224 |   10186    20002    90999 |    12992     3224     33 |  0.000 % |
1409.26/1409.24	c |      4935 |   10186    20002    90999 |    14292     4935     32 |  0.000 % |
1409.56/1409.52	c |      7498 |   10186    20002    90999 |    15721     7498     32 |  0.000 % |
1409.96/1409.96	c |     11342 |   10186    20002    90999 |    17293    11342     35 |  0.000 % |
1410.76/1410.79	c |     17108 |   10186    20002    90999 |    19022    17108     35 |  0.000 % |
1412.06/1412.07	c |     25757 |   10186    20002    90999 |    20924    16203     36 |  0.000 % |
1414.16/1414.11	c |     38732 |   10186    20002    90999 |    23017    18678     37 |  0.000 % |
1417.26/1417.26	c |     58193 |   10186    20002    90999 |    25319    14865     41 |  0.000 % |
1421.86/1421.89	c |     87386 |   10186    20002    90999 |    27851    17051     39 |  0.000 % |
1428.87/1428.90	c ===============================================================================
1428.87/1428.90	c #cores: 7
1428.87/1428.90	c Final Weight: 7
1428.87/1428.90	o 7
1428.87/1428.90	s OPTIMUM FOUND
1428.87/1428.90	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
1428.87/1428.90	c Total CPU time: 1409.59 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-2689607-1277928459/watcher-2689607-1277928459 -o /tmp/evaluation-result-2689607-1277928459/solver-2689607-1277928459 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689607-1277928459.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.11 2.29 3/178 17057
/proc/meminfo: memFree=30916780/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=2668 CPUtime=0
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 301 0 0 0 0 0 0 0 23 0 1 0 134140805 2732032 219 4089446400 134512640 135751879 4290478144 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 667 219 145 303 0 338 0

[startup+0.007091 s]
/proc/loadavg: 2.00 2.11 2.29 3/178 17057
/proc/meminfo: memFree=30916780/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=2812 CPUtime=0
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 316 0 0 0 0 0 0 0 24 0 1 0 134140805 2879488 234 4089446400 134512640 135751879 4290478144 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 703 236 152 303 0 374 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2812

[startup+0.101147 s]
/proc/loadavg: 2.00 2.11 2.29 3/178 17057
/proc/meminfo: memFree=30916780/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=3640 CPUtime=0.09
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 584 0 0 0 9 0 0 0 24 0 1 0 134140805 3727360 478 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 910 478 143 303 0 605 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3640

[startup+0.301114 s]
/proc/loadavg: 2.00 2.11 2.29 3/178 17057
/proc/meminfo: memFree=30916780/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=5100 CPUtime=0.29
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 951 0 0 0 27 2 0 0 25 0 1 0 134140805 5222400 845 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 1275 845 143 303 0 970 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5100

[startup+0.701029 s]
/proc/loadavg: 2.00 2.11 2.29 3/178 17057
/proc/meminfo: memFree=30916780/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=7264 CPUtime=0.69
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 1480 0 0 0 66 3 0 0 25 0 1 0 134140805 7438336 1374 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 1816 1374 143 303 0 1511 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7264

[startup+1.50087 s]
/proc/loadavg: 2.00 2.11 2.29 3/179 17058
/proc/meminfo: memFree=30910572/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=11228 CPUtime=1.49
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 2472 0 0 0 142 7 0 0 25 0 1 0 134140805 11497472 2366 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 2807 2366 143 303 0 2502 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11228

[startup+3.10055 s]
/proc/loadavg: 2.00 2.11 2.29 3/179 17058
/proc/meminfo: memFree=30906116/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=17832 CPUtime=3.09
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 4136 0 0 0 296 13 0 0 25 0 1 0 134140805 18259968 4030 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 4458 4030 143 303 0 4153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17832

[startup+6.30091 s]
/proc/loadavg: 2.00 2.11 2.28 3/179 17058
/proc/meminfo: memFree=30892600/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=30824 CPUtime=6.29
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 7364 0 0 0 606 23 0 0 25 0 1 0 134140805 31563776 7258 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 7706 7258 143 303 0 7401 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30824

[startup+12.7006 s]
/proc/loadavg: 2.00 2.11 2.28 3/179 17058
/proc/meminfo: memFree=30868520/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=54212 CPUtime=12.69
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 13217 0 0 0 1231 38 0 0 25 0 1 0 134140805 55513088 13111 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 13553 13111 143 303 0 13248 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54212

[startup+25.5011 s]
/proc/loadavg: 2.00 2.10 2.28 3/179 17059
/proc/meminfo: memFree=30827448/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=94524 CPUtime=25.5
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 23285 0 0 0 2489 61 0 0 25 0 1 0 134140805 96792576 23179 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 23631 23179 143 303 0 23326 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 94524

[startup+51.101 s]
/proc/loadavg: 2.00 2.09 2.27 3/179 17059
/proc/meminfo: memFree=30750288/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=172648 CPUtime=51.09
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 42815 0 0 0 4999 110 0 0 25 0 1 0 134140805 176791552 42709 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 43162 42709 143 303 0 42857 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 172648

[startup+102.306 s]
/proc/loadavg: 2.00 2.08 2.25 3/179 17061
/proc/meminfo: memFree=30687388/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=233644 CPUtime=102.3
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 58117 0 0 0 10037 193 0 0 25 0 1 0 134140805 239251456 57981 4089446400 134512640 135751879 4290478144 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 58411 57981 146 303 0 58106 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 233644

[startup+162.301 s]
/proc/loadavg: 2.00 2.06 2.23 3/179 17062
/proc/meminfo: memFree=30558232/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=363564 CPUtime=162.3
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 90547 0 0 0 15935 295 0 0 25 0 1 0 134140805 372289536 90411 4089446400 134512640 135751879 4290478144 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 90891 90411 146 303 0 90586 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 363564

[startup+222.301 s]
/proc/loadavg: 2.00 2.05 2.22 3/179 17063
/proc/meminfo: memFree=30487624/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=433776 CPUtime=222.3
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 108113 0 0 0 21841 389 0 0 25 0 1 0 134140805 444186624 107977 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 108444 107977 146 303 0 108139 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 433776

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 17065
/proc/meminfo: memFree=30425708/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=494380 CPUtime=282.3
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 123287 0 0 0 27759 471 0 0 25 0 1 0 134140805 506245120 123151 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 123595 123151 146 303 0 123290 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 494380

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.18 3/179 17067
/proc/meminfo: memFree=30315924/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=603296 CPUtime=342.31
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 150499 0 0 0 33674 557 0 0 25 0 1 0 134140805 617775104 150363 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 150824 150363 146 303 0 150519 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 603296

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.17 3/179 17069
/proc/meminfo: memFree=30185944/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=737240 CPUtime=402.31
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 183964 0 0 0 39594 637 0 0 25 0 1 0 134140805 754933760 183828 4089446400 134512640 135751879 4290478144 18446744073709551615 134516333 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 184310 183828 146 303 0 184005 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 737240

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.16 3/179 17070
/proc/meminfo: memFree=30149068/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=765640 CPUtime=462.32
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 191112 0 0 0 45509 723 0 0 25 0 1 0 134140805 784015360 190976 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 191410 190976 146 303 0 191105 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 765640

[startup+522.301 s]
/proc/loadavg: 2.04 2.03 2.15 3/179 17071
/proc/meminfo: memFree=30063848/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=852256 CPUtime=522.31
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 212744 0 0 0 51417 814 0 0 25 0 1 0 134140805 872710144 212608 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 213064 212608 146 303 0 212759 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 852256

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.14 3/179 17073
/proc/meminfo: memFree=29916112/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=996180 CPUtime=582.32
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 248685 0 0 0 57323 909 0 0 25 0 1 0 134140805 1020088320 248549 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 249045 248549 146 303 0 248740 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 996180

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.13 3/179 17075
/proc/meminfo: memFree=29869540/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1038668 CPUtime=642.33
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 259317 0 0 0 63259 974 0 0 25 0 1 0 134140805 1063596032 259181 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 259667 259181 146 303 0 259362 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 1038668

[startup+702.301 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 17077
/proc/meminfo: memFree=29839008/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1065504 CPUtime=702.32
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 266032 0 0 0 69181 1051 0 0 25 0 1 0 134140805 1091076096 265896 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 266376 265896 146 303 0 266071 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 1065504

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 17078
/proc/meminfo: memFree=29714108/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1186528 CPUtime=762.33
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 296270 0 0 0 75095 1138 0 0 25 0 1 0 134140805 1215004672 296134 4089446400 134512640 135751879 4290478144 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 296632 296134 146 303 0 296327 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 1186528

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 17079
/proc/meminfo: memFree=29574320/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1323076 CPUtime=822.33
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 330389 0 0 0 81010 1223 0 0 25 0 1 0 134140805 1354829824 330253 4089446400 134512640 135751879 4290478144 18446744073709551615 134610753 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 330769 330253 146 303 0 330464 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 1323076

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 17081
/proc/meminfo: memFree=29416672/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1474976 CPUtime=882.33
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 368334 0 0 0 86951 1282 0 0 25 0 1 0 134140805 1510375424 368198 4089446400 134512640 135751879 4290478144 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 368744 368198 146 303 0 368439 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 1474976

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17083
/proc/meminfo: memFree=29415884/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1474804 CPUtime=942.33
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 368415 0 0 0 92877 1356 0 0 25 0 1 0 134140805 1510199296 368196 4089446400 134512640 135751879 4290478144 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 368701 368196 146 303 0 368396 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 1474804

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 17085
/proc/meminfo: memFree=29412012/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1474804 CPUtime=1002.34
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 368465 0 0 0 98809 1425 0 0 25 0 1 0 134140805 1510199296 368246 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 368701 368246 146 303 0 368396 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 1474804

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 17086
/proc/meminfo: memFree=29360248/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1526616 CPUtime=1062.34
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 381364 0 0 0 104737 1497 0 0 25 0 1 0 134140805 1563254784 381145 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 381654 381145 146 303 0 381349 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 1526616

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 17087
/proc/meminfo: memFree=29245008/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1637648 CPUtime=1122.34
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 409122 0 0 0 110662 1572 0 0 25 0 1 0 134140805 1676951552 408903 4089446400 134512640 135751879 4290478144 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 409412 408903 146 303 0 409107 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 1637648

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 17089
/proc/meminfo: memFree=29128148/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1755356 CPUtime=1182.35
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 438527 0 0 0 116589 1646 0 0 25 0 1 0 134140805 1797484544 438308 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 438839 438308 146 303 0 438534 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 1755356

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 17091
/proc/meminfo: memFree=29008196/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1871684 CPUtime=1242.35
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 467591 0 0 0 122517 1718 0 0 25 0 1 0 134140805 1916604416 467372 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 467921 467372 146 303 0 467616 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 1871684

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/197 17166
/proc/meminfo: memFree=29166420/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=1983816 CPUtime=1302.35
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 495624 0 0 0 128437 1798 0 0 25 0 1 0 134140805 2031427584 495405 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 495954 495405 146 303 0 495649 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1983816

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/197 17167
/proc/meminfo: memFree=29052020/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=2097336 CPUtime=1362.35
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 523974 0 0 0 134349 1886 0 0 25 0 1 0 134140805 2147672064 523755 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 524334 523755 146 303 0 524029 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 2097336

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/197 17168
/proc/meminfo: memFree=28923108/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=2224664 CPUtime=1422.37
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 555833 0 0 0 140306 1931 0 0 25 0 1 0 134140805 2278055936 555563 4089446400 134512640 135751879 4290478144 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 556166 555563 146 303 0 555861 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 2224664

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

[startup+1423.9 s]
/proc/loadavg: 2.00 2.00 2.03 3/197 17169
/proc/meminfo: memFree=28923108/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=2224664 CPUtime=1423.96
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 555834 0 0 0 140463 1933 0 0 25 0 1 0 134140805 2278055936 555564 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 556166 555564 146 303 0 555861 0
Current children cumulated CPU time (s) 1423.96
Current children cumulated vsize (KiB) 2224664

[startup+1427.1 s]
/proc/loadavg: 2.00 2.00 2.03 3/197 17169
/proc/meminfo: memFree=28922980/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=2224664 CPUtime=1427.16
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 555834 0 0 0 140781 1935 0 0 25 0 1 0 134140805 2278055936 555564 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 556166 555564 146 303 0 555861 0
Current children cumulated CPU time (s) 1427.16
Current children cumulated vsize (KiB) 2224664

[startup+1427.9 s]
/proc/loadavg: 2.00 2.00 2.03 3/197 17169
/proc/meminfo: memFree=28922980/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=2224664 CPUtime=1427.96
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 555834 0 0 0 140860 1936 0 0 25 0 1 0 134140805 2278055936 555564 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 556166 555564 146 303 0 555861 0
Current children cumulated CPU time (s) 1427.96
Current children cumulated vsize (KiB) 2224664

[startup+1428.7 s]
/proc/loadavg: 2.00 2.00 2.03 3/197 17169
/proc/meminfo: memFree=28922980/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=2224664 CPUtime=1428.76
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202496 555834 0 0 0 140939 1937 0 0 25 0 1 0 134140805 2278055936 555564 4089446400 134512640 135751879 4290478144 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/17057/statm: 556166 555564 146 303 0 555861 0
Current children cumulated CPU time (s) 1428.76
Current children cumulated vsize (KiB) 2224664

[startup+1428.91 s]
/proc/loadavg: 2.00 2.00 2.03 3/197 17169
/proc/meminfo: memFree=28922980/32950928 swapFree=67111528/67111528
[pid=17057] ppid=17055 vsize=0 CPUtime=1428.97
/proc/17057/stat : 17057 (wbo1.4a) R 17055 17057 15372 0 -1 4202500 555834 0 0 0 140959 1938 0 0 25 0 1 0 134140805 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/17057/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1428.97
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1428.97
CPU time (s): 1429.04
CPU user time (s): 1409.59
CPU system time (s): 19.444
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2224664

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

runsolver used 1.9467 second user time and 4.56131 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 22:07:39
IDJOB=2689607
IDBENCH=79289
IDSOLVER=1200
FILE ID=node149/2689607-1277928459
PBS_JOBID= 11197342
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= d3ccf217ec482c2d8ac120ae50401a4a
RANDOM SEED=1542968039

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:      30917424 kB
Buffers:        213368 kB
Cached:        1276700 kB
SwapCached:          0 kB
Active:         848076 kB
Inactive:      1037164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30917424 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2736 kB
Writeback:           0 kB
AnonPages:      395280 kB
Mapped:          17624 kB
Slab:            82700 kB
PageTables:       5916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   550900 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 22:31:28