Trace number 2690041

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 1399.53 1399.53

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 benchmark308.96
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.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690041-1277904437.wbo.
0.00/0.00	c Instance file HOME/instance-2690041-1277904437.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.04	c |      1322 |     231     2707     8338 |     8052     1322     33 |  0.002 % |
0.05/0.06	c |      2081 |     231     2707     8338 |     8857     2081     35 |  0.002 % |
0.09/0.10	c |      3220 |     231     2707     8338 |     9743     3220     35 |  0.002 % |
0.09/0.17	c |      4929 |     231     2707     8338 |    10717     4929     33 |  0.002 % |
0.19/0.29	c |      7494 |     231     2707     8338 |    11789     7494     32 |  0.002 % |
0.49/0.51	c |     11339 |     231     2707     8338 |    12968    11339     34 |  0.002 % |
0.79/0.83	c |     17106 |     231     2707     8338 |    14265    10577     32 |  0.002 % |
1.39/1.41	c |     25755 |     231     2707     8338 |    15692    12035     33 |  0.002 % |
2.09/2.19	c |     38732 |     231     2707     8338 |    17261     9227     35 |  0.002 % |
3.59/3.68	c |     58193 |     231     2707     8338 |    18987    11357     38 |  0.002 % |
5.89/5.98	c |     87385 |     231     2707     8338 |    20886    11917     40 |  0.002 % |
9.69/9.79	c |    131175 |     231     2707     8338 |    22974    13753     36 |  0.002 % |
15.79/15.85	c |    196859 |     231     2707     8338 |    25272    21716     38 |  0.002 % |
25.09/25.19	c |    295385 |     231     2707     8338 |    27799    14855     37 |  0.002 % |
39.69/39.75	c |    443174 |     231     2707     8338 |    30579    23616     38 |  0.002 % |
63.39/63.43	c |    664859 |     230     2707     8338 |    33637    23895     39 |  0.437 % |
63.79/63.85	c ===============================================================================
66.89/66.94	c core #1
66.89/66.94	c ============================[ Search Statistics ]==============================
66.89/66.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
66.89/66.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
66.89/66.94	c ===============================================================================
66.89/66.94	c |         0 |     711     3585    12409 |     5000        0    nan |  0.000 % |
67.00/67.10	c |       102 |     711     3585    12409 |     5500      102     21 |  0.000 % |
67.10/67.10	c |       252 |     711     3585    12409 |     6050      252     26 |  0.000 % |
67.10/67.11	c |       477 |     711     3585    12409 |     6655      477     27 |  0.000 % |
67.10/67.12	c |       814 |     711     3585    12409 |     7320      814     24 |  0.000 % |
67.10/67.14	c |      1320 |     711     3585    12409 |     8052     1320     27 |  0.000 % |
67.10/67.18	c |      2079 |     711     3585    12409 |     8857     2079     27 |  0.000 % |
67.19/67.23	c |      3221 |     711     3585    12409 |     9743     3221     30 |  0.000 % |
67.30/67.30	c |      4930 |     711     3585    12409 |    10717     4930     30 |  0.000 % |
67.39/67.43	c |      7494 |     711     3585    12409 |    11789     7494     31 |  0.000 % |
67.69/67.70	c |     11339 |     711     3585    12409 |    12968    11339     33 |  0.000 % |
67.99/68.05	c |     17107 |     711     3585    12409 |    14265    10578     36 |  0.000 % |
68.59/68.66	c |     25756 |     711     3585    12409 |    15692    12038     38 |  0.000 % |
69.59/69.62	c |     38731 |     711     3585    12409 |    17261     9205     37 |  0.000 % |
71.29/71.30	c |     58193 |     711     3585    12409 |    18987    11301     40 |  0.000 % |
73.79/73.89	c |     87386 |     711     3585    12409 |    20886    11860     38 |  0.000 % |
78.19/78.29	c |    131176 |     711     3585    12409 |    22974    13679     36 |  0.000 % |
84.60/84.66	c |    196860 |     711     3585    12409 |    25272    21679     37 |  0.000 % |
94.39/94.43	c |    295387 |     711     3585    12409 |    27799    14176     37 |  0.000 % |
111.59/111.60	c |    443178 |     711     3585    12409 |    30579    26539     38 |  0.000 % |
118.19/118.25	c ===============================================================================
121.00/121.05	c core #2
121.00/121.05	c ============================[ Search Statistics ]==============================
121.00/121.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
121.00/121.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
121.00/121.05	c ===============================================================================
121.00/121.05	c |         0 |    1183     4442    16395 |     5000        0    nan |  0.000 % |
121.00/121.08	c |       102 |    1183     4442    16395 |     5500      102     27 |  0.000 % |
121.00/121.09	c |       253 |    1183     4442    16395 |     6050      253     31 |  0.000 % |
121.00/121.10	c |       478 |    1183     4442    16395 |     6655      478     30 |  0.000 % |
121.09/121.11	c |       816 |    1183     4442    16395 |     7320      816     30 |  0.000 % |
121.09/121.13	c |      1325 |    1183     4442    16395 |     8052     1325     29 |  0.000 % |
121.09/121.16	c |      2085 |    1183     4442    16395 |     8857     2085     28 |  0.000 % |
121.19/121.21	c |      3227 |    1183     4442    16395 |     9743     3227     30 |  0.000 % |
121.19/121.29	c |      4939 |    1183     4442    16395 |    10717     4939     30 |  0.000 % |
121.39/121.44	c |      7501 |    1183     4442    16395 |    11789     7501     32 |  0.000 % |
121.69/121.75	c |     11346 |    1183     4442    16395 |    12968    11346     34 |  0.000 % |
122.09/122.19	c |     17115 |    1183     4442    16395 |    14265    10578     36 |  0.000 % |
122.79/122.80	c |     25765 |    1183     4442    16395 |    15692    12040     35 |  0.000 % |
124.09/124.11	c |     38742 |    1183     4442    16395 |    17261     9241     39 |  0.000 % |
126.19/126.23	c |     58203 |    1183     4442    16395 |    18987    11336     38 |  0.000 % |
129.18/129.28	c |     87397 |    1183     4442    16395 |    20886    11914     37 |  0.000 % |
133.49/133.55	c |    131187 |    1183     4442    16395 |    22974    13748     41 |  0.000 % |
140.28/140.30	c |    196872 |    1183     4442    16395 |    25272    21751     34 |  0.000 % |
150.67/150.78	c |    295399 |    1183     4442    16395 |    27799    14483     37 |  0.000 % |
167.18/167.29	c |    443191 |    1183     4442    16395 |    30579    24028     34 |  0.000 % |
193.77/193.87	c |    664875 |    1183     4442    16395 |    33637    14286     36 |  0.000 % |
216.67/216.74	c ===============================================================================
221.87/221.96	c core #3
221.87/221.96	c ============================[ Search Statistics ]==============================
221.87/221.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
221.87/221.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
221.87/221.96	c ===============================================================================
221.87/221.96	c |         0 |    1660     5292    20371 |     5000        0    nan |  0.000 % |
221.87/221.99	c |       101 |    1660     5292    20371 |     5500      101     18 |  0.000 % |
221.97/222.01	c |       251 |    1660     5292    20371 |     6050      251     25 |  0.000 % |
221.97/222.03	c |       476 |    1660     5292    20371 |     6655      476     25 |  0.000 % |
221.97/222.04	c |       813 |    1660     5292    20371 |     7320      813     27 |  0.000 % |
221.97/222.07	c |      1319 |    1660     5292    20371 |     8052     1319     26 |  0.000 % |
222.07/222.12	c |      2080 |    1660     5292    20371 |     8857     2080     29 |  0.000 % |
222.07/222.17	c |      3221 |    1660     5292    20371 |     9743     3221     29 |  0.000 % |
222.18/222.26	c |      4929 |    1660     5292    20371 |    10717     4929     30 |  0.000 % |
222.37/222.43	c |      7493 |    1660     5292    20371 |    11789     7493     31 |  0.000 % |
222.56/222.69	c |     11338 |    1660     5292    20371 |    12968    11338     32 |  0.000 % |
223.07/223.13	c |     17108 |    1660     5292    20371 |    14265    10558     33 |  0.000 % |
223.66/223.75	c |     25757 |    1660     5292    20371 |    15692    12025     35 |  0.000 % |
224.76/224.83	c |     38732 |    1660     5292    20371 |    17261     9205     34 |  0.000 % |
226.66/226.73	c |     58194 |    1660     5292    20371 |    18987    11300     37 |  0.000 % |
229.66/229.71	c |     87386 |    1660     5292    20371 |    20886    11846     36 |  0.000 % |
234.27/234.36	c |    131175 |    1660     5292    20371 |    22974    13637     38 |  0.000 % |
240.96/241.02	c |    196862 |    1660     5292    20371 |    25272    21638     37 |  0.000 % |
251.16/251.25	c |    295390 |    1660     5292    20371 |    27799    13647     36 |  0.000 % |
269.26/269.32	c |    443179 |    1660     5292    20371 |    30579    23188     38 |  0.000 % |
294.36/294.41	c |    664864 |    1639     5292    20371 |    33637    24697     39 |  1.265 % |
295.56/295.63	c ===============================================================================
299.97/300.01	c core #4
299.97/300.01	c ============================[ Search Statistics ]==============================
299.97/300.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
299.97/300.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
299.97/300.01	c ===============================================================================
299.97/300.01	c |         0 |    2136     6131    24306 |     5000        0    nan |  0.000 % |
299.97/300.07	c |       101 |    2136     6131    24306 |     5500      101     28 |  0.000 % |
300.07/300.10	c |       251 |    2136     6131    24306 |     6050      251     28 |  0.000 % |
300.07/300.11	c |       477 |    2136     6131    24306 |     6655      477     30 |  0.000 % |
300.07/300.13	c |       815 |    2136     6131    24306 |     7320      815     29 |  0.000 % |
300.07/300.17	c |      1322 |    2136     6131    24306 |     8052     1322     29 |  0.000 % |
300.17/300.21	c |      2081 |    2136     6131    24306 |     8857     2081     29 |  0.000 % |
300.17/300.26	c |      3220 |    2136     6131    24306 |     9743     3220     29 |  0.000 % |
300.27/300.35	c |      4929 |    2136     6131    24306 |    10717     4929     30 |  0.000 % |
300.47/300.51	c |      7492 |    2136     6131    24306 |    11789     7492     31 |  0.000 % |
300.67/300.78	c |     11337 |    2136     6131    24306 |    12968    11337     32 |  0.000 % |
301.16/301.21	c |     17104 |    2136     6131    24306 |    14265    10583     32 |  0.000 % |
301.76/301.89	c |     25753 |    2136     6131    24306 |    15692    12058     31 |  0.000 % |
302.96/303.01	c |     38727 |    2136     6131    24306 |    17261     9233     41 |  0.000 % |
304.67/304.76	c |     58189 |    2136     6131    24306 |    18987    11319     36 |  0.000 % |
307.57/307.69	c |     87383 |    2136     6131    24306 |    20886    11878     38 |  0.000 % |
312.16/312.29	c |    131172 |    2136     6131    24306 |    22974    13680     36 |  0.000 % |
319.36/319.41	c |    196857 |    2136     6131    24306 |    25272    21673     38 |  0.000 % |
330.37/330.49	c |    295384 |    2136     6131    24306 |    27799    13196     36 |  0.000 % |
347.67/347.73	c |    443173 |    2136     6131    24306 |    30579    19730     37 |  0.000 % |
373.66/373.73	c |    664856 |    2136     6131    24306 |    33637    23791     36 |  0.000 % |
388.67/388.74	c ===============================================================================
393.87/393.95	c core #5
393.87/393.95	c ============================[ Search Statistics ]==============================
393.87/393.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
393.87/393.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
393.87/393.95	c ===============================================================================
393.87/393.95	c |         0 |    2627     6959    28244 |     5000        0    nan |  0.000 % |
393.97/394.04	c |       100 |    2627     6959    28244 |     5500      100     19 |  0.000 % |
393.97/394.04	c |       252 |    2627     6959    28244 |     6050      252     24 |  0.000 % |
393.97/394.06	c |       478 |    2627     6959    28244 |     6655      478     28 |  0.000 % |
393.97/394.08	c |       815 |    2627     6959    28244 |     7320      815     26 |  0.000 % |
394.07/394.12	c |      1323 |    2627     6959    28244 |     8052     1323     28 |  0.000 % |
394.07/394.17	c |      2084 |    2627     6959    28244 |     8857     2084     28 |  0.000 % |
394.17/394.22	c |      3223 |    2627     6959    28244 |     9743     3223     27 |  0.000 % |
394.26/394.33	c |      4932 |    2627     6959    28244 |    10717     4932     28 |  0.000 % |
394.37/394.49	c |      7495 |    2627     6959    28244 |    11789     7495     28 |  0.000 % |
394.67/394.76	c |     11339 |    2627     6959    28244 |    12968    11339     30 |  0.000 % |
395.07/395.18	c |     17105 |    2627     6959    28244 |    14265    10564     32 |  0.000 % |
395.87/396.00	c |     25756 |    2627     6959    28244 |    15692    12020     34 |  0.000 % |
397.16/397.29	c |     38731 |    2627     6959    28244 |    17261     9209     34 |  0.000 % |
398.96/399.02	c |     58192 |    2627     6959    28244 |    18987    11315     32 |  0.000 % |
401.76/401.84	c |     87384 |    2627     6959    28244 |    20886    11878     33 |  0.000 % |
406.16/406.22	c |    131174 |    2627     6959    28244 |    22974    13702     36 |  0.000 % |
413.97/414.01	c |    196859 |    2627     6959    28244 |    25272    21674     37 |  0.000 % |
426.36/426.47	c |    295385 |    2627     6959    28244 |    27799    15294     36 |  0.000 % |
443.96/444.06	c |    443176 |    2627     6959    28244 |    30579    23920     38 |  0.000 % |
467.67/467.73	c ===============================================================================
471.97/472.08	c core #6
471.97/472.08	c ============================[ Search Statistics ]==============================
471.97/472.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
471.97/472.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
471.97/472.08	c ===============================================================================
471.97/472.08	c |         0 |    3120     7778    32156 |     5000        0    nan |  0.000 % |
472.07/472.17	c |       100 |    3120     7778    32156 |     5500      100     26 |  0.000 % |
472.07/472.18	c |       250 |    3120     7778    32156 |     6050      250     27 |  0.000 % |
472.07/472.19	c |       475 |    3120     7778    32156 |     6655      475     28 |  0.000 % |
472.17/472.22	c |       813 |    3120     7778    32156 |     7320      813     26 |  0.000 % |
472.17/472.25	c |      1320 |    3120     7778    32156 |     8052     1320     25 |  0.000 % |
472.17/472.29	c |      2079 |    3120     7778    32156 |     8857     2079     26 |  0.000 % |
472.26/472.34	c |      3218 |    3120     7778    32156 |     9743     3218     26 |  0.000 % |
472.36/472.43	c |      4928 |    3120     7778    32156 |    10717     4928     27 |  0.000 % |
472.46/472.57	c |      7490 |    3120     7778    32156 |    11789     7490     29 |  0.000 % |
472.77/472.86	c |     11334 |    3120     7778    32156 |    12968    11334     30 |  0.000 % |
473.26/473.35	c |     17101 |    3120     7778    32156 |    14265    10572     34 |  0.000 % |
473.97/474.07	c |     25751 |    3120     7778    32156 |    15692    12058     35 |  0.000 % |
475.17/475.23	c |     38726 |    3120     7778    32156 |    17261     9232     32 |  0.000 % |
476.77/476.85	c |     58187 |    3120     7778    32156 |    18987    11319     35 |  0.000 % |
479.66/479.77	c |     87380 |    3120     7778    32156 |    20886    11878     39 |  0.000 % |
484.07/484.19	c |    131169 |    3120     7778    32156 |    22974    13675     38 |  0.000 % |
491.47/491.60	c |    196853 |    3120     7778    32156 |    25272    21502     38 |  0.000 % |
503.26/503.36	c |    295379 |    3120     7778    32156 |    27799    14044     38 |  0.000 % |
522.77/522.81	c |    443170 |    3120     7778    32156 |    30579    20914     40 |  0.000 % |
543.16/543.22	c ===============================================================================
547.17/547.21	c core #7
547.17/547.21	c ============================[ Search Statistics ]==============================
547.17/547.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
547.17/547.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
547.17/547.21	c ===============================================================================
547.17/547.21	c |         0 |    3626     8587    36064 |     5000        0    nan |  0.000 % |
547.17/547.29	c |       100 |    3626     8587    36064 |     5500      100     28 |  0.000 % |
547.27/547.30	c |       251 |    3626     8587    36064 |     6050      251     28 |  0.000 % |
547.27/547.33	c |       478 |    3626     8587    36064 |     6655      478     30 |  0.000 % |
547.27/547.35	c |       815 |    3626     8587    36064 |     7320      815     30 |  0.000 % |
547.27/547.38	c |      1321 |    3626     8587    36064 |     8052     1321     27 |  0.000 % |
547.37/547.41	c |      2081 |    3626     8587    36064 |     8857     2081     28 |  0.000 % |
547.37/547.46	c |      3222 |    3626     8587    36064 |     9743     3222     28 |  0.000 % |
547.46/547.54	c |      4932 |    3626     8587    36064 |    10717     4932     28 |  0.000 % |
547.68/547.72	c |      7499 |    3626     8587    36064 |    11789     7499     29 |  0.000 % |
547.87/547.97	c |     11345 |    3626     8587    36064 |    12968    11345     31 |  0.000 % |
548.37/548.43	c |     17111 |    3626     8587    36064 |    14265    10571     33 |  0.000 % |
549.06/549.13	c |     25760 |    3626     8587    36064 |    15692    12043     32 |  0.000 % |
550.17/550.24	c |     38735 |    3626     8587    36064 |    17261     9240     35 |  0.000 % |
551.97/552.03	c |     58196 |    3626     8587    36064 |    18987    11337     36 |  0.000 % |
555.17/555.25	c |     87388 |    3626     8587    36064 |    20886    11889     39 |  0.000 % |
559.77/559.88	c |    131177 |    3626     8587    36064 |    22974    13712     37 |  0.000 % |
566.96/567.02	c |    196862 |    3626     8587    36064 |    25272    21706     38 |  0.000 % |
578.07/578.16	c |    295388 |    3626     8587    36064 |    27799    15379     36 |  0.000 % |
595.37/595.46	c |    443178 |    3626     8587    36064 |    30579    19985     42 |  0.000 % |
624.58/624.70	c |    664861 |    3626     8587    36064 |    33637    25755     40 |  0.000 % |
668.97/669.09	c |    997388 |    3625     8587    36064 |    37001    14601     40 |  0.028 % |
670.57/670.68	c ===============================================================================
677.07/677.14	c core #8
677.07/677.14	c ============================[ Search Statistics ]==============================
677.07/677.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
677.07/677.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
677.07/677.14	c ===============================================================================
677.07/677.14	c |         0 |    4189     9383    40068 |     5000        0    nan |  0.000 % |
677.17/677.24	c |       100 |    4189     9383    40068 |     5500      100     24 |  0.000 % |
677.17/677.25	c |       250 |    4189     9383    40068 |     6050      250     24 |  0.000 % |
677.17/677.26	c |       476 |    4189     9383    40068 |     6655      476     27 |  0.000 % |
677.17/677.28	c |       813 |    4189     9383    40068 |     7320      813     27 |  0.000 % |
677.27/677.32	c |      1319 |    4189     9383    40068 |     8052     1319     27 |  0.000 % |
677.27/677.37	c |      2078 |    4189     9383    40068 |     8857     2078     27 |  0.000 % |
677.37/677.43	c |      3217 |    4189     9383    40068 |     9743     3217     29 |  0.000 % |
677.48/677.53	c |      4925 |    4189     9383    40068 |    10717     4925     30 |  0.000 % |
677.58/677.70	c |      7487 |    4189     9383    40068 |    11789     7487     29 |  0.000 % |
677.97/678.03	c |     11334 |    4189     9383    40068 |    12968    11334     31 |  0.000 % |
678.48/678.51	c |     17100 |    4189     9383    40068 |    14265    10551     34 |  0.000 % |
679.27/679.30	c |     25751 |    4189     9383    40068 |    15692    12010     35 |  0.000 % |
680.67/680.78	c |     38725 |    4189     9383    40068 |    17261     9192     40 |  0.000 % |
682.87/682.95	c |     58186 |    4189     9383    40068 |    18987    11310     37 |  0.000 % |
685.87/685.97	c |     87379 |    4189     9383    40068 |    20886    11859     40 |  0.000 % |
692.07/692.14	c |    131169 |    4189     9383    40068 |    22974    13661     40 |  0.000 % |
699.58/699.67	c |    196854 |    4189     9383    40068 |    25272    21399     36 |  0.000 % |
712.17/712.21	c |    295380 |    4189     9383    40068 |    27799    14008     38 |  0.000 % |
731.17/731.26	c |    443170 |    4188     9383    40068 |    30579    24691     38 |  0.024 % |
763.28/763.33	c |    664853 |    4188     9383    40068 |    33637    14402     38 |  0.024 % |
779.37/779.42	c ===============================================================================
784.98/785.02	c core #9
784.98/785.02	c ============================[ Search Statistics ]==============================
784.98/785.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
784.98/785.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
784.98/785.02	c ===============================================================================
784.98/785.02	c |         0 |    4755    10170    44042 |     5000        0    nan |  0.000 % |
785.08/785.13	c |       101 |    4755    10170    44042 |     5500      101     27 |  0.000 % |
785.08/785.14	c |       252 |    4755    10170    44042 |     6050      252     24 |  0.000 % |
785.08/785.16	c |       477 |    4755    10170    44042 |     6655      477     25 |  0.000 % |
785.08/785.18	c |       814 |    4755    10170    44042 |     7320      814     28 |  0.000 % |
785.17/785.22	c |      1323 |    4755    10170    44042 |     8052     1323     27 |  0.000 % |
785.17/785.26	c |      2084 |    4755    10170    44042 |     8857     2084     27 |  0.000 % |
785.28/785.32	c |      3223 |    4755    10170    44042 |     9743     3223     30 |  0.000 % |
785.38/785.42	c |      4932 |    4755    10170    44042 |    10717     4932     31 |  0.000 % |
785.47/785.59	c |      7496 |    4755    10170    44042 |    11789     7496     32 |  0.000 % |
785.78/785.87	c |     11340 |    4755    10170    44042 |    12968    11340     32 |  0.000 % |
786.28/786.36	c |     17108 |    4755    10170    44042 |    14265    10581     33 |  0.000 % |
786.98/787.08	c |     25757 |    4755    10170    44042 |    15692    12039     33 |  0.000 % |
788.37/788.46	c |     38732 |    4755    10170    44042 |    17261     9205     41 |  0.000 % |
790.27/790.36	c |     58193 |    4755    10170    44042 |    18987    11277     36 |  0.000 % |
793.37/793.44	c |     87386 |    4755    10170    44042 |    20886    11835     37 |  0.000 % |
798.58/798.62	c |    131175 |    4755    10170    44042 |    22974    13655     38 |  0.000 % |
805.68/805.73	c |    196860 |    4755    10170    44042 |    25272    21706     38 |  0.000 % |
817.97/818.08	c |    295386 |    4755    10170    44042 |    27799    15517     40 |  0.000 % |
836.78/836.88	c |    443177 |    4755    10170    44042 |    30579    27570     40 |  0.000 % |
867.07/867.13	c |    664860 |    4755    10170    44042 |    33637    13643     37 |  0.000 % |
902.18/902.29	c ===============================================================================
908.49/908.59	c core #10
908.49/908.59	c ============================[ Search Statistics ]==============================
908.49/908.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
908.49/908.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
908.49/908.59	c ===============================================================================
908.49/908.59	c |         0 |    5292    10959    47960 |     5000        0    nan |  0.000 % |
908.68/908.70	c |       102 |    5292    10959    47960 |     5500      102     27 |  0.000 % |
908.68/908.71	c |       252 |    5292    10959    47960 |     6050      252     24 |  0.000 % |
908.68/908.73	c |       477 |    5292    10959    47960 |     6655      477     27 |  0.000 % |
908.68/908.75	c |       818 |    5292    10959    47960 |     7320      818     28 |  0.000 % |
908.68/908.79	c |      1327 |    5292    10959    47960 |     8052     1327     29 |  0.000 % |
908.78/908.84	c |      2086 |    5292    10959    47960 |     8857     2086     28 |  0.000 % |
908.88/908.90	c |      3225 |    5292    10959    47960 |     9743     3225     28 |  0.000 % |
908.98/909.03	c |      4935 |    5292    10959    47960 |    10717     4935     30 |  0.000 % |
909.18/909.21	c |      7498 |    5292    10959    47960 |    11789     7498     32 |  0.000 % |
909.48/909.54	c |     11343 |    5292    10959    47960 |    12968    11343     35 |  0.000 % |
909.98/910.10	c |     17111 |    5292    10959    47960 |    14265    10589     38 |  0.000 % |
910.88/910.96	c |     25762 |    5292    10959    47960 |    15692    12044     34 |  0.000 % |
912.18/912.24	c |     38738 |    5292    10959    47960 |    17261     9241     34 |  0.000 % |
914.08/914.18	c |     58201 |    5292    10959    47960 |    18987    11341     38 |  0.000 % |
917.39/917.47	c |     87396 |    5292    10959    47960 |    20886    11913     35 |  0.000 % |
922.48/922.53	c |    131185 |    5292    10959    47960 |    22974    13673     38 |  0.000 % |
929.98/930.03	c |    196869 |    5292    10959    47960 |    25272    21636     35 |  0.000 % |
941.59/941.65	c |    295396 |    5292    10959    47960 |    27799    14034     37 |  0.000 % |
960.78/960.85	c |    443185 |    5292    10959    47960 |    30579    22523     37 |  0.000 % |
991.08/991.18	c |    664868 |    5292    10959    47960 |    33637    29944     40 |  0.000 % |
1032.79/1032.89	c ===============================================================================
1039.38/1039.49	c core #11
1039.38/1039.49	c ============================[ Search Statistics ]==============================
1039.38/1039.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1039.38/1039.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1039.38/1039.49	c ===============================================================================
1039.38/1039.49	c |         0 |    5905    11736    52022 |     5000        0    nan |  0.000 % |
1039.59/1039.61	c |       101 |    5905    11736    52022 |     5500      101     29 |  0.000 % |
1039.59/1039.64	c |       253 |    5905    11736    52022 |     6050      253     31 |  0.000 % |
1039.59/1039.65	c |       480 |    5905    11736    52022 |     6655      480     32 |  0.000 % |
1039.59/1039.68	c |       817 |    5905    11736    52022 |     7320      817     31 |  0.000 % |
1039.69/1039.72	c |      1323 |    5905    11736    52022 |     8052     1323     29 |  0.000 % |
1039.69/1039.77	c |      2083 |    5905    11736    52022 |     8857     2083     29 |  0.000 % |
1039.79/1039.83	c |      3222 |    5905    11736    52022 |     9743     3222     29 |  0.000 % |
1039.88/1039.94	c |      4930 |    5905    11736    52022 |    10717     4930     29 |  0.000 % |
1040.08/1040.12	c |      7492 |    5905    11736    52022 |    11789     7492     30 |  0.000 % |
1040.39/1040.43	c |     11338 |    5905    11736    52022 |    12968    11338     31 |  0.000 % |
1040.89/1040.95	c |     17105 |    5905    11736    52022 |    14265    10574     36 |  0.000 % |
1041.69/1041.72	c |     25759 |    5905    11736    52022 |    15692    12052     34 |  0.000 % |
1043.08/1043.18	c |     38733 |    5905    11736    52022 |    17261     9219     37 |  0.000 % |
1044.98/1045.05	c |     58197 |    5905    11736    52022 |    18987    11306     35 |  0.000 % |
1047.88/1047.96	c |     87389 |    5905    11736    52022 |    20886    11858     37 |  0.000 % |
1053.19/1053.22	c |    131178 |    5905    11736    52022 |    22974    13657     37 |  0.000 % |
1061.88/1061.95	c |    196862 |    5905    11736    52022 |    25272    21564     39 |  0.000 % |
1074.89/1074.96	c |    295388 |    5905    11736    52022 |    27799    13171     38 |  0.000 % |
1094.49/1094.52	c |    443178 |    5905    11736    52022 |    30579    19718     37 |  0.000 % |
1124.59/1124.62	c |    664863 |    5905    11736    52022 |    33637    23619     40 |  0.000 % |
1157.19/1157.24	c ===============================================================================
1162.79/1162.83	c core #12
1162.79/1162.83	c ============================[ Search Statistics ]==============================
1162.79/1162.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1162.79/1162.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1162.79/1162.83	c ===============================================================================
1162.79/1162.83	c |         0 |    6549    12502    56110 |     5000        0    nan |  0.000 % |
1162.89/1162.95	c |       103 |    6549    12502    56110 |     5500      103     24 |  0.000 % |
1162.89/1162.97	c |       255 |    6549    12502    56110 |     6050      255     29 |  0.000 % |
1162.89/1162.98	c |       484 |    6549    12502    56110 |     6655      484     31 |  0.000 % |
1162.99/1163.00	c |       822 |    6549    12502    56110 |     7320      822     31 |  0.000 % |
1162.99/1163.04	c |      1328 |    6549    12502    56110 |     8052     1328     30 |  0.000 % |
1162.99/1163.09	c |      2087 |    6549    12502    56110 |     8857     2087     29 |  0.000 % |
1163.09/1163.15	c |      3227 |    6549    12502    56110 |     9743     3227     28 |  0.000 % |
1163.19/1163.26	c |      4935 |    6549    12502    56110 |    10717     4935     30 |  0.000 % |
1163.39/1163.42	c |      7500 |    6549    12502    56110 |    11789     7500     29 |  0.000 % |
1163.69/1163.74	c |     11344 |    6549    12502    56110 |    12968    11344     31 |  0.000 % |
1164.18/1164.22	c |     17112 |    6549    12502    56110 |    14265    10567     33 |  0.000 % |
1164.99/1165.08	c |     25761 |    6549    12502    56110 |    15692    12043     33 |  0.000 % |
1166.29/1166.32	c |     38735 |    6549    12502    56110 |    17261     9232     35 |  0.000 % |
1168.59/1168.61	c |     58197 |    6549    12502    56110 |    18987    11340     39 |  0.000 % |
1171.88/1171.98	c |     87389 |    6549    12502    56110 |    20886    11894     36 |  0.000 % |
1176.89/1176.99	c |    131182 |    6549    12502    56110 |    22974    13685     36 |  0.000 % |
1185.49/1185.50	c |    196867 |    6549    12502    56110 |    25272    21336     37 |  0.000 % |
1203.09/1203.19	c |    295393 |    6549    12502    56110 |    27799    12868     38 |  0.000 % |
1239.09/1239.19	c |    443183 |    6549    12502    56110 |    30579    11496     35 |  0.000 % |
1269.30/1269.38	c |    664867 |    6549    12502    56110 |    33637    12130     35 |  0.000 % |
1315.29/1315.31	c |    997392 |    6549    12502    56110 |    37001    29903     41 |  0.000 % |
1379.99/1380.06	c ===============================================================================
1388.29/1388.37	c core #13
1388.29/1388.37	c ============================[ Search Statistics ]==============================
1388.29/1388.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1388.29/1388.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1388.29/1388.37	c ===============================================================================
1388.29/1388.37	c |         0 |    7188    13260    60113 |     5000        0    nan |  0.000 % |
1388.50/1388.51	c |       102 |    7188    13260    60113 |     5500      102     29 |  0.000 % |
1388.50/1388.53	c |       253 |    7188    13260    60113 |     6050      253     28 |  0.000 % |
1388.50/1388.56	c |       478 |    7188    13260    60113 |     6655      478     26 |  0.000 % |
1388.50/1388.58	c |       815 |    7188    13260    60113 |     7320      815     25 |  0.000 % |
1388.60/1388.61	c |      1322 |    7188    13260    60113 |     8052     1322     25 |  0.000 % |
1388.60/1388.68	c |      2084 |    7188    13260    60113 |     8857     2084     26 |  0.000 % |
1388.69/1388.75	c |      3223 |    7188    13260    60113 |     9743     3223     26 |  0.000 % |
1388.79/1388.85	c |      4932 |    7188    13260    60113 |    10717     4932     27 |  0.000 % |
1388.99/1389.02	c |      7496 |    7188    13260    60113 |    11789     7496     27 |  0.000 % |
1389.30/1389.35	c |     11341 |    7188    13260    60113 |    12968    11341     28 |  0.000 % |
1389.79/1389.88	c |     17107 |    7188    13260    60113 |    14265    10577     32 |  0.000 % |
1390.69/1390.72	c |     25758 |    7188    13260    60113 |    15692    12041     32 |  0.000 % |
1392.09/1392.16	c |     38732 |    7188    13260    60113 |    17261     9207     38 |  0.000 % |
1394.19/1394.27	c |     58193 |    7188    13260    60113 |    18987    11290     36 |  0.000 % |
1397.49/1397.54	c |     87385 |    7188    13260    60113 |    20886    11839     40 |  0.000 % |
1399.40/1399.46	c ===============================================================================
1399.40/1399.46	c #cores: 13
1399.40/1399.46	c Final Weight: 13
1399.40/1399.46	o 13
1399.40/1399.46	s OPTIMUM FOUND
1399.40/1399.46	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
1399.40/1399.46	c Total CPU time: 1384.93 s

Verifier Data 

OK	13

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690041-1277904437/watcher-2690041-1277904437 -o /tmp/evaluation-result-2690041-1277904437/solver-2690041-1277904437 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690041-1277904437.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: 1.94 2.06 2.03 4/178 13998
/proc/meminfo: memFree=31276536/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=2804 CPUtime=0
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 131738892 2871296 231 4089446400 134512640 135751879 4286627264 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/13998/statm: 701 231 147 303 0 374 0

[startup+0.0586701 s]
/proc/loadavg: 1.94 2.06 2.03 4/178 13998
/proc/meminfo: memFree=31276536/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=3112 CPUtime=0.05
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 461 0 0 0 5 0 0 0 25 0 1 0 131738892 3186688 358 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/13998/statm: 778 358 143 303 0 473 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3112

[startup+0.100672 s]
/proc/loadavg: 1.94 2.06 2.03 4/178 13998
/proc/meminfo: memFree=31276536/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=3508 CPUtime=0.09
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 541 0 0 0 9 0 0 0 25 0 1 0 131738892 3592192 438 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/13998/statm: 877 438 143 303 0 572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3508

[startup+0.300603 s]
/proc/loadavg: 1.94 2.06 2.03 4/178 13998
/proc/meminfo: memFree=31276536/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=4564 CPUtime=0.29
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 823 0 0 0 29 0 0 0 25 0 1 0 131738892 4673536 720 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/13998/statm: 1141 720 143 303 0 836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4564

[startup+0.700533 s]
/proc/loadavg: 1.94 2.06 2.03 4/178 13998
/proc/meminfo: memFree=31276536/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=6492 CPUtime=0.69
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 1280 0 0 0 67 2 0 0 25 0 1 0 131738892 6647808 1177 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13998/statm: 1623 1177 143 303 0 1318 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6492

[startup+1.50041 s]
/proc/loadavg: 1.94 2.06 2.03 3/179 13999
/proc/meminfo: memFree=31271444/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=9660 CPUtime=1.49
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 2080 0 0 0 143 6 0 0 25 0 1 0 131738892 9891840 1977 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13998/statm: 2415 1977 143 303 0 2110 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9660

[startup+3.10112 s]
/proc/loadavg: 1.94 2.06 2.03 3/179 13999
/proc/meminfo: memFree=31267680/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=16000 CPUtime=3.09
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 3674 0 0 0 298 11 0 0 25 0 1 0 131738892 16384000 3571 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13998/statm: 4000 3571 143 303 0 3695 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16000

[startup+6.30055 s]
/proc/loadavg: 1.94 2.06 2.03 3/179 13999
/proc/meminfo: memFree=31255984/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=27236 CPUtime=6.29
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 6463 0 0 0 607 22 0 0 25 0 1 0 131738892 27889664 6360 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13998/statm: 6809 6360 143 303 0 6504 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27236

[startup+12.7004 s]
/proc/loadavg: 1.95 2.06 2.03 3/179 13999
/proc/meminfo: memFree=31236408/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=45988 CPUtime=12.69
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 11146 0 0 0 1229 40 0 0 25 0 1 0 131738892 47091712 11043 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13998/statm: 11497 11043 143 303 0 11192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45988

[startup+25.5011 s]
/proc/loadavg: 1.96 2.05 2.03 3/179 13999
/proc/meminfo: memFree=31199356/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=82060 CPUtime=25.49
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 20170 0 0 0 2477 72 0 0 25 0 1 0 131738892 84029440 20067 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13998/statm: 20515 20067 143 303 0 20210 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82060

[startup+51.1005 s]
/proc/loadavg: 1.97 2.05 2.02 3/179 14000
/proc/meminfo: memFree=31130716/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=151088 CPUtime=51.09
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 37414 0 0 0 4979 130 0 0 25 0 1 0 131738892 154714112 37311 4089446400 134512640 135751879 4286627264 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13998/statm: 37772 37311 143 303 0 37467 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 151088

[startup+102.306 s]
/proc/loadavg: 2.05 2.06 2.02 3/179 14001
/proc/meminfo: memFree=31053940/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=225752 CPUtime=102.3
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 56106 0 0 0 9991 239 0 0 25 0 1 0 131738892 231170048 55973 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13998/statm: 56438 55973 146 303 0 56133 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 225752

[startup+162.301 s]
/proc/loadavg: 2.09 2.05 2.02 3/200 14088
/proc/meminfo: memFree=30768368/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=313716 CPUtime=162.27
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 78094 0 0 0 15887 340 0 0 25 0 1 0 131738892 321245184 77961 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13998/statm: 78429 77961 146 303 0 78124 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 313716

[startup+222.301 s]
/proc/loadavg: 2.66 2.22 2.08 4/200 14090
/proc/meminfo: memFree=30603248/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=460132 CPUtime=222.27
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 114720 0 0 0 21779 448 0 0 25 0 1 0 131738892 471175168 114587 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13998/statm: 115033 114587 146 303 0 114728 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 460132

[startup+282.301 s]
/proc/loadavg: 2.84 2.34 2.13 4/200 14095
/proc/meminfo: memFree=30544192/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=509852 CPUtime=282.26
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 127158 0 0 0 27717 509 0 0 25 0 1 0 131738892 522088448 127025 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 127463 127025 146 303 0 127158 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 509852

[startup+342.3 s]
/proc/loadavg: 2.87 2.44 2.17 4/200 14096
/proc/meminfo: memFree=30453552/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=588752 CPUtime=342.26
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 146858 0 0 0 33657 569 0 0 25 0 1 0 131738892 602882048 146725 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 147188 146725 146 303 0 146883 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 588752

[startup+402.301 s]
/proc/loadavg: 2.95 2.54 2.22 4/200 14097
/proc/meminfo: memFree=30332216/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=702168 CPUtime=402.27
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 175228 0 0 0 39601 626 0 0 25 0 1 0 131738892 719020032 175095 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 175542 175095 146 303 0 175237 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 702168

[startup+462.301 s]
/proc/loadavg: 2.91 2.61 2.26 3/200 14099
/proc/meminfo: memFree=30260476/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=765460 CPUtime=462.26
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 191049 0 0 0 45544 682 0 0 25 0 1 0 131738892 783831040 190916 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 191365 190916 146 303 0 191060 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 765460

[startup+522.301 s]
/proc/loadavg: 3.01 2.69 2.31 4/200 14101
/proc/meminfo: memFree=30172244/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=848128 CPUtime=522.26
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 211694 0 0 0 51490 736 0 0 25 0 1 0 131738892 868483072 211561 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 212032 211561 146 303 0 211727 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 848128

[startup+582.3 s]
/proc/loadavg: 2.76 2.67 2.32 4/200 14103
/proc/meminfo: memFree=30088740/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=924860 CPUtime=582.27
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 230894 0 0 0 57433 794 0 0 25 0 1 0 131738892 947056640 230761 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 231215 230761 146 303 0 230910 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 924860

[startup+642.3 s]
/proc/loadavg: 2.79 2.70 2.35 4/200 14104
/proc/meminfo: memFree=29971248/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1037544 CPUtime=642.27
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 259047 0 0 0 63380 847 0 0 25 0 1 0 131738892 1062445056 258914 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 259386 258914 146 303 0 259081 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 1037544

[startup+702.301 s]

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

/proc/meminfo: memFree=29878440/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1125508 CPUtime=702.27
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 281035 0 0 0 69331 896 0 0 25 0 1 0 131738892 1152520192 280902 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 281377 280902 146 303 0 281072 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 1125508

[startup+762.307 s]
/proc/loadavg: 2.78 2.73 2.40 4/200 14107
/proc/meminfo: memFree=29811672/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1188176 CPUtime=762.28
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 296660 0 0 0 75279 949 0 0 25 0 1 0 131738892 1216692224 296527 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 297044 296527 146 303 0 296739 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 1188176

[startup+822.301 s]
/proc/loadavg: 2.69 2.72 2.42 3/200 14109
/proc/meminfo: memFree=29733240/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1263708 CPUtime=822.27
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 315592 0 0 0 81225 1002 0 0 25 0 1 0 131738892 1294036992 315459 4089446400 134512640 135751879 4286627264 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 315927 315459 146 303 0 315622 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 1263708

[startup+882.3 s]
/proc/loadavg: 2.64 2.69 2.43 4/200 14111
/proc/meminfo: memFree=29630492/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1361776 CPUtime=882.28
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 340098 0 0 0 87173 1055 0 0 25 0 1 0 131738892 1394458624 339965 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 340444 339965 146 303 0 340139 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 1361776

[startup+942.301 s]
/proc/loadavg: 2.76 2.71 2.45 4/200 14112
/proc/meminfo: memFree=29554836/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1433600 CPUtime=942.28
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 358099 0 0 0 93121 1107 0 0 25 0 1 0 131738892 1468006400 357966 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 358400 357966 146 303 0 358095 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 1433600

[startup+1002.3 s]
/proc/loadavg: 2.86 2.75 2.48 4/200 14113
/proc/meminfo: memFree=29463764/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1520264 CPUtime=1002.28
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 379730 0 0 0 99072 1156 0 0 25 0 1 0 131738892 1556750336 379597 4089446400 134512640 135751879 4286627264 18446744073709551615 134616430 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 380066 379597 146 303 0 379761 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 1520264

[startup+1062.3 s]
/proc/loadavg: 2.94 2.78 2.50 3/200 14115
/proc/meminfo: memFree=29372312/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1606956 CPUtime=1062.29
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 401432 0 0 0 105029 1200 0 0 25 0 1 0 131738892 1645522944 401299 4089446400 134512640 135751879 4286627264 18446744073709551615 134606591 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 401739 401299 146 303 0 401434 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 1606956

[startup+1122.3 s]
/proc/loadavg: 2.79 2.77 2.51 3/179 14147
/proc/meminfo: memFree=29595644/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1669904 CPUtime=1122.29
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 417155 0 0 0 110974 1255 0 0 25 0 1 0 131738892 1709981696 417022 4089446400 134512640 135751879 4286627264 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 417476 417022 146 303 0 417171 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 1669904

[startup+1182.3 s]
/proc/loadavg: 2.29 2.63 2.48 3/179 14149
/proc/meminfo: memFree=29318860/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1756580 CPUtime=1182.29
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 438795 0 0 0 116926 1303 0 0 25 0 1 0 131738892 1798737920 438662 4089446400 134512640 135751879 4286627264 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 439145 438662 146 303 0 438840 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 1756580

[startup+1242.3 s]
/proc/loadavg: 2.15 2.52 2.45 3/179 14150
/proc/meminfo: memFree=29109388/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1801692 CPUtime=1242.29
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 450022 0 0 0 122892 1337 0 0 25 0 1 0 131738892 1844932608 449889 4089446400 134512640 135751879 4286627264 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 450423 449889 146 303 0 450118 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 1801692

[startup+1302.3 s]
/proc/loadavg: 2.05 2.43 2.42 3/179 14151
/proc/meminfo: memFree=28852796/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1896052 CPUtime=1302.29
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 473602 0 0 0 128841 1388 0 0 25 0 1 0 131738892 1941557248 473469 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 474013 473469 146 303 0 473708 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 1896052

[startup+1362.3 s]
/proc/loadavg: 2.02 2.35 2.39 3/179 14153
/proc/meminfo: memFree=28703208/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=1981072 CPUtime=1362.29
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 494815 0 0 0 134805 1424 0 0 25 0 1 0 131738892 2028617728 494682 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 495268 494682 146 303 0 494963 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 1981072

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

[startup+1382.3 s]
/proc/loadavg: 2.01 2.32 2.38 3/179 14153
/proc/meminfo: memFree=28651364/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=2039704 CPUtime=1382.29
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 509474 0 0 0 136788 1441 0 0 25 0 1 0 131738892 2088656896 509341 4089446400 134512640 135751879 4286627264 18446744073709551615 134516227 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 509926 509341 146 303 0 509621 0
Current children cumulated CPU time (s) 1382.29
Current children cumulated vsize (KiB) 2039704

[startup+1388.7 s]
/proc/loadavg: 2.01 2.32 2.38 3/179 14154
/proc/meminfo: memFree=28628300/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=2055040 CPUtime=1388.69
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 513320 0 0 0 137427 1442 0 0 25 0 1 0 131738892 2104360960 513148 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 513760 513148 146 303 0 513455 0
Current children cumulated CPU time (s) 1388.69
Current children cumulated vsize (KiB) 2055040

[startup+1395.1 s]
/proc/loadavg: 2.01 2.31 2.37 3/179 14154
/proc/meminfo: memFree=28628284/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=2055040 CPUtime=1395.09
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 513320 0 0 0 138060 1449 0 0 25 0 1 0 131738892 2104360960 513148 4089446400 134512640 135751879 4286627264 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 513760 513148 146 303 0 513455 0
Current children cumulated CPU time (s) 1395.09
Current children cumulated vsize (KiB) 2055040

[startup+1396.7 s]
/proc/loadavg: 2.01 2.31 2.37 3/179 14154
/proc/meminfo: memFree=28628284/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=2055040 CPUtime=1396.69
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 513320 0 0 0 138219 1450 0 0 25 0 1 0 131738892 2104360960 513148 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 513760 513148 146 303 0 513455 0
Current children cumulated CPU time (s) 1396.69
Current children cumulated vsize (KiB) 2055040

[startup+1398.3 s]
/proc/loadavg: 2.01 2.31 2.37 3/179 14154
/proc/meminfo: memFree=28627272/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=2055040 CPUtime=1398.3
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 513337 0 0 0 138378 1452 0 0 25 0 1 0 131738892 2104360960 513165 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 513760 513165 146 303 0 513455 0
Current children cumulated CPU time (s) 1398.3
Current children cumulated vsize (KiB) 2055040

[startup+1399.1 s]
/proc/loadavg: 2.01 2.31 2.37 3/179 14154
/proc/meminfo: memFree=28626280/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=2055040 CPUtime=1399.09
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202496 513347 0 0 0 138457 1452 0 0 25 0 1 0 131738892 2104360960 513175 4089446400 134512640 135751879 4286627264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13998/statm: 513760 513175 146 303 0 513455 0
Current children cumulated CPU time (s) 1399.09
Current children cumulated vsize (KiB) 2055040

[startup+1399.5 s]
/proc/loadavg: 2.01 2.31 2.37 3/179 14154
/proc/meminfo: memFree=28626280/32951124 swapFree=67111528/67111528
[pid=13998] ppid=13996 vsize=0 CPUtime=1399.5
/proc/13998/stat : 13998 (wbo1.4a) R 13996 13998 13296 0 -1 4202500 513354 0 0 0 138493 1457 0 0 25 0 1 0 131738892 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/13998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1399.5
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1399.53
CPU time (s): 1399.53
CPU user time (s): 1384.93
CPU system time (s): 14.6008
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2055256

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

runsolver used 2.35664 second user time and 4.64429 second system time

The end

Launcher Data 

Begin job on node145 at 2010-06-30 15:27:17
IDJOB=2690041
IDBENCH=78920
IDSOLVER=1200
FILE ID=node145/2690041-1277904437
PBS_JOBID= 11197204
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 105b60f6fd410ca15d025f7b690efafc
RANDOM SEED=1209247860

node145.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.851
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.70
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.851
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.851
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.851
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.851
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.851
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.67
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.851
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.851
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:     32951124 kB
MemFree:      31276940 kB
Buffers:        188828 kB
Cached:        1263756 kB
SwapCached:          0 kB
Active:         559944 kB
Inactive:       971172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31276940 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2740 kB
Writeback:           0 kB
AnonPages:       79408 kB
Mapped:          15448 kB
Slab:            79604 kB
PageTables:       5184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   221860 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 node145 at 2010-06-30 15:50:37