Trace number 2655925

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.4b? (TO) 1800.11 1800.64

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 benchmarkSAT
Best value of the objective obtained on this benchmark58
Best CPU time to get the best result obtained on this benchmark1800.28
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c wbo 1.4 beta - 20100517
0.00/0.01	c Parsing opb file format. File HOME/instance-2655925-1276588079.opb.
0.00/0.01	c Instance file HOME/instance-2655925-1276588079.opb
0.00/0.01	c File size is 322808 bytes.
0.00/0.06	c Highest Coefficient sum: 707
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Parsing time:          0.06         s                                      |
0.00/0.06	c |  Number Variables:      895                                                 |
0.00/0.06	c |  Number Clauses:        0                                                   |
0.00/0.06	c |  Number Cardinality:    0                                                   |
0.00/0.06	c |  Number PB Constraints: 1659                                                |
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 |     895     1659    41676 |     5000        0    nan |  0.000 % |
0.09/0.14	c |       101 |     895     1659    41676 |     5500      101     21 |  0.000 % |
0.19/0.22	c |       252 |     895     1659    41676 |     6050      252     20 |  0.000 % |
0.29/0.31	c |       479 |     895     1659    41676 |     6655      479     20 |  0.000 % |
0.39/0.45	c |       817 |     895     1659    41676 |     7320      817     20 |  0.001 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: 99
0.59/0.62	o 99
0.59/0.62	c Elapsed CPU time: 0.611906 s	Remaining CPU time: 179.388 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |      1228 |     895     1660    41683 |     5000     1228     22 |  0.001 % |
0.59/0.66	c |      1328 |     895     1660    41683 |     5500     1328     22 |  0.001 % |
0.69/0.76	c |      1478 |     895     1660    41683 |     6050     1478     22 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: 96
0.69/0.78	o 96
0.69/0.78	c Elapsed CPU time: 0.780881 s	Remaining CPU time: 179.219 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |      1523 |     895     1661    41690 |     5000     1523     22 |  0.000 % |
0.79/0.84	c |      1623 |     895     1661    41690 |     5500     1623     23 |  0.000 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: 90
0.79/0.87	o 90
0.79/0.87	c Elapsed CPU time: 0.863868 s	Remaining CPU time: 179.136 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |      1673 |     895     1662    41697 |     5000     1673     23 |  0.000 % |
0.89/0.92	c |      1774 |     895     1662    41697 |     5500     1774     23 |  0.000 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: 85
0.89/0.93	o 85
0.89/0.93	c Elapsed CPU time: 0.927858 s	Remaining CPU time: 179.072 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |      1793 |     895     1663    41704 |     5000     1793     23 |  0.000 % |
0.89/0.98	c |      1893 |     895     1663    41704 |     5500     1893     23 |  0.000 % |
0.99/1.06	c |      2045 |     895     1663    41704 |     6050     2045     24 |  0.000 % |
1.09/1.17	c |      2270 |     895     1663    41704 |     6655     2270     24 |  0.001 % |
1.28/1.38	c |      2609 |     895     1663    41704 |     7320     2609     24 |  0.000 % |
1.38/1.40	c ===============================================================================
1.38/1.40	c New solution: 83
1.38/1.40	o 83
1.38/1.40	c Elapsed CPU time: 1.39379 s	Remaining CPU time: 178.606 s
1.38/1.40	c ===============================================================================
1.38/1.40	c |      2639 |     895     1664    41711 |     5000     2639     24 |  0.000 % |
1.38/1.43	c |      2739 |     895     1664    41711 |     5500     2739     24 |  0.000 % |
1.38/1.46	c ===============================================================================
1.38/1.46	c New solution: 82
1.38/1.46	o 82
1.38/1.46	c Elapsed CPU time: 1.44978 s	Remaining CPU time: 178.55 s
1.38/1.46	c ===============================================================================
1.38/1.46	c |      2779 |     895     1665    41718 |     5000     2779     25 |  0.000 % |
1.48/1.52	c |      2880 |     895     1665    41718 |     5500     2880     25 |  0.000 % |
1.48/1.58	c |      3031 |     895     1665    41718 |     6050     3031     25 |  0.000 % |
1.59/1.61	c ===============================================================================
1.59/1.61	c New solution: 81
1.59/1.61	o 81
1.59/1.61	c Elapsed CPU time: 1.59676 s	Remaining CPU time: 178.403 s
1.59/1.61	c ===============================================================================
1.59/1.61	c |      3069 |     895     1666    41725 |     5000     3069     25 |  0.000 % |
1.59/1.66	c |      3169 |     895     1666    41725 |     5500     3169     25 |  0.000 % |
1.69/1.76	c |      3320 |     895     1666    41725 |     6050     3320     25 |  0.000 % |
1.79/1.88	c |      3546 |     895     1666    41725 |     6655     3546     25 |  0.000 % |
1.99/2.00	c ===============================================================================
1.99/2.00	c New solution: 80
1.99/2.00	o 80
1.99/2.00	c Elapsed CPU time: 1.9867 s	Remaining CPU time: 178.013 s
1.99/2.00	c ===============================================================================
1.99/2.00	c |      3747 |     895     1667    41732 |     5000     3747     25 |  0.000 % |
1.99/2.05	c |      3847 |     895     1667    41732 |     5500     3847     25 |  0.001 % |
1.99/2.09	c ===============================================================================
1.99/2.09	c New solution: 77
1.99/2.09	o 77
1.99/2.09	c Elapsed CPU time: 2.07668 s	Remaining CPU time: 177.923 s
1.99/2.09	c ===============================================================================
1.99/2.09	c |      3912 |     895     1668    41739 |     5000     3912     25 |  0.001 % |
2.10/2.14	c |      4013 |     895     1668    41739 |     5500     4013     25 |  0.000 % |
2.20/2.24	c |      4163 |     895     1668    41739 |     6050     4163     26 |  0.000 % |
2.29/2.35	c |      4388 |     895     1668    41739 |     6655     4388     26 |  0.000 % |
2.39/2.44	c ===============================================================================
2.39/2.44	c New solution: 75
2.39/2.44	o 75
2.39/2.44	c Elapsed CPU time: 2.42263 s	Remaining CPU time: 177.577 s
2.39/2.44	c ===============================================================================
2.39/2.44	c |      4518 |     895     1669    41746 |     5000     4518     26 |  0.000 % |
2.49/2.50	c |      4620 |     895     1669    41746 |     5500     4620     26 |  0.000 % |
2.49/2.57	c |      4770 |     895     1669    41746 |     6050     4770     26 |  0.000 % |
2.59/2.67	c ===============================================================================
2.59/2.67	c New solution: 70
2.59/2.67	o 70
2.59/2.67	c Elapsed CPU time: 2.65959 s	Remaining CPU time: 177.34 s
2.59/2.67	c ===============================================================================
2.59/2.67	c |      4935 |     895     1670    41753 |     5000     4935     26 |  0.000 % |
2.69/2.72	c |      5035 |     895     1670    41753 |     5500     5035     26 |  0.000 % |
2.79/2.83	c |      5186 |     895     1670    41753 |     6050     5186     26 |  0.000 % |
2.89/2.97	c |      5411 |     895     1670    41753 |     6655     5411     26 |  0.000 % |
3.08/3.16	c |      5749 |     895     1670    41753 |     7320     5749     26 |  0.000 % |
3.29/3.39	c |      6255 |     895     1670    41753 |     8052     6255     27 |  0.000 % |
3.38/3.41	c ===============================================================================
3.38/3.41	c New solution: 69
3.38/3.41	o 69
3.38/3.41	c Elapsed CPU time: 3.39448 s	Remaining CPU time: 176.606 s
3.38/3.41	c ===============================================================================
3.38/3.41	c |      6292 |     895     1671    41760 |     5000     6292     27 |  0.000 % |
3.38/3.48	c |      6392 |     895     1671    41760 |     5500     3246     28 |  0.000 % |
3.48/3.57	c |      6544 |     895     1671    41760 |     6050     3398     28 |  0.000 % |
3.68/3.72	c |      6770 |     895     1671    41760 |     6655     3624     28 |  0.000 % |
3.89/3.91	c |      7107 |     895     1671    41760 |     7320     3961     28 |  0.000 % |
4.19/4.24	c |      7615 |     895     1671    41760 |     8052     4469     29 |  0.000 % |
4.68/4.72	c |      8375 |     895     1671    41760 |     8857     5229     28 |  0.000 % |
4.88/4.98	c ===============================================================================
4.88/4.98	c New solution: 68
4.88/4.98	o 68
4.88/4.98	c Elapsed CPU time: 4.95525 s	Remaining CPU time: 175.045 s
4.88/4.98	c ===============================================================================
4.88/4.98	c |      8857 |     895     1672    41767 |     5000     5711     28 |  0.000 % |
4.98/5.05	c |      8957 |     888     1672    41767 |     5500     2952     28 |  0.782 % |
5.08/5.12	c |      9107 |     888     1672    41767 |     6050     3102     28 |  0.782 % |
5.18/5.26	c |      9334 |     888     1672    41767 |     6655     3329     28 |  0.782 % |
5.40/5.43	c |      9671 |     888     1672    41767 |     7320     3666     29 |  0.782 % |
5.59/5.64	c |     10177 |     888     1672    41767 |     8052     4172     28 |  0.782 % |
6.09/6.13	c |     10936 |     888     1672    41767 |     8857     4931     28 |  0.782 % |
6.79/6.83	c |     12077 |     888     1672    41767 |     9743     6072     28 |  0.782 % |
6.88/6.95	c ===============================================================================
6.88/6.95	c New solution: 66
6.88/6.95	o 66
6.88/6.95	c Elapsed CPU time: 6.91195 s	Remaining CPU time: 173.088 s
6.88/6.95	c ===============================================================================
6.88/6.95	c |     12243 |     888     1673    41774 |     5000     6238     28 |  0.782 % |
6.98/7.02	c |     12345 |     887     1673    41774 |     5500     3198     26 |  0.895 % |
6.98/7.08	c |     12497 |     887     1673    41774 |     6050     3350     26 |  0.895 % |
7.18/7.23	c |     12723 |     887     1673    41774 |     6655     3576     26 |  0.894 % |
7.28/7.38	c |     13061 |     887     1673    41774 |     7320     3914     26 |  0.894 % |
7.39/7.47	c ===============================================================================
7.39/7.47	c New solution: 65
7.39/7.47	o 65
7.39/7.47	c Elapsed CPU time: 7.42987 s	Remaining CPU time: 172.57 s
7.39/7.47	c ===============================================================================
7.39/7.47	c |     13166 |     887     1674    41781 |     5000     4019     27 |  0.894 % |
7.49/7.51	c |     13266 |     887     1674    41781 |     5500     4119     27 |  0.894 % |
7.49/7.56	c |     13416 |     887     1674    41781 |     6050     4269     26 |  0.894 % |
7.69/7.74	c |     13642 |     887     1674    41781 |     6655     4495     27 |  0.894 % |
7.89/7.91	c |     13981 |     887     1674    41781 |     7320     4834     26 |  0.895 % |
8.09/8.18	c |     14488 |     886     1674    41781 |     8052     5235     26 |  1.008 % |
8.48/8.55	c |     15247 |     886     1674    41781 |     8857     5994     27 |  1.006 % |
9.18/9.26	c |     16388 |     886     1674    41781 |     9743     7135     27 |  1.006 % |
10.19/10.24	c |     18096 |     886     1674    41781 |    10717     8843     27 |  1.007 % |
11.88/11.93	c |     20658 |     886     1674    41781 |    11789     5787     29 |  1.006 % |
13.68/13.77	c |     24502 |     886     1674    41781 |    12968     9631     28 |  1.006 % |
15.79/15.82	c ===============================================================================
15.79/15.82	c New solution: 62
15.79/15.82	o 62
15.79/15.82	c Elapsed CPU time: 15.7346 s	Remaining CPU time: 164.265 s
15.79/15.82	c ===============================================================================
15.79/15.82	c |     27229 |     886     1675    41788 |     5000    12358     29 |  1.006 % |
15.89/15.91	c |     27329 |     885     1675    41788 |     5500     3184     31 |  1.118 % |
15.89/15.97	c |     27480 |     885     1675    41788 |     6050     3335     30 |  1.117 % |
15.98/16.09	c |     27706 |     885     1675    41788 |     6655     3561     30 |  1.118 % |
16.18/16.22	c |     28045 |     885     1675    41788 |     7320     3900     30 |  1.118 % |
16.49/16.54	c |     28552 |     885     1675    41788 |     8052     4407     30 |  1.117 % |
16.88/16.93	c |     29311 |     885     1675    41788 |     8857     5166     30 |  1.117 % |
17.49/17.54	c |     30451 |     885     1675    41788 |     9743     6306     30 |  1.117 % |
18.28/18.37	c |     32159 |     885     1675    41788 |    10717     8014     29 |  1.117 % |
20.18/20.28	c |     34722 |     885     1675    41788 |    11789    10577     30 |  1.117 % |
22.78/22.83	c |     38566 |     885     1675    41788 |    12968     8311     31 |  1.117 % |
26.78/26.87	c |     44332 |     885     1675    41788 |    14265     7355     32 |  1.117 % |
32.99/33.06	c |     52982 |     885     1675    41788 |    15692     8796     33 |  1.117 % |
41.27/41.38	c |     65957 |     885     1675    41788 |    17261    13824     29 |  1.117 % |
55.77/55.84	c |     85419 |     885     1675    41788 |    18987    15717     33 |  1.118 % |
75.77/75.85	c |    114612 |     885     1675    41788 |    20886    16134     30 |  1.117 % |
84.36/84.49	c ===============================================================================
84.36/84.49	c New solution: 60
84.36/84.49	o 60
84.36/84.49	c Elapsed CPU time: 84.0602 s	Remaining CPU time: 95.9398 s
84.36/84.49	c ===============================================================================
84.36/84.49	c |    124011 |     885     1676    41795 |     5000    14971     33 |  1.117 % |
84.56/84.60	c |    124112 |     885     1676    41795 |     5500     3844     37 |  1.117 % |
84.56/84.68	c |    124262 |     885     1676    41795 |     6050     3994     37 |  1.117 % |
84.66/84.79	c |    124488 |     885     1676    41795 |     6655     4220     36 |  1.117 % |
84.87/84.92	c |    124825 |     885     1676    41795 |     7320     4557     35 |  1.119 % |
85.16/85.23	c |    125331 |     885     1676    41795 |     8052     5063     35 |  1.117 % |
85.56/85.60	c |    126091 |     885     1676    41795 |     8857     5823     33 |  1.117 % |
86.16/86.28	c |    127230 |     885     1676    41795 |     9743     6962     34 |  1.118 % |
87.16/87.26	c |    128938 |     885     1676    41795 |    10717     8670     34 |  1.117 % |
88.66/88.78	c |    131500 |     885     1676    41795 |    11789     5783     29 |  1.118 % |
91.47/91.54	c |    135344 |     885     1676    41795 |    12968     9627     31 |  1.117 % |
95.66/95.71	c |    141111 |     885     1676    41795 |    14265     8817     32 |  1.117 % |
101.66/101.70	c |    149763 |     885     1676    41795 |    15692    10250     32 |  1.117 % |
110.45/110.57	c |    162737 |     885     1676    41795 |    17261    15278     33 |  1.117 % |
125.45/125.57	c |    182198 |     885     1676    41795 |    18987    17157     34 |  1.117 % |
149.55/149.61	c |    211392 |     885     1676    41795 |    20886    17434     34 |  1.117 % |
180.84/180.92	c There are 10 assigned variables. 1 in cost function.
181.14/181.20	c core #1
181.14/181.20	c core #2
181.14/181.20	c ============================[ Search Statistics ]==============================
181.14/181.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.14/181.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.14/181.20	c ===============================================================================
181.14/181.20	c |         0 |     856     1689    35975 |     5000        0    nan |  0.000 % |
181.14/181.20	c ===============================================================================
181.14/181.24	c core #3
181.14/181.24	c ============================[ Search Statistics ]==============================
181.14/181.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.14/181.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.14/181.24	c ===============================================================================
181.14/181.24	c |         0 |     862     1694    35983 |     5000        0    nan |  0.000 % |
181.14/181.24	c ===============================================================================
181.14/181.27	c core #4
181.14/181.27	c ============================[ Search Statistics ]==============================
181.14/181.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.14/181.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.14/181.27	c ===============================================================================
181.14/181.27	c |         0 |     876     1698    35995 |     5000        0    nan |  0.000 % |
181.14/181.28	c ===============================================================================
181.24/181.31	c core #5
181.24/181.31	c ============================[ Search Statistics ]==============================
181.24/181.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.24/181.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.24/181.31	c ===============================================================================
181.24/181.31	c |         0 |     884     1702    36008 |     5000        0    nan |  0.000 % |
181.24/181.33	c ===============================================================================
181.24/181.36	c core #6
181.24/181.36	c ============================[ Search Statistics ]==============================
181.24/181.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.24/181.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.24/181.36	c ===============================================================================
181.24/181.36	c |         0 |     897     1705    36023 |     5000        0    nan |  0.000 % |
181.24/181.39	c ===============================================================================
181.34/181.41	c core #7
181.34/181.41	c ============================[ Search Statistics ]==============================
181.34/181.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.34/181.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.34/181.41	c ===============================================================================
181.34/181.41	c |         0 |     906     1708    36039 |     5000        0    nan |  0.000 % |
181.34/181.46	c ===============================================================================
181.34/181.49	c core #8
181.34/181.49	c ============================[ Search Statistics ]==============================
181.34/181.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.34/181.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.34/181.49	c ===============================================================================
181.34/181.49	c |         0 |     916     1711    36057 |     5000        0    nan |  0.000 % |
181.44/181.59	c |       100 |     916     1711    36057 |     5500      100     15 |  3.172 % |
181.54/181.69	c |       250 |     913     1711    36057 |     6050      250     14 |  4.334 % |
181.64/181.75	c ===============================================================================
181.64/181.77	c core #9
181.64/181.77	c ============================[ Search Statistics ]==============================
181.64/181.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.64/181.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.64/181.77	c ===============================================================================
181.64/181.77	c |         0 |     928     1713    36077 |     5000        0    nan |  0.000 % |
181.74/181.86	c |       101 |     928     1713    36077 |     5500      101     15 |  2.118 % |
181.84/181.96	c |       254 |     919     1713    36077 |     6050      254     16 |  4.219 % |
181.84/181.99	c ===============================================================================
181.94/182.01	c core #10
181.94/182.01	c ============================[ Search Statistics ]==============================
181.94/182.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.94/182.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.94/182.01	c ===============================================================================
181.94/182.01	c |         0 |     939     1717    36102 |     5000        0    nan |  0.000 % |
182.04/182.11	c |       100 |     939     1717    36102 |     5500      100     14 |  2.088 % |
182.14/182.22	c |       251 |     938     1717    36102 |     6050      251     16 |  2.190 % |
182.33/182.41	c |       477 |     938     1717    36102 |     6655      477     17 |  2.191 % |
182.33/182.46	c ===============================================================================
182.33/182.49	c core #11
182.33/182.49	c ============================[ Search Statistics ]==============================
182.33/182.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.33/182.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.33/182.49	c ===============================================================================
182.33/182.49	c |         0 |     949     1721    36125 |     5000        0    nan |  0.000 % |
182.44/182.59	c |       100 |     949     1721    36125 |     5500      100     14 |  2.065 % |
182.63/182.72	c |       250 |     949     1721    36125 |     6050      250     17 |  2.064 % |
182.73/182.86	c |       475 |     949     1721    36125 |     6655      475     17 |  2.065 % |
183.03/183.13	c |       812 |     949     1721    36125 |     7320      812     18 |  2.064 % |
183.44/183.50	c |      1318 |     941     1721    36125 |     8052     1313     18 |  4.438 % |
184.04/184.11	c |      2078 |     939     1721    36125 |     8857     2073     21 |  4.438 % |
184.24/184.32	c ===============================================================================
184.24/184.35	c core #12
184.24/184.35	c ============================[ Search Statistics ]==============================
184.24/184.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.24/184.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.24/184.35	c ===============================================================================
184.24/184.35	c |         0 |     952     1723    36130 |     5000        0    nan |  0.000 % |
184.34/184.45	c |       101 |     952     1723    36130 |     5500      101     15 |  2.059 % |
184.44/184.55	c |       251 |     952     1723    36130 |     6050      251     18 |  2.058 % |
184.54/184.69	c |       477 |     952     1723    36130 |     6655      477     18 |  2.058 % |
184.84/184.94	c |       815 |     952     1723    36130 |     7320      815     20 |  2.058 % |
185.23/185.33	c |      1321 |     952     1723    36130 |     8052     1321     20 |  2.058 % |
185.85/185.93	c |      2080 |     952     1723    36130 |     8857     2080     21 |  2.059 % |
186.64/186.79	c ===============================================================================
186.73/186.82	c core #13
186.73/186.82	c ============================[ Search Statistics ]==============================
186.73/186.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.73/186.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.73/186.82	c ===============================================================================
186.73/186.82	c |         0 |     965     1725    36155 |     5000        0    nan |  0.000 % |
186.84/186.92	c |       100 |     965     1725    36155 |     5500      100     14 |  2.031 % |
186.94/187.03	c |       253 |     965     1725    36155 |     6050      253     14 |  2.031 % |
187.03/187.19	c |       478 |     965     1725    36155 |     6655      478     17 |  2.031 % |
187.33/187.42	c |       816 |     965     1725    36155 |     7320      816     17 |  2.033 % |
187.64/187.76	c |      1322 |     965     1725    36155 |     8052     1322     18 |  2.031 % |
188.24/188.34	c |      2082 |     965     1725    36155 |     8857     2082     19 |  2.033 % |
189.14/189.29	c |      3223 |     928     1725    36155 |     9743     1561     20 |  5.787 % |
189.94/190.00	c ===============================================================================
189.94/190.03	c core #14
189.94/190.03	c ============================[ Search Statistics ]==============================
189.94/190.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.03	c ===============================================================================
189.94/190.03	c |         0 |     971     1727    36166 |     5000        0    nan |  0.000 % |
190.04/190.13	c |       100 |     971     1727    36166 |     5500      100     15 |  2.019 % |
190.15/190.25	c |       250 |     971     1727    36166 |     6050      250     17 |  2.018 % |
190.34/190.42	c |       476 |     971     1727    36166 |     6655      476     16 |  2.019 % |
190.64/190.71	c |       815 |     971     1727    36166 |     7320      815     17 |  2.019 % |
191.04/191.12	c |      1322 |     971     1727    36166 |     8052     1322     19 |  2.018 % |
191.53/191.62	c |      2082 |     971     1727    36166 |     8857     2082     19 |  2.022 % |
192.34/192.43	c |      3221 |     971     1727    36166 |     9743     3221     20 |  2.018 % |
193.73/193.81	c |      4930 |     971     1727    36166 |    10717     4930     20 |  2.018 % |
195.64/195.77	c ===============================================================================
195.74/195.80	c core #15
195.74/195.80	c ============================[ Search Statistics ]==============================
195.74/195.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.74/195.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.74/195.80	c ===============================================================================
195.74/195.80	c |         0 |     982     1728    36214 |     5000        0    nan |  0.000 % |
195.83/195.91	c |       100 |     982     1728    36214 |     5500      100     14 |  1.008 % |
195.93/196.04	c |       250 |     975     1728    36214 |     6050      250     17 |  1.916 % |
196.03/196.17	c |       475 |     972     1728    36214 |     6655      330     16 |  2.016 % |
196.23/196.36	c |       812 |     972     1728    36214 |     7320      667     16 |  2.018 % |
196.53/196.69	c |      1318 |     972     1728    36214 |     8052     1173     17 |  2.016 % |
197.04/197.15	c |      2077 |     972     1728    36214 |     8857     1932     19 |  2.018 % |
197.84/197.97	c |      3216 |     972     1728    36214 |     9743     3071     19 |  2.016 % |
199.04/199.11	c |      4924 |     972     1728    36214 |    10717     4779     20 |  2.016 % |
201.34/201.40	c |      7486 |     970     1728    36214 |    11789     2596     19 |  2.219 % |
201.93/202.00	c ===============================================================================
201.93/202.04	c core #16
201.93/202.04	c ============================[ Search Statistics ]==============================
201.93/202.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.93/202.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.93/202.04	c ===============================================================================
201.93/202.04	c |         0 |    1006     1731    36266 |     5000        0    nan |  0.000 % |
202.03/202.15	c |       100 |    1006     1731    36266 |     5500      100     15 |  0.984 % |
202.13/202.24	c |       251 |    1006     1731    36266 |     6050      251     17 |  0.984 % |
202.24/202.39	c |       482 |    1006     1731    36266 |     6655      482     19 |  0.984 % |
202.53/202.66	c |       819 |    1006     1731    36266 |     7320      819     21 |  0.984 % |
202.83/202.98	c |      1326 |    1006     1731    36266 |     8052     1326     21 |  0.984 % |
203.44/203.52	c |      2087 |    1006     1731    36266 |     8857     2087     24 |  0.985 % |
204.33/204.41	c |      3226 |    1006     1731    36266 |     9743     3226     23 |  0.984 % |
205.83/205.91	c |      4934 |    1000     1731    36266 |    10717     4896     24 |  1.575 % |
207.73/207.80	c |      7498 |    1000     1731    36266 |    11789     7460     24 |  1.575 % |
210.93/211.03	c |     11343 |    1000     1731    36266 |    12968    11305     24 |  1.575 % |
216.42/216.59	c |     17110 |     994     1731    36266 |    14265     5066     22 |  2.266 % |
217.93/218.05	c ===============================================================================
218.03/218.15	c core #17
218.03/218.15	c ============================[ Search Statistics ]==============================
218.03/218.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.03/218.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.03/218.15	c ===============================================================================
218.03/218.15	c |         0 |    1029     1736    36321 |     5000        0    nan |  0.000 % |
218.13/218.25	c |       101 |    1029     1736    36321 |     5500      101     15 |  0.963 % |
218.23/218.36	c |       251 |    1029     1736    36321 |     6050      251     17 |  0.963 % |
218.33/218.49	c |       477 |    1029     1736    36321 |     6655      477     19 |  0.963 % |
218.63/218.77	c |       814 |    1029     1736    36321 |     7320      814     20 |  0.963 % |
218.92/219.02	c |      1320 |    1029     1736    36321 |     8052     1320     21 |  0.963 % |
219.42/219.59	c |      2080 |    1029     1736    36321 |     8857     2080     21 |  0.963 % |
220.23/220.35	c |      3220 |    1029     1736    36321 |     9743     3220     22 |  0.963 % |
222.03/222.15	c |      4928 |    1029     1736    36321 |    10717     4928     23 |  0.963 % |
223.63/223.76	c |      7491 |    1029     1736    36321 |    11789     7491     22 |  0.963 % |
227.42/227.55	c |     11335 |    1029     1736    36321 |    12968    11335     23 |  0.963 % |
232.53/232.68	c |     17101 |    1029     1736    36321 |    14265    10469     24 |  0.963 % |
241.42/241.57	c |     25750 |    1022     1736    36321 |    15692     7507     25 |  1.636 % |
254.12/254.24	c |     38724 |    1022     1736    36321 |    17261    12597     26 |  1.636 % |
264.22/264.37	c ===============================================================================
264.42/264.55	c core #18
264.42/264.55	c ============================[ Search Statistics ]==============================
264.42/264.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
264.42/264.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
264.42/264.55	c ===============================================================================
264.42/264.55	c |         0 |    1041     1740    36351 |     5000        0    nan |  0.000 % |
264.52/264.64	c |       103 |    1041     1740    36351 |     5500      103     18 |  0.952 % |
264.62/264.72	c |       253 |    1041     1740    36351 |     6050      253     18 |  0.952 % |
264.72/264.84	c |       479 |    1041     1740    36351 |     6655      479     20 |  0.952 % |
264.92/265.02	c |       817 |    1041     1740    36351 |     7320      817     21 |  0.952 % |
265.21/265.39	c |      1323 |    1041     1740    36351 |     8052     1323     23 |  0.952 % |
265.82/265.90	c |      2082 |    1041     1740    36351 |     8857     2082     23 |  0.952 % |
266.52/266.61	c |      3222 |    1041     1740    36351 |     9743     3222     23 |  0.952 % |
267.52/267.69	c |      4930 |    1041     1740    36351 |    10717     4930     23 |  0.952 % |
269.62/269.76	c |      7492 |    1041     1740    36351 |    11789     7492     23 |  0.952 % |
272.22/272.30	c |     11338 |    1041     1740    36351 |    12968    11338     24 |  0.952 % |
277.21/277.33	c |     17104 |    1041     1740    36351 |    14265    10519     24 |  0.952 % |
284.72/284.80	c |     25753 |    1041     1740    36351 |    15692    11837     25 |  0.952 % |
295.11/295.26	c |     38727 |    1041     1740    36351 |    17261     8858     26 |  0.952 % |
310.01/310.10	c |     58188 |    1024     1740    36351 |    18987    14071     24 |  2.569 % |
335.70/335.87	c |     87382 |    1024     1740    36351 |    20886    14539     26 |  2.570 % |
373.80/373.97	c |    131171 |    1024     1740    36351 |    22974    16074     25 |  2.572 % |
436.27/436.40	c |    196856 |    1024     1740    36351 |    25272    12090     25 |  2.569 % |
523.84/524.04	c ===============================================================================
524.14/524.38	c core #19
524.14/524.38	c ============================[ Search Statistics ]==============================
524.14/524.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
524.14/524.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
524.14/524.38	c ===============================================================================
524.14/524.38	c |         0 |    1043     1741    36355 |     5000        0    nan |  0.000 % |
524.24/524.46	c |       100 |    1043     1741    36355 |     5500      100     15 |  0.950 % |
524.34/524.55	c |       250 |    1043     1741    36355 |     6050      250     14 |  0.950 % |
524.44/524.65	c |       478 |    1043     1741    36355 |     6655      478     18 |  0.950 % |
524.54/524.76	c |       817 |    1043     1741    36355 |     7320      817     18 |  0.950 % |
524.74/524.98	c |      1323 |    1043     1741    36355 |     8052     1323     20 |  0.950 % |
525.04/525.29	c |      2082 |    1043     1741    36355 |     8857     2082     21 |  0.950 % |
525.65/525.82	c |      3221 |    1043     1741    36355 |     9743     3221     22 |  0.950 % |
526.34/526.51	c |      4930 |    1043     1741    36355 |    10717     4930     21 |  0.950 % |
527.24/527.46	c |      7492 |    1043     1741    36355 |    11789     7492     21 |  0.950 % |
529.84/530.04	c |     11337 |    1043     1741    36355 |    12968    11337     21 |  0.950 % |
533.43/533.69	c |     17104 |    1043     1741    36355 |    14265    10530     23 |  0.950 % |
538.93/539.13	c |     25754 |    1043     1741    36355 |    15692    11972     24 |  0.950 % |
547.33/547.59	c |     38728 |    1043     1741    36355 |    17261     9054     22 |  0.954 % |
561.43/561.61	c |     58189 |    1043     1741    36355 |    18987    10940     26 |  0.950 % |
580.72/580.91	c |     87381 |    1043     1741    36355 |    20886    11403     27 |  0.950 % |
610.22/610.46	c |    131170 |    1043     1741    36355 |    22974    13044     25 |  0.950 % |
660.60/660.87	c |    196854 |    1043     1741    36355 |    25272    20252     29 |  0.950 % |
735.77/736.03	c |    295380 |    1043     1741    36355 |    27799    24907     27 |  0.950 % |
772.16/772.44	c ===============================================================================
772.96/773.25	c core #20
772.96/773.25	c ============================[ Search Statistics ]==============================
772.96/773.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
772.96/773.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
772.96/773.25	c ===============================================================================
772.96/773.25	c |         0 |    1053     1742    36375 |     5000        0    nan |  0.000 % |
773.16/773.47	c |       101 |    1053     1742    36375 |     5500      101     20 |  0.941 % |
773.26/773.55	c |       254 |    1053     1742    36375 |     6050      254     18 |  0.941 % |
773.45/773.70	c |       480 |    1053     1742    36375 |     6655      480     20 |  0.941 % |
773.55/773.85	c |       817 |    1053     1742    36375 |     7320      817     19 |  0.941 % |
773.85/774.14	c |      1324 |    1053     1742    36375 |     8052     1324     20 |  0.941 % |
774.16/774.41	c |      2085 |    1053     1742    36375 |     8857     2085     21 |  0.941 % |
774.76/775.04	c |      3227 |    1053     1742    36375 |     9743     3227     22 |  0.941 % |
775.65/775.94	c |      4935 |    1053     1742    36375 |    10717     4935     23 |  0.941 % |
776.96/777.25	c |      7497 |    1053     1742    36375 |    11789     7497     22 |  0.941 % |
779.26/779.57	c |     11342 |    1053     1742    36375 |    12968    11342     22 |  0.941 % |
783.64/783.97	c |     17108 |    1053     1742    36375 |    14265    10588     23 |  0.941 % |
790.24/790.53	c |     25757 |    1053     1742    36375 |    15692    11889     23 |  0.941 % |
800.24/800.56	c |     38731 |    1053     1742    36375 |    17261     8966     25 |  0.941 % |
813.33/813.66	c |     58193 |    1053     1742    36375 |    18987    10994     24 |  0.941 % |
830.83/831.17	c |     87386 |    1044     1742    36375 |    20886    12437     23 |  1.787 % |
863.32/863.60	c |    131175 |    1044     1742    36375 |    22974    13849     24 |  1.787 % |
908.00/908.30	c |    196859 |    1037     1742    36375 |    25272    18386     21 |  2.446 % |
979.68/980.00	c |    295385 |    1024     1742    36375 |    27799    15556     20 |  3.669 % |
1010.27/1010.64	c ===============================================================================
1010.57/1010.97	c core #21
1010.57/1010.97	c ============================[ Search Statistics ]==============================
1010.57/1010.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1010.57/1010.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1010.57/1010.97	c ===============================================================================
1010.57/1010.97	c |         0 |    1065     1743    36399 |     5000        0    nan |  0.000 % |
1010.66/1011.04	c |       100 |    1065     1743    36399 |     5500      100     16 |  0.930 % |
1010.66/1011.09	c |       250 |    1065     1743    36399 |     6050      250     15 |  0.930 % |
1010.86/1011.25	c |       476 |    1065     1743    36399 |     6655      476     17 |  0.930 % |
1010.96/1011.39	c |       814 |    1065     1743    36399 |     7320      814     20 |  0.930 % |
1011.26/1011.63	c |      1320 |    1065     1743    36399 |     8052     1320     21 |  0.930 % |
1011.68/1012.02	c |      2079 |    1065     1743    36399 |     8857     2079     22 |  0.930 % |
1012.17/1012.52	c |      3220 |    1065     1743    36399 |     9743     3220     22 |  0.930 % |
1013.07/1013.44	c |      4928 |    1065     1743    36399 |    10717     4928     23 |  0.930 % |
1014.37/1014.73	c |      7491 |    1065     1743    36399 |    11789     7491     23 |  0.930 % |
1016.76/1017.17	c |     11335 |    1065     1743    36399 |    12968    11335     24 |  0.930 % |
1020.66/1021.01	c |     17101 |    1065     1743    36399 |    14265    10434     25 |  0.930 % |
1025.46/1025.88	c |     25752 |    1065     1743    36399 |    15692    11852     23 |  0.930 % |
1034.56/1034.96	c |     38727 |    1065     1743    36399 |    17261     8948     24 |  0.930 % |
1045.76/1046.19	c |     58188 |    1065     1743    36399 |    18987    10858     24 |  0.930 % |
1066.04/1066.46	c |     87381 |    1065     1743    36399 |    20886    11203     23 |  0.930 % |
1095.44/1095.80	c |    131171 |    1065     1743    36399 |    22974    12638     23 |  0.930 % |
1150.13/1150.56	c |    196856 |    1065     1743    36399 |    25272    19782     23 |  0.930 % |
1223.81/1224.21	c |    295382 |    1065     1743    36399 |    27799    25264     25 |  0.930 % |
1344.88/1345.36	c |    443171 |    1065     1743    36399 |    30579    17003     22 |  0.930 % |
1520.13/1520.62	c |    664854 |    1051     1743    36399 |    33637     8549     23 |  2.233 % |
1528.23/1528.79	c ===============================================================================
1528.93/1529.48	c core #22
1528.93/1529.48	c ============================[ Search Statistics ]==============================
1528.93/1529.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1528.93/1529.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1528.93/1529.48	c ===============================================================================
1528.93/1529.48	c |         0 |    1107     1744    36483 |     5000        0    nan |  0.000 % |
1529.03/1529.57	c |       100 |    1107     1744    36483 |     5500      100     17 |  0.895 % |
1529.23/1529.73	c |       251 |    1107     1744    36483 |     6050      251     22 |  0.895 % |
1529.33/1529.85	c |       477 |    1107     1744    36483 |     6655      477     21 |  0.895 % |
1529.53/1530.03	c |       814 |    1107     1744    36483 |     7320      814     20 |  0.895 % |
1529.73/1530.26	c |      1321 |    1107     1744    36483 |     8052     1321     21 |  0.895 % |
1530.13/1530.60	c |      2080 |    1107     1744    36483 |     8857     2080     21 |  0.896 % |
1530.53/1531.08	c |      3219 |    1107     1744    36483 |     9743     3219     21 |  0.895 % |
1531.43/1531.96	c |      4927 |    1107     1744    36483 |    10717     4927     21 |  0.895 % |
1532.63/1533.16	c |      7489 |    1107     1744    36483 |    11789     7489     22 |  0.895 % |
1534.73/1535.24	c |     11333 |    1107     1744    36483 |    12968    11333     22 |  0.895 % |
1539.02/1539.53	c |     17100 |    1107     1744    36483 |    14265    10400     22 |  0.895 % |
1544.53/1545.06	c |     25750 |    1107     1744    36483 |    15692    11791     22 |  0.896 % |
1554.52/1555.07	c |     38724 |    1107     1744    36483 |    17261     8803     25 |  0.895 % |
1568.03/1568.52	c |     58186 |    1107     1744    36483 |    18987    10649     26 |  0.895 % |
1590.92/1591.43	c |     87379 |    1107     1744    36483 |    20886    10978     24 |  0.895 % |
1623.21/1623.77	c |    131168 |    1107     1744    36483 |    22974    12797     20 |  0.895 % |
1672.20/1672.77	c |    196852 |    1107     1744    36483 |    25272    19727     23 |  0.895 % |
1755.57/1756.10	c |    295378 |    1107     1744    36483 |    27799    22813     24 |  0.895 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655925-1276588079/watcher-2655925-1276588079 -o /tmp/evaluation-result-2655925-1276588079/solver-2655925-1276588079 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655925-1276588079.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 2433
/proc/meminfo: memFree=1701024/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=2888 CPUtime=0
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 301 0 0 0 0 0 0 0 21 0 1 0 99361 2957312 220 1992294400 134512640 135751879 4288063152 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 722 220 144 303 0 338 0

[startup+0.0942121 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 2433
/proc/meminfo: memFree=1701024/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=4040 CPUtime=0.08
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 728 0 0 0 8 0 0 0 22 0 1 0 99361 4136960 568 1992294400 134512640 135751879 4288063152 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 1010 568 146 303 0 705 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4040

[startup+0.101213 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 2433
/proc/meminfo: memFree=1701024/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=4040 CPUtime=0.09
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 728 0 0 0 9 0 0 0 22 0 1 0 99361 4136960 568 1992294400 134512640 135751879 4288063152 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 1010 568 146 303 0 705 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4040

[startup+0.301246 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 2433
/proc/meminfo: memFree=1701024/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=4040 CPUtime=0.29
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 729 0 0 0 29 0 0 0 22 0 1 0 99361 4136960 569 1992294400 134512640 135751879 4288063152 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 1010 569 147 303 0 705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4040

[startup+0.700315 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 2433
/proc/meminfo: memFree=1701024/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=4172 CPUtime=0.69
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 764 0 0 0 69 0 0 0 24 0 1 0 99361 4272128 604 1992294400 134512640 135751879 4288063152 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 1043 604 147 303 0 738 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4172

[startup+1.50045 s]
/proc/loadavg: 0.00 0.00 0.00 2/107 2434
/proc/meminfo: memFree=1699032/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=4444 CPUtime=1.48
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 842 0 0 0 148 0 0 0 25 0 1 0 99361 4550656 682 1992294400 134512640 135751879 4288063152 18446744073709551615 134620524 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 1111 682 147 303 0 806 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4444

[startup+3.10072 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 2434
/proc/meminfo: memFree=1698288/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=5104 CPUtime=3.08
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 989 0 0 0 307 1 0 0 25 0 1 0 99361 5226496 829 1992294400 134512640 135751879 4288063152 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 1276 829 147 303 0 971 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5104

[startup+6.30126 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 2434
/proc/meminfo: memFree=1697048/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=6160 CPUtime=6.29
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 1263 0 0 0 626 3 0 0 25 0 1 0 99361 6307840 1103 1992294400 134512640 135751879 4288063152 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 1540 1103 148 303 0 1235 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6160

[startup+12.7013 s]
/proc/loadavg: 0.22 0.05 0.02 2/107 2434
/proc/meminfo: memFree=1694692/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=8272 CPUtime=12.68
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 1797 0 0 0 1262 6 0 0 25 0 1 0 99361 8470528 1637 1992294400 134512640 135751879 4288063152 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 2068 1637 148 303 0 1763 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8272

[startup+25.5004 s]
/proc/loadavg: 0.34 0.08 0.02 2/107 2434
/proc/meminfo: memFree=1690476/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=12388 CPUtime=25.48
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 2813 0 0 0 2536 12 0 0 25 0 1 0 99361 12685312 2653 1992294400 134512640 135751879 4288063152 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 3097 2653 148 303 0 2792 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12388

[startup+51.1012 s]
/proc/loadavg: 0.56 0.15 0.05 2/107 2436
/proc/meminfo: memFree=1683036/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=19924 CPUtime=51.07
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 4694 0 0 0 5083 24 0 0 25 0 1 0 99361 20402176 4534 1992294400 134512640 135751879 4288063152 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 4981 4534 148 303 0 4676 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19924

[startup+102.308 s]
/proc/loadavg: 0.82 0.29 0.10 2/107 2436
/proc/meminfo: memFree=1668280/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=34460 CPUtime=102.26
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 8324 0 0 0 10176 50 0 0 25 0 1 0 99361 35287040 8164 1992294400 134512640 135751879 4288063152 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 8615 8164 148 303 0 8310 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34460

[startup+162.3 s]
/proc/loadavg: 0.93 0.42 0.15 2/107 2438
/proc/meminfo: memFree=1651912/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=50724 CPUtime=162.24
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 12404 0 0 0 16144 80 0 0 25 0 1 0 99361 51941376 12244 1992294400 134512640 135751879 4288063152 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 12681 12244 148 303 0 12376 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 50724

[startup+222.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/107 2440
/proc/meminfo: memFree=1646084/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=56400 CPUtime=222.22
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 13823 0 0 0 22119 103 0 0 25 0 1 0 99361 57753600 13663 1992294400 134512640 135751879 4288063152 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 14100 13663 151 303 0 13795 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 56400

[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/107 2442
/proc/meminfo: memFree=1643232/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=59336 CPUtime=282.21
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 14556 0 0 0 28093 128 0 0 25 0 1 0 99361 60760064 14396 1992294400 134512640 135751879 4288063152 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 14834 14396 151 303 0 14529 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 59336

[startup+342.3 s]
/proc/loadavg: 0.99 0.67 0.30 2/107 2442
/proc/meminfo: memFree=1633808/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=68632 CPUtime=342.2
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 16895 0 0 0 34064 156 0 0 25 0 1 0 99361 70279168 16735 1992294400 134512640 135751879 4288063152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 17158 16735 151 303 0 16853 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 68632

[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.34 2/107 2444
/proc/meminfo: memFree=1622028/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=80400 CPUtime=402.18
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 19841 0 0 0 40037 181 0 0 25 0 1 0 99361 82329600 19681 1992294400 134512640 135751879 4288063152 18446744073709551615 134611290 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 20100 19681 151 303 0 19795 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 80400

[startup+462.301 s]
/proc/loadavg: 0.99 0.78 0.38 2/107 2446
/proc/meminfo: memFree=1610372/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=92004 CPUtime=462.15
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 22713 0 0 0 46008 207 0 0 25 0 1 0 99361 94212096 22553 1992294400 134512640 135751879 4288063152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 23001 22553 151 303 0 22696 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 92004

[startup+522.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/107 2448
/proc/meminfo: memFree=1598716/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=103784 CPUtime=522.13
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 25658 0 0 0 51983 230 0 0 25 0 1 0 99361 106274816 25498 1992294400 134512640 135751879 4288063152 18446744073709551615 134602922 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 25946 25498 151 303 0 25641 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 103784

[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.45 2/107 2450
/proc/meminfo: memFree=1592640/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=109604 CPUtime=582.12
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 27119 0 0 0 57956 256 0 0 25 0 1 0 99361 112234496 26959 1992294400 134512640 135751879 4288063152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 27401 26959 151 303 0 27096 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 109604

[startup+642.3 s]
/proc/loadavg: 0.99 0.87 0.48 2/107 2450
/proc/meminfo: memFree=1581108/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=120860 CPUtime=642.11
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 29952 0 0 0 63930 281 0 0 25 0 1 0 99361 123760640 29792 1992294400 134512640 135751879 4288063152 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 30215 29792 151 303 0 29910 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 120860

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 0.92 0.56 2/107 2465
/proc/meminfo: memFree=1544040/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=156424 CPUtime=822.03
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 38877 0 0 0 81848 355 0 0 25 0 1 0 99361 160178176 38689 1992294400 134512640 135751879 4288063152 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 39106 38689 151 303 0 38801 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 156424

[startup+882.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 2467
/proc/meminfo: memFree=1534492/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=166376 CPUtime=882.01
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 41361 0 0 0 87813 388 0 0 25 0 1 0 99361 170369024 41173 1992294400 134512640 135751879 4288063152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 41594 41173 151 303 0 41289 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 166376

[startup+942.301 s]
/proc/loadavg: 0.99 0.94 0.61 2/107 2467
/proc/meminfo: memFree=1525812/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=175212 CPUtime=941.99
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 43556 0 0 0 93783 416 0 0 25 0 1 0 99361 179417088 43368 1992294400 134512640 135751879 4288063152 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 43803 43368 151 303 0 43498 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 175212

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.63 2/107 2469
/proc/meminfo: memFree=1513908/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=187220 CPUtime=1001.97
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 46528 0 0 0 99753 444 0 0 25 0 1 0 99361 191713280 46340 1992294400 134512640 135751879 4288063152 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 46805 46340 151 303 0 46500 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 187220

[startup+1062.3 s]
/proc/loadavg: 0.99 0.95 0.65 2/107 2471
/proc/meminfo: memFree=1504856/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=196292 CPUtime=1061.95
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 48815 0 0 0 105723 472 0 0 25 0 1 0 99361 201003008 48627 1992294400 134512640 135751879 4288063152 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 49073 48627 151 303 0 48768 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 196292

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/107 2473
/proc/meminfo: memFree=1494812/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=206264 CPUtime=1121.94
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 51325 0 0 0 111695 499 0 0 25 0 1 0 99361 211214336 51137 1992294400 134512640 135751879 4288063152 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 51566 51137 151 303 0 51261 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 206264

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/107 2475
/proc/meminfo: memFree=1485264/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=215788 CPUtime=1181.92
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 53683 0 0 0 117669 523 0 0 25 0 1 0 99361 220966912 53495 1992294400 134512640 135751879 4288063152 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 53947 53495 151 303 0 53642 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 215788

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/107 2475
/proc/meminfo: memFree=1475344/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=225468 CPUtime=1241.9
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 56098 0 0 0 123641 549 0 0 25 0 1 0 99361 230879232 55910 1992294400 134512640 135751879 4288063152 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 56367 55910 151 303 0 56062 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 225468

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/107 2477
/proc/meminfo: memFree=1462324/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=238200 CPUtime=1301.89
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 59279 0 0 0 129617 572 0 0 25 0 1 0 99361 243916800 59091 1992294400 134512640 135751879 4288063152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 59550 59091 151 303 0 59245 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 238200

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/107 2479
/proc/meminfo: memFree=1450544/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=250284 CPUtime=1361.87
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 62276 0 0 0 135589 598 0 0 25 0 1 0 99361 256290816 62088 1992294400 134512640 135751879 4288063152 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 62571 62088 151 303 0 62266 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 250284

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/107 2481
/proc/meminfo: memFree=1439136/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=261524 CPUtime=1421.86
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 65084 0 0 0 141562 624 0 0 25 0 1 0 99361 267800576 64896 1992294400 134512640 135751879 4288063152 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 65381 64896 151 303 0 65076 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 261524

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/107 2483
/proc/meminfo: memFree=1427232/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=273572 CPUtime=1481.84
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 68098 0 0 0 147540 644 0 0 25 0 1 0 99361 280137728 67910 1992294400 134512640 135751879 4288063152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 68393 67910 151 303 0 68088 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 273572

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/107 2483
/proc/meminfo: memFree=1412972/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=287724 CPUtime=1541.83
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 71626 0 0 0 153510 673 0 0 25 0 1 0 99361 294629376 71438 1992294400 134512640 135751879 4288063152 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 71931 71438 151 303 0 71626 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 287724

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/107 2485
/proc/meminfo: memFree=1412228/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=288124 CPUtime=1601.81
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 71780 0 0 0 159483 698 0 0 25 0 1 0 99361 295038976 71592 1992294400 134512640 135751879 4288063152 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 72031 71592 151 303 0 71726 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 288124

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/107 2487
/proc/meminfo: memFree=1404292/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=295996 CPUtime=1661.8
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 73744 0 0 0 165458 722 0 0 25 0 1 0 99361 303099904 73556 1992294400 134512640 135751879 4288063152 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 73999 73556 151 303 0 73694 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 295996

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/107 2489
/proc/meminfo: memFree=1395984/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=304220 CPUtime=1721.78
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 75804 0 0 0 171433 745 0 0 25 0 1 0 99361 311521280 75616 1992294400 134512640 135751879 4288063152 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 76055 75616 151 303 0 75750 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 304220

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 2491
/proc/meminfo: memFree=1387304/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=312788 CPUtime=1781.76
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 77921 0 0 0 177405 771 0 0 25 0 1 0 99361 320294912 77733 1992294400 134512640 135751879 4288063152 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 78197 77733 151 303 0 77892 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 312788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 2491
/proc/meminfo: memFree=1384328/2059040 swapFree=4192956/4192956
[pid=2433] ppid=2431 vsize=315692 CPUtime=1800.08
/proc/2433/stat : 2433 (wbo1.4b) R 2431 2433 2408 0 -1 4202496 78640 0 0 0 179228 780 0 0 25 0 1 0 99361 323268608 78452 1992294400 134512640 135751879 4288063152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2433/statm: 78923 78452 151 303 0 78618 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 315692

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.11
CPU user time (s): 1792.29
CPU system time (s): 7.82881
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 315692

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

runsolver used 2.77658 second user time and 8.72567 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-15 09:48:00
IDJOB=2655925
IDBENCH=2637
IDSOLVER=1161
FILE ID=node054/2655925-1276588079
PBS_JOBID= 11173559
Free space on /tmp= 62384 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655925-1276588079/watcher-2655925-1276588079 -o /tmp/evaluation-result-2655925-1276588079/solver-2655925-1276588079 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655925-1276588079.opb

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

MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611
RANDOM SEED=1987039856

node054.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1703056 kB
Buffers:         14752 kB
Cached:         236312 kB
SwapCached:          0 kB
Active:          93536 kB
Inactive:       216596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1703056 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3236 kB
Writeback:           0 kB
AnonPages:       59076 kB
Mapped:          15256 kB
Slab:            24264 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181148 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62380 MiB
End job on node054 at 2010-06-15 10:18:02