Trace number 3460835

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.11 1800.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
MD5SUM26699ac56f0d58d8261ff4eb58d81611
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark513.807
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1659
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1659
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 707
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 opb file format. File HOME/instance-3460835-1307101308.opb.
0.00/0.00	c Instance file HOME/instance-3460835-1307101308.opb
0.00/0.00	c File size is 322808 bytes.
0.00/0.02	c Highest Coefficient sum: 707
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      895                                                 |
0.00/0.02	c |  Number Clauses:        0                                                   |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 1659                                                |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     895     1659    41676 |     5000        0   -nan |  0.000 % |
0.00/0.04	c core #1
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 8	Core Weight: 1	Total Weight: 1
0.00/0.04	c Current CPU time: 0.030995 s
0.00/0.04	c
0.00/0.04	c core #2
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 10	Core Weight: 1	Total Weight: 2
0.00/0.04	c Current CPU time: 0.036994 s
0.00/0.04	c
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     858     1679    41695 |     5000        0   -nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.05	c core #3
0.00/0.05	c 
0.00/0.05	c 
0.00/0.05	c Core size: 14	Core Weight: 1	Total Weight: 3
0.00/0.05	c Current CPU time: 0.044993 s
0.00/0.05	c
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     865     1685    41704 |     5000        0   -nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.06	c core #4
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 13	Core Weight: 1	Total Weight: 4
0.00/0.06	c Current CPU time: 0.052991 s
0.00/0.06	c
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     880     1690    41717 |     5000        0   -nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #5
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 15	Core Weight: 1	Total Weight: 5
0.00/0.06	c Current CPU time: 0.06099 s
0.00/0.06	c
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.07	c |         0 |     889     1695    41731 |     5000        0   -nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.08	c core #6
0.00/0.08	c 
0.00/0.08	c 
0.00/0.08	c Core size: 14	Core Weight: 3	Total Weight: 8
0.00/0.08	c Current CPU time: 0.070989 s
0.00/0.08	c
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     903     1699    41747 |     5000        0   -nan |  0.000 % |
0.00/0.08	c ===============================================================================
0.08/0.09	c core #7
0.08/0.09	c 
0.08/0.09	c 
0.08/0.09	c Core size: 18	Core Weight: 1	Total Weight: 9
0.08/0.09	c Current CPU time: 0.083987 s
0.08/0.09	c
0.08/0.09	c ============================[ Search Statistics ]==============================
0.08/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.09	c ===============================================================================
0.08/0.09	c |         0 |     913     1703    41764 |     5000        0   -nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.11	c core #8
0.09/0.11	c 
0.09/0.11	c 
0.09/0.11	c Core size: 20	Core Weight: 1	Total Weight: 10
0.09/0.11	c Current CPU time: 0.101984 s
0.09/0.11	c
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |     924     1707    41783 |     5000        0   -nan |  0.000 % |
0.09/0.14	c |       102 |     924     1707    41783 |     5500      102     18 |  3.146 % |
0.09/0.17	c |       252 |     923     1707    41783 |     6050      252     18 |  3.250 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #9
0.09/0.19	c 
0.09/0.19	c 
0.09/0.19	c Core size: 15	Core Weight: 6	Total Weight: 16
0.09/0.19	c Current CPU time: 0.187971 s
0.09/0.19	c
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |     937     1710    41804 |     5000        0   -nan |  0.000 % |
0.19/0.22	c |       101 |     937     1710    41804 |     5500      101     18 |  2.099 % |
0.19/0.26	c |       252 |     931     1710    41804 |     6050      252     20 |  3.032 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c core #10
0.19/0.28	c 
0.19/0.28	c 
0.19/0.28	c Core size: 27	Core Weight: 1	Total Weight: 17
0.19/0.28	c Current CPU time: 0.277957 s
0.19/0.28	c
0.19/0.28	c ============================[ Search Statistics ]==============================
0.19/0.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.28	c ===============================================================================
0.19/0.28	c |         0 |     949     1715    41830 |     5000        0   -nan |  0.000 % |
0.29/0.31	c |       100 |     949     1715    41830 |     5500      100     17 |  2.066 % |
0.29/0.35	c |       250 |     949     1715    41830 |     6050      250     19 |  2.073 % |
0.39/0.41	c |       475 |     939     1715    41830 |     6655      475     21 |  3.099 % |
0.39/0.45	c ===============================================================================
0.39/0.46	c core #11
0.39/0.46	c 
0.39/0.46	c 
0.39/0.46	c Core size: 24	Core Weight: 1	Total Weight: 18
0.39/0.46	c Current CPU time: 0.45393 s
0.39/0.46	c
0.39/0.46	c ============================[ Search Statistics ]==============================
0.39/0.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |     960     1720    41854 |     5000        0   -nan |  0.000 % |
0.39/0.49	c |       100 |     960     1720    41854 |     5500      100     18 |  2.042 % |
0.49/0.53	c |       250 |     960     1720    41854 |     6050      250     19 |  2.041 % |
0.49/0.59	c |       476 |     960     1720    41854 |     6655      476     21 |  2.042 % |
0.59/0.68	c |       813 |     960     1720    41854 |     7320      813     20 |  2.042 % |
0.69/0.79	c |      1319 |     959     1720    41854 |     8052     1319     21 |  2.143 % |
0.89/0.94	c ===============================================================================
0.89/0.95	c core #12
0.89/0.95	c 
0.89/0.95	c 
0.89/0.95	c Core size: 20	Core Weight: 1	Total Weight: 19
0.89/0.95	c Current CPU time: 0.942856 s
0.89/0.95	c
0.89/0.95	c ============================[ Search Statistics ]==============================
0.89/0.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.95	c ===============================================================================
0.89/0.95	c |         0 |     964     1723    41860 |     5000        0   -nan |  0.000 % |
0.89/0.98	c |       102 |     964     1723    41860 |     5500      102     18 |  2.034 % |
1.01/1.02	c |       253 |     964     1723    41860 |     6050      253     22 |  2.033 % |
1.01/1.07	c |       478 |     964     1723    41860 |     6655      478     21 |  2.034 % |
1.11/1.16	c |       819 |     964     1723    41860 |     7320      819     21 |  2.034 % |
1.19/1.28	c |      1325 |     964     1723    41860 |     8052     1325     22 |  2.033 % |
1.39/1.46	c |      2084 |     958     1723    41860 |     8857     2084     23 |  3.354 % |
1.59/1.62	c ===============================================================================
1.59/1.63	c core #13
1.59/1.63	c 
1.59/1.63	c 
1.59/1.63	c Core size: 23	Core Weight: 1	Total Weight: 20
1.59/1.63	c Current CPU time: 1.61775 s
1.59/1.63	c
1.59/1.63	c ============================[ Search Statistics ]==============================
1.59/1.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.63	c ===============================================================================
1.59/1.63	c |         0 |     976     1726    41882 |     5000        0   -nan |  0.000 % |
1.59/1.66	c |       101 |     976     1726    41882 |     5500      101     17 |  2.009 % |
1.59/1.69	c |       252 |     976     1726    41882 |     6050      252     17 |  2.010 % |
1.69/1.77	c |       477 |     976     1726    41882 |     6655      477     20 |  2.008 % |
1.79/1.87	c |       814 |     976     1726    41882 |     7320      814     20 |  2.008 % |
1.99/2.02	c |      1320 |     976     1726    41882 |     8052     1320     22 |  2.008 % |
2.21/2.23	c |      2079 |     955     1726    41882 |     8857     2079     22 |  4.117 % |
2.39/2.48	c |      3220 |     955     1726    41882 |     9743     3220     23 |  4.117 % |
2.89/2.94	c |      4928 |     955     1726    41882 |    10717     4928     24 |  4.117 % |
3.49/3.51	c ===============================================================================
3.49/3.52	c core #14
3.49/3.52	c 
3.49/3.52	c 
3.49/3.52	c Core size: 11	Core Weight: 12	Total Weight: 32
3.49/3.52	c Current CPU time: 3.49947 s
3.49/3.52	c
3.49/3.52	c ============================[ Search Statistics ]==============================
3.49/3.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.52	c ===============================================================================
3.49/3.52	c |         0 |     988     1728    41912 |     5000        0   -nan |  0.000 % |
3.49/3.54	c |       101 |     988     1728    41912 |     5500      101     20 |  1.002 % |
3.49/3.58	c |       252 |     983     1728    41912 |     6050      252     22 |  1.904 % |
3.59/3.63	c |       477 |     982     1728    41912 |     6655      477     23 |  1.904 % |
3.69/3.71	c |       814 |     979     1728    41912 |     7320      814     24 |  1.904 % |
3.79/3.82	c |      1321 |     976     1728    41912 |     8052     1321     23 |  2.205 % |
3.89/3.99	c |      2082 |     976     1728    41912 |     8857     2082     23 |  2.210 % |
4.19/4.27	c |      3222 |     976     1728    41912 |     9743     3222     24 |  2.205 % |
4.59/4.64	c |      4933 |     976     1728    41912 |    10717     4933     24 |  2.208 % |
5.19/5.29	c |      7497 |     961     1728    41912 |    11789     7497     25 |  3.708 % |
6.19/6.29	c |     11343 |     943     1728    41912 |    12968    11343     26 |  5.514 % |
6.29/6.33	c ===============================================================================
6.29/6.34	c core #15
6.29/6.34	c 
6.29/6.34	c 
6.29/6.34	c Core size: 30	Core Weight: 1	Total Weight: 33
6.29/6.34	c Current CPU time: 6.31404 s
6.29/6.34	c
6.29/6.34	c ============================[ Search Statistics ]==============================
6.29/6.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.34	c ===============================================================================
6.29/6.34	c |         0 |    1004     1732    41947 |     5000        0   -nan |  0.000 % |
6.29/6.37	c |       101 |    1004     1732    41947 |     5500      101     19 |  0.986 % |
6.39/6.42	c |       251 |    1004     1732    41947 |     6050      251     22 |  0.986 % |
6.39/6.46	c |       477 |    1004     1732    41947 |     6655      477     23 |  0.986 % |
6.51/6.55	c |       815 |    1004     1732    41947 |     7320      815     24 |  0.986 % |
6.61/6.63	c |      1323 |    1004     1732    41947 |     8052     1323     23 |  0.986 % |
6.79/6.85	c |      2082 |    1004     1732    41947 |     8857     2082     24 |  0.986 % |
7.09/7.13	c |      3221 |    1004     1732    41947 |     9743     3221     26 |  0.986 % |
7.49/7.55	c |      4931 |    1004     1732    41947 |    10717     4931     28 |  0.986 % |
8.19/8.25	c |      7493 |    1004     1732    41947 |    11789     7493     29 |  0.987 % |
9.19/9.25	c |     11338 |    1004     1732    41947 |    12968    11338     30 |  0.987 % |
10.79/10.83	c |     17105 |     996     1732    41947 |    14265    10592     30 |  1.775 % |
12.99/13.08	c |     25754 |     975     1732    41947 |    15692    12076     28 |  3.846 % |
13.21/13.27	c ===============================================================================
13.29/13.31	c core #16
13.29/13.31	c 
13.29/13.31	c 
13.29/13.31	c Core size: 30	Core Weight: 1	Total Weight: 34
13.29/13.31	c Current CPU time: 13.237 s
13.29/13.31	c
13.29/13.31	c ============================[ Search Statistics ]==============================
13.29/13.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.29/13.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.29/13.31	c ===============================================================================
13.29/13.31	c |         0 |    1025     1737    41994 |     5000        0   -nan |  0.000 % |
13.29/13.33	c |       103 |    1025     1737    41994 |     5500      103     20 |  0.966 % |
13.29/13.38	c |       255 |    1025     1737    41994 |     6050      255     21 |  0.966 % |
13.39/13.41	c |       481 |    1025     1737    41994 |     6655      481     21 |  0.967 % |
13.39/13.47	c |       819 |    1025     1737    41994 |     7320      819     21 |  0.966 % |
13.59/13.60	c |      1327 |    1025     1737    41994 |     8052     1327     22 |  0.967 % |
13.69/13.79	c |      2088 |    1025     1737    41994 |     8857     2088     25 |  0.966 % |
13.99/14.07	c |      3227 |    1025     1737    41994 |     9743     3227     26 |  0.966 % |
14.39/14.44	c |      4936 |    1025     1737    41994 |    10717     4936     25 |  0.967 % |
15.09/15.14	c |      7499 |    1025     1737    41994 |    11789     7499     26 |  0.966 % |
16.09/16.18	c |     11344 |    1025     1737    41994 |    12968    11344     27 |  0.966 % |
17.80/17.86	c |     17111 |    1024     1737    41994 |    14265    10598     27 |  1.063 % |
20.19/20.21	c |     25761 |    1017     1737    41994 |    15692    12087     28 |  1.836 % |
23.79/23.85	c |     38735 |    1014     1737    41994 |    17261     9248     29 |  2.029 % |
24.49/24.52	c ===============================================================================
24.49/24.56	c core #17
24.49/24.56	c 
24.49/24.56	c 
24.49/24.56	c Core size: 19	Core Weight: 1	Total Weight: 35
24.49/24.56	c Current CPU time: 24.4323 s
24.49/24.56	c
24.49/24.56	c ============================[ Search Statistics ]==============================
24.49/24.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.49/24.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.49/24.56	c ===============================================================================
24.49/24.56	c |         0 |    1035     1742    42019 |     5000        0   -nan |  0.000 % |
24.49/24.58	c |       100 |    1035     1742    42019 |     5500      100     18 |  0.957 % |
24.59/24.62	c |       250 |    1035     1742    42019 |     6050      250     21 |  0.957 % |
24.59/24.67	c |       475 |    1035     1742    42019 |     6655      475     20 |  0.958 % |
24.70/24.73	c |       813 |    1035     1742    42019 |     7320      813     21 |  0.957 % |
24.80/24.87	c |      1319 |    1035     1742    42019 |     8052     1319     23 |  0.957 % |
24.99/25.01	c |      2079 |    1035     1742    42019 |     8857     2079     23 |  0.958 % |
25.31/25.36	c |      3218 |    1035     1742    42019 |     9743     3218     25 |  0.957 % |
25.59/25.67	c |      4927 |    1035     1742    42019 |    10717     4927     25 |  0.957 % |
26.20/26.25	c |      7489 |    1035     1742    42019 |    11789     7489     26 |  0.957 % |
27.19/27.24	c |     11334 |    1035     1742    42019 |    12968    11334     27 |  0.957 % |
29.29/29.37	c |     17100 |    1035     1742    42019 |    14265    10399     30 |  0.957 % |
31.19/31.24	c |     25750 |    1035     1742    42019 |    15692    11896     28 |  0.958 % |
34.89/34.93	c |     38725 |    1035     1742    42019 |    17261     8939     32 |  0.957 % |
39.99/40.09	c |     58188 |    1035     1742    42019 |    18987    11076     30 |  0.958 % |
48.59/48.66	c |     87383 |    1028     1742    42019 |    20886    11418     35 |  1.627 % |
61.51/61.60	c |    131174 |    1028     1742    42019 |    22974    13053     33 |  1.627 % |
81.49/81.55	c |    196858 |    1027     1742    42019 |    25272    20416     36 |  1.723 % |
102.60/102.66	c ===============================================================================
102.99/103.08	c core #18
102.99/103.08	c 
102.99/103.08	c 
102.99/103.08	c Core size: 17	Core Weight: 3	Total Weight: 38
102.99/103.08	c Current CPU time: 102.509 s
102.99/103.08	c
102.99/103.08	c ============================[ Search Statistics ]==============================
102.99/103.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
102.99/103.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
102.99/103.08	c ===============================================================================
102.99/103.08	c |         0 |    1038     1744    42024 |     5000        0   -nan |  0.000 % |
103.09/103.11	c |       100 |    1038     1744    42024 |     5500      100     17 |  0.954 % |
103.09/103.15	c |       252 |    1038     1744    42024 |     6050      252     19 |  0.954 % |
103.19/103.20	c |       477 |    1038     1744    42024 |     6655      477     21 |  0.954 % |
103.19/103.29	c |       816 |    1038     1744    42024 |     7320      816     23 |  0.954 % |
103.31/103.40	c |      1322 |    1038     1744    42024 |     8052     1322     23 |  0.954 % |
103.49/103.59	c |      2081 |    1038     1744    42024 |     8857     2081     24 |  0.954 % |
103.80/103.87	c |      3220 |    1038     1744    42024 |     9743     3220     26 |  0.954 % |
104.29/104.31	c |      4929 |    1038     1744    42024 |    10717     4929     26 |  0.954 % |
104.89/104.93	c |      7491 |    1038     1744    42024 |    11789     7491     26 |  0.954 % |
105.80/105.80	c |     11335 |    1038     1744    42024 |    12968    11335     27 |  0.954 % |
107.10/107.12	c |     17101 |    1038     1744    42024 |    14265    10591     27 |  0.955 % |
109.69/109.75	c |     25751 |    1038     1744    42024 |    15692    12028     28 |  0.954 % |
113.09/113.20	c |     38726 |    1033     1744    42024 |    17261     9255     30 |  1.431 % |
116.51/116.58	c ===============================================================================
116.61/116.63	c core #19
116.61/116.63	c 
116.61/116.63	c 
116.61/116.63	c Core size: 45	Core Weight: 1	Total Weight: 39
116.61/116.63	c Current CPU time: 116.085 s
116.61/116.63	c
116.61/116.63	c ============================[ Search Statistics ]==============================
116.61/116.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
116.61/116.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
116.61/116.63	c ===============================================================================
116.61/116.63	c |         0 |    1067     1746    42081 |     5000        0   -nan |  0.000 % |
116.61/116.66	c |       101 |    1067     1746    42081 |     5500      101     18 |  0.929 % |
116.61/116.69	c |       251 |    1067     1746    42081 |     6050      251     17 |  0.929 % |
116.69/116.75	c |       476 |    1067     1746    42081 |     6655      476     20 |  0.929 % |
116.79/116.82	c |       813 |    1067     1746    42081 |     7320      813     20 |  0.929 % |
116.89/116.98	c |      1319 |    1067     1746    42081 |     8052     1319     23 |  0.929 % |
117.19/117.20	c |      2080 |    1067     1746    42081 |     8857     2080     25 |  0.929 % |
117.39/117.41	c |      3220 |    1067     1746    42081 |     9743     3220     24 |  0.929 % |
117.71/117.77	c |      4929 |    1067     1746    42081 |    10717     4929     24 |  0.929 % |
118.49/118.52	c |      7491 |    1067     1746    42081 |    11789     7491     25 |  0.929 % |
119.59/119.64	c |     11336 |    1067     1746    42081 |    12968    11336     25 |  0.929 % |
121.19/121.23	c |     17104 |    1067     1746    42081 |    14265    10533     26 |  0.929 % |
123.99/124.04	c |     25753 |    1067     1746    42081 |    15692    12004     28 |  0.929 % |
128.19/128.23	c |     38727 |    1067     1746    42081 |    17261     9163     27 |  0.929 % |
134.90/134.93	c |     58192 |    1067     1746    42081 |    18987    11167     30 |  0.929 % |
144.59/144.65	c |     87384 |    1067     1746    42081 |    20886    11470     27 |  0.929 % |
159.89/159.91	c |    131174 |    1067     1746    42081 |    22974    13092     29 |  0.929 % |
178.78/178.85	c ===============================================================================
178.88/178.96	c core #20
178.88/178.96	c 
178.88/178.96	c 
178.88/178.96	c Core size: 52	Core Weight: 1	Total Weight: 40
178.88/178.96	c Current CPU time: 178.085 s
178.88/178.96	c
178.88/178.96	c ============================[ Search Statistics ]==============================
178.88/178.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
178.88/178.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
178.88/178.96	c ===============================================================================
178.88/178.96	c |         0 |    1110     1748    42166 |     5000        0   -nan |  0.000 % |
178.88/178.99	c |       101 |    1110     1748    42166 |     5500      101     20 |  0.893 % |
178.98/179.02	c |       255 |    1110     1748    42166 |     6050      255     19 |  0.893 % |
178.98/179.08	c |       480 |    1110     1748    42166 |     6655      480     23 |  0.893 % |
179.08/179.16	c |       817 |    1110     1748    42166 |     7320      817     23 |  0.893 % |
179.20/179.26	c |      1325 |    1110     1748    42166 |     8052     1325     23 |  0.893 % |
179.38/179.42	c |      2084 |    1110     1748    42166 |     8857     2084     24 |  0.893 % |
179.68/179.74	c |      3223 |    1110     1748    42166 |     9743     3223     26 |  0.893 % |
180.09/180.17	c |      4931 |    1110     1748    42166 |    10717     4931     26 |  0.893 % |
180.79/180.85	c |      7493 |    1110     1748    42166 |    11789     7493     26 |  0.893 % |
181.79/181.87	c |     11337 |    1110     1748    42166 |    12968    11337     27 |  0.893 % |
183.19/183.24	c |     17103 |    1110     1748    42166 |    14265    10467     28 |  0.893 % |
185.19/185.28	c |     25753 |    1110     1748    42166 |    15692    11887     27 |  0.893 % |
188.78/188.88	c |     38728 |    1102     1748    42166 |    17261     9116     30 |  1.607 % |
193.98/194.09	c ===============================================================================
194.08/194.14	c core #21
194.08/194.14	c 
194.08/194.14	c 
194.08/194.14	c Core size: 49	Core Weight: 1	Total Weight: 41
194.08/194.14	c Current CPU time: 193.239 s
194.08/194.14	c
194.08/194.14	c ============================[ Search Statistics ]==============================
194.08/194.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.08/194.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.08/194.14	c ===============================================================================
194.08/194.14	c |         0 |    1145     1750    42235 |     5000        0   -nan |  0.000 % |
194.08/194.17	c |       100 |    1145     1750    42235 |     5500      100     22 |  0.866 % |
194.18/194.22	c |       250 |    1145     1750    42235 |     6050      250     20 |  0.866 % |
194.18/194.27	c |       475 |    1145     1750    42235 |     6655      475     21 |  0.866 % |
194.28/194.36	c |       813 |    1145     1750    42235 |     7320      813     23 |  0.866 % |
194.48/194.50	c |      1320 |    1145     1750    42235 |     8052     1320     24 |  0.866 % |
194.71/194.72	c |      2080 |    1145     1750    42235 |     8857     2080     24 |  0.866 % |
194.89/194.96	c |      3219 |    1145     1750    42235 |     9743     3219     24 |  0.866 % |
195.39/195.49	c |      4928 |    1145     1750    42235 |    10717     4928     25 |  0.866 % |
196.19/196.28	c |      7490 |    1145     1750    42235 |    11789     7490     27 |  0.866 % |
197.48/197.54	c |     11336 |    1145     1750    42235 |    12968    11336     27 |  0.866 % |
199.69/199.70	c |     17102 |    1145     1750    42235 |    14265    10362     30 |  0.866 % |
202.99/203.08	c |     25752 |    1145     1750    42235 |    15692    11694     29 |  0.866 % |
206.59/206.65	c |     38727 |    1145     1750    42235 |    17261     8866     30 |  0.866 % |
213.19/213.26	c |     58190 |    1145     1750    42235 |    18987    11001     30 |  0.866 % |
222.39/222.47	c |     87382 |    1145     1750    42235 |    20886    11365     30 |  0.866 % |
236.88/236.97	c |    131171 |    1145     1750    42235 |    22974    13081     28 |  0.866 % |
259.61/259.65	c |    196855 |    1145     1750    42235 |    25272    19960     32 |  0.866 % |
289.88/289.92	c |    295381 |    1145     1750    42235 |    27799    24444     36 |  0.866 % |
343.39/343.45	c |    443171 |    1137     1750    42235 |    30579    14318     29 |  1.559 % |
423.41/423.43	c |    664854 |    1134     1750    42235 |    33637    29817     27 |  1.819 % |
432.20/432.24	c ===============================================================================
432.48/432.58	c core #22
432.48/432.58	c 
432.48/432.58	c 
432.48/432.58	c Core size: 48	Core Weight: 1	Total Weight: 42
432.48/432.58	c Current CPU time: 430.565 s
432.48/432.58	c
432.48/432.58	c ============================[ Search Statistics ]==============================
432.48/432.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
432.48/432.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
432.48/432.58	c ===============================================================================
432.48/432.58	c |         0 |    1180     1752    42304 |     5000        0   -nan |  0.000 % |
432.58/432.61	c |       100 |    1180     1752    42304 |     5500      100     22 |  0.840 % |
432.58/432.64	c |       251 |    1180     1752    42304 |     6050      251     19 |  0.840 % |
432.68/432.70	c |       476 |    1180     1752    42304 |     6655      476     23 |  0.841 % |
432.68/432.76	c |       813 |    1180     1752    42304 |     7320      813     23 |  0.841 % |
432.78/432.88	c |      1319 |    1180     1752    42304 |     8052     1319     24 |  0.840 % |
432.98/433.01	c |      2079 |    1180     1752    42304 |     8857     2079     23 |  0.841 % |
433.30/433.37	c |      3218 |    1180     1752    42304 |     9743     3218     25 |  0.840 % |
433.79/433.87	c |      4926 |    1180     1752    42304 |    10717     4926     27 |  0.840 % |
434.68/434.71	c |      7489 |    1180     1752    42304 |    11789     7489     28 |  0.841 % |
435.79/435.81	c |     11333 |    1180     1752    42304 |    12968    11333     28 |  0.840 % |
437.29/437.31	c |     17099 |    1180     1752    42304 |    14265    10344     29 |  0.840 % |
439.29/439.30	c |     25748 |    1180     1752    42304 |    15692    11814     25 |  0.841 % |
441.18/441.26	c |     38723 |    1180     1752    42304 |    17261     8824     28 |  0.840 % |
446.50/446.55	c |     58185 |    1180     1752    42304 |    18987    10845     26 |  0.841 % |
454.59/454.67	c |     87379 |    1180     1752    42304 |    20886    10791     29 |  0.840 % |
466.68/466.71	c |    131168 |    1180     1752    42304 |    22974    12357     25 |  0.841 % |
482.19/482.21	c |    196853 |    1180     1752    42304 |    25272    18077     38 |  0.840 % |
510.49/510.54	c |    295379 |    1177     1752    42304 |    27799    20200     26 |  1.094 % |
555.69/555.76	c |    443168 |    1177     1752    42304 |    30579    23041     27 |  1.093 % |
574.11/574.20	c ===============================================================================
574.59/574.62	c core #23
574.59/574.62	c 
574.59/574.62	c 
574.59/574.62	c Core size: 55	Core Weight: 1	Total Weight: 43
574.59/574.62	c Current CPU time: 571.975 s
574.59/574.62	c
574.59/574.62	c ============================[ Search Statistics ]==============================
574.59/574.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
574.59/574.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
574.59/574.62	c ===============================================================================
574.59/574.62	c |         0 |    1219     1754    42381 |     5000        0   -nan |  0.000 % |
574.59/574.66	c |       100 |    1219     1754    42381 |     5500      100     22 |  0.814 % |
574.69/574.70	c |       250 |    1219     1754    42381 |     6050      250     21 |  0.814 % |
574.69/574.76	c |       476 |    1219     1754    42381 |     6655      476     22 |  0.814 % |
574.79/574.84	c |       813 |    1219     1754    42381 |     7320      813     23 |  0.814 % |
574.88/574.97	c |      1320 |    1219     1754    42381 |     8052     1320     23 |  0.814 % |
575.08/575.19	c |      2079 |    1219     1754    42381 |     8857     2079     25 |  0.814 % |
575.38/575.49	c |      3219 |    1219     1754    42381 |     9743     3219     25 |  0.814 % |
575.99/576.05	c |      4927 |    1219     1754    42381 |    10717     4927     27 |  0.814 % |
576.68/576.72	c |      7489 |    1219     1754    42381 |    11789     7489     26 |  0.814 % |
576.89/576.94	c |     11333 |    1219     1754    42381 |    12968    11333     29 |  0.814 % |
578.51/578.60	c |     17101 |    1216     1754    42381 |    14265    10572     28 |  1.058 % |
581.29/581.37	c |     25750 |    1216     1754    42381 |    15692    11858     29 |  1.058 % |
585.69/585.77	c |     38725 |    1216     1754    42381 |    17261     8992     28 |  1.058 % |
591.38/591.43	c |     58187 |    1216     1754    42381 |    18987    10650     35 |  1.058 % |
601.18/601.23	c |     87379 |    1216     1754    42381 |    20886    11190     25 |  1.058 % |
607.58/607.69	c |    131170 |    1216     1754    42381 |    22974    11164     41 |  1.058 % |
632.28/632.41	c |    196856 |    1216     1754    42381 |    25272    18225     28 |  1.058 % |
649.68/649.73	c |    295382 |    1216     1754    42381 |    27799    20075     59 |  1.058 % |
705.69/705.76	c |    443172 |    1216     1754    42381 |    30579    26645     27 |  1.058 % |
755.88/755.93	c |    664855 |    1199     1754    42381 |    33637    13474     29 |  2.441 % |
797.78/797.89	c ===============================================================================
798.51/798.53	c core #24
798.51/798.53	c 
798.51/798.53	c 
798.51/798.53	c Core size: 50	Core Weight: 1	Total Weight: 44
798.51/798.53	c Current CPU time: 794.727 s
798.51/798.53	c
798.51/798.53	c ============================[ Search Statistics ]==============================
798.51/798.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
798.51/798.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
798.51/798.53	c ===============================================================================
798.51/798.53	c |         0 |    1250     1756    42442 |     5000        0   -nan |  0.000 % |
798.51/798.56	c |       101 |    1250     1756    42442 |     5500      101     22 |  0.794 % |
798.51/798.59	c |       251 |    1250     1756    42442 |     6050      251     23 |  0.794 % |
798.61/798.65	c |       476 |    1250     1756    42442 |     6655      476     26 |  0.794 % |
798.68/798.71	c |       813 |    1250     1756    42442 |     7320      813     26 |  0.794 % |
798.78/798.84	c |      1319 |    1250     1756    42442 |     8052     1319     26 |  0.794 % |
798.88/798.97	c |      2078 |    1250     1756    42442 |     8857     2078     25 |  0.794 % |
799.28/799.33	c |      3217 |    1250     1756    42442 |     9743     3217     26 |  0.794 % |
799.60/799.62	c |      4925 |    1250     1756    42442 |    10717     4925     25 |  0.794 % |
800.39/800.42	c |      7487 |    1250     1756    42442 |    11789     7487     27 |  0.794 % |
801.38/801.45	c |     11331 |    1250     1756    42442 |    12968    11331     26 |  0.794 % |
803.19/803.21	c |     17097 |    1250     1756    42442 |    14265    10311     27 |  0.794 % |
805.78/805.86	c |     25746 |    1250     1756    42442 |    15692    11537     29 |  0.794 % |
810.08/810.12	c |     38721 |    1250     1756    42442 |    17261     8574     28 |  0.794 % |
815.28/815.36	c |     58182 |    1250     1756    42442 |    18987    10634     27 |  0.794 % |
823.29/823.38	c |     87376 |    1250     1756    42442 |    20886    11128     28 |  0.794 % |
832.28/832.30	c |    131165 |    1250     1756    42442 |    22974    11022     47 |  0.794 % |
853.50/853.58	c |    196851 |    1250     1756    42442 |    25272    18228     27 |  0.794 % |
881.01/881.05	c |    295379 |    1250     1756    42442 |    27799    21320     44 |  0.794 % |
927.68/927.76	c |    443168 |    1250     1756    42442 |    30579    26997     27 |  0.794 % |
971.08/971.13	c |    664853 |    1250     1756    42442 |    33637    20955     54 |  0.794 % |
1073.08/1073.17	c |    997380 |    1249     1756    42442 |    37001    29755     82 |  0.873 % |
1244.38/1244.48	c |   1496169 |    1246     1756    42442 |    40701    14748     28 |  1.111 % |
1431.97/1432.03	c |   2244351 |    1246     1756    42442 |    44771    35679     61 |  1.111 % |
1645.36/1645.40	c ===============================================================================
1652.46/1652.52	c core #25
1652.46/1652.52	c 
1652.46/1652.52	c 
1652.46/1652.52	c Core size: 46	Core Weight: 1	Total Weight: 45
1652.46/1652.52	c Current CPU time: 1643.78 s
1652.46/1652.52	c
1652.46/1652.52	c ============================[ Search Statistics ]==============================
1652.46/1652.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1652.46/1652.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1652.46/1652.52	c ===============================================================================
1652.46/1652.52	c |         0 |    1281     1758    42503 |     5000        0   -nan |  0.000 % |
1652.46/1652.57	c |       103 |    1281     1758    42503 |     5500      103     21 |  0.775 % |
1652.46/1652.59	c |       253 |    1281     1758    42503 |     6050      253     20 |  0.775 % |
1652.56/1652.65	c |       479 |    1281     1758    42503 |     6655      479     22 |  0.775 % |
1652.66/1652.72	c |       816 |    1281     1758    42503 |     7320      816     22 |  0.775 % |
1652.76/1652.84	c |      1323 |    1281     1758    42503 |     8052     1323     24 |  0.775 % |
1652.97/1653.00	c |      2082 |    1281     1758    42503 |     8857     2082     23 |  0.775 % |
1653.18/1653.29	c |      3222 |    1281     1758    42503 |     9743     3222     25 |  0.775 % |
1653.66/1653.76	c |      4930 |    1281     1758    42503 |    10717     4930     26 |  0.775 % |
1654.28/1654.35	c |      7492 |    1281     1758    42503 |    11789     7492     26 |  0.775 % |
1655.38/1655.43	c |     11337 |    1281     1758    42503 |    12968    11337     27 |  0.775 % |
1656.96/1657.09	c |     17104 |    1281     1758    42503 |    14265    10433     28 |  0.775 % |
1659.66/1659.77	c |     25753 |    1281     1758    42503 |    15692    11754     28 |  0.775 % |
1663.18/1663.28	c |     38729 |    1281     1758    42503 |    17261     8774     27 |  0.775 % |
1666.56/1666.66	c |     58192 |    1281     1758    42503 |    18987     9910     72 |  0.775 % |
1675.67/1675.77	c |     87384 |    1278     1758    42503 |    20886    10459     25 |  1.007 % |
1689.36/1689.48	c |    131173 |    1278     1758    42503 |    22974    12117     26 |  1.007 % |
1703.66/1703.71	c |    196859 |    1278     1758    42503 |    25272    17779     63 |  1.007 % |
1735.46/1735.51	c |    295385 |    1278     1758    42503 |    27799    24123     26 |  1.008 % |
1784.86/1784.93	c |    443174 |    1278     1758    42503 |    30579    13765     29 |  1.007 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3460835-1307101308/watcher-3460835-1307101308 -o /tmp/evaluation-result-3460835-1307101308/solver-3460835-1307101308 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460835-1307101308.opb 

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.11 2.06 2.01 1/548 22052
/proc/meminfo: memFree=21188188/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=4268 CPUtime=0.02 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 820 0 0 0 2 0 0 0 22 0 1 0 821731228 4370432 774 33554432000 4194304 5714214 140733883265904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 1067 776 229 372 0 613 0

[startup+0.0884819 s]
/proc/loadavg: 2.11 2.06 2.01 1/548 22052
/proc/meminfo: memFree=21188188/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=7940 CPUtime=0.08 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 1853 0 0 0 8 0 0 0 18 0 1 0 821731228 8130560 1728 33554432000 4194304 5714214 140733883265904 18446744073709551615 5012958 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 1985 1728 179 372 0 1610 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7940

[startup+0.100467 s]
/proc/loadavg: 2.11 2.06 2.01 1/548 22052
/proc/meminfo: memFree=21188188/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=8072 CPUtime=0.09 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 1900 0 0 0 9 0 0 0 18 0 1 0 821731228 8265728 1775 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 2018 1775 179 372 0 1643 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8072

[startup+0.300431 s]
/proc/loadavg: 2.11 2.06 2.01 1/548 22052
/proc/meminfo: memFree=21188188/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=8732 CPUtime=0.29 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 2067 0 0 0 29 0 0 0 18 0 1 0 821731228 8941568 1942 33554432000 4194304 5714214 140733883265904 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 2183 1942 180 372 0 1808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8732

[startup+0.700359 s]
/proc/loadavg: 2.11 2.06 2.01 1/548 22052
/proc/meminfo: memFree=21188188/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=8996 CPUtime=0.69 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 2134 0 0 0 69 0 0 0 18 0 1 0 821731228 9211904 2009 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 2249 2009 180 372 0 1874 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8996

[startup+1.50022 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 22107
/proc/meminfo: memFree=21138404/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=9524 CPUtime=1.49 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 2268 0 0 0 149 0 0 0 18 0 1 0 821731228 9752576 2143 33554432000 4194304 5714214 140733883265904 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 2381 2143 180 372 0 2006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9524

[startup+3.10092 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 22107
/proc/meminfo: memFree=21060160/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=10052 CPUtime=3.09 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 2376 0 0 0 308 1 0 0 19 0 1 0 821731228 10293248 2251 33554432000 4194304 5714214 140733883265904 18446744073709551615 4198966 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 2513 2251 180 372 0 2138 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10052

[startup+6.30034 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 22107
/proc/meminfo: memFree=21032888/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=11372 CPUtime=6.29 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 2730 0 0 0 627 2 0 0 20 0 1 0 821731228 11644928 2605 33554432000 4194304 5714214 140733883265904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 2843 2605 180 372 0 2468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11372

[startup+12.7002 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 22107
/proc/meminfo: memFree=21022736/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=12968 CPUtime=12.69 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 3121 0 0 0 1265 4 0 0 25 0 1 0 821731228 13279232 2996 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 3242 2996 180 372 0 2867 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12968

[startup+25.5009 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 22107
/proc/meminfo: memFree=21009304/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=17612 CPUtime=25.49 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 4303 0 0 0 2538 11 0 0 25 0 1 0 821731228 18034688 4150 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 4403 4150 180 372 0 4028 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17612

[startup+51.1002 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 22108
/proc/meminfo: memFree=21000312/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=22776 CPUtime=51.09 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 5578 0 0 0 5087 22 0 0 25 0 1 0 821731228 23322624 5425 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 5694 5425 180 372 0 5319 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22776

[startup+102.321 s]
/proc/loadavg: 2.15 2.06 2.01 3/551 22109
/proc/meminfo: memFree=20977112/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=41512 CPUtime=102.31 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 10214 0 0 0 10186 45 0 0 25 0 1 0 821731228 42508288 10061 33554432000 4194304 5714214 140733883265904 18446744073709551615 4323068 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 10378 10061 180 372 0 10003 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 41512

[startup+162.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/551 22111
/proc/meminfo: memFree=20966556/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=48160 CPUtime=162.28 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 11955 0 0 0 16157 71 0 0 25 0 1 0 821731228 49315840 11752 33554432000 4194304 5714214 140733883265904 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 12040 11752 180 372 0 11665 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 48160

[startup+222.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/551 22113
/proc/meminfo: memFree=20955988/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=48160 CPUtime=222.29 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 11979 0 0 0 22132 97 0 0 25 0 1 0 821731228 49315840 11776 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 12040 11776 180 372 0 11665 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 48160

[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 22114
/proc/meminfo: memFree=20955960/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=48160 CPUtime=282.28 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 11989 0 0 0 28110 118 0 0 25 0 1 0 821731228 49315840 11786 33554432000 4194304 5714214 140733883265904 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 12040 11786 180 372 0 11665 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 48160

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 22116
/proc/meminfo: memFree=20940308/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=62372 CPUtime=342.29 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 15515 0 0 0 34084 145 0 0 25 0 1 0 821731228 63868928 15312 33554432000 4194304 5714214 140733883265904 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 15593 15312 180 372 0 15218 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 62372

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22117
/proc/meminfo: memFree=20923564/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=79572 CPUtime=402.28 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 19770 0 0 0 40065 163 0 0 25 0 1 0 821731228 81481728 19567 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 19893 19567 180 372 0 19518 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 79572

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22119
/proc/meminfo: memFree=20911760/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=91432 CPUtime=462.29 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 22822 0 0 0 46039 190 0 0 25 0 1 0 821731228 93626368 22552 33554432000 4194304 5714214 140733883265904 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 22858 22552 180 372 0 22483 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 91432

[startup+522.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/551 22121
/proc/meminfo: memFree=20911732/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=91432 CPUtime=522.29 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 22822 0 0 0 52012 217 0 0 25 0 1 0 821731228 93626368 22552 33554432000 4194304 5714214 140733883265904 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 22858 22552 180 372 0 22483 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 91432

[startup+582.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/551 22122
/proc/meminfo: memFree=20911576/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=91432 CPUtime=582.29 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 22859 0 0 0 57983 246 0 0 25 0 1 0 821731228 93626368 22589 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 22858 22589 180 372 0 22483 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 91432

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22130
/proc/meminfo: memFree=20872500/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=119856 CPUtime=882.28 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 29761 0 0 0 87850 378 0 0 25 0 1 0 821731228 122732544 29491 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 29964 29491 180 372 0 29589 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 119856

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22132
/proc/meminfo: memFree=20872364/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=119856 CPUtime=942.28 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 29849 0 0 0 93823 405 0 0 25 0 1 0 821731228 122732544 29579 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 29964 29579 180 372 0 29589 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 119856

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 22133
/proc/meminfo: memFree=20871844/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=119856 CPUtime=1002.28 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 29985 0 0 0 99791 437 0 0 25 0 1 0 821731228 122732544 29715 33554432000 4194304 5714214 140733883265904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 29964 29715 180 372 0 29589 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 119856

[startup+1062.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/551 22135
/proc/meminfo: memFree=20851980/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=141196 CPUtime=1062.27 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 35193 0 0 0 105765 462 0 0 25 0 1 0 821731228 144584704 34923 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 35299 34923 180 372 0 34924 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 141196

[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/551 22137
/proc/meminfo: memFree=20837684/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=154896 CPUtime=1122.28 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 38570 0 0 0 111741 487 0 0 25 0 1 0 821731228 158613504 38300 33554432000 4194304 5714214 140733883265904 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 38724 38300 180 372 0 38349 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 154896

[startup+1182.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/551 22147
/proc/meminfo: memFree=20819248/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=172380 CPUtime=1182.28 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 42918 0 0 0 117718 510 0 0 25 0 1 0 821731228 176517120 42648 33554432000 4194304 5714214 140733883265904 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 43095 42648 180 372 0 42720 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 172380

[startup+1242.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/551 22149
/proc/meminfo: memFree=20793196/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=190536 CPUtime=1242.27 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 47458 0 0 0 123693 534 0 0 25 0 1 0 821731228 195108864 47188 33554432000 4194304 5714214 140733883265904 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 47634 47188 180 372 0 47259 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 190536

[startup+1302.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/551 22150
/proc/meminfo: memFree=20752880/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=231636 CPUtime=1302.3 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 57477 0 0 0 129662 568 0 0 25 0 1 0 821731228 237195264 57207 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 57909 57207 180 372 0 57534 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 231636

[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/551 22155
/proc/meminfo: memFree=20723416/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=262828 CPUtime=1362.27 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 65019 0 0 0 135628 599 0 0 25 0 1 0 821731228 269135872 64749 33554432000 4194304 5714214 140733883265904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 65707 64749 180 372 0 65332 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 262828

[startup+1422.32 s]
/proc/loadavg: 2.02 2.05 2.01 3/551 22157
/proc/meminfo: memFree=20690544/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=296184 CPUtime=1422.29 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 73135 0 0 0 141593 636 0 0 25 0 1 0 821731228 303292416 72865 33554432000 4194304 5714214 140733883265904 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 74046 72865 180 372 0 73671 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 296184

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 22158
/proc/meminfo: memFree=20658404/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=329228 CPUtime=1482.26 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 81265 0 0 0 147557 669 0 0 25 0 1 0 821731228 337129472 80995 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 82307 80995 180 372 0 81932 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 329228

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 22160
/proc/meminfo: memFree=20629480/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=358144 CPUtime=1542.27 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 88434 0 0 0 153529 698 0 0 25 0 1 0 821731228 366739456 88164 33554432000 4194304 5714214 140733883265904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 89536 88164 180 372 0 89161 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 358144

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22161
/proc/meminfo: memFree=20605884/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=381792 CPUtime=1602.26 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 94307 0 0 0 159504 722 0 0 25 0 1 0 821731228 390955008 94037 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 95448 94037 180 372 0 95073 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 381792

[startup+1662.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/551 22163
/proc/meminfo: memFree=20559732/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=427940 CPUtime=1662.26 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 105852 0 0 0 165482 744 0 0 25 0 1 0 821731228 438210560 105494 33554432000 4194304 5714214 140733883265904 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 106985 105494 180 372 0 106610 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 427940

[startup+1722.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/551 22165
/proc/meminfo: memFree=20559708/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=427940 CPUtime=1722.26 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 105862 0 0 0 171452 774 0 0 25 0 1 0 821731228 438210560 105504 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 106985 105504 180 372 0 106610 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 427940

[startup+1782.3 s]
/proc/loadavg: 2.22 2.10 2.02 3/551 22166
/proc/meminfo: memFree=20557820/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=427940 CPUtime=1782.27 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 105862 0 0 0 177430 797 0 0 25 0 1 0 821731228 438210560 105504 33554432000 4194304 5714214 140733883265904 18446744073709551615 4319930 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 106985 105504 180 372 0 106610 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 427940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.16 2.09 2.02 3/551 22167
/proc/meminfo: memFree=20558564/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=427940 CPUtime=1800.08 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 105863 0 0 0 179202 806 0 0 25 0 1 0 821731228 438210560 105505 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 106985 105505 180 372 0 106610 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 427940

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

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

[startup+1800.1 s]
/proc/loadavg: 2.16 2.09 2.02 3/551 22167
/proc/meminfo: memFree=20558564/32951124 swapFree=53733252/67111528
[pid=22052] ppid=22050 vsize=427940 CPUtime=1800.08 cores=1,3,5,7
/proc/22052/stat : 22052 (wbo1.6) R 22050 22052 21496 0 -1 4202496 105863 0 0 0 179202 806 0 0 25 0 1 0 821731228 438210560 105505 33554432000 4194304 5714214 140733883265904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22052/statm: 106985 105505 180 372 0 106610 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 427940

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.11
CPU user time (s): 1792.03
CPU system time (s): 8.08177
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 428424

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

runsolver used 9.8295 second user time and 22.9355 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-03 13:41:48
IDJOB=3460835
IDBENCH=2637
IDSOLVER=1953
FILE ID=node106/3460835-1307101308
RUNJOBID= node106-1307092297-21515
PBS_JOBID= 13497969
Free space on /tmp= 73740 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460835-1307101308/watcher-3460835-1307101308 -o /tmp/evaluation-result-3460835-1307101308/solver-3460835-1307101308 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460835-1307101308.opb

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

MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611
RANDOM SEED=295832889

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21188344 kB
Buffers:        390732 kB
Cached:        5968372 kB
SwapCached:      22744 kB
Active:        5869504 kB
Inactive:      5553164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21188344 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            4684 kB
Writeback:           0 kB
AnonPages:     5060300 kB
Mapped:          26220 kB
Slab:           190948 kB
PageTables:      77748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167555816 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= 73728 MiB
End job on node106 at 2011-06-03 14:11:50