Trace number 2680677

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 (fixed)? (TO) 1800.04 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
MD5SUM292e71503f1e4f136e087e61da3c7ed4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 118
Optimality of the best value was proved NO
Number of variables2470
Total number of constraints4744
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 constraints4744
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1357
Number of bits of the biggest sum of numbers11
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.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680677-1277456731.opb.
0.00/0.00	c Instance file HOME/instance-2680677-1277456731.opb
0.00/0.00	c File size is 1119445 bytes.
0.19/0.22	c Highest Coefficient sum: 1357
0.19/0.22	c ============================[ Problem Statistics ]=============================
0.19/0.22	c |                                                                             |
0.19/0.22	c |  Parsing time:          0.21         s                                      |
0.19/0.22	c |  Number Variables:      2470                                                |
0.19/0.22	c |  Number Clauses:        0                                                   |
0.19/0.22	c |  Number Cardinality:    0                                                   |
0.19/0.22	c |  Number PB Constraints: 4744                                                |
0.19/0.23	c ============================[ Search Statistics ]==============================
0.19/0.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    2470     4744   140124 |     5000        0    nan |  0.000 % |
0.59/0.68	c |       101 |    2470     4744   140124 |     5500      101     31 |  0.000 % |
1.00/1.08	c |       253 |    2470     4744   140124 |     6050      253     31 |  0.000 % |
1.49/1.52	c |       478 |    2470     4744   140124 |     6655      478     30 |  0.000 % |
1.88/1.96	c |       815 |    2470     4744   140124 |     7320      815     29 |  0.000 % |
2.79/2.83	c |      1321 |    2470     4744   140124 |     8052     1321     32 |  0.000 % |
4.19/4.24	c |      2080 |    2470     4744   140124 |     8857     2080     35 |  0.000 % |
6.09/6.13	c |      3220 |    2470     4744   140124 |     9743     3220     36 |  0.000 % |
9.18/9.29	c |      4929 |    2470     4744   140124 |    10717     4929     34 |  0.000 % |
15.29/15.33	c |      7493 |    2470     4744   140124 |    11789     7493     34 |  0.000 % |
18.70/18.79	c ===============================================================================
18.70/18.79	c New solution: 164
18.70/18.79	o 164
18.70/18.79	c Elapsed CPU time: 18.7302 s	Remaining CPU time: 161.27 s
18.70/18.79	c ===============================================================================
18.70/18.79	c |      9006 |    2470     4745   140132 |     5000     9006     36 |  0.000 % |
18.99/19.00	c |      9107 |    2470     4745   140132 |     5500     4604     37 |  0.000 % |
19.19/19.27	c |      9257 |    2470     4745   140132 |     6050     4754     37 |  0.000 % |
19.79/19.84	c |      9483 |    2470     4745   140132 |     6655     4980     37 |  0.000 % |
20.38/20.43	c |      9821 |    2470     4745   140132 |     7320     5318     36 |  0.000 % |
21.28/21.37	c |     10328 |    2470     4745   140132 |     8052     5825     37 |  0.000 % |
23.09/23.10	c |     11088 |    2470     4745   140132 |     8857     6585     37 |  0.000 % |
24.98/25.01	c |     12227 |    2470     4745   140132 |     9743     7724     37 |  0.000 % |
27.78/27.87	c |     13935 |    2470     4745   140132 |    10717     9432     36 |  0.000 % |
28.59/28.66	c ===============================================================================
28.59/28.66	c New solution: 163
28.59/28.66	o 163
28.59/28.66	c Elapsed CPU time: 28.5647 s	Remaining CPU time: 151.435 s
28.59/28.66	c ===============================================================================
28.59/28.66	c |     14387 |    2470     4746   140140 |     5000     9884     36 |  0.000 % |
28.88/28.91	c |     14488 |    2470     4746   140140 |     5500     5043     35 |  0.000 % |
29.08/29.14	c |     14639 |    2470     4746   140140 |     6050     5194     35 |  0.000 % |
29.59/29.62	c |     14864 |    2470     4746   140140 |     6655     5419     35 |  0.000 % |
29.88/29.97	c |     15202 |    2470     4746   140140 |     7320     5757     35 |  0.000 % |
30.69/30.74	c |     15708 |    2470     4746   140140 |     8052     6263     35 |  0.000 % |
31.58/31.68	c |     16467 |    2470     4746   140140 |     8857     7022     34 |  0.000 % |
34.09/34.18	c |     17606 |    2470     4746   140140 |     9743     8161     35 |  0.000 % |
37.38/37.41	c |     19316 |    2470     4746   140140 |    10717     9871     35 |  0.000 % |
37.77/37.85	c ===============================================================================
37.77/37.85	c New solution: 161
37.77/37.85	o 161
37.77/37.85	c Elapsed CPU time: 37.7213 s	Remaining CPU time: 142.279 s
37.77/37.85	c ===============================================================================
37.77/37.85	c |     19556 |    2470     4747   140148 |     5000    10111     36 |  0.000 % |
37.97/38.03	c |     19656 |    2470     4747   140148 |     5500     2628     37 |  0.000 % |
38.27/38.31	c |     19806 |    2470     4747   140148 |     6050     2778     37 |  0.000 % |
38.68/38.72	c |     20031 |    2470     4747   140148 |     6655     3003     36 |  0.000 % |
39.28/39.34	c |     20369 |    2470     4747   140148 |     7320     3341     37 |  0.000 % |
40.28/40.37	c |     20876 |    2470     4747   140148 |     8052     3848     37 |  0.000 % |
41.37/41.43	c ===============================================================================
41.37/41.43	c New solution: 156
41.37/41.43	o 156
41.37/41.43	c Elapsed CPU time: 41.2837 s	Remaining CPU time: 138.716 s
41.37/41.43	c ===============================================================================
41.37/41.43	c |     21374 |    2470     4748   140156 |     5000     4346     38 |  0.000 % |
41.47/41.59	c |     21474 |    2470     4748   140156 |     5500     4446     38 |  0.000 % |
41.68/41.79	c |     21624 |    2470     4748   140156 |     6050     4596     37 |  0.000 % |
42.17/42.22	c |     21850 |    2470     4748   140156 |     6655     4822     37 |  0.000 % |
42.58/42.64	c |     22187 |    2470     4748   140156 |     7320     5159     37 |  0.000 % |
43.18/43.25	c |     22693 |    2470     4748   140156 |     8052     5665     37 |  0.000 % |
44.98/45.01	c |     23452 |    2470     4748   140156 |     8857     6424     36 |  0.000 % |
46.78/46.86	c |     24591 |    2470     4748   140156 |     9743     7563     37 |  0.000 % |
49.68/49.76	c |     26299 |    2470     4748   140156 |    10717     9271     35 |  0.000 % |
51.08/51.18	c ===============================================================================
51.08/51.18	c New solution: 154
51.08/51.18	o 154
51.08/51.18	c Elapsed CPU time: 51.0062 s	Remaining CPU time: 128.994 s
51.08/51.18	c ===============================================================================
51.08/51.18	c |     27318 |    2470     4749   140164 |     5000    10290     35 |  0.000 % |
51.38/51.41	c |     27421 |    2470     4749   140164 |     5500     2676     31 |  0.000 % |
51.58/51.61	c |     27575 |    2470     4749   140164 |     6050     2830     31 |  0.000 % |
51.78/51.80	c |     27801 |    2470     4749   140164 |     6655     3056     30 |  0.000 % |
52.47/52.54	c |     28138 |    2470     4749   140164 |     7320     3393     32 |  0.000 % |
53.47/53.56	c |     28646 |    2470     4749   140164 |     8052     3901     31 |  0.000 % |
54.58/54.65	c |     29405 |    2470     4749   140164 |     8857     4660     31 |  0.000 % |
56.67/56.72	c |     30544 |    2470     4749   140164 |     9743     5799     32 |  0.000 % |
59.57/59.69	c |     32252 |    2470     4749   140164 |    10717     7507     33 |  0.000 % |
62.77/62.80	c |     34815 |    2470     4749   140164 |    11789    10070     33 |  0.000 % |
63.37/63.40	c ===============================================================================
63.37/63.40	c New solution: 153
63.37/63.40	o 153
63.37/63.40	c Elapsed CPU time: 63.1854 s	Remaining CPU time: 116.815 s
63.37/63.40	c ===============================================================================
63.37/63.40	c |     35195 |    2470     4750   140172 |     5000    10450     33 |  0.000 % |
63.47/63.58	c |     35296 |    2470     4750   140172 |     5500     2714     33 |  0.000 % |
63.87/63.97	c |     35447 |    2470     4750   140172 |     6050     2865     33 |  0.000 % |
64.07/64.20	c |     35673 |    2470     4750   140172 |     6655     3091     32 |  0.000 % |
64.87/64.91	c |     36010 |    2470     4750   140172 |     7320     3428     33 |  0.000 % |
65.17/65.29	c ===============================================================================
65.17/65.29	c New solution: 152
65.17/65.29	o 152
65.17/65.29	c Elapsed CPU time: 65.0721 s	Remaining CPU time: 114.928 s
65.17/65.29	c ===============================================================================
65.17/65.29	c |     36208 |    2470     4751   140180 |     5000     3626     34 |  0.000 % |
65.47/65.50	c |     36309 |    2470     4751   140180 |     5500     3727     33 |  0.000 % |
65.67/65.77	c |     36459 |    2470     4751   140180 |     6050     3877     33 |  0.000 % |
66.07/66.10	c |     36684 |    2470     4751   140180 |     6655     4102     33 |  0.000 % |
66.57/66.63	c |     37021 |    2470     4751   140180 |     7320     4439     34 |  0.000 % |
67.27/67.30	c |     37527 |    2470     4751   140180 |     8052     4945     33 |  0.000 % |
69.07/69.17	c |     38286 |    2470     4751   140180 |     8857     5704     34 |  0.000 % |
70.57/70.60	c |     39427 |    2470     4751   140180 |     9743     6845     33 |  0.000 % |
71.27/71.40	c ===============================================================================
71.27/71.40	c New solution: 151
71.27/71.40	o 151
71.27/71.40	c Elapsed CPU time: 71.1532 s	Remaining CPU time: 108.847 s
71.27/71.40	c ===============================================================================
71.27/71.40	c |     40050 |    2470     4752   140188 |     5000     7468     33 |  0.000 % |
71.48/71.56	c |     40150 |    2470     4752   140188 |     5500     3834     32 |  0.000 % |
71.77/71.86	c |     40301 |    2470     4752   140188 |     6050     3985     32 |  0.000 % |
72.07/72.19	c |     40527 |    2470     4752   140188 |     6655     4211     32 |  0.000 % |
72.66/72.74	c |     40864 |    2470     4752   140188 |     7320     4548     33 |  0.000 % |
73.37/73.48	c |     41370 |    2470     4752   140188 |     8052     5054     32 |  0.000 % |
74.37/74.43	c |     42129 |    2470     4752   140188 |     8857     5813     31 |  0.000 % |
77.06/77.16	c |     43269 |    2470     4752   140188 |     9743     6953     33 |  0.000 % |
78.07/78.16	c ===============================================================================
78.07/78.16	c New solution: 133
78.07/78.16	o 133
78.07/78.16	c Elapsed CPU time: 77.8992 s	Remaining CPU time: 102.101 s
78.07/78.16	c ===============================================================================
78.07/78.16	c |     43877 |    2470     4753   140196 |     5000     7561     33 |  0.000 % |
78.26/78.32	c |     43977 |    2470     4753   140196 |     5500     3881     33 |  0.000 % |
78.36/78.49	c |     44128 |    2470     4753   140196 |     6050     4032     33 |  0.000 % |
78.87/78.91	c |     44355 |    2470     4753   140196 |     6655     4259     33 |  0.000 % |
79.37/79.45	c |     44692 |    2470     4753   140196 |     7320     4596     33 |  0.000 % |
79.97/80.08	c |     45199 |    2470     4753   140196 |     8052     5103     33 |  0.000 % |
81.16/81.27	c |     45959 |    2470     4753   140196 |     8857     5863     33 |  0.000 % |
83.67/83.72	c |     47098 |    2462     4753   140196 |     9743     6049     33 |  0.324 % |
87.76/87.81	c |     48806 |    2462     4753   140196 |    10717     7757     35 |  0.324 % |
92.86/92.96	c |     51368 |    2462     4753   140196 |    11789    10319     37 |  0.324 % |
99.96/100.05	c |     55212 |    2462     4753   140196 |    12968     8008     44 |  0.324 % |
107.67/107.70	c |     60981 |    2462     4753   140196 |    14265     7225     33 |  0.324 % |
121.05/121.19	c |     69632 |    2462     4753   140196 |    15692     8618     32 |  0.324 % |
137.64/137.79	c |     82607 |    2462     4753   140196 |    17261    13685     30 |  0.324 % |
180.53/180.60	c There are 8 assigned variables. 0 in cost function.
180.83/180.94	c core #1
180.83/180.94	c 
180.83/180.94	c 
180.83/180.94	c Core size: 9	Core Weight: 1	Total Weight: 1
180.83/180.94	c
180.83/180.94	c
180.83/180.94	c core #2
180.83/180.94	c 
180.83/180.94	c 
180.83/180.94	c Core size: 11	Core Weight: 1	Total Weight: 2
180.83/180.94	c
180.83/180.94	c
180.83/180.94	c ============================[ Search Statistics ]==============================
180.83/180.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.83/180.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.83/180.94	c ===============================================================================
180.83/180.94	c |         0 |    2407     4784   129730 |     5000        0    nan |  0.000 % |
180.83/180.96	c ===============================================================================
180.93/181.05	c core #3
180.93/181.05	c 
180.93/181.05	c 
180.93/181.05	c Core size: 15	Core Weight: 1	Total Weight: 3
180.93/181.05	c
180.93/181.05	c
180.93/181.05	c ============================[ Search Statistics ]==============================
180.93/181.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.93/181.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.93/181.05	c ===============================================================================
180.93/181.05	c |         0 |    2415     4791   129740 |     5000        0    nan |  0.000 % |
180.93/181.06	c ===============================================================================
181.03/181.16	c core #4
181.03/181.16	c 
181.03/181.16	c 
181.03/181.16	c Core size: 14	Core Weight: 1	Total Weight: 4
181.03/181.16	c
181.03/181.16	c
181.03/181.16	c ============================[ Search Statistics ]==============================
181.03/181.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.03/181.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.03/181.16	c ===============================================================================
181.03/181.16	c |         0 |    2434     4797   129754 |     5000        0    nan |  0.000 % |
181.03/181.18	c ===============================================================================
181.13/181.28	c core #5
181.13/181.28	c 
181.13/181.28	c 
181.13/181.28	c Core size: 16	Core Weight: 1	Total Weight: 5
181.13/181.28	c
181.13/181.28	c
181.13/181.28	c ============================[ Search Statistics ]==============================
181.13/181.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.13/181.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.13/181.28	c ===============================================================================
181.13/181.28	c |         0 |    2444     4803   129769 |     5000        0    nan |  0.000 % |
181.23/181.32	c ===============================================================================
181.34/181.42	c core #6
181.34/181.42	c 
181.34/181.42	c 
181.34/181.42	c Core size: 14	Core Weight: 3	Total Weight: 8
181.34/181.42	c
181.34/181.42	c
181.34/181.42	c ============================[ Search Statistics ]==============================
181.34/181.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.34/181.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.34/181.42	c ===============================================================================
181.34/181.42	c |         0 |    2462     4808   129786 |     5000        0    nan |  0.000 % |
181.34/181.49	c ===============================================================================
181.44/181.59	c core #7
181.44/181.59	c 
181.44/181.59	c 
181.44/181.59	c Core size: 19	Core Weight: 1	Total Weight: 9
181.44/181.59	c
181.44/181.59	c
181.44/181.59	c ============================[ Search Statistics ]==============================
181.44/181.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.44/181.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.44/181.59	c ===============================================================================
181.44/181.59	c |         0 |    2473     4813   129804 |     5000        0    nan |  0.000 % |
181.63/181.73	c ===============================================================================
181.73/181.83	c core #8
181.73/181.83	c 
181.73/181.83	c 
181.73/181.83	c Core size: 20	Core Weight: 1	Total Weight: 10
181.73/181.83	c
181.73/181.83	c
181.73/181.83	c ============================[ Search Statistics ]==============================
181.73/181.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.73/181.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.73/181.83	c ===============================================================================
181.73/181.83	c |         0 |    2485     4818   129824 |     5000        0    nan |  0.000 % |
182.03/182.12	c |       100 |    2485     4818   129824 |     5500      100     21 |  2.050 % |
182.44/182.53	c |       252 |    2484     4818   129824 |     6050      252     22 |  2.089 % |
182.63/182.73	c ===============================================================================
182.73/182.81	c core #9
182.73/182.81	c 
182.73/182.81	c 
182.73/182.81	c Core size: 14	Core Weight: 6	Total Weight: 16
182.73/182.81	c
182.73/182.81	c
182.73/182.81	c ============================[ Search Statistics ]==============================
182.73/182.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.81	c ===============================================================================
182.73/182.81	c |         0 |    2502     4822   129846 |     5000        0    nan |  0.000 % |
183.03/183.17	c |       100 |    2502     4822   129846 |     5500      100     22 |  1.536 % |
183.54/183.64	c |       250 |    2494     4822   129846 |     6050      250     24 |  2.440 % |
183.64/183.78	c ===============================================================================
183.73/183.86	c core #10
183.73/183.86	c 
183.73/183.86	c 
183.73/183.86	c Core size: 33	Core Weight: 1	Total Weight: 17
183.73/183.86	c
183.73/183.86	c
183.73/183.86	c ============================[ Search Statistics ]==============================
183.73/183.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.86	c ===============================================================================
183.73/183.86	c |         0 |    2515     4828   129873 |     5000        0    nan |  0.000 % |
184.13/184.21	c |       101 |    2515     4828   129873 |     5500      101     21 |  1.527 % |
184.53/184.66	c |       251 |    2511     4828   129873 |     6050      251     25 |  1.919 % |
184.93/185.09	c |       476 |    2506     4828   129873 |     6655      476     25 |  3.021 % |
185.84/185.98	c ===============================================================================
185.93/186.08	c core #11
185.93/186.08	c 
185.93/186.08	c 
185.93/186.08	c Core size: 32	Core Weight: 1	Total Weight: 18
185.93/186.08	c
185.93/186.08	c
185.93/186.08	c ============================[ Search Statistics ]==============================
185.93/186.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.93/186.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.93/186.08	c ===============================================================================
185.93/186.08	c |         0 |    2529     4834   129902 |     5000        0    nan |  0.000 % |
186.23/186.38	c |       100 |    2529     4834   129902 |     5500      100     21 |  1.519 % |
186.63/186.79	c |       251 |    2529     4834   129902 |     6050      251     24 |  1.519 % |
187.23/187.39	c |       477 |    2529     4834   129902 |     6655      477     24 |  1.519 % |
188.13/188.27	c |       815 |    2528     4834   129902 |     7320      405     24 |  1.558 % |
189.43/189.55	c |      1322 |    2517     4834   129902 |     8052      912     26 |  3.232 % |
190.14/190.25	c ===============================================================================
190.24/190.35	c core #12
190.24/190.35	c 
190.24/190.35	c 
190.24/190.35	c Core size: 26	Core Weight: 1	Total Weight: 19
190.24/190.35	c
190.24/190.35	c
190.24/190.35	c ============================[ Search Statistics ]==============================
190.24/190.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.35	c ===============================================================================
190.24/190.35	c |         0 |    2534     4838   129909 |     5000        0    nan |  0.000 % |
190.53/190.66	c |       101 |    2534     4838   129909 |     5500      101     24 |  1.516 % |
190.93/191.04	c |       253 |    2534     4838   129909 |     6050      253     26 |  1.516 % |
191.63/191.74	c |       479 |    2534     4838   129909 |     6655      479     27 |  1.516 % |
192.33/192.48	c |       816 |    2534     4838   129909 |     7320      816     28 |  1.516 % |
193.44/193.57	c |      1323 |    2534     4838   129909 |     8052     1323     29 |  1.516 % |
195.52/195.69	c |      2083 |    2534     4838   129909 |     8857     2083     29 |  1.516 % |
198.43/198.50	c |      3222 |    2532     4838   129909 |     9743     2109     30 |  1.594 % |
198.83/198.91	c ===============================================================================
198.93/199.02	c core #13
198.93/199.02	c 
198.93/199.02	c 
198.93/199.02	c Core size: 30	Core Weight: 1	Total Weight: 20
198.93/199.02	c
198.93/199.02	c
198.93/199.02	c ============================[ Search Statistics ]==============================
198.93/199.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.93/199.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.93/199.02	c ===============================================================================
198.93/199.02	c |         0 |    2546     4842   129930 |     5000        0    nan |  0.000 % |
199.23/199.33	c |       100 |    2546     4842   129930 |     5500      100     22 |  1.509 % |
199.52/199.60	c |       250 |    2546     4842   129930 |     6050      250     23 |  1.509 % |
200.03/200.12	c |       476 |    2545     4842   129930 |     6655      476     23 |  1.780 % |
200.92/201.05	c |       814 |    2545     4842   129930 |     7320      814     24 |  1.780 % |
202.12/202.26	c |      1321 |    2539     4842   129930 |     8052     1107     24 |  1.819 % |
204.02/204.20	c |      2080 |    2539     4842   129930 |     8857     1866     25 |  1.818 % |
206.92/207.08	c |      3222 |    2537     4842   129930 |     9743     2699     25 |  1.858 % |
207.22/207.36	c ===============================================================================
207.32/207.46	c core #14
207.32/207.46	c 
207.32/207.46	c 
207.32/207.46	c Core size: 21	Core Weight: 12	Total Weight: 32
207.32/207.46	c
207.32/207.46	c
207.32/207.46	c ============================[ Search Statistics ]==============================
207.32/207.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.32/207.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.32/207.46	c ===============================================================================
207.32/207.46	c |         0 |    2562     4845   129961 |     5000        0    nan |  0.000 % |
207.62/207.74	c |       101 |    2562     4845   129961 |     5500      101     23 |  1.005 % |
207.92/208.00	c |       252 |    2551     4845   129961 |     6050      252     22 |  1.777 % |
208.32/208.44	c |       477 |    2551     4845   129961 |     6655      477     23 |  1.777 % |
208.92/209.01	c |       815 |    2550     4845   129961 |     7320      815     22 |  2.165 % |
210.12/210.20	c |      1322 |    2549     4845   129961 |     8052     1322     23 |  2.164 % |
211.72/211.82	c |      2081 |    2529     4845   129961 |     8857     1854     23 |  5.255 % |
214.72/214.81	c |      3222 |    2529     4845   129961 |     9743     2995     24 |  5.256 % |
218.42/218.56	c |      4931 |    2452     4845   129961 |    10717     4098     25 |  5.255 % |
224.33/224.48	c |      7493 |    2448     4845   129961 |    11789     3850     25 |  7.226 % |
226.42/226.57	c ===============================================================================
226.52/226.68	c core #15
226.52/226.68	c 
226.52/226.68	c 
226.52/226.68	c Core size: 33	Core Weight: 1	Total Weight: 33
226.52/226.68	c
226.52/226.68	c
226.52/226.68	c ============================[ Search Statistics ]==============================
226.52/226.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
226.52/226.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
226.52/226.68	c ===============================================================================
226.52/226.68	c |         0 |    2577     4850   129993 |     5000        0    nan |  0.000 % |
226.81/226.98	c |       101 |    2577     4850   129993 |     5500      101     19 |  0.999 % |
227.31/227.40	c |       251 |    2577     4850   129993 |     6050      251     22 |  0.999 % |
227.82/227.95	c |       476 |    2577     4850   129993 |     6655      476     23 |  0.999 % |
228.32/228.48	c |       814 |    2569     4850   129993 |     7320      808     22 |  1.306 % |
229.01/229.14	c |      1321 |    2569     4850   129993 |     8052     1315     23 |  1.306 % |
230.01/230.18	c |      2080 |    2569     4850   129993 |     8857     2074     23 |  1.306 % |
231.62/231.74	c |      3219 |    2569     4850   129993 |     9743     3213     23 |  1.306 % |
234.82/234.98	c |      4929 |    2569     4850   129993 |    10717     4923     24 |  1.306 % |
239.61/239.73	c |      7492 |    2569     4850   129993 |    11789     7486     24 |  1.306 % |
246.51/246.70	c |     11336 |    2569     4850   129993 |    12968    11330     24 |  1.306 % |
257.90/258.07	c ===============================================================================
258.01/258.18	c core #16
258.01/258.18	c 
258.01/258.18	c 
258.01/258.18	c Core size: 30	Core Weight: 1	Total Weight: 34
258.01/258.18	c
258.01/258.18	c
258.01/258.18	c ============================[ Search Statistics ]==============================
258.01/258.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
258.01/258.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
258.01/258.18	c ===============================================================================
258.01/258.18	c |         0 |    2584     4856   130011 |     5000        0    nan |  0.000 % |
258.31/258.44	c |       101 |    2584     4856   130011 |     5500      101     21 |  0.996 % |
258.61/258.77	c |       253 |    2584     4856   130011 |     6050      253     24 |  0.996 % |
259.11/259.27	c |       480 |    2584     4856   130011 |     6655      480     26 |  0.996 % |
259.80/259.98	c |       817 |    2584     4856   130011 |     7320      817     26 |  0.996 % |
261.00/261.14	c |      1323 |    2584     4856   130011 |     8052     1323     28 |  0.996 % |
262.60/262.75	c |      2082 |    2584     4856   130011 |     8857     2082     30 |  0.996 % |
265.31/265.47	c |      3221 |    2584     4856   130011 |     9743     3221     32 |  0.996 % |
268.10/268.20	c |      4931 |    2584     4856   130011 |    10717     4931     32 |  0.996 % |
274.09/274.28	c |      7494 |    2584     4856   130011 |    11789     7494     33 |  0.996 % |
284.70/284.86	c |     11338 |    2584     4856   130011 |    12968    11338     33 |  0.996 % |
299.39/299.54	c |     17104 |    2574     4856   130011 |    14265    10576     33 |  1.379 % |
316.28/316.41	c |     25754 |    2569     4856   130011 |    15692     1689     27 |  1.572 % |
317.09/317.23	c ===============================================================================
317.29/317.41	c core #17
317.29/317.41	c 
317.29/317.41	c 
317.29/317.41	c Core size: 46	Core Weight: 1	Total Weight: 35
317.29/317.41	c
317.29/317.41	c
317.29/317.41	c ============================[ Search Statistics ]==============================
317.29/317.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
317.29/317.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
317.29/317.41	c ===============================================================================
317.29/317.41	c |         0 |    2608     4862   130063 |     5000        0    nan |  0.000 % |
317.48/317.69	c |       101 |    2608     4862   130063 |     5500      101     25 |  0.987 % |
317.88/318.04	c |       251 |    2608     4862   130063 |     6050      251     27 |  0.987 % |
318.28/318.41	c |       476 |    2608     4862   130063 |     6655      476     25 |  0.987 % |
318.89/319.04	c |       814 |    2608     4862   130063 |     7320      814     25 |  0.987 % |
319.99/320.20	c |      1320 |    2608     4862   130063 |     8052     1320     27 |  0.987 % |
321.38/321.59	c |      2079 |    2608     4862   130063 |     8857     2079     27 |  0.987 % |
323.19/323.32	c |      3218 |    2608     4862   130063 |     9743     3218     27 |  0.987 % |
326.58/326.75	c |      4926 |    2608     4862   130063 |    10717     4926     28 |  0.987 % |
332.58/332.75	c |      7488 |    2608     4862   130063 |    11789     7488     29 |  0.988 % |
340.98/341.17	c |     11332 |    2608     4862   130063 |    12968    11332     29 |  0.987 % |
352.17/352.33	c |     17101 |    2608     4862   130063 |    14265    10508     30 |  0.987 % |
368.56/368.79	c |     25750 |    2608     4862   130063 |    15692    11905     30 |  0.987 % |
392.76/392.93	c |     38725 |    2608     4862   130063 |    17261     8913     37 |  0.987 % |
431.25/431.46	c |     58187 |    2608     4862   130063 |    18987    10641     34 |  0.988 % |
475.83/476.00	c ===============================================================================
476.04/476.21	c core #18
476.04/476.21	c 
476.04/476.21	c 
476.04/476.21	c Core size: 38	Core Weight: 1	Total Weight: 36
476.04/476.21	c
476.04/476.21	c
476.04/476.21	c ============================[ Search Statistics ]==============================
476.04/476.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
476.04/476.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
476.04/476.21	c ===============================================================================
476.04/476.21	c |         0 |    2621     4867   130091 |     5000        0    nan |  0.000 % |
476.33/476.52	c |       100 |    2621     4867   130091 |     5500      100     25 |  0.982 % |
476.63/476.84	c |       252 |    2621     4867   130091 |     6050      252     21 |  0.982 % |
476.93/477.12	c |       478 |    2621     4867   130091 |     6655      478     21 |  0.982 % |
477.63/477.89	c |       816 |    2621     4867   130091 |     7320      816     22 |  0.982 % |
478.13/478.38	c |      1324 |    2621     4867   130091 |     8052     1324     21 |  0.982 % |
480.03/480.22	c |      2084 |    2621     4867   130091 |     8857     2084     24 |  0.982 % |
482.43/482.62	c |      3223 |    2621     4867   130091 |     9743     3223     26 |  0.982 % |
485.33/485.51	c |      4931 |    2621     4867   130091 |    10717     4931     27 |  0.982 % |
489.02/489.21	c |      7493 |    2621     4867   130091 |    11789     7493     26 |  0.983 % |
494.13/494.39	c |     11337 |    2613     4867   130091 |    12968     8599     26 |  1.284 % |
503.33/503.58	c |     17103 |    2612     4867   130091 |    14265    10751     26 |  1.322 % |
509.03/509.29	c ===============================================================================
509.13/509.39	c core #19
509.13/509.39	c 
509.13/509.39	c 
509.13/509.39	c Core size: 25	Core Weight: 2	Total Weight: 38
509.13/509.39	c
509.13/509.39	c
509.13/509.39	c ============================[ Search Statistics ]==============================
509.13/509.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
509.13/509.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
509.13/509.39	c ===============================================================================
509.13/509.39	c |         0 |    2625     4870   130097 |     5000        0    nan |  0.000 % |
509.42/509.64	c |       100 |    2625     4870   130097 |     5500      100     20 |  0.981 % |
509.72/509.90	c |       251 |    2625     4870   130097 |     6050      251     19 |  0.981 % |
510.02/510.24	c |       477 |    2625     4870   130097 |     6655      477     19 |  0.981 % |
510.72/510.92	c |       814 |    2625     4870   130097 |     7320      814     21 |  0.981 % |
511.72/511.92	c |      1321 |    2625     4870   130097 |     8052     1321     23 |  0.981 % |
512.62/512.84	c |      2081 |    2625     4870   130097 |     8857     2081     23 |  0.981 % |
515.12/515.32	c |      3220 |    2625     4870   130097 |     9743     3220     26 |  0.981 % |
518.02/518.20	c |      4929 |    2625     4870   130097 |    10717     4929     27 |  0.981 % |
524.02/524.26	c |      7491 |    2625     4870   130097 |    11789     7491     28 |  0.981 % |
529.92/530.18	c |     11335 |    2625     4870   130097 |    12968    11335     27 |  0.981 % |
547.70/547.91	c |     17101 |    2625     4870   130097 |    14265    10546     27 |  0.981 % |
564.70/564.91	c |     25752 |    2625     4870   130097 |    15692    11949     30 |  0.981 % |
591.50/591.76	c |     38727 |    2625     4870   130097 |    17261     9074     31 |  0.981 % |
629.48/629.78	c ===============================================================================
629.69/629.95	c core #20
629.69/629.95	c 
629.69/629.95	c 
629.69/629.95	c Core size: 31	Core Weight: 1	Total Weight: 39
629.69/629.95	c
629.69/629.95	c
629.69/629.95	c ============================[ Search Statistics ]==============================
629.69/629.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
629.69/629.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
629.69/629.95	c ===============================================================================
629.69/629.95	c |         0 |    2634     4873   130113 |     5000        0    nan |  0.000 % |
629.88/630.20	c |       103 |    2634     4873   130113 |     5500      103     21 |  0.977 % |
630.18/630.44	c |       254 |    2634     4873   130113 |     6050      254     19 |  0.978 % |
630.38/630.69	c |       480 |    2634     4873   130113 |     6655      480     19 |  0.977 % |
631.09/631.36	c |       817 |    2634     4873   130113 |     7320      817     22 |  0.977 % |
631.88/632.19	c |      1323 |    2634     4873   130113 |     8052     1323     24 |  0.977 % |
633.48/633.73	c |      2083 |    2634     4873   130113 |     8857     2083     26 |  0.977 % |
634.98/635.27	c |      3222 |    2634     4873   130113 |     9743     3222     27 |  0.977 % |
638.28/638.55	c |      4930 |    2634     4873   130113 |    10717     4930     27 |  0.978 % |
641.78/642.01	c |      7493 |    2634     4873   130113 |    11789     7493     28 |  0.977 % |
648.18/648.49	c |     11337 |    2634     4873   130113 |    12968    11337     29 |  0.977 % |
659.17/659.47	c |     17103 |    2634     4873   130113 |    14265    10551     32 |  0.977 % |
675.07/675.33	c |     25752 |    2634     4873   130113 |    15692    12016     31 |  0.977 % |
705.16/705.49	c |     38726 |    2634     4873   130113 |    17261     9077     32 |  0.977 % |
739.25/739.54	c |     58189 |    2633     4873   130113 |    18987    13671     33 |  1.015 % |
753.15/753.49	c ===============================================================================
753.34/753.66	c core #21
753.34/753.66	c 
753.34/753.66	c 
753.34/753.66	c Core size: 32	Core Weight: 1	Total Weight: 40
753.34/753.66	c
753.34/753.66	c
753.34/753.66	c ============================[ Search Statistics ]==============================
753.34/753.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
753.34/753.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
753.34/753.66	c ===============================================================================
753.34/753.66	c |         0 |    2649     4876   130141 |     5000        0    nan |  0.000 % |
753.64/753.95	c |       100 |    2649     4876   130141 |     5500      100     25 |  0.972 % |
754.04/754.38	c |       250 |    2649     4876   130141 |     6050      250     26 |  0.972 % |
754.54/754.86	c |       475 |    2649     4876   130141 |     6655      475     25 |  0.972 % |
755.14/755.47	c |       813 |    2649     4876   130141 |     7320      813     27 |  0.972 % |
756.14/756.42	c |      1320 |    2649     4876   130141 |     8052     1320     27 |  0.972 % |
757.24/757.59	c |      2079 |    2649     4876   130141 |     8857     2079     27 |  0.972 % |
759.24/759.51	c |      3218 |    2649     4876   130141 |     9743     3218     26 |  0.972 % |
763.04/763.30	c |      4927 |    2649     4876   130141 |    10717     4927     28 |  0.972 % |
766.34/766.69	c |      7490 |    2649     4876   130141 |    11789     7490     27 |  0.972 % |
773.73/774.00	c |     11334 |    2649     4876   130141 |    12968    11334     28 |  0.972 % |
783.14/783.41	c |     17102 |    2649     4876   130141 |    14265    10580     28 |  0.973 % |
797.32/797.66	c |     25752 |    2649     4876   130141 |    15692    12037     27 |  0.972 % |
821.72/822.08	c |     38726 |    2649     4876   130141 |    17261     9007     30 |  0.972 % |
868.71/869.01	c |     58187 |    2649     4876   130141 |    18987    10617     30 |  0.973 % |
928.68/929.07	c |     87379 |    2585     4876   130141 |    20886    13733     31 |  3.365 % |
1023.75/1024.16	c |    131168 |    2585     4876   130141 |    22974    15345     32 |  3.365 % |
1157.31/1157.70	c |    196852 |    2585     4876   130141 |    25272    22894     30 |  3.364 % |
1359.24/1359.75	c |    295379 |    2585     4876   130141 |    27799    13547     32 |  3.365 % |
1676.44/1677.02	c |    443169 |    2585     4876   130141 |    30579    17361     31 |  3.364 % |

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-2680677-1277456731/watcher-2680677-1277456731 -o /tmp/evaluation-result-2680677-1277456731/solver-2680677-1277456731 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680677-1277456731.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: 1.01 1.03 0.95 3/106 24297
/proc/meminfo: memFree=1814844/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=3672 CPUtime=0
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 121274651 3760128 206 1992294400 134512640 135752675 4288313120 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 918 206 138 303 0 339 0

[startup+0.084905 s]
/proc/loadavg: 1.01 1.03 0.95 3/106 24297
/proc/meminfo: memFree=1814844/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=5276 CPUtime=0.07
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 766 0 0 0 7 0 0 0 25 0 1 0 121274651 5402624 684 1992294400 134512640 135752675 4288313120 18446744073709551615 135225961 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 1319 684 230 303 0 740 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5276

[startup+0.101907 s]
/proc/loadavg: 1.01 1.03 0.95 3/106 24297
/proc/meminfo: memFree=1814844/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=5672 CPUtime=0.09
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 880 0 0 0 9 0 0 0 25 0 1 0 121274651 5808128 798 1992294400 134512640 135752675 4288313120 18446744073709551615 134559951 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 1418 799 250 303 0 839 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5672

[startup+0.300943 s]
/proc/loadavg: 1.01 1.03 0.95 3/106 24297
/proc/meminfo: memFree=1814844/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=7192 CPUtime=0.29
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 1776 0 0 0 28 1 0 0 25 0 1 0 121274651 7364608 1371 1992294400 134512640 135752675 4288313120 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 1798 1371 143 303 0 1493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7192

[startup+0.701015 s]
/proc/loadavg: 1.01 1.03 0.95 3/106 24297
/proc/meminfo: memFree=1814844/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=7192 CPUtime=0.69
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 1777 0 0 0 68 1 0 0 25 0 1 0 121274651 7364608 1372 1992294400 134512640 135752675 4288313120 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 1798 1372 144 303 0 1493 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7192

[startup+1.50116 s]
/proc/loadavg: 1.01 1.03 0.95 2/107 24298
/proc/meminfo: memFree=1809628/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=7192 CPUtime=1.49
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 1777 0 0 0 148 1 0 0 25 0 1 0 121274651 7364608 1372 1992294400 134512640 135752675 4288313120 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 1798 1372 144 303 0 1493 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7192

[startup+3.10044 s]
/proc/loadavg: 1.00 1.03 0.95 2/107 24298
/proc/meminfo: memFree=1809380/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=7456 CPUtime=3.09
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 1827 0 0 0 307 2 0 0 25 0 1 0 121274651 7634944 1422 1992294400 134512640 135752675 4288313120 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 1864 1422 144 303 0 1559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7456

[startup+6.30202 s]
/proc/loadavg: 1.00 1.03 0.95 2/107 24298
/proc/meminfo: memFree=1808884/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=7984 CPUtime=6.29
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 1946 0 0 0 626 3 0 0 25 0 1 0 121274651 8175616 1541 1992294400 134512640 135752675 4288313120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 1996 1541 144 303 0 1691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7984

[startup+12.7012 s]
/proc/loadavg: 1.00 1.03 0.95 2/107 24298
/proc/meminfo: memFree=1808016/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=8644 CPUtime=12.68
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 2119 0 0 0 1264 4 0 0 25 0 1 0 121274651 8851456 1714 1992294400 134512640 135752675 4288313120 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 2161 1714 144 303 0 1856 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8644

[startup+25.5015 s]
/proc/loadavg: 1.00 1.03 0.95 2/107 24300
/proc/meminfo: memFree=1806776/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=10096 CPUtime=25.48
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 2482 0 0 0 2541 7 0 0 25 0 1 0 121274651 10338304 2077 1992294400 134512640 135752675 4288313120 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 2524 2077 145 303 0 2219 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10096

[startup+51.101 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 24300
/proc/meminfo: memFree=1803552/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=13392 CPUtime=51.08
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 3297 0 0 0 5092 16 0 0 25 0 1 0 121274651 13713408 2892 1992294400 134512640 135752675 4288313120 18446744073709551615 134616130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 3348 2892 145 303 0 3043 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13392

[startup+102.309 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 24302
/proc/meminfo: memFree=1796484/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=19860 CPUtime=102.27
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 4937 0 0 0 10197 30 0 0 25 0 1 0 121274651 20336640 4532 1992294400 134512640 135752675 4288313120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 4965 4532 145 303 0 4660 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19860

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/107 24302
/proc/meminfo: memFree=1788176/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=28184 CPUtime=162.24
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 7007 0 0 0 16175 49 0 0 25 0 1 0 121274651 28860416 6602 1992294400 134512640 135752675 4288313120 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 7046 6602 145 303 0 6741 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 28184

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/107 24304
/proc/meminfo: memFree=1781604/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=34588 CPUtime=222.22
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 8615 0 0 0 22159 63 0 0 25 0 1 0 121274651 35418112 8210 1992294400 134512640 135752675 4288313120 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 8647 8210 146 303 0 8342 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 34588

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24306
/proc/meminfo: memFree=1778380/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=37764 CPUtime=282.19
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 9395 0 0 0 28139 80 0 0 25 0 1 0 121274651 38670336 8990 1992294400 134512640 135752675 4288313120 18446744073709551615 134638968 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 9441 8990 146 303 0 9136 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 37764

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24308
/proc/meminfo: memFree=1773668/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=42412 CPUtime=342.18
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 10572 0 0 0 34123 95 0 0 25 0 1 0 121274651 43429888 10167 1992294400 134512640 135752675 4288313120 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 10603 10167 146 303 0 10298 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 42412

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24310
/proc/meminfo: memFree=1769204/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=46768 CPUtime=402.16
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 11670 0 0 0 40102 114 0 0 25 0 1 0 121274651 47890432 11265 1992294400 134512640 135752675 4288313120 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 11692 11265 146 303 0 11387 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 46768

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24310
/proc/meminfo: memFree=1764368/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=51736 CPUtime=462.13
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 12893 0 0 0 46084 129 0 0 25 0 1 0 121274651 52977664 12488 1992294400 134512640 135752675 4288313120 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 12934 12488 146 303 0 12629 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 51736

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24315
/proc/meminfo: memFree=1756804/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=58528 CPUtime=522.11
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 14592 0 0 0 52065 146 0 0 25 0 1 0 121274651 59932672 14187 1992294400 134512640 135752675 4288313120 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 14632 14187 146 303 0 14327 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 58528

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24317
/proc/meminfo: memFree=1756556/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=59056 CPUtime=582.1
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 14728 0 0 0 58048 162 0 0 25 0 1 0 121274651 60473344 14323 1992294400 134512640 135752675 4288313120 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 14764 14323 146 303 0 14459 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 59056

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24319
/proc/meminfo: memFree=1748992/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=66512 CPUtime=642.08
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 16605 0 0 0 64031 177 0 0 25 0 1 0 121274651 68108288 16200 1992294400 134512640 135752675 4288313120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 16628 16200 146 303 0 16323 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 66512

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24323
/proc/meminfo: memFree=1737956/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=77400 CPUtime=822.02
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 19312 0 0 0 81977 225 0 0 25 0 1 0 121274651 79257600 18907 1992294400 134512640 135752675 4288313120 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 19350 18907 146 303 0 19045 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 77400

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24325
/proc/meminfo: memFree=1734360/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=81292 CPUtime=881.99
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 20268 0 0 0 87960 239 0 0 25 0 1 0 121274651 83243008 19863 1992294400 134512640 135752675 4288313120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 20323 19863 146 303 0 20018 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 81292

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24327
/proc/meminfo: memFree=1730020/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=85400 CPUtime=941.98
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 21329 0 0 0 93944 254 0 0 25 0 1 0 121274651 87449600 20924 1992294400 134512640 135752675 4288313120 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 21350 20924 146 303 0 21045 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 85400

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24329
/proc/meminfo: memFree=1724564/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=90948 CPUtime=1001.96
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 22693 0 0 0 99927 269 0 0 25 0 1 0 121274651 93130752 22288 1992294400 134512640 135752675 4288313120 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 22737 22288 146 303 0 22432 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 90948

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24329
/proc/meminfo: memFree=1718612/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=96680 CPUtime=1061.94
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 24147 0 0 0 105909 285 0 0 25 0 1 0 121274651 99000320 23742 1992294400 134512640 135752675 4288313120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 24170 23742 146 303 0 23865 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 96680

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24331
/proc/meminfo: memFree=1712784/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=102516 CPUtime=1121.91
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 25602 0 0 0 111889 302 0 0 25 0 1 0 121274651 104976384 25197 1992294400 134512640 135752675 4288313120 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 25629 25197 146 303 0 25324 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 102516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24333
/proc/meminfo: memFree=1707204/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=108060 CPUtime=1181.9
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 26986 0 0 0 117872 318 0 0 25 0 1 0 121274651 110653440 26581 1992294400 134512640 135752675 4288313120 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 27015 26581 146 303 0 26710 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 108060

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 24335
/proc/meminfo: memFree=1701128/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=114064 CPUtime=1241.88
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 28453 0 0 0 123853 335 0 0 25 0 1 0 121274651 116801536 28048 1992294400 134512640 135752675 4288313120 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 28516 28048 146 303 0 28211 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 114064

[startup+1302.3 s]
/proc/loadavg: 1.06 1.01 0.96 2/107 24337
/proc/meminfo: memFree=1695052/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=120004 CPUtime=1301.87
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 29944 0 0 0 129835 352 0 0 25 0 1 0 121274651 122884096 29539 1992294400 134512640 135752675 4288313120 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 30001 29539 146 303 0 29696 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 120004

[startup+1362.3 s]
/proc/loadavg: 1.07 1.03 0.96 2/107 24337
/proc/meminfo: memFree=1689100/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=126096 CPUtime=1361.84
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 31458 0 0 0 135817 367 0 0 25 0 1 0 121274651 129122304 31053 1992294400 134512640 135752675 4288313120 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 31524 31053 146 303 0 31219 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 126096

[startup+1422.31 s]
/proc/loadavg: 1.07 1.03 0.97 2/107 24339
/proc/meminfo: memFree=1683644/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=131540 CPUtime=1421.82
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 32815 0 0 0 141800 382 0 0 25 0 1 0 121274651 134696960 32410 1992294400 134512640 135752675 4288313120 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 32885 32410 146 303 0 32580 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 131540

[startup+1482.3 s]
/proc/loadavg: 1.07 1.04 0.97 2/107 24341
/proc/meminfo: memFree=1678312/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=136864 CPUtime=1481.8
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 34137 0 0 0 147782 398 0 0 25 0 1 0 121274651 140148736 33732 1992294400 134512640 135752675 4288313120 18446744073709551615 134616156 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 34216 33732 146 303 0 33911 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 136864

[startup+1542.3 s]
/proc/loadavg: 1.06 1.04 0.98 2/107 24343
/proc/meminfo: memFree=1672608/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=142540 CPUtime=1541.78
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 35559 0 0 0 153764 414 0 0 25 0 1 0 121274651 145960960 35154 1992294400 134512640 135752675 4288313120 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 35635 35154 146 303 0 35330 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 142540

[startup+1602.3 s]
/proc/loadavg: 1.06 1.05 0.98 2/107 24345
/proc/meminfo: memFree=1667028/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=148104 CPUtime=1601.76
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 36962 0 0 0 159746 430 0 0 25 0 1 0 121274651 151658496 36557 1992294400 134512640 135752675 4288313120 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 37026 36557 146 303 0 36721 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 148104

[startup+1662.3 s]
/proc/loadavg: 1.06 1.05 0.99 2/107 24345
/proc/meminfo: memFree=1661076/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=153956 CPUtime=1661.74
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 38418 0 0 0 165728 446 0 0 25 0 1 0 121274651 157650944 38013 1992294400 134512640 135752675 4288313120 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 38489 38013 146 303 0 38184 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 153956

[startup+1722.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/107 24347
/proc/meminfo: memFree=1655372/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=159516 CPUtime=1721.72
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 39807 0 0 0 171709 463 0 0 25 0 1 0 121274651 163344384 39402 1992294400 134512640 135752675 4288313120 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 39879 39402 146 303 0 39574 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 159516

[startup+1782.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 24349
/proc/meminfo: memFree=1650288/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=164532 CPUtime=1781.7
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 41059 0 0 0 177692 478 0 0 25 0 1 0 121274651 168480768 40654 1992294400 134512640 135752675 4288313120 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 41133 40654 146 303 0 40828 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 164532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 24349
/proc/meminfo: memFree=1648552/2059040 swapFree=4136480/4192956
[pid=24297] ppid=24295 vsize=166248 CPUtime=1800.01
/proc/24297/stat : 24297 (wbo1.4b) R 24295 24297 24033 0 -1 4202496 41482 0 0 0 179518 483 0 0 25 0 1 0 121274651 170237952 41077 1992294400 134512640 135752675 4288313120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24297/statm: 41562 41077 146 303 0 41257 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 166248

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.04
CPU user time (s): 1795.18
CPU system time (s): 4.85626
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 166248

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

runsolver used 2.76058 second user time and 8.74267 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-25 11:05:31
IDJOB=2680677
IDBENCH=2640
IDSOLVER=1190
FILE ID=node012/2680677-1277456731
PBS_JOBID= 11188146
Free space on /tmp= 62432 MiB

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

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

MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4
RANDOM SEED=385676921

node012.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.258
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.51
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.258
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1815248 kB
Buffers:         31420 kB
Cached:         111836 kB
SwapCached:       9008 kB
Active:          34024 kB
Inactive:       122272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1815248 kB
SwapTotal:     4192956 kB
SwapFree:      4136480 kB
Dirty:            3752 kB
Writeback:           0 kB
AnonPages:       11624 kB
Mapped:           8404 kB
Slab:            65380 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182796 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62428 MiB
End job on node012 at 2010-06-25 11:35:34