Trace number 3447026

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.6OPTIMUM 1153.4 1153.43

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo
MD5SUM105b60f6fd410ca15d025f7b690efafc
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark73.6198
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 constraints927
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 45360
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45359
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 721
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.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3447026-1307905744.wbo.
0.00/0.00	c Instance file HOME/instance-3447026-1307905744.wbo
0.00/0.00	c File size is 87995 bytes.
0.00/0.00	c Highest Coefficient sum: 721
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 |       101 |     231     2707     8338 |     5500      101     26 |  0.002 % |
0.00/0.01	c |       251 |     231     2707     8338 |     6050      251     30 |  0.002 % |
0.00/0.01	c |       476 |     231     2707     8338 |     6655      476     27 |  0.002 % |
0.00/0.02	c |       813 |     231     2707     8338 |     7320      813     29 |  0.002 % |
0.00/0.03	c |      1322 |     231     2707     8338 |     8052     1322     33 |  0.002 % |
0.00/0.05	c |      2081 |     231     2707     8338 |     8857     2081     35 |  0.002 % |
0.00/0.08	c |      3220 |     231     2707     8338 |     9743     3220     35 |  0.002 % |
0.10/0.13	c |      4929 |     231     2707     8338 |    10717     4929     33 |  0.002 % |
0.19/0.22	c |      7494 |     231     2707     8338 |    11789     7494     32 |  0.002 % |
0.39/0.40	c |     11339 |     231     2707     8338 |    12968    11339     34 |  0.002 % |
0.59/0.65	c |     17106 |     231     2707     8338 |    14265    10577     32 |  0.002 % |
1.10/1.11	c |     25755 |     231     2707     8338 |    15692    12035     33 |  0.002 % |
1.69/1.73	c |     38732 |     231     2707     8338 |    17261     9227     35 |  0.002 % |
2.89/2.94	c |     58193 |     231     2707     8338 |    18987    11357     38 |  0.002 % |
4.79/4.80	c |     87385 |     231     2707     8338 |    20886    11917     40 |  0.002 % |
7.89/7.91	c |    131175 |     231     2707     8338 |    22974    13753     36 |  0.002 % |
12.89/12.92	c |    196859 |     231     2707     8338 |    25272    21716     38 |  0.002 % |
20.59/20.67	c |    295385 |     231     2707     8338 |    27799    14855     37 |  0.002 % |
32.69/32.71	c |    443174 |     231     2707     8338 |    30579    23616     38 |  0.002 % |
52.19/52.26	c |    664858 |     230     2707     8338 |    33637    29173     39 |  0.435 % |
54.08/54.11	c ===============================================================================
57.59/57.64	c core #1
57.59/57.64	c 
57.59/57.64	c 
57.59/57.64	c Core size: 903	Core Weight: 1	Total Weight: 1
57.59/57.64	c Current CPU time: 55.9965 s
57.59/57.64	c
57.59/57.64	c ============================[ Search Statistics ]==============================
57.59/57.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
57.59/57.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
57.59/57.64	c ===============================================================================
57.59/57.64	c |         0 |     704     3586    12405 |     5000        0   -nan |  0.000 % |
57.59/57.64	c |       100 |     704     3586    12405 |     5500      100     22 |  0.000 % |
57.59/57.65	c |       252 |     704     3586    12405 |     6050      252     26 |  0.000 % |
57.59/57.65	c |       477 |     704     3586    12405 |     6655      477     24 |  0.000 % |
57.59/57.66	c |       814 |     704     3586    12405 |     7320      814     24 |  0.000 % |
57.59/57.67	c |      1321 |     704     3586    12405 |     8052     1321     25 |  0.000 % |
57.59/57.69	c |      2083 |     704     3586    12405 |     8857     2083     26 |  0.000 % |
57.68/57.72	c |      3226 |     704     3586    12405 |     9743     3226     27 |  0.000 % |
57.68/57.76	c |      4934 |     704     3586    12405 |    10717     4934     29 |  0.000 % |
57.79/57.85	c |      7497 |     704     3586    12405 |    11789     7497     29 |  0.000 % |
57.99/58.03	c |     11341 |     704     3586    12405 |    12968    11341     31 |  0.000 % |
58.29/58.31	c |     17108 |     704     3586    12405 |    14265    10573     35 |  0.000 % |
58.69/58.79	c |     25758 |     704     3586    12405 |    15692    12060     36 |  0.000 % |
59.49/59.53	c |     38732 |     704     3586    12405 |    17261     9241     39 |  0.000 % |
60.89/60.92	c |     58195 |     704     3586    12405 |    18987    11361     38 |  0.000 % |
62.79/62.88	c |     87388 |     704     3586    12405 |    20886    11909     37 |  0.000 % |
66.29/66.36	c |    131181 |     704     3586    12405 |    22974    13760     36 |  0.000 % |
71.79/71.88	c |    196870 |     704     3586    12405 |    25272    21759     40 |  0.000 % |
80.59/80.63	c |    295399 |     704     3586    12405 |    27799    15810     38 |  0.000 % |
94.70/94.79	c |    443188 |     703     3586    12405 |    30579    14252     35 |  0.142 % |
107.90/107.95	c ===============================================================================
111.10/111.18	c core #2
111.10/111.18	c 
111.10/111.18	c 
111.10/111.18	c Core size: 875	Core Weight: 1	Total Weight: 2
111.10/111.18	c Current CPU time: 108.393 s
111.10/111.18	c
111.10/111.18	c ============================[ Search Statistics ]==============================
111.10/111.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
111.10/111.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
111.10/111.18	c ===============================================================================
111.10/111.18	c |         0 |    1174     4437    16366 |     5000        0   -nan |  0.000 % |
111.10/111.19	c |       102 |    1174     4437    16366 |     5500      102     31 |  0.000 % |
111.10/111.19	c |       252 |    1174     4437    16366 |     6050      252     30 |  0.000 % |
111.10/111.20	c |       477 |    1174     4437    16366 |     6655      477     27 |  0.000 % |
111.19/111.20	c |       814 |    1174     4437    16366 |     7320      814     26 |  0.000 % |
111.19/111.22	c |      1322 |    1174     4437    16366 |     8052     1322     26 |  0.000 % |
111.19/111.23	c |      2081 |    1174     4437    16366 |     8857     2081     26 |  0.000 % |
111.19/111.26	c |      3223 |    1174     4437    16366 |     9743     3223     26 |  0.000 % |
111.29/111.32	c |      4932 |    1174     4437    16366 |    10717     4932     28 |  0.000 % |
111.39/111.41	c |      7495 |    1174     4437    16366 |    11789     7495     28 |  0.000 % |
111.49/111.57	c |     11339 |    1174     4437    16366 |    12968    11339     29 |  0.000 % |
111.78/111.85	c |     17108 |    1174     4437    16366 |    14265    10579     32 |  0.000 % |
112.29/112.35	c |     25757 |    1174     4437    16366 |    15692    12054     34 |  0.000 % |
113.19/113.22	c |     38734 |    1174     4437    16366 |    17261     9221     34 |  0.000 % |
114.29/114.38	c |     58195 |    1174     4437    16366 |    18987    11309     31 |  0.000 % |
116.60/116.66	c |     87387 |    1174     4437    16366 |    20886    11872     37 |  0.000 % |
119.69/119.73	c |    131180 |    1174     4437    16366 |    22974    13692     36 |  0.000 % |
124.59/124.60	c |    196864 |    1174     4437    16366 |    25272    21677     36 |  0.000 % |
132.89/132.93	c |    295391 |    1174     4437    16366 |    27799    14841     36 |  0.000 % |
144.89/144.91	c |    443180 |    1174     4437    16366 |    30579    21556     36 |  0.000 % |
164.59/164.64	c |    664864 |    1174     4437    16366 |    33637    25859     40 |  0.002 % |
173.19/173.22	c ===============================================================================
177.09/177.14	c core #3
177.09/177.14	c 
177.09/177.14	c 
177.09/177.14	c Core size: 879	Core Weight: 1	Total Weight: 3
177.09/177.14	c Current CPU time: 172.905 s
177.09/177.14	c
177.09/177.14	c ============================[ Search Statistics ]==============================
177.09/177.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
177.09/177.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
177.09/177.14	c ===============================================================================
177.09/177.14	c |         0 |    1652     5287    20341 |     5000        0   -nan |  0.000 % |
177.09/177.14	c |       101 |    1652     5287    20341 |     5500      101     26 |  0.000 % |
177.09/177.15	c |       251 |    1652     5287    20341 |     6050      251     24 |  0.000 % |
177.09/177.15	c |       478 |    1652     5287    20341 |     6655      478     30 |  0.000 % |
177.09/177.16	c |       815 |    1652     5287    20341 |     7320      815     29 |  0.000 % |
177.09/177.17	c |      1321 |    1652     5287    20341 |     8052     1321     29 |  0.000 % |
177.09/177.20	c |      2080 |    1652     5287    20341 |     8857     2080     29 |  0.000 % |
177.20/177.23	c |      3220 |    1652     5287    20341 |     9743     3220     29 |  0.000 % |
177.20/177.29	c |      4928 |    1652     5287    20341 |    10717     4928     29 |  0.000 % |
177.29/177.39	c |      7492 |    1652     5287    20341 |    11789     7492     30 |  0.000 % |
177.49/177.59	c |     11338 |    1652     5287    20341 |    12968    11338     32 |  0.000 % |
177.79/177.86	c |     17104 |    1652     5287    20341 |    14265    10592     32 |  0.000 % |
178.30/178.33	c |     25753 |    1652     5287    20341 |    15692    12068     33 |  0.000 % |
179.09/179.14	c |     38727 |    1652     5287    20341 |    17261     9257     33 |  0.000 % |
180.29/180.39	c |     58188 |    1652     5287    20341 |    18987    11346     37 |  0.000 % |
182.29/182.32	c |     87383 |    1652     5287    20341 |    20886    11931     35 |  0.000 % |
185.59/185.61	c |    131174 |    1652     5287    20341 |    22974    13768     38 |  0.000 % |
191.19/191.28	c |    196858 |    1652     5287    20341 |    25272    21717     40 |  0.000 % |
199.59/199.66	c |    295384 |    1652     5287    20341 |    27799    15677     38 |  0.000 % |
213.19/213.23	c |    443173 |    1652     5287    20341 |    30579    27439     37 |  0.000 % |
225.50/225.53	c ===============================================================================
228.49/228.54	c core #4
228.49/228.54	c 
228.49/228.54	c 
228.49/228.54	c Core size: 904	Core Weight: 1	Total Weight: 4
228.49/228.54	c Current CPU time: 223.244 s
228.49/228.54	c
228.49/228.54	c ============================[ Search Statistics ]==============================
228.49/228.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
228.49/228.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
228.49/228.54	c ===============================================================================
228.49/228.54	c |         0 |    2132     6127    24298 |     5000        0   -nan |  0.000 % |
228.49/228.54	c |       100 |    2132     6127    24298 |     5500      100     20 |  0.000 % |
228.49/228.54	c |       251 |    2132     6127    24298 |     6050      251     28 |  0.000 % |
228.49/228.55	c |       476 |    2132     6127    24298 |     6655      476     25 |  0.000 % |
228.49/228.56	c |       814 |    2132     6127    24298 |     7320      814     25 |  0.000 % |
228.49/228.57	c |      1320 |    2132     6127    24298 |     8052     1320     26 |  0.000 % |
228.49/228.59	c |      2079 |    2132     6127    24298 |     8857     2079     27 |  0.000 % |
228.59/228.63	c |      3218 |    2132     6127    24298 |     9743     3218     29 |  0.000 % |
228.59/228.68	c |      4926 |    2132     6127    24298 |    10717     4926     29 |  0.000 % |
228.69/228.79	c |      7488 |    2132     6127    24298 |    11789     7488     30 |  0.000 % |
228.89/228.98	c |     11332 |    2132     6127    24298 |    12968    11332     32 |  0.000 % |
229.19/229.26	c |     17099 |    2132     6127    24298 |    14265    10575     34 |  0.000 % |
229.69/229.76	c |     25748 |    2132     6127    24298 |    15692    12044     35 |  0.000 % |
230.59/230.60	c |     38722 |    2132     6127    24298 |    17261     9223     38 |  0.000 % |
231.99/232.02	c |     58185 |    2132     6127    24298 |    18987    11312     39 |  0.000 % |
234.09/234.19	c |     87378 |    2132     6127    24298 |    20886    11874     40 |  0.000 % |
237.89/237.91	c |    131170 |    2132     6127    24298 |    22974    13698     40 |  0.000 % |
243.99/244.00	c |    196855 |    2132     6127    24298 |    25272    21706     45 |  0.000 % |
253.59/253.61	c |    295383 |    2132     6127    24298 |    27799    17698     40 |  0.000 % |
267.89/267.94	c |    443176 |    2131     6127    24298 |    30579    15438     40 |  0.047 % |
268.69/268.78	c ===============================================================================
271.29/271.34	c core #5
271.29/271.34	c 
271.29/271.34	c 
271.29/271.34	c Core size: 891	Core Weight: 1	Total Weight: 5
271.29/271.34	c Current CPU time: 265.131 s
271.29/271.34	c
271.29/271.34	c ============================[ Search Statistics ]==============================
271.29/271.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
271.29/271.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
271.29/271.34	c ===============================================================================
271.29/271.34	c |         0 |    2617     6964    28250 |     5000        0   -nan |  0.000 % |
271.29/271.34	c |       100 |    2617     6964    28250 |     5500      100     19 |  0.000 % |
271.29/271.34	c |       251 |    2617     6964    28250 |     6050      251     28 |  0.000 % |
271.29/271.35	c |       479 |    2617     6964    28250 |     6655      479     25 |  0.000 % |
271.29/271.36	c |       819 |    2617     6964    28250 |     7320      819     27 |  0.000 % |
271.29/271.37	c |      1325 |    2617     6964    28250 |     8052     1325     27 |  0.000 % |
271.39/271.40	c |      2085 |    2617     6964    28250 |     8857     2085     29 |  0.000 % |
271.39/271.43	c |      3225 |    2617     6964    28250 |     9743     3225     28 |  0.000 % |
271.39/271.49	c |      4935 |    2617     6964    28250 |    10717     4935     29 |  0.000 % |
271.59/271.61	c |      7497 |    2617     6964    28250 |    11789     7497     32 |  0.000 % |
271.69/271.78	c |     11342 |    2617     6964    28250 |    12968    11342     31 |  0.000 % |
271.99/272.05	c |     17110 |    2617     6964    28250 |    14265    10574     30 |  0.000 % |
272.49/272.54	c |     25759 |    2617     6964    28250 |    15692    12052     33 |  0.000 % |
273.29/273.32	c |     38733 |    2617     6964    28250 |    17261     9271     34 |  0.000 % |
274.59/274.64	c |     58195 |    2617     6964    28250 |    18987    11366     34 |  0.000 % |
276.29/276.31	c |     87387 |    2617     6964    28250 |    20886    11892     34 |  0.000 % |
279.59/279.67	c |    131176 |    2617     6964    28250 |    22974    13715     35 |  0.000 % |
285.39/285.44	c |    196861 |    2617     6964    28250 |    25272    21692     39 |  0.000 % |
293.60/293.69	c |    295389 |    2617     6964    28250 |    27799    14728     36 |  0.000 % |
306.79/306.86	c |    443179 |    2617     6964    28250 |    30579    23499     40 |  0.000 % |
326.49/326.51	c |    664862 |    2617     6964    28250 |    33637    26491     40 |  0.000 % |
338.79/338.88	c ===============================================================================
343.19/343.25	c core #6
343.19/343.25	c 
343.19/343.25	c 
343.19/343.25	c Core size: 908	Core Weight: 1	Total Weight: 6
343.19/343.25	c Current CPU time: 335.382 s
343.19/343.25	c
343.19/343.25	c ============================[ Search Statistics ]==============================
343.19/343.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
343.19/343.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
343.19/343.25	c ===============================================================================
343.19/343.25	c |         0 |    3126     7789    32215 |     5000        0   -nan |  0.000 % |
343.19/343.25	c |       100 |    3126     7789    32215 |     5500      100     23 |  0.000 % |
343.19/343.26	c |       250 |    3126     7789    32215 |     6050      250     27 |  0.000 % |
343.19/343.26	c |       476 |    3126     7789    32215 |     6655      476     27 |  0.000 % |
343.19/343.27	c |       813 |    3126     7789    32215 |     7320      813     25 |  0.000 % |
343.19/343.29	c |      1319 |    3126     7789    32215 |     8052     1319     26 |  0.000 % |
343.30/343.31	c |      2079 |    3126     7789    32215 |     8857     2079     28 |  0.000 % |
343.30/343.36	c |      3221 |    3126     7789    32215 |     9743     3221     28 |  0.000 % |
343.40/343.42	c |      4929 |    3126     7789    32215 |    10717     4929     29 |  0.000 % |
343.49/343.54	c |      7491 |    3126     7789    32215 |    11789     7491     30 |  0.000 % |
343.69/343.72	c |     11337 |    3126     7789    32215 |    12968    11337     30 |  0.000 % |
343.99/344.01	c |     17105 |    3126     7789    32215 |    14265    10559     30 |  0.000 % |
344.49/344.53	c |     25754 |    3126     7789    32215 |    15692    12033     34 |  0.000 % |
345.29/345.37	c |     38729 |    3126     7789    32215 |    17261     9214     33 |  0.000 % |
346.69/346.70	c |     58190 |    3126     7789    32215 |    18987    11315     38 |  0.000 % |
348.79/348.82	c |     87384 |    3126     7789    32215 |    20886    11883     35 |  0.000 % |
352.50/352.53	c |    131173 |    3126     7789    32215 |    22974    13677     36 |  0.000 % |
358.10/358.20	c |    196857 |    3126     7789    32215 |    25272    21520     42 |  0.000 % |
367.69/367.77	c |    295385 |    3126     7789    32215 |    27799    14075     37 |  0.000 % |
380.39/380.44	c |    443174 |    3126     7789    32215 |    30579    21191     37 |  0.000 % |
402.29/402.31	c |    664858 |    3126     7789    32215 |    33637    26153     37 |  0.000 % |
412.40/412.43	c ===============================================================================
416.49/416.57	c core #7
416.49/416.57	c 
416.49/416.57	c 
416.49/416.57	c Core size: 931	Core Weight: 1	Total Weight: 7
416.49/416.57	c Current CPU time: 407.156 s
416.49/416.57	c
416.49/416.57	c ============================[ Search Statistics ]==============================
416.49/416.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
416.49/416.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
416.49/416.57	c ===============================================================================
416.49/416.57	c |         0 |    3638     8598    36144 |     5000        0   -nan |  0.000 % |
416.49/416.58	c |       100 |    3638     8598    36144 |     5500      100     31 |  0.000 % |
416.49/416.58	c |       252 |    3638     8598    36144 |     6050      252     32 |  0.000 % |
416.49/416.59	c |       478 |    3638     8598    36144 |     6655      478     28 |  0.000 % |
416.59/416.60	c |       815 |    3638     8598    36144 |     7320      815     30 |  0.000 % |
416.59/416.61	c |      1323 |    3638     8598    36144 |     8052     1323     31 |  0.000 % |
416.59/416.64	c |      2085 |    3638     8598    36144 |     8857     2085     30 |  0.000 % |
416.59/416.68	c |      3224 |    3638     8598    36144 |     9743     3224     31 |  0.000 % |
416.69/416.75	c |      4933 |    3638     8598    36144 |    10717     4933     32 |  0.000 % |
416.79/416.87	c |      7496 |    3638     8598    36144 |    11789     7496     32 |  0.000 % |
417.09/417.13	c |     11340 |    3638     8598    36144 |    12968    11340     33 |  0.000 % |
417.39/417.44	c |     17106 |    3638     8598    36144 |    14265    10556     33 |  0.000 % |
417.88/417.98	c |     25755 |    3638     8598    36144 |    15692    12013     35 |  0.000 % |
418.78/418.82	c |     38730 |    3638     8598    36144 |    17261     9185     35 |  0.000 % |
420.08/420.12	c |     58193 |    3638     8598    36144 |    18987    11290     37 |  0.000 % |
422.28/422.30	c |     87388 |    3638     8598    36144 |    20886    11844     35 |  0.000 % |
425.39/425.47	c |    131177 |    3638     8598    36144 |    22974    13639     40 |  0.000 % |
431.29/431.35	c |    196861 |    3638     8598    36144 |    25272    21444     36 |  0.000 % |
441.09/441.17	c |    295387 |    3638     8598    36144 |    27799    14813     37 |  0.000 % |
455.29/455.35	c |    443178 |    3638     8598    36144 |    30579    23423     38 |  0.000 % |
479.18/479.25	c |    664861 |    3638     8598    36144 |    33637    29502     39 |  0.000 % |
492.57/492.69	c ===============================================================================
496.98/497.02	c core #8
496.98/497.02	c 
496.98/497.02	c 
496.98/497.02	c Core size: 956	Core Weight: 1	Total Weight: 8
496.98/497.02	c Current CPU time: 486.18 s
496.98/497.02	c
496.98/497.02	c ============================[ Search Statistics ]==============================
496.98/497.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
496.98/497.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
496.98/497.02	c ===============================================================================
496.98/497.02	c |         0 |    4177     9399    40096 |     5000        0   -nan |  0.000 % |
496.98/497.03	c |       102 |    4177     9399    40096 |     5500      102     24 |  0.000 % |
496.98/497.03	c |       255 |    4177     9399    40096 |     6050      255     28 |  0.000 % |
496.98/497.04	c |       480 |    4177     9399    40096 |     6655      480     28 |  0.000 % |
496.98/497.05	c |       818 |    4177     9399    40096 |     7320      818     29 |  0.000 % |
496.98/497.07	c |      1325 |    4177     9399    40096 |     8052     1325     29 |  0.000 % |
496.98/497.09	c |      2085 |    4177     9399    40096 |     8857     2085     30 |  0.000 % |
497.08/497.13	c |      3224 |    4177     9399    40096 |     9743     3224     31 |  0.000 % |
497.08/497.20	c |      4932 |    4177     9399    40096 |    10717     4932     30 |  0.000 % |
497.28/497.33	c |      7497 |    4177     9399    40096 |    11789     7497     30 |  0.000 % |
497.47/497.54	c |     11341 |    4177     9399    40096 |    12968    11341     31 |  0.000 % |
497.78/497.88	c |     17109 |    4177     9399    40096 |    14265    10572     34 |  0.000 % |
498.38/498.44	c |     25759 |    4177     9399    40096 |    15692    12034     33 |  0.000 % |
499.27/499.31	c |     38734 |    4177     9399    40096 |    17261     9207     39 |  0.000 % |
500.58/500.61	c |     58197 |    4177     9399    40096 |    18987    11331     38 |  0.000 % |
502.98/503.05	c |     87391 |    4177     9399    40096 |    20886    11883     37 |  0.000 % |
506.67/506.75	c |    131182 |    4177     9399    40096 |    22974    13698     38 |  0.000 % |
513.48/513.53	c |    196866 |    4177     9399    40096 |    25272    21674     39 |  0.000 % |
523.77/523.89	c |    295392 |    4177     9399    40096 |    27799    17248     39 |  0.000 % |
538.88/538.97	c |    443181 |    4177     9399    40096 |    30579    25987     39 |  0.000 % |
562.38/562.43	c |    664864 |    4177     9399    40096 |    33637    13236     41 |  0.000 % |
593.98/594.05	c ===============================================================================
599.88/599.93	c core #9
599.88/599.93	c 
599.88/599.93	c 
599.88/599.93	c Core size: 1004	Core Weight: 1	Total Weight: 9
599.88/599.93	c Current CPU time: 587.215 s
599.88/599.93	c
599.88/599.93	c ============================[ Search Statistics ]==============================
599.88/599.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
599.88/599.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
599.88/599.93	c ===============================================================================
599.88/599.93	c |         0 |    4752    10187    44104 |     5000        0   -nan |  0.000 % |
599.88/599.94	c |       102 |    4752    10187    44104 |     5500      102     26 |  0.000 % |
599.88/599.94	c |       252 |    4752    10187    44104 |     6050      252     29 |  0.000 % |
599.88/599.95	c |       479 |    4752    10187    44104 |     6655      479     26 |  0.000 % |
599.88/599.96	c |       816 |    4752    10187    44104 |     7320      816     27 |  0.000 % |
599.88/599.97	c |      1323 |    4752    10187    44104 |     8052     1323     28 |  0.000 % |
599.97/600.00	c |      2082 |    4752    10187    44104 |     8857     2082     29 |  0.000 % |
599.97/600.04	c |      3221 |    4752    10187    44104 |     9743     3221     30 |  0.000 % |
600.08/600.12	c |      4930 |    4752    10187    44104 |    10717     4930     32 |  0.000 % |
600.17/600.24	c |      7495 |    4752    10187    44104 |    11789     7495     32 |  0.000 % |
600.37/600.45	c |     11340 |    4752    10187    44104 |    12968    11340     32 |  0.000 % |
600.68/600.79	c |     17109 |    4752    10187    44104 |    14265    10570     33 |  0.000 % |
601.27/601.31	c |     25759 |    4752    10187    44104 |    15692    12051     34 |  0.000 % |
602.08/602.17	c |     38733 |    4752    10187    44104 |    17261     9247     36 |  0.000 % |
603.58/603.62	c |     58201 |    4752    10187    44104 |    18987    11363     38 |  0.000 % |
605.98/606.01	c |     87399 |    4752    10187    44104 |    20886    11929     37 |  0.000 % |
609.58/609.65	c |    131188 |    4752    10187    44104 |    22974    13759     38 |  0.000 % |
615.68/615.78	c |    196873 |    4752    10187    44104 |    25272    21761     39 |  0.000 % |
625.47/625.56	c |    295400 |    4752    10187    44104 |    27799    16684     37 |  0.000 % |
639.87/639.91	c |    443189 |    4752    10187    44104 |    30579    24805     38 |  0.000 % |
665.67/665.78	c |    664872 |    4752    10187    44104 |    33637    15514     37 |  0.000 % |
687.27/687.31	c ===============================================================================
692.37/692.47	c core #10
692.37/692.47	c 
692.37/692.47	c 
692.37/692.47	c Core size: 894	Core Weight: 1	Total Weight: 10
692.37/692.47	c Current CPU time: 678.094 s
692.37/692.47	c
692.37/692.47	c ============================[ Search Statistics ]==============================
692.37/692.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
692.37/692.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
692.37/692.47	c ===============================================================================
692.37/692.47	c |         0 |    5277    10970    47947 |     5000        0   -nan |  0.000 % |
692.37/692.48	c |       101 |    5277    10970    47947 |     5500      101     26 |  0.000 % |
692.37/692.48	c |       252 |    5277    10970    47947 |     6050      252     29 |  0.000 % |
692.37/692.49	c |       477 |    5277    10970    47947 |     6655      477     33 |  0.000 % |
692.48/692.50	c |       814 |    5277    10970    47947 |     7320      814     31 |  0.000 % |
692.48/692.52	c |      1321 |    5277    10970    47947 |     8052     1321     31 |  0.000 % |
692.48/692.55	c |      2081 |    5277    10970    47947 |     8857     2081     30 |  0.000 % |
692.48/692.59	c |      3221 |    5277    10970    47947 |     9743     3221     33 |  0.000 % |
692.57/692.66	c |      4929 |    5277    10970    47947 |    10717     4929     32 |  0.000 % |
692.78/692.80	c |      7491 |    5277    10970    47947 |    11789     7491     34 |  0.000 % |
692.98/693.02	c |     11336 |    5277    10970    47947 |    12968    11336     34 |  0.000 % |
693.37/693.41	c |     17102 |    5277    10970    47947 |    14265    10559     34 |  0.000 % |
693.98/694.01	c |     25752 |    5277    10970    47947 |    15692    12024     35 |  0.000 % |
694.87/694.94	c |     38726 |    5277    10970    47947 |    17261     9214     34 |  0.000 % |
696.18/696.25	c |     58190 |    5277    10970    47947 |    18987    11309     35 |  0.000 % |
698.48/698.59	c |     87384 |    5277    10970    47947 |    20886    11859     35 |  0.000 % |
702.17/702.24	c |    131173 |    5277    10970    47947 |    22974    13685     37 |  0.000 % |
708.08/708.12	c |    196857 |    5277    10970    47947 |    25272    21677     39 |  0.000 % |
717.68/717.74	c |    295384 |    5277    10970    47947 |    27799    16651     37 |  0.000 % |
733.08/733.14	c |    443175 |    5276    10970    47947 |    30579    25286     40 |  0.019 % |
757.28/757.34	c |    664859 |    5274    10970    47947 |    33637    14809     39 |  0.057 % |
795.37/795.44	c |    997388 |    5270    10970    47947 |    37001    19088     40 |  0.133 % |
796.57/796.62	c ===============================================================================
802.97/803.01	c core #11
802.97/803.01	c 
802.97/803.01	c 
802.97/803.01	c Core size: 1012	Core Weight: 1	Total Weight: 11
802.97/803.01	c Current CPU time: 786.607 s
802.97/803.01	c
802.97/803.01	c ============================[ Search Statistics ]==============================
802.97/803.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
802.97/803.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
802.97/803.01	c ===============================================================================
802.97/803.01	c |         0 |    5867    11741    51903 |     5000        0   -nan |  0.000 % |
802.97/803.02	c |       101 |    5867    11741    51903 |     5500      101     24 |  0.000 % |
802.97/803.02	c |       252 |    5867    11741    51903 |     6050      252     30 |  0.000 % |
802.97/803.03	c |       478 |    5867    11741    51903 |     6655      478     28 |  0.000 % |
802.97/803.04	c |       816 |    5867    11741    51903 |     7320      816     29 |  0.000 % |
802.97/803.06	c |      1322 |    5867    11741    51903 |     8052     1322     29 |  0.000 % |
802.97/803.09	c |      2082 |    5867    11741    51903 |     8857     2082     29 |  0.000 % |
803.08/803.13	c |      3221 |    5867    11741    51903 |     9743     3221     28 |  0.000 % |
803.18/803.21	c |      4929 |    5867    11741    51903 |    10717     4929     29 |  0.000 % |
803.27/803.34	c |      7492 |    5867    11741    51903 |    11789     7492     31 |  0.000 % |
803.47/803.56	c |     11337 |    5867    11741    51903 |    12968    11337     32 |  0.000 % |
803.77/803.88	c |     17105 |    5867    11741    51903 |    14265    10568     31 |  0.000 % |
804.47/804.53	c |     25756 |    5867    11741    51903 |    15692    12031     35 |  0.000 % |
805.57/805.64	c |     38730 |    5867    11741    51903 |    17261     9194     37 |  0.000 % |
807.17/807.26	c |     58191 |    5867    11741    51903 |    18987    11274     38 |  0.000 % |
809.68/809.78	c |     87387 |    5867    11741    51903 |    20886    11823     35 |  0.000 % |
813.68/813.77	c |    131177 |    5867    11741    51903 |    22974    13663     37 |  0.000 % |
819.58/819.69	c |    196861 |    5867    11741    51903 |    25272    21542     36 |  0.000 % |
829.57/829.68	c |    295389 |    5867    11741    51903 |    27799    16095     39 |  0.000 % |
844.78/844.81	c |    443179 |    5867    11741    51903 |    30579    24681     38 |  0.000 % |
868.67/868.72	c |    664864 |    5867    11741    51903 |    33637    29421     38 |  0.000 % |
907.58/907.64	c |    997391 |    5866    11741    51903 |    37001    28988     39 |  0.017 % |
909.88/909.95	c ===============================================================================
915.78/915.82	c core #12
915.78/915.82	c 
915.78/915.82	c 
915.78/915.82	c Core size: 1118	Core Weight: 1	Total Weight: 12
915.78/915.82	c Current CPU time: 897.504 s
915.78/915.82	c
915.78/915.82	c ============================[ Search Statistics ]==============================
915.78/915.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
915.78/915.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
915.78/915.82	c ===============================================================================
915.78/915.82	c |         0 |    6531    12506    56041 |     5000        0   -nan |  0.000 % |
915.78/915.83	c |       100 |    6531    12506    56041 |     5500      100     28 |  0.000 % |
915.78/915.84	c |       250 |    6531    12506    56041 |     6050      250     28 |  0.000 % |
915.78/915.85	c |       478 |    6531    12506    56041 |     6655      478     31 |  0.000 % |
915.78/915.86	c |       816 |    6531    12506    56041 |     7320      816     30 |  0.000 % |
915.78/915.88	c |      1322 |    6531    12506    56041 |     8052     1322     27 |  0.000 % |
915.88/915.91	c |      2081 |    6531    12506    56041 |     8857     2081     27 |  0.000 % |
915.88/915.95	c |      3221 |    6531    12506    56041 |     9743     3221     27 |  0.000 % |
915.98/916.02	c |      4929 |    6531    12506    56041 |    10717     4929     28 |  0.000 % |
916.07/916.17	c |      7492 |    6531    12506    56041 |    11789     7492     31 |  0.000 % |
916.28/916.39	c |     11336 |    6531    12506    56041 |    12968    11336     32 |  0.000 % |
916.68/916.76	c |     17103 |    6531    12506    56041 |    14265    10585     35 |  0.000 % |
917.27/917.32	c |     25752 |    6531    12506    56041 |    15692    12063     35 |  0.000 % |
918.27/918.35	c |     38727 |    6531    12506    56041 |    17261     9238     37 |  0.000 % |
919.78/919.86	c |     58188 |    6531    12506    56041 |    18987    11336     38 |  0.000 % |
922.08/922.16	c |     87381 |    6531    12506    56041 |    20886    11897     35 |  0.000 % |
925.88/925.92	c |    131170 |    6531    12506    56041 |    22974    13687     36 |  0.000 % |
932.88/932.95	c |    196857 |    6531    12506    56041 |    25272    21543     40 |  0.000 % |
943.88/943.90	c |    295384 |    6531    12506    56041 |    27799    13016     38 |  0.000 % |
958.67/958.72	c |    443173 |    6531    12506    56041 |    30579    20201     39 |  0.000 % |
983.06/983.18	c |    664857 |    6531    12506    56041 |    33637    24574     37 |  0.000 % |
1031.47/1031.56	c |    997383 |    6531    12506    56041 |    37001    19036     37 |  0.000 % |
1075.36/1075.42	c ===============================================================================
1083.06/1083.15	c core #13
1083.06/1083.15	c 
1083.06/1083.15	c 
1083.06/1083.15	c Core size: 1067	Core Weight: 1	Total Weight: 13
1083.06/1083.15	c Current CPU time: 1062.14 s
1083.06/1083.15	c
1083.06/1083.15	c ============================[ Search Statistics ]==============================
1083.06/1083.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1083.06/1083.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1083.06/1083.15	c ===============================================================================
1083.06/1083.15	c |         0 |    7173    13268    60090 |     5000        0   -nan |  0.000 % |
1083.06/1083.16	c |       101 |    7173    13268    60090 |     5500      101     22 |  0.000 % |
1083.06/1083.16	c |       251 |    7173    13268    60090 |     6050      251     26 |  0.000 % |
1083.06/1083.17	c |       476 |    7173    13268    60090 |     6655      476     23 |  0.000 % |
1083.06/1083.18	c |       813 |    7173    13268    60090 |     7320      813     27 |  0.000 % |
1083.16/1083.20	c |      1319 |    7173    13268    60090 |     8052     1319     27 |  0.000 % |
1083.16/1083.23	c |      2078 |    7173    13268    60090 |     8857     2078     29 |  0.000 % |
1083.16/1083.28	c |      3217 |    7173    13268    60090 |     9743     3217     32 |  0.000 % |
1083.26/1083.37	c |      4927 |    7173    13268    60090 |    10717     4927     32 |  0.000 % |
1083.46/1083.53	c |      7489 |    7173    13268    60090 |    11789     7489     33 |  0.000 % |
1083.66/1083.78	c |     11333 |    7173    13268    60090 |    12968    11333     34 |  0.000 % |
1084.06/1084.20	c |     17101 |    7173    13268    60090 |    14265    10567     34 |  0.000 % |
1084.76/1084.87	c |     25751 |    7173    13268    60090 |    15692    12042     34 |  0.000 % |
1085.86/1085.91	c |     38725 |    7173    13268    60090 |    17261     9213     40 |  0.000 % |
1087.46/1087.54	c |     58186 |    7173    13268    60090 |    18987    11305     37 |  0.000 % |
1090.17/1090.27	c |     87378 |    7173    13268    60090 |    20886    11865     37 |  0.000 % |
1094.36/1094.48	c |    131168 |    7173    13268    60090 |    22974    13685     42 |  0.000 % |
1101.56/1101.66	c |    196854 |    7173    13268    60090 |    25272    21701     40 |  0.000 % |
1112.76/1112.88	c |    295380 |    7173    13268    60090 |    27799    13581     41 |  0.000 % |
1129.67/1129.78	c |    443174 |    7173    13268    60090 |    30579    23398     40 |  0.000 % |
1153.37/1153.42	c ===============================================================================
1153.37/1153.42	c #cores: 13
1153.37/1153.42	o 13
1153.37/1153.42	s OPTIMUM FOUND
1153.37/1153.42	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
1153.37/1153.42	c Total CPU time: 1131.82 s

Verifier Data 

OK	13

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447026-1307905744/watcher-3447026-1307905744 -o /tmp/evaluation-result-3447026-1307905744/solver-3447026-1307905744 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447026-1307905744.wbo 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 21695
/proc/meminfo: memFree=11697040/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=2196 CPUtime=0 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 319 0 0 0 0 0 0 0 25 0 1 0 902174055 2248704 272 33554432000 4194304 5714214 140737458030848 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 549 272 178 372 0 152 0

[startup+0.104597 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 21695
/proc/meminfo: memFree=11697040/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=3468 CPUtime=0.1 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 677 0 0 0 9 1 0 0 25 0 1 0 902174055 3551232 608 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 867 609 177 372 0 492 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3468

[startup+0.20058 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 21695
/proc/meminfo: memFree=11697040/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=4312 CPUtime=0.19 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 901 0 0 0 18 1 0 0 25 0 1 0 902174055 4415488 832 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 1078 832 177 372 0 703 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4312

[startup+0.30056 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 21695
/proc/meminfo: memFree=11697040/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=5104 CPUtime=0.29 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 1098 0 0 0 28 1 0 0 25 0 1 0 902174055 5226496 1029 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 1276 1030 177 372 0 901 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5104

[startup+0.700492 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 21695
/proc/meminfo: memFree=11697040/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=6832 CPUtime=0.69 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 1521 0 0 0 66 3 0 0 25 0 1 0 902174055 6995968 1452 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 1708 1452 177 372 0 1333 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6832

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21696
/proc/meminfo: memFree=11690760/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=9484 CPUtime=1.49 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 2177 0 0 0 144 5 0 0 25 0 1 0 902174055 9711616 2108 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 2371 2108 177 372 0 1996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9484

[startup+3.10108 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21696
/proc/meminfo: memFree=11684416/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=13872 CPUtime=3.09 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 3279 0 0 0 300 9 0 0 25 0 1 0 902174055 14204928 3210 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 3468 3210 177 372 0 3093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13872

[startup+6.30052 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21696
/proc/meminfo: memFree=11671060/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=21540 CPUtime=6.29 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 5180 0 0 0 609 20 0 0 25 0 1 0 902174055 22056960 5111 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 5385 5111 177 372 0 5010 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21540

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21696
/proc/meminfo: memFree=11649748/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=32288 CPUtime=12.69 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 7849 0 0 0 1230 39 0 0 25 0 1 0 902174055 33062912 7780 33554432000 4194304 5714214 140737458030848 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 8072 7780 177 372 0 7697 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32288

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21696
/proc/meminfo: memFree=11607476/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=54612 CPUtime=25.49 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 13402 0 0 0 2479 70 0 0 25 0 1 0 902174055 55922688 13333 33554432000 4194304 5714214 140737458030848 18446744073709551615 4347361 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 13653 13333 177 372 0 13278 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54612

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21698
/proc/meminfo: memFree=11529300/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=92736 CPUtime=51.09 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 22863 0 0 0 4981 128 0 0 25 0 1 0 902174055 94961664 22794 33554432000 4194304 5714214 140737458030848 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 23184 22794 177 372 0 22809 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92736

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21699
/proc/meminfo: memFree=11418048/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=124164 CPUtime=102.3 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 30872 0 0 0 9991 239 0 0 25 0 1 0 902174055 127143936 30737 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 31041 30737 178 372 0 30666 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 124164

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21738
/proc/meminfo: memFree=11935368/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=124164 CPUtime=162.29 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 30919 0 0 0 15863 366 0 0 25 0 1 0 902174055 127143936 30784 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 31041 30784 178 372 0 30666 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 124164

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21740
/proc/meminfo: memFree=11813580/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=136760 CPUtime=222.29 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 34066 0 0 0 21733 496 0 0 25 0 1 0 902174055 140042240 33931 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 34190 33931 178 372 0 33815 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 136760

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21742
/proc/meminfo: memFree=11716596/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=136760 CPUtime=282.29 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 34070 0 0 0 27599 630 0 0 25 0 1 0 902174055 140042240 33935 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 34190 33935 178 372 0 33815 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 136760

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21744
/proc/meminfo: memFree=11615280/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=142700 CPUtime=342.29 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 35556 0 0 0 33479 750 0 0 25 0 1 0 902174055 146124800 35421 33554432000 4194304 5714214 140737458030848 18446744073709551615 4325711 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 35675 35421 178 372 0 35300 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 142700

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21783
/proc/meminfo: memFree=11899804/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=143340 CPUtime=402.29 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 35698 0 0 0 39342 887 0 0 25 0 1 0 902174055 146780160 35563 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 35835 35563 178 372 0 35460 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 143340

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21784
/proc/meminfo: memFree=11784276/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=143340 CPUtime=462.28 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 35709 0 0 0 45237 991 0 0 25 0 1 0 902174055 146780160 35574 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 35835 35574 178 372 0 35460 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 143340

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21786
/proc/meminfo: memFree=11782156/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=145388 CPUtime=522.28 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 36209 0 0 0 51130 1098 0 0 25 0 1 0 902174055 148877312 36074 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 36347 36074 178 372 0 35972 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 145388

[startup+582.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21788
/proc/meminfo: memFree=11693732/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=145388 CPUtime=582.28 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 36209 0 0 0 57027 1201 0 0 25 0 1 0 902174055 148877312 36074 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 36347 36074 178 372 0 35972 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 145388

[startup+642.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 21790
/proc/meminfo: memFree=11661980/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=176832 CPUtime=642.28 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 44060 0 0 0 62909 1319 0 0 25 0 1 0 902174055 181075968 43925 33554432000 4194304 5714214 140737458030848 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 44208 43925 178 372 0 43833 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 176832

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21791
/proc/meminfo: memFree=11661976/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=176832 CPUtime=702.27 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 44071 0 0 0 68805 1422 0 0 25 0 1 0 902174055 181075968 43936 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 44208 43936 178 372 0 43833 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 176832

[startup+762.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21792
/proc/meminfo: memFree=11661948/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=176832 CPUtime=762.28 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 44090 0 0 0 74700 1528 0 0 25 0 1 0 902174055 181075968 43955 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 44208 43955 178 372 0 43833 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 176832

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21794
/proc/meminfo: memFree=11652264/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=186644 CPUtime=822.27 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 46546 0 0 0 80591 1636 0 0 25 0 1 0 902174055 191123456 46411 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 46661 46411 178 372 0 46286 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 186644

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21796
/proc/meminfo: memFree=11652260/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=186644 CPUtime=882.28 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 46546 0 0 0 86491 1737 0 0 25 0 1 0 902174055 191123456 46411 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 46661 46411 178 372 0 46286 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 186644

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21798
/proc/meminfo: memFree=11652004/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=186644 CPUtime=942.27 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 46560 0 0 0 92389 1838 0 0 25 0 1 0 902174055 191123456 46425 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 46661 46425 178 372 0 46286 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 186644

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21799
/proc/meminfo: memFree=11652108/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=186644 CPUtime=1002.27 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 46561 0 0 0 98285 1942 0 0 25 0 1 0 902174055 191123456 46426 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 46661 46426 178 372 0 46286 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 186644

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21800
/proc/meminfo: memFree=11651960/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=186644 CPUtime=1062.26 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 46561 0 0 0 104216 2010 0 0 25 0 1 0 902174055 191123456 46426 33554432000 4194304 5714214 140737458030848 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 46661 46426 178 372 0 46286 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 186644

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 21802
/proc/meminfo: memFree=11595268/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=243480 CPUtime=1122.26 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 60702 0 0 0 110121 2105 0 0 25 0 1 0 902174055 249323520 60567 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 60870 60567 178 372 0 60495 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 243480

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

[startup+1126.4 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 21802
/proc/meminfo: memFree=11595268/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=243480 CPUtime=1126.36 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 60702 0 0 0 110525 2111 0 0 25 0 1 0 902174055 249323520 60567 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 60870 60567 178 372 0 60495 0
Current children cumulated CPU time (s) 1126.36
Current children cumulated vsize (KiB) 243480

[startup+1139.2 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 21802
/proc/meminfo: memFree=11595392/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=243480 CPUtime=1139.16 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 60702 0 0 0 111784 2132 0 0 25 0 1 0 902174055 249323520 60567 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 60870 60567 178 372 0 60495 0
Current children cumulated CPU time (s) 1139.16
Current children cumulated vsize (KiB) 243480

[startup+1145.6 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21802
/proc/meminfo: memFree=11595392/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=243480 CPUtime=1145.56 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 60702 0 0 0 112414 2142 0 0 25 0 1 0 902174055 249323520 60567 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 60870 60567 178 372 0 60495 0
Current children cumulated CPU time (s) 1145.56
Current children cumulated vsize (KiB) 243480

[startup+1148.8 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21802
/proc/meminfo: memFree=11595512/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=243480 CPUtime=1148.76 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 60702 0 0 0 112727 2149 0 0 25 0 1 0 902174055 249323520 60567 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 60870 60567 178 372 0 60495 0
Current children cumulated CPU time (s) 1148.76
Current children cumulated vsize (KiB) 243480

[startup+1152 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21803
/proc/meminfo: memFree=11595512/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=243480 CPUtime=1151.97 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 60702 0 0 0 113042 2155 0 0 25 0 1 0 902174055 249323520 60567 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 60870 60567 178 372 0 60495 0
Current children cumulated CPU time (s) 1151.97
Current children cumulated vsize (KiB) 243480

[startup+1152.8 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21803
/proc/meminfo: memFree=11595508/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=243480 CPUtime=1152.77 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 60702 0 0 0 113121 2156 0 0 25 0 1 0 902174055 249323520 60567 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 60870 60567 178 372 0 60495 0
Current children cumulated CPU time (s) 1152.77
Current children cumulated vsize (KiB) 243480

[startup+1153.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21803
/proc/meminfo: memFree=11595508/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=243480 CPUtime=1153.16 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 60702 0 0 0 113160 2156 0 0 25 0 1 0 902174055 249323520 60567 33554432000 4194304 5714214 140737458030848 18446744073709551615 4322907 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 60870 60567 178 372 0 60495 0
Current children cumulated CPU time (s) 1153.16
Current children cumulated vsize (KiB) 243480

[startup+1153.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21803
/proc/meminfo: memFree=11595508/32951132 swapFree=67054624/67111528
[pid=21695] ppid=21693 vsize=243480 CPUtime=1153.37 cores=1,3,5,7
/proc/21695/stat : 21695 (wbo1.6) R 21693 21695 19566 0 -1 4202496 60702 0 0 0 113180 2157 0 0 25 0 1 0 902174055 249323520 60567 33554432000 4194304 5714214 140737458030848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/21695/statm: 60870 60567 178 372 0 60495 0
Current children cumulated CPU time (s) 1153.37
Current children cumulated vsize (KiB) 243480

Child status: 0
Real time (s): 1153.43
CPU time (s): 1153.4
CPU user time (s): 1131.82
CPU system time (s): 21.5807
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 243480

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

runsolver used 1.49277 second user time and 3.76843 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-12 21:09:04
IDJOB=3447026
IDBENCH=78920
IDSOLVER=1943
FILE ID=node131/3447026-1307905744
RUNJOBID= node131-1307903716-21486
PBS_JOBID= 13559575
Free space on /tmp= 56580 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447026-1307905744/watcher-3447026-1307905744 -o /tmp/evaluation-result-3447026-1307905744/solver-3447026-1307905744 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447026-1307905744.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 105b60f6fd410ca15d025f7b690efafc
RANDOM SEED=1569472416

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.83
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.830
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.830
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.77
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      11697840 kB
Buffers:        331540 kB
Cached:       19814780 kB
SwapCached:       9816 kB
Active:       16005968 kB
Inactive:      4562928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      11697840 kB
SwapTotal:    67111528 kB
SwapFree:     67054624 kB
Dirty:            4320 kB
Writeback:          12 kB
AnonPages:      420736 kB
Mapped:          13892 kB
Slab:           621408 kB
PageTables:       5236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   611876 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 56576 MiB
End job on node131 at 2011-06-12 21:28:18