Trace number 2702524

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.4bWrong Opt.-22 180.928 180.977

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_2.opb
MD5SUM4a1dc018d8373d1119ec5a7a226f506e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint25
Maximum length of a constraint44
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6220
Sum of products size (including duplicates)12440
Number of different products3110
Sum of products size6220

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702524-1278569320.opb.
0.00/0.00	c Instance file HOME/instance-2702524-1278569320.opb
0.00/0.00	c File size is 256583 bytes.
0.00/0.03	c Highest Coefficient sum: 44
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.04         s                                      |
0.00/0.03	c |  Number Variables:      3310                                                |
0.00/0.03	c |  Number Clauses:        3110                                                |
0.00/0.03	c |  Number Cardinality:    400                                                 |
0.00/0.03	c |  Number PB Constraints: 3110                                                |
0.03/0.04	c ============================[ Search Statistics ]==============================
0.03/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.03/0.04	c ===============================================================================
0.03/0.04	c |         0 |     200     6620    15298 |     5000        0    nan |  0.000 % |
0.03/0.04	c ===============================================================================
0.03/0.04	c New solution: 200
0.03/0.04	o 200
0.03/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 179.953 s
0.03/0.04	c ===============================================================================
0.03/0.04	c |         0 |     200     6621    15498 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 199
0.03/0.05	o 199
0.03/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 179.952 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |     200     6622    15698 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 198
0.03/0.05	o 198
0.03/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 179.951 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |     200     6623    15898 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 197
0.03/0.05	o 197
0.03/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 179.95 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |     200     6624    16098 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 196
0.03/0.05	o 196
0.03/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 179.949 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         1 |     200     6625    16298 |     5000        1    197 |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 195
0.03/0.05	o 195
0.03/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 179.947 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         1 |     200     6626    16498 |     5000        1    197 |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 194
0.03/0.05	o 194
0.03/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 179.945 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |        16 |     200     6627    16698 |     5000       16    196 |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 193
0.03/0.05	o 193
0.03/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 179.944 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |        25 |     200     6628    16898 |     5000       25    196 |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 192
0.03/0.06	o 192
0.03/0.06	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 179.943 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |        36 |     200     6629    17098 |     5000       36    195 |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 191
0.03/0.06	o 191
0.03/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 179.94 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |        51 |     200     6630    17298 |     5000       51    194 |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 190
0.03/0.06	o 190
0.03/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 179.937 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |        81 |     200     6631    17498 |     5000       81    194 |  0.000 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 189
0.03/0.07	o 189
0.03/0.07	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 179.934 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |       104 |     200     6632    17698 |     5000      104    194 |  0.000 % |
0.03/0.07	c |       206 |     200     6632    17698 |     5500      206    195 | 93.958 % |
0.03/0.09	c |       357 |     200     6632    17698 |     6050      357    194 | 93.958 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 188
0.09/0.10	o 188
0.09/0.10	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 179.897 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |       466 |     200     6633    17898 |     5000      466    194 | 93.958 % |
0.09/0.12	c |       566 |     200     6633    17898 |     5500      566    193 | 93.958 % |
0.09/0.14	c |       717 |     200     6633    17898 |     6050      717    194 | 93.958 % |
0.09/0.17	c |       944 |     200     6633    17898 |     6655      944    193 | 93.958 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 187
0.19/0.22	o 187
0.19/0.22	c Elapsed CPU time: 0.215967 s	Remaining CPU time: 179.784 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |      1262 |     200     6634    18098 |     5000     1262    193 | 93.958 % |
0.19/0.24	c |      1363 |     200     6634    18098 |     5500     1363    193 | 93.958 % |
0.19/0.28	c |      1513 |     200     6634    18098 |     6050     1513    193 | 93.958 % |
0.30/0.32	c |      1739 |     200     6634    18098 |     6655     1739    193 | 93.958 % |
0.30/0.36	c ===============================================================================
0.30/0.36	c New solution: 186
0.30/0.36	o 186
0.30/0.36	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 179.649 s
0.30/0.36	c ===============================================================================
0.30/0.36	c |      1918 |     200     6635    18298 |     5000     1918    193 | 93.958 % |
0.30/0.37	c |      2019 |     200     6635    18298 |     5500     2019    193 | 93.958 % |
0.40/0.40	c |      2170 |     200     6635    18298 |     6050     2170    195 | 93.958 % |
0.40/0.46	c |      2395 |     200     6635    18298 |     6655     2395    197 | 93.958 % |
0.49/0.52	c |      2734 |     200     6635    18298 |     7320     2734    197 | 93.958 % |
0.59/0.64	c |      3241 |     200     6635    18298 |     8052     3241    195 | 93.958 % |
0.79/0.89	c |      4002 |     200     6635    18298 |     8857     4002    194 | 93.958 % |
1.19/1.28	c |      5141 |     200     6635    18298 |     9743     5141    193 | 93.958 % |
1.99/2.01	c ===============================================================================
1.99/2.01	c New solution: 185
1.99/2.01	o 185
1.99/2.01	c Elapsed CPU time: 1.9947 s	Remaining CPU time: 178.005 s
1.99/2.01	c ===============================================================================
1.99/2.01	c |      6270 |     200     6636    18498 |     5000     6270    192 | 93.958 % |
2.10/2.13	c |      6370 |     200     6636    18498 |     5500     6370    192 | 93.958 % |
2.20/2.24	c |      6520 |     200     6636    18498 |     6050     6520    192 | 93.958 % |
2.39/2.45	c |      6745 |     200     6636    18498 |     6655     6745    192 | 93.958 % |
2.59/2.68	c |      7082 |     200     6636    18498 |     7320     7082    194 | 93.958 % |
3.20/3.23	c |      7589 |     200     6636    18498 |     8052     7589    194 | 93.958 % |
3.30/3.39	c |      8349 |     200     6636    18498 |     8857     8349    193 | 93.958 % |
4.29/4.36	c |      9488 |     200     6636    18498 |     9743     9488    193 | 93.958 % |
6.19/6.23	c |     11199 |     200     6636    18498 |    10717    11199    192 | 93.958 % |
9.29/9.35	c |     13761 |     200     6636    18498 |    11789    13761    192 | 93.958 % |
11.29/11.34	c ===============================================================================
11.29/11.34	c New solution: 184
11.29/11.34	o 184
11.29/11.34	c Elapsed CPU time: 11.2803 s	Remaining CPU time: 168.72 s
11.29/11.34	c ===============================================================================
11.29/11.34	c |     15001 |     200     6637    18698 |     5000    15001    191 | 93.958 % |
11.49/11.52	c |     15101 |     200     6637    18698 |     5500     7601    189 | 93.958 % |
11.59/11.60	c |     15253 |     200     6637    18698 |     6050     7753    189 | 93.958 % |
11.69/11.76	c |     15478 |     200     6637    18698 |     6655     7978    189 | 93.958 % |
11.89/11.97	c |     15815 |     200     6637    18698 |     7320     8315    189 | 93.958 % |
12.38/12.47	c |     16323 |     200     6637    18698 |     8052     8823    189 | 93.958 % |
13.49/13.52	c |     17082 |     200     6637    18698 |     8857     9582    190 | 93.958 % |
15.49/15.54	c |     18222 |     200     6637    18698 |     9743    10722    191 | 93.958 % |
17.89/17.95	c |     19930 |     200     6637    18698 |    10717    12430    192 | 93.958 % |
20.39/20.42	c |     22492 |     200     6637    18698 |    11789     7986    197 | 93.958 % |
22.69/22.76	c |     26336 |     200     6637    18698 |    12968    11830    194 | 93.958 % |
24.68/24.77	c ===============================================================================
24.68/24.77	c New solution: 183
24.68/24.77	o 183
24.68/24.77	c Elapsed CPU time: 24.6343 s	Remaining CPU time: 155.366 s
24.68/24.77	c ===============================================================================
24.68/24.77	c |     28231 |     200     6638    18898 |     5000    13725    193 | 93.958 % |
24.98/25.04	c |     28332 |     200     6638    18898 |     5500     6964    188 | 93.958 % |
25.09/25.11	c |     28483 |     200     6638    18898 |     6050     7115    188 | 93.958 % |
25.19/25.20	c |     28711 |     200     6638    18898 |     6655     7343    188 | 93.958 % |
25.39/25.49	c |     29050 |     200     6638    18898 |     7320     7682    188 | 93.958 % |
25.78/25.84	c |     29558 |     200     6638    18898 |     8052     8190    189 | 93.958 % |
26.18/26.28	c |     30321 |     200     6638    18898 |     8857     8953    190 | 93.958 % |
26.79/26.86	c ===============================================================================
26.79/26.86	c New solution: 182
26.79/26.86	o 182
26.79/26.86	c Elapsed CPU time: 26.7179 s	Remaining CPU time: 153.282 s
26.79/26.86	c ===============================================================================
26.79/26.86	c |     30921 |     200     6639    19098 |     5000     9553    190 | 93.958 % |
26.89/26.98	c |     31022 |     200     6639    19098 |     5500     4878    191 | 93.958 % |
26.99/27.05	c |     31174 |     200     6639    19098 |     6050     5030    191 | 93.958 % |
27.08/27.15	c |     31399 |     200     6639    19098 |     6655     5255    192 | 93.958 % |
27.18/27.20	c |     31737 |     200     6639    19098 |     7320     5593    191 | 93.958 % |
27.39/27.48	c |     32244 |     200     6639    19098 |     8052     6100    192 | 93.958 % |
27.78/27.86	c |     33003 |     200     6639    19098 |     8857     6859    192 | 93.958 % |
28.38/28.48	c |     34142 |     200     6639    19098 |     9743     7998    191 | 93.958 % |
30.48/30.59	c |     35850 |     200     6639    19098 |    10717     9706    190 | 93.958 % |
32.58/32.61	c |     38412 |     200     6639    19098 |    11789    12268    189 | 93.958 % |
37.28/37.39	c |     42260 |     200     6639    19098 |    12968     8577    187 | 93.958 % |
44.08/44.15	c |     48029 |     200     6639    19098 |    14265    14346    187 | 93.958 % |
56.18/56.20	c |     56678 |     200     6639    19098 |    15692    14218    188 | 93.958 % |
56.77/56.83	c ===============================================================================
56.77/56.83	c New solution: 181
56.77/56.83	o 181
56.77/56.83	c Elapsed CPU time: 56.5734 s	Remaining CPU time: 123.427 s
56.77/56.83	c ===============================================================================
56.77/56.83	c |     57452 |     200     6640    19298 |     5000    14992    188 | 93.958 % |
57.08/57.10	c |     57552 |     200     6640    19298 |     5500     7596    188 | 93.958 % |
57.08/57.19	c |     57702 |     200     6640    19298 |     6050     7746    188 | 93.958 % |
57.27/57.32	c |     57929 |     200     6640    19298 |     6655     7973    188 | 93.958 % |
57.48/57.53	c |     58266 |     200     6640    19298 |     7320     8310    190 | 93.958 % |
57.97/58.08	c |     58773 |     200     6640    19298 |     8052     8817    191 | 93.958 % |
58.38/58.43	c |     59533 |     200     6640    19298 |     8857     9577    191 | 93.958 % |
59.17/59.27	c |     60672 |     200     6640    19298 |     9743    10716    191 | 93.958 % |
59.87/59.92	c ===============================================================================
59.87/59.92	c New solution: 180
59.87/59.92	o 180
59.87/59.92	c Elapsed CPU time: 59.6379 s	Remaining CPU time: 120.362 s
59.87/59.92	c ===============================================================================
59.87/59.92	c |     61120 |     200     6641    19498 |     5000    11164    191 | 93.958 % |
59.97/60.07	c |     61221 |     200     6641    19498 |     5500     5683    193 | 93.958 % |
60.07/60.17	c |     61372 |     200     6641    19498 |     6050     5834    193 | 93.958 % |
60.27/60.32	c |     61598 |     200     6641    19498 |     6655     6060    193 | 93.958 % |
60.48/60.56	c |     61938 |     200     6641    19498 |     7320     6400    193 | 93.958 % |
60.88/60.92	c |     62444 |     200     6641    19498 |     8052     6906    196 | 93.958 % |
61.37/61.46	c |     63204 |     200     6641    19498 |     8857     7666    200 | 93.958 % |
61.97/62.09	c |     64346 |     200     6641    19498 |     9743     8808    199 | 93.958 % |
63.78/63.81	c |     66056 |     200     6641    19498 |    10717    10518    197 | 93.958 % |
65.68/65.75	c |     68618 |     200     6641    19498 |    11789    13080    197 | 93.958 % |
70.07/70.18	c |     72463 |     200     6641    19498 |    12968     9386    190 | 93.958 % |
77.17/77.27	c |     78229 |     200     6641    19498 |    14265    15152    189 | 93.958 % |
89.46/89.59	c |     86878 |     200     6641    19498 |    15692    15024    187 | 93.958 % |
110.56/110.62	c |     99856 |     200     6641    19498 |    17261    18510    189 | 93.958 % |
131.66/131.70	c |    119317 |     200     6641    19498 |    18987    17420    187 | 93.958 % |
161.35/161.42	c ===============================================================================
161.35/161.42	c New solution: 179
161.35/161.42	o 179
161.35/161.42	c Elapsed CPU time: 160.751 s	Remaining CPU time: 19.2494 s
161.35/161.42	c ===============================================================================
161.35/161.42	c |    140607 |     200     6642    19698 |     5000    15540    202 | 93.958 % |
161.45/161.57	c |    140708 |     200     6642    19698 |     5500     7871    188 | 93.958 % |
161.56/161.63	c |    140860 |     200     6642    19698 |     6050     8023    188 | 93.958 % |
161.56/161.70	c |    141085 |     200     6642    19698 |     6655     8248    190 | 93.958 % |
161.56/161.70	c ===============================================================================
161.56/161.70	c New solution: 178
161.56/161.70	o 178
161.56/161.70	c Elapsed CPU time: 161.029 s	Remaining CPU time: 18.9715 s
161.56/161.70	c ===============================================================================
161.56/161.70	c |    141099 |     200     6643    19898 |     5000     8262    190 | 93.958 % |
161.75/161.81	c |    141201 |     200     6643    19898 |     5500     4233    192 | 93.958 % |
161.75/161.84	c |    141351 |     200     6643    19898 |     6050     4383    194 | 93.958 % |
161.84/161.95	c |    141579 |     200     6643    19898 |     6655     4611    197 | 93.958 % |
162.04/162.17	c |    141916 |     200     6643    19898 |     7320     4948    207 | 93.958 % |
162.35/162.49	c |    142423 |     200     6643    19898 |     8052     5455    213 | 93.958 % |
162.85/162.99	c |    143184 |     200     6643    19898 |     8857     6216    226 | 93.958 % |
163.64/163.75	c |    144323 |     200     6643    19898 |     9743     7355    222 | 93.958 % |
164.95/165.01	c |    146031 |     200     6643    19898 |    10717     9063    215 | 93.958 % |
168.04/168.17	c |    148597 |     200     6643    19898 |    11789    11629    209 | 93.958 % |
173.05/173.17	c |    152443 |     200     6643    19898 |    12968     7935    188 | 93.958 % |
177.14/177.24	c |    158211 |     200     6643    19898 |    14265    13703    188 | 93.958 % |
180.65/180.79	c There are 3110 assigned variables. 0 in cost function.
180.84/180.96	c core #1
180.84/180.96	c #cores: 1
180.84/180.96	c Final Weight: 178
180.84/180.96	o 178
180.84/180.96	s OPTIMUM FOUND
180.84/180.96	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 x180 -x181 x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
180.84/180.96	c Total CPU time: 180.168 s

Verifier Data 

OK	-22

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702524-1278569320/watcher-2702524-1278569320 -o /tmp/evaluation-result-2702524-1278569320/solver-2702524-1278569320 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702524-1278569320.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.00 1.00 1.00 3/105 31785
/proc/meminfo: memFree=1850516/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=3412 CPUtime=0
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 431 0 0 0 0 0 0 0 25 0 1 0 25140339 3493888 349 1992294400 134512640 135751879 4293748608 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 853 349 144 303 0 485 0

[startup+0.0395339 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31785
/proc/meminfo: memFree=1850516/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=3980 CPUtime=0.03
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 690 0 0 0 3 0 0 0 25 0 1 0 25140339 4075520 545 1992294400 134512640 135751879 4293748608 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 995 550 145 303 0 690 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3980

[startup+0.101539 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31785
/proc/meminfo: memFree=1850516/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=4400 CPUtime=0.09
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 792 0 0 0 9 0 0 0 18 0 1 0 25140339 4505600 647 1992294400 134512640 135751879 4293748608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 1100 647 147 303 0 795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4400

[startup+0.301562 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31785
/proc/meminfo: memFree=1850516/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=5296 CPUtime=0.3
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 1015 0 0 0 29 1 0 0 18 0 1 0 25140339 5423104 870 1992294400 134512640 135751879 4293748608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 1324 870 147 303 0 1019 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5296

[startup+0.701607 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31785
/proc/meminfo: memFree=1850516/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=6840 CPUtime=0.69
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 1427 0 0 0 68 1 0 0 18 0 1 0 25140339 7004160 1282 1992294400 134512640 135751879 4293748608 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 1710 1282 147 303 0 1405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6840

[startup+1.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31786
/proc/meminfo: memFree=1845424/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=8844 CPUtime=1.49
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 1904 0 0 0 147 2 0 0 19 0 1 0 25140339 9056256 1759 1992294400 134512640 135751879 4293748608 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 2211 1759 147 303 0 1906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8844

[startup+3.10088 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31786
/proc/meminfo: memFree=1843316/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=10520 CPUtime=3.09
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 2333 0 0 0 306 3 0 0 25 0 1 0 25140339 10772480 2188 1992294400 134512640 135751879 4293748608 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 2630 2188 147 303 0 2325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10520

[startup+6.30124 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31786
/proc/meminfo: memFree=1839472/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=14088 CPUtime=6.29
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 3220 0 0 0 625 4 0 0 25 0 1 0 25140339 14426112 3075 1992294400 134512640 135751879 4293748608 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 3522 3075 147 303 0 3217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14088

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31786
/proc/meminfo: memFree=1834388/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=18776 CPUtime=12.69
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 4394 0 0 0 1262 7 0 0 25 0 1 0 25140339 19226624 4249 1992294400 134512640 135751879 4293748608 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 4694 4249 148 303 0 4389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18776

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31788
/proc/meminfo: memFree=1822980/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=30060 CPUtime=25.48
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 7196 0 0 0 2535 13 0 0 25 0 1 0 25140339 30781440 7051 1992294400 134512640 135751879 4293748608 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 7515 7051 148 303 0 7210 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30060

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31788
/proc/meminfo: memFree=1803512/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=49480 CPUtime=51.08
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 12020 0 0 0 5087 21 0 0 25 0 1 0 25140339 50667520 11875 1992294400 134512640 135751879 4293748608 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 12370 11875 148 303 0 12065 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49480

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31790
/proc/meminfo: memFree=1764824/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=87944 CPUtime=102.27
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 21590 0 0 0 10187 40 0 0 25 0 1 0 25140339 90054656 21445 1992294400 134512640 135751879 4293748608 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 21986 21445 148 303 0 21681 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87944

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31790
/proc/meminfo: memFree=1724648/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=129496 CPUtime=162.24
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 31965 0 0 0 16161 63 0 0 25 0 1 0 25140339 132603904 31820 1992294400 134512640 135751879 4293748608 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 32374 31820 148 303 0 32069 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 129496

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

[startup+166.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31791
/proc/meminfo: memFree=1718324/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=134524 CPUtime=166.25
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 33218 0 0 0 16559 66 0 0 25 0 1 0 25140339 137752576 33073 1992294400 134512640 135751879 4293748608 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 33631 33073 148 303 0 33326 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 134524

[startup+172.708 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31791
/proc/meminfo: memFree=1714232/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=138456 CPUtime=172.66
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 34190 0 0 0 17198 68 0 0 25 0 1 0 25140339 141778944 34045 1992294400 134512640 135751879 4293748608 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 34614 34045 148 303 0 34309 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 138456

[startup+175.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31792
/proc/meminfo: memFree=1710512/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=142168 CPUtime=175.85
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 35121 0 0 0 17515 70 0 0 25 0 1 0 25140339 145580032 34976 1992294400 134512640 135751879 4293748608 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 35542 34976 148 303 0 35237 0
Current children cumulated CPU time (s) 175.85
Current children cumulated vsize (KiB) 142168

[startup+179.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31792
/proc/meminfo: memFree=1706668/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=146684 CPUtime=179.04
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 36239 0 0 0 17832 72 0 0 25 0 1 0 25140339 150204416 36094 1992294400 134512640 135751879 4293748608 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 36671 36094 148 303 0 36366 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 146684

[startup+179.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31792
/proc/meminfo: memFree=1705800/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=147324 CPUtime=179.85
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 36396 0 0 0 17912 73 0 0 25 0 1 0 25140339 150859776 36251 1992294400 134512640 135751879 4293748608 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 36831 36251 148 303 0 36526 0
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (KiB) 147324

[startup+180.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31792
/proc/meminfo: memFree=1704436/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=149644 CPUtime=180.65
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 36996 0 0 0 17991 74 0 0 25 0 1 0 25140339 153235456 36851 1992294400 134512640 135751879 4293748608 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 37411 36851 148 303 0 37106 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 149644

[startup+180.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31792
/proc/meminfo: memFree=1704436/2059040 swapFree=4135728/4192956
[pid=31785] ppid=31783 vsize=150692 CPUtime=180.84
/proc/31785/stat : 31785 (wbo1.4b) R 31783 31785 30914 0 -1 4202496 37234 0 0 0 18010 74 0 0 25 0 1 0 25140339 154308608 37089 1992294400 134512640 135751879 4293748608 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31785/statm: 37673 37089 149 303 0 37368 0
Current children cumulated CPU time (s) 180.84
Current children cumulated vsize (KiB) 150692

Child status: 0
Real time (s): 180.977
CPU time (s): 180.928
CPU user time (s): 180.168
CPU system time (s): 0.759884
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 150692

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

runsolver used 0.284956 second user time and 0.883865 second system time

The end

Launcher Data 

Begin job on node088 at 2010-07-08 08:08:40
IDJOB=2702524
IDBENCH=48197
IDSOLVER=1161
FILE ID=node088/2702524-1278569320
PBS_JOBID= 11239544
Free space on /tmp= 62520 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_2.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702524-1278569320/watcher-2702524-1278569320 -o /tmp/evaluation-result-2702524-1278569320/solver-2702524-1278569320 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702524-1278569320.opb

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

MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e
RANDOM SEED=1491252245

node088.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.245
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.49
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.245
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	: 5999.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1851540 kB
Buffers:         18664 kB
Cached:          98328 kB
SwapCached:      10768 kB
Active:          83440 kB
Inactive:        47452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1851540 kB
SwapTotal:     4192956 kB
SwapFree:      4135728 kB
Dirty:            2748 kB
Writeback:           0 kB
AnonPages:       11812 kB
Mapped:           8476 kB
Slab:            54860 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702524-1278569320.opb

Free space on /tmp at the end= 62516 MiB
End job on node088 at 2010-07-08 08:11:41