Trace number 3466735

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
MinisatID 2.4.8-gmp? (TO)229530041397475 1800.07 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
MD5SUMefa7fb1a840e9d48ac9b28aadc8f53ba
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark116073746745975
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 257546671029920
Optimality of the best value was proved NO
Number of variables2219
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint191
Number of terms in the objective function 1716
Biggest coefficient in the objective function 5134096531456000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 216401520151185266
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 5134096531456000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 216401520151185266
Number of bits of the biggest sum of numbers58
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	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
1.79/1.81	o 5315956027398800
2.29/2.38	o 5189112299442200
2.39/2.47	o 5189112271410200
2.49/2.57	o 5187064271410200
2.79/2.81	o 5187060533810200
2.89/2.91	o 5187058464114200
2.99/3.00	o 5187057954774950
2.99/3.09	o 5055985954774950
3.09/3.18	o 5054072303574950
3.39/3.44	o 5054059060732550
3.49/3.53	o 5054058686972550
3.59/3.63	o 5054052063945350
3.69/3.72	o 5053992262345350
3.79/3.81	o 5053977311945350
3.89/3.90	o 5053972079305350
3.89/3.99	o 4791828079305350
3.99/4.07	o 4791828077845350
4.09/4.17	o 4726292077845350
4.31/4.34	o 4190236057365350
4.31/4.35	o 4190236028165350
4.41/4.42	o 4190235969765350
4.59/4.62	o 4157467969765350
4.69/4.70	o 4157464232165350
4.69/4.79	o 4157452271845350
4.79/4.87	o 4157446291685350
4.89/4.96	o 4157444796645350
4.99/5.04	o 4157420876005350
5.09/5.13	o 4157408915685350
5.09/5.19	o 4157408682085350
5.19/5.27	o 4157406813285350
5.29/5.34	o 4157376912485350
5.41/5.42	o 4157317110885350
5.41/5.50	o 4157316176485350
5.51/5.57	o 4156359350885350
5.59/5.65	o 4156358883685350
5.69/5.71	o 4156358416485350
5.69/5.79	o 4156358387285350
5.79/5.87	o 4156358372685350
5.89/5.95	o 4156357438285350
5.99/6.03	o 4156349963085350
6.09/6.11	o 4156230359885350
6.09/6.18	o 4156230352585350
6.19/6.26	o 4156230294185350
6.29/6.34	o 4156230177385350
6.39/6.42	o 4156230162785350
6.39/6.49	o 4156215212385350
6.51/6.57	o 4156215208735350
6.61/6.65	o 4156138662687350
6.69/6.72	o 4156042980127350
6.79/6.82	o 3894195596063350
6.79/6.88	o 3894194998047350
6.89/6.96	o 3894194951327350
6.99/7.02	o 3894190167199350
7.09/7.10	o 3369902167199350
7.09/7.18	o 3369902158439350
7.19/7.24	o 3365806158439350
7.29/7.34	o 3238830158439350
7.39/7.40	o 3238830153329350
7.39/7.47	o 3238830118289350
7.49/7.55	o 3238830100769350
7.61/7.63	o 3238829960609350
7.61/7.71	o 3238829890529350
7.71/7.78	o 3238829329889350
7.79/7.86	o 3238828208609350
7.89/7.93	o 3238827928289350
7.99/8.00	o 3238825685729350
7.99/8.07	o 3238821200609350
8.09/8.14	o 3238821198419350
8.19/8.21	o 3238821194039350
8.19/8.29	o 3238821137975350
8.29/8.36	o 3238820240951350
8.39/8.43	o 3238820233943350
8.49/8.50	o 3238818439895350
8.49/8.57	o 3238818215639350
8.59/8.64	o 3238817767127350
8.59/8.71	o 3238817766251350
8.71/8.79	o 3238817752235350
8.81/8.89	o 3238817752016350
8.89/8.96	o 3238814163920350
8.99/9.03	o 3238814162168350
9.09/9.10	o 3238814050040350
9.09/9.17	o 3238718367480350
9.19/9.23	o 3238694446840350
9.29/9.30	o 3238646605560350
9.39/9.46	o 3238646604538350
9.49/9.51	o 3237574959866350
9.49/9.58	o 3237407515386350
9.59/9.64	o 3237405272826350
9.69/9.70	o 3237403030266350
13.11/13.21	o 3122183175500555
13.21/13.28	o 3122182241100555
13.39/13.44	o 2991205467020005
13.39/13.45	o 2991145665420005
13.49/13.56	o 2990188839820005
13.59/13.66	o 2990069236620005
13.69/13.76	o 2973685236620005
18.72/18.77	o 2957582914533675
18.79/18.88	o 2957582086655275
18.99/19.04	o 2957580430898475
19.09/19.14	o 2957580016959275
19.19/19.25	o 2957579809989675
19.29/19.35	o 2957579771323435
19.39/19.46	o 2957572595131435
19.49/19.56	o 2957572577611435
19.59/19.67	o 2957568092491435
19.71/19.77	o 2957568090666435
19.81/19.87	o 2957568083366435
19.89/19.97	o 2957568071686435
19.99/20.07	o 2957568069496435
20.09/20.17	o 2957568063656435
20.19/20.27	o 2957567503016435
20.29/20.37	o 2957567386216435
20.39/20.46	o 2957565316520435
20.49/20.56	o 2957565315060435
20.59/20.65	o 2957565221620435
20.69/20.80	o 2957563726580435
20.81/20.90	o 2957563656500435
20.91/20.99	o 2957563422900435
20.99/21.09	o 2957563393700435
21.09/21.18	o 2957560403620435
21.19/21.27	o 2957560394860435
21.29/21.36	o 2957560254700435
21.39/21.46	o 2957559787500435
21.49/21.55	o 2957559779415685
21.59/21.65	o 2957559721015685
21.69/21.74	o 2957559688676685
21.79/21.84	o 2957559641956685
21.91/21.93	o 2957559639036685
22.01/22.03	o 2957559574358685
22.09/22.12	o 2957559445002685
22.19/22.22	o 2957559409962685
22.29/22.31	o 2957558797930685
22.39/22.40	o 2957558781761185
22.39/22.49	o 2957540841281185
22.49/22.59	o 2957533366081185
22.59/22.68	o 2957531497281185
22.69/22.77	o 2957530376001185
22.79/22.86	o 2957530352641185
22.89/22.96	o 2957530348261185
23.01/23.04	o 2957529830837185
23.11/23.13	o 2957529572125185
23.19/23.22	o 2957529291805185
23.29/23.31	o 2957528170525185
23.39/23.45	o 2957524583706685
23.49/23.53	o 2953121383706685
23.59/23.62	o 2952097383706685
23.69/23.71	o 2952083031322685
23.79/23.80	o 2952083019642685
23.79/23.87	o 2689939019642685
26.69/26.76	o 2635393881413300
26.79/26.87	o 2635389742021300
26.89/26.97	o 2635381463237300
26.99/27.09	o 2635364905669300
27.19/27.21	o 2635363870821300
27.29/27.33	o 2635363403621300
27.41/27.45	o 2631267403621300
27.51/27.58	o 2631267403438800
27.69/27.73	o 2631267396357800
27.79/27.84	o 2631267393437800
27.89/27.97	o 2631264403357800
27.99/28.09	o 2631261413277800
28.19/28.21	o 2631261411507550
28.29/28.33	o 2631261383183550
28.51/28.52	o 2631261321980350
28.61/28.65	o 2631240391420350
28.69/28.77	o 2631238896380350
28.79/28.89	o 2631238709500350
28.99/29.07	o 2631231458556350
29.09/29.20	o 2631229963516350
29.29/29.32	o 2631215461628350
29.39/29.45	o 2631191540988350
29.49/29.57	o 2629143540988350
29.61/29.69	o 2629137560828350
29.79/29.81	o 2629137549148350
29.89/29.94	o 2629137547235750
29.99/30.07	o 2629137453795750
30.09/30.19	o 2629137449970550
30.29/30.32	o 2629137263090550
30.39/30.44	o 2605380463090550
30.49/30.57	o 2605380459550050
30.59/30.70	o 2605380429130950
30.81/30.83	o 2605380055370950
30.89/30.95	o 2605380049530950
30.99/31.07	o 2605368089210950
31.09/31.19	o 2605338188410950
31.29/31.31	o 2605338173110150
31.39/31.43	o 2605338116462150
31.49/31.55	o 2605334490990150
31.59/31.67	o 2605334476828150
31.69/31.79	o 2605334453468150
31.81/31.91	o 2605334406748150
32.00/32.03	o 2605334405470650
32.09/32.15	o 2605334404585525
32.19/32.27	o 2593456004585525
32.29/32.38	o 2593456002249525
32.50/32.50	o 2593453012169525
32.60/32.62	o 2593452335459525
32.70/32.73	o 2591404335459525
32.80/32.84	o 2591392375139525
32.91/32.96	o 2067104375139525
32.91/32.98	o 2066984771939525
33.01/33.08	o 2066745565539525
33.09/33.17	o 2066745562619525
33.29/33.31	o 2066744665595525
33.39/33.42	o 2066744217083525
33.49/33.53	o 2066744104955525
33.59/33.65	o 2066740516859525
33.69/33.76	o 2066738722811525
33.79/33.87	o 2066738498555525
33.89/33.98	o 2066738442491525
34.01/34.09	o 2066690601211525
34.19/34.21	o 2066642759931525
34.29/34.33	o 1804498759931525
34.29/34.35	o 1804498526331525
34.39/34.41	o 1804498409531525
34.49/34.52	o 1804498351131525
34.59/34.62	o 1804498323099525
34.69/34.73	o 1804495931035525
34.79/34.83	o 1804495924027525
34.89/34.94	o 1804495920523525
34.99/35.04	o 1804495322507525
35.11/35.15	o 1804494126475525
35.21/35.25	o 1804493827467525
35.29/35.36	o 1804484259211525
35.39/35.47	o 1804479475083525
35.49/35.57	o 1804479400331525
35.59/35.68	o 1804479250827525
35.69/35.78	o 1804479213451525
35.79/35.89	o 1804479194763525
35.89/35.99	o 1804335670923525
36.09/36.10	o 1804335661256965
36.09/36.20	o 1804331923656965
36.21/36.31	o 1804302022856965
36.39/36.41	o 1803853510856965
36.49/36.51	o 1803853506184965
36.59/36.61	o 1803853496840965
36.69/36.71	o 1803853494504965
36.79/36.87	o 1803853124832965
36.89/36.96	o 1803851629792965
36.99/37.04	o 1803850433760965
37.09/37.13	o 1803850422080965
37.19/37.21	o 1803838461760965
37.19/37.29	o 1803814541120965
37.49/37.52	o 1803805346624965
37.59/37.60	o 1803800562496965
37.69/37.74	o 1803788602176965
37.80/37.81	o 1803785612096965
37.89/37.90	o 1803785588736965
37.89/37.99	o 1803785401856965
38.00/38.08	o 1803779421696965
38.10/38.18	o 1803779415856965
38.20/38.27	o 1803778668336965
38.30/38.36	o 1803777173296965
38.41/38.45	o 1803776799536965
38.52/38.55	o 1803776706096965
38.60/38.64	o 1803776694416965
38.70/38.73	o 1803710464144965
38.80/38.82	o 1803710417424965
38.90/38.91	o 1803662576144965
39.00/39.00	o 1803471211024965
39.00/39.09	o 1801940290064965
39.10/39.17	o 1801844607504965
39.20/39.27	o 1801768062916965
39.30/39.39	o 1801768059683065
39.40/39.46	o 1801768058874590
39.51/39.53	o 1801768049530590
39.61/39.62	o 1801765657466590
39.69/39.70	o 1801765358458590
39.69/39.77	o 1801758735431390
39.79/39.84	o 1801745489376990
39.89/39.92	o 1801745282407390
39.99/40.00	o 1801745280790440
39.99/40.06	o 1801745276118440
40.09/40.14	o 1801745250247240
40.19/40.21	o 1801745231559240
40.19/40.29	o 1801745179816840
40.29/40.36	o 1801706906792840
40.39/40.44	o 1801702122664840
40.49/40.51	o 1801701524648840
40.49/40.59	o 1801701511713240
40.61/40.66	o 1801701362209240
40.71/40.74	o 1801691793953240
40.79/40.81	o 1801691719201240
40.79/40.88	o 1801688407687640
40.89/40.96	o 1801688370311640
40.99/41.08	o 1801687174279640
41.09/41.16	o 1801668037767640
41.19/41.23	o 1801668037037640
41.19/41.29	o 1801668036855140
41.29/41.36	o 1670596036855140
41.39/41.42	o 1670596036490140
41.39/41.48	o 1670595849610140
41.49/41.54	o 1670595837930140
41.59/41.60	o 1670592847850140
41.59/41.66	o 1670591352810140
41.71/41.73	o 1670591306090140
41.71/41.78	o 1670591212650140
41.81/41.85	o 1670590838890140
41.89/41.91	o 1670590091370140
41.89/41.97	o 1670590068010140
41.99/42.02	o 1670590062170140
41.99/42.09	o 1670584082010140
42.09/42.15	o 1670584076900140
42.19/42.21	o 1670584066680140
42.19/42.27	o 1670584063760140
42.29/42.32	o 1670583900240140
42.29/42.38	o 1670583818480140
42.39/42.44	o 1670583777600140
42.49/42.50	o 1670583757160140
42.49/42.59	o 1670581140840140
42.59/42.64	o 1670578898280140
42.69/42.70	o 1670554977640140
42.69/42.75	o 1670553482600140
42.69/42.81	o 1670553481870140
42.81/42.86	o 1670553458510140
42.81/42.92	o 1670553458145140
43.09/43.13	o 1669044490595390
43.09/43.16	o 1669044489317890
43.09/43.19	o 1669044484207890
43.19/43.21	o 1669044473987890
43.19/43.27	o 1669044453547890
43.29/43.32	o 1669044450992890
43.29/43.38	o 1669044369232890
43.39/43.43	o 1669044328352890
43.39/43.49	o 1669044164832890
43.49/43.54	o 1669043837792890
43.59/43.60	o 1669042529632890
43.59/43.65	o 1669041875552890
43.69/43.71	o 1669039259232890
43.69/43.76	o 1669039259105140
43.80/43.82	o 1621525659105140
44.20/44.23	o 1365106062619465
44.20/44.25	o 1365106061451465
44.30/44.33	o 1365106060867465
44.30/44.39	o 1365106058531465
44.40/44.44	o 1365070177571465
44.40/44.48	o 1365034296611465
44.50/44.59	o 1364881205062965
44.60/44.63	o 1364881203602965
44.60/44.69	o 1364875223442965
44.70/44.74	o 1364875221982965
44.80/44.80	o 1364874474462965
44.80/44.85	o 1364874381022965
44.90/44.90	o 1364874334302965
44.90/44.96	o 1364873960542965
44.90/45.01	o 1364873954702965
45.01/45.06	o 1364873767822965
45.01/45.11	o 1364873767640465
45.20/45.22	o 1363929575256215
45.20/45.27	o 1363896086360215
47.79/47.85	o 1328037197466565
47.89/47.91	o 1328036888136645
47.99/48.03	o 1328036886968645
48.09/48.14	o 1328036884632645
48.19/48.25	o 1328036882862395
48.31/48.36	o 1328036875781395
48.42/48.48	o 1328036873591395
48.49/48.59	o 1328036803511395
48.69/48.70	o 1328036242871395
48.79/48.81	o 1328036225351395
48.89/48.92	o 1328036190311395
48.99/49.03	o 1328036185931395
49.09/49.14	o 1328035905611395
49.20/49.25	o 1328035896851395
49.30/49.36	o 1328035756691395
49.41/49.47	o 1328034261651395
49.52/49.57	o 1328034249971395
49.60/49.68	o 1328034226611395
49.70/49.79	o 1327914623411395
49.90/49.90	o 1327913875891395
50.00/50.00	o 1327913689011395
50.10/50.11	o 1327889768371395
50.20/50.22	o 1327877808051395
50.30/50.32	o 1327871827891395
50.40/50.43	o 1327871781171395
50.51/50.53	o 1327871687731395
50.62/50.64	o 1327871681891395
50.70/50.74	o 1327871308131395
50.80/50.85	o 1327871306671395
50.90/50.95	o 1327847386031395
59.49/59.56	o 1237483953896120
59.69/59.70	o 1237483953768370
59.79/59.85	o 1237483019368370
59.99/60.00	o 1237479281768370
60.09/60.14	o 1237477412968370
60.19/60.29	o 1237469937768370
60.41/60.43	o 1237469937403370
60.52/60.58	o 1237457977083370
60.70/60.72	o 1237455585019370
60.80/60.87	o 1237455584289370
61.00/61.01	o 1237452594209370
61.10/61.15	o 1237446614049370
61.20/61.29	o 1237446590689370
61.40/61.44	o 1237446589229370
61.51/61.58	o 1237446466822970
61.70/61.72	o 1237446451522170
61.80/61.86	o 1237446447696970
62.00/62.00	o 1237446436016970
62.10/62.14	o 1237446434556970
62.20/62.28	o 1237446341116970
62.40/62.42	o 1237446335276970
62.50/62.56	o 1237446148396970
62.61/62.69	o 1237446145476970
62.79/62.83	o 1237446098756970
62.89/62.96	o 1237445724996970
63.09/63.10	o 1237444977476970
63.19/63.23	o 1237411488580970
63.29/63.37	o 1237394744132970
63.49/63.50	o 1237394729970970
63.59/63.64	o 1237394503378970
63.71/63.77	o 1237394499838470
63.89/63.90	o 1237346658558470
63.99/64.04	o 1237250975998470
64.09/64.17	o 1232847775998470
64.29/64.30	o 1232846280958470
64.39/64.44	o 1232843290878470
64.49/64.57	o 1232819370238470
64.81/64.90	o 1232580163838470
64.99/65.03	o 1232101751038470
65.09/65.16	o 1231982147838470
65.19/65.29	o 1231742941438470
65.39/65.41	o 1231683139838470
65.49/65.54	o 1231563536638470
65.59/65.67	o 1231557556478470
65.79/65.80	o 1230792095998470
65.91/65.92	o 1230409365758470
66.19/66.28	o 1228371523838470
66.29/66.38	o 1228359563518470
66.39/66.43	o 1228311722238470
66.49/66.55	o 1223908522238470
66.59/66.67	o 1217969322238470
66.69/66.78	o 1206100490494470
66.89/66.90	o 1140564490494470
66.89/66.92	o 1140564303614470
66.89/66.97	o 1140534402814470
66.89/66.99	o 1140519452414470
67.01/67.11	o 1140511977214470
67.11/67.17	o 1139487977214470
67.19/67.24	o 1139487865086470
67.29/67.32	o 1139487862166470
67.29/67.38	o 1139487838806470
67.49/67.50	o 1139487465046470
67.49/67.57	o 1139487371606470
67.59/67.68	o 1139439530326470
67.69/67.75	o 1139248165206470
67.79/67.86	o 1138865434966470
67.89/67.93	o 1138099974486470
67.99/68.04	o 1138004291926470
68.21/68.24	o 1138002222230470
68.21/68.27	o 1137993943446470
68.29/68.35	o 1137989804054470
68.39/68.44	o 1137988769206470
68.49/68.51	o 1137972211638470
68.59/68.60	o 1137972205798470
68.59/68.68	o 1137972204338470
68.69/68.76	o 1137972157618470
68.79/68.84	o 1137972096415270
68.89/68.92	o 1137972094502670
68.99/69.06	o 1137972031963570
69.09/69.15	o 1137972027875570
69.21/69.23	o 1137971766243570
69.31/69.33	o 1090458166243570
69.69/69.77	o 1090458035427570
69.79/69.84	o 1090458027251570
69.89/69.94	o 1090458025207570
69.99/70.04	o 1090457992503570
70.09/70.12	o 1090457976151570
70.09/70.18	o 1090424487255570
70.19/70.25	o 1090420002135570
70.31/70.32	o 1090348240215570
70.31/70.38	o 1090061192535570
70.41/70.46	o 1089917668695570
70.49/70.54	o 1089881787735570
70.59/70.62	o 1089863847255570
72.30/72.33	o 1041712920905220
72.39/72.43	o 1041712354425220
72.39/72.51	o 1041712212805220
72.51/72.60	o 1041711929565220
72.61/72.69	o 1041711858755220
72.69/72.78	o 1041711841052720
72.79/72.87	o 1041711805647720
72.89/72.95	o 1041711796796470
72.99/73.04	o 1041711516476470
73.09/73.12	o 1041711481436470
73.19/73.21	o 1041711341276470
73.19/73.29	o 1041711271196470
73.29/73.38	o 1041711253676470
73.39/73.45	o 1041711251486470
73.49/73.54	o 1041710802974470
73.49/73.61	o 1041701832734470
73.61/73.71	o 1038015432916970
73.79/73.83	o 1031973834194470
73.89/73.92	o 1025932234194470
73.99/74.00	o 1025932047314470
73.99/74.09	o 1025930552274470
74.09/74.18	o 1025930178514470
74.19/74.27	o 1025927188434470
74.29/74.35	o 1025927094994470
74.39/74.44	o 1025927092074470
74.49/74.52	o 1025927068714470
74.59/74.61	o 1025921088554470
74.59/74.69	o 1025921076874470
74.71/74.77	o 1025921071034470
74.81/74.85	o 1025920323514470
74.89/74.94	o 1025872482234470
74.99/75.02	o 1025872435514470
75.09/75.11	o 1025848514874470
75.09/75.19	o 1025800673594470
75.19/75.27	o 1025776752954470
75.29/75.35	o 1025764792634470
75.49/75.54	o 1025286379834470
75.59/75.62	o 1025282044218470
75.69/75.74	o 1025281986219110
75.81/75.82	o 1024257986219110
75.81/75.91	o 1016065986219110
99.59/99.62	o 1010097425781565
99.69/99.77	o 1010097424504065
99.89/99.94	o 1010097423920065
100.01/100.11	o 1010097423034940
100.19/100.27	o 1010097366386940
100.39/100.44	o 1010097139794940
100.59/100.60	o 1010097026498940
100.69/100.77	o 1010096573314940
100.89/100.93	o 1010095666946940
100.99/101.09	o 1010095605743740
101.21/101.25	o 1010094858223740
101.39/101.42	o 1010094484463740
101.49/101.58	o 1010094483587740
101.69/101.74	o 1010094483149740
101.89/101.90	o 1010094482930740
101.99/102.06	o 1010094468914740
102.21/102.22	o 1010094356786740
102.31/102.38	o 1010094132530740
102.49/102.54	o 1010094130778740
102.69/102.70	o 1010093682266740
102.79/102.86	o 1010093675258740
102.99/103.02	o 1010093671754740
103.09/103.18	o 1010093643722740
103.31/103.33	o 1010093587658740
103.41/103.49	o 1010093578314740
103.59/103.65	o 1010093573642740
103.79/103.80	o 1010089985546740
103.89/103.96	o 1010089088522740
104.09/104.11	o 1010088843709940
104.19/104.27	o 1010087864458740
104.41/104.42	o 1010087374833140
104.51/104.57	o 1010085879793140
104.69/104.73	o 1010083921290740
104.79/104.88	o 1010083827850740
104.99/105.03	o 1010083640970740
105.09/105.18	o 1010082893450740
105.29/105.33	o 1010082835050740
105.39/105.48	o 1010082805850740
105.61/105.63	o 1010082712410740
105.69/105.78	o 1010079722330740
105.89/105.93	o 1010078227290740
105.99/106.08	o 1010077292890740
106.19/106.23	o 1010075424090740
106.49/106.52	o 1010075394890740
106.79/106.81	o 1010075380290740
106.89/106.95	o 1010075372990740
107.09/107.10	o 1010075369340740
107.19/107.25	o 1010075367515740
107.29/107.39	o 1010071629915740
107.49/107.54	o 1010064154715740
107.59/107.68	o 1010049204315740
107.81/107.83	o 1010019303515740
107.89/107.97	o 1010004353115740
108.09/108.11	o 1009980432475740
108.19/108.25	o 1009932591195740
108.39/108.40	o 1009812987995740
108.49/108.54	o 1009812614235740
108.59/108.68	o 1009806634075740
108.81/108.82	o 1009794673755740
108.91/108.96	o 1009698991195740
109.09/109.10	o 1009220578395740
109.19/109.24	o 1008981371995740
109.29/109.38	o 1008742165595740
109.49/109.51	o 1008263752795740
109.59/109.65	o 1007785339995740
109.69/109.79	o 1007689657435740
109.91/109.93	o 1007689563995740
110.02/110.06	o 1007689190235740
110.09/110.19	o 1007689003355740
110.29/110.33	o 1007687508315740
110.39/110.46	o 1007686760795740
110.49/110.59	o 1007686573915740
110.69/110.72	o 1007685826395740
110.79/110.85	o 1007685452635740
110.89/110.98	o 1007683957595740
111.01/111.11	o 1007683864155740
111.20/111.23	o 1007683817435740
111.30/111.36	o 1007680827355740
111.40/111.49	o 1007674847195740
111.60/111.62	o 1007662886875740
111.70/111.74	o 1007656906715740
111.80/111.87	o 1007644946395740
111.89/111.99	o 1007549263835740
112.11/112.12	o 1002429263835740
112.21/112.25	o 1002309660635740
112.29/112.38	o 1002070454235740
112.49/112.50	o 1002062979035740
112.59/112.63	o 1002048028635740
112.69/112.76	o 1001091203035740
112.89/112.95	o 977334403035740
112.89/112.96	o 971395203035740
112.99/113.04	o 971251679195740
113.09/113.16	o 971221778395740
113.21/113.29	o 971161976795740
113.31/113.35	o 971102175195740
113.39/113.40	o 970623762395740
113.49/113.55	o 969635446747740
113.59/113.68	o 969631709147740
113.99/114.00	o 969631690021740
114.09/114.12	o 969631680458740
114.19/114.24	o 969631651769740
114.19/114.31	o 969627166649740
114.31/114.41	o 969618196409740
114.41/114.49	o 969617075129740
114.59/114.61	o 969614832569740
114.69/114.75	o 969612963769740
114.79/114.82	o 968947773369740
114.99/115.00	o 968945680313740
114.99/115.04	o 968945647609740
115.09/115.16	o 968944601081740
115.19/115.26	o 968944077817740
115.29/115.38	o 968943947001740
115.41/115.49	o 968943881593740
115.59/115.61	o 968943877505740
115.69/115.72	o 968943615873740
116.29/116.32	o 960751622567840
116.39/116.44	o 960750688167840
116.51/116.55	o 960750314407840
116.70/116.77	o 960750174247840
142.69/142.75	o 956648323243675
142.79/142.89	o 956648264843675
143.02/143.03	o 956648255280675
143.09/143.17	o 956648208560675
143.29/143.31	o 956648185200675
143.39/143.45	o 956648173520675
143.49/143.59	o 956648138480675
143.69/143.73	o 956648068400675
143.79/143.87	o 956648050880675
143.89/144.00	o 956648048690675
144.12/144.14	o 956648032521175
144.19/144.28	o 956647974121175
144.39/144.42	o 956647972350925
144.49/144.56	o 956647968810425
144.60/144.69	o 956647967925300
144.79/144.83	o 956647960844300
144.89/144.96	o 956647937484300
144.99/145.10	o 956647922884300
145.21/145.23	o 956647893684300
145.29/145.37	o 956647886384300
145.49/145.50	o 956647872368300
145.59/145.63	o 956647816304300
145.69/145.77	o 956647788272300
145.89/145.90	o 956647781264300
145.99/146.03	o 956647767102300
146.09/146.16	o 956647738778300
146.21/146.29	o 956647682130300
146.39/146.42	o 956647611320300
146.49/146.55	o 956645368760300
146.59/146.68	o 956645135160300
146.79/146.81	o 956644200760300
146.89/146.94	o 956643733560300
146.99/147.07	o 956636258360300
147.19/147.20	o 956636141560300
147.31/147.32	o 956632403960300
147.41/147.45	o 956630535160300
147.49/147.58	o 956630418360300
147.69/147.70	o 956630184760300
147.79/147.83	o 956629717560300
147.89/147.95	o 956627848760300
147.99/148.07	o 956626914360300
148.19/148.20	o 956623176760300
148.29/148.32	o 956615701560300
148.41/148.44	o 956615584760300
148.52/148.56	o 956608109560300
148.59/148.68	o 956593159160300
148.79/148.80	o 956589421560300
148.89/148.92	o 956559520760300
148.99/149.04	o 956557651960300
149.09/149.16	o 956556717560300
149.19/149.28	o 956556250360300
149.29/149.39	o 956556016760300
149.51/149.59	o 948364016760300
149.69/149.71	o 915596016760300
149.79/149.83	o 868082416760300
149.89/149.94	o 866034416760300
150.19/150.26	o 866034276600300
150.29/150.36	o 866033996280300
150.40/150.46	o 866033435640300
150.50/150.57	o 866032314360300
150.61/150.67	o 866030071800300
150.72/150.78	o 866027829240300
150.90/150.90	o 865003829240300
151.00/151.00	o 864985888760300
151.10/151.11	o 864950007800300
151.20/151.21	o 864949540600300
151.29/151.31	o 860853540600300
151.39/151.41	o 860853447160300
182.40/182.46	o 860654320615850
182.62/182.62	o 860654318060850
182.70/182.75	o 860654313680850
182.90/182.93	o 860654312403350
183.10/183.10	o 860654310213350
183.20/183.25	o 860654308461350
183.40/183.41	o 860654302621350
183.50/183.58	o 860654279261350
183.72/183.74	o 860654273421350
183.90/183.90	o 860654272691350
184.00/184.07	o 860654261011350
184.19/184.23	o 860654258091350
184.29/184.39	o 860654256631350
184.49/184.54	o 860654246411350
184.71/184.72	o 860654241301350
184.81/184.88	o 860654159541350
184.99/185.03	o 860654139101350
185.19/185.21	o 860654098221350
185.29/185.35	o 860654060845350
185.49/185.52	o 860654037485350
185.59/185.69	o 860654009453350
185.81/185.84	o 860654002445350
185.99/186.01	o 860653988429350
186.09/186.17	o 860653984049350
186.29/186.31	o 860653797169350
186.39/186.48	o 860653741105350
186.59/186.65	o 860653516849350
186.79/186.81	o 860652470321350
186.91/186.98	o 860651573297350
187.09/187.15	o 860650377265350
187.19/187.29	o 860649910065350
187.39/187.46	o 860649004865350
187.59/187.62	o 860648025614150
187.69/187.77	o 860647745294150
187.89/187.90	o 860646624014150
188.01/188.06	o 860646063374150
188.19/188.21	o 860645923214150
188.29/188.38	o 860643964711750
188.49/188.54	o 860643955367750
188.59/188.69	o 860643880615750
188.79/188.85	o 860643843239750
188.99/189.02	o 860643824551750
189.11/189.17	o 860643525543750
189.29/189.33	o 860642329511750
189.39/189.48	o 860641731495750
189.60/189.64	o 860593890215750
189.80/189.81	o 860581929895750
189.90/189.96	o 860581928278800
190.10/190.12	o 860581824794000
190.21/190.27	o 860581798922800
190.40/190.43	o 860581591953200
190.50/190.58	o 860581588719300
190.70/190.74	o 860581536976900
190.79/190.88	o 860581123037700
190.99/191.04	o 860580295159300
191.09/191.19	o 860580288691500
191.31/191.34	o 860580275755900
191.41/191.49	o 860578619999100
191.59/191.64	o 860575308485500
191.69/191.78	o 860568685458300
191.89/191.93	o 860555439403900
191.99/192.07	o 860552823083900
192.19/192.22	o 860549234987900
192.29/192.36	o 860547440939900
192.41/192.51	o 860527855915900
192.59/192.66	o 860527549899900
192.79/192.81	o 860488379851900
192.89/192.96	o 860488370288900
193.09/193.10	o 860487758256900
193.19/193.25	o 860487605248900
193.29/193.39	o 860487566996900
193.51/193.54	o 860487528744900
193.61/193.68	o 860487154984900
193.79/193.82	o 860487108264900
193.89/193.97	o 860482623144900
194.09/194.11	o 860482473640900
194.19/194.25	o 860480403944900
194.29/194.39	o 860480274588900
194.49/194.53	o 860479239740900
194.61/194.67	o 860478981028900
194.80/194.81	o 860478463604900
194.89/194.94	o 860477155444900
194.99/195.08	o 860476501364900
195.20/195.22	o 860476174324900
195.30/195.36	o 860476010804900
195.40/195.49	o 860475104436900
195.60/195.63	o 860475090274900
195.71/195.76	o 860475061950900
195.82/195.90	o 860474608766900
196.00/196.02	o 860474495470900
196.10/196.16	o 860459993582900
196.20/196.29	o 860430989806900
196.40/196.43	o 860430933158900
196.50/196.55	o 860423682214900
196.60/196.69	o 860420056742900
196.70/196.82	o 860362049190900
196.92/196.94	o 860362042109900
197.00/197.08	o 860361815517900
197.10/197.19	o 860360002781900
197.30/197.33	o 860359999241400
197.39/197.45	o 860359997471150
197.49/197.58	o 860357731551150
197.59/197.69	o 860285222111150
197.91/197.94	o 860284089151150
198.01/198.08	o 860284053746150
198.09/198.19	o 860284036043650
198.29/198.32	o 860283965233650
198.39/198.45	o 860283823613650
198.49/198.58	o 860283540373650
198.79/198.85	o 860283062406150
198.89/198.98	o 860280670342150
199.01/199.11	o 860275886214150
199.19/199.24	o 860275792774150
199.29/199.35	o 860275605894150
199.39/199.48	o 860275512454150
199.49/199.59	o 860275138694150
199.69/199.72	o 860274391174150
199.79/199.83	o 860272896134150
199.89/199.95	o 860266915974150
199.99/200.07	o 860254955654150
200.11/200.19	o 860251965574150
200.22/200.29	o 860228044934150
200.39/200.40	o 860180203654150
200.49/200.51	o 860084521094150
200.60/200.62	o 859893155974150
200.69/200.73	o 859510425734150
200.79/200.83	o 858744965254150
200.90/200.95	o 858003425414150
201.00/201.07	o 857993857158150
201.10/201.19	o 857991465094150
201.21/201.31	o 857991091334150
201.40/201.43	o 857990343814150
201.50/201.55	o 857990156934150
201.60/201.67	o 857988661894150
201.70/201.78	o 857988568454150
201.80/201.88	o 857985578374150
201.90/201.99	o 857889895814150
202.10/202.11	o 857842054534150
202.20/202.23	o 857830094214150
202.31/202.34	o 857638729094150
202.42/202.46	o 857614808454150
202.50/202.56	o 857232078214150
202.60/202.67	o 856466617734150
202.70/202.79	o 856460637574150
202.90/202.90	o 854412637574150
203.00/203.01	o 854407853446150
203.10/203.12	o 853183116678150
203.20/203.24	o 852876932486150
203.30/203.35	o 852494202246150
203.41/203.46	o 852482241926150
203.52/203.57	o 852482177248150
203.60/203.68	o 852482161078650
203.70/203.79	o 852482152993900
203.90/203.90	o 852482120654900
203.99/204.00	o 852473841870900
204.09/204.11	o 852440726734900
209.90/209.92	o 708117614283500
209.90/209.96	o 708117567563500
210.01/210.09	o 708103215179500
210.20/210.20	o 708103197477000
210.30/210.33	o 708103126667000
210.40/210.46	o 708102566027000
210.49/210.58	o 708102285707000
210.69/210.71	o 708102215627000
210.79/210.83	o 708102075467000
210.89/210.96	o 708100954187000
210.99/211.08	o 708091983947000
211.11/211.21	o 708087498827000
211.29/211.33	o 708078827595000
211.39/211.45	o 708074491979000
211.49/211.57	o 708041003083000
211.59/211.69	o 708040933003000
211.79/211.82	o 708040897963000
211.89/211.94	o 708040880443000
212.00/212.07	o 708040876063000
212.10/212.19	o 708040867303000
212.21/212.31	o 708040865113000
212.40/212.44	o 708016944473000
212.50/212.56	o 708016907097000
212.60/212.68	o 708016533337000
212.80/212.80	o 708015038297000
212.90/212.92	o 708014290777000
213.00/213.05	o 706990290777000
213.10/213.16	o 706975340377000
213.20/213.28	o 706967865177000
213.31/213.40	o 706937964377000
213.50/213.50	o 706926004057000
213.60/213.64	o 706925929305000
213.70/213.75	o 706897224537000
213.80/213.87	o 706897223369000
213.90/213.98	o 706897221033000
214.00/214.09	o 706897216361000
214.10/214.19	o 706897207017000
214.30/214.31	o 706897057513000
214.30/214.40	o 706896758505000
214.41/214.51	o 706896739817000
214.60/214.60	o 706896702441000
214.70/214.70	o 706896693097000
214.80/214.80	o 706896690761000
214.90/214.90	o 706896616009000
215.00/215.00	o 706896615717000
215.00/215.09	o 706896614549000
215.10/215.18	o 706896609877000
215.20/215.29	o 706896609293000
215.30/215.37	o 706896590605000
243.60/243.61	o 690702631382455
243.70/243.75	o 690702593130455
243.80/243.88	o 690702583567455
244.00/244.01	o 690702430559455
244.11/244.15	o 690702354055455
244.30/244.30	o 690702213895455
244.40/244.44	o 690701933575455
244.50/244.58	o 690701923908895
244.70/244.72	o 690701842148895
244.80/244.86	o 690701678628895
245.00/245.00	o 690701637748895
245.10/245.14	o 690701310708895
245.21/245.27	o 690701290268895
245.40/245.41	o 690701280048895
245.50/245.55	o 690701274938895
245.60/245.69	o 690701272383895
245.80/245.82	o 690701271106395
245.90/245.96	o 690701158978395
246.10/246.10	o 690701157226395
246.20/246.23	o 690701143210395
246.31/246.37	o 690701139706395
246.50/246.50	o 690701083642395
246.60/246.63	o 690701076634395
246.70/246.77	o 690700852378395
246.90/246.90	o 690700851502395
247.00/247.03	o 690700823470395
247.10/247.16	o 690700823251395
247.20/247.29	o 690700822813395
247.30/247.42	o 690700374301395
247.52/247.55	o 690700371381395
247.60/247.67	o 690700369921395
247.80/247.80	o 690700346561395
247.90/247.93	o 690700346378895
248.00/248.05	o 690700340538895
248.10/248.17	o 690700339808895
248.30/248.30	o 690700328128895
248.40/248.42	o 690700327763895
248.51/248.54	o 690700281043895
248.62/248.66	o 690699907283895
248.70/248.78	o 690699899983895
248.90/248.90	o 690699152463895
249.00/249.03	o 690696909903895
249.10/249.16	o 690695788623895
249.20/249.27	o 690695227983895
249.30/249.39	o 690694704719895
249.50/249.52	o 690693480655895
249.61/249.64	o 690691032527895
249.72/249.76	o 690689985999895
249.80/249.89	o 690689920591895
250.00/250.01	o 690687827535895
250.10/250.13	o 690687696719895
250.20/250.26	o 690687435087895
250.30/250.38	o 690687376687895
250.50/250.50	o 690686722607895
250.60/250.62	o 690686657929895
250.71/250.74	o 690686284169895
250.82/250.84	o 690674323849895
250.90/250.95	o 690674318009895
251.00/251.06	o 690674315089895
251.10/251.19	o 690653384529895
251.30/251.30	o 690653381295995
251.50/251.50	o 690629460655995
251.60/251.62	o 690629367215995
251.70/251.74	o 690629354280395
251.81/251.86	o 690581513000395
251.92/251.98	o 690569552680395
252.00/252.09	o 690521711400395
252.20/252.21	o 690497790760395
252.30/252.37	o 690494202664395
252.40/252.48	o 690487026472395
267.60/267.69	o 690380896369655
268.00/268.05	o 690372486769655
268.10/268.18	o 690372460898455
268.20/268.29	o 690372460715955
268.42/268.42	o 690372454875955
268.50/268.52	o 690367923035955
268.60/268.66	o 690366427995955
268.70/268.79	o 690366398795955
268.90/268.92	o 690366211915955
269.00/269.06	o 690366179211955
269.10/269.18	o 690366178846955
269.30/269.32	o 690363730718955
269.41/269.45	o 690362597758955
269.52/269.58	o 690362591291155
269.60/269.69	o 690362590707155
269.80/269.82	o 690362590196155
269.90/269.94	o 690362587276155
270.00/270.06	o 690362173336955
270.10/270.19	o 690362156984955
270.30/270.32	o 690362148808955
270.40/270.45	o 690362129682955
270.51/270.57	o 690362129427455
270.70/270.70	o 690362128405455
270.80/270.82	o 690361754645455
270.90/270.95	o 690358166549455
271.00/271.06	o 690353270293455
271.10/271.19	o 690352658261455
271.30/271.30	o 690352209749455
271.40/271.43	o 690352208581455
271.50/271.55	o 690351302213455
271.61/271.67	o 690351299877455
271.72/271.79	o 690351290314455
271.90/271.91	o 690350066250455
272.00/272.03	o 690350065520455
272.10/272.15	o 690350065228455
272.20/272.27	o 690350008580455
272.30/272.37	o 690350006810205
272.40/272.49	o 690350003269705
272.60/272.60	o 690347013189705
272.60/272.71	o 690347012970705
272.82/272.82	o 690346954570705
272.90/272.92	o 690346926246705
273.00/273.03	o 690346887994705
273.10/273.15	o 690346885950705
273.20/273.26	o 690346881862705
273.30/273.37	o 690346880402705
273.40/273.49	o 690346052524305
273.60/273.60	o 690346038362305
273.70/273.71	o 690346031281305
273.81/273.82	o 690337061041305
273.92/273.93	o 690336908033305
274.00/274.04	o 690336907303305
274.10/274.15	o 690336830799305
274.20/274.26	o 690336779056905
274.30/274.36	o 690336778180905
274.40/274.47	o 690336684740905
274.50/274.58	o 690336571444905
274.60/274.68	o 690336118260905
274.70/274.79	o 690336106580905
274.80/274.89	o 690335879988905
274.91/275.00	o 690335833268905
275.10/275.10	o 690326040756905
275.20/275.21	o 690326039871780
275.30/275.31	o 690326039725780
275.40/275.42	o 690324170925780
275.50/275.52	o 690324169100780
275.60/275.62	o 690324145740780
275.70/275.73	o 690323579260780
275.80/275.83	o 690323520860780
275.90/275.93	o 690323237620780
276.01/276.03	o 690323235868780
276.12/276.16	o 690322301468780
276.20/276.26	o 690322301030780
276.29/276.36	o 690314825830780
276.39/276.46	o 690312867328380
276.59/276.65	o 689288905580380
276.69/276.75	o 656520905580380
277.29/277.38	o 617531990716380
277.49/277.54	o 617521525436380
277.59/277.63	o 617500594876380
277.69/277.73	o 617495362236380
277.79/277.83	o 613399362236380
277.89/277.93	o 613315639996380
277.99/278.06	o 613298895548380
278.09/278.16	o 613294709436380
278.21/278.26	o 613286337212380
278.32/278.35	o 613285813948380
278.39/278.45	o 613283720892380
278.49/278.54	o 613282674364380
278.69/278.73	o 597855499964380
278.79/278.83	o 593452299964380
278.89/278.94	o 581573899964380
278.99/279.04	o 576633304764380
279.09/279.12	o 560249304764380
281.20/281.21	o 445700610190210
281.30/281.33	o 445700608730210
281.40/281.47	o 445694628570210
281.51/281.61	o 445694622730210
281.70/281.74	o 445693875210210
281.80/281.88	o 445693872290210
282.00/282.01	o 445693848930210
282.10/282.15	o 445693755490210
282.20/282.28	o 445678805090210
282.40/282.41	o 445678758370210
282.50/282.55	o 445618956770210
282.61/282.68	o 445617461730210
282.80/282.81	o 445617461000210
282.89/282.94	o 445617274120210
282.99/283.07	o 445614284040210
283.19/283.21	o 445602323720210
283.29/283.34	o 445602312040210
283.39/283.47	o 445602125160210
283.59/283.60	o 445602119320210
283.71/283.72	o 445601371800210
283.81/283.85	o 445599876760210
283.89/283.98	o 445599503000210
284.09/284.10	o 445599456280210
284.19/284.23	o 445599454820210
284.29/284.35	o 445599431460210
284.39/284.48	o 445575510820210
284.59/284.60	o 445575507900210
284.69/284.72	o 445569527740210
284.81/284.85	o 445569434300210
284.92/284.97	o 445569433570210
285.00/285.09	o 445521592290210
285.20/285.21	o 445497671650210
285.30/285.33	o 445497659970210
285.40/285.45	o 445494669890210
285.50/285.57	o 445482709570210
285.60/285.69	o 445434868290210
285.80/285.81	o 445434793538210
285.91/285.93	o 443386793538210
286.10/286.13	o 436218793538210
286.20/286.23	o 436218793319210
286.30/286.32	o 436218792881210
286.40/286.43	o 436209729201210
286.50/286.56	o 436207425029210
286.60/286.67	o 435566155269210
287.90/287.92	o 435334072572210
288.00/288.02	o 435324504316210
288.11/288.12	o 435319720188210
288.22/288.22	o 435316132092210
330.40/330.44	o 426166795822420
330.50/330.59	o 426166794362420
330.70/330.75	o 426166792537420
330.80/330.89	o 426166791953420
331.01/331.05	o 426166790785420
331.12/331.18	o 426166790493420
331.30/331.33	o 426166790347420
331.40/331.47	o 426166788157420
331.60/331.62	o 426166787062420
331.70/331.76	o 426166782682420
331.90/331.91	o 426166773922420
332.00/332.04	o 426166771732420
332.11/332.19	o 426166771294420
332.30/332.32	o 426166753774420
332.40/332.47	o 426166753555420
332.60/332.60	o 426166752679420
332.70/332.74	o 426166749175420
332.80/332.87	o 426166747423420
333.00/333.01	o 426166738663420
333.10/333.14	o 426166703623420
333.21/333.28	o 426166686103420
333.40/333.41	o 426166684643420
333.50/333.55	o 426166681723420
333.60/333.67	o 426166680993420
333.80/333.81	o 426166680628420
333.90/333.93	o 426166660188420
334.00/334.07	o 426166619308420
334.10/334.19	o 426166610457170
334.31/334.32	o 426166602372420
334.42/334.44	o 426166570033420
334.50/334.58	o 426166511633420
334.60/334.69	o 426166482433420
334.80/334.82	o 426166475133420
334.90/334.96	o 426166468125420
335.10/335.10	o 426166454109420
335.20/335.24	o 426166426077420
335.30/335.38	o 426166370013420
335.52/335.52	o 426166323293420
335.60/335.66	o 426166299933420
335.80/335.80	o 426166229853420
335.90/335.92	o 426166089693420
336.00/336.05	o 426165155293420
336.10/336.18	o 426165131933420
336.30/336.31	o 426165096893420
336.40/336.44	o 426164723133420
336.51/336.55	o 426164536253420
336.62/336.68	o 426164162493420
336.80/336.80	o 426163695293420
336.90/336.93	o 426163671933420
337.00/337.04	o 426163578493420
337.10/337.17	o 426163461693420
337.30/337.31	o 426163433077420
337.40/337.43	o 426163428405420
337.50/337.56	o 426163410702920
337.61/337.69	o 426163401139920
337.90/337.92	o 426163331059920
338.00/338.05	o 426163144179920
338.10/338.18	o 426163132499920
338.40/338.41	o 426162852179920
338.50/338.53	o 426162840499920
338.60/338.66	o 426162765747920
338.71/338.79	o 426162727495920
339.00/339.01	o 426162708807920
339.10/339.14	o 426162702967920
339.20/339.26	o 426162693623920
339.30/339.38	o 426162646903920
339.50/339.50	o 426162413303920
339.60/339.61	o 426162377898920
339.70/339.74	o 426143241386920
339.81/339.85	o 426104968362920
339.92/339.97	o 426095400106920
340.00/340.07	o 426090615978920
340.10/340.18	o 426090017962920
340.30/340.30	o 426087625898920
340.40/340.41	o 426087326890920
340.50/340.53	o 426086130858920
340.60/340.64	o 426081645738920
340.70/340.76	o 426079687236520
340.80/340.87	o 426075770231720
340.91/340.99	o 426075172215720
341.10/341.10	o 426074873207720
341.20/341.22	o 426074798455720
341.30/341.33	o 426074648951720
341.40/341.44	o 426074499447720
341.50/341.55	o 426074462071720
341.60/341.67	o 425050462071720
341.70/341.78	o 424026462071720
343.40/343.45	o 410153672204220
343.50/343.56	o 410144103948220
343.60/343.66	o 410139319820220
343.70/343.76	o 410138123788220
343.80/343.86	o 410135731724220
344.00/344.00	o 410135713036220
344.10/344.10	o 410135703692220
344.10/344.18	o 410135701356220
344.21/344.27	o 410121199468220
344.32/344.37	o 410121198300220
344.40/344.48	o 410103070940220
344.50/344.58	o 410103069115220
344.60/344.68	o 410100452795220
344.80/344.81	o 410085502395220
344.90/344.92	o 410085497723220
345.10/345.12	o 409092893563220
345.20/345.22	o 409092800123220
345.20/345.31	o 409092753403220
345.31/345.41	o 409092730043220
345.50/345.52	o 409092728583220
345.60/345.63	o 409092725663220
345.70/345.74	o 409092724933220
345.80/345.88	o 409092721283220
345.90/345.98	o 408068721283220
445.90/445.97	o 406527322614560
446.00/446.09	o 406527322395560
446.20/446.23	o 406525079835560
571.80/571.91	o 375199617640915
572.02/572.05	o 375199616180915
572.20/572.23	o 375199615012915
572.40/572.41	o 375199614282915
572.50/572.58	o 375199612457915
572.70/572.76	o 375199612275415
572.90/572.94	o 375199609041515
573.02/573.11	o 375199606121515
573.20/573.29	o 375199603931515
573.40/573.47	o 375199598091515
573.60/573.64	o 375199596474565
573.80/573.82	o 375199590634565
573.90/573.99	o 375199583626565
574.12/574.15	o 375199548221565
574.30/574.31	o 375199546469565
574.40/574.48	o 375199532453565
574.60/574.66	o 375199528949565
574.80/574.84	o 375199458139565
575.00/575.01	o 375199402075565
575.32/575.34	o 375199261915565
575.60/575.66	o 375199260163565
575.80/575.83	o 375199250497005
576.00/576.00	o 375199249621005
576.10/576.18	o 375199246117005
576.50/576.50	o 375199239109005
576.60/576.68	o 375199225093005
576.80/576.85	o 375199222757005
577.00/577.02	o 375199222319005
577.10/577.20	o 375199221443005
577.52/577.52	o 375199215603005
577.60/577.69	o 375199187571005
577.80/577.86	o 375199038067005
578.10/578.18	o 375199028504005
578.30/578.35	o 375199010801505
578.62/578.67	o 375198975761505
578.80/578.84	o 375198971089505
579.10/579.15	o 375198901009505
579.30/579.32	o 375198620689505
579.40/579.48	o 375198592657505
579.62/579.64	o 375198309417505
579.80/579.81	o 375198308833505
580.10/580.12	o 375198271457505
580.20/580.28	o 375198262606255
580.40/580.45	o 375198261438255
580.60/580.61	o 375198261014855
580.72/580.77	o 375198257627655
580.90/580.93	o 375198256780855
581.00/581.09	o 375198202585655
581.20/581.25	o 375198200892055
581.40/581.41	o 375198200162055
581.50/581.57	o 375198199833555
581.70/581.73	o 375198199651055
581.82/581.88	o 375198197023055
582.00/582.04	o 375198195709055
582.10/582.19	o 375198153661055
582.30/582.34	o 375198143149055
582.50/582.50	o 375198122125055
582.60/582.65	o 375198121468055
582.80/582.80	o 375198116212055
582.92/582.95	o 375198115832455
583.10/583.10	o 375198007442055
583.20/583.25	o 375198005398055
583.40/583.40	o 375198004376055
583.50/583.55	o 375197996200055
583.70/583.70	o 375197992112055
583.80/583.85	o 375197975760055
583.90/583.99	o 375197975504555
584.12/584.14	o 375197942800555
584.20/584.28	o 375197942289555
584.40/584.43	o 375197941997555
584.50/584.55	o 375197918637555
584.60/584.62	o 375197871917555
584.70/584.76	o 374173871917555
585.40/585.46	o 374173823328755
585.50/585.59	o 373982458208755
585.70/585.73	o 373599727968755
585.80/585.87	o 373584777568755
753.43/753.45	o 294145944593395
753.53/753.58	o 294145944410895
753.71/753.70	o 294145944045895
753.81/753.84	o 294145943607895
753.91/753.99	o 294145943242895
754.11/754.13	o 294145942950895
754.21/754.28	o 294145938570895
754.41/754.42	o 294145918130895
754.53/754.56	o 294145913458895
754.71/754.70	o 294145904698895
754.81/754.84	o 294145764538895
754.91/754.98	o 294145694458895
755.11/755.12	o 294145659418895
755.21/755.26	o 294145547290895
755.41/755.40	o 294145491226895
755.51/755.54	o 294145042714895
755.63/755.67	o 294144594202895
755.82/755.81	o 294144369946895
755.91/755.95	o 294144257818895
756.01/756.09	o 294144033562895
756.22/756.22	o 294142239514895
756.31/756.36	o 294141342490895
756.42/756.50	o 294140445466895
756.61/756.63	o 294140211866895
756.73/756.76	o 294140182666895
756.91/756.90	o 294140065866895
757.01/757.02	o 294139598666895
757.31/757.30	o 293216093386895
757.41/757.43	o 293216093094895
757.51/757.57	o 293216090174895
757.71/757.71	o 293213698110895
757.83/757.84	o 293213690810895
757.93/757.98	o 293213676210895
758.11/758.12	o 293213647010895
758.21/758.26	o 293213588610895
758.31/758.40	o 293213355010895
758.51/758.53	o 293212887810895
758.61/758.67	o 293211019010895
758.81/758.80	o 293210084610895
758.93/758.93	o 293206347010895
759.03/759.07	o 293206230210895
759.21/759.20	o 293203240130895
759.31/759.33	o 293107557570895
759.41/759.47	o 293011875010895
759.51/759.59	o 292964033730895
759.71/759.72	o 292940113090895
759.81/759.85	o 292928152770895
759.91/759.98	o 292922172610895
760.13/760.14	o 292905428162895
760.21/760.24	o 292897055938895
760.41/760.41	o 292895841218895
760.51/760.53	o 291871841218895
760.61/760.65	o 289823841218895
760.81/760.88	o 289822346178895
761.01/761.00	o 289822252738895
761.13/761.12	o 289822246898895
761.24/761.24	o 289822235218895
761.31/761.36	o 289818871378895
761.42/761.48	o 289627506258895
761.61/761.67	o 289627482898895
761.71/761.78	o 289626735378895
761.92/761.90	o 289626548498895
762.02/762.01	o 289626174738895
762.12/762.12	o 289626128018895
762.23/762.24	o 289620895378895
762.34/762.35	o 289610430098895
762.42/762.46	o 289607813778895
762.52/762.57	o 289524091538895
762.62/762.68	o 289482230418895
762.82/762.88	o 289432894098895
762.92/762.99	o 288408894098895
763.02/763.09	o 288408777298895
763.21/763.20	o 288408769998895
763.21/763.31	o 288408711598895
763.43/763.42	o 288408682398895
763.51/763.56	o 288396722078895
763.61/763.67	o 288372801438895
763.71/763.77	o 288324960158895
763.81/763.88	o 288265158558895
763.91/763.99	o 284437856158895
764.11/764.11	o 284378054558895
764.21/764.21	o 284363104158895
764.31/764.32	o 284333203358895
764.43/764.43	o 284093996958895
764.53/764.54	o 283974393758895
764.61/764.64	o 283974390524995
764.71/764.75	o 283921406307395
764.81/764.84	o 283921404690445
764.91/764.95	o 283919748933645
765.01/765.05	o 283893256824845
765.11/765.16	o 283892428946445
765.21/765.24	o 283892221976845
765.31/765.34	o 283892209041245
765.41/765.44	o 283888897527645
765.53/765.55	o 283888896719170
765.63/765.65	o 283882273691970
765.71/765.75	o 283882247820770
765.81/765.85	o 283843974796770
765.91/765.94	o 283843923054370
766.01/766.05	o 283843916586570
766.11/766.14	o 283843502647370
766.21/766.24	o 283830256592970
766.31/766.37	o 283821286352970
766.41/766.47	o 283773445072970
766.73/766.75	o 283761484752970
766.81/766.85	o 283755504592970
766.91/766.97	o 283659822032970
767.31/767.32	o 283522278352970
767.41/767.42	o 283389833978470
767.51/767.59	o 283360830202470
767.61/767.69	o 283346328314470
767.73/767.79	o 283346299114470
767.91/767.97	o 283346298384470
768.01/768.07	o 283343682064470
768.11/768.16	o 283338449424470
768.21/768.26	o 283338447964470
768.31/768.35	o 283337793884470
768.51/768.57	o 283337790964470
769.51/769.55	o 283328820724470
769.61/769.64	o 283324335604470
769.71/769.73	o 283322093044470
769.81/769.87	o 283316112884470
769.93/769.97	o 283310132724470
770.03/770.07	o 283309964532470
770.11/770.15	o 283308843252470
770.21/770.22	o 283308789057270
770.31/770.31	o 283308775508470
770.41/770.40	o 283308667118070
770.41/770.48	o 283308666906370
848.72/848.78	o 281342052467050
848.92/848.95	o 281342052248050
849.13/849.13	o 281342051664050
849.32/849.31	o 281342051554550
849.42/849.48	o 281342050598250
849.62/849.65	o 281342043590250
849.82/849.82	o 281342041400250
850.02/850.00	o 281342040305250
850.12/850.17	o 281342012273250
850.34/850.34	o 281341942193250
850.52/850.51	o 281341802033250
850.62/850.68	o 281341766993250
850.82/850.85	o 281341696913250
851.02/851.02	o 281341685233250
851.12/851.18	o 281341671217250
851.33/851.35	o 281341664209250
851.51/851.52	o 281341664063250
851.61/851.68	o 281341663880750
851.82/851.85	o 281341551752750
852.02/852.01	o 281341495688750
852.12/852.18	o 281341271432750
852.32/852.35	o 281340822920750
852.54/852.52	o 281340598664750
852.62/852.69	o 281340542600750
852.82/852.86	o 281340430472750
853.02/853.03	o 281340402440750
853.12/853.19	o 281340215560750
853.32/853.36	o 281340122120750
853.53/853.53	o 281340075400750
853.64/853.69	o 281340063720750
853.82/853.86	o 281340040360750
854.02/854.02	o 281340034520750
854.12/854.19	o 281340033060750
854.32/854.35	o 281340003860750
854.52/854.51	o 281339536660750
854.63/854.67	o 281339529360750
854.82/854.84	o 281339514760750
854.92/854.99	o 281339397960750
855.12/855.16	o 281339164360750
855.31/855.32	o 281339105960750
855.41/855.48	o 281338539480750
855.61/855.64	o 281320412120750
855.73/855.81	o 281311348440750
855.91/855.97	o 281306816600750
856.11/856.13	o 281305683640750
856.21/856.29	o 281303417720750
856.41/856.45	o 281273516920750
856.61/856.61	o 281258566520750
856.71/856.77	o 281257819000750
856.94/856.93	o 281257385439150
857.11/857.10	o 281257168658350
857.21/857.26	o 281257060267950
857.42/857.42	o 281250123282350
857.52/857.58	o 281241452050350
857.72/857.74	o 281237116434350
857.82/857.90	o 281235621394350
858.04/858.05	o 281232631314350
858.22/858.21	o 281226651154350
858.32/858.37	o 281225156114350
858.52/858.53	o 281225144434350
858.62/858.68	o 281225138594350
858.82/858.84	o 281225091874350
858.92/859.00	o 281225088954350
859.14/859.15	o 281224715194350
859.32/859.31	o 281224621754350
859.42/859.47	o 281224434874350
859.62/859.62	o 281220697274350
859.72/859.77	o 281214810554350
859.92/859.93	o 281214809824350
860.02/860.08	o 281214786464350
860.24/860.23	o 281214785004350
860.32/860.38	o 281214784639350
860.52/860.54	o 281214784456850
860.62/860.69	o 281199834056850
860.82/860.84	o 281197965256850
860.92/860.99	o 281197030856850
861.12/861.13	o 281153973704850
861.23/861.28	o 277057973704850
861.42/861.43	o 277057856904850
861.52/861.58	o 277057798504850
861.72/861.73	o 277057783904850
861.81/861.88	o 277057550304850
862.01/862.02	o 277057521104850
862.11/862.17	o 277057053904850
862.33/862.32	o 277057046604850
862.43/862.46	o 277057042954850
862.61/862.61	o 277057041129850
862.71/862.76	o 277046575849850
862.92/862.90	o 277025645289850
863.02/863.04	o 277025644404725
863.12/863.18	o 277025643596250
863.32/863.33	o 268833643596250
863.43/863.47	o 268826168396250
863.82/863.81	o 268796267596250
863.92/863.95	o 268769356876250
864.02/864.10	o 268715535436250
1048.52/1048.52	o 252501325943660
1048.62/1048.67	o 252501324775660
1048.82/1048.83	o 252501324629660
1049.02/1049.00	o 252501324374160
1049.12/1049.17	o 252501323790160
1049.33/1049.34	o 252501322905035
1049.52/1049.50	o 252501321883035
1049.62/1049.67	o 252501321737035
1049.82/1049.84	o 252501321226035
1050.02/1050.00	o 252501319474035
1050.12/1050.15	o 252501319346285
1050.32/1050.32	o 252501318470285
1050.43/1050.47	o 252501317010285
1050.62/1050.63	o 252501315258285
1050.72/1050.78	o 252501314382285
1050.92/1050.94	o 252501313360285
1051.02/1051.09	o 252501312849285
1051.22/1051.26	o 252501312637585
1051.32/1051.38	o 252501310009585
1051.53/1051.54	o 252501306622385
1051.72/1051.71	o 252501293073585
1051.82/1051.85	o 252501286299185
1051.92/1051.98	o 252501274619185
1052.12/1052.14	o 252501270969185
1052.32/1052.31	o 252501269144185
1052.42/1052.44	o 252501267501685
1052.52/1052.60	o 252501264216685
1052.74/1052.76	o 252501237119085
1052.92/1052.92	o 252501226607085
1053.02/1053.08	o 252501224490085
1053.22/1053.24	o 252501177770085
1053.32/1053.39	o 252501166090085
1053.52/1053.53	o 252501164812585
1053.62/1053.68	o 252500697612585
1053.84/1053.83	o 252500414372585
1053.92/1053.99	o 252500272752585
1054.12/1054.15	o 252500201942585
1054.32/1054.30	o 252500166537585
1054.42/1054.46	o 252500148835085
1054.62/1054.61	o 252500139983835
1054.72/1054.77	o 252482012623835
1054.94/1054.92	o 252445757903835
1055.02/1055.07	o 252444823503835
1055.22/1055.23	o 252442954703835
1055.32/1055.38	o 252441833423835
1055.52/1055.52	o 252441810063835
1055.62/1055.67	o 252411909263835
1055.82/1055.81	o 252396958863835
1055.93/1055.96	o 252396865423835
1056.12/1056.11	o 252396491663835
1056.22/1056.26	o 252394249103835
1056.32/1056.39	o 252394179023835
1056.52/1056.54	o 252394173183835
1056.62/1056.68	o 252393874175835
1056.82/1056.83	o 252389090047835
1056.92/1056.97	o 252369953535835
1057.03/1057.11	o 252322112255835
1057.22/1057.24	o 252312543999835
1057.32/1057.38	o 252159451903835
1057.52/1057.53	o 252135830271835
1057.62/1057.67	o 252016227071835
1057.72/1057.79	o 252008901375835
1057.92/1057.92	o 251243440895835
1058.02/1058.05	o 251243436661835
1058.24/1058.22	o 251226100548835
1058.32/1058.33	o 251225633348835
1058.42/1058.46	o 250842903108835
1058.52/1058.58	o 246746903108835
1058.72/1058.71	o 244698903108835
1058.82/1058.83	o 244697408068835
1058.92/1058.97	o 244685447748835
1059.11/1059.10	o 244661527108835
1059.23/1059.24	o 244655546948835
1059.34/1059.38	o 244654051908835
1059.52/1059.51	o 244646576708835
1151.63/1151.68	o 234952412170670
1151.82/1151.83	o 234952412042920
1151.92/1151.98	o 234952411086620
1152.12/1152.13	o 234952410721620
1152.22/1152.28	o 234952409845620
1152.42/1152.42	o 234952409407620
1152.52/1152.54	o 234952409298120
1152.62/1152.68	o 234952409079120
1152.84/1152.83	o 234952408203120
1152.92/1152.99	o 234952407765120
1153.12/1153.12	o 234952407546120
1153.22/1153.25	o 234952405356120
1153.32/1153.39	o 234952400976120
1153.52/1153.54	o 234952397691120
1153.62/1153.68	o 234952369659120
1153.83/1153.83	o 234952362578120
1153.94/1153.97	o 234952249282120
1154.12/1154.12	o 234952242712120
1154.22/1154.26	o 234952216432120
1154.42/1154.40	o 234952203292120
1154.52/1154.54	o 234952133212120
1154.62/1154.69	o 234951572572120
1154.82/1154.83	o 234950451292120
1154.93/1154.98	o 234950311132120
1155.12/1155.12	o 234950030812120
1155.32/1155.30	o 234947788252120
1155.42/1155.47	o 234943305322120
1155.62/1155.61	o 234943303628520
1155.72/1155.75	o 234943296854120
1155.82/1155.89	o 234943296007320
1156.03/1156.03	o 234943282458520
1156.14/1156.16	o 234939694362520
1156.42/1156.42	o 234939638298520
1156.52/1156.56	o 234939632458520
1156.62/1156.69	o 234939620778520
1156.82/1156.83	o 234937826730520
1156.92/1156.96	o 234936929706520
1157.02/1157.07	o 234936877146520
1157.13/1157.21	o 234936428634520
1157.32/1157.34	o 234935531610520
1157.42/1157.47	o 234935528223320
1157.62/1157.60	o 234935514061320
1157.72/1157.73	o 234935497891820
1157.82/1157.86	o 234935469567820
1157.92/1157.99	o 234935469356120
1158.12/1158.12	o 234935461764120
1158.23/1158.25	o 234935405116120
1158.34/1158.38	o 234935350920920
1158.52/1158.50	o 234935323823320
1158.62/1158.63	o 234935215432920
1158.72/1158.76	o 234934781871320
1158.82/1158.88	o 234934565090520
1159.02/1159.01	o 234933697967320
1159.22/1159.24	o 234933592847320
1159.33/1159.36	o 234933583284320
1159.44/1159.48	o 234933559924320
1159.62/1159.60	o 234933373044320
1159.72/1159.73	o 234932999284320
1159.82/1159.85	o 234932905844320
1159.92/1159.97	o 234932905114320
1160.02/1160.09	o 234932903654320
1160.22/1160.21	o 234932156134320
1160.43/1160.43	o 234924680934320
1160.54/1160.54	o 234922812134320
1160.62/1160.66	o 234919074534320
1160.72/1160.78	o 234918140134320
1160.82/1160.89	o 234906179814320
1161.02/1161.01	o 234905712614320
1161.12/1161.12	o 234905698014320
1161.22/1161.24	o 234900801758320
1161.32/1161.35	o 234900799933320
1161.42/1161.47	o 234900792633320
1161.72/1161.77	o 234900716129320
1161.82/1161.89	o 234900410113320
1162.02/1162.00	o 234900257105320
1162.12/1162.11	o 234899033041320
1162.22/1162.22	o 234898421009320
1162.32/1162.33	o 234888628497320
1162.42/1162.44	o 234886180369320
1162.52/1162.55	o 234886063569320
1162.63/1162.65	o 234885829969320
1162.74/1162.76	o 234885771569320
1162.82/1162.87	o 234885742369320
1162.92/1162.98	o 234855841569320
1163.02/1163.08	o 234840891169320
1163.32/1163.32	o 234825940769320
1163.42/1163.45	o 234766139169320
1163.52/1163.55	o 233742139169320
1163.73/1163.77	o 229600391157020
1263.72/1263.77	o 229600184290745
1263.84/1263.89	o 229600184035245
1264.02/1264.01	o 229600183852745
1264.12/1264.14	o 229600183122745
1264.22/1264.26	o 229600182392745
1264.32/1264.38	o 229600181662745
1264.52/1264.50	o 229600181297745
1264.62/1264.62	o 229600173997745
1264.72/1264.73	o 229600159397745
1264.82/1264.85	o 229600130197745
1264.94/1264.98	o 229600122897745
1265.04/1265.09	o 229600108297745
1265.22/1265.29	o 229600104647745
1445.34/1445.38	o 229600017376125
1445.53/1445.56	o 229600017230125
1445.73/1445.73	o 229600017102375
1445.93/1445.92	o 229600016372375
1446.13/1446.10	o 229600014912375
1446.23/1446.27	o 229600014182375
1446.44/1446.42	o 229600012722375
1446.63/1446.60	o 229600012503375
1446.73/1446.77	o 229600012393875
1446.93/1446.92	o 229600011371875
1447.13/1447.10	o 229600010860875
1447.23/1447.25	o 229600010605375
1447.43/1447.42	o 229600010181975
1447.54/1447.57	o 229600009524975
1447.73/1447.75	o 229600009159975
1447.93/1447.91	o 229600007517475
1448.03/1448.07	o 229599995837475
1448.23/1448.23	o 229599949117475
1448.33/1448.39	o 229599925757475
1448.53/1448.55	o 229599919917475
1448.64/1448.70	o 229599889549475
1448.83/1448.86	o 229599874365475
1449.03/1449.02	o 229599870715475
1449.13/1449.18	o 229598936315475
1449.33/1449.32	o 229598819515475
1449.43/1449.49	o 229598585915475
1449.63/1449.63	o 229594848315475
1449.74/1449.79	o 229593913915475
1449.93/1449.93	o 229592045115475
1450.03/1450.09	o 229591577915475
1450.23/1450.23	o 229584102715475
1450.33/1450.39	o 229584044315475
1450.53/1450.53	o 229584015115475
1450.63/1450.69	o 229584013655475
1450.84/1450.83	o 229584012925475
1450.95/1450.98	o 229584010005475
1451.13/1451.12	o 229567265557475
1451.23/1451.28	o 229563079445475
1451.43/1451.41	o 229560986389475
1451.53/1451.57	o 229552614165475
1451.73/1451.70	o 229551567637475
1451.83/1451.85	o 229546783509475
1451.94/1451.99	o 229546746133475
1452.13/1452.14	o 229546596629475
1452.23/1452.27	o 229546521877475
1452.43/1452.42	o 229546503189475
1452.53/1452.56	o 229546493845475
1452.73/1452.71	o 229546489173475
1452.83/1452.85	o 229546486837475
1452.93/1452.98	o 229546187829475
1453.15/1453.14	o 229544991797475
1453.23/1453.27	o 229544393781475
1453.43/1453.42	o 229539609653475
1453.53/1453.57	o 229530041397475
1800.05/1800.02	>>> Terminate signal received
1800.05/1800.02	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

Verifier Data 

OK	229530041397475

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3466735-1307401539/watcher-3466735-1307401539 -o /tmp/evaluation-result-3466735-1307401539/solver-3466735-1307401539 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466735-1307401539.opb --verbosity=0 --format=opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.00 2.00 2/572 20298
/proc/meminfo: memFree=31630800/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=8268 CPUtime=0.01 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 619 0 0 0 1 0 0 0 25 0 1 0 851752698 8466432 567 33554432000 4194304 6736272 140733314918032 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 2067 567 248 621 0 1437 0

[startup+0.09782 s]
/proc/loadavg: 1.93 2.00 2.00 2/572 20298
/proc/meminfo: memFree=31630800/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=7920 CPUtime=0.09 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1701 0 0 0 9 0 0 0 25 0 1 0 851752698 8110080 1562 33554432000 4194304 6736272 140733314918032 18446744073709551615 5150738 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 1980 1562 275 621 0 1350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7920

[startup+0.100819 s]
/proc/loadavg: 1.93 2.00 2.00 2/572 20298
/proc/meminfo: memFree=31630800/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=7920 CPUtime=0.09 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1701 0 0 0 9 0 0 0 25 0 1 0 851752698 8110080 1562 33554432000 4194304 6736272 140733314918032 18446744073709551615 5811840 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 1980 1562 275 621 0 1350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7920

[startup+0.300783 s]
/proc/loadavg: 1.93 2.00 2.00 2/572 20298
/proc/meminfo: memFree=31630800/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=7920 CPUtime=0.29 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1716 0 0 0 29 0 0 0 25 0 1 0 851752698 8110080 1577 33554432000 4194304 6736272 140733314918032 18446744073709551615 5818635 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 1980 1577 275 621 0 1350 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7920

[startup+0.700712 s]
/proc/loadavg: 1.93 2.00 2.00 2/572 20298
/proc/meminfo: memFree=31630800/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=7920 CPUtime=0.69 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1725 0 0 0 69 0 0 0 25 0 1 0 851752698 8110080 1586 33554432000 4194304 6736272 140733314918032 18446744073709551615 4753731 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 1980 1586 284 621 0 1350 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7920

[startup+1.50057 s]
/proc/loadavg: 1.93 2.00 2.00 3/573 20326
/proc/meminfo: memFree=31620344/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=7920 CPUtime=1.49 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1728 0 0 0 149 0 0 0 25 0 1 0 851752698 8110080 1589 33554432000 4194304 6736272 140733314918032 18446744073709551615 5811961 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 1980 1589 284 621 0 1350 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7920

[startup+3.10029 s]
/proc/loadavg: 1.93 2.00 2.00 3/573 20326
/proc/meminfo: memFree=31617324/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=8076 CPUtime=3.09 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1742 0 0 0 309 0 0 0 25 0 1 0 851752698 8269824 1603 33554432000 4194304 6736272 140733314918032 18446744073709551615 5148172 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 2019 1603 287 621 0 1389 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8076

[startup+6.30071 s]
/proc/loadavg: 1.94 2.00 2.00 3/573 20327
/proc/meminfo: memFree=31616544/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=8076 CPUtime=6.29 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1746 0 0 0 629 0 0 0 25 0 1 0 851752698 8269824 1607 33554432000 4194304 6736272 140733314918032 18446744073709551615 5151442 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 2019 1607 287 621 0 1389 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8076

[startup+12.7006 s]
/proc/loadavg: 1.94 2.00 2.00 3/573 20327
/proc/meminfo: memFree=31614768/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=8220 CPUtime=12.69 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1784 0 0 0 1269 0 0 0 25 0 1 0 851752698 8417280 1645 33554432000 4194304 6736272 140733314918032 18446744073709551615 5803218 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 2055 1645 287 621 0 1425 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8220

[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 2.00 3/573 20327
/proc/meminfo: memFree=31615528/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=8220 CPUtime=25.49 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1802 0 0 0 2549 0 0 0 25 0 1 0 851752698 8417280 1663 33554432000 4194304 6736272 140733314918032 18446744073709551615 5150527 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 2055 1663 287 621 0 1425 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8220

[startup+51.1007 s]
/proc/loadavg: 1.97 2.00 2.00 3/573 20328
/proc/meminfo: memFree=31614944/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=8548 CPUtime=51.1 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 1880 0 0 0 5110 0 0 0 25 0 1 0 851752698 8753152 1741 33554432000 4194304 6736272 140733314918032 18446744073709551615 5149298 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 2137 1741 287 621 0 1507 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 8548

[startup+102.321 s]
/proc/loadavg: 1.98 2.00 2.00 3/573 20329
/proc/meminfo: memFree=31611700/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=9420 CPUtime=102.31 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 2080 0 0 0 10231 0 0 0 25 0 1 0 851752698 9646080 1940 33554432000 4194304 6736272 140733314918032 18446744073709551615 5806372 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 2355 1940 287 621 0 1725 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 9420

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/573 20331
/proc/meminfo: memFree=31608204/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=10684 CPUtime=162.3 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 2346 0 0 0 16230 0 0 0 25 0 1 0 851752698 10940416 2204 33554432000 4194304 6736272 140733314918032 18446744073709551615 5806346 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 2671 2204 287 621 0 2041 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 10684

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/573 20332
/proc/meminfo: memFree=31610532/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=13360 CPUtime=222.3 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 2412 0 0 0 22230 0 0 0 25 0 1 0 851752698 13680640 2270 33554432000 4194304 6736272 140733314918032 18446744073709551615 5219598 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3340 2270 287 621 0 2710 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 13360

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/573 20334
/proc/meminfo: memFree=31611756/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=13360 CPUtime=282.3 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 2413 0 0 0 28230 0 0 0 25 0 1 0 851752698 13680640 2271 33554432000 4194304 6736272 140733314918032 18446744073709551615 5817966 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3340 2271 287 621 0 2710 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 13360

[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/573 20336
/proc/meminfo: memFree=31611232/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=13360 CPUtime=342.3 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 2459 0 0 0 34230 0 0 0 25 0 1 0 851752698 13680640 2316 33554432000 4194304 6736272 140733314918032 18446744073709551615 5818612 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3340 2316 287 621 0 2710 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 13360

[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/573 20337
/proc/meminfo: memFree=31610828/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=13360 CPUtime=402.3 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 2459 0 0 0 40230 0 0 0 25 0 1 0 851752698 13680640 2316 33554432000 4194304 6736272 140733314918032 18446744073709551615 4755840 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3340 2316 287 621 0 2710 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 13360

[startup+462.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/573 20339
/proc/meminfo: memFree=31608928/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=13360 CPUtime=462.3 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 2788 0 0 0 46230 0 0 0 25 0 1 0 851752698 13680640 2644 33554432000 4194304 6736272 140733314918032 18446744073709551615 5806424 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3340 2644 287 621 0 2710 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 13360

[startup+522.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/573 20340
/proc/meminfo: memFree=31609152/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=13360 CPUtime=522.3 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 3017 0 0 0 52230 0 0 0 25 0 1 0 851752698 13680640 2872 33554432000 4194304 6736272 140733314918032 18446744073709551615 5146800 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3340 2872 287 621 0 2710 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 13360

[startup+582.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/573 20342
/proc/meminfo: memFree=31607616/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=14412 CPUtime=582.3 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 3328 0 0 0 58230 0 0 0 25 0 1 0 851752698 14757888 3182 33554432000 4194304 6736272 140733314918032 18446744073709551615 5150750 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3603 3182 287 621 0 2973 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 14412


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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 20348
/proc/meminfo: memFree=31607076/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=15020 CPUtime=822.31 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 4307 0 0 0 82230 1 0 0 25 0 1 0 851752698 15380480 3046 33554432000 4194304 6736272 140733314918032 18446744073709551615 5150526 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3755 3046 287 621 0 3125 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 15020

[startup+882.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/573 20350
/proc/meminfo: memFree=31605540/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=15020 CPUtime=882.32 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 4307 0 0 0 88231 1 0 0 25 0 1 0 851752698 15380480 3046 33554432000 4194304 6736272 140733314918032 18446744073709551615 5816861 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3755 3046 287 621 0 3125 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 15020

[startup+942.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/573 20352
/proc/meminfo: memFree=31606256/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=15020 CPUtime=942.32 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 4398 0 0 0 94231 1 0 0 25 0 1 0 851752698 15380480 3136 33554432000 4194304 6736272 140733314918032 18446744073709551615 4753639 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3755 3136 287 621 0 3125 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 15020

[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/573 20353
/proc/meminfo: memFree=31605960/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=15020 CPUtime=1002.32 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 4398 0 0 0 100231 1 0 0 25 0 1 0 851752698 15380480 3136 33554432000 4194304 6736272 140733314918032 18446744073709551615 4734706 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 3755 3136 287 621 0 3125 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 15020

[startup+1062.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/573 20355
/proc/meminfo: memFree=31604796/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1062.32 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 106231 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 5803336 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 18764

[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/573 20356
/proc/meminfo: memFree=31605020/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1122.32 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 112231 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 4750634 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 18764

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 20358
/proc/meminfo: memFree=31603844/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1182.32 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 118231 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 5149152 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 18764

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 20360
/proc/meminfo: memFree=31603916/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1242.32 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 124231 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 4510253 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 18764

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 20361
/proc/meminfo: memFree=31604728/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1302.34 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 130233 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 5817948 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 18764

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 20363
/proc/meminfo: memFree=31604688/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1362.32 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 136231 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 5812000 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 18764

[startup+1422.32 s]
/proc/loadavg: 2.15 2.04 2.01 3/573 20364
/proc/meminfo: memFree=31604264/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1422.35 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 142234 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 5811850 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 18764

[startup+1482.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/573 20366
/proc/meminfo: memFree=31602956/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1482.33 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 148232 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 5221904 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 18764

[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 20368
/proc/meminfo: memFree=31605380/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1542.33 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 154232 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 4734654 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 18764

[startup+1602.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/573 20369
/proc/meminfo: memFree=31604108/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1602.33 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 5919 0 0 0 160232 1 0 0 25 0 1 0 851752698 19214336 3401 33554432000 4194304 6736272 140733314918032 18446744073709551615 4758660 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3401 287 621 0 4061 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 18764

[startup+1662.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/573 20371
/proc/meminfo: memFree=31601212/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1662.33 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 6608 0 0 0 166232 1 0 0 25 0 1 0 851752698 19214336 4086 33554432000 4194304 6736272 140733314918032 18446744073709551615 5806495 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 4086 287 621 0 4061 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 18764

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/573 20372
/proc/meminfo: memFree=31601672/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=17736 CPUtime=1722.33 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 8698 0 0 0 172232 1 0 0 25 0 1 0 851752698 18161664 4019 33554432000 4194304 6736272 140733314918032 18446744073709551615 4755876 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4434 4019 287 621 0 3804 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 17736

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 20374
/proc/meminfo: memFree=31599276/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1782.34 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 11357 0 0 0 178232 2 0 0 25 0 1 0 851752698 19214336 3995 33554432000 4194304 6736272 140733314918032 18446744073709551615 5817984 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 3995 287 621 0 4061 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 18764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 20374
/proc/meminfo: memFree=31600616/32950928 swapFree=43925852/67111528
[pid=20298] ppid=20296 vsize=18764 CPUtime=1800.05 cores=1,3,5,7
/proc/20298/stat : 20298 (minisatid-gmp) R 20296 20298 18512 0 -1 4202496 11477 0 0 0 180003 2 0 0 25 0 1 0 851752698 19214336 4113 33554432000 4194304 6736272 140733314918032 18446744073709551615 5818046 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/20298/statm: 4691 4113 287 621 0 4061 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 18764

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

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

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.025996
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11482
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= 8
involuntary context switches= 22881

runsolver used 9.51655 second user time and 23.3335 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-07 01:05:39
IDJOB=3466735
IDBENCH=2483
IDSOLVER=1957
FILE ID=node122/3466735-1307401539
RUNJOBID= node122-1307397932-19968
PBS_JOBID= 13514185
Free space on /tmp= 73868 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466735-1307401539/watcher-3466735-1307401539 -o /tmp/evaluation-result-3466735-1307401539/solver-3466735-1307401539 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466735-1307401539.opb --verbosity=0 --format=opb 

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

MD5SUM BENCH= efa7fb1a840e9d48ac9b28aadc8f53ba
RANDOM SEED=652798326

node122.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.820
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.64
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.820
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	: 5332.75
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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31631080 kB
Buffers:        354044 kB
Cached:         628040 kB
SwapCached:      16832 kB
Active:         502032 kB
Inactive:       503392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31631080 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:            6000 kB
Writeback:           0 kB
AnonPages:       20692 kB
Mapped:          10244 kB
Slab:           151560 kB
PageTables:      93064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180736628 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= 73864 MiB
End job on node122 at 2011-06-07 01:35:41