Trace number 1110015

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 481.221 492.791

General information on the benchmark

Namecsp/pseudo/uclid/
normalized-cache-ibm-q-unbounded-Icl2arity-ucl.xml
MD5SUM9d4795f9e32ba7017720fe7b897ab8b7
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best Number of falsified constraints
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables23837
Number of constraints67567
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension67567
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.07/0.11	
0.07/0.11	Abscon 112 (May, 2008)
0.15/0.27	
0.15/0.27	   configuration
0.15/0.27	     name=mrdac-wdeg.xml
0.26/0.31	   
0.26/0.31	   instance
0.26/0.31	     name=HOME/instance-1110015-1215815426.xml
0.30/0.42	   
0.30/0.42	   domains being loaded...
0.30/0.43	   
0.30/0.43	   variables being loaded...
0.87/1.06	     nbVariables=23837  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2  nbTotalValues=46452
0.87/1.06	       =>  wckTime=0.787  cpuTime=0.51  mem=31M567
0.87/1.06	   
0.87/1.06	   predicates being loaded...
0.98/1.13	   
0.98/1.13	   constraints being loaded...
12.20/15.66	   
12.20/15.66	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 322M789)
12.88/16.37	     nbConstraints=67567  nbSingletonDomainVariables=1222  nbConvertedConstraints=43458
12.88/16.37	     nbConvertConstraintsChecks=79927  nbExtensionStructures=17  nbSharedExtensionStructures=43453
12.88/16.37	     nbConflictsStructures=41  nbSharedConflictsStructures=67538  nbSharedBinaryRepresentations=40
12.88/16.37	     nbEvaluationManagers=24  nbSharedEvaluationManagers=24085  minDegree=2  maxDegree=451  minArity=2  avgArity=2.79
12.88/16.37	     maxArity=13
12.88/16.37	       =>  wckTime=16.105  cpuTime=10.54  mem=408M866
13.58/17.08	   
13.58/17.08	   solver LocalSearchSolver being built... 
13.68/17.13	       =>  wckTime=16.86  cpuTime=10.59  mem=402M797
13.78/17.28	
13.78/17.28	s SATISFIABLE
13.78/17.28	o 13725
13.88/17.32	o 13673
13.88/17.34	o 13619
13.88/17.37	o 13590
13.88/17.39	o 13544
13.97/17.42	o 13519
13.97/17.44	o 13499
13.97/17.47	o 13485
13.97/17.49	o 13461
14.27/17.77	o 13455
14.27/17.79	o 13401
14.37/17.82	o 13388
14.37/17.84	o 13374
14.37/17.86	o 13360
14.37/17.89	o 13348
14.47/17.91	o 13290
14.57/18.07	o 13267
14.67/18.15	o 13259
14.67/18.17	o 13248
14.67/18.19	o 13240
14.77/18.21	o 13234
14.98/18.46	o 13194
15.07/18.53	o 13189
15.17/18.65	o 13182
15.47/18.91	o 13146
15.47/18.97	o 13143
15.47/19.00	o 13133
15.57/19.02	o 13128
15.57/19.09	o 13121
15.67/19.18	o 13113
15.77/19.20	o 13065
15.77/19.22	o 13053
15.97/19.40	o 13042
15.97/19.43	o 13036
15.97/19.45	o 13032
15.97/19.48	o 13013
16.07/19.54	o 13009
16.66/20.13	o 12994
16.66/20.16	o 12988
16.66/20.19	o 12982
16.76/20.22	o 12980
17.85/21.35	o 12966
18.55/22.10	o 12932
20.13/23.68	o 12928
20.23/23.72	o 12926
24.11/27.61	o 12920
24.11/27.65	o 12867
24.11/27.69	o 12861
24.21/27.73	o 12856
24.21/27.77	o 12850
24.31/27.82	o 12827
24.51/28.03	o 12824
24.51/28.07	o 12820
24.61/28.12	o 12816
24.61/28.16	o 12813
24.70/28.20	o 12812
25.00/28.54	o 12796
25.40/28.92	o 12769
25.40/28.96	o 12768
25.61/29.19	o 12755
26.30/29.87	o 12753
27.09/30.64	o 12745
27.09/30.68	o 12733
28.49/32.08	o 12715
28.59/32.12	o 12683
30.37/33.95	o 12669
30.77/34.37	o 12668
30.87/34.41	o 12663
30.87/34.45	o 12655
30.87/34.49	o 12649
30.97/34.53	o 12640
31.07/34.61	o 12639
31.07/34.65	o 12631
31.17/34.80	o 12607
31.27/34.88	o 12601
31.36/34.92	o 12595
31.36/34.96	o 12590
31.46/35.00	o 12585
31.46/35.04	o 12571
31.66/35.22	o 12555
31.76/35.34	o 12552
31.76/35.38	o 12548
31.86/35.42	o 12544
31.86/35.46	o 12540
31.96/35.50	o 12536
31.96/35.54	o 12532
31.96/35.59	o 12528
32.06/35.63	o 12524
32.16/35.74	o 12522
32.16/35.79	o 12518
32.27/35.83	o 12515
32.27/35.87	o 12512
32.37/35.92	o 12509
32.37/35.96	o 12506
32.37/36.00	o 12503
32.47/36.04	o 12500
32.47/36.08	o 12490
32.56/36.13	o 12488
32.56/36.17	o 12486
32.66/36.21	o 12484
32.66/36.25	o 12482
32.66/36.29	o 12480
32.76/36.34	o 12478
32.76/36.38	o 12471
32.86/36.42	o 12470
32.86/36.46	o 12469
33.26/36.81	o 12466
34.35/37.97	o 12464
34.45/38.01	o 12462
34.45/38.06	o 12458
34.55/38.10	o 12453
35.54/39.18	o 12451
35.64/39.23	o 12446
35.74/39.32	o 12443
36.83/40.44	o 12442
36.83/40.48	o 12438
37.12/40.74	o 12432
37.12/40.79	o 12428
37.22/40.84	o 12424
37.22/40.89	o 12412
37.32/40.97	o 12410
37.42/41.02	o 12406
37.42/41.07	o 12402
37.52/41.12	o 12398
37.52/41.16	o 12395
37.62/41.21	o 12392
37.62/41.26	o 12353
39.32/42.92	o 12324
39.32/42.97	o 12322
39.42/43.06	o 12320
39.52/43.11	o 12319
39.52/43.15	o 12317
39.72/43.39	o 12316
39.82/43.44	o 12314
39.82/43.49	o 12312
39.92/43.53	o 12310
39.92/43.58	o 12308
40.02/43.63	o 12306
40.02/43.68	o 12304
40.12/43.73	o 12302
40.12/43.77	o 12300
40.22/43.82	o 12298
40.22/43.87	o 12296
40.31/43.92	o 12259
40.31/43.96	o 12255
40.41/44.01	o 12254
40.41/44.06	o 12252
40.51/44.10	o 12244
40.70/44.33	o 12243
40.70/44.38	o 12242
40.80/44.43	o 12241
40.80/44.48	o 12183
41.50/45.13	o 12182
41.60/45.26	o 12169
41.70/45.35	o 12163
41.79/45.44	o 12156
46.76/50.43	o 12153
46.76/50.48	o 12149
46.86/50.53	o 12145
46.86/50.59	o 12141
46.96/50.64	o 12137
47.06/50.79	o 12130
47.16/50.84	o 12127
47.36/51.09	o 12125
47.46/51.14	o 12122
47.46/51.19	o 12119
47.56/51.25	o 12108
47.66/51.31	o 12105
47.66/51.36	o 12102
47.76/51.41	o 12099
47.76/51.46	o 12096
47.85/51.52	o 12093
47.85/51.57	o 12090
47.95/51.62	o 12065
47.95/51.67	o 12063
48.05/51.77	o 12061
50.95/54.63	o 12054
50.95/54.68	o 12050
51.05/54.74	o 12047
51.05/54.79	o 12045
51.14/54.84	o 12043
51.24/54.90	o 12041
51.24/54.95	o 12037
51.34/55.01	o 12035
51.34/55.06	o 12033
51.44/55.11	o 12031
51.44/55.17	o 12029
53.82/57.52	o 12028
54.22/57.97	o 12026
54.41/58.12	o 12005
54.41/58.17	o 11991
54.61/58.37	o 11980
54.71/58.42	o 11977
54.81/58.52	o 11974
54.81/58.58	o 11973
55.50/59.25	o 11957
58.00/61.73	o 11953
59.19/62.98	o 11931
59.29/63.08	o 11925
62.77/66.55	o 11917
62.87/66.66	o 11915
62.97/66.72	o 11911
62.97/66.78	o 11910
63.07/66.84	o 11909
63.36/67.19	o 11906
63.56/67.40	o 11905
63.66/67.45	o 11899
63.76/67.51	o 11895
63.76/67.56	o 11892
63.86/67.62	o 11891
64.75/68.58	o 11886
64.85/68.63	o 11882
64.85/68.69	o 11880
66.54/70.34	o 11878
66.54/70.39	o 11874
66.64/70.45	o 11872
66.75/70.51	o 11866
66.75/70.56	o 11864
66.85/70.61	o 11857
66.85/70.67	o 11854
66.94/70.73	o 11852
67.44/71.26	o 11849
67.54/71.31	o 11846
67.54/71.37	o 11843
67.64/71.43	o 11840
67.64/71.48	o 11836
67.84/71.69	o 11834
68.73/72.59	o 11832
68.83/72.65	o 11829
68.93/72.71	o 11826
69.23/73.03	o 11820
69.33/73.14	o 11814
69.43/73.20	o 11812
69.43/73.26	o 11809
69.92/73.70	o 11806
70.12/73.90	o 11805
70.12/73.95	o 11802
70.22/74.06	o 11799
70.32/74.11	o 11795
70.32/74.17	o 11794
70.52/74.33	o 11788
70.52/74.38	o 11784
70.62/74.44	o 11773
70.62/74.50	o 11769
70.71/74.55	o 11765
70.81/74.61	o 11764
70.81/74.67	o 11763
71.32/75.19	o 11760
71.41/75.25	o 11757
71.51/75.31	o 11754
71.51/75.36	o 11746
71.61/75.42	o 11743
71.61/75.48	o 11740
71.71/75.54	o 11737
71.81/75.65	o 11735
71.91/75.71	o 11734
72.11/75.92	o 11733
72.11/75.98	o 11729
72.21/76.04	o 11725
72.21/76.09	o 11722
72.31/76.15	o 11719
72.41/76.21	o 11716
72.41/76.27	o 11713
72.51/76.32	o 11710
72.51/76.38	o 11707
72.61/76.44	o 11704
72.61/76.50	o 11695
72.71/76.55	o 11692
72.80/76.62	o 11689
72.80/76.67	o 11686
72.90/76.73	o 11683
72.90/76.79	o 11680
73.10/76.95	o 11675
73.40/77.27	o 11673
74.09/77.96	o 11672
74.19/78.01	o 11670
74.19/78.07	o 11667
74.29/78.13	o 11664
74.29/78.19	o 11661
74.39/78.25	o 11658
74.49/78.31	o 11655
74.49/78.36	o 11652
74.59/78.42	o 11649
74.79/78.64	o 11646
74.79/78.69	o 11643
74.89/78.76	o 11640
74.98/78.82	o 11624
75.39/79.28	o 11609
75.49/79.34	o 11607
75.49/79.40	o 11606
82.84/86.75	o 11605
82.95/86.81	o 11604
83.04/86.92	o 11602
83.04/86.98	o 11600
83.14/87.04	o 11597
83.14/87.10	o 11594
83.24/87.15	o 11591
83.34/87.21	o 11588
83.34/87.27	o 11585
84.34/88.24	o 11582
84.43/88.30	o 11579
84.43/88.36	o 11576
84.53/88.42	o 11573
84.53/88.48	o 11570
84.63/88.54	o 11567
84.73/88.65	o 11555
84.83/88.77	o 11554
84.93/88.83	o 11551
84.93/88.88	o 11548
85.02/88.94	o 11545
85.12/89.00	o 11542
85.12/89.06	o 11539
85.23/89.12	o 11536
85.23/89.18	o 11486
85.33/89.24	o 11483
85.43/89.30	o 11438
86.13/90.01	o 11437
86.13/90.07	o 11434
86.23/90.13	o 11431
86.23/90.19	o 11428
86.33/90.25	o 11427
86.33/90.29	o 11422
86.42/90.35	o 11421
86.52/90.41	o 11418
86.52/90.47	o 11415
86.62/90.53	o 11412
86.62/90.58	o 11409
86.72/90.64	o 11406
86.82/90.70	o 11403
86.82/90.76	o 11400
86.92/90.82	o 11397
86.92/90.88	o 11394
87.02/90.95	o 11366
87.22/91.11	o 11356
87.22/91.16	o 11342
87.71/91.65	o 11340
87.81/91.76	o 11330
88.21/92.15	o 11328
88.31/92.21	o 11325
88.31/92.26	o 11322
88.41/92.32	o 11319
88.41/92.38	o 11316
88.51/92.44	o 11313
88.61/92.50	o 11310
88.61/92.56	o 11307
88.70/92.62	o 11304
88.70/92.68	o 11301
88.80/92.74	o 11298
88.80/92.80	o 11295
88.90/92.86	o 11292
89.00/92.92	o 11289
89.00/92.97	o 11254
89.70/93.67	o 11253
89.80/93.73	o 11250
89.80/93.79	o 11247
89.90/93.85	o 11244
90.00/93.91	o 11241
90.00/93.97	o 11238
90.10/94.02	o 11235
90.10/94.08	o 11212
90.20/94.14	o 11210
90.30/94.26	o 11208
90.40/94.32	o 11205
90.40/94.37	o 11198
90.49/94.43	o 11195
90.69/94.60	o 11194
90.69/94.66	o 11191
90.79/94.71	o 11151
90.89/94.88	o 11149
90.99/94.93	o 11146
91.09/95.04	o 11145
91.19/95.10	o 11143
91.39/95.31	o 11141
91.79/95.73	o 11139
91.79/95.80	o 11136
91.88/95.85	o 11133
91.98/95.91	o 11130
91.98/95.97	o 11127
92.08/96.03	o 11124
92.08/96.08	o 11121
92.18/96.14	o 11118
92.18/96.20	o 11115
92.28/96.25	o 11086
92.38/96.31	o 11082
92.38/96.36	o 11079
92.48/96.43	o 11076
92.48/96.48	o 11073
92.57/96.54	o 11070
92.57/96.60	o 11068
92.77/96.70	o 11065
92.77/96.75	o 11062
92.87/96.81	o 11059
92.87/96.87	o 11056
92.97/96.92	o 11053
92.97/96.98	o 11050
93.07/97.04	o 11047
93.07/97.09	o 11044
93.17/97.15	o 11041
93.27/97.21	o 11038
93.27/97.26	o 11035
93.37/97.32	o 11032
93.37/97.37	o 11029
93.47/97.43	o 11027
93.47/97.49	o 11024
93.57/97.55	o 11021
93.67/97.60	o 11018
93.67/97.66	o 11015
93.76/97.72	o 11012
93.76/97.77	o 11008
94.06/98.08	o 11006
94.16/98.14	o 11005
94.16/98.20	o 11002
94.26/98.25	o 10995
94.36/98.31	o 10992
94.36/98.36	o 10989
94.46/98.42	o 10986
94.56/98.53	o 10983
94.76/98.74	o 10982
95.16/99.16	o 10980
95.26/99.21	o 10977
95.26/99.27	o 10974
95.36/99.33	o 10971
95.36/99.38	o 10968
95.45/99.44	o 10960
95.45/99.50	o 10957
95.55/99.55	o 10954
95.65/99.61	o 10951
95.65/99.67	o 10948
95.75/99.73	o 10945
95.75/99.78	o 10932
95.96/99.99	o 10929
96.06/100.05	o 10926
96.16/100.11	o 10923
96.16/100.16	o 10920
96.25/100.22	o 10917
96.25/100.28	o 10914
96.35/100.34	o 10911
96.35/100.39	o 10908
96.45/100.45	o 10905
96.55/100.51	o 10902
96.55/100.56	o 10901
96.75/100.78	o 10899
96.85/100.85	o 10896
96.94/100.91	o 10893
97.13/101.17	o 10890
97.23/101.23	o 10887
97.33/101.33	o 10867
97.33/101.39	o 10862
97.73/101.70	o 10860
97.73/101.76	o 10857
97.83/101.82	o 10854
97.83/101.87	o 10851
97.93/101.93	o 10847
97.93/101.99	o 10844
98.03/102.05	o 10841
98.13/102.10	o 10838
98.13/102.16	o 10835
98.22/102.22	o 10832
98.22/102.28	o 10829
98.32/102.33	o 10828
98.32/102.39	o 10827
98.42/102.45	o 10824
98.52/102.50	o 10821
98.52/102.56	o 10818
98.62/102.61	o 10808
98.72/102.77	o 10805
98.82/102.83	o 10802
98.82/102.89	o 10799
98.92/102.94	o 10796
99.02/103.01	o 10793
99.02/103.06	o 10790
99.13/103.12	o 10787
99.13/103.17	o 10784
99.22/103.23	o 10781
99.22/103.29	o 10778
99.32/103.34	o 10775
99.42/103.40	o 10772
99.42/103.46	o 10769
99.52/103.52	o 10766
99.52/103.57	o 10764
100.02/104.05	o 10762
100.12/104.11	o 10760
100.12/104.17	o 10758
100.22/104.22	o 10756
100.22/104.28	o 10754
100.31/104.34	o 10752
100.31/104.40	o 10750
100.41/104.45	o 10748
100.51/104.51	o 10746
100.51/104.57	o 10744
100.61/104.63	o 10742
100.61/104.69	o 10740
100.71/104.74	o 10704
105.29/109.31	o 10703
105.29/109.37	o 10702
105.39/109.43	o 10701
105.39/109.48	o 10700
105.49/109.54	o 10699
105.59/109.61	o 10698
107.67/111.79	o 10685
115.73/119.89	o 10681
116.42/120.52	o 10680
116.62/120.78	o 10677
116.72/120.84	o 10674
116.82/120.90	o 10672
116.92/121.06	o 10671
117.02/121.12	o 10668
117.42/121.59	o 10666
117.52/121.65	o 10650
117.62/121.71	o 10649
117.62/121.77	o 10646
117.72/121.83	o 10645
117.72/121.88	o 10642
117.82/121.94	o 10639
117.92/122.00	o 10636
117.92/122.06	o 10635
118.02/122.11	o 10632
118.02/122.17	o 10629
118.12/122.23	o 10624
118.22/122.39	o 10597
118.91/123.08	o 10595
119.01/123.14	o 10592
119.01/123.20	o 10589
119.11/123.25	o 10587
119.21/123.31	o 10586
119.21/123.37	o 10583
119.71/123.85	o 10581
119.81/123.91	o 10576
120.99/125.19	o 10575
121.19/125.36	o 10574
121.29/125.41	o 10571
121.29/125.47	o 10568
121.39/125.53	o 10566
121.39/125.59	o 10563
121.49/125.65	o 10560
121.79/125.97	o 10555
123.68/127.82	o 10527
123.68/127.88	o 10523
123.78/127.99	o 10520
124.08/128.20	o 10518
124.08/128.26	o 10516
125.27/129.48	o 10514
125.47/129.64	o 10513
125.67/129.85	o 10510
125.77/129.91	o 10507
125.77/129.96	o 10504
125.87/130.02	o 10501
125.87/130.07	o 10498
125.97/130.13	o 10495
126.16/130.39	o 10477
126.26/130.44	o 10474
126.36/130.51	o 10471
126.46/130.61	o 10469
126.46/130.67	o 10455
126.96/131.13	o 10454
126.96/131.19	o 10451
127.55/131.70	o 10448
127.55/131.76	o 10445
127.65/131.82	o 10442
127.65/131.87	o 10439
127.75/131.93	o 10436
127.75/131.99	o 10435
127.85/132.04	o 10433
127.95/132.10	o 10430
128.05/132.21	o 10416
128.35/132.52	o 10402
128.35/132.57	o 10399
128.45/132.63	o 10396
128.45/132.69	o 10393
128.55/132.75	o 10390
128.65/132.80	o 10387
128.65/132.86	o 10384
128.74/132.92	o 10381
128.74/132.98	o 10378
129.34/133.60	o 10376
129.44/133.65	o 10373
129.54/133.71	o 10370
129.64/133.87	o 10368
129.83/134.09	o 10367
129.93/134.14	o 10364
130.03/134.20	o 10361
130.13/134.36	o 10359
130.23/134.42	o 10358
130.23/134.48	o 10355
130.33/134.53	o 10352
130.33/134.59	o 10351
130.43/134.65	o 10340
130.53/134.70	o 10337
130.83/135.07	o 10336
130.93/135.13	o 10333
130.93/135.19	o 10330
131.03/135.24	o 10327
131.13/135.30	o 10324
131.13/135.36	o 10321
131.22/135.42	o 10318
131.63/135.82	o 10315
131.63/135.88	o 10312
131.73/135.94	o 10309
131.73/136.00	o 10306
131.83/136.06	o 10303
131.93/136.12	o 10300
131.93/136.17	o 10297
132.02/136.23	o 10294
132.02/136.29	o 10292
132.12/136.35	o 10289
132.22/136.40	o 10286
133.11/137.33	o 10285
133.11/137.39	o 10282
133.21/137.45	o 10279
133.31/137.50	o 10276
133.31/137.56	o 10265
133.41/137.62	o 10262
133.41/137.67	o 10258
133.51/137.73	o 10256
134.01/138.20	o 10255
134.01/138.26	o 10252
134.11/138.32	o 10249
134.21/138.43	o 10246
134.21/138.48	o 10243
134.31/138.54	o 10240
134.31/138.60	o 10237
134.41/138.66	o 10234
134.51/138.71	o 10231
134.51/138.77	o 10228
134.61/138.83	o 10202
134.91/139.14	o 10199
135.00/139.25	o 10193
136.60/140.89	o 10190
136.70/140.95	o 10177
136.90/141.11	o 10174
136.90/141.17	o 10171
137.00/141.23	o 10168
137.00/141.28	o 10165
137.10/141.34	o 10162
137.20/141.40	o 10159
137.20/141.46	o 10156
137.30/141.52	o 10153
137.30/141.58	o 10150
137.39/141.69	o 10149
137.49/141.75	o 10146
137.59/141.81	o 10143
137.59/141.86	o 10140
137.69/141.92	o 10137
137.69/141.98	o 10134
137.79/142.04	o 10131
137.99/142.20	o 10130
137.99/142.26	o 10129
138.09/142.32	o 10126
138.19/142.43	o 10123
138.49/142.71	o 10120
138.49/142.77	o 10113
138.58/142.82	o 10107
138.58/142.88	o 10105
138.68/142.94	o 10102
138.78/143.00	o 10099
138.78/143.06	o 10096
138.88/143.12	o 10093
138.98/143.23	o 10090
139.18/143.50	o 10088
139.38/143.66	o 10082
139.58/143.83	o 10080
139.58/143.88	o 10079
139.68/143.94	o 10076
140.17/144.48	o 10065
140.27/144.54	o 10063
140.37/144.60	o 10060
140.47/144.71	o 10058
140.57/144.83	o 10056
140.57/144.89	o 10055
140.87/145.11	o 10054
140.87/145.17	o 10053
141.17/145.49	o 10051
141.27/145.55	o 10043
141.37/145.66	o 10042
142.56/146.82	o 10037
142.56/146.88	o 10032
142.66/146.99	o 10030
142.76/147.05	o 10027
142.86/147.11	o 10024
142.86/147.17	o 10023
142.96/147.22	o 10021
142.96/147.28	o 10018
152.41/156.79	o 10016
152.51/156.86	o 10014
152.61/156.93	o 10012
152.61/157.00	o 10010
152.71/157.07	o 10008
152.80/157.13	o 10006
152.80/157.20	o 9999
152.90/157.26	o 9997
153.00/157.32	o 9994
153.00/157.38	o 9991
153.10/157.45	o 9989
153.20/157.58	o 9961
153.30/157.64	o 9960
153.40/157.70	o 9909
153.40/157.76	o 9906
153.50/157.82	o 9905
153.50/157.88	o 9903
153.60/157.94	o 9896
153.90/158.23	o 9895
153.90/158.29	o 9839
159.06/163.50	o 9838
159.16/163.57	o 9836
159.26/163.63	o 9834
159.36/163.70	o 9832
159.36/163.76	o 9830
159.46/163.83	o 9828
159.46/163.89	o 9826
159.55/163.96	o 9824
159.65/164.02	o 9822
159.65/164.09	o 9820
159.75/164.15	o 9818
159.85/164.22	o 9816
159.85/164.28	o 9814
160.16/164.59	o 9813
160.26/164.66	o 9811
160.36/164.73	o 9809
160.36/164.79	o 9807
160.46/164.86	o 9805
160.56/164.92	o 9803
160.56/164.99	o 9801
160.66/165.06	o 9799
160.76/165.12	o 9797
160.76/165.19	o 9795
160.86/165.26	o 9793
160.96/165.32	o 9791
160.96/165.39	o 9789
161.05/165.45	o 9785
161.15/165.52	o 9783
161.15/165.58	o 9781
161.35/165.71	o 9772
162.35/166.71	o 9771
162.35/166.78	o 9769
162.45/166.85	o 9767
162.55/166.92	o 9765
162.55/166.98	o 9763
162.64/167.05	o 9761
162.74/167.12	o 9759
162.74/167.18	o 9757
162.84/167.25	o 9755
163.13/167.55	o 9754
163.23/167.61	o 9752
163.23/167.68	o 9750
163.33/167.74	o 9748
163.43/167.81	o 9746
163.43/167.88	o 9744
164.13/168.59	o 9742
164.23/168.65	o 9740
164.33/168.72	o 9738
164.33/168.79	o 9736
164.43/168.85	o 9734
164.63/169.04	o 9733
164.73/169.11	o 9731
164.73/169.17	o 9729
165.42/169.88	o 9728
165.52/169.95	o 9726
165.62/170.01	o 9724
165.62/170.08	o 9722
165.72/170.15	o 9720
165.82/170.22	o 9718
166.31/170.70	o 9717
166.31/170.77	o 9715
166.41/170.84	o 9713
166.51/170.90	o 9711
166.51/170.97	o 9671
166.61/171.03	o 9669
166.71/171.10	o 9667
166.71/171.16	o 9665
166.81/171.24	o 9663
166.91/171.30	o 9661
166.91/171.37	o 9659
168.49/172.92	o 9657
168.49/172.99	o 9655
168.59/173.05	o 9653
168.69/173.12	o 9651
168.89/173.31	o 9649
168.89/173.37	o 9647
168.99/173.45	o 9645
169.09/173.51	o 9643
169.09/173.58	o 9641
169.19/173.65	o 9639
169.29/173.71	o 9637
169.29/173.78	o 9635
169.39/173.85	o 9633
169.49/173.91	o 9631
169.49/173.98	o 9629
169.59/174.04	o 9627
169.69/174.11	o 9625
169.79/174.23	o 9596
170.58/175.07	o 9595
170.68/175.14	o 9593
170.78/175.21	o 9591
170.78/175.27	o 9589
170.88/175.34	o 9587
170.98/175.40	o 9585
170.98/175.47	o 9583
171.08/175.53	o 9580
171.08/175.60	o 9578
171.18/175.67	o 9576
171.28/175.73	o 9574
171.38/175.80	o 9572
171.38/175.86	o 9570
171.48/175.93	o 9568
171.48/176.00	o 9566
171.58/176.06	o 9564
171.68/176.13	o 9534
172.08/176.53	o 9495
172.08/176.59	o 9491
173.07/177.56	o 9490
173.17/177.63	o 9488
173.27/177.74	o 9484
173.37/177.81	o 9481
173.37/177.88	o 9479
173.47/177.95	o 9477
173.56/178.02	o 9475
173.56/178.08	o 9473
173.66/178.15	o 9471
173.76/178.21	o 9469
173.76/178.28	o 9467
173.86/178.34	o 9465
173.96/178.41	o 9463
173.96/178.47	o 9461
174.06/178.54	o 9459
174.16/178.60	o 9457
174.16/178.67	o 9455
174.26/178.73	o 9453
174.36/178.80	o 9451
174.36/178.87	o 9449
174.46/178.94	o 9447
174.46/179.00	o 9445
174.56/179.07	o 9443
174.65/179.13	o 9441
174.75/179.20	o 9439
174.75/179.26	o 9437
174.85/179.33	o 9434
174.85/179.39	o 9432
174.95/179.46	o 9430
175.05/179.52	o 9428
175.05/179.59	o 9426
175.15/179.65	o 9425
175.35/179.83	o 9424
175.35/179.89	o 9420
180.12/184.67	o 9413
183.21/187.76	o 9412
183.31/187.82	o 9394
183.31/187.89	o 9392
183.40/187.95	o 9390
183.50/188.02	o 9385
183.50/188.08	o 9383
183.60/188.15	o 9381
183.70/188.21	o 9379
183.70/188.28	o 9377
183.80/188.34	o 9375
186.59/191.12	o 9374
186.59/191.18	o 9373
186.69/191.24	o 9372
186.79/191.31	o 9369
186.79/191.37	o 9367
186.89/191.44	o 9365
186.99/191.50	o 9363
186.99/191.57	o 9361
187.09/191.63	o 9359
187.19/191.70	o 9357
187.19/191.76	o 9355
187.29/191.83	o 9353
187.29/191.90	o 9351
187.39/191.96	o 9349
187.49/192.03	o 9347
187.49/192.09	o 9345
187.68/192.28	o 9343
187.78/192.34	o 9340
187.88/192.40	o 9337
187.88/192.47	o 9334
187.98/192.53	o 9332
188.08/192.60	o 9330
188.17/192.72	o 9328
188.17/192.79	o 9326
188.27/192.85	o 9324
188.37/192.92	o 9322
188.37/192.98	o 9320
188.47/193.05	o 9318
188.57/193.12	o 9316
188.57/193.18	o 9314
188.67/193.25	o 9312
188.77/193.31	o 9309
188.77/193.38	o 9307
188.86/193.44	o 9305
188.96/193.51	o 9303
189.26/193.87	o 9301
189.36/193.93	o 9299
189.36/194.00	o 9297
189.47/194.06	o 9295
189.57/194.13	o 9247
189.67/194.25	o 9230
189.96/194.54	o 9204
190.06/194.65	o 9158
190.46/195.05	o 9131
190.56/195.11	o 9130
191.06/195.68	o 9120
191.15/195.75	o 9118
191.35/195.92	o 9114
191.35/195.98	o 9112
191.45/196.04	o 9110
191.55/196.11	o 9108
191.55/196.17	o 9106
191.65/196.24	o 9104
191.75/196.30	o 9102
191.75/196.36	o 9100
191.85/196.43	o 9098
191.85/196.49	o 9096
191.95/196.56	o 9094
192.05/196.62	o 9092
192.05/196.69	o 9091
192.24/196.86	o 9088
192.34/196.92	o 9087
192.34/196.98	o 9085
192.44/197.05	o 9083
192.54/197.11	o 9081
192.54/197.18	o 9079
192.64/197.24	o 9077
193.63/198.30	o 9076
193.73/198.36	o 9069
193.83/198.42	o 9067
193.83/198.48	o 9066
193.93/198.55	o 9064
194.03/198.61	o 9062
194.03/198.67	o 9060
194.13/198.74	o 9058
194.13/198.80	o 9044
194.23/198.87	o 9042
194.32/198.93	o 9040
194.32/198.99	o 9038
194.42/199.06	o 9036
194.52/199.12	o 9035
194.52/199.18	o 9033
194.62/199.25	o 9031
194.72/199.31	o 9029
194.72/199.38	o 9027
194.82/199.44	o 9025
194.92/199.50	o 9023
194.92/199.57	o 9021
195.02/199.63	o 9015
195.02/199.69	o 9006
196.02/200.60	o 9005
196.02/200.67	o 9003
196.12/200.73	o 9000
196.12/200.79	o 8996
196.22/200.86	o 8994
196.32/200.93	o 8992
196.32/200.99	o 8990
196.42/201.05	o 8988
196.51/201.12	o 8987
196.51/201.18	o 8985
196.61/201.24	o 8983
196.71/201.31	o 8981
196.81/201.43	o 8980
196.81/201.49	o 8978
196.91/201.55	o 8976
197.01/201.62	o 8974
197.11/201.74	o 8972
197.20/201.80	o 8970
197.20/201.87	o 8968
197.30/201.99	o 8967
197.40/202.06	o 8965
197.50/202.12	o 8963
197.50/202.18	o 8961
197.60/202.25	o 8959
197.70/202.36	o 8956
197.80/202.42	o 8955
197.90/202.59	o 8945
198.40/203.04	o 8944
198.50/203.11	o 8942
198.50/203.17	o 8933
198.60/203.23	o 8931
198.60/203.29	o 8924
198.69/203.36	o 8898
198.79/203.42	o 8896
198.79/203.48	o 8894
198.89/203.55	o 8892
198.99/203.62	o 8890
198.99/203.68	o 8888
199.39/204.07	o 8886
199.77/204.49	o 8885
199.87/204.55	o 8883
199.97/204.67	o 8881
200.07/204.74	o 8879
200.17/204.80	o 8877
200.17/204.87	o 8875
200.27/204.93	o 8873
200.27/204.99	o 8871
200.37/205.05	o 8869
200.47/205.11	o 8867
200.47/205.17	o 8865
200.57/205.23	o 8863
200.57/205.30	o 8861
200.67/205.36	o 8859
200.77/205.42	o 8857
200.77/205.48	o 8855
200.86/205.54	o 8844
200.96/205.65	o 8840
202.32/209.21	o 8838
202.32/209.27	o 8836
202.42/209.34	o 8794
202.42/209.39	o 8792
202.52/209.45	o 8789
202.72/209.68	o 8788
204.75/211.85	o 8787
204.85/211.92	o 8785
205.05/212.15	o 8784
205.15/212.22	o 8782
205.15/212.28	o 8780
205.25/212.34	o 8778
205.35/212.40	o 8776
205.35/212.47	o 8774
205.45/212.53	o 8772
205.45/212.59	o 8770
205.55/212.66	o 8768
205.64/212.72	o 8766
205.64/212.79	o 8764
205.74/212.85	o 8762
205.84/212.91	o 8760
205.84/212.98	o 8758
205.94/213.04	o 8756
206.04/213.11	o 8754
206.04/213.17	o 8752
206.14/213.23	o 8718
206.14/213.29	o 8716
206.24/213.36	o 8714
206.34/213.42	o 8712
206.34/213.48	o 8710
206.83/213.95	o 8708
206.93/214.02	o 8706
207.33/214.49	o 8704
207.43/214.55	o 8702
207.52/214.61	o 8700
207.52/214.68	o 8698
207.62/214.74	o 8696
207.72/214.80	o 8694
207.72/214.87	o 8692
207.82/214.93	o 8690
207.82/214.99	o 8688
207.92/215.06	o 8686
208.02/215.12	o 8685
208.02/215.18	o 8683
208.12/215.25	o 8681
208.22/215.39	o 8680
208.30/215.45	o 8668
208.39/215.52	o 8666
208.39/215.58	o 8664
208.49/215.64	o 8662
208.59/215.70	o 8660
208.59/215.77	o 8658
208.69/215.83	o 8655
208.69/215.89	o 8653
208.79/215.96	o 8651
208.99/216.19	o 8649
209.09/216.25	o 8647
209.19/216.32	o 8645
209.19/216.38	o 8643
209.29/216.44	o 8641
209.38/216.50	o 8639
209.38/216.57	o 8637
209.48/216.63	o 8635
209.58/216.75	o 8627
209.68/216.81	o 8625
209.68/216.88	o 8623
209.78/216.95	o 8621
209.88/217.01	o 8619
210.07/217.25	o 8618
210.17/217.31	o 8616
210.17/217.37	o 8614
210.27/217.44	o 8612
210.37/217.50	o 8610
210.37/217.57	o 8608
210.47/217.63	o 8606
210.47/217.69	o 8604
210.57/217.76	o 8602
210.67/217.82	o 8600
210.67/217.88	o 8598
210.77/217.94	o 8596
210.87/218.01	o 8594
210.87/218.07	o 8592
210.97/218.13	o 8590
211.06/218.20	o 8588
211.06/218.26	o 8586
211.16/218.32	o 8584
211.16/218.39	o 8582
211.26/218.45	o 8580
211.36/218.52	o 8578
211.36/218.58	o 8576
211.55/218.76	o 8575
211.65/218.82	o 8573
211.65/218.88	o 8571
213.04/220.21	o 8570
213.04/220.27	o 8568
213.14/220.33	o 8555
213.23/220.40	o 8553
213.23/220.46	o 8551
213.33/220.53	o 8549
213.53/220.76	o 8547
213.63/220.83	o 8544
213.63/220.89	o 8542
213.74/220.95	o 8540
213.84/221.01	o 8538
213.84/221.08	o 8536
213.94/221.14	o 8534
214.04/221.20	o 8532
214.04/221.26	o 8530
214.13/221.33	o 8528
214.13/221.39	o 8526
214.23/221.46	o 8524
214.33/221.52	o 8522
214.33/221.58	o 8520
214.43/221.64	o 8518
214.53/221.71	o 8516
215.11/222.30	o 8514
215.11/222.36	o 8512
215.21/222.42	o 8510
215.21/222.49	o 8508
215.31/222.55	o 8506
215.40/222.62	o 8504
215.40/222.68	o 8502
215.50/222.74	o 8501
215.70/222.97	o 8485
216.10/223.31	o 8484
216.10/223.37	o 8482
216.20/223.43	o 8480
216.20/223.50	o 8478
216.30/223.56	o 8476
216.40/223.62	o 8474
216.40/223.69	o 8472
216.50/223.75	o 8470
216.60/223.81	o 8468
216.60/223.88	o 8443
216.70/223.94	o 8441
216.80/224.01	o 8438
216.80/224.07	o 8436
216.89/224.13	o 8434
216.89/224.19	o 8432
216.99/224.25	o 8430
217.09/224.32	o 8428
217.09/224.38	o 8426
217.19/224.44	o 8424
217.29/224.50	o 8422
217.29/224.57	o 8421
217.39/224.63	o 8419
217.39/224.69	o 8417
217.49/224.76	o 8415
217.58/224.82	o 8408
217.58/224.88	o 8406
217.68/224.94	o 8404
217.78/225.01	o 8402
218.98/226.23	o 8400
218.98/226.29	o 8398
219.08/226.35	o 8396
219.17/226.41	o 8394
219.17/226.47	o 8392
219.27/226.54	o 8390
219.37/226.60	o 8388
219.37/226.66	o 8378
219.47/226.72	o 8376
219.47/226.79	o 8374
219.57/226.85	o 8372
219.67/226.91	o 8370
219.67/226.98	o 8368
219.76/227.04	o 8366
219.86/227.11	o 8364
219.86/227.17	o 8362
219.96/227.23	o 8360
220.06/227.36	o 8359
220.16/227.42	o 8357
220.16/227.48	o 8355
220.25/227.54	o 8353
220.35/227.61	o 8351
220.35/227.67	o 8349
220.45/227.73	o 8340
220.45/227.79	o 8338
220.55/227.86	o 8336
220.65/227.92	o 8334
220.65/227.98	o 8332
220.75/228.04	o 8330
220.85/228.11	o 8328
220.85/228.18	o 8326
220.95/228.24	o 8324
221.05/228.30	o 8322
221.05/228.36	o 8320
221.15/228.43	o 8318
221.15/228.49	o 8316
221.24/228.56	o 8314
221.34/228.62	o 8294
221.54/228.85	o 8293
221.64/228.91	o 8290
222.03/229.37	o 8288
222.14/229.44	o 8286
222.43/229.79	o 8285
222.53/229.85	o 8283
222.63/229.92	o 8281
222.73/230.03	o 8280
222.73/230.10	o 8278
222.83/230.16	o 8276
222.93/230.22	o 8231
223.62/230.97	o 8229
223.72/231.04	o 8227
223.82/231.10	o 8225
223.82/231.16	o 8223
223.92/231.23	o 8221
223.92/231.29	o 8219
224.01/231.36	o 8217
224.11/231.42	o 8215
224.11/231.48	o 8213
224.21/231.55	o 8211
224.31/231.67	o 8209
224.41/231.73	o 8207
224.41/231.80	o 8205
224.50/231.86	o 8203
224.60/231.92	o 8201
224.60/231.98	o 8199
224.70/232.05	o 8197
224.80/232.11	o 8195
224.80/232.17	o 8193
224.90/232.23	o 8191
224.90/232.30	o 8189
225.00/232.36	o 8187
225.10/232.43	o 8185
225.10/232.49	o 8183
225.19/232.56	o 8181
225.29/232.62	o 8179
225.29/232.68	o 8177
225.39/232.74	o 8175
225.49/232.81	o 8173
225.49/232.87	o 8171
225.59/232.93	o 8169
225.59/233.00	o 8167
225.69/233.06	o 8165
225.79/233.12	o 8163
225.79/233.19	o 8161
225.89/233.25	o 8159
225.99/233.31	o 8157
225.99/233.37	o 8155
226.09/233.44	o 8153
226.19/233.50	o 8151
226.19/233.57	o 8149
226.28/233.63	o 8147
226.28/233.69	o 8146
226.38/233.75	o 8144
226.48/233.87	o 8141
226.58/233.94	o 8139
226.68/234.00	o 8137
226.68/234.07	o 8135
226.78/234.13	o 8133
226.78/234.19	o 8131
226.87/234.25	o 8129
226.97/234.32	o 8127
227.37/234.72	o 8125
227.37/234.78	o 8123
227.47/234.84	o 8121
227.57/234.90	o 8119
227.57/234.96	o 8117
227.67/235.03	o 8115
227.86/235.20	o 8114
227.86/235.26	o 8112
227.96/235.32	o 8110
227.96/235.38	o 8108
228.06/235.45	o 8106
228.16/235.51	o 8104
228.16/235.57	o 8102
228.26/235.63	o 8100
228.26/235.69	o 8098
228.36/235.79	o 8096
228.44/235.85	o 8094
228.54/235.91	o 8092
228.54/235.97	o 8091
228.64/236.03	o 8037
229.53/236.90	o 8031
229.53/236.96	o 8026
229.73/237.18	o 8024
231.21/238.60	o 8022
231.21/238.66	o 8020
231.31/238.72	o 8018
231.31/238.78	o 8016
231.41/238.84	o 8014
231.51/238.90	o 8012
231.51/238.96	o 8010
231.61/239.02	o 8008
231.61/239.09	o 8007
231.71/239.15	o 8002
232.70/240.11	o 8001
232.70/240.17	o 8000
232.80/240.23	o 7999
232.80/240.29	o 7998
232.89/240.36	o 7997
232.99/240.42	o 7996
232.99/240.48	o 7995
233.09/240.54	o 7994
233.58/241.02	o 7993
233.58/241.08	o 7992
233.68/241.14	o 7991
233.78/241.20	o 7990
233.78/241.27	o 7989
233.87/241.33	o 7985
233.87/241.39	o 7984
234.07/241.57	o 7983
234.17/241.63	o 7982
234.17/241.69	o 7981
234.28/241.75	o 7978
234.37/241.82	o 7977
234.47/241.93	o 7975
235.16/242.68	o 7974
235.26/242.74	o 7973
235.26/242.80	o 7972
235.37/242.86	o 7971
235.46/242.92	o 7970
235.76/243.27	o 7969
235.85/243.33	o 7968
235.85/243.39	o 7967
235.95/243.45	o 7966
236.06/243.51	o 7964
238.64/246.12	o 7963
238.64/246.19	o 7962
238.73/246.25	o 7961
238.83/246.31	o 7960
238.83/246.37	o 7959
238.93/246.44	o 7956
239.03/246.50	o 7955
239.03/246.56	o 7954
239.12/246.62	o 7953
239.12/246.68	o 7952
239.22/246.75	o 7951
239.72/247.26	o 7950
239.81/247.33	o 7949
239.81/247.39	o 7948
239.91/247.45	o 7947
240.01/247.52	o 7946
240.01/247.58	o 7945
240.11/247.64	o 7943
241.60/249.13	o 7942
241.60/249.19	o 7941
241.70/249.25	o 7940
241.80/249.31	o 7939
241.80/249.38	o 7938
242.69/250.21	o 7937
242.69/250.27	o 7936
242.79/250.34	o 7935
242.79/250.40	o 7934
242.89/250.46	o 7933
242.99/250.52	o 7932
242.99/250.58	o 7931
243.08/250.65	o 7930
243.18/250.71	o 7929
243.28/250.88	o 7928
243.38/250.95	o 7923
243.48/251.01	o 7922
243.48/251.07	o 7921
243.58/251.13	o 7920
243.58/251.19	o 7919
243.68/251.25	o 7918
243.78/251.31	o 7917
243.78/251.37	o 7916
243.88/251.43	o 7915
243.88/251.49	o 7914
243.98/251.56	o 7913
244.67/252.29	o 7904
244.77/252.36	o 7888
246.16/253.71	o 7887
246.16/253.77	o 7886
246.26/253.83	o 7884
246.35/253.96	o 7883
246.45/254.02	o 7882
246.45/254.08	o 7881
246.55/254.14	o 7880
246.65/254.20	o 7879
246.65/254.26	o 7878
246.75/254.32	o 7877
246.75/254.38	o 7876
246.85/254.44	o 7875
246.95/254.51	o 7874
246.95/254.57	o 7873
247.05/254.63	o 7872
250.02/257.68	o 7871
250.12/257.74	o 7870
250.22/257.80	o 7869
250.22/257.86	o 7868
250.31/257.92	o 7866
250.31/257.98	o 7865
250.41/258.04	o 7864
250.52/258.11	o 7863
250.52/258.17	o 7862
250.61/258.23	o 7861
250.61/258.29	o 7860
250.71/258.35	o 7859
250.81/258.41	o 7858
250.81/258.47	o 7857
250.91/258.53	o 7856
250.91/258.59	o 7855
251.01/258.65	o 7854
251.11/258.71	o 7853
251.11/258.77	o 7852
251.20/258.83	o 7851
251.30/258.91	o 7850
251.30/258.96	o 7847
251.78/259.42	o 7836
251.88/259.54	o 7818
252.48/260.14	o 7788
253.18/260.86	o 7773
261.98/269.75	o 7762
262.78/270.59	o 7760
262.88/270.65	o 7758
262.98/270.71	o 7756
262.98/270.77	o 7754
263.08/270.84	o 7752
263.08/270.90	o 7751
263.18/270.96	o 7750
263.28/271.02	o 7748
263.28/271.08	o 7746
264.37/272.19	o 7744
264.47/272.25	o 7742
264.57/272.31	o 7735
264.57/272.36	o 7734
264.67/272.43	o 7732
264.67/272.49	o 7730
264.77/272.55	o 7728
264.85/272.62	o 7727
264.85/272.68	o 7725
264.95/272.74	o 7724
265.05/272.85	o 7722
265.15/272.91	o 7719
265.15/272.97	o 7717
265.25/273.03	o 7715
265.25/273.09	o 7713
265.35/273.15	o 7711
265.55/273.38	o 7709
265.85/273.61	o 7707
265.85/273.67	o 7705
265.94/273.73	o 7703
269.41/277.36	o 7702
269.51/277.42	o 7701
269.51/277.48	o 7699
269.61/277.54	o 7697
269.61/277.60	o 7695
269.71/277.66	o 7693
269.81/277.72	o 7691
269.81/277.78	o 7689
269.91/277.84	o 7688
270.01/277.90	o 7685
270.01/277.96	o 7683
270.11/278.02	o 7681
270.11/278.08	o 7680
270.29/278.26	o 7676
270.39/278.33	o 7674
270.39/278.39	o 7672
270.59/278.56	o 7667
271.69/279.64	o 7650
271.79/279.75	o 7648
271.79/279.81	o 7646
271.79/279.87	o 7644
271.79/279.92	o 7642
272.08/279.98	o 7641
272.12/280.05	o 7639
272.40/280.37	o 7636
272.49/280.48	o 7635
272.59/280.54	o 7633
272.69/280.60	o 7631
272.69/280.66	o 7629
272.81/280.72	o 7627
272.81/280.77	o 7625
272.91/280.83	o 7623
272.91/280.89	o 7621
273.00/280.95	o 7619
273.10/281.01	o 7617
273.10/281.06	o 7615
273.20/281.18	o 7614
273.30/281.24	o 7612
273.39/281.31	o 7609
273.39/281.37	o 7607
273.49/281.42	o 7604
273.49/281.49	o 7602
273.58/281.55	o 7600
273.69/281.61	o 7598
273.69/281.67	o 7596
273.79/281.73	o 7594
273.79/281.79	o 7592
273.89/281.84	o 7590
273.99/281.90	o 7589
273.99/281.96	o 7587
274.09/282.02	o 7586
274.09/282.08	o 7583
274.19/282.13	o 7582
274.39/282.30	o 7581
274.39/282.36	o 7580
274.49/282.43	o 7578
274.59/282.54	o 7577
274.68/282.60	o 7575
274.68/282.66	o 7573
274.78/282.77	o 7572
274.88/282.83	o 7569
275.38/283.36	o 7567
275.48/283.42	o 7566
275.48/283.48	o 7565
275.58/283.60	o 7564
275.78/283.76	o 7559
276.17/284.14	o 7558
276.37/284.31	o 7557
276.37/284.37	o 7555
276.47/284.42	o 7553
276.47/284.48	o 7551
276.57/284.54	o 7549
276.67/284.60	o 7547
276.67/284.66	o 7544
276.78/284.77	o 7543
276.92/285.49	o 7539
277.18/286.09	o 7537
277.18/286.09	o 7535
277.18/286.10	o 7534
277.28/286.43	o 7533
277.35/286.52	o 7531
277.40/286.72	o 7529
277.45/286.84	o 7528
277.53/286.92	o 7526
277.53/286.98	o 7525
277.73/287.15	o 7524
277.83/287.22	o 7522
277.83/287.28	o 7521
277.93/287.34	o 7519
278.03/287.40	o 7517
278.03/287.46	o 7515
278.13/287.52	o 7513
278.13/287.58	o 7511
278.23/287.65	o 7509
278.33/287.71	o 7507
278.33/287.78	o 7505
278.43/287.84	o 7503
278.53/287.90	o 7501
278.53/287.97	o 7499
278.62/288.03	o 7497
278.62/288.09	o 7495
278.72/288.16	o 7493
278.82/288.22	o 7491
278.82/288.28	o 7489
278.92/288.34	o 7487
279.01/288.40	o 7485
279.01/288.46	o 7483
279.11/288.53	o 7481
279.11/288.59	o 7480
279.21/288.65	o 7478
279.31/288.71	o 7476
279.31/288.77	o 7474
279.41/288.83	o 7472
279.41/288.90	o 7470
279.51/288.96	o 7467
279.61/289.02	o 7464
279.61/289.09	o 7461
279.70/289.15	o 7459
279.80/289.27	o 7458
279.90/289.33	o 7453
280.00/289.45	o 7452
280.10/289.52	o 7449
280.10/289.58	o 7445
280.19/289.65	o 7434
280.60/290.05	o 7433
280.70/290.11	o 7431
280.70/290.18	o 7429
280.80/290.24	o 7428
280.89/290.30	o 7426
280.89/290.37	o 7424
280.99/290.43	o 7423
280.99/290.49	o 7421
281.09/290.56	o 7420
281.19/290.62	o 7418
281.19/290.68	o 7416
281.29/290.74	o 7412
281.39/290.81	o 7411
281.39/290.87	o 7409
281.49/290.93	o 7406
281.58/291.05	o 7404
281.97/291.41	o 7403
281.97/291.47	o 7401
282.07/291.54	o 7399
282.37/291.84	o 7392
282.47/291.90	o 7389
282.47/291.96	o 7384
282.57/292.03	o 7383
282.57/292.09	o 7381
282.77/292.27	o 7380
282.87/292.34	o 7379
282.96/292.41	o 7378
282.96/292.48	o 7377
283.06/292.54	o 7375
283.16/292.61	o 7373
283.16/292.67	o 7372
283.26/292.74	o 7370
283.36/292.80	o 7357
283.36/292.87	o 7355
283.46/292.93	o 7353
283.46/293.00	o 7351
283.55/293.06	o 7349
283.65/293.13	o 7347
283.65/293.20	o 7345
283.85/293.32	o 7343
283.85/293.39	o 7341
283.95/293.46	o 7340
284.05/293.53	o 7339
284.05/293.60	o 7338
284.14/293.66	o 7336
284.25/293.72	o 7334
284.25/293.79	o 7332
284.35/293.85	o 7331
284.45/293.92	o 7329
284.45/293.98	o 7325
284.55/294.04	o 7323
284.65/294.11	o 7321
284.65/294.17	o 7319
284.75/294.23	o 7316
284.75/294.30	o 7314
284.85/294.36	o 7312
284.95/294.42	o 7310
285.05/294.55	o 7308
285.24/294.73	o 7306
285.24/294.79	o 7304
285.34/294.86	o 7302
285.44/294.92	o 7300
285.44/294.98	o 7299
285.53/295.05	o 7298
285.63/295.11	o 7296
285.63/295.17	o 7294
285.73/295.23	o 7292
285.73/295.30	o 7291
285.83/295.36	o 7284
285.93/295.42	o 7282
286.02/295.50	o 7280
286.12/295.63	o 7278
286.12/295.69	o 7276
286.22/295.76	o 7274
286.31/295.82	o 7270
286.31/295.88	o 7268
286.41/295.94	o 7267
286.92/296.46	o 7265
287.02/296.58	o 7259
287.31/296.83	o 7257
287.31/296.89	o 7255
287.41/296.95	o 7254
287.51/297.07	o 7248
287.60/297.14	o 7246
287.70/297.20	o 7244
287.70/297.26	o 7242
287.80/297.32	o 7241
287.80/297.39	o 7239
287.90/297.45	o 7237
288.00/297.51	o 7236
288.00/297.57	o 7234
288.10/297.64	o 7232
288.20/297.70	o 7230
288.20/297.76	o 7228
288.40/297.95	o 7226
288.49/298.02	o 7224
288.49/298.08	o 7222
288.59/298.14	o 7220
288.89/298.43	o 7218
288.89/298.50	o 7216
288.99/298.56	o 7214
289.09/298.62	o 7213
289.09/298.68	o 7212
289.19/298.75	o 7210
289.29/298.81	o 7208
289.29/298.87	o 7205
289.48/299.06	o 7203
289.58/299.12	o 7202
289.58/299.18	o 7201
289.68/299.25	o 7199
290.57/300.12	o 7198
290.67/300.24	o 7196
290.77/300.30	o 7194
290.77/300.36	o 7192
290.87/300.43	o 7190
290.87/300.49	o 7188
290.97/300.56	o 7186
291.06/300.62	o 7183
291.06/300.69	o 7180
291.16/300.75	o 7176
291.26/300.81	o 7174
291.26/300.87	o 7173
291.36/300.94	o 7172
291.46/301.00	o 7171
291.46/301.06	o 7169
291.56/301.13	o 7167
291.56/301.20	o 7165
291.75/301.32	o 7164
292.55/302.13	o 7163
292.55/302.19	o 7159
293.14/302.72	o 7134
293.14/302.78	o 7132
293.23/302.85	o 7130
293.33/302.97	o 7129
293.43/303.03	o 7127
293.43/303.09	o 7125
293.53/303.15	o 7124
293.63/303.22	o 7122
293.63/303.28	o 7120
293.73/303.35	o 7118
293.83/303.42	o 7116
293.92/303.54	o 7104
294.02/303.60	o 7102
294.02/303.66	o 7100
294.12/303.72	o 7098
294.12/303.78	o 7096
294.22/303.85	o 7094
294.32/303.91	o 7092
294.32/303.97	o 7090
294.72/304.38	o 7088
294.82/304.44	o 7085
294.91/304.51	o 7083
294.91/304.57	o 7082
295.01/304.64	o 7080
295.11/304.70	o 7078
295.11/304.76	o 7077
295.21/304.83	o 7075
295.21/304.89	o 7073
295.31/304.95	o 7071
295.41/305.02	o 7069
295.41/305.08	o 7067
295.52/305.14	o 7065
295.62/305.21	o 7063
295.62/305.27	o 7060
295.72/305.33	o 7058
295.72/305.40	o 7057
295.82/305.46	o 7055
295.91/305.53	o 7053
295.91/305.60	o 7051
296.00/305.66	o 7049
296.10/305.73	o 7047
296.10/305.79	o 7045
296.20/305.85	o 7043
296.80/306.44	o 7042
296.90/306.50	o 7036
296.90/306.56	o 7034
297.00/306.63	o 7032
297.09/306.70	o 7031
297.09/306.76	o 7029
297.19/306.83	o 7027
297.19/306.89	o 7025
297.29/306.95	o 7023
297.39/307.02	o 7021
297.39/307.08	o 7019
297.49/307.15	o 7017
297.69/307.38	o 7016
297.79/307.45	o 7014
297.89/307.51	o 7012
297.89/307.57	o 7010
297.99/307.70	o 7009
298.09/307.76	o 7007
298.18/307.83	o 7005
298.18/307.90	o 7003
298.28/307.96	o 7001
298.38/308.02	o 6999
298.38/308.09	o 6997
298.48/308.15	o 6995
298.57/308.21	o 6992
298.57/308.27	o 6990
298.67/308.34	o 6988
298.77/308.40	o 6986
298.77/308.46	o 6984
298.87/308.53	o 6982
298.87/308.59	o 6980
298.97/308.65	o 6978
299.07/308.72	o 6976
299.07/308.78	o 6974
299.17/308.85	o 6972
299.36/309.09	o 6970
299.46/309.15	o 6969
300.86/310.54	o 6968
300.96/310.60	o 6966
300.96/310.67	o 6964
301.05/310.73	o 6962
301.05/310.79	o 6960
301.15/310.85	o 6958
301.25/310.92	o 6956
301.25/310.98	o 6954
301.35/311.05	o 6952
301.45/311.11	o 6950
301.45/311.18	o 6941
301.74/311.47	o 6939
304.71/314.47	o 6938
304.80/314.53	o 6936
304.80/314.59	o 6934
304.90/314.66	o 6932
305.00/314.72	o 6930
305.00/314.78	o 6928
305.11/314.84	o 6927
305.21/314.90	o 6925
305.21/314.96	o 6923
305.31/315.02	o 6921
305.31/315.08	o 6919
305.51/315.25	o 6917
305.61/315.31	o 6915
305.61/315.37	o 6913
305.71/315.43	o 6911
305.71/315.50	o 6909
305.80/315.56	o 6906
305.90/315.62	o 6902
305.90/315.69	o 6900
305.98/315.75	o 6898
306.08/315.81	o 6896
306.08/315.87	o 6894
306.18/315.93	o 6893
306.18/315.99	o 6891
306.38/316.16	o 6890
306.48/316.23	o 6888
306.48/316.29	o 6886
306.58/316.35	o 6884
306.68/316.41	o 6882
306.68/316.47	o 6880
306.78/316.53	o 6878
306.78/316.60	o 6876
306.87/316.66	o 6874
306.97/316.77	o 6873
307.07/316.83	o 6871
307.07/316.89	o 6869
307.17/316.95	o 6866
307.27/317.02	o 6864
307.27/317.08	o 6862
307.37/317.14	o 6860
307.37/317.20	o 6858
307.47/317.26	o 6856
307.56/317.32	o 6854
307.56/317.38	o 6852
307.66/317.44	o 6850
307.76/317.50	o 6848
307.76/317.56	o 6847
307.86/317.63	o 6844
307.86/317.69	o 6834
307.96/317.75	o 6832
308.15/317.92	o 6831
308.15/317.98	o 6830
308.25/318.04	o 6828
308.36/318.10	o 6826
308.36/318.16	o 6824
308.46/318.22	o 6808
308.46/318.28	o 6806
308.56/318.40	o 6805
308.66/318.46	o 6802
308.76/318.52	o 6800
308.76/318.58	o 6798
308.86/318.64	o 6797
308.96/318.76	o 6796
309.05/318.82	o 6794
309.15/318.99	o 6793
309.25/319.05	o 6786
309.35/319.11	o 6784
309.35/319.17	o 6783
309.45/319.23	o 6781
309.45/319.29	o 6779
309.55/319.35	o 6777
309.65/319.41	o 6775
309.65/319.47	o 6773
309.75/319.53	o 6772
309.75/319.59	o 6770
309.84/319.65	o 6768
309.94/319.71	o 6766
309.94/319.77	o 6764
310.04/319.84	o 6762
310.14/319.91	o 6760
310.14/319.96	o 6758
310.33/320.13	o 6756
310.33/320.20	o 6754
310.43/320.26	o 6752
311.89/321.76	o 6750
311.99/321.82	o 6748
311.99/321.88	o 6746
312.09/321.94	o 6744
312.19/322.00	o 6742
312.19/322.06	o 6741
312.29/322.13	o 6739
312.29/322.19	o 6737
312.38/322.25	o 6735
312.48/322.31	o 6733
312.48/322.37	o 6731
312.58/322.43	o 6729
312.58/322.50	o 6727
312.68/322.56	o 6725
312.78/322.62	o 6723
312.78/322.68	o 6721
312.88/322.74	o 6718
312.98/322.80	o 6716
313.18/323.03	o 6714
313.18/323.09	o 6712
313.28/323.15	o 6710
313.37/323.27	o 6709
313.47/323.33	o 6707
313.57/323.45	o 6705
313.67/323.51	o 6703
313.67/323.57	o 6701
313.87/323.74	o 6695
313.97/323.81	o 6693
313.97/323.87	o 6691
314.07/323.93	o 6689
314.07/323.99	o 6687
314.17/324.05	o 6685
314.27/324.11	o 6683
314.27/324.17	o 6681
314.37/324.24	o 6679
314.46/324.31	o 6678
314.46/324.37	o 6676
314.56/324.43	o 6674
314.56/324.49	o 6672
314.66/324.55	o 6670
314.75/324.61	o 6668
315.05/324.95	o 6667
315.15/325.01	o 6665
315.15/325.07	o 6663
315.25/325.14	o 6661
315.35/325.20	o 6659
315.35/325.26	o 6657
315.45/325.33	o 6655
315.45/325.39	o 6652
315.55/325.46	o 6650
315.64/325.52	o 6648
315.64/325.58	o 6646
315.94/325.81	o 6645
315.94/325.87	o 6643
316.04/325.93	o 6641
316.04/325.99	o 6639
316.14/326.05	o 6637
316.24/326.12	o 6635
316.34/326.23	o 6634
316.34/326.29	o 6632
316.73/326.64	o 6616
316.83/326.71	o 6614
316.83/326.77	o 6612
316.93/326.83	o 6605
316.93/326.89	o 6603
317.03/326.95	o 6601
317.13/327.01	o 6599
317.13/327.07	o 6596
317.24/327.13	o 6594
317.24/327.20	o 6592
317.34/327.26	o 6590
317.44/327.32	o 6588
317.44/327.38	o 6586
317.54/327.44	o 6584
317.64/327.51	o 6582
317.64/327.57	o 6580
317.73/327.63	o 6578
317.73/327.70	o 6576
318.03/327.98	o 6575
318.13/328.04	o 6573
318.23/328.10	o 6571
318.23/328.16	o 6569
318.82/328.79	o 6567
319.21/329.19	o 6566
319.31/329.25	o 6564
319.41/329.31	o 6562
319.41/329.37	o 6560
319.51/329.43	o 6559
319.51/329.49	o 6558
319.61/329.55	o 6556
319.71/329.62	o 6554
319.71/329.68	o 6552
319.81/329.74	o 6550
319.91/329.81	o 6548
319.91/329.87	o 6546
320.00/329.93	o 6545
320.00/330.00	o 6544
320.10/330.06	o 6542
320.20/330.12	o 6540
320.20/330.18	o 6538
320.30/330.24	o 6536
320.40/330.30	o 6535
320.50/330.48	o 6533
320.60/330.60	o 6532
320.70/330.66	o 6528
320.80/330.72	o 6527
320.80/330.78	o 6525
320.90/330.85	o 6523
320.99/330.92	o 6521
320.99/330.98	o 6519
321.09/331.04	o 6517
321.19/331.10	o 6515
321.19/331.16	o 6513
321.28/331.22	o 6509
321.28/331.28	o 6507
321.38/331.35	o 6505
321.48/331.41	o 6503
321.48/331.47	o 6502
321.58/331.53	o 6501
321.58/331.59	o 6499
321.68/331.65	o 6497
321.78/331.72	o 6495
321.78/331.78	o 6493
321.88/331.84	o 6491
321.98/331.91	o 6489
329.21/339.24	o 6488
329.31/339.30	o 6486
329.31/339.36	o 6484
329.40/339.42	o 6482
329.40/339.48	o 6480
329.50/339.55	o 6478
329.60/339.61	o 6477
329.70/339.74	o 6475
329.70/339.80	o 6473
330.09/340.19	o 6447
330.89/340.93	o 6446
330.99/341.05	o 6445
331.09/341.11	o 6443
332.17/342.24	o 6442
332.27/342.36	o 6441
332.37/342.42	o 6439
332.37/342.48	o 6438
332.87/343.00	o 6437
332.97/343.06	o 6435
333.06/343.12	o 6433
333.16/343.24	o 6432
333.26/343.30	o 6431
333.26/343.36	o 6429
333.36/343.42	o 6427
333.66/343.71	o 6426
333.66/343.77	o 6424
333.76/343.83	o 6422
333.76/343.89	o 6367
334.65/344.79	o 6365
334.95/345.02	o 6364
334.95/345.08	o 6362
335.05/345.15	o 6360
335.15/345.21	o 6358
335.15/345.28	o 6357
335.24/345.34	o 6355
335.34/345.40	o 6353
335.34/345.46	o 6351
335.44/345.52	o 6339
335.44/345.58	o 6337
335.54/345.64	o 6335
336.82/346.94	o 6333
336.92/347.01	o 6332
336.92/347.07	o 6330
337.02/347.13	o 6328
337.92/348.04	o 6278
338.22/348.39	o 6276
338.32/348.45	o 6274
338.41/348.52	o 6272
338.41/348.58	o 6271
338.61/348.75	o 6269
338.71/348.87	o 6263
339.01/349.10	o 6262
339.01/349.16	o 6260
339.11/349.22	o 6258
339.11/349.29	o 6256
339.21/349.35	o 6255
339.31/349.41	o 6254
339.31/349.47	o 6252
339.41/349.54	o 6250
339.50/349.60	o 6248
339.50/349.67	o 6246
339.59/349.73	o 6244
339.59/349.79	o 6242
339.69/349.85	o 6240
339.79/349.91	o 6236
339.79/349.97	o 6234
339.89/350.04	o 6233
339.99/350.10	o 6231
339.99/350.16	o 6229
340.09/350.22	o 6228
340.09/350.28	o 6227
340.19/350.35	o 6226
340.29/350.41	o 6224
340.29/350.47	o 6222
340.39/350.53	o 6220
340.39/350.59	o 6218
340.58/350.72	o 6216
340.58/350.78	o 6214
340.68/350.84	o 6212
340.78/350.90	o 6210
340.78/350.96	o 6208
340.98/351.19	o 6207
341.18/351.31	o 6199
341.28/351.48	o 6198
341.38/351.54	o 6196
341.48/351.61	o 6195
341.48/351.67	o 6193
341.58/351.73	o 6191
341.77/351.97	o 6190
342.86/353.04	o 6189
342.96/353.10	o 6187
342.96/353.16	o 6185
343.16/353.34	o 6184
343.16/353.40	o 6182
343.46/353.62	o 6180
343.46/353.68	o 6178
343.56/353.75	o 6176
343.66/353.81	o 6174
343.66/353.87	o 6172
343.76/353.93	o 6170
343.76/354.00	o 6164
343.85/354.06	o 6162
343.95/354.12	o 6160
343.95/354.18	o 6159
344.05/354.25	o 6157
344.15/354.31	o 6155
344.15/354.37	o 6154
344.25/354.43	o 6152
344.25/354.49	o 6151
344.35/354.55	o 6149
344.45/354.61	o 6148
344.45/354.67	o 6147
344.55/354.74	o 6145
344.75/354.91	o 6143
344.75/354.97	o 6141
344.94/355.15	o 6139
345.04/355.21	o 6137
345.14/355.39	o 6135
345.24/355.45	o 6133
345.34/355.51	o 6131
345.34/355.57	o 6129
346.13/356.36	o 6127
346.22/356.42	o 6125
346.22/356.48	o 6123
346.42/356.65	o 6121
346.52/356.72	o 6119
346.62/356.89	o 6118
346.82/357.01	o 6116
346.82/357.07	o 6115
346.92/357.13	o 6114
347.91/358.10	o 6113
347.91/358.16	o 6111
348.01/358.22	o 6110
348.80/359.02	o 6108
348.80/359.08	o 6107
348.90/359.14	o 6105
349.10/359.31	o 6103
349.10/359.37	o 6101
357.71/368.06	o 6100
357.81/368.13	o 6098
357.81/368.19	o 6096
357.91/368.26	o 6095
358.01/368.33	o 6093
358.01/368.39	o 6091
358.10/368.45	o 6089
358.20/368.51	o 6085
358.20/368.58	o 6083
358.30/368.64	o 6081
358.40/368.70	o 6080
358.50/368.88	o 6079
358.70/369.00	o 6077
359.00/369.36	o 6075
359.10/369.43	o 6073
359.10/369.49	o 6071
359.19/369.55	o 6070
359.29/369.62	o 6068
359.29/369.68	o 6066
359.69/370.03	o 6065
359.89/370.21	o 6063
359.89/370.27	o 6061
360.18/370.51	o 6060
360.18/370.58	o 6058
367.21/377.69	o 6056
367.31/377.75	o 6054
367.61/378.04	o 6052
367.71/378.11	o 6051
367.71/378.17	o 6049
367.80/378.24	o 6047
367.80/378.30	o 6045
368.00/378.42	o 6043
368.00/378.48	o 6041
368.69/379.11	o 6039
368.69/379.17	o 6037
368.88/379.36	o 6035
368.98/379.42	o 6033
368.98/379.48	o 6022
370.18/380.63	o 6018
370.18/380.69	o 6016
370.28/380.75	o 6015
370.38/380.81	o 6014
370.48/380.93	o 6012
370.68/381.10	o 6010
370.68/381.16	o 6008
370.78/381.28	o 6006
370.88/381.34	o 6004
370.98/381.41	o 6003
370.98/381.47	o 6001
371.07/381.54	o 6000
371.17/381.60	o 5998
371.17/381.66	o 5996
371.27/381.72	o 5994
371.66/382.12	o 5992
371.66/382.19	o 5990
371.76/382.25	o 5987
371.96/382.48	o 5985
372.06/382.55	o 5984
372.15/382.62	o 5982
372.15/382.68	o 5981
372.35/382.85	o 5979
372.55/383.03	o 5978
372.55/383.09	o 5962
372.65/383.15	o 5961
372.75/383.22	o 5960
372.75/383.28	o 5959
372.84/383.34	o 5957
372.94/383.46	o 5956
373.04/383.52	o 5954
373.04/383.58	o 5952
373.43/383.94	o 5950
373.63/384.12	o 5948
373.73/384.24	o 5946
373.93/384.47	o 5944
374.04/384.54	o 5943
374.04/384.60	o 5939
374.14/384.66	o 5937
374.24/384.73	o 5935
375.03/385.53	o 5926
376.21/386.73	o 5924
376.21/386.79	o 5922
376.31/386.85	o 5920
376.41/386.92	o 5918
376.41/386.99	o 5916
376.51/387.05	o 5914
376.60/387.11	o 5912
376.60/387.18	o 5911
376.80/387.35	o 5909
377.10/387.64	o 5908
377.30/387.82	o 5907
377.30/387.88	o 5905
377.40/387.94	o 5903
377.50/388.01	o 5902
377.59/388.19	o 5901
377.69/388.26	o 5846
379.59/390.15	o 5844
379.69/390.22	o 5842
379.69/390.28	o 5840
379.78/390.35	o 5839
379.88/390.41	o 5835
379.88/390.47	o 5833
380.18/390.77	o 5831
380.27/390.83	o 5829
380.27/390.89	o 5827
380.37/390.96	o 5825
380.47/391.02	o 5824
380.47/391.08	o 5822
386.31/396.98	o 5796
386.91/397.60	o 5795
387.01/397.67	o 5794
387.11/397.74	o 5793
387.21/397.80	o 5792
387.21/397.87	o 5791
387.40/398.01	o 5790
387.40/398.07	o 5789
387.50/398.14	o 5788
387.59/398.21	o 5787
387.59/398.28	o 5786
387.69/398.35	o 5785
387.79/398.42	o 5784
388.10/398.73	o 5783
388.20/398.80	o 5782
388.20/398.87	o 5781
388.69/399.39	o 5777
388.79/399.46	o 5775
388.89/399.53	o 5774
389.09/399.70	o 5764
389.19/399.88	o 5763
389.68/400.32	o 5762
389.68/400.39	o 5761
389.78/400.46	o 5760
389.88/400.52	o 5758
389.88/400.59	o 5757
389.98/400.66	o 5756
390.08/400.73	o 5755
390.18/400.80	o 5754
390.18/400.87	o 5753
390.28/400.94	o 5752
390.38/401.01	o 5751
390.38/401.07	o 5750
390.48/401.14	o 5749
390.57/401.27	o 5748
390.67/401.34	o 5737
395.53/406.22	o 5736
395.53/406.29	o 5735
395.63/406.36	o 5734
395.73/406.43	o 5733
395.73/406.50	o 5732
395.82/406.56	o 5731
395.92/406.63	o 5730
396.02/406.71	o 5729
396.02/406.78	o 5728
396.12/406.85	o 5727
396.21/406.92	o 5726
396.21/406.99	o 5725
396.31/407.06	o 5724
396.41/407.13	o 5723
396.71/407.43	o 5709
396.81/407.50	o 5708
397.40/408.18	o 5707
397.50/408.25	o 5706
397.59/408.32	o 5705
397.89/408.63	o 5703
398.38/409.18	o 5702
398.48/409.25	o 5701
398.58/409.31	o 5699
398.58/409.38	o 5698
398.68/409.45	o 5697
398.78/409.52	o 5695
398.78/409.58	o 5693
398.88/409.65	o 5692
398.98/409.72	o 5691
398.98/409.79	o 5690
399.08/409.86	o 5689
399.18/409.93	o 5688
399.18/409.99	o 5687
399.28/410.07	o 5686
399.37/410.14	o 5685
399.47/410.21	o 5684
399.47/410.28	o 5683
399.57/410.34	o 5681
399.67/410.41	o 5680
399.67/410.48	o 5679
399.78/410.55	o 5678
399.88/410.62	o 5677
399.88/410.69	o 5676
400.08/410.88	o 5675
400.18/410.95	o 5674
400.28/411.02	o 5673
400.28/411.09	o 5672
400.38/411.16	o 5671
400.47/411.24	o 5670
400.57/411.30	o 5669
400.57/411.37	o 5668
400.67/411.44	o 5667
400.77/411.51	o 5666
400.77/411.58	o 5665
400.87/411.64	o 5664
400.97/411.71	o 5663
400.97/411.78	o 5662
401.06/411.85	o 5661
401.16/411.92	o 5660
401.16/411.99	o 5659
401.26/412.05	o 5658
401.36/412.12	o 5657
401.36/412.19	o 5656
401.46/412.26	o 5655
401.56/412.34	o 5654
401.65/412.41	o 5653
401.65/412.47	o 5652
401.75/412.54	o 5651
401.85/412.61	o 5650
401.85/412.68	o 5649
401.95/412.75	o 5648
402.05/412.81	o 5647
402.05/412.88	o 5646
402.15/412.95	o 5645
402.25/413.02	o 5644
402.25/413.09	o 5643
402.35/413.16	o 5642
402.45/413.23	o 5641
402.45/413.30	o 5640
402.64/413.49	o 5588
402.73/413.55	o 5587
403.63/414.49	o 5586
403.73/414.56	o 5585
403.82/414.63	o 5584
403.92/414.70	o 5583
403.92/414.76	o 5582
404.03/414.83	o 5581
404.13/414.90	o 5580
404.13/414.97	o 5579
404.23/415.03	o 5577
404.33/415.10	o 5576
404.33/415.17	o 5575
404.43/415.24	o 5574
404.53/415.31	o 5573
404.53/415.37	o 5572
404.63/415.44	o 5571
406.00/416.81	o 5570
406.00/416.87	o 5569
406.10/416.94	o 5568
406.20/417.01	o 5566
406.20/417.07	o 5564
406.30/417.14	o 5563
406.50/417.39	o 5562
406.60/417.46	o 5561
406.70/417.52	o 5560
406.70/417.59	o 5559
406.80/417.66	o 5558
406.90/417.73	o 5557
406.90/417.80	o 5556
407.00/417.86	o 5554
407.09/417.93	o 5552
407.09/417.99	o 5551
407.19/418.06	o 5550
407.29/418.13	o 5549
407.39/418.20	o 5548
407.39/418.26	o 5547
407.49/418.33	o 5546
407.59/418.40	o 5545
407.59/418.47	o 5543
407.69/418.53	o 5542
407.79/418.60	o 5541
407.79/418.67	o 5540
407.89/418.73	o 5538
408.38/419.24	o 5537
408.48/419.31	o 5536
408.48/419.37	o 5535
408.58/419.44	o 5534
408.68/419.51	o 5533
408.68/419.57	o 5532
408.78/419.64	o 5531
408.88/419.71	o 5530
408.88/419.77	o 5529
408.98/419.84	o 5528
409.08/419.91	o 5527
409.08/419.99	o 5526
409.17/420.05	o 5525
409.27/420.12	o 5524
409.27/420.19	o 5523
409.37/420.25	o 5521
409.47/420.32	o 5520
409.47/420.39	o 5519
409.57/420.46	o 5518
409.67/420.53	o 5517
409.76/420.66	o 5516
409.86/420.72	o 5515
409.86/420.79	o 5514
410.16/421.04	o 5511
410.26/421.11	o 5510
410.26/421.18	o 5509
410.35/421.24	o 5508
410.45/421.31	o 5506
410.45/421.38	o 5505
410.55/421.45	o 5504
411.45/422.31	o 5503
411.45/422.38	o 5502
411.55/422.45	o 5501
411.65/422.52	o 5500
411.65/422.58	o 5499
411.75/422.65	o 5498
411.85/422.72	o 5497
411.85/422.79	o 5496
411.95/422.85	o 5495
412.64/423.55	o 5494
412.74/423.61	o 5493
413.33/424.23	o 5492
413.43/424.30	o 5491
414.22/425.14	o 5473
414.61/425.56	o 5472
419.27/430.20	o 5471
419.27/430.27	o 5470
419.37/430.34	o 5469
419.47/430.41	o 5468
419.47/430.47	o 5467
419.57/430.54	o 5464
419.66/430.61	o 5463
419.66/430.67	o 5462
419.76/430.74	o 5461
419.86/430.81	o 5460
419.86/430.87	o 5459
419.96/430.95	o 5458
420.06/431.02	o 5457
420.06/431.09	o 5456
420.25/431.27	o 5454
420.35/431.34	o 5450
420.45/431.40	o 5448
421.15/432.16	o 5447
421.25/432.23	o 5446
421.25/432.29	o 5445
421.35/432.36	o 5444
421.45/432.43	o 5442
421.45/432.49	o 5441
421.55/432.55	o 5437
421.65/432.62	o 5436
421.65/432.69	o 5435
421.74/432.76	o 5434
421.84/432.83	o 5433
421.84/432.89	o 5432
421.94/432.96	o 5431
422.04/433.03	o 5430
422.04/433.09	o 5429
422.14/433.16	o 5428
422.24/433.24	o 5427
422.33/433.30	o 5426
422.33/433.37	o 5425
422.43/433.44	o 5424
422.53/433.51	o 5423
422.53/433.57	o 5422
422.63/433.64	o 5421
422.73/433.71	o 5420
422.73/433.78	o 5418
422.83/433.84	o 5417
422.93/433.91	o 5415
422.93/433.97	o 5413
423.03/434.04	o 5399
423.13/434.11	o 5398
423.13/434.18	o 5397
423.23/434.25	o 5396
423.32/434.32	o 5395
423.32/434.39	o 5394
423.42/434.46	o 5393
423.52/434.53	o 5392
423.52/434.59	o 5391
423.62/434.66	o 5390
423.72/434.73	o 5389
423.72/434.80	o 5388
423.82/434.86	o 5387
423.92/434.93	o 5386
424.02/435.00	o 5385
424.02/435.06	o 5384
424.12/435.13	o 5383
424.22/435.20	o 5382
424.22/435.26	o 5381
424.32/435.34	o 5380
424.41/435.41	o 5379
424.41/435.48	o 5378
424.51/435.54	o 5377
424.61/435.61	o 5376
424.61/435.67	o 5374
424.70/435.80	o 5370
427.58/438.64	o 5368
427.67/438.72	o 5367
427.67/438.78	o 5366
427.77/438.85	o 5365
427.87/438.92	o 5363
427.87/438.98	o 5362
427.97/439.05	o 5360
428.07/439.12	o 5358
428.07/439.18	o 5357
428.17/439.25	o 5356
428.27/439.32	o 5355
428.27/439.39	o 5354
428.37/439.45	o 5353
428.46/439.52	o 5352
428.46/439.59	o 5351
428.56/439.66	o 5350
428.66/439.73	o 5349
428.66/439.80	o 5346
428.76/439.86	o 5345
428.85/439.93	o 5344
429.05/440.18	o 5343
429.15/440.25	o 5342
429.25/440.31	o 5341
429.25/440.38	o 5336
429.35/440.44	o 5334
429.45/440.50	o 5332
429.45/440.57	o 5331
429.55/440.64	o 5330
429.65/440.70	o 5329
429.65/440.77	o 5328
429.85/440.96	o 5323
429.94/441.03	o 5320
430.14/441.21	o 5319
430.14/441.28	o 5318
430.25/441.34	o 5317
430.35/441.41	o 5316
430.35/441.48	o 5315
430.45/441.54	o 5313
430.55/441.61	o 5312
430.55/441.67	o 5311
430.65/441.74	o 5310
430.74/441.81	o 5309
430.74/441.88	o 5308
430.84/441.95	o 5307
430.94/442.03	o 5306
430.94/442.09	o 5305
431.03/442.16	o 5304
431.13/442.23	o 5303
431.13/442.30	o 5302
431.23/442.36	o 5295
431.33/442.43	o 5294
431.43/442.50	o 5293
431.43/442.57	o 5292
431.63/442.76	o 5291
432.32/443.40	o 5290
432.92/444.00	o 5289
432.92/444.07	o 5274
433.02/444.13	o 5270
433.40/444.55	o 5266
433.50/444.61	o 5264
433.50/444.68	o 5262
433.60/444.74	o 5260
433.70/444.81	o 5258
435.79/446.92	o 5246
436.58/447.75	o 5245
438.65/449.84	o 5244
438.95/450.16	o 5243
439.05/450.29	o 5241
439.25/450.49	o 5239
441.82/453.10	o 5223
442.32/453.54	o 5221
442.62/453.85	o 5219
472.63/484.19	   
472.63/484.19	   search
472.63/484.19	     run=0  nbConstraintChecks=310108165  nbAssignments=8271
472.63/484.19	       =>  wckTime=467.065  cpuTime=458.85  mem=403M685
472.63/484.19	   
472.63/484.19	   global
472.63/484.19	     nbConstraintChecks=310108165  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
472.63/484.19	     solvingWckTime=467.048  solvingCpuTime=458.84  expiredTime=no  totalExploration=no  nbFoundSolutions=0
472.63/484.19	     globalCpuTime=469.49
472.63/484.19	       =>  wckTime=483.925  cpuTime=469.44  mem=403M685
472.73/484.21	   
472.73/484.21	   solver DecomposerSolver being built... 
481.04/492.64	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110015-1215815426/watcher-1110015-1215815426 -o /tmp/evaluation-result-1110015-1215815426/solver-1110015-1215815426 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1110015-1215815426.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.68 2.85 3.16 4/80 15953
/proc/meminfo: memFree=1777340/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=18572 CPUtime=0
/proc/15953/stat : 15953 (runsolver) R 15951 15953 15584 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 38244907 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 217871609127 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15953/statm: 4643 292 257 25 0 2626 0

[startup+0.026548 s]
/proc/loadavg: 2.68 2.85 3.16 4/80 15953
/proc/meminfo: memFree=1777340/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=44480 CPUtime=0
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 916 0 1 0 0 0 0 0 20 0 2 0 38244907 45547520 666 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 11120 666 361 9 0 9518 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 44480

[startup+0.111251 s]
/proc/loadavg: 2.68 2.85 3.16 4/80 15953
/proc/meminfo: memFree=1777340/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=865960 CPUtime=0.07
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 3603 0 1 0 5 2 0 0 20 0 9 0 38244907 886743040 3091 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216490 3092 1649 9 0 211052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865960

[startup+0.301272 s]
/proc/loadavg: 2.68 2.85 3.16 4/80 15953
/proc/meminfo: memFree=1777340/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=866280 CPUtime=0.26
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 5630 0 1 0 23 3 0 0 20 0 9 0 38244907 887070720 5051 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216570 5051 1895 9 0 211118 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866280

[startup+0.701332 s]
/proc/loadavg: 2.68 2.85 3.16 4/80 15953
/proc/meminfo: memFree=1777340/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=867396 CPUtime=0.58
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 9472 0 1 0 53 5 0 0 20 0 9 0 38244907 888213504 8843 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216849 8843 1972 9 0 211377 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 867396

[startup+4.56781 s]
/proc/loadavg: 2.68 2.85 3.16 3/89 15962
/proc/meminfo: memFree=1712948/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=867484 CPUtime=1.23
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 18786 0 1 0 113 10 0 0 20 0 9 0 38244907 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216871 18144 2025 9 0 211377 0
[pid=15953/tid=15955] ppid=15951 vsize=867484 CPUtime=0.97
/proc/15953/task/15955/stat : 15955 (java) R 15951 15953 15584 0 -1 64 15768 0 1 0 89 8 0 0 25 0 9 0 38244909 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4126611272 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=867484 CPUtime=0.06
/proc/15953/task/15956/stat : 15956 (java) S 15951 15953 15584 0 -1 64 1712 0 0 0 6 0 0 0 16 0 9 0 38244911 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=867484 CPUtime=0.16
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 609 0 0 0 16 0 0 0 16 0 9 0 38244913 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 38244913 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 867484

[startup+4.60281 s]
/proc/loadavg: 2.68 2.85 3.16 3/89 15962
/proc/meminfo: memFree=1712948/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=867484 CPUtime=1.26
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 18786 0 1 0 116 10 0 0 20 0 9 0 38244907 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216871 18144 2025 9 0 211377 0
[pid=15953/tid=15955] ppid=15951 vsize=867484 CPUtime=1
/proc/15953/task/15955/stat : 15955 (java) R 15951 15953 15584 0 -1 64 15768 0 1 0 92 8 0 0 25 0 9 0 38244909 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4126689494 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=867484 CPUtime=0.06
/proc/15953/task/15956/stat : 15956 (java) S 15951 15953 15584 0 -1 64 1712 0 0 0 6 0 0 0 16 0 9 0 38244911 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=867484 CPUtime=0.16
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 609 0 0 0 16 0 0 0 16 0 9 0 38244913 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 38244913 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 867484

[startup+6.30703 s]
/proc/loadavg: 2.87 2.89 3.17 4/89 15962
/proc/meminfo: memFree=1689268/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=867396 CPUtime=2.96
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 24568 0 1 0 282 14 0 0 20 0 9 0 38244907 888213504 23902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216849 23902 2004 9 0 211377 0
[pid=15953/tid=15955] ppid=15951 vsize=867396 CPUtime=2.38
/proc/15953/task/15955/stat : 15955 (java) R 15951 15953 15584 0 -1 64 15770 0 1 0 230 8 0 0 25 0 9 0 38244909 888213504 23902 996147200 134512640 134550740 4294955952 18446744073709551615 4126529723 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=867396 CPUtime=0.37
/proc/15953/task/15956/stat : 15956 (java) S 15951 15953 15584 0 -1 64 7490 0 0 0 34 3 0 0 17 0 9 0 38244911 888213504 23902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888213504 23902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38244911 888213504 23902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888213504 23902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=867396 CPUtime=0.17
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 611 0 0 0 17 0 0 0 15 0 9 0 38244913 888213504 23902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888213504 23902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38244913 888213504 23902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 867396

[startup+12.7028 s]
/proc/loadavg: 2.88 2.89 3.17 5/89 15962
/proc/meminfo: memFree=1642548/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=867396 CPUtime=9.32
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 36308 0 1 0 694 238 0 0 20 0 9 0 38244907 888213504 35635 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216849 35635 2006 9 0 211377 0
[pid=15953/tid=15955] ppid=15951 vsize=867396 CPUtime=7.96
/proc/15953/task/15955/stat : 15955 (java) R 15951 15953 15584 0 -1 64 15803 0 1 0 568 228 0 0 25 0 9 0 38244909 888213504 35635 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=867396 CPUtime=1.11
/proc/15953/task/15956/stat : 15956 (java) S 15951 15953 15584 0 -1 64 19154 0 0 0 103 8 0 0 18 0 9 0 38244911 888213504 35635 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888213504 35635 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38244911 888213504 35635 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888213504 35635 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=867396 CPUtime=0.23
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 654 0 0 0 23 0 0 0 16 0 9 0 38244913 888213504 35635 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888213504 35635 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=867396 CPUtime=0
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38244913 888213504 35635 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 867396

[startup+25.5014 s]
/proc/loadavg: 2.90 2.89 3.17 3/89 15962
/proc/meminfo: memFree=1317300/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=867484 CPUtime=22.03
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 118295 0 1 0 1884 319 0 0 20 0 9 0 38244907 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216871 117302 2639 9 0 211377 0
[pid=15953/tid=15955] ppid=15951 vsize=867484 CPUtime=19.06
/proc/15953/task/15955/stat : 15955 (java) R 15951 15953 15584 0 -1 64 15857 0 1 0 1630 276 0 0 25 0 9 0 38244909 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4127071460 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=867484 CPUtime=2.63
/proc/15953/task/15956/stat : 15956 (java) S 15951 15953 15584 0 -1 64 101048 0 0 0 223 40 0 0 16 0 9 0 38244911 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=867484 CPUtime=0.29
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 693 0 0 0 29 0 0 0 15 0 9 0 38244913 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38244913 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.03
Current children cumulated vsize (KiB) 867484

[startup+51.1016 s]
/proc/loadavg: 2.94 2.90 3.16 3/89 15962
/proc/meminfo: memFree=1317300/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=867484 CPUtime=47.46
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 118295 0 1 0 4422 324 0 0 20 0 9 0 38244907 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216871 117302 2639 9 0 211377 0
[pid=15953/tid=15955] ppid=15951 vsize=867484 CPUtime=44.49
/proc/15953/task/15955/stat : 15955 (java) R 15951 15953 15584 0 -1 64 15857 0 1 0 4168 281 0 0 25 0 9 0 38244909 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4127072743 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=867484 CPUtime=2.63
/proc/15953/task/15956/stat : 15956 (java) S 15951 15953 15584 0 -1 64 101048 0 0 0 223 40 0 0 16 0 9 0 38244911 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=867484 CPUtime=0.29
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 693 0 0 0 29 0 0 0 16 0 9 0 38244913 888303616 117302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=867484 CPUtime=0

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

/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=867484 CPUtime=0.32
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 705 0 0 0 32 0 0 0 16 0 9 0 38244913 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=867484 CPUtime=0.08
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 3 5 0 0 15 0 9 0 38244913 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 465.2
Current children cumulated vsize (KiB) 867484

[startup+483.003 s]
/proc/loadavg: 2.02 2.34 2.80 3/89 16070
/proc/meminfo: memFree=1075196/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=867484 CPUtime=471.54
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 118310 0 1 0 46737 417 0 0 20 0 9 0 38244907 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 216871 117314 2639 9 0 211377 0
[pid=15953/tid=15955] ppid=15951 vsize=867484 CPUtime=468.45
/proc/15953/task/15955/stat : 15955 (java) R 15951 15953 15584 0 -1 64 15860 0 1 0 46477 368 0 0 25 0 9 0 38244909 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4127187324 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=867484 CPUtime=2.65
/proc/15953/task/15956/stat : 15956 (java) S 15951 15953 15584 0 -1 64 101048 0 0 0 224 41 0 0 16 0 9 0 38244911 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38244911 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=867484 CPUtime=0.32
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 705 0 0 0 32 0 0 0 16 0 9 0 38244913 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=867484 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=867484 CPUtime=0.08
/proc/15953/task/15962/stat : 15962 (java) R 15951 15953 15584 0 -1 64 1 0 0 0 3 5 0 0 15 0 9 0 38244913 888303616 117314 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 471.54
Current children cumulated vsize (KiB) 867484

[startup+489.403 s]
/proc/loadavg: 2.10 2.35 2.80 3/89 16070
/proc/meminfo: memFree=745276/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=868000 CPUtime=477.87
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 201097 0 1 0 47332 455 0 0 20 0 9 0 38244907 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 217000 199579 2617 9 0 211528 0
[pid=15953/tid=15955] ppid=15951 vsize=868000 CPUtime=471.15
/proc/15953/task/15955/stat : 15955 (java) S 15951 15953 15584 0 -1 64 15950 0 1 0 46746 369 0 0 25 0 9 0 38244909 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=868000 CPUtime=6.2
/proc/15953/task/15956/stat : 15956 (java) R 15951 15953 15584 0 -1 64 183677 0 0 0 542 78 0 0 18 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=868000 CPUtime=0.39
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 755 0 0 0 39 0 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=868000 CPUtime=0.08
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 3 5 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 477.87
Current children cumulated vsize (KiB) 868000

[startup+491.002 s]
/proc/loadavg: 2.09 2.35 2.80 3/89 16070
/proc/meminfo: memFree=745276/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=868000 CPUtime=479.46
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 201602 0 1 0 47491 455 0 0 20 0 9 0 38244907 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 217000 199579 2617 9 0 211528 0
[pid=15953/tid=15955] ppid=15951 vsize=868000 CPUtime=471.18
/proc/15953/task/15955/stat : 15955 (java) S 15951 15953 15584 0 -1 64 15951 0 1 0 46749 369 0 0 16 0 9 0 38244909 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=868000 CPUtime=7.77
/proc/15953/task/15956/stat : 15956 (java) R 15951 15953 15584 0 -1 64 184181 0 0 0 698 79 0 0 21 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=868000 CPUtime=0.39
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 755 0 0 0 39 0 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=868000 CPUtime=0.08
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 3 5 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 479.46
Current children cumulated vsize (KiB) 868000

[startup+491.802 s]
/proc/loadavg: 2.09 2.35 2.80 3/89 16070
/proc/meminfo: memFree=745404/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=868000 CPUtime=480.25
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 201602 0 1 0 47570 455 0 0 20 0 9 0 38244907 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 217000 199579 2617 9 0 211528 0
[pid=15953/tid=15955] ppid=15951 vsize=868000 CPUtime=471.18
/proc/15953/task/15955/stat : 15955 (java) S 15951 15953 15584 0 -1 64 15951 0 1 0 46749 369 0 0 16 0 9 0 38244909 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=868000 CPUtime=8.56
/proc/15953/task/15956/stat : 15956 (java) R 15951 15953 15584 0 -1 64 184181 0 0 0 777 79 0 0 23 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 104182598 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=868000 CPUtime=0.39
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 755 0 0 0 39 0 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=868000 CPUtime=0.08
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 3 5 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 480.25
Current children cumulated vsize (KiB) 868000

[startup+492.202 s]
/proc/loadavg: 2.09 2.35 2.80 3/89 16070
/proc/meminfo: memFree=745404/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=868000 CPUtime=480.65
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 201729 0 1 0 47610 455 0 0 20 0 9 0 38244907 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 217000 199579 2617 9 0 211528 0
[pid=15953/tid=15955] ppid=15951 vsize=868000 CPUtime=471.18
/proc/15953/task/15955/stat : 15955 (java) S 15951 15953 15584 0 -1 64 15952 0 1 0 46749 369 0 0 17 0 9 0 38244909 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=868000 CPUtime=8.96
/proc/15953/task/15956/stat : 15956 (java) R 15951 15953 15584 0 -1 64 184307 0 0 0 817 79 0 0 25 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 102721792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=868000 CPUtime=0.39
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 755 0 0 0 39 0 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=868000 CPUtime=0.08
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 3 5 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 480.65
Current children cumulated vsize (KiB) 868000

[startup+492.607 s]
/proc/loadavg: 2.09 2.35 2.80 3/89 16070
/proc/meminfo: memFree=745404/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=868000 CPUtime=481.04
/proc/15953/stat : 15953 (java) S 15951 15953 15584 0 -1 0 201729 0 1 0 47649 455 0 0 20 0 9 0 38244907 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15953/statm: 217000 199579 2617 9 0 211528 0
[pid=15953/tid=15955] ppid=15951 vsize=868000 CPUtime=471.18
/proc/15953/task/15955/stat : 15955 (java) S 15951 15953 15584 0 -1 64 15952 0 1 0 46749 369 0 0 17 0 9 0 38244909 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15956] ppid=15951 vsize=868000 CPUtime=9.35
/proc/15953/task/15956/stat : 15956 (java) R 15951 15953 15584 0 -1 64 184307 0 0 0 856 79 0 0 25 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 102731819 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15957] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15957/stat : 15957 (java) S 15951 15953 15584 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15958] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15958/stat : 15958 (java) S 15951 15953 15584 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38244911 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15959] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15959/stat : 15959 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15960] ppid=15951 vsize=868000 CPUtime=0.39
/proc/15953/task/15960/stat : 15960 (java) S 15951 15953 15584 0 -1 64 755 0 0 0 39 0 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15961] ppid=15951 vsize=868000 CPUtime=0
/proc/15953/task/15961/stat : 15961 (java) S 15951 15953 15584 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15953/tid=15962] ppid=15951 vsize=868000 CPUtime=0.08
/proc/15953/task/15962/stat : 15962 (java) S 15951 15953 15584 0 -1 64 1 0 0 0 3 5 0 0 15 0 9 0 38244913 888832000 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 481.04
Current children cumulated vsize (KiB) 868000

[startup+492.703 s]
/proc/loadavg: 2.09 2.35 2.80 3/89 16070
/proc/meminfo: memFree=745404/2055920 swapFree=4180104/4192956
[pid=15953] ppid=15951 vsize=0 CPUtime=481.12
/proc/15953/stat : 15953 (java) Z 15951 15953 15584 0 -1 12 201737 0 1 0 47653 459 0 0 16 0 2 0 38244907 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15953/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 481.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 492.791
CPU time (s): 481.221
CPU user time (s): 476.537
CPU system time (s): 4.68429
CPU usage (%): 97.6521
Max. virtual memory (cumulated for all children) (KiB): 868000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 476.537
system time used= 4.68429
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201737
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11982
involuntary context switches= 27313

runsolver used 0.740887 second user time and 2.36264 second system time

The end

Launcher Data (download as text)

Begin job on node28 at 2008-07-12 00:30:27
IDJOB=1110015
IDBENCH=61051
IDSOLVER=359
FILE ID=node28/1110015-1215815426
PBS_JOBID= 7903314
Free space on /tmp= 66492 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-cache-ibm-q-unbounded-Icl2arity-ucl.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110015-1215815426/watcher-1110015-1215815426 -o /tmp/evaluation-result-1110015-1215815426/solver-1110015-1215815426 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1110015-1215815426.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9d4795f9e32ba7017720fe7b897ab8b7
RANDOM SEED=1930079539

node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1778012 kB
Buffers:          3368 kB
Cached:          48844 kB
SwapCached:       5792 kB
Active:         228580 kB
Inactive:         5124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1778012 kB
SwapTotal:     4192956 kB
SwapFree:      4180104 kB
Dirty:           12404 kB
Writeback:           0 kB
Mapped:         106860 kB
Slab:            29292 kB
Committed_AS:   975020 kB
PageTables:       1980 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66484 MiB
End job on node28 at 2008-07-12 00:38:40