Trace number 1110016

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-d? 475.484 482.286

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.10	
0.07/0.10	Abscon 112 (May, 2008)
0.24/0.31	
0.24/0.31	   configuration
0.24/0.31	     name=mrdac-ddeg.xml
0.24/0.37	   
0.24/0.37	   instance
0.24/0.37	     name=HOME/instance-1110016-1215815474.xml
0.32/0.41	   
0.32/0.41	   domains being loaded...
0.32/0.42	   
0.32/0.42	   variables being loaded...
0.92/1.04	     nbVariables=23837  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2  nbTotalValues=46452
0.92/1.04	       =>  wckTime=0.731  cpuTime=0.5  mem=31M567
0.92/1.04	   
0.92/1.04	   predicates being loaded...
1.02/1.11	   
1.02/1.11	   constraints being loaded...
12.27/12.51	   
12.27/12.51	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 317M703)
12.85/13.20	     nbConstraints=67567  nbSingletonDomainVariables=1222  nbConvertedConstraints=43458
12.85/13.20	     nbConvertConstraintsChecks=79927  nbExtensionStructures=17  nbSharedExtensionStructures=43453
12.85/13.20	     nbConflictsStructures=41  nbSharedConflictsStructures=67538  nbSharedBinaryRepresentations=40
12.85/13.20	     nbEvaluationManagers=24  nbSharedEvaluationManagers=24085  minDegree=2  maxDegree=451  minArity=2  avgArity=2.79
12.85/13.20	     maxArity=13
12.85/13.20	       =>  wckTime=12.891  cpuTime=10.54  mem=408M866
13.64/13.96	   
13.64/13.96	   solver LocalSearchSolver being built... 
13.74/14.01	       =>  wckTime=13.702  cpuTime=10.59  mem=402M797
13.84/14.16	
13.84/14.16	s SATISFIABLE
13.84/14.16	o 13725
13.84/14.19	o 13673
13.94/14.23	o 13619
13.94/14.25	o 13590
13.94/14.28	o 13544
13.94/14.30	o 13519
14.04/14.33	o 13499
14.04/14.35	o 13485
14.04/14.38	o 13461
14.33/14.67	o 13455
14.33/14.69	o 13401
14.43/14.71	o 13388
14.43/14.74	o 13374
14.43/14.76	o 13360
14.43/14.79	o 13348
14.53/14.81	o 13290
14.63/14.97	o 13267
14.73/15.05	o 13259
14.73/15.07	o 13248
14.73/15.09	o 13240
14.83/15.11	o 13234
15.03/15.36	o 13194
15.13/15.44	o 13189
15.22/15.56	o 13182
15.51/15.82	o 13146
15.51/15.89	o 13143
15.61/15.92	o 13133
15.61/15.94	o 13128
15.71/16.01	o 13121
15.81/16.10	o 13113
15.81/16.12	o 13065
15.81/16.15	o 13053
16.01/16.33	o 13042
16.01/16.35	o 13036
16.01/16.37	o 13032
16.11/16.41	o 13013
16.11/16.47	o 13009
16.69/17.08	o 12994
16.79/17.11	o 12988
16.79/17.14	o 12982
16.79/17.17	o 12980
17.97/18.31	o 12966
18.66/19.07	o 12932
20.25/20.67	o 12928
20.34/20.71	o 12926
24.19/24.64	o 12920
24.19/24.68	o 12867
24.30/24.72	o 12861
24.30/24.76	o 12856
24.40/24.80	o 12850
24.40/24.84	o 12827
24.60/25.06	o 12824
24.70/25.10	o 12820
24.70/25.14	o 12816
24.70/25.19	o 12813
24.80/25.23	o 12812
25.09/25.58	o 12796
25.48/25.95	o 12769
25.48/25.99	o 12768
25.78/26.22	o 12755
26.46/26.91	o 12753
27.15/27.67	o 12745
27.25/27.71	o 12733
28.64/29.11	o 12715
28.64/29.15	o 12683
30.41/30.98	o 12669
30.90/31.40	o 12668
30.90/31.44	o 12663
30.90/31.48	o 12655
30.99/31.52	o 12649
30.99/31.56	o 12640
31.09/31.64	o 12639
31.09/31.68	o 12631
31.30/31.83	o 12607
31.40/31.91	o 12601
31.40/31.95	o 12595
31.40/31.99	o 12590
31.49/32.03	o 12585
31.49/32.07	o 12571
31.68/32.26	o 12555
31.79/32.37	o 12552
31.88/32.42	o 12548
31.88/32.46	o 12544
31.98/32.50	o 12540
31.98/32.54	o 12536
31.98/32.58	o 12532
32.08/32.63	o 12528
32.08/32.67	o 12524
32.18/32.78	o 12522
32.28/32.83	o 12518
32.28/32.87	o 12515
32.38/32.92	o 12512
32.38/32.96	o 12509
32.38/33.00	o 12506
32.48/33.04	o 12503
32.48/33.09	o 12500
32.57/33.13	o 12490
32.57/33.17	o 12488
32.67/33.22	o 12486
32.67/33.26	o 12484
32.76/33.30	o 12482
32.76/33.35	o 12480
32.76/33.39	o 12478
32.86/33.43	o 12471
32.86/33.47	o 12470
32.96/33.52	o 12469
33.26/33.86	o 12466
34.44/35.04	o 12464
34.44/35.09	o 12462
34.54/35.13	o 12458
34.54/35.18	o 12453
35.62/36.27	o 12451
35.72/36.32	o 12446
35.82/36.41	o 12443
36.91/37.55	o 12442
36.91/37.60	o 12438
37.21/37.86	o 12432
37.31/37.91	o 12428
37.31/37.96	o 12424
37.41/38.01	o 12412
37.51/38.10	o 12410
37.51/38.15	o 12406
37.51/38.19	o 12402
37.61/38.24	o 12398
37.61/38.29	o 12395
37.71/38.34	o 12392
37.71/38.39	o 12353
39.38/40.08	o 12324
39.48/40.13	o 12322
39.58/40.23	o 12320
39.58/40.27	o 12319
39.68/40.32	o 12317
39.87/40.56	o 12316
39.97/40.62	o 12314
39.97/40.66	o 12312
40.07/40.71	o 12310
40.07/40.76	o 12308
40.17/40.81	o 12306
40.17/40.85	o 12304
40.26/40.91	o 12302
40.26/40.96	o 12300
40.36/41.00	o 12298
40.36/41.05	o 12296
40.46/41.10	o 12259
40.46/41.15	o 12255
40.46/41.20	o 12254
40.56/41.24	o 12252
40.56/41.29	o 12244
40.86/41.51	o 12243
40.86/41.56	o 12242
40.95/41.61	o 12241
40.95/41.66	o 12183
41.64/42.32	o 12182
41.74/42.45	o 12169
41.84/42.54	o 12163
41.94/42.63	o 12156
46.87/47.63	o 12153
46.87/47.68	o 12149
46.97/47.73	o 12145
46.97/47.79	o 12141
47.06/47.84	o 12137
47.16/47.99	o 12130
47.26/48.04	o 12127
47.46/48.28	o 12125
47.56/48.34	o 12122
47.56/48.39	o 12119
47.66/48.45	o 12108
47.76/48.50	o 12105
47.76/48.55	o 12102
47.86/48.61	o 12099
47.86/48.67	o 12096
47.95/48.72	o 12093
47.95/48.77	o 12090
48.05/48.82	o 12065
48.05/48.87	o 12063
48.15/48.97	o 12061
51.01/51.83	o 12054
51.01/51.88	o 12050
51.11/51.94	o 12047
51.11/52.00	o 12045
51.20/52.05	o 12043
51.30/52.11	o 12041
51.30/52.16	o 12037
51.40/52.21	o 12035
51.40/52.27	o 12033
51.50/52.32	o 12031
51.50/52.38	o 12029
53.88/54.74	o 12028
54.27/55.20	o 12026
54.46/55.36	o 12005
54.56/55.41	o 11991
54.77/55.61	o 11980
54.77/55.66	o 11977
54.87/55.77	o 11974
54.97/55.82	o 11973
55.65/56.51	o 11957
58.12/59.04	o 11953
59.40/60.30	o 11931
59.50/60.41	o 11925
62.95/63.92	o 11917
63.05/64.04	o 11915
63.05/64.10	o 11911
63.14/64.16	o 11910
63.24/64.21	o 11909
63.54/64.56	o 11906
63.74/64.77	o 11905
63.84/64.83	o 11899
63.84/64.89	o 11895
63.94/64.94	o 11892
64.03/65.00	o 11891
64.92/65.96	o 11886
65.02/66.01	o 11882
65.02/66.07	o 11880
66.70/67.72	o 11878
66.70/67.77	o 11874
66.80/67.83	o 11872
66.80/67.88	o 11866
66.90/67.94	o 11864
66.90/67.99	o 11857
66.99/68.05	o 11854
67.09/68.11	o 11852
67.58/68.64	o 11849
67.58/68.70	o 11846
67.68/68.75	o 11843
67.78/68.81	o 11840
67.78/68.86	o 11836
67.99/69.07	o 11834
68.87/69.97	o 11832
68.97/70.03	o 11829
68.97/70.09	o 11826
69.37/70.42	o 11820
69.47/70.53	o 11814
69.47/70.58	o 11812
69.57/70.65	o 11809
69.96/71.08	o 11806
70.16/71.28	o 11805
70.26/71.33	o 11802
70.36/71.44	o 11799
70.36/71.49	o 11795
70.46/71.55	o 11794
70.65/71.71	o 11788
70.65/71.77	o 11784
70.74/71.82	o 11773
70.74/71.88	o 11769
70.84/71.93	o 11765
70.84/71.99	o 11764
70.94/72.05	o 11763
71.44/72.58	o 11760
71.54/72.64	o 11757
71.54/72.69	o 11754
71.63/72.75	o 11746
71.73/72.82	o 11743
71.73/72.87	o 11740
71.82/72.93	o 11737
71.92/73.04	o 11735
72.02/73.10	o 11734
72.22/73.32	o 11733
72.22/73.37	o 11729
72.32/73.43	o 11725
72.32/73.49	o 11722
72.42/73.54	o 11719
72.52/73.61	o 11716
72.52/73.67	o 11713
72.61/73.73	o 11710
72.61/73.78	o 11707
72.71/73.84	o 11704
72.81/73.90	o 11695
72.81/73.96	o 11692
72.90/74.02	o 11689
72.90/74.08	o 11686
73.00/74.14	o 11683
73.00/74.20	o 11680
73.20/74.36	o 11675
73.50/74.68	o 11673
74.19/75.39	o 11672
74.28/75.45	o 11670
74.38/75.50	o 11667
74.38/75.56	o 11664
74.48/75.62	o 11661
74.48/75.68	o 11658
74.58/75.74	o 11655
74.68/75.81	o 11652
74.68/75.87	o 11649
74.88/76.08	o 11646
74.98/76.15	o 11643
75.08/76.21	o 11640
75.08/76.26	o 11624
75.57/76.74	o 11609
75.57/76.79	o 11607
75.67/76.85	o 11606
83.07/84.33	o 11605
83.07/84.39	o 11604
83.27/84.50	o 11602
83.27/84.56	o 11600
83.37/84.62	o 11597
83.37/84.68	o 11594
83.47/84.74	o 11591
83.56/84.80	o 11588
83.56/84.86	o 11585
84.55/85.83	o 11582
84.55/85.89	o 11579
84.64/85.95	o 11576
84.74/86.01	o 11573
84.74/86.07	o 11570
84.84/86.13	o 11567
84.94/86.24	o 11555
85.04/86.36	o 11554
85.14/86.41	o 11551
85.14/86.47	o 11548
85.24/86.53	o 11545
85.24/86.59	o 11542
85.34/86.65	o 11539
85.44/86.71	o 11536
85.44/86.77	o 11486
85.54/86.83	o 11483
85.54/86.89	o 11438
86.33/87.60	o 11437
86.33/87.66	o 11434
86.43/87.72	o 11431
86.43/87.78	o 11428
86.52/87.83	o 11427
86.52/87.88	o 11422
86.62/87.94	o 11421
86.62/88.00	o 11418
86.72/88.06	o 11415
86.82/88.12	o 11412
86.82/88.18	o 11409
86.91/88.24	o 11406
87.01/88.30	o 11403
87.01/88.36	o 11400
87.11/88.42	o 11397
87.11/88.48	o 11394
87.21/88.54	o 11366
87.40/88.70	o 11356
87.40/88.76	o 11342
87.89/89.25	o 11340
87.99/89.36	o 11330
88.39/89.74	o 11328
88.49/89.80	o 11325
88.49/89.86	o 11322
88.58/89.92	o 11319
88.58/89.98	o 11316
88.68/90.04	o 11313
88.68/90.10	o 11310
88.78/90.16	o 11307
88.88/90.22	o 11304
88.88/90.28	o 11301
88.98/90.34	o 11298
88.98/90.39	o 11295
89.07/90.46	o 11292
89.17/90.52	o 11289
89.17/90.58	o 11254
89.88/91.27	o 11253
89.97/91.33	o 11250
89.97/91.39	o 11247
90.07/91.45	o 11244
90.17/91.51	o 11241
90.17/91.57	o 11238
90.26/91.63	o 11235
90.26/91.69	o 11212
90.36/91.75	o 11210
90.46/91.86	o 11208
90.56/91.92	o 11205
90.56/91.97	o 11198
90.66/92.03	o 11195
90.75/92.20	o 11194
90.85/92.26	o 11191
90.95/92.32	o 11151
91.05/92.48	o 11149
91.14/92.54	o 11146
91.24/92.66	o 11145
91.34/92.72	o 11143
91.53/92.92	o 11141
91.93/93.34	o 11139
92.03/93.41	o 11136
92.03/93.46	o 11133
92.14/93.52	o 11130
92.14/93.58	o 11127
92.23/93.64	o 11124
92.23/93.69	o 11121
92.33/93.76	o 11118
92.43/93.82	o 11115
92.43/93.87	o 11086
92.53/93.93	o 11082
92.53/93.98	o 11079
92.62/94.04	o 11076
92.72/94.10	o 11073
92.72/94.16	o 11070
92.82/94.21	o 11068
92.92/94.32	o 11065
92.92/94.37	o 11062
93.02/94.43	o 11059
93.02/94.49	o 11056
93.12/94.55	o 11053
93.22/94.61	o 11050
93.22/94.67	o 11047
93.31/94.72	o 11044
93.31/94.78	o 11041
93.41/94.84	o 11038
93.50/94.90	o 11035
93.50/94.96	o 11032
93.60/95.02	o 11029
93.60/95.07	o 11027
93.70/95.13	o 11024
93.70/95.19	o 11021
93.80/95.24	o 11018
93.90/95.30	o 11015
93.90/95.36	o 11012
94.00/95.42	o 11008
94.29/95.74	o 11006
94.29/95.79	o 11005
94.39/95.85	o 11002
94.49/95.91	o 10995
94.49/95.97	o 10992
94.58/96.03	o 10989
94.58/96.08	o 10986
94.68/96.19	o 10983
94.98/96.40	o 10982
95.38/96.83	o 10980
95.38/96.89	o 10977
95.48/96.95	o 10974
95.58/97.01	o 10971
95.58/97.07	o 10968
95.67/97.12	o 10960
95.67/97.18	o 10957
95.77/97.24	o 10954
95.77/97.30	o 10951
95.87/97.35	o 10948
95.97/97.41	o 10945
95.97/97.47	o 10932
96.18/97.68	o 10929
96.28/97.74	o 10926
96.28/97.80	o 10923
96.37/97.86	o 10920
96.47/97.92	o 10917
96.47/97.98	o 10914
96.57/98.03	o 10911
96.57/98.09	o 10908
96.67/98.15	o 10905
96.76/98.21	o 10902
96.76/98.27	o 10901
96.96/98.48	o 10899
97.06/98.54	o 10896
97.16/98.60	o 10893
97.36/98.87	o 10890
97.46/98.93	o 10887
97.56/99.04	o 10867
97.56/99.09	o 10862
97.94/99.42	o 10860
97.94/99.48	o 10857
98.04/99.54	o 10854
98.04/99.59	o 10851
98.14/99.65	o 10847
98.24/99.71	o 10844
98.24/99.77	o 10841
98.34/99.82	o 10838
98.34/99.88	o 10835
98.44/99.94	o 10832
98.54/100.00	o 10829
98.54/100.06	o 10828
98.63/100.12	o 10827
98.63/100.17	o 10824
98.73/100.23	o 10821
98.73/100.29	o 10818
98.83/100.35	o 10808
99.02/100.51	o 10805
99.02/100.57	o 10802
99.12/100.63	o 10799
99.12/100.69	o 10796
99.22/100.74	o 10793
99.32/100.80	o 10790
99.32/100.86	o 10787
99.42/100.92	o 10784
99.42/100.98	o 10781
99.51/101.03	o 10778
99.51/101.09	o 10775
99.61/101.15	o 10772
99.71/101.21	o 10769
99.71/101.27	o 10766
99.81/101.33	o 10764
100.30/101.82	o 10762
100.30/101.88	o 10760
100.40/101.94	o 10758
100.40/101.99	o 10756
100.50/102.05	o 10754
100.60/102.11	o 10752
100.60/102.17	o 10750
100.70/102.23	o 10748
100.70/102.29	o 10746
100.80/102.35	o 10744
100.89/102.41	o 10742
100.89/102.47	o 10740
100.99/102.53	o 10704
105.53/107.13	o 10703
105.53/107.18	o 10702
105.63/107.24	o 10701
105.73/107.30	o 10700
105.73/107.36	o 10699
105.83/107.41	o 10698
107.99/109.62	o 10685
116.08/117.82	o 10681
116.68/118.46	o 10680
116.98/118.73	o 10677
116.98/118.78	o 10674
117.08/118.84	o 10672
117.27/119.01	o 10671
117.27/119.07	o 10668
117.76/119.55	o 10666
117.86/119.61	o 10650
117.86/119.67	o 10649
117.96/119.73	o 10646
117.96/119.79	o 10645
118.06/119.85	o 10642
118.16/119.91	o 10639
118.16/119.97	o 10636
118.25/120.03	o 10635
118.25/120.08	o 10632
118.35/120.15	o 10629
118.45/120.21	o 10624
118.55/120.37	o 10597
119.24/121.07	o 10595
119.33/121.13	o 10592
119.33/121.19	o 10589
119.43/121.25	o 10587
119.53/121.31	o 10586
119.53/121.37	o 10583
120.03/121.85	o 10581
120.12/121.91	o 10576
121.42/123.21	o 10575
121.52/123.38	o 10574
121.61/123.44	o 10571
121.71/123.50	o 10568
121.71/123.56	o 10566
121.81/123.62	o 10563
121.81/123.68	o 10560
122.21/124.01	o 10555
123.97/125.86	o 10527
124.07/125.92	o 10523
124.17/126.03	o 10520
124.37/126.24	o 10518
124.47/126.30	o 10516
125.66/127.52	o 10514
125.76/127.68	o 10513
126.06/127.90	o 10510
126.06/127.96	o 10507
126.15/128.01	o 10504
126.15/128.07	o 10501
126.25/128.12	o 10498
126.25/128.18	o 10495
126.55/128.44	o 10477
126.55/128.49	o 10474
126.65/128.54	o 10471
126.75/128.66	o 10469
126.85/128.71	o 10455
127.24/129.18	o 10454
127.34/129.23	o 10451
127.83/129.75	o 10448
127.93/129.81	o 10445
127.93/129.86	o 10442
128.03/129.92	o 10439
128.03/129.97	o 10436
128.13/130.04	o 10435
128.13/130.09	o 10433
128.22/130.15	o 10430
128.32/130.26	o 10416
128.62/130.57	o 10402
128.72/130.62	o 10399
128.72/130.68	o 10396
128.81/130.73	o 10393
128.81/130.79	o 10390
128.91/130.85	o 10387
129.01/130.91	o 10384
129.01/130.96	o 10381
129.11/131.02	o 10378
129.70/131.65	o 10376
129.80/131.70	o 10373
129.80/131.76	o 10370
130.00/131.92	o 10368
130.19/132.14	o 10367
130.19/132.19	o 10364
130.29/132.25	o 10361
130.49/132.41	o 10359
130.49/132.47	o 10358
130.58/132.53	o 10355
130.58/132.58	o 10352
130.68/132.64	o 10351
130.78/132.70	o 10340
130.78/132.76	o 10337
131.18/133.13	o 10336
131.18/133.19	o 10333
131.27/133.24	o 10330
131.37/133.31	o 10327
131.37/133.36	o 10324
131.47/133.42	o 10321
131.47/133.48	o 10318
131.86/133.89	o 10315
131.96/133.94	o 10312
132.06/134.00	o 10309
132.06/134.06	o 10306
132.16/134.12	o 10303
132.16/134.18	o 10300
132.26/134.24	o 10297
132.26/134.30	o 10294
132.35/134.36	o 10292
132.45/134.42	o 10289
132.45/134.48	o 10286
133.44/135.42	o 10285
133.44/135.48	o 10282
133.54/135.54	o 10279
133.63/135.60	o 10276
133.63/135.66	o 10265
133.73/135.72	o 10262
133.73/135.77	o 10258
133.83/135.83	o 10256
134.32/136.31	o 10255
134.32/136.37	o 10252
134.42/136.43	o 10249
134.52/136.54	o 10246
134.62/136.60	o 10243
134.62/136.66	o 10240
134.71/136.72	o 10237
134.71/136.78	o 10234
134.81/136.84	o 10231
134.81/136.89	o 10228
134.91/136.95	o 10202
135.21/137.27	o 10199
135.31/137.38	o 10193
136.98/139.06	o 10190
137.08/139.12	o 10177
137.17/139.28	o 10174
137.28/139.34	o 10171
137.37/139.40	o 10168
137.37/139.46	o 10165
137.47/139.52	o 10162
137.47/139.57	o 10159
137.57/139.64	o 10156
137.57/139.70	o 10153
137.67/139.76	o 10150
137.77/139.87	o 10149
137.86/139.93	o 10146
137.86/139.99	o 10143
137.96/140.05	o 10140
138.06/140.11	o 10137
138.06/140.17	o 10134
138.16/140.23	o 10131
138.26/140.40	o 10130
138.36/140.45	o 10129
138.46/140.51	o 10126
138.56/140.63	o 10123
138.85/140.91	o 10120
138.85/140.97	o 10113
138.95/141.03	o 10107
138.95/141.09	o 10105
139.05/141.15	o 10102
139.15/141.21	o 10099
139.15/141.27	o 10096
139.25/141.33	o 10093
139.35/141.45	o 10090
139.65/141.72	o 10088
139.75/141.89	o 10082
139.94/142.05	o 10080
140.04/142.12	o 10079
140.04/142.18	o 10076
140.63/142.72	o 10065
140.63/142.78	o 10063
140.73/142.84	o 10060
140.83/142.96	o 10058
140.94/143.08	o 10056
141.04/143.14	o 10055
141.23/143.36	o 10054
141.33/143.42	o 10053
141.63/143.75	o 10051
141.73/143.81	o 10043
141.82/143.92	o 10042
142.91/145.08	o 10037
143.01/145.14	o 10032
143.11/145.25	o 10030
143.20/145.31	o 10027
143.20/145.37	o 10024
143.30/145.43	o 10023
143.30/145.49	o 10021
143.40/145.55	o 10018
152.86/155.12	o 10016
152.86/155.18	o 10014
152.95/155.25	o 10012
153.05/155.33	o 10010
153.05/155.39	o 10008
153.15/155.46	o 10006
153.25/155.53	o 9999
153.25/155.59	o 9997
153.35/155.65	o 9994
153.45/155.71	o 9991
153.45/155.78	o 9989
153.66/155.91	o 9961
153.66/155.97	o 9960
153.76/156.04	o 9909
153.76/156.10	o 9906
153.86/156.16	o 9905
153.96/156.22	o 9903
153.96/156.29	o 9896
154.25/156.58	o 9895
154.35/156.64	o 9839
159.58/161.95	o 9838
159.67/162.02	o 9836
159.67/162.08	o 9834
159.77/162.15	o 9832
159.87/162.22	o 9830
159.87/162.28	o 9828
159.97/162.35	o 9826
160.07/162.42	o 9824
160.07/162.48	o 9822
160.17/162.55	o 9820
160.27/162.62	o 9818
160.27/162.68	o 9816
160.37/162.75	o 9814
160.66/163.07	o 9813
160.76/163.13	o 9811
160.86/163.20	o 9809
160.86/163.27	o 9807
160.95/163.34	o 9805
161.05/163.40	o 9803
161.05/163.47	o 9801
161.15/163.54	o 9799
161.25/163.60	o 9797
161.25/163.67	o 9795
161.35/163.74	o 9793
161.45/163.81	o 9791
161.45/163.88	o 9789
161.55/163.94	o 9785
161.65/164.01	o 9783
161.65/164.07	o 9781
161.84/164.20	o 9772
162.83/165.21	o 9771
162.83/165.28	o 9769
162.93/165.34	o 9767
163.02/165.41	o 9765
163.02/165.48	o 9763
163.12/165.54	o 9761
163.22/165.61	o 9759
163.22/165.67	o 9757
163.32/165.74	o 9755
163.62/166.04	o 9754
163.72/166.10	o 9752
163.72/166.17	o 9750
163.82/166.23	o 9748
163.91/166.31	o 9746
163.91/166.37	o 9744
164.61/167.07	o 9742
164.70/167.14	o 9740
164.80/167.21	o 9738
164.80/167.28	o 9736
164.90/167.34	o 9734
165.09/167.53	o 9733
165.09/167.60	o 9731
165.19/167.66	o 9729
165.89/168.37	o 9728
165.98/168.44	o 9726
166.09/168.51	o 9724
166.09/168.57	o 9722
166.18/168.64	o 9720
166.28/168.71	o 9718
166.68/169.19	o 9717
166.78/169.26	o 9715
166.88/169.33	o 9713
166.88/169.40	o 9711
166.97/169.46	o 9671
167.07/169.53	o 9669
167.07/169.59	o 9667
167.17/169.66	o 9665
167.26/169.73	o 9663
167.26/169.80	o 9661
167.36/169.86	o 9659
168.94/171.41	o 9657
168.94/171.48	o 9655
169.04/171.55	o 9653
169.14/171.62	o 9651
169.33/171.81	o 9649
169.33/171.87	o 9647
169.43/171.94	o 9645
169.53/172.01	o 9643
169.53/172.07	o 9641
169.63/172.14	o 9639
169.73/172.21	o 9637
169.73/172.27	o 9635
169.83/172.34	o 9633
169.93/172.40	o 9631
169.93/172.47	o 9629
170.03/172.54	o 9627
170.14/172.61	o 9625
170.24/172.73	o 9596
171.02/173.57	o 9595
171.12/173.64	o 9593
171.22/173.71	o 9591
171.22/173.78	o 9589
171.32/173.84	o 9587
171.41/173.91	o 9585
171.41/173.97	o 9583
171.51/174.04	o 9580
171.61/174.11	o 9578
171.61/174.17	o 9576
171.71/174.24	o 9574
171.81/174.31	o 9572
171.81/174.37	o 9570
171.90/174.44	o 9568
172.00/174.51	o 9566
172.00/174.57	o 9564
172.10/174.64	o 9534
172.49/175.05	o 9495
172.59/175.12	o 9491
173.58/176.11	o 9490
173.58/176.17	o 9488
173.67/176.30	o 9484
173.77/176.36	o 9481
173.87/176.43	o 9479
173.87/176.49	o 9477
173.97/176.56	o 9475
174.06/176.63	o 9473
174.06/176.69	o 9471
174.16/176.76	o 9469
174.27/176.83	o 9467
174.27/176.89	o 9465
174.37/176.96	o 9463
174.47/177.03	o 9461
174.47/177.10	o 9459
174.57/177.16	o 9457
174.66/177.23	o 9455
174.66/177.30	o 9453
174.76/177.37	o 9451
174.86/177.44	o 9449
174.96/177.50	o 9447
174.96/177.57	o 9445
175.05/177.63	o 9443
175.15/177.70	o 9441
175.15/177.77	o 9439
175.25/177.83	o 9437
175.35/177.90	o 9434
175.35/177.97	o 9432
175.45/178.03	o 9430
175.55/178.11	o 9428
175.55/178.17	o 9426
175.65/178.23	o 9425
175.84/178.42	o 9424
175.84/178.49	o 9420
180.67/183.35	o 9413
183.74/186.45	o 9412
183.84/186.52	o 9394
183.84/186.58	o 9392
183.94/186.65	o 9390
184.04/186.71	o 9385
184.04/186.77	o 9383
184.14/186.84	o 9381
184.24/186.91	o 9379
184.24/186.97	o 9377
184.34/187.04	o 9375
187.10/189.81	o 9374
187.10/189.87	o 9373
187.20/189.93	o 9372
187.30/190.00	o 9369
187.30/190.06	o 9367
187.40/190.13	o 9365
187.40/190.19	o 9363
187.50/190.27	o 9361
187.59/190.33	o 9359
187.59/190.40	o 9357
187.69/190.46	o 9355
187.79/190.53	o 9353
187.79/190.60	o 9351
187.88/190.66	o 9349
187.98/190.73	o 9347
187.98/190.79	o 9345
188.18/190.97	o 9343
188.28/191.04	o 9340
188.38/191.10	o 9337
188.38/191.16	o 9334
188.48/191.23	o 9332
188.48/191.29	o 9330
188.67/191.42	o 9328
188.67/191.49	o 9326
188.77/191.55	o 9324
188.86/191.62	o 9322
188.86/191.69	o 9320
188.96/191.75	o 9318
189.06/191.82	o 9316
189.06/191.88	o 9314
189.16/191.95	o 9312
189.26/192.01	o 9309
189.26/192.07	o 9307
189.36/192.14	o 9305
189.45/192.21	o 9303
189.76/192.57	o 9301
189.85/192.63	o 9299
189.95/192.70	o 9297
189.95/192.77	o 9295
190.05/192.83	o 9247
190.15/192.95	o 9230
190.44/193.23	o 9204
190.54/193.35	o 9158
190.93/193.75	o 9131
191.03/193.82	o 9130
191.52/194.39	o 9120
191.62/194.46	o 9118
191.82/194.63	o 9114
191.82/194.69	o 9112
191.92/194.76	o 9110
192.01/194.82	o 9108
192.01/194.89	o 9106
192.11/194.96	o 9104
192.21/195.02	o 9102
192.21/195.09	o 9100
192.30/195.15	o 9098
192.40/195.22	o 9096
192.40/195.28	o 9094
192.50/195.35	o 9092
192.60/195.41	o 9091
192.70/195.59	o 9088
192.80/195.65	o 9087
192.90/195.72	o 9085
192.90/195.79	o 9083
192.99/195.85	o 9081
193.09/195.92	o 9079
193.09/195.98	o 9077
194.17/197.06	o 9076
194.28/197.13	o 9069
194.28/197.19	o 9067
194.37/197.26	o 9066
194.47/197.32	o 9064
194.47/197.38	o 9062
194.57/197.45	o 9060
194.67/197.52	o 9058
194.67/197.58	o 9044
194.77/197.64	o 9042
194.87/197.71	o 9040
194.87/197.77	o 9038
194.97/197.84	o 9036
195.06/197.91	o 9035
195.06/197.97	o 9033
195.17/198.03	o 9031
195.26/198.10	o 9029
195.26/198.16	o 9027
195.36/198.23	o 9025
195.45/198.30	o 9023
195.45/198.36	o 9021
195.55/198.43	o 9015
195.55/198.49	o 9006
196.54/199.42	o 9005
196.54/199.49	o 9003
196.64/199.55	o 9000
196.74/199.61	o 8996
196.74/199.68	o 8994
196.84/199.74	o 8992
196.94/199.81	o 8990
196.94/199.87	o 8988
197.04/199.93	o 8987
197.14/200.00	o 8985
197.14/200.06	o 8983
197.24/200.13	o 8981
197.34/200.25	o 8980
197.43/200.32	o 8978
197.43/200.38	o 8976
197.53/200.45	o 8974
197.63/200.57	o 8972
197.73/200.64	o 8970
197.83/200.70	o 8968
197.93/200.82	o 8967
197.93/200.89	o 8965
198.03/200.95	o 8963
198.13/201.02	o 8961
198.13/201.08	o 8959
198.33/201.21	o 8956
198.33/201.26	o 8955
198.52/201.44	o 8945
199.02/201.90	o 8944
199.02/201.97	o 8942
199.12/202.03	o 8933
199.12/202.09	o 8931
199.22/202.15	o 8924
199.32/202.22	o 8898
199.32/202.28	o 8896
199.42/202.35	o 8894
199.52/202.41	o 8892
199.52/202.48	o 8890
199.61/202.54	o 8888
200.00/202.95	o 8886
200.40/203.34	o 8885
200.50/203.41	o 8883
200.60/203.53	o 8881
200.60/203.59	o 8879
200.69/203.66	o 8877
200.79/203.72	o 8875
200.79/203.79	o 8873
200.88/203.85	o 8871
200.98/203.92	o 8869
200.98/203.98	o 8867
201.08/204.04	o 8865
201.18/204.11	o 8863
201.18/204.17	o 8861
201.28/204.23	o 8859
201.28/204.30	o 8857
201.38/204.36	o 8855
201.48/204.42	o 8844
201.58/204.54	o 8840
202.07/205.05	o 8838
202.17/205.12	o 8836
202.17/205.17	o 8794
202.27/205.23	o 8792
202.27/205.29	o 8789
202.56/205.52	o 8788
204.54/207.56	o 8787
204.64/207.63	o 8785
204.84/207.86	o 8784
204.94/207.93	o 8782
204.94/207.99	o 8780
205.04/208.05	o 8778
205.13/208.12	o 8776
205.13/208.18	o 8774
205.23/208.24	o 8772
205.33/208.31	o 8770
205.33/208.37	o 8768
205.43/208.43	o 8766
205.43/208.49	o 8764
205.53/208.56	o 8762
205.63/208.62	o 8760
205.63/208.68	o 8758
205.73/208.74	o 8756
205.82/208.81	o 8754
205.82/208.87	o 8752
205.92/208.94	o 8718
205.92/209.00	o 8716
206.02/209.06	o 8714
206.12/209.12	o 8712
206.12/209.19	o 8710
206.61/209.65	o 8708
206.71/209.72	o 8706
207.11/210.18	o 8704
207.20/210.25	o 8702
207.30/210.31	o 8700
207.30/210.37	o 8698
207.40/210.44	o 8696
207.50/210.50	o 8694
207.50/210.56	o 8692
207.60/210.63	o 8690
207.60/210.69	o 8688
207.70/210.75	o 8686
207.79/210.81	o 8685
207.79/210.88	o 8683
207.89/210.94	o 8681
207.99/211.06	o 8680
208.09/211.12	o 8668
208.09/211.18	o 8666
208.19/211.25	o 8664
208.29/211.31	o 8662
208.29/211.37	o 8660
208.39/211.44	o 8658
208.48/211.50	o 8655
208.48/211.56	o 8653
208.58/211.63	o 8651
208.78/211.86	o 8649
208.87/211.92	o 8647
208.87/211.98	o 8645
208.97/212.04	o 8643
209.07/212.11	o 8641
209.07/212.17	o 8639
209.17/212.24	o 8637
209.17/212.30	o 8635
209.37/212.42	o 8627
209.37/212.48	o 8625
209.46/212.55	o 8623
209.56/212.61	o 8621
209.56/212.67	o 8619
209.86/212.91	o 8618
209.86/212.97	o 8616
209.95/213.03	o 8614
209.95/213.09	o 8612
210.05/213.16	o 8610
210.15/213.22	o 8608
210.15/213.28	o 8606
210.25/213.35	o 8604
210.35/213.41	o 8602
210.35/213.48	o 8600
210.45/213.54	o 8598
210.54/213.61	o 8596
210.54/213.67	o 8594
210.64/213.73	o 8592
210.64/213.80	o 8590
210.74/213.86	o 8588
210.84/213.92	o 8586
210.84/213.98	o 8584
210.93/214.05	o 8582
211.03/214.11	o 8580
211.03/214.17	o 8578
211.13/214.24	o 8576
211.34/214.42	o 8575
211.34/214.48	o 8573
211.44/214.54	o 8571
212.72/215.89	o 8570
212.81/215.95	o 8568
212.91/216.02	o 8555
212.91/216.08	o 8553
213.01/216.14	o 8551
213.11/216.21	o 8549
213.31/216.44	o 8547
213.41/216.50	o 8544
213.41/216.57	o 8542
213.51/216.63	o 8540
213.51/216.70	o 8538
213.61/216.76	o 8536
213.70/216.82	o 8534
213.70/216.89	o 8532
213.80/216.96	o 8530
213.90/217.02	o 8528
213.90/217.08	o 8526
214.00/217.15	o 8524
214.10/217.21	o 8522
214.10/217.27	o 8520
214.19/217.34	o 8518
214.29/217.40	o 8516
214.79/217.99	o 8514
214.88/218.05	o 8512
214.98/218.12	o 8510
214.98/218.18	o 8508
215.08/218.24	o 8506
215.18/218.31	o 8504
215.18/218.37	o 8502
215.28/218.43	o 8501
215.48/218.66	o 8485
215.87/219.01	o 8484
215.87/219.07	o 8482
215.97/219.14	o 8480
216.06/219.20	o 8478
216.06/219.26	o 8476
216.16/219.33	o 8474
216.16/219.39	o 8472
216.26/219.46	o 8470
216.36/219.52	o 8468
216.36/219.58	o 8443
216.46/219.65	o 8441
216.56/219.71	o 8438
216.56/219.77	o 8436
216.66/219.84	o 8434
216.66/219.90	o 8432
216.76/219.97	o 8430
216.85/220.03	o 8428
216.85/220.09	o 8426
216.95/220.16	o 8424
217.05/220.22	o 8422
217.05/220.29	o 8421
217.15/220.35	o 8419
217.25/220.41	o 8417
217.25/220.47	o 8415
217.35/220.54	o 8408
217.45/220.60	o 8406
217.45/220.66	o 8404
217.55/220.72	o 8402
218.73/221.94	o 8400
218.83/222.00	o 8398
218.83/222.06	o 8396
218.93/222.13	o 8394
218.93/222.19	o 8392
219.03/222.26	o 8390
219.12/222.32	o 8388
219.12/222.38	o 8378
219.22/222.45	o 8376
219.31/222.51	o 8374
219.31/222.57	o 8372
219.41/222.64	o 8370
219.51/222.70	o 8368
219.51/222.76	o 8366
219.61/222.83	o 8364
219.61/222.89	o 8362
219.71/222.95	o 8360
219.81/223.07	o 8359
219.91/223.13	o 8357
219.91/223.20	o 8355
220.01/223.26	o 8353
220.11/223.33	o 8351
220.11/223.39	o 8349
220.20/223.45	o 8340
220.31/223.52	o 8338
220.31/223.58	o 8336
220.40/223.64	o 8334
220.50/223.71	o 8332
220.50/223.77	o 8330
220.60/223.83	o 8328
220.60/223.89	o 8326
220.70/223.96	o 8324
220.80/224.02	o 8322
220.80/224.08	o 8320
220.90/224.15	o 8318
221.00/224.21	o 8316
221.00/224.27	o 8314
221.10/224.34	o 8294
221.29/224.56	o 8293
221.39/224.63	o 8290
221.78/225.09	o 8288
221.88/225.15	o 8286
222.18/225.50	o 8285
222.28/225.56	o 8283
222.38/225.62	o 8281
222.47/225.75	o 8280
222.57/225.81	o 8278
222.57/225.87	o 8276
222.67/225.93	o 8231
223.37/226.68	o 8229
223.47/226.74	o 8227
223.57/226.80	o 8225
223.57/226.87	o 8223
223.66/226.93	o 8221
223.66/226.99	o 8219
223.76/227.05	o 8217
223.86/227.12	o 8215
223.86/227.18	o 8213
223.96/227.24	o 8211
224.06/227.36	o 8209
224.16/227.42	o 8207
224.16/227.48	o 8205
224.26/227.55	o 8203
224.36/227.61	o 8201
224.36/227.67	o 8199
224.46/227.74	o 8197
224.55/227.80	o 8195
224.55/227.86	o 8193
224.65/227.93	o 8191
224.65/227.99	o 8189
224.75/228.05	o 8187
224.85/228.12	o 8185
224.85/228.18	o 8183
224.94/228.24	o 8181
225.04/228.30	o 8179
225.04/228.36	o 8177
225.14/228.42	o 8175
225.14/228.49	o 8173
225.24/228.55	o 8171
225.34/228.61	o 8169
225.34/228.67	o 8167
225.44/228.74	o 8165
225.44/228.80	o 8163
225.54/228.86	o 8161
225.63/228.93	o 8159
225.63/228.99	o 8157
225.73/229.06	o 8155
225.82/229.12	o 8153
225.82/229.18	o 8151
225.92/229.24	o 8149
226.02/229.31	o 8147
226.02/229.37	o 8146
226.12/229.43	o 8144
226.22/229.55	o 8141
226.32/229.61	o 8139
226.32/229.67	o 8137
226.42/229.73	o 8135
226.51/229.80	o 8133
226.51/229.86	o 8131
226.61/229.93	o 8129
226.61/229.99	o 8127
227.00/230.38	o 8125
227.10/230.45	o 8123
227.20/230.51	o 8121
227.20/230.57	o 8119
227.30/230.63	o 8117
227.30/230.69	o 8115
227.50/230.86	o 8114
227.60/230.93	o 8112
227.60/230.99	o 8110
227.70/231.05	o 8108
227.80/231.11	o 8106
227.80/231.17	o 8104
227.90/231.24	o 8102
227.99/231.30	o 8100
227.99/231.36	o 8098
228.09/231.43	o 8096
228.09/231.49	o 8094
228.19/231.55	o 8092
228.29/231.61	o 8091
228.29/231.67	o 8037
229.19/232.54	o 8031
229.29/232.60	o 8026
229.48/232.83	o 8024
230.86/234.23	o 8022
230.86/234.29	o 8020
230.96/234.36	o 8018
231.06/234.42	o 8016
231.06/234.48	o 8014
231.15/234.54	o 8012
231.25/234.61	o 8010
231.25/234.67	o 8008
231.35/234.73	o 8007
231.35/234.79	o 8002
232.34/235.76	o 8001
232.44/235.82	o 8000
232.44/235.89	o 7999
232.54/235.95	o 7998
232.64/236.01	o 7997
232.64/236.07	o 7996
232.73/236.13	o 7995
232.73/236.20	o 7994
233.23/236.66	o 7993
233.33/236.73	o 7992
233.33/236.79	o 7991
233.42/236.85	o 7990
233.52/236.92	o 7989
233.52/236.98	o 7985
233.62/237.04	o 7984
233.81/237.22	o 7983
233.81/237.28	o 7982
233.91/237.34	o 7981
234.01/237.40	o 7978
234.01/237.46	o 7977
234.11/237.59	o 7975
234.90/238.33	o 7974
234.90/238.39	o 7973
235.00/238.46	o 7972
235.09/238.52	o 7971
235.09/238.58	o 7970
235.49/238.94	o 7969
235.58/239.00	o 7968
235.58/239.06	o 7967
235.69/239.13	o 7966
235.69/239.19	o 7964
238.35/241.80	o 7963
238.35/241.86	o 7962
238.45/241.93	o 7961
238.45/241.99	o 7960
238.54/242.05	o 7959
238.64/242.11	o 7956
238.64/242.18	o 7955
238.74/242.24	o 7954
238.83/242.31	o 7953
238.83/242.37	o 7952
238.93/242.43	o 7951
239.43/242.94	o 7950
239.53/243.01	o 7949
239.53/243.07	o 7948
239.62/243.13	o 7947
239.62/243.20	o 7946
239.72/243.26	o 7945
239.82/243.33	o 7943
241.30/244.80	o 7942
241.30/244.86	o 7941
241.40/244.92	o 7940
241.40/244.98	o 7939
241.50/245.04	o 7938
242.29/245.88	o 7937
242.39/245.94	o 7936
242.49/246.00	o 7935
242.49/246.06	o 7934
242.59/246.12	o 7933
242.59/246.18	o 7932
242.69/246.24	o 7931
242.79/246.31	o 7930
242.79/246.37	o 7929
242.98/246.54	o 7928
243.08/246.61	o 7923
243.08/246.67	o 7922
243.18/246.73	o 7921
243.18/246.79	o 7920
243.28/246.85	o 7919
243.38/246.91	o 7918
243.38/246.97	o 7917
243.48/247.03	o 7916
243.48/247.09	o 7915
243.58/247.15	o 7914
243.68/247.22	o 7913
244.37/247.95	o 7904
244.46/248.01	o 7888
245.75/249.35	o 7887
245.85/249.41	o 7886
245.85/249.47	o 7884
245.95/249.59	o 7883
246.05/249.65	o 7882
246.15/249.71	o 7881
246.15/249.77	o 7880
246.25/249.83	o 7879
246.25/249.89	o 7878
246.35/249.96	o 7877
246.44/250.02	o 7876
246.44/250.08	o 7875
246.54/250.14	o 7874
246.64/250.20	o 7873
246.64/250.26	o 7872
249.69/253.32	o 7871
249.69/253.38	o 7870
249.79/253.44	o 7869
249.88/253.50	o 7868
249.88/253.56	o 7866
249.98/253.62	o 7865
249.98/253.68	o 7864
250.08/253.74	o 7863
250.18/253.80	o 7862
250.18/253.86	o 7861
250.28/253.92	o 7860
250.28/253.98	o 7859
250.38/254.05	o 7858
250.48/254.11	o 7857
250.48/254.17	o 7856
250.57/254.23	o 7855
250.57/254.29	o 7854
250.67/254.36	o 7853
250.76/254.42	o 7852
250.76/254.48	o 7851
250.87/254.54	o 7850
250.96/254.60	o 7847
251.36/255.05	o 7836
251.46/255.17	o 7818
252.05/255.79	o 7788
252.83/256.51	o 7773
261.61/265.45	o 7762
262.41/266.27	o 7760
262.50/266.33	o 7758
262.50/266.39	o 7756
262.60/266.46	o 7754
262.69/266.52	o 7752
262.69/266.58	o 7751
262.80/266.64	o 7750
262.80/266.70	o 7748
262.89/266.76	o 7746
263.99/267.86	o 7744
264.09/267.92	o 7742
264.09/267.98	o 7735
264.19/268.04	o 7734
264.19/268.10	o 7732
264.29/268.16	o 7730
264.38/268.22	o 7728
264.38/268.28	o 7727
264.48/268.34	o 7725
264.48/268.40	o 7724
264.68/268.51	o 7722
264.68/268.57	o 7719
264.78/268.64	o 7717
264.78/268.70	o 7715
264.87/268.76	o 7713
264.97/268.82	o 7711
265.17/269.04	o 7709
265.37/269.26	o 7707
265.47/269.32	o 7705
265.47/269.38	o 7703
268.92/272.87	o 7702
269.01/272.93	o 7701
269.01/272.99	o 7699
269.11/273.05	o 7697
269.21/273.11	o 7695
269.21/273.17	o 7693
269.31/273.24	o 7691
269.31/273.29	o 7689
269.41/273.35	o 7688
269.50/273.42	o 7685
269.50/273.47	o 7683
269.60/273.54	o 7681
269.60/273.59	o 7680
269.80/273.77	o 7676
269.90/273.83	o 7674
269.90/273.89	o 7672
270.09/274.06	o 7667
271.17/275.19	o 7650
271.37/275.31	o 7648
271.37/275.37	o 7646
271.47/275.43	o 7644
271.47/275.49	o 7642
271.58/275.55	o 7641
271.68/275.61	o 7639
271.98/275.95	o 7636
272.08/276.07	o 7635
272.18/276.13	o 7633
272.18/276.19	o 7631
272.27/276.25	o 7629
272.37/276.32	o 7627
272.37/276.38	o 7625
272.46/276.44	o 7623
272.56/276.50	o 7621
272.56/276.56	o 7619
272.66/276.62	o 7617
272.66/276.68	o 7615
272.86/276.80	o 7614
272.86/276.86	o 7612
272.96/276.92	o 7609
272.96/276.98	o 7607
273.06/277.04	o 7604
273.16/277.11	o 7602
273.16/277.17	o 7600
273.26/277.23	o 7598
273.26/277.29	o 7596
273.35/277.36	o 7594
273.45/277.42	o 7592
273.45/277.48	o 7590
273.55/277.54	o 7589
273.65/277.61	o 7587
273.65/277.67	o 7586
273.75/277.73	o 7583
273.75/277.79	o 7582
273.94/277.96	o 7581
274.04/278.02	o 7580
274.04/278.08	o 7578
274.24/278.21	o 7577
274.24/278.27	o 7575
274.34/278.33	o 7573
274.43/278.45	o 7572
274.53/278.51	o 7569
275.02/279.07	o 7567
275.12/279.13	o 7566
275.12/279.19	o 7565
275.32/279.32	o 7564
275.42/279.49	o 7559
275.81/279.89	o 7558
276.01/280.06	o 7557
276.10/280.12	o 7555
276.10/280.18	o 7553
276.20/280.24	o 7551
276.30/280.31	o 7549
276.30/280.37	o 7547
276.40/280.43	o 7544
276.50/280.55	o 7543
276.61/280.61	o 7539
276.61/280.67	o 7537
276.71/280.74	o 7535
276.80/280.86	o 7534
276.90/280.97	o 7533
277.00/281.03	o 7531
277.00/281.09	o 7529
277.10/281.16	o 7528
277.20/281.22	o 7526
277.20/281.28	o 7525
277.40/281.45	o 7524
277.49/281.52	o 7522
277.49/281.58	o 7521
277.59/281.64	o 7519
277.69/281.70	o 7517
277.69/281.76	o 7515
277.79/281.83	o 7513
277.79/281.89	o 7511
277.88/281.95	o 7509
277.98/282.01	o 7507
277.98/282.07	o 7505
278.08/282.13	o 7503
278.08/282.20	o 7501
278.18/282.26	o 7499
278.28/282.32	o 7497
278.28/282.38	o 7495
278.38/282.44	o 7493
278.48/282.50	o 7491
278.48/282.56	o 7489
278.58/282.63	o 7487
278.58/282.69	o 7485
278.68/282.75	o 7483
278.77/282.82	o 7481
278.77/282.88	o 7480
278.87/282.94	o 7478
278.97/283.01	o 7476
278.97/283.07	o 7474
279.06/283.13	o 7472
279.06/283.19	o 7470
279.16/283.25	o 7467
279.26/283.31	o 7464
279.26/283.37	o 7461
279.36/283.44	o 7459
279.46/283.55	o 7458
279.56/283.62	o 7453
279.66/283.74	o 7452
279.66/283.80	o 7449
279.76/283.86	o 7445
279.85/283.92	o 7434
280.25/284.32	o 7433
280.25/284.38	o 7431
280.34/284.45	o 7429
280.45/284.51	o 7428
280.45/284.57	o 7426
280.54/284.63	o 7424
280.54/284.69	o 7423
280.64/284.75	o 7421
280.74/284.82	o 7420
280.74/284.88	o 7418
280.84/284.94	o 7416
280.94/285.00	o 7412
280.94/285.06	o 7411
281.04/285.13	o 7409
281.04/285.18	o 7406
281.23/285.30	o 7404
281.53/285.64	o 7403
281.63/285.70	o 7401
281.63/285.76	o 7399
281.93/286.05	o 7392
282.02/286.11	o 7389
282.02/286.17	o 7384
282.13/286.23	o 7383
282.13/286.29	o 7381
282.33/286.46	o 7380
282.42/286.53	o 7379
282.42/286.59	o 7378
282.52/286.65	o 7377
282.62/286.71	o 7375
282.62/286.77	o 7373
282.72/286.83	o 7372
282.72/286.89	o 7370
282.82/286.95	o 7357
282.92/287.02	o 7355
282.92/287.08	o 7353
283.02/287.14	o 7351
283.02/287.20	o 7349
283.11/287.26	o 7347
283.21/287.32	o 7345
283.31/287.44	o 7343
283.40/287.50	o 7341
283.40/287.56	o 7340
283.50/287.62	o 7339
283.50/287.68	o 7338
283.60/287.74	o 7336
283.70/287.80	o 7334
283.70/287.86	o 7332
283.80/287.93	o 7331
283.80/287.99	o 7329
283.90/288.05	o 7325
283.99/288.11	o 7323
283.99/288.17	o 7321
284.09/288.23	o 7319
284.09/288.30	o 7316
284.19/288.36	o 7314
284.29/288.42	o 7312
284.29/288.48	o 7310
284.48/288.60	o 7308
284.58/288.77	o 7306
284.68/288.83	o 7304
284.68/288.89	o 7302
284.79/288.95	o 7300
284.89/289.02	o 7299
284.89/289.08	o 7298
284.99/289.14	o 7296
284.99/289.20	o 7294
285.08/289.26	o 7292
285.18/289.32	o 7291
285.18/289.38	o 7284
285.28/289.45	o 7282
285.38/289.51	o 7280
285.47/289.63	o 7278
285.47/289.69	o 7276
285.57/289.75	o 7274
285.67/289.81	o 7270
285.67/289.87	o 7268
285.77/289.93	o 7267
286.27/290.44	o 7265
286.36/290.56	o 7259
286.56/290.79	o 7257
286.66/290.85	o 7255
286.76/290.91	o 7254
286.86/291.03	o 7248
286.86/291.09	o 7246
286.96/291.15	o 7244
287.06/291.21	o 7242
287.06/291.27	o 7241
287.16/291.33	o 7239
287.16/291.39	o 7237
287.26/291.46	o 7236
287.35/291.52	o 7234
287.35/291.58	o 7232
287.45/291.64	o 7230
287.55/291.71	o 7228
287.64/291.88	o 7226
287.74/291.94	o 7224
287.84/292.00	o 7222
287.84/292.06	o 7220
288.14/292.35	o 7218
288.24/292.41	o 7216
288.24/292.47	o 7214
288.34/292.54	o 7213
288.34/292.60	o 7212
288.44/292.66	o 7210
288.53/292.72	o 7208
288.53/292.78	o 7205
288.73/292.96	o 7203
288.83/293.02	o 7202
288.83/293.08	o 7201
288.93/293.14	o 7199
289.72/293.99	o 7198
289.92/294.11	o 7196
289.92/294.17	o 7194
290.02/294.23	o 7192
290.02/294.29	o 7190
290.12/294.36	o 7188
290.22/294.42	o 7186
290.22/294.48	o 7183
290.32/294.54	o 7180
290.41/294.60	o 7176
290.41/294.66	o 7174
290.51/294.73	o 7173
290.51/294.79	o 7172
290.61/294.85	o 7171
290.71/294.92	o 7169
290.71/294.98	o 7167
290.80/295.05	o 7165
290.90/295.16	o 7164
291.69/295.97	o 7163
291.79/296.03	o 7159
292.28/296.55	o 7134
292.38/296.61	o 7132
292.38/296.67	o 7130
292.48/296.79	o 7129
292.58/296.85	o 7127
292.67/296.91	o 7125
292.67/296.98	o 7124
292.77/297.04	o 7122
292.87/297.10	o 7120
292.87/297.16	o 7118
292.97/297.23	o 7116
293.06/297.35	o 7104
293.16/297.41	o 7102
293.16/297.47	o 7100
293.26/297.53	o 7098
293.26/297.59	o 7096
293.36/297.65	o 7094
293.46/297.71	o 7092
293.46/297.78	o 7090
293.86/298.18	o 7088
293.96/298.24	o 7085
294.06/298.31	o 7083
294.06/298.37	o 7082
294.15/298.43	o 7080
294.15/298.49	o 7078
294.25/298.56	o 7077
294.35/298.62	o 7075
294.35/298.68	o 7073
294.45/298.74	o 7071
294.55/298.80	o 7069
294.55/298.86	o 7067
294.65/298.93	o 7065
294.65/298.99	o 7063
294.75/299.05	o 7060
294.84/299.12	o 7058
294.84/299.18	o 7057
294.94/299.24	o 7055
295.04/299.30	o 7053
295.04/299.36	o 7051
295.14/299.43	o 7049
295.14/299.49	o 7047
295.23/299.55	o 7045
295.33/299.61	o 7043
295.82/300.18	o 7042
295.92/300.25	o 7036
296.02/300.31	o 7034
296.02/300.37	o 7032
296.12/300.44	o 7031
296.21/300.50	o 7029
296.21/300.56	o 7027
296.31/300.63	o 7025
296.31/300.69	o 7023
296.41/300.75	o 7021
296.51/300.81	o 7019
296.51/300.87	o 7017
296.81/301.10	o 7016
296.81/301.17	o 7014
296.91/301.23	o 7012
296.91/301.29	o 7010
297.11/301.41	o 7009
297.11/301.47	o 7007
297.20/301.54	o 7005
297.20/301.60	o 7003
297.30/301.66	o 7001
297.40/301.73	o 6999
297.40/301.79	o 6997
297.50/301.85	o 6995
297.60/301.91	o 6992
297.60/301.97	o 6990
297.70/302.03	o 6988
297.70/302.10	o 6986
297.79/302.16	o 6984
297.90/302.22	o 6982
297.90/302.28	o 6980
297.99/302.34	o 6978
298.09/302.41	o 6976
298.09/302.47	o 6974
298.19/302.53	o 6972
298.38/302.77	o 6970
298.48/302.83	o 6969
299.76/304.18	o 6968
299.86/304.24	o 6966
299.96/304.31	o 6964
299.96/304.36	o 6962
300.06/304.43	o 6960
300.06/304.49	o 6958
300.16/304.55	o 6956
300.26/304.61	o 6954
300.26/304.67	o 6952
300.36/304.73	o 6950
300.36/304.79	o 6941
300.65/305.09	o 6939
303.52/307.98	o 6938
303.62/308.04	o 6936
303.72/308.10	o 6934
303.72/308.16	o 6932
303.82/308.22	o 6930
303.82/308.28	o 6928
303.92/308.34	o 6927
304.02/308.40	o 6925
304.02/308.46	o 6923
304.12/308.52	o 6921
304.12/308.57	o 6919
304.32/308.74	o 6917
304.42/308.80	o 6915
304.42/308.86	o 6913
304.51/308.92	o 6911
304.51/308.98	o 6909
304.61/309.04	o 6906
304.61/309.10	o 6902
304.71/309.16	o 6900
304.81/309.22	o 6898
304.81/309.28	o 6896
304.90/309.34	o 6894
305.00/309.40	o 6893
305.00/309.46	o 6891
305.20/309.62	o 6890
305.20/309.68	o 6888
305.30/309.74	o 6886
305.40/309.80	o 6884
305.40/309.86	o 6882
305.50/309.92	o 6880
305.50/309.98	o 6878
305.60/310.04	o 6876
305.60/310.09	o 6874
305.80/310.21	o 6873
305.80/310.27	o 6871
305.89/310.33	o 6869
305.89/310.39	o 6866
305.99/310.45	o 6864
306.08/310.51	o 6862
306.08/310.57	o 6860
306.18/310.63	o 6858
306.18/310.69	o 6856
306.28/310.75	o 6854
306.38/310.81	o 6852
306.38/310.87	o 6850
306.48/310.93	o 6848
306.48/310.99	o 6847
306.58/311.05	o 6844
306.68/311.11	o 6834
306.68/311.16	o 6832
306.87/311.33	o 6831
306.87/311.39	o 6830
306.97/311.45	o 6828
307.07/311.51	o 6826
307.07/311.57	o 6824
307.16/311.63	o 6808
307.16/311.69	o 6806
307.36/311.80	o 6805
307.36/311.86	o 6802
307.47/311.92	o 6800
307.47/311.98	o 6798
307.57/312.04	o 6797
307.67/312.15	o 6796
307.77/312.21	o 6794
307.86/312.38	o 6793
307.96/312.44	o 6786
308.06/312.50	o 6784
308.06/312.56	o 6783
308.16/312.62	o 6781
308.16/312.68	o 6779
308.25/312.74	o 6777
308.25/312.80	o 6775
308.35/312.86	o 6773
308.45/312.91	o 6772
308.45/312.97	o 6770
308.54/313.03	o 6768
308.54/313.09	o 6766
308.64/313.15	o 6764
308.74/313.21	o 6762
308.74/313.27	o 6760
308.84/313.33	o 6758
308.94/313.50	o 6756
309.04/313.56	o 6754
309.14/313.62	o 6752
310.51/315.03	o 6750
310.51/315.09	o 6748
310.61/315.15	o 6746
310.71/315.21	o 6744
310.71/315.27	o 6742
310.81/315.33	o 6741
310.81/315.39	o 6739
310.91/315.45	o 6737
311.01/315.51	o 6735
311.01/315.57	o 6733
311.11/315.63	o 6731
311.11/315.69	o 6729
311.20/315.75	o 6727
311.30/315.81	o 6725
311.30/315.87	o 6723
311.40/315.93	o 6721
311.40/315.99	o 6718
311.49/316.05	o 6716
311.69/316.28	o 6714
311.79/316.34	o 6712
311.79/316.40	o 6710
311.99/316.51	o 6709
311.99/316.57	o 6707
312.09/316.68	o 6705
312.19/316.75	o 6703
312.29/316.81	o 6701
312.38/316.98	o 6695
312.48/317.04	o 6693
312.57/317.10	o 6691
312.57/317.16	o 6689
312.67/317.22	o 6687
312.67/317.28	o 6685
312.77/317.34	o 6683
312.87/317.40	o 6681
312.87/317.46	o 6679
312.97/317.52	o 6678
312.97/317.58	o 6676
313.07/317.64	o 6674
313.17/317.70	o 6672
313.17/317.76	o 6670
313.26/317.83	o 6668
313.56/318.16	o 6667
313.66/318.22	o 6665
313.66/318.28	o 6663
313.76/318.34	o 6661
313.86/318.40	o 6659
313.86/318.46	o 6657
313.96/318.52	o 6655
313.96/318.58	o 6652
314.06/318.64	o 6650
314.16/318.70	o 6648
314.16/318.76	o 6646
314.36/318.99	o 6645
314.46/319.05	o 6643
314.56/319.11	o 6641
314.56/319.17	o 6639
314.65/319.23	o 6637
314.65/319.29	o 6635
314.85/319.41	o 6634
314.85/319.47	o 6632
315.25/319.80	o 6616
315.25/319.86	o 6614
315.34/319.92	o 6612
315.34/319.98	o 6605
315.44/320.04	o 6603
315.54/320.10	o 6601
315.54/320.16	o 6599
315.64/320.22	o 6596
315.64/320.28	o 6594
315.74/320.35	o 6592
315.83/320.41	o 6590
315.83/320.47	o 6588
315.93/320.53	o 6586
315.93/320.58	o 6584
316.03/320.65	o 6582
316.13/320.71	o 6580
316.13/320.76	o 6578
316.23/320.82	o 6576
316.43/321.10	o 6575
316.53/321.16	o 6573
316.63/321.22	o 6571
316.63/321.28	o 6569
317.22/321.89	o 6567
317.62/322.28	o 6566
317.72/322.34	o 6564
317.82/322.40	o 6562
317.82/322.46	o 6560
317.92/322.52	o 6559
317.92/322.58	o 6558
318.01/322.64	o 6556
318.11/322.70	o 6554
318.11/322.76	o 6552
318.21/322.82	o 6550
318.21/322.88	o 6548
318.31/322.94	o 6546
318.41/323.00	o 6545
318.41/323.06	o 6544
318.51/323.12	o 6542
318.51/323.18	o 6540
318.61/323.24	o 6538
318.71/323.31	o 6536
318.71/323.37	o 6535
318.90/323.54	o 6533
319.00/323.66	o 6532
319.10/323.72	o 6528
319.10/323.78	o 6527
319.19/323.84	o 6525
319.19/323.90	o 6523
319.29/323.96	o 6521
319.39/324.02	o 6519
319.39/324.08	o 6517
319.49/324.14	o 6515
319.49/324.19	o 6513
319.59/324.26	o 6509
319.69/324.32	o 6507
319.69/324.37	o 6505
319.79/324.44	o 6503
319.79/324.50	o 6502
319.89/324.56	o 6501
319.98/324.62	o 6499
319.98/324.68	o 6497
320.08/324.74	o 6495
320.17/324.80	o 6493
320.17/324.86	o 6491
320.27/324.92	o 6489
327.28/332.05	o 6488
327.38/332.11	o 6486
327.38/332.17	o 6484
327.48/332.23	o 6482
327.48/332.29	o 6480
327.57/332.35	o 6478
327.67/332.42	o 6477
327.77/332.53	o 6475
327.77/332.59	o 6473
328.16/332.98	o 6447
328.95/333.70	o 6446
329.05/333.82	o 6445
329.05/333.88	o 6443
330.14/334.99	o 6442
330.34/335.11	o 6441
330.34/335.17	o 6439
330.44/335.23	o 6438
330.93/335.74	o 6437
330.93/335.80	o 6435
331.03/335.86	o 6433
331.13/335.97	o 6432
331.23/336.03	o 6431
331.23/336.09	o 6429
331.33/336.16	o 6427
331.62/336.43	o 6426
331.62/336.49	o 6424
331.72/336.56	o 6422
331.82/336.62	o 6367
332.70/337.50	o 6365
332.90/337.74	o 6364
332.90/337.79	o 6362
333.00/337.86	o 6360
333.09/337.92	o 6358
333.09/337.98	o 6357
333.19/338.04	o 6355
333.29/338.10	o 6353
333.29/338.16	o 6351
333.39/338.22	o 6339
333.39/338.28	o 6337
333.49/338.34	o 6335
334.78/339.62	o 6333
334.78/339.68	o 6332
334.88/339.74	o 6330
334.88/339.80	o 6328
335.76/340.69	o 6278
336.16/341.03	o 6276
336.16/341.09	o 6274
336.25/341.15	o 6272
336.35/341.21	o 6271
336.45/341.38	o 6269
336.55/341.50	o 6263
336.84/341.72	o 6262
336.84/341.78	o 6260
336.94/341.84	o 6258
337.04/341.90	o 6256
337.04/341.96	o 6255
337.14/342.03	o 6254
337.14/342.09	o 6252
337.24/342.15	o 6250
337.33/342.21	o 6248
337.33/342.27	o 6246
337.43/342.33	o 6244
337.43/342.39	o 6242
337.53/342.45	o 6240
337.63/342.51	o 6236
337.63/342.57	o 6234
337.72/342.63	o 6233
337.72/342.69	o 6231
337.82/342.75	o 6229
337.92/342.82	o 6228
337.92/342.87	o 6227
338.03/342.94	o 6226
338.03/342.99	o 6224
338.13/343.05	o 6222
338.23/343.12	o 6220
338.23/343.18	o 6218
338.33/343.29	o 6216
338.42/343.35	o 6214
338.52/343.42	o 6212
338.52/343.48	o 6210
338.62/343.54	o 6208
338.82/343.77	o 6207
338.92/343.88	o 6199
339.11/344.05	o 6198
339.21/344.11	o 6196
339.21/344.17	o 6195
339.31/344.24	o 6193
339.31/344.30	o 6191
339.60/344.53	o 6190
340.59/345.56	o 6189
340.68/345.62	o 6187
340.68/345.68	o 6185
340.88/345.85	o 6184
340.98/345.91	o 6182
341.17/346.13	o 6180
341.17/346.19	o 6178
341.27/346.25	o 6176
341.37/346.31	o 6174
341.37/346.37	o 6172
341.47/346.43	o 6170
341.47/346.49	o 6164
341.57/346.55	o 6162
341.67/346.61	o 6160
341.67/346.67	o 6159
341.76/346.74	o 6157
341.76/346.80	o 6155
341.86/346.86	o 6154
341.96/346.92	o 6152
341.96/346.97	o 6151
342.06/347.03	o 6149
342.06/347.09	o 6148
342.16/347.15	o 6147
342.26/347.21	o 6145
342.36/347.38	o 6143
342.46/347.44	o 6141
342.66/347.62	o 6139
342.66/347.68	o 6137
342.86/347.85	o 6135
342.96/347.91	o 6133
342.96/347.97	o 6131
343.06/348.03	o 6129
343.84/348.80	o 6127
343.84/348.86	o 6125
343.94/348.92	o 6123
344.04/349.09	o 6121
344.13/349.15	o 6119
344.33/349.32	o 6118
344.43/349.44	o 6116
344.43/349.50	o 6115
344.53/349.56	o 6114
345.52/350.50	o 6113
345.52/350.56	o 6111
345.62/350.62	o 6110
346.41/351.40	o 6108
346.41/351.46	o 6107
346.50/351.52	o 6105
346.60/351.68	o 6103
346.70/351.74	o 6101
355.09/360.26	o 6100
355.18/360.32	o 6098
355.18/360.38	o 6096
355.28/360.45	o 6095
355.38/360.51	o 6093
355.38/360.57	o 6091
355.48/360.63	o 6089
355.48/360.69	o 6085
355.58/360.76	o 6083
355.68/360.82	o 6081
355.68/360.88	o 6080
355.87/361.06	o 6079
355.97/361.17	o 6077
356.37/361.52	o 6075
356.37/361.58	o 6073
356.47/361.64	o 6071
356.57/361.70	o 6070
356.57/361.76	o 6068
356.67/361.83	o 6066
356.96/362.17	o 6065
357.16/362.35	o 6063
357.25/362.41	o 6061
357.45/362.64	o 6060
357.55/362.70	o 6058
364.37/369.62	o 6056
364.37/369.68	o 6054
364.66/369.97	o 6052
364.76/370.03	o 6051
364.76/370.09	o 6049
364.86/370.15	o 6047
364.96/370.21	o 6045
365.06/370.32	o 6043
365.06/370.38	o 6041
365.74/371.00	o 6039
365.74/371.06	o 6037
365.94/371.23	o 6035
365.94/371.29	o 6033
366.04/371.35	o 6022
367.12/372.47	o 6018
367.22/372.53	o 6016
367.22/372.59	o 6015
367.32/372.65	o 6014
367.42/372.76	o 6012
367.62/372.94	o 6010
367.62/373.00	o 6008
367.81/373.12	o 6006
367.81/373.18	o 6004
367.90/373.24	o 6003
368.00/373.30	o 6001
368.00/373.36	o 6000
368.10/373.42	o 5998
368.10/373.48	o 5996
368.20/373.54	o 5994
368.61/373.94	o 5992
368.61/374.00	o 5990
368.70/374.06	o 5987
368.90/374.29	o 5985
368.99/374.35	o 5984
369.09/374.41	o 5982
369.09/374.47	o 5981
369.29/374.64	o 5979
369.49/374.82	o 5978
369.49/374.88	o 5962
369.59/374.94	o 5961
369.68/375.01	o 5960
369.68/375.07	o 5959
369.78/375.13	o 5957
369.88/375.24	o 5956
369.98/375.31	o 5954
369.98/375.37	o 5952
370.37/375.71	o 5950
370.47/375.88	o 5948
370.67/376.00	o 5946
370.87/376.23	o 5944
370.87/376.29	o 5943
370.96/376.36	o 5939
371.06/376.42	o 5937
371.06/376.48	o 5935
371.85/377.26	o 5926
373.03/378.43	o 5924
373.03/378.49	o 5922
373.12/378.55	o 5920
373.22/378.62	o 5918
373.22/378.68	o 5916
373.32/378.74	o 5914
373.42/378.80	o 5912
373.42/378.86	o 5911
373.61/379.04	o 5909
373.91/379.32	o 5908
374.01/379.49	o 5907
374.11/379.56	o 5905
374.21/379.62	o 5903
374.21/379.68	o 5902
374.40/379.86	o 5901
374.50/379.92	o 5846
376.29/381.77	o 5844
376.39/381.83	o 5842
376.39/381.89	o 5840
376.49/381.95	o 5839
376.58/382.02	o 5835
376.58/382.08	o 5833
376.88/382.36	o 5831
376.98/382.42	o 5829
376.98/382.48	o 5827
377.08/382.55	o 5825
377.17/382.61	o 5824
377.17/382.67	o 5822
382.90/388.41	o 5796
383.49/389.02	o 5795
383.49/389.08	o 5794
383.59/389.15	o 5793
383.69/389.22	o 5792
383.69/389.28	o 5791
383.89/389.41	o 5790
383.89/389.47	o 5789
383.98/389.54	o 5788
384.08/389.61	o 5787
384.08/389.68	o 5786
384.18/389.74	o 5785
384.27/389.81	o 5784
384.57/390.12	o 5783
384.57/390.18	o 5782
384.67/390.25	o 5781
385.17/390.76	o 5777
385.26/390.82	o 5775
385.26/390.88	o 5774
385.46/391.06	o 5764
385.66/391.23	o 5763
386.06/391.66	o 5762
386.15/391.72	o 5761
386.15/391.79	o 5760
386.25/391.86	o 5758
386.35/391.92	o 5757
386.35/391.99	o 5756
386.45/392.06	o 5755
386.55/392.12	o 5754
386.55/392.19	o 5753
386.64/392.26	o 5752
386.74/392.32	o 5751
386.74/392.39	o 5750
386.84/392.46	o 5749
386.94/392.58	o 5748
387.04/392.65	o 5737
391.78/397.42	o 5736
391.78/397.49	o 5735
391.88/397.55	o 5734
391.97/397.62	o 5733
391.97/397.69	o 5732
392.07/397.75	o 5731
392.17/397.82	o 5730
392.17/397.89	o 5729
392.27/397.95	o 5728
392.37/398.02	o 5727
392.37/398.09	o 5726
392.47/398.16	o 5725
392.57/398.23	o 5724
392.57/398.29	o 5723
392.86/398.60	o 5709
392.96/398.66	o 5708
393.65/399.32	o 5707
393.65/399.39	o 5706
393.75/399.45	o 5705
394.04/399.75	o 5703
394.53/400.28	o 5702
394.63/400.36	o 5701
394.73/400.42	o 5699
394.73/400.48	o 5698
394.83/400.55	o 5697
394.93/400.62	o 5695
394.93/400.68	o 5693
395.02/400.75	o 5692
395.12/400.82	o 5691
395.12/400.88	o 5690
395.22/400.95	o 5689
395.32/401.02	o 5688
395.32/401.09	o 5687
395.42/401.15	o 5686
395.52/401.22	o 5685
395.52/401.29	o 5684
395.62/401.35	o 5683
395.72/401.42	o 5681
395.72/401.49	o 5680
395.82/401.55	o 5679
395.91/401.62	o 5678
395.91/401.69	o 5677
396.01/401.76	o 5676
396.21/401.95	o 5675
396.30/402.01	o 5674
396.30/402.08	o 5673
396.40/402.15	o 5672
396.50/402.21	o 5671
396.50/402.28	o 5670
396.60/402.35	o 5669
396.70/402.41	o 5668
396.70/402.48	o 5667
396.80/402.55	o 5666
396.90/402.62	o 5665
396.90/402.68	o 5664
396.99/402.75	o 5663
397.09/402.82	o 5662
397.09/402.89	o 5661
397.19/402.96	o 5660
397.29/403.02	o 5659
397.29/403.09	o 5658
397.39/403.16	o 5657
397.49/403.22	o 5656
397.49/403.29	o 5655
397.58/403.35	o 5654
397.68/403.42	o 5653
397.68/403.49	o 5652
397.78/403.55	o 5651
397.88/403.63	o 5650
397.88/403.69	o 5649
397.98/403.76	o 5648
398.08/403.83	o 5647
398.08/403.89	o 5646
398.17/403.96	o 5645
398.27/404.03	o 5644
398.27/404.10	o 5643
398.37/404.16	o 5642
398.47/404.23	o 5641
398.47/404.30	o 5640
398.67/404.47	o 5588
398.77/404.54	o 5587
399.66/405.45	o 5586
399.76/405.51	o 5585
399.76/405.58	o 5584
399.86/405.64	o 5583
399.96/405.71	o 5582
399.96/405.77	o 5581
400.06/405.84	o 5580
400.16/405.91	o 5579
400.16/405.97	o 5577
400.25/406.04	o 5576
400.35/406.11	o 5575
400.35/406.18	o 5574
400.44/406.24	o 5573
400.54/406.31	o 5572
400.54/406.37	o 5571
401.83/407.69	o 5570
401.93/407.75	o 5569
402.03/407.82	o 5568
402.03/407.88	o 5566
402.13/407.94	o 5564
402.23/408.01	o 5563
402.42/408.26	o 5562
402.52/408.33	o 5561
402.52/408.39	o 5560
402.61/408.46	o 5559
402.71/408.53	o 5558
402.71/408.59	o 5557
402.81/408.66	o 5556
402.91/408.71	o 5554
402.91/408.78	o 5552
403.01/408.84	o 5551
403.11/408.91	o 5550
403.11/408.97	o 5549
403.21/409.04	o 5548
403.31/409.11	o 5547
403.31/409.18	o 5546
403.41/409.24	o 5545
403.50/409.31	o 5543
403.50/409.37	o 5542
403.60/409.44	o 5541
403.70/409.51	o 5540
403.70/409.57	o 5538
404.20/410.05	o 5537
404.30/410.12	o 5536
404.30/410.18	o 5535
404.40/410.25	o 5534
404.50/410.32	o 5533
404.50/410.38	o 5532
404.59/410.45	o 5531
404.69/410.52	o 5530
404.69/410.59	o 5529
404.79/410.65	o 5528
404.89/410.72	o 5527
404.89/410.78	o 5526
404.99/410.85	o 5525
405.09/410.92	o 5524
405.09/410.98	o 5523
405.19/411.05	o 5521
405.29/411.11	o 5520
405.29/411.18	o 5519
405.38/411.24	o 5518
405.48/411.31	o 5517
405.59/411.44	o 5516
405.68/411.51	o 5515
405.68/411.57	o 5514
405.97/411.81	o 5511
405.97/411.87	o 5510
406.07/411.94	o 5509
406.17/412.01	o 5508
406.17/412.07	o 5506
406.27/412.14	o 5505
406.38/412.20	o 5504
407.16/413.05	o 5503
407.26/413.11	o 5502
407.26/413.18	o 5501
407.36/413.24	o 5500
407.46/413.31	o 5499
407.46/413.38	o 5498
407.56/413.44	o 5497
407.66/413.51	o 5496
407.66/413.58	o 5495
408.34/414.25	o 5494
408.44/414.31	o 5493
409.03/414.93	o 5492
409.13/415.00	o 5491
409.92/415.83	o 5473
410.31/416.23	o 5472
414.74/420.77	o 5471
414.84/420.84	o 5470
414.94/420.91	o 5469
414.94/420.97	o 5468
415.04/421.04	o 5467
415.14/421.10	o 5464
415.14/421.17	o 5463
415.24/421.24	o 5462
415.34/421.31	o 5461
415.34/421.37	o 5460
415.44/421.44	o 5459
415.53/421.51	o 5458
415.53/421.57	o 5457
415.63/421.64	o 5456
415.83/421.82	o 5454
415.83/421.88	o 5450
415.93/421.95	o 5448
416.62/422.68	o 5447
416.71/422.75	o 5446
416.82/422.82	o 5445
416.82/422.88	o 5444
416.92/422.95	o 5442
417.02/423.01	o 5441
417.02/423.07	o 5437
417.12/423.14	o 5436
417.22/423.20	o 5435
417.22/423.27	o 5434
417.32/423.33	o 5433
417.42/423.41	o 5432
417.42/423.47	o 5431
417.51/423.54	o 5430
417.61/423.60	o 5429
417.61/423.67	o 5428
417.71/423.74	o 5427
417.80/423.80	o 5426
417.80/423.87	o 5425
417.90/423.93	o 5424
418.00/424.00	o 5423
418.00/424.07	o 5422
418.10/424.13	o 5421
418.20/424.20	o 5420
418.20/424.26	o 5418
418.30/424.33	o 5417
418.30/424.39	o 5415
418.40/424.45	o 5413
418.50/424.52	o 5399
418.50/424.59	o 5398
418.60/424.65	o 5397
418.69/424.72	o 5396
418.69/424.78	o 5395
418.79/424.85	o 5394
418.89/424.92	o 5393
418.89/424.98	o 5392
418.99/425.05	o 5391
419.09/425.11	o 5390
419.09/425.18	o 5389
419.19/425.24	o 5388
419.29/425.31	o 5387
419.29/425.37	o 5386
419.39/425.44	o 5385
419.48/425.50	o 5384
419.48/425.57	o 5383
419.58/425.64	o 5382
419.68/425.71	o 5381
419.68/425.77	o 5380
419.78/425.84	o 5379
419.88/425.91	o 5378
419.88/425.97	o 5377
419.97/426.04	o 5376
420.07/426.10	o 5374
420.17/426.22	o 5370
422.84/428.99	o 5368
422.94/429.05	o 5367
423.04/429.12	o 5366
423.04/429.18	o 5365
423.14/429.25	o 5363
423.23/429.32	o 5362
423.23/429.38	o 5360
423.33/429.44	o 5358
423.43/429.51	o 5357
423.43/429.58	o 5356
423.53/429.64	o 5355
423.63/429.71	o 5354
423.63/429.77	o 5353
423.73/429.84	o 5352
423.83/429.91	o 5351
423.83/429.97	o 5350
423.93/430.04	o 5349
424.03/430.10	o 5346
424.03/430.17	o 5345
424.12/430.24	o 5344
424.32/430.48	o 5343
424.42/430.55	o 5342
424.52/430.61	o 5341
424.52/430.68	o 5336
424.62/430.74	o 5334
424.72/430.80	o 5332
424.72/430.87	o 5331
424.81/430.93	o 5330
424.91/431.00	o 5329
424.91/431.06	o 5328
425.11/431.25	o 5323
425.21/431.31	o 5320
425.30/431.49	o 5319
425.40/431.56	o 5318
425.50/431.62	o 5317
425.50/431.69	o 5316
425.60/431.76	o 5315
425.70/431.82	o 5313
425.70/431.88	o 5312
425.80/431.95	o 5311
425.90/432.01	o 5310
425.90/432.08	o 5309
425.99/432.15	o 5308
426.09/432.22	o 5307
426.09/432.28	o 5306
426.19/432.35	o 5305
426.29/432.41	o 5304
426.29/432.48	o 5303
426.39/432.55	o 5302
426.48/432.62	o 5295
426.48/432.68	o 5294
426.58/432.75	o 5293
426.68/432.81	o 5292
426.88/433.00	o 5291
427.47/433.63	o 5290
428.06/434.21	o 5289
428.06/434.27	o 5274
428.16/434.34	o 5270
428.55/434.75	o 5266
428.65/434.81	o 5264
428.65/434.88	o 5262
428.75/434.94	o 5260
428.85/435.01	o 5258
430.82/437.06	o 5246
431.61/437.86	o 5245
433.68/439.90	o 5244
433.98/440.22	o 5243
434.07/440.35	o 5241
434.27/440.54	o 5239
436.74/443.08	o 5223
437.24/443.52	o 5221
437.53/443.82	o 5219
467.54/474.29	   
467.54/474.29	   search
467.54/474.29	     run=0  nbConstraintChecks=310669051  nbAssignments=8284
467.54/474.29	       =>  wckTime=460.277  cpuTime=453.79  mem=403M685
467.54/474.29	   
467.54/474.29	   global
467.54/474.29	     nbConstraintChecks=310669051  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
467.54/474.29	     solvingWckTime=460.26  solvingCpuTime=453.78  expiredTime=no  totalExploration=no  nbFoundSolutions=0
467.54/474.29	     globalCpuTime=464.43
467.54/474.29	       =>  wckTime=473.979  cpuTime=464.38  mem=403M685
467.63/474.31	   
467.63/474.31	   solver DecomposerSolver being built... 
475.31/482.15	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-1110016-1215815474/watcher-1110016-1215815474 -o /tmp/evaluation-result-1110016-1215815474/solver-1110016-1215815474 -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-ddeg.xml 1 XSax HOME/instance-1110016-1215815474.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.00 2.01 1.97 4/81 15951
/proc/meminfo: memFree=1879628/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=10616 CPUtime=0
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 38249954 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 2654 472 209 9 0 1184 0
[pid=15951/tid=15952] ppid=15949 vsize=10616 CPUtime=0
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 38249956 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 5525464 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0463319 s]
/proc/loadavg: 2.00 2.01 1.97 4/81 15951
/proc/meminfo: memFree=1879628/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=861552 CPUtime=0.01
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 1867 0 1 0 0 1 0 0 18 0 4 0 38249954 882229248 1554 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 215388 1554 691 9 0 210367 0
[pid=15951/tid=15952] ppid=15949 vsize=861552 CPUtime=0
/proc/15951/task/15952/stat : 15952 (java) S 15949 15951 15097 0 -1 64 1187 0 1 0 0 0 0 0 18 0 4 0 38249956 882229248 1554 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861552

[startup+0.102241 s]
/proc/loadavg: 2.00 2.01 1.97 4/81 15951
/proc/meminfo: memFree=1879628/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=865856 CPUtime=0.07
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 3547 0 1 0 5 2 0 0 18 0 9 0 38249954 886636544 3037 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216464 3037 1633 9 0 211026 0
[pid=15951/tid=15952] ppid=15949 vsize=865856 CPUtime=0.05
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 2645 0 1 0 4 1 0 0 18 0 9 0 38249956 886636544 3037 996147200 134512640 134550740 4294955952 18446744073709551615 5111369 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856

[startup+0.301602 s]
/proc/loadavg: 2.00 2.01 1.97 4/81 15951
/proc/meminfo: memFree=1879628/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=866268 CPUtime=0.24
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 5269 0 2 0 20 4 0 0 18 0 9 0 38249954 887058432 4698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216567 4698 1864 9 0 211115 0
[pid=15951/tid=15952] ppid=15949 vsize=866268 CPUtime=0.19
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 4308 0 2 0 16 3 0 0 18 0 9 0 38249956 887058432 4698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 866268

[startup+0.701629 s]
/proc/loadavg: 2.00 2.01 1.97 4/81 15951
/proc/meminfo: memFree=1879628/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=867396 CPUtime=0.61
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 10088 0 6 0 55 6 0 0 18 0 9 0 38249954 888213504 9464 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216849 9464 1973 9 0 211377 0
[pid=15951/tid=15952] ppid=15949 vsize=867396 CPUtime=0.44
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 8806 0 6 0 39 5 0 0 19 0 9 0 38249956 888213504 9464 996147200 134512640 134550740 4294955952 18446744073709551615 4126640217 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 867396

[startup+1.50169 s]
/proc/loadavg: 2.00 2.01 1.97 4/90 15960
/proc/meminfo: memFree=1814084/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=867484 CPUtime=1.4
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 18780 0 6 0 129 11 0 0 18 0 9 0 38249954 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216871 18144 2025 9 0 211377 0
[pid=15951/tid=15952] ppid=15949 vsize=867484 CPUtime=1.13
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 15768 0 6 0 104 9 0 0 25 0 9 0 38249956 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4126846171 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=867484 CPUtime=0.06
/proc/15951/task/15954/stat : 15954 (java) S 15949 15951 15097 0 -1 64 1713 0 0 0 6 0 0 0 16 0 9 0 38249959 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38249959 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=867484 CPUtime=0.18
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 603 0 0 0 18 0 0 0 16 0 9 0 38249961 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888303616 18144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 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.4
Current children cumulated vsize (KiB) 867484

[startup+3.10279 s]
/proc/loadavg: 2.00 2.01 1.97 3/90 15960
/proc/meminfo: memFree=1799364/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=867396 CPUtime=2.99
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 24561 0 6 0 285 14 0 0 18 0 9 0 38249954 888213504 23901 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216849 23901 2004 9 0 211377 0
[pid=15951/tid=15952] ppid=15949 vsize=867396 CPUtime=2.4
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 15770 0 6 0 230 10 0 0 25 0 9 0 38249956 888213504 23901 996147200 134512640 134550740 4294955952 18446744073709551615 4126852840 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=867396 CPUtime=0.36
/proc/15951/task/15954/stat : 15954 (java) S 15949 15951 15097 0 -1 64 7491 0 0 0 34 2 0 0 17 0 9 0 38249959 888213504 23901 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888213504 23901 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38249959 888213504 23901 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888213504 23901 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=867396 CPUtime=0.18
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 604 0 0 0 18 0 0 0 16 0 9 0 38249961 888213504 23901 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888213504 23901 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888213504 23901 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 867396

[startup+6.30301 s]
/proc/loadavg: 2.00 2.01 1.97 3/90 15960
/proc/meminfo: memFree=1773444/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=867396 CPUtime=6.14
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 29069 0 6 0 521 93 0 0 18 0 9 0 38249954 888213504 28402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216849 28402 2006 9 0 211377 0
[pid=15951/tid=15952] ppid=15949 vsize=867396 CPUtime=5.18
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 15806 0 6 0 430 88 0 0 25 0 9 0 38249956 888213504 28402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=867396 CPUtime=0.7
/proc/15951/task/15954/stat : 15954 (java) R 15949 15951 15097 0 -1 64 11922 0 0 0 67 3 0 0 16 0 9 0 38249959 888213504 28402 996147200 134512640 134550740 4294955952 18446744073709551615 102350230 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888213504 28402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38249959 888213504 28402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888213504 28402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=867396 CPUtime=0.23
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 645 0 0 0 23 0 0 0 16 0 9 0 38249961 888213504 28402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888213504 28402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888213504 28402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 867396

[startup+12.7024 s]
/proc/loadavg: 2.08 2.03 1.97 4/90 15960
/proc/meminfo: memFree=1599428/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=867396 CPUtime=12.46
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 98787 0 6 0 942 304 0 0 18 0 9 0 38249954 888213504 98111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216849 98111 2006 9 0 211377 0
[pid=15951/tid=15952] ppid=15949 vsize=867396 CPUtime=10.33
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 15817 0 6 0 764 269 0 0 25 0 9 0 38249956 888213504 98111 996147200 134512640 134550740 4294955952 18446744073709551615 4126527759 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=867396 CPUtime=1.86
/proc/15951/task/15954/stat : 15954 (java) S 15949 15951 15097 0 -1 64 81620 0 0 0 153 33 0 0 16 0 9 0 38249959 888213504 98111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888213504 98111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38249959 888213504 98111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888213504 98111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=867396 CPUtime=0.25
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 654 0 0 0 25 0 0 0 16 0 9 0 38249961 888213504 98111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888213504 98111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=867396 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888213504 98111 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 867396

[startup+25.5066 s]
/proc/loadavg: 2.07 2.03 1.97 4/90 15960
/proc/meminfo: memFree=1418500/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=867484 CPUtime=25.09
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 119340 0 6 0 2193 316 0 0 18 0 9 0 38249954 888303616 117307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216871 117307 2639 9 0 211377 0
[pid=15951/tid=15952] ppid=15949 vsize=867484 CPUtime=22.09
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 15863 0 6 0 1936 273 0 0 25 0 9 0 38249956 888303616 117307 996147200 134512640 134550740 4294955952 18446744073709551615 4127200055 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=867484 CPUtime=2.66
/proc/15951/task/15954/stat : 15954 (java) S 15949 15951 15097 0 -1 64 102094 0 0 0 225 41 0 0 16 0 9 0 38249959 888303616 117307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888303616 117307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38249959 888303616 117307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888303616 117307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=867484 CPUtime=0.31
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 687 0 0 0 31 0 0 0 16 0 9 0 38249961 888303616 117307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888303616 117307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888303616 117307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 867484

[startup+51.102 s]
/proc/loadavg: 2.04 2.03 1.97 4/90 15960
/proc/meminfo: memFree=1418564/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=867484 CPUtime=50.32
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 119341 0 6 0 4710 322 0 0 18 0 9 0 38249954 888303616 117308 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216871 117308 2639 9 0 211377 0
[pid=15951/tid=15952] ppid=15949 vsize=867484 CPUtime=47.32
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 15863 0 6 0 4453 279 0 0 25 0 9 0 38249956 888303616 117308 996147200 134512640 134550740 4294955952 18446744073709551615 4127186460 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=867484 CPUtime=2.66

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

/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=867484 CPUtime=0.33
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 700 0 0 0 33 0 0 0 16 0 9 0 38249961 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 455.78
Current children cumulated vsize (KiB) 867484

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

[startup+473.502 s]
/proc/loadavg: 2.00 2.00 1.97 4/90 15960
/proc/meminfo: memFree=1417604/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=867484 CPUtime=466.85
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 119355 0 6 0 46286 399 0 0 18 0 9 0 38249954 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 216871 117320 2639 9 0 211377 0
[pid=15951/tid=15952] ppid=15949 vsize=867484 CPUtime=463.81
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 15865 0 6 0 46026 355 0 0 25 0 9 0 38249956 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4127186548 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=867484 CPUtime=2.66
/proc/15951/task/15954/stat : 15954 (java) S 15949 15951 15097 0 -1 64 102094 0 0 0 225 41 0 0 16 0 9 0 38249959 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38249959 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=867484 CPUtime=0.33
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 700 0 0 0 33 0 0 0 16 0 9 0 38249961 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=867484 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888303616 117320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 466.85
Current children cumulated vsize (KiB) 867484

[startup+476.703 s]
/proc/loadavg: 2.00 2.00 1.97 5/90 15960
/proc/meminfo: memFree=1297668/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=868000 CPUtime=469.99
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 196229 0 6 0 46566 433 0 0 18 0 9 0 38249954 888832000 194052 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 217000 194052 2617 9 0 211528 0
[pid=15951/tid=15952] ppid=15949 vsize=868000 CPUtime=465.99
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 15952 0 6 0 46243 356 0 0 25 0 9 0 38249956 888832000 194052 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=868000 CPUtime=3.56
/proc/15951/task/15954/stat : 15954 (java) R 15949 15951 15097 0 -1 64 178812 0 0 0 282 74 0 0 16 0 9 0 38249959 888832000 194052 996147200 134512640 134550740 4294955952 18446744073709551615 102721793 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888832000 194052 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 38249959 888832000 194052 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888832000 194052 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=868000 CPUtime=0.41
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 751 0 0 0 40 1 0 0 15 0 9 0 38249961 888832000 194052 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888832000 194052 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888832000 194052 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 469.99
Current children cumulated vsize (KiB) 868000

[startup+479.902 s]
/proc/loadavg: 2.00 2.00 1.97 5/90 15960
/proc/meminfo: memFree=1087620/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=868000 CPUtime=473.14
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 202327 0 6 0 46878 436 0 0 18 0 9 0 38249954 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 217000 199580 2617 9 0 211528 0
[pid=15951/tid=15952] ppid=15949 vsize=868000 CPUtime=466.02
/proc/15951/task/15952/stat : 15952 (java) R 15949 15951 15097 0 -1 64 15955 0 6 0 46246 356 0 0 24 0 9 0 38249956 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=868000 CPUtime=6.67
/proc/15951/task/15954/stat : 15954 (java) R 15949 15951 15097 0 -1 64 184907 0 0 0 590 77 0 0 18 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 103834242 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=868000 CPUtime=0.41
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 751 0 0 0 40 1 0 0 15 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 473.14
Current children cumulated vsize (KiB) 868000

[startup+481.503 s]
/proc/loadavg: 2.00 2.00 1.97 3/90 15960
/proc/meminfo: memFree=1087620/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=868000 CPUtime=474.72
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 202706 0 6 0 47036 436 0 0 18 0 9 0 38249954 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 217000 199580 2617 9 0 211528 0
[pid=15951/tid=15952] ppid=15949 vsize=868000 CPUtime=466.02
/proc/15951/task/15952/stat : 15952 (java) S 15949 15951 15097 0 -1 64 15956 0 6 0 46246 356 0 0 24 0 9 0 38249956 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=868000 CPUtime=8.25
/proc/15951/task/15954/stat : 15954 (java) R 15949 15951 15097 0 -1 64 185285 0 0 0 748 77 0 0 21 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=868000 CPUtime=0.41
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 751 0 0 0 40 1 0 0 15 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 474.72
Current children cumulated vsize (KiB) 868000

[startup+481.904 s]
/proc/loadavg: 2.00 2.00 1.97 3/90 15960
/proc/meminfo: memFree=1087620/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=868000 CPUtime=475.11
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 202895 0 6 0 47075 436 0 0 18 0 9 0 38249954 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 217000 199580 2617 9 0 211528 0
[pid=15951/tid=15952] ppid=15949 vsize=868000 CPUtime=466.02
/proc/15951/task/15952/stat : 15952 (java) S 15949 15951 15097 0 -1 64 15956 0 6 0 46246 356 0 0 16 0 9 0 38249956 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=868000 CPUtime=8.64
/proc/15951/task/15954/stat : 15954 (java) R 15949 15951 15097 0 -1 64 185474 0 0 0 787 77 0 0 22 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 104180097 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=868000 CPUtime=0.41
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 751 0 0 0 40 1 0 0 15 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 475.11
Current children cumulated vsize (KiB) 868000

[startup+482.103 s]
/proc/loadavg: 2.00 2.00 1.97 3/90 15960
/proc/meminfo: memFree=1087620/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=868000 CPUtime=475.31
/proc/15951/stat : 15951 (java) S 15949 15951 15097 0 -1 0 202895 0 6 0 47095 436 0 0 18 0 9 0 38249954 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 217000 199580 2617 9 0 211528 0
[pid=15951/tid=15952] ppid=15949 vsize=868000 CPUtime=466.02
/proc/15951/task/15952/stat : 15952 (java) S 15949 15951 15097 0 -1 64 15956 0 6 0 46246 356 0 0 16 0 9 0 38249956 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15954] ppid=15949 vsize=868000 CPUtime=8.84
/proc/15951/task/15954/stat : 15954 (java) R 15949 15951 15097 0 -1 64 185474 0 0 0 807 77 0 0 23 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15955] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15955/stat : 15955 (java) S 15949 15951 15097 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15956] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15956/stat : 15956 (java) S 15949 15951 15097 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38249959 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15957] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15957/stat : 15957 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15958] ppid=15949 vsize=868000 CPUtime=0.41
/proc/15951/task/15958/stat : 15958 (java) S 15949 15951 15097 0 -1 64 751 0 0 0 40 1 0 0 15 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15959] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15959/stat : 15959 (java) S 15949 15951 15097 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15951/tid=15960] ppid=15949 vsize=868000 CPUtime=0
/proc/15951/task/15960/stat : 15960 (java) S 15949 15951 15097 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38249961 888832000 199580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 475.31
Current children cumulated vsize (KiB) 868000

[startup+482.203 s]
/proc/loadavg: 2.00 2.00 1.97 3/90 15960
/proc/meminfo: memFree=1087620/2055920 swapFree=4192812/4192956
[pid=15951] ppid=15949 vsize=0 CPUtime=475.4
/proc/15951/stat : 15951 (java) Z 15949 15951 15097 0 -1 12 202903 0 6 0 47100 440 0 0 16 0 2 0 38249954 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15951/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 475.4
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 482.286
CPU time (s): 475.484
CPU user time (s): 471.001
CPU system time (s): 4.48232
CPU usage (%): 98.5895
Max. virtual memory (cumulated for all children) (KiB): 870468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 471.001
system time used= 4.48232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202903
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11944
involuntary context switches= 26454

runsolver used 0.739887 second user time and 2.17167 second system time

The end

Launcher Data (download as text)

Begin job on node22 at 2008-07-12 00:31:14
IDJOB=1110016
IDBENCH=61051
IDSOLVER=360
FILE ID=node22/1110016-1215815474
PBS_JOBID= 7903222
Free space on /tmp= 66452 MiB

SOLVER NAME= AbsconMax 112 pc-d
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-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110016-1215815474/watcher-1110016-1215815474 -o /tmp/evaluation-result-1110016-1215815474/solver-1110016-1215815474 -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-ddeg.xml 1 XSax HOME/instance-1110016-1215815474.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9d4795f9e32ba7017720fe7b897ab8b7
RANDOM SEED=166496516

node22.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.253
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	: 5914.62
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.253
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:       1880172 kB
Buffers:         11424 kB
Cached:          69020 kB
SwapCached:          0 kB
Active:          95760 kB
Inactive:        36544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1880172 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12408 kB
Writeback:           0 kB
Mapped:          72048 kB
Slab:            28792 kB
Committed_AS:   195744 kB
PageTables:       1856 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66452 MiB
End job on node22 at 2008-07-12 00:39:17