Trace number 2698897

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 965.147 965.139

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
MD5SUM2f5b39eda2f3d2ee24cba69641294774
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.039993
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3618
Total number of constraints3931
Number of soft constraints1336
Number of constraints which are clauses2865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1066
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 67716
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 67715
Biggest number in a constraint 7394
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 19679
Number of bits of the biggest sum of numbers15
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 PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.01/0.06	c constraints 707/359 clauses 1888/977 units 0
0.01/0.06	c vars 3618
4.99/5.03	c 4.69629 122.484 43637 200165
4.99/5.03	o 2232
9.29/9.37	c 8.71767 123.977 24361 326088
9.29/9.37	o 2044
11.99/12.09	c 11.2103 123.977 19546 418456
11.99/12.09	o 2039
16.89/16.92	c 15.7496 124.234 21845 551941
16.89/16.92	o 1911
19.59/19.68	c 18.2312 124.75 19954 665993
19.59/19.68	o 1896
24.69/24.76	c 22.9595 125.266 21501 809129
24.69/24.76	o 1885
26.49/26.50	c 24.5733 125.266 19634 863160
26.49/26.50	o 1881
34.39/34.44	c 32.0671 126.039 21212 1038161
34.39/34.44	o 1878
35.79/35.88	c 33.3409 126.297 15672 1127740
35.79/35.88	o 1876
41.29/41.36	c 38.3942 126.555 17200 1286874
41.29/41.36	o 1875
47.29/47.35	c 44.0073 127.07 15789 1478132
47.29/47.35	o 1800
49.89/49.91	c 46.3939 127.07 18188 1558992
49.89/49.91	o 1798
51.79/51.81	c 48.1097 127.199 15994 1624807
51.79/51.81	o 1764
53.19/53.24	c 49.3825 127.457 17651 1700693
53.19/53.24	o 1761
57.49/57.52	c 53.3499 127.844 21422 1823937
57.49/57.52	o 1727
60.89/60.91	c 56.4854 127.973 13839 1931409
60.89/60.91	o 1714
65.19/65.29	c 60.5628 128.23 18842 2065447
65.19/65.29	o 1710
69.49/69.50	c 64.4272 128.488 14744 2194347
69.49/69.50	o 1704
70.39/70.42	c 65.2431 129.133 27874 2258789
70.39/70.42	o 1688
71.50/71.59	c 66.3349 129.133 21304 2284976
71.50/71.59	o 1681
78.98/79.10	c 73.4208 129.133 14110 2448379
78.98/79.10	o 1676
80.49/80.53	c 74.7396 129.133 12262 2506139
80.49/80.53	o 1674
80.89/80.95	c 75.1136 129.133 18078 2525971
80.89/80.95	o 1670
82.99/83.04	c 77.0753 129.133 16199 2582603
82.99/83.04	o 1660
84.79/84.80	c 78.683 129.262 17626 2650579
84.79/84.80	o 1658
85.80/85.84	c 79.6359 129.262 18303 2698925
85.80/85.84	o 1651
86.18/86.27	c 80.0138 129.391 16140 2714657
86.18/86.27	o 1648
88.19/88.26	c 81.8256 129.648 20845 2792608
88.19/88.26	o 1629
88.89/88.91	c 82.4175 129.648 16561 2826325
88.89/88.91	o 1624
93.39/93.49	c 86.7388 129.648 12319 2917705
93.39/93.49	o 1623
95.59/95.69	c 88.7475 129.777 17949 2979910
95.59/95.69	o 1622
97.19/97.29	c 90.2123 129.906 17011 3044704
97.19/97.29	o 1620
97.59/97.61	c 90.4982 130.035 21506 3072865
97.59/97.61	o 1406
103.09/103.11	c 95.6255 130.035 17155 3229800
103.09/103.11	o 1403
105.49/105.52	c 97.8601 130.164 16897 3302010
105.49/105.52	o 1401
106.18/106.20	c 98.492 130.164 14182 3319835
106.18/106.20	o 1400
106.60/106.69	c 98.939 130.293 21027 3345972
106.60/106.69	o 1341
106.99/107.09	c 99.2959 130.293 16851 3363430
106.99/107.09	o 1340
108.19/108.25	c 100.343 130.293 15377 3412319
108.19/108.25	o 1339
109.99/110.08	c 102.007 130.422 20449 3479096
109.99/110.08	o 1337
110.88/110.92	c 102.781 130.551 17840 3502112
110.88/110.92	o 1336
114.19/114.25	c 105.951 130.551 17601 3586275
114.19/114.25	o 1331
115.19/115.20	c 106.819 131.195 13512 3630558
115.19/115.20	o 1330
117.99/118.03	c 109.436 131.195 19147 3714792
117.99/118.03	o 1329
118.29/118.30	c 109.667 131.195 13700 3730154
118.29/118.30	o 1328
120.39/120.48	c 111.653 131.195 13328 3809602
120.39/120.48	o 1301
122.99/123.00	c 113.993 131.195 17384 3891313
122.99/123.00	o 1293
123.79/123.81	c 114.742 131.195 18414 3921916
123.79/123.81	o 1292
124.59/124.69	c 115.582 131.195 15350 3940207
124.59/124.69	o 1287
129.39/129.40	c 119.967 131.582 15729 4075774
129.39/129.40	o 1285
129.49/129.56	c 120.111 131.582 16848 4082484
129.49/129.56	o 1283
130.98/131.06	c 121.502 131.582 18331 4134652
130.98/131.06	o 1282
133.69/133.70	c 123.953 131.582 13619 4216345
133.69/133.70	o 1281
133.99/134.05	c 124.263 131.582 19948 4237610
133.99/134.05	o 1269
135.39/135.48	c 125.582 131.582 18142 4285282
135.39/135.48	o 1268
137.99/138.05	c 127.923 131.969 19628 4376661
137.99/138.05	o 1266
138.59/138.60	c 128.407 131.969 21280 4400619
138.59/138.60	o 1262
138.99/139.02	c 128.788 131.969 16334 4418352
138.99/139.02	o 1261
141.89/141.93	c 131.45 131.969 15081 4517420
141.89/141.93	o 1260
145.59/145.62	c 134.896 132.098 13650 4613662
145.59/145.62	o 1256
145.68/145.78	c 135.033 132.098 14604 4629387
145.68/145.78	o 1255
146.99/147.02	c 136.181 132.227 18532 4664069
146.99/147.02	o 1254
149.69/149.75	c 138.738 132.227 17005 4733462
149.69/149.75	o 1246
151.48/151.59	c 140.492 132.355 13521 4769409
151.48/151.59	o 1244
154.29/154.35	c 143.025 132.484 17862 4859108
154.29/154.35	o 1241
158.09/158.10	c 146.536 132.742 15945 4946466
158.09/158.10	o 1239
161.99/162.05	c 150.16 133 16781 5056385
161.99/162.05	o 1237
167.89/167.91	c 155.612 133.129 16083 5227258
167.89/167.91	o 1234
168.30/168.32	c 155.98 133.129 13049 5242347
168.30/168.32	o 1232
168.39/168.49	c 156.13 133.129 13961 5248668
168.39/168.49	o 1231
168.89/168.97	c 156.575 133.129 19351 5264494
168.89/168.97	o 1228
169.79/169.84	c 157.405 133.129 16380 5279000
169.79/169.84	o 1227
169.89/169.99	c 157.538 133.129 18165 5286948
169.89/169.99	o 1222
174.99/175.04	c 162.259 133.258 13129 5427269
174.99/175.04	o 1221
177.19/177.22	c 164.295 133.258 15445 5467457
177.19/177.22	o 1220
182.39/182.40	c 169.169 133.645 18287 5593840
182.39/182.40	o 1215
183.19/183.22	c 169.904 133.645 18265 5637118
183.19/183.22	o 1209
184.79/184.83	c 171.38 133.645 17292 5696518
184.79/184.83	o 1208
184.99/185.02	c 171.553 133.645 20811 5703747
184.99/185.02	o 1205
186.39/186.41	c 172.813 133.773 20030 5761097
186.39/186.41	o 1204
188.69/188.70	c 174.884 133.773 17369 5841563
188.69/188.70	o 1202
189.59/189.69	c 175.83 133.773 13621 5864360
189.59/189.69	o 1201
189.79/189.88	c 175.997 133.773 15533 5880793
189.79/189.88	o 1192
189.98/190.01	c 176.11 133.773 16523 5889320
189.98/190.01	o 1190
191.40/191.41	c 177.402 133.773 15703 5929671
191.40/191.41	o 1189
194.78/194.88	c 180.59 133.773 17619 6029517
194.78/194.88	o 1188
195.59/195.63	c 181.296 133.902 16018 6052080
195.59/195.63	o 1183
195.70/195.77	c 181.422 133.902 17802 6062233
195.70/195.77	o 1171
198.29/198.31	c 183.787 133.902 16135 6133119
198.29/198.31	o 1167
198.49/198.50	c 183.954 133.902 17748 6142416
198.49/198.50	o 1164
198.69/198.78	c 184.214 134.031 19366 6154620
198.69/198.78	o 1163
201.09/201.10	c 186.376 134.031 16658 6227850
201.09/201.10	o 1162
202.09/202.19	c 187.402 134.16 20583 6269355
202.09/202.19	o 1161
204.39/204.40	c 189.449 134.16 16834 6338728
204.39/204.40	o 1159
206.29/206.31	c 191.235 134.16 15997 6390664
206.29/206.31	o 1158
210.69/210.77	c 195.458 134.16 19150 6497920
210.69/210.77	o 1114
213.68/213.79	c 198.226 134.289 15271 6582122
213.68/213.79	o 1113
214.69/214.70	c 199.054 134.547 18257 6618641
214.69/214.70	o 1111
216.19/216.22	c 200.453 134.547 16778 6659687
216.19/216.22	o 1110
217.89/217.95	c 202.045 134.547 21823 6711454
217.89/217.95	o 1109
219.39/219.42	c 203.392 134.547 13177 6766686
219.39/219.42	o 1108
221.00/221.07	c 204.93 134.547 14454 6820053
221.00/221.07	o 1106
222.89/222.98	c 206.718 134.547 12832 6861183
222.89/222.98	o 1103
224.19/224.21	c 207.88 134.676 20607 6881869
224.19/224.21	o 1102
225.39/225.44	c 209.032 134.676 13836 6919381
225.39/225.44	o 1098
228.89/228.93	c 212.253 134.805 18799 7017545
228.89/228.93	o 1096
229.19/229.23	c 212.525 135.062 24758 7028296
229.19/229.23	o 1095
232.29/232.31	c 215.35 135.062 18453 7112861
232.29/232.31	o 1094
234.89/234.98	c 217.857 135.062 16643 7174629
234.89/234.98	o 1093
236.09/236.10	c 218.902 135.062 14531 7205692
236.09/236.10	o 1092
238.69/238.77	c 221.274 135.062 16125 7317800
238.69/238.77	o 1080
239.59/239.60	c 222.051 135.062 14106 7346540
239.59/239.60	o 1019
240.39/240.43	c 222.834 135.062 11576 7364721
240.39/240.43	o 1017
240.90/240.91	c 223.274 135.062 19579 7386351
240.90/240.91	o 1016
241.90/241.91	c 224.186 135.191 13734 7421169
241.90/241.91	o 1014
242.29/242.33	c 224.582 135.191 16481 7432559
242.29/242.33	o 1008
243.19/243.26	c 225.386 135.191 15920 7478995
243.19/243.26	o 1003
246.09/246.17	c 228.077 135.32 17910 7565919
246.09/246.17	o 1002
249.49/249.54	c 231.197 135.32 19480 7659776
249.49/249.54	o 1001
250.19/250.27	c 231.877 135.32 17158 7680708
250.19/250.27	o 1000
252.09/252.11	c 233.567 135.449 18690 7726155
252.09/252.11	o 998
255.69/255.73	c 236.857 135.578 17587 7843366
255.69/255.73	o 997
256.09/256.13	c 237.223 135.578 14940 7860372
256.09/256.13	o 992
256.30/256.31	c 237.397 135.578 17238 7868852
256.30/256.31	o 991
256.49/256.56	c 237.623 135.578 21412 7877720
256.49/256.56	o 989
261.49/261.58	c 242.258 135.578 11713 8003965
261.49/261.58	o 986
262.19/262.26	c 242.865 135.578 18897 8030898
262.19/262.26	o 984
263.59/263.60	c 244.136 135.707 15709 8061740
263.59/263.60	o 981
267.59/267.66	c 247.94 135.836 19684 8156443
267.59/267.66	o 976
268.69/268.75	c 248.937 135.836 15928 8190238
268.69/268.75	o 975
268.99/269.08	c 249.242 135.836 18597 8205733
268.99/269.08	o 971
270.69/270.70	c 250.744 135.965 20415 8243129
270.69/270.70	o 970
271.09/271.17	c 251.175 135.965 16039 8266888
271.09/271.17	o 958
274.29/274.39	c 254.191 135.965 13367 8348966
274.29/274.39	o 955
276.89/276.91	c 256.516 135.965 14654 8425960
276.89/276.91	o 952
277.49/277.59	c 257.159 135.965 12366 8440960
277.49/277.59	o 950
277.59/277.69	c 257.246 135.965 12917 8446666
277.59/277.69	o 947
280.39/280.44	c 259.846 136.094 17037 8507157
280.39/280.44	o 946
281.39/281.44	c 260.742 136.094 13407 8537501
281.39/281.44	o 945
285.19/285.25	c 264.29 136.094 15246 8615958
285.19/285.25	o 944
285.39/285.42	c 264.442 136.094 17488 8626532
285.39/285.42	o 935
287.29/287.39	c 266.313 136.094 16764 8667562
287.29/287.39	o 934
289.59/289.64	c 268.45 136.094 14783 8705957
289.59/289.64	o 933
293.79/293.80	c 272.348 136.223 16562 8795222
293.79/293.80	o 931
294.59/294.67	c 273.191 136.223 19361 8807685
294.59/294.67	o 927
295.09/295.17	c 273.658 136.223 14386 8825310
295.09/295.17	o 923
297.89/297.94	c 276.212 136.352 14505 8889067
297.89/297.94	o 922
298.00/298.03	c 276.297 136.352 14638 8895985
298.00/298.03	o 921
298.19/298.26	c 276.51 136.352 18617 8905901
298.19/298.26	o 920
299.59/299.63	c 277.792 136.48 20474 8948680
299.59/299.63	o 910
301.79/301.85	c 279.885 136.48 19367 8988954
301.79/301.85	o 909
302.30/302.37	c 280.343 136.48 21450 9012493
302.30/302.37	o 904
304.39/304.43	c 282.285 136.609 20209 9057254
304.39/304.43	o 901
305.89/305.98	c 283.746 136.609 18250 9095421
305.89/305.98	o 900
307.59/307.66	c 285.299 136.609 10731 9140570
307.59/307.66	o 899
310.49/310.50	c 287.962 136.867 16387 9196470
310.49/310.51	o 898
314.39/314.46	c 291.721 136.867 15670 9265220
314.39/314.46	o 891
314.60/314.67	c 291.899 136.867 16556 9274304
314.60/314.67	o 889
315.60/315.63	c 292.773 136.867 19008 9318559
315.60/315.63	o 886
319.00/319.06	c 295.893 136.996 16853 9414690
319.00/319.06	o 885
319.09/319.20	c 296.008 136.996 17933 9424183
319.09/319.20	o 878
326.60/326.68	c 302.999 136.996 15784 9593965
326.60/326.68	o 876
327.89/327.93	c 304.153 136.996 14711 9628951
327.89/327.93	o 875
329.89/329.91	c 306.025 136.996 13070 9665486
329.89/329.91	o 874
331.39/331.49	c 307.486 136.996 12501 9708147
331.39/331.49	o 862
333.20/333.28	c 309.133 136.996 14637 9765422
333.20/333.28	o 861
333.49/333.50	c 309.328 136.996 17286 9776225
333.49/333.50	o 858
334.89/334.96	c 310.735 136.996 18400 9799869
334.89/334.96	o 857
337.69/337.76	c 313.387 136.996 12474 9846293
337.69/337.77	o 854
339.39/339.43	c 314.903 136.996 18450 9892096
339.39/339.43	o 853
340.90/341.00	c 316.324 137.125 22049 9940545
340.90/341.00	o 847
342.49/342.53	c 317.739 137.125 17459 9976438
342.49/342.53	o 845
344.39/344.42	c 319.483 137.125 20160 10032200
344.39/344.42	o 844
348.49/348.56	c 323.335 137.512 12478 10119327
348.49/348.56	o 842
349.09/349.14	c 323.86 137.512 22043 10141446
349.09/349.14	o 841
351.19/351.24	c 325.844 137.512 20189 10195569
351.19/351.24	o 808
353.49/353.50	c 327.96 137.512 16000 10241026
353.49/353.50	o 806
355.39/355.44	c 329.825 137.512 18538 10268710
355.39/355.44	o 805
356.19/356.22	c 330.549 137.512 16796 10286860
356.19/356.22	o 803
358.09/358.12	c 332.27 137.512 20798 10350604
358.09/358.12	o 802
360.89/360.93	c 334.856 137.512 12271 10431995
360.89/360.93	o 801
362.69/362.74	c 336.542 137.512 17040 10478580
362.69/362.74	o 800
362.79/362.85	c 336.636 137.512 18055 10484400
362.79/362.85	o 799
363.39/363.45	c 337.199 137.512 14833 10505421
363.39/363.45	o 798
364.39/364.47	c 338.13 137.512 18418 10534369
364.39/364.47	o 796
367.40/367.44	c 340.893 137.512 11703 10611700
367.40/367.44	o 793
367.79/367.86	c 341.286 137.512 17321 10622361
367.79/367.86	o 792
370.49/370.52	c 343.782 137.512 16405 10684850
370.49/370.52	o 789
371.29/371.30	c 344.481 137.512 18224 10709266
371.29/371.30	o 788
375.10/375.11	c 348.068 137.512 20282 10792158
375.10/375.11	o 787
376.28/376.35	c 349.22 137.512 15559 10820575
376.28/376.35	o 786
377.79/377.85	c 350.612 137.512 16442 10866602
377.79/377.85	o 785
377.99/378.00	c 350.748 137.512 17736 10875646
377.99/378.00	o 781
378.09/378.18	c 350.908 137.641 20129 10882696
378.09/378.18	o 778
381.08/381.14	c 353.646 137.641 16559 10951142
381.08/381.14	o 777
384.19/384.25	c 356.564 137.641 18546 11028378
384.19/384.25	o 774
385.39/385.42	c 357.62 137.77 16467 11066848
385.39/385.42	o 771
388.49/388.51	c 360.476 137.898 22192 11147160
388.49/388.51	o 769
389.89/389.90	c 361.768 137.898 19536 11190823
389.89/389.90	o 765
390.89/390.98	c 362.801 137.898 18140 11211364
390.89/390.98	o 760
392.59/392.69	c 364.435 137.898 18105 11234489
392.59/392.69	o 758
393.09/393.13	c 364.813 137.898 17168 11254780
393.09/393.13	o 751
396.69/396.72	c 368.146 137.898 20128 11350412
396.69/396.72	o 749
400.09/400.12	c 371.279 137.898 18896 11447325
400.09/400.12	o 748
402.69/402.72	c 373.632 137.898 18070 11543076
402.69/402.72	o 747
404.19/404.26	c 375.064 138.027 17651 11583170
404.19/404.26	o 746
406.29/406.31	c 376.986 138.027 19551 11620428
406.29/406.31	o 745
406.79/406.87	c 377.507 138.027 15345 11633948
406.79/406.87	o 740
410.49/410.57	c 380.965 138.156 19068 11711954
410.49/410.57	o 739
412.39/412.42	c 382.71 138.156 18444 11756672
412.39/412.42	o 731
414.99/415.05	c 385.128 138.285 20252 11818169
414.99/415.05	o 730
417.69/417.70	c 387.621 138.285 17076 11867548
417.69/417.70	o 729
418.29/418.37	c 388.22 138.285 17363 11891836
418.29/418.37	o 728
419.39/419.41	c 389.213 138.285 15014 11912857
419.39/419.41	o 727
421.49/421.52	c 391.162 138.285 15274 11963828
421.49/421.52	o 725
421.59/421.67	c 391.29 138.285 16617 11974356
421.59/421.67	o 723
425.89/425.92	c 395.229 138.543 17662 12100422
425.89/425.92	o 721
429.29/429.35	c 398.451 138.672 23191 12175821
429.29/429.35	o 718
430.59/430.62	c 399.638 138.672 17082 12207448
430.59/430.62	o 714
432.30/432.39	c 401.278 138.672 20491 12250088
432.30/432.39	o 713
435.79/435.83	c 404.486 138.672 16492 12327990
435.79/435.83	o 712
436.39/436.40	c 405.019 138.672 22217 12342735
436.39/436.40	o 711
436.60/436.69	c 405.268 138.672 16270 12353865
436.60/436.69	o 710
439.89/439.94	c 408.284 138.672 19888 12435633
439.89/439.94	o 709
443.99/444.10	c 412.213 138.672 18197 12502864
443.99/444.10	o 706
444.19/444.23	c 412.33 138.672 20106 12510352
444.19/444.23	o 704
447.09/447.13	c 415.076 138.672 15658 12564091
447.09/447.13	o 696
447.89/447.92	c 415.773 138.672 20093 12595949
447.89/447.92	o 694
451.09/451.10	c 418.756 138.672 11621 12672110
451.09/451.10	o 693
451.30/451.34	c 418.975 138.672 16747 12680876
451.30/451.34	o 690
452.10/452.13	c 419.694 138.672 18717 12707526
452.10/452.13	o 689
452.49/452.54	c 420.066 138.672 15647 12720923
452.49/452.54	o 688
453.99/454.01	c 421.415 138.672 19668 12764046
453.99/454.01	o 687
455.49/455.56	c 422.845 138.672 17147 12807695
455.49/455.56	o 684
456.09/456.12	c 423.391 138.801 19538 12814936
456.09/456.12	o 683
458.39/458.48	c 425.578 138.93 16210 12861181
458.39/458.48	o 682
459.99/460.04	c 427.024 138.93 13933 12903100
459.99/460.04	o 679
464.59/464.67	c 431.325 138.93 16915 13014244
464.59/464.67	o 678
464.79/464.89	c 431.526 138.93 21130 13025791
464.79/464.89	o 677
465.09/465.13	c 431.736 138.93 15781 13034986
465.09/465.13	o 676
469.49/469.57	c 435.871 138.93 16579 13148144
469.49/469.57	o 674
471.99/472.03	c 438.217 138.93 18063 13193417
471.99/472.03	o 672
473.40/473.40	c 439.501 138.93 15779 13225745
473.40/473.40	o 671
474.59/474.69	c 440.71 138.93 13332 13258091
474.59/474.69	o 669
474.79/474.84	c 440.851 138.93 15365 13264784
474.79/474.84	o 668
474.99/475.02	c 441.003 138.93 18557 13272123
474.99/475.02	o 662
476.39/476.45	c 442.326 138.93 18233 13309223
476.39/476.45	o 661
476.99/477.05	c 442.876 138.93 16463 13327499
476.99/477.05	o 658
477.19/477.22	c 443.025 138.93 18537 13336160
477.19/477.22	o 606
477.60/477.68	c 443.458 138.93 14625 13346669
477.60/477.68	o 603
480.69/480.70	c 446.278 139.059 17824 13405866
480.69/480.70	o 602
481.49/481.59	c 447.134 139.059 14050 13418177
481.49/481.59	o 600
482.89/482.99	c 448.418 139.059 12429 13451522
482.89/482.99	o 597
485.49/485.58	c 450.847 139.188 16311 13502799
485.49/485.58	o 596
488.30/488.38	c 453.434 139.188 16618 13584195
488.30/488.38	o 595
491.80/491.87	c 456.648 139.188 17057 13680691
491.80/491.87	o 592
492.19/492.28	c 457.009 139.188 16651 13695586
492.19/492.28	o 591
492.80/492.89	c 457.551 139.188 15317 13715744
492.80/492.89	o 590
493.09/493.14	c 457.771 139.188 19945 13724701
493.09/493.14	o 586
496.10/496.12	c 460.521 139.367 14734 13795075
496.10/496.12	o 585
500.00/500.00	c 464.139 139.367 15928 13881209
500.00/500.00	o 579
502.29/502.33	c 466.264 139.367 11631 13951346
502.29/502.33	o 577
504.99/505.02	c 468.762 139.367 13953 14014184
504.99/505.02	o 576
505.09/505.10	c 468.831 139.367 14340 14017582
505.09/505.10	o 573
505.99/506.03	c 469.714 139.367 13828 14035819
505.99/506.03	o 572
506.19/506.21	c 469.875 139.367 17191 14042837
506.19/506.21	o 571
510.69/510.79	c 474.161 139.496 18011 14152899
510.69/510.79	o 570
512.19/512.29	c 475.522 139.496 22389 14201087
512.19/512.29	o 566
516.49/516.57	c 479.48 139.496 14375 14316520
516.49/516.57	o 565
517.29/517.34	c 480.173 139.496 16921 14341699
517.29/517.34	o 563
517.79/517.86	c 480.639 139.496 12948 14360634
517.79/517.86	o 562
518.10/518.17	c 480.92 139.496 17652 14375595
518.10/518.17	o 559
518.39/518.47	c 481.198 139.625 21909 14385279
518.39/518.47	o 558
521.69/521.75	c 484.277 139.625 17929 14448309
521.69/521.75	o 556
523.09/523.12	c 485.545 139.625 18981 14478081
523.09/523.12	o 555
523.79/523.87	c 486.257 139.625 15100 14492217
523.79/523.87	o 553
524.10/524.10	c 486.468 139.625 18243 14499920
524.10/524.10	o 550
525.70/525.76	c 488.025 139.625 14983 14532409
525.70/525.76	o 548
527.19/527.20	c 489.348 139.625 14119 14569641
527.19/527.20	o 547
530.39/530.43	c 492.377 139.625 17698 14629214
530.39/530.43	o 542
531.19/531.30	c 493.172 139.625 19234 14653311
531.19/531.30	o 541
532.49/532.57	c 494.343 139.625 16609 14682454
532.49/532.57	o 540
532.79/532.82	c 494.576 139.625 19653 14689283
532.79/532.82	o 537
535.00/535.03	c 496.619 139.625 15747 14736983
535.00/535.03	o 536
535.89/535.96	c 497.485 139.625 15902 14759929
535.89/535.96	o 534
537.80/537.88	c 499.285 139.754 14330 14795808
537.80/537.88	o 533
539.29/539.31	c 500.6 139.754 15588 14834197
539.29/539.31	o 531
541.29/541.38	c 502.531 139.754 12861 14880119
541.29/541.38	o 530
542.59/542.69	c 503.737 139.883 18289 14909142
542.59/542.69	o 529
545.69/545.79	c 506.592 139.883 22298 14994798
545.69/545.79	o 528
546.80/546.83	c 507.543 139.883 15828 15017976
546.80/546.83	o 526
547.49/547.50	c 508.152 140.141 26330 15039313
547.49/547.50	o 524
549.40/549.42	c 509.943 140.141 17569 15090123
549.40/549.42	o 523
550.70/550.76	c 511.218 140.141 18035 15111318
550.70/550.76	o 522
551.29/551.31	c 511.74 140.141 12651 15122116
551.29/551.31	o 521
552.29/552.32	c 512.688 140.141 16307 15145703
552.29/552.32	o 519
554.49/554.53	c 514.773 140.141 15251 15181707
554.49/554.53	o 518
554.89/554.98	c 515.167 140.141 24973 15200147
554.89/554.98	o 517
559.19/559.22	c 519.066 140.141 10676 15306222
559.19/559.22	o 516
559.39/559.45	c 519.285 140.141 13206 15314807
559.39/559.45	o 513
561.00/561.01	c 520.742 140.141 18337 15355750
561.00/561.01	o 512
561.19/561.25	c 520.95 140.141 13804 15365399
561.19/561.25	o 503
564.19/564.28	c 523.777 140.141 16232 15436395
564.19/564.28	o 495
566.20/566.21	c 525.569 140.141 14769 15494883
566.20/566.21	o 492
569.59/569.60	c 528.822 140.141 20515 15541536
569.59/569.60	o 491
570.69/570.77	c 529.868 140.141 17984 15577958
570.69/570.77	o 489
571.29/571.31	c 530.369 140.141 17289 15598101
571.29/571.31	o 487
572.29/572.38	c 531.357 140.141 18320 15624696
572.29/572.38	o 486
575.59/575.67	c 534.423 140.141 19349 15700998
575.59/575.67	o 485
576.09/576.11	c 534.815 140.141 17137 15713460
576.09/576.11	o 484
576.99/577.04	c 535.681 140.141 15706 15730726
576.99/577.04	o 483
577.30/577.36	c 535.978 140.141 18781 15741478
577.30/577.36	o 482
580.30/580.35	c 538.737 140.141 19432 15816467
580.30/580.35	o 481
581.09/581.11	c 539.434 140.141 20330 15838283
581.09/581.11	o 480
582.99/583.06	c 541.283 140.141 17431 15882666
582.99/583.06	o 458
583.19/583.24	c 541.437 140.141 20007 15890885
583.19/583.24	o 457
583.19/583.29	c 541.487 140.141 10072 15894183
583.19/583.29	o 454
585.99/586.06	c 544.035 140.141 18747 15965581
585.99/586.06	o 453
589.29/589.32	c 547.071 140.27 17689 16030083
589.29/589.32	o 451
589.79/589.87	c 547.579 140.398 15398 16045530
589.79/589.87	o 450
593.30/593.38	c 550.84 140.398 17731 16116630
593.30/593.38	o 449
593.79/593.81	c 551.226 140.398 13895 16130956
593.79/593.81	o 448
596.39/596.43	c 553.686 140.398 13097 16177702
596.39/596.43	o 442
596.49/596.59	c 553.835 140.398 13831 16186511
596.49/596.59	o 441
596.69/596.78	c 554.023 140.398 16054 16192704
596.69/596.78	o 439
599.59/599.62	c 556.668 140.398 17736 16249981
599.59/599.62	o 438
601.49/601.56	c 558.448 140.398 18400 16311390
601.49/601.56	o 421
603.00/603.06	c 559.833 140.398 17760 16343105
603.00/603.06	o 420
603.19/603.26	c 560.024 140.398 19776 16349664
603.19/603.26	o 419
603.60/603.68	c 560.406 140.398 18592 16365823
603.60/603.68	o 405
605.19/605.22	c 561.84 140.398 16932 16398672
605.19/605.22	o 404
610.69/610.78	c 567.014 140.656 12552 16522051
610.69/610.78	o 401
613.49/613.51	c 569.481 140.656 15548 16596183
613.49/613.51	o 400
614.90/614.96	c 570.833 140.656 16926 16632453
614.90/614.96	o 399
616.29/616.38	c 572.166 140.656 15469 16672902
616.29/616.38	o 395
617.00/617.04	c 572.765 140.914 27544 16690155
617.00/617.04	o 394
618.60/618.65	c 574.285 140.914 19512 16728310
618.60/618.65	o 393
620.80/620.84	c 576.341 140.914 14021 16771536
620.80/620.84	o 389
622.89/622.98	c 578.351 140.914 19011 16811823
622.89/622.98	o 388
624.49/624.59	c 579.809 140.914 24474 16858424
624.49/624.59	o 385
633.09/633.19	c 587.927 140.914 16828 17006934
633.09/633.19	o 384
634.10/634.19	c 588.844 140.914 22529 17028202
634.10/634.19	o 380
634.89/634.90	c 589.489 140.914 18793 17051524
634.89/634.90	o 377
636.00/636.03	c 590.572 140.914 18768 17069453
636.00/636.03	o 376
637.69/637.77	c 592.19 141.043 24046 17120522
637.69/637.77	o 375
639.89/639.96	c 594.217 141.043 16183 17181132
639.89/639.96	o 372
640.59/640.65	c 594.844 141.043 17895 17199291
640.59/640.65	o 371
641.89/641.93	c 596.047 141.043 19066 17219738
641.89/641.93	o 370
642.40/642.45	c 596.527 141.043 16848 17245358
642.40/642.45	o 363
642.49/642.58	c 596.645 141.043 18390 17251115
642.49/642.58	o 362
643.59/643.68	c 597.63 141.043 19649 17283349
643.59/643.68	o 361
645.19/645.23	c 599.095 141.043 17414 17312604
645.19/645.23	o 359
646.59/646.70	c 600.437 141.043 23309 17350272
646.59/646.70	o 351
647.29/647.40	c 601.088 141.043 21323 17371443
647.29/647.40	o 350
649.90/649.99	c 603.457 141.043 18399 17441046
649.90/649.99	o 348
651.59/651.61	c 604.982 141.043 12794 17467535
651.59/651.61	o 347
653.30/653.34	c 606.595 141.043 13178 17508667
653.30/653.34	o 345
653.89/653.93	c 607.149 141.043 18447 17519872
653.89/653.93	o 344
655.30/655.36	c 608.465 141.043 17253 17558840
655.30/655.36	o 343
657.50/657.51	c 610.474 141.043 21243 17599399
657.50/657.51	o 341
659.79/659.82	c 612.686 141.043 19187 17625890
659.79/659.82	o 338
661.19/661.29	c 614.022 141.043 14700 17673326
661.19/661.29	o 337
661.99/662.07	c 614.743 141.172 24054 17689413
661.99/662.07	o 336
662.50/662.58	c 615.195 141.172 21098 17706860
662.50/662.58	o 335
664.19/664.29	c 616.798 141.172 19326 17739841
664.19/664.29	o 334
667.09/667.17	c 619.383 141.172 19990 17828100
667.09/667.17	o 332
668.89/668.97	c 621.039 141.172 17927 17870882
668.89/668.97	o 331
669.90/669.95	c 621.993 141.172 15096 17885482
669.90/669.95	o 329
672.10/672.14	c 624.021 141.172 13588 17944824
672.10/672.14	o 327
672.30/672.38	c 624.233 141.172 16044 17951801
672.30/672.38	o 325
672.80/672.86	c 624.688 141.172 19576 17963798
672.80/672.86	o 323
674.50/674.58	c 626.303 141.172 9913 17997836
674.50/674.58	o 322
675.00/675.00	c 626.672 141.172 16416 18012586
675.00/675.00	o 321
675.89/675.92	c 627.507 141.172 20125 18034045
675.89/675.92	o 320
678.00/678.02	c 629.431 141.172 11749 18084725
678.00/678.02	o 319
679.80/679.83	c 631.163 141.172 21753 18106563
679.80/679.83	o 318
684.39/684.42	c 635.453 141.43 21434 18202501
684.39/684.42	o 317
687.09/687.12	c 637.968 141.43 13509 18256716
687.09/687.12	o 316
691.69/691.76	c 642.206 141.43 19742 18359232
691.69/691.76	o 315
691.99/692.05	c 642.47 141.43 14168 18367453
691.99/692.05	o 298
693.69/693.78	c 644.053 141.43 11373 18410487
693.69/693.78	o 297
694.20/694.27	c 644.499 141.43 19119 18427540
694.20/694.27	o 296
695.79/695.89	c 645.982 141.43 14434 18470792
695.79/695.89	o 294
698.20/698.23	c 648.131 141.43 19570 18533535
698.20/698.23	o 292
701.59/701.69	c 651.361 141.43 24462 18611545
701.59/701.69	o 291
705.19/705.29	c 654.697 141.43 18795 18691901
705.19/705.29	o 290
708.40/708.44	c 657.618 141.43 22517 18759557
708.40/708.44	o 286
709.60/709.69	c 658.781 141.43 18112 18792301
709.60/709.69	o 285
711.09/711.19	c 660.207 141.43 14296 18826390
711.09/711.19	o 282
711.30/711.33	c 660.339 141.43 14949 18832345
711.30/711.33	o 281
715.30/715.30	c 664.036 141.43 16632 18917958
715.30/715.30	o 278
717.80/717.83	c 666.438 141.43 14252 18962009
717.80/717.83	o 277
717.90/717.97	c 666.568 141.43 15422 18970661
717.90/717.97	o 274
718.20/718.23	c 666.805 141.43 20443 18981576
718.20/718.23	o 273
719.50/719.56	c 668.017 141.559 18033 19014690
719.50/719.56	o 272
719.79/719.83	c 668.279 141.559 20307 19022238
719.79/719.83	o 271
722.00/722.06	c 670.359 141.559 15773 19067379
722.00/722.06	o 265
723.60/723.68	c 671.919 141.559 14410 19089027
723.60/723.68	o 264
726.39/726.48	c 674.471 141.559 17460 19159830
726.39/726.48	o 263
729.79/729.86	c 677.631 141.559 12580 19218593
729.79/729.86	o 261
732.09/732.12	c 679.725 141.559 14996 19274472
732.09/732.12	o 260
732.90/732.99	c 680.519 141.559 19512 19296659
732.90/732.99	o 259
733.49/733.58	c 681.068 141.559 17763 19311471
733.49/733.58	o 258
737.30/737.35	c 684.608 141.559 19328 19381858
737.30/737.35	o 257
737.49/737.59	c 684.816 141.559 12648 19389101
737.49/737.59	o 256
740.30/740.32	c 687.354 141.559 18910 19448984
740.30/740.32	o 255
748.20/748.23	c 694.792 141.688 16642 19588602
748.20/748.23	o 253
748.89/748.98	c 695.502 141.688 15682 19604149
748.89/748.98	o 252
749.60/749.62	c 696.094 141.688 21163 19618013
749.60/749.62	o 251
750.70/750.74	c 697.107 141.688 14662 19649993
750.70/750.74	o 249
751.20/751.23	c 697.577 141.688 17452 19656718
751.20/751.23	o 247
751.79/751.81	c 698.125 141.688 15171 19672140
751.79/751.81	o 245
755.20/755.26	c 701.383 141.688 17891 19730359
755.20/755.26	o 244
757.40/757.40	c 703.423 141.688 16011 19762498
757.40/757.40	o 240
757.49/757.54	c 703.561 141.688 18194 19769547
757.49/757.54	o 239
762.10/762.19	c 707.835 141.688 18888 19869285
762.10/762.19	o 237
764.29/764.36	c 709.918 141.688 14371 19898401
764.29/764.36	o 236
764.50/764.55	c 710.083 141.688 17707 19906588
764.50/764.55	o 235
764.80/764.80	c 710.309 141.816 22902 19917884
764.80/764.80	o 227
767.81/767.85	c 713.115 141.816 14777 19990514
767.81/767.85	o 226
769.60/769.66	c 714.81 141.816 13290 20026454
769.60/769.66	o 225
770.80/770.89	c 715.934 141.816 21159 20055578
770.80/770.89	o 222
771.20/771.20	c 716.216 141.816 14484 20066114
771.20/771.20	o 220
771.69/771.78	c 716.767 141.816 19576 20078076
771.69/771.78	o 216
773.09/773.11	c 718.005 141.816 18872 20109225
773.09/773.11	o 214
774.40/774.43	c 719.208 141.816 17649 20143537
774.40/774.43	o 213
775.40/775.50	c 720.213 141.816 16741 20160695
775.40/775.50	o 212
777.00/777.05	c 721.649 141.816 17800 20194220
777.00/777.05	o 209
778.10/778.18	c 722.704 141.816 21523 20215865
778.10/778.18	o 208
778.80/778.84	c 723.317 141.816 19790 20233559
778.80/778.84	o 207
779.09/779.11	c 723.576 141.816 14995 20244725
779.09/779.11	o 206
780.20/780.25	c 724.624 141.816 20538 20270726
780.20/780.25	o 202
784.49/784.58	c 728.55 141.816 14662 20385424
784.49/784.58	o 201
788.40/788.44	c 732.157 141.816 18245 20459868
788.40/788.44	o 181
791.10/791.10	c 734.58 141.816 16043 20522229
791.10/791.10	o 180
792.50/792.57	c 736.002 141.945 23092 20536253
792.50/792.57	o 179
795.40/795.48	c 738.725 141.945 12768 20593478
795.40/795.48	o 177
798.20/798.27	c 741.337 141.945 18116 20650046
798.20/798.27	o 176
799.89/799.96	c 742.932 141.945 13724 20676292
799.89/799.96	o 173
800.39/800.42	c 743.338 141.945 19843 20688304
800.39/800.42	o 172
802.90/802.95	c 745.668 141.945 18264 20747678
802.90/802.95	o 170
805.70/805.76	c 748.276 141.945 16196 20808183
805.70/805.76	o 169
806.00/806.03	c 748.523 141.945 19345 20818751
806.00/806.03	o 168
806.39/806.47	c 748.923 141.945 16812 20833425
806.39/806.47	o 166
807.80/807.86	c 750.216 141.945 14559 20863168
807.80/807.86	o 164
809.20/809.22	c 751.435 142.074 15821 20896856
809.20/809.22	o 163
811.80/811.84	c 753.911 142.074 13254 20943087
811.80/811.84	o 162
812.70/812.71	c 754.748 142.074 17734 20954781
812.70/812.71	o 160
813.49/813.50	c 755.465 142.074 19846 20975044
813.49/813.50	o 159
817.10/817.12	c 758.821 142.074 12318 21037335
817.10/817.12	o 158
820.90/820.91	c 762.354 142.074 14552 21107165
820.90/820.91	o 157
821.49/821.59	c 762.99 142.074 21229 21122208
821.49/821.59	o 153
822.20/822.26	c 763.625 142.074 18385 21136253
822.20/822.26	o 152
825.20/825.28	c 766.458 142.074 18889 21189828
825.20/825.28	o 150
828.40/828.47	c 769.426 142.074 17393 21250738
828.40/828.47	o 149
829.00/829.00	c 769.92 142.203 22642 21264018
829.00/829.00	o 146
831.39/831.40	c 772.103 142.203 13911 21322095
831.39/831.40	o 145
831.60/831.61	c 772.298 142.203 15626 21329074
831.60/831.61	o 142
831.80/831.86	c 772.529 142.203 18634 21336987
831.80/831.86	o 141
835.10/835.12	c 775.548 142.203 18363 21399970
835.10/835.12	o 140
835.19/835.23	c 775.647 142.203 19034 21408032
835.19/835.23	o 139
836.30/836.30	c 776.621 142.59 26392 21433107
836.30/836.30	o 138
839.90/839.96	c 780.056 142.59 18431 21493864
839.90/839.96	o 137
842.50/842.54	c 782.493 142.59 10854 21532853
842.50/842.54	o 136
846.30/846.31	c 785.981 142.59 13165 21611683
846.30/846.31	o 135
848.00/848.07	c 787.577 142.59 18864 21655554
848.00/848.07	o 131
852.50/852.56	c 791.79 142.59 17978 21741962
852.50/852.56	o 130
856.20/856.20	c 795.171 142.59 19643 21817139
856.20/856.20	o 126
857.80/857.87	c 796.725 142.59 18339 21848219
857.80/857.87	o 125
859.90/859.95	c 798.645 142.59 21442 21885820
859.90/859.95	o 122
861.89/861.95	c 800.529 142.59 19313 21918726
861.89/861.95	o 121
863.20/863.29	c 801.779 142.59 13855 21948257
863.20/863.29	o 119
865.30/865.39	c 803.706 142.59 19901 21993781
865.30/865.39	o 117
867.70/867.70	c 805.884 142.59 18916 22038495
867.70/867.70	o 115
868.00/868.03	c 806.174 142.59 13972 22049792
868.00/868.03	o 114
871.40/871.41	c 809.283 142.59 14767 22120249
871.40/871.41	o 113
875.30/875.37	c 812.969 142.59 13595 22199367
875.30/875.37	o 112
879.50/879.51	c 816.863 142.59 16380 22277025
879.50/879.51	o 111
881.11/881.14	c 818.394 142.59 12656 22303359
881.11/881.14	o 110
881.40/881.43	c 818.669 142.59 14454 22308901
881.40/881.43	o 109
883.40/883.44	c 820.552 142.59 17089 22348515
883.40/883.44	o 108
883.70/883.73	c 820.818 142.59 22475 22358510
883.70/883.73	o 103
885.20/885.20	c 822.181 142.59 19004 22392468
885.20/885.20	o 102
885.30/885.31	c 822.289 142.59 19704 22398139
885.30/885.31	o 99
891.30/891.36	c 827.9 142.719 21354 22513373
891.30/891.36	o 97
894.70/894.79	c 831.111 142.719 18673 22574531
894.70/894.79	o 93
896.19/896.27	c 832.493 142.719 15330 22602964
896.19/896.27	o 92
898.60/898.68	c 834.793 142.719 16180 22640661
898.60/898.68	o 91
899.00/899.01	c 835.095 142.719 19723 22649405
899.00/899.01	o 90
899.00/899.09	c 835.168 142.719 20465 22652725
899.00/899.09	o 89
900.00/900.05	c 836.023 142.719 17129 22682649
900.00/900.05	o 88
903.40/903.45	c 839.243 142.719 17836 22735503
903.40/903.45	o 86
906.90/906.99	c 842.587 142.719 14801 22786302
906.90/906.99	o 85
907.80/907.86	c 843.389 142.719 22184 22811199
907.80/907.86	o 83
910.09/910.10	c 845.499 142.719 19488 22843503
910.09/910.10	o 82
913.50/913.55	c 848.675 142.848 18838 22910745
913.50/913.55	o 81
914.69/914.73	c 849.8 142.848 16987 22928725
914.69/914.73	o 78
915.60/915.66	c 850.659 142.848 19183 22955220
915.60/915.66	o 76
915.89/915.90	c 850.886 142.977 22398 22963004
915.89/915.90	o 71
916.50/916.53	c 851.458 142.977 18464 22978627
916.50/916.53	o 69
917.30/917.35	c 852.226 142.977 19211 22996497
917.30/917.35	o 68
919.80/919.81	c 854.544 142.977 22912 23041950
919.80/919.81	o 67
923.10/923.15	c 857.682 142.977 19650 23109373
923.10/923.15	o 66
925.10/925.13	c 859.511 142.977 15223 23152541
925.10/925.13	o 64
925.50/925.57	c 859.898 142.977 12681 23167922
925.50/925.57	o 63
925.60/925.69	c 860.017 142.977 14268 23172831
925.60/925.69	o 61
929.80/929.83	c 863.933 142.977 20159 23231434
929.80/929.83	o 60
930.20/930.20	c 864.285 142.977 16117 23240505
930.20/930.20	o 59
930.60/930.63	c 864.67 143.105 23171 23253737
930.60/930.63	o 58
931.71/931.74	c 865.743 143.105 16803 23265769
931.71/931.74	o 57
934.30/934.33	c 868.156 143.105 12855 23315532
934.30/934.33	o 56
934.30/934.39	c 868.207 143.105 13044 23318952
934.30/934.39	o 52
934.49/934.55	c 868.363 143.105 13748 23326177
934.49/934.56	o 51
935.00/935.03	c 868.794 143.105 19613 23339067
935.00/935.03	o 49
937.10/937.15	c 870.855 143.105 19675 23355003
937.10/937.15	o 48
938.21/938.27	c 871.867 143.105 17371 23384526
938.21/938.27	o 46
938.50/938.50	c 872.084 143.105 20234 23392085
938.50/938.50	o 44
939.00/939.02	c 872.558 143.105 15867 23406397
939.00/939.02	o 43
939.60/939.62	c 873.109 143.105 14150 23421038
939.60/939.62	o 39
939.89/939.96	c 873.428 143.105 18327 23429705
939.89/939.96	o 38
940.20/940.24	c 873.688 143.105 20839 23436185
940.20/940.24	o 37
941.40/941.49	c 874.887 143.105 18678 23449006
941.40/941.49	o 36
941.50/941.56	c 874.948 143.105 18971 23452627
941.50/941.56	o 34
943.29/943.34	c 876.641 143.105 14444 23488526
943.29/943.34	o 33
944.50/944.59	c 877.798 143.105 21312 23521100
944.50/944.59	o 32
944.90/944.92	c 878.094 143.105 17007 23534496
944.90/944.92	o 24
946.40/946.49	c 879.575 143.105 14139 23561196
946.40/946.49	o 22
947.11/947.10	c 880.161 143.105 18109 23569829
947.11/947.10	o 20
949.30/949.36	c 882.314 143.105 16450 23606795
949.30/949.36	o 19
951.10/951.16	c 883.98 143.105 15551 23645890
951.10/951.16	o 18
952.80/952.88	c 885.619 143.105 20031 23673839
952.80/952.88	o 17
953.20/953.22	c 885.944 143.105 22682 23680942
953.20/953.22	o 16
957.90/957.93	c 890.445 143.105 17245 23745260
957.90/957.93	o 15
961.00/961.05	c 893.407 143.105 11116 23792334
961.00/961.05	o 14
961.50/961.55	c 893.86 143.105 18899 23807009
961.50/961.55	o 12
961.90/961.93	c 894.201 143.234 25203 23817966
961.90/961.93	o 11
962.00/962.02	c 894.288 143.234 11677 23820922
962.00/962.02	o 8
962.40/962.45	c 894.67 143.234 17816 23831867
962.40/962.45	o 7
962.90/962.91	c 895.096 143.234 23824 23841768
962.90/962.91	o 6
963.10/963.18	c 895.342 143.234 15986 23850336
963.10/963.18	o 5
964.90/964.92	c 897.001 143.578 19410 23875428
964.90/964.92	o 4
964.90/964.92	c 897.007 143.578 19410 23875428
964.90/964.92	s OPTIMUM FOUND
964.90/964.92	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 -x3311 x3312 -x3313 -x3314 x3315 x3316 -x3317 -x3318 x3319 x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 x3327 x3328 x3329 -x3330 x3331 -x3332 -x3333 x3334 -x3335 -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 x3344 x3345 -x3346 -x3347 x3348 x3349 x3350 -x3351 x3352 -x3353 x3354 x3355 x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 x3368 x3369 -x3370 -x3371 x3372 -x3373 -x3374 x3375 x3376 x3377 x3378 -x3379 -x3380 -x3381 x3382 -x3383 -x3384 x3385 x3386 x3387 x3388 x3389 x3390 -x3391 x3392 x3393 x3394 -x3395 x3396 -x3397 -x3398 x3399 -x3400 -x3401 x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 x3414 -x3415 -x3416 -x3417 x3418 -x3419 x3420 -x3421 -x3422 -x3423 -x3424 -x3425 x3426 x3427 -x3428 -x3429 x3430 -x3431 -x3432 x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3443 x3444 x3445 -x3446 -x3447 x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 x3459 -x3460 -x3461 -x3462 -x3463 x3464 x3465 -x3466 x3467 x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 x3478 -x3479 x3480 -x3481 -x3482 x3483 x3484 -x3485 x3486 x3487 x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 x3501 -x3502 -x3503 x3504 -x3505 -x3506 x3507 x3508 -x3509 x3510 x3511 -x3512 x3513 x3514 x3515 x3516 -x3517 x3518 x3519 x3520 x3521 x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 x3529 x3530 -x3531 -x3532 -x3533 x3534 x3535 -x3536 -x3537 -x3538 x3539 x3540 x3541 -x3542 -x3543 x3544 x3545 -x3546 x3547 -x3548 -x3549 -x3550 x3551 -x3552 -x3553 -x3554 x3555 -x3556 x3557 x3558 x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 x3567 -x3568 x3569 x3570 -x3571 x3572 x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 x3581 -x3582 -x3583 x3584 x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 x3595 x3596 -x3597 x3598 -x3599 x3600 -x3601 x3602 x3603 x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 -x3614 x3615 x3616 x3617 -x3618

Verifier Data 

OK	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698897-1278461747/watcher-2698897-1278461747 -o /tmp/evaluation-result-2698897-1278461747/solver-2698897-1278461747 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698897-1278461747.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13058
/proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=2136 CPUtime=0
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14387832 2187264 172 4089446400 134512640 136422188 4287767104 18446744073709551615 135809704 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13058/statm: 534 172 144 467 0 65 0

[startup+0.018617 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13058
/proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=2400 CPUtime=0.01
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 306 0 0 0 1 0 0 0 25 0 1 0 14387832 2457600 225 4089446400 134512640 136422188 4287767104 18446744073709551615 135717690 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13058/statm: 600 226 144 467 0 131 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2400

[startup+0.100593 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13058
/proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=14324 CPUtime=0.09
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 3271 0 0 0 9 0 0 0 25 0 1 0 14387832 14667776 3190 4089446400 134512640 136422188 4287767104 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13058/statm: 3614 3192 193 467 0 3145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14324

[startup+0.300557 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13058
/proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=48088 CPUtime=0.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 12260 0 0 0 28 1 0 0 25 0 1 0 14387832 49242112 11643 4089446400 134512640 136422188 4287767104 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13058/statm: 12022 11644 193 467 0 11553 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48088

[startup+0.700494 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13058
/proc/meminfo: memFree=30669780/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=114796 CPUtime=0.69
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 29595 0 0 0 65 4 0 0 25 0 1 0 14387832 117551104 27511 4089446400 134512640 136422188 4287767104 18446744073709551615 134927294 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13058/statm: 28699 27511 203 467 0 28230 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114796

[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13059
/proc/meminfo: memFree=30553708/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=121668 CPUtime=1.49
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 31332 0 0 0 139 10 0 0 25 0 1 0 14387832 124588032 29248 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13058/statm: 30417 29248 214 467 0 29948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121668

[startup+3.10109 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13060
/proc/meminfo: memFree=30552964/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=122992 CPUtime=3.1
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 31647 0 0 0 289 21 0 0 25 0 1 0 14387832 125943808 29563 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13058/statm: 30748 29563 214 467 0 30279 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 122992

[startup+6.30055 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13060
/proc/meminfo: memFree=30548616/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=126948 CPUtime=6.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 32761 0 0 0 583 46 0 0 25 0 1 0 14387832 129994752 30294 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13058/statm: 31737 30294 237 467 0 31268 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126948

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13060
/proc/meminfo: memFree=30548864/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=126948 CPUtime=12.69
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 32763 0 0 0 1178 91 0 0 25 0 1 0 14387832 129994752 30294 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13058/statm: 31737 30294 237 467 0 31268 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 126948

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13061
/proc/meminfo: memFree=30548184/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=128268 CPUtime=25.49
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 33082 0 0 0 2362 187 0 0 25 0 1 0 14387832 131346432 30610 4089446400 134512640 136422188 4287767104 18446744073709551615 135026966 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13058/statm: 32067 30610 237 467 0 31598 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 128268

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13061
/proc/meminfo: memFree=30546236/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=130116 CPUtime=51.09
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 33570 0 0 0 4747 362 0 0 25 0 1 0 14387832 133238784 31092 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13058/statm: 32529 31092 237 467 0 32060 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 130116

[startup+102.305 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13063
/proc/meminfo: memFree=30543208/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=133152 CPUtime=102.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 34341 0 0 0 9486 743 0 0 25 0 1 0 14387832 136347648 31842 4089446400 134512640 136422188 4287767104 18446744073709551615 134868265 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13058/statm: 33288 31842 237 467 0 32819 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 133152

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13064
/proc/meminfo: memFree=30540300/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=136188 CPUtime=162.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 35126 0 0 0 15039 1190 0 0 25 0 1 0 14387832 139456512 32593 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 34047 32593 237 467 0 33578 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 136188

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13068
/proc/meminfo: memFree=30538156/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=137772 CPUtime=222.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 35581 0 0 0 20610 1619 0 0 25 0 1 0 14387832 141078528 33013 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 34443 33013 237 467 0 33974 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 137772

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13070
/proc/meminfo: memFree=30536604/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=139356 CPUtime=282.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 36025 0 0 0 26153 2076 0 0 25 0 1 0 14387832 142700544 33420 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 34839 33420 237 467 0 34370 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 139356

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13072
/proc/meminfo: memFree=30535428/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=140412 CPUtime=342.3
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 36317 0 0 0 31753 2477 0 0 25 0 1 0 14387832 143781888 33680 4089446400 134512640 136422188 4287767104 18446744073709551615 134870615 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 35103 33680 237 467 0 34634 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 140412

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13101
/proc/meminfo: memFree=30468668/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=141204 CPUtime=402.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 36549 0 0 0 37327 2902 0 0 25 0 1 0 14387832 144592896 33879 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 35301 33879 237 467 0 34832 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 141204

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13102
/proc/meminfo: memFree=30466884/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=142260 CPUtime=462.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 36849 0 0 0 42907 3322 0 0 25 0 1 0 14387832 145674240 34146 4089446400 134512640 136422188 4287767104 18446744073709551615 135684970 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 35565 34146 237 467 0 35096 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 142260

[startup+522.301 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 13103
/proc/meminfo: memFree=30465068/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=142972 CPUtime=522.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37039 0 0 0 48478 3751 0 0 25 0 1 0 14387832 146403328 34299 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 35743 34299 237 467 0 35274 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 142972

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 13105
/proc/meminfo: memFree=30463624/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=143500 CPUtime=582.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37224 0 0 0 54056 4173 0 0 25 0 1 0 14387832 146944000 34444 4089446400 134512640 136422188 4287767104 18446744073709551615 134974301 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 35875 34444 237 467 0 35406 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 143500

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13107
/proc/meminfo: memFree=30462572/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=144424 CPUtime=642.3
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37479 0 0 0 59638 4592 0 0 25 0 1 0 14387832 147890176 34665 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36106 34665 237 467 0 35637 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 144424

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13109
/proc/meminfo: memFree=30462012/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=144820 CPUtime=702.29
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37620 0 0 0 65191 5038 0 0 25 0 1 0 14387832 148295680 34769 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36205 34769 237 467 0 35736 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 144820

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13110
/proc/meminfo: memFree=30461556/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=145084 CPUtime=762.3
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37726 0 0 0 70794 5436 0 0 25 0 1 0 14387832 148566016 34844 4089446400 134512640 136422188 4287767104 18446744073709551615 135019281 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36271 34844 237 467 0 35802 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 145084

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13111
/proc/meminfo: memFree=30460980/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=145480 CPUtime=822.3
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 37867 0 0 0 76365 5865 0 0 25 0 1 0 14387832 148971520 34948 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36370 34948 237 467 0 35901 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 145480

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13113
/proc/meminfo: memFree=30460280/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=146008 CPUtime=882.3
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38017 0 0 0 81950 6280 0 0 25 0 1 0 14387832 149512192 35071 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36502 35071 237 467 0 36033 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 146008

[startup+942.301 s]
/proc/loadavg: 2.05 2.01 1.93 3/179 13115
/proc/meminfo: memFree=30459344/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=146536 CPUtime=942.3
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38198 0 0 0 87565 6665 0 0 25 0 1 0 14387832 150052864 35209 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36634 35209 237 467 0 36165 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 146536

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

[startup+947.106 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 13115
/proc/meminfo: memFree=30459340/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=146536 CPUtime=947.11
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38202 0 0 0 88016 6695 0 0 25 0 1 0 14387832 150052864 35209 4089446400 134512640 136422188 4287767104 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36634 35209 237 467 0 36165 0
Current children cumulated CPU time (s) 947.11
Current children cumulated vsize (KiB) 146536

[startup+953.501 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 13115
/proc/meminfo: memFree=30459456/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=146536 CPUtime=953.5
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38226 0 0 0 88620 6730 0 0 18 0 1 0 14387832 150052864 35228 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36634 35228 237 467 0 36165 0
Current children cumulated CPU time (s) 953.5
Current children cumulated vsize (KiB) 146536

[startup+959.901 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 13115
/proc/meminfo: memFree=30459208/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=146536 CPUtime=959.9
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38227 0 0 0 89229 6761 0 0 25 0 1 0 14387832 150052864 35228 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36634 35228 237 467 0 36165 0
Current children cumulated CPU time (s) 959.9
Current children cumulated vsize (KiB) 146536

[startup+963.1 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 13115
/proc/meminfo: memFree=30459204/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=146668 CPUtime=963.1
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38266 0 0 0 89526 6784 0 0 25 0 1 0 14387832 150188032 35261 4089446400 134512640 136422188 4287767104 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36667 35261 237 467 0 36198 0
Current children cumulated CPU time (s) 963.1
Current children cumulated vsize (KiB) 146668

[startup+963.9 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 13115
/proc/meminfo: memFree=30459080/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=147020 CPUtime=963.9
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38296 0 0 0 89600 6790 0 0 25 0 1 0 14387832 150548480 35290 4089446400 134512640 136422188 4287767104 18446744073709551615 135025965 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36755 35290 237 467 0 36286 0
Current children cumulated CPU time (s) 963.9
Current children cumulated vsize (KiB) 147020

[startup+964.706 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 13115
/proc/meminfo: memFree=30459192/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=147020 CPUtime=964.71
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38297 0 0 0 89679 6792 0 0 25 0 1 0 14387832 150548480 35291 4089446400 134512640 136422188 4287767104 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 36755 35291 237 467 0 36286 0
Current children cumulated CPU time (s) 964.71
Current children cumulated vsize (KiB) 147020

[startup+965.101 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 13115
/proc/meminfo: memFree=30459192/32951124 swapFree=67111528/67111528
[pid=13058] ppid=13056 vsize=136964 CPUtime=965.1
/proc/13058/stat : 13058 (pbct) R 13056 13058 12606 0 -1 4202496 38302 0 0 0 89718 6792 0 0 25 0 1 0 14387832 140251136 33353 4089446400 134512640 136422188 4287767104 18446744073709551615 135818353 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13058/statm: 34241 33353 240 467 0 33772 0
Current children cumulated CPU time (s) 965.1
Current children cumulated vsize (KiB) 136964

Child status: 0
Real time (s): 965.139
CPU time (s): 965.147
CPU user time (s): 897.213
CPU system time (s): 67.9347
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 147020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 897.213
system time used= 67.9347
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38303
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= 2382

runsolver used 1.37379 second user time and 3.06453 second system time

The end

Launcher Data 

Begin job on node130 at 2010-07-07 02:15:47
IDJOB=2698897
IDBENCH=79039
IDSOLVER=1212
FILE ID=node130/2698897-1278461747
PBS_JOBID= 11233732
Free space on /tmp= 73484 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698897-1278461747/watcher-2698897-1278461747 -o /tmp/evaluation-result-2698897-1278461747/solver-2698897-1278461747 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698897-1278461747.wbo

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

MD5SUM BENCH= 2f5b39eda2f3d2ee24cba69641294774
RANDOM SEED=12560147

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.22
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30670176 kB
Buffers:        108476 kB
Cached:        1946596 kB
SwapCached:          0 kB
Active:         713092 kB
Inactive:      1424444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30670176 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2056 kB
Writeback:           0 kB
AnonPages:       82724 kB
Mapped:          15840 kB
Slab:            80108 kB
PageTables:       4628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   223500 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73480 MiB
End job on node130 at 2010-07-07 02:31:52