Trace number 1112917

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 2174.8 2189.51

General information on the benchmark

Namecsp/fapp/fapp24/
normalized-fapp24-2000-1.xml
MD5SUMe83daf1b7df41c00976ce9b348425bef
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints23
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints26753
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26753
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.03/0.09	
0.03/0.09	Abscon 112 (May, 2008)
0.17/0.24	
0.17/0.24	   configuration
0.17/0.24	     name=mrdac-wdeg.xml
0.27/0.32	   
0.27/0.32	   instance
0.27/0.32	     name=HOME/instance-1112917-1215875498.xml
0.27/0.36	   
0.27/0.36	   domains being loaded...
0.27/0.40	   
0.27/0.40	   variables being loaded...
0.67/0.75	     nbVariables=2000  nbDomainTypes=13  minDomainSize=38  maxDomainSize=302  nbTotalValues=567396
0.67/0.75	       =>  wckTime=0.513  cpuTime=0.36  mem=26M382
0.67/0.76	   
0.67/0.76	   predicates being loaded...
0.78/0.83	   
0.78/0.83	   constraints being loaded...
10.68/10.81	   
10.68/10.81	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 65M875)
12.96/13.15	     nbConstraints=26753  nbConvertedConstraints=898  nbConvertConstraintsChecks=29179792  nbExtensionStructures=402
12.96/13.15	     nbSharedExtensionStructures=512  nbConflictsStructures=572  nbSharedConflictsStructures=594
12.96/13.15	     nbUnbuiltConflictsStructures=2611  nbSharedBinaryRepresentations=197151  nbEvaluationManagers=2781
12.96/13.15	     nbSharedEvaluationManagers=23074  minDegree=5  maxDegree=42  minArity=2  maxArity=2
12.96/13.15	       =>  wckTime=12.907  cpuTime=11.92  mem=85M481
13.35/13.56	   
13.35/13.56	   solver LocalSearchSolver being built... 
13.45/13.61	       =>  wckTime=13.364  cpuTime=11.96  mem=58M521
13.65/13.87	
13.65/13.87	s SATISFIABLE
13.65/13.87	o 7369
13.84/14.01	o 7361
13.84/14.09	o 7354
13.94/14.15	o 7348
14.04/14.20	o 7343
14.04/14.26	o 7335
14.04/14.28	o 7328
14.14/14.31	o 7321
14.14/14.34	o 7314
14.14/14.37	o 7307
14.14/14.39	o 7301
14.24/14.42	o 7295
14.24/14.44	o 7289
14.24/14.47	o 7285
14.24/14.49	o 7281
14.34/14.51	o 7278
14.34/14.54	o 7275
14.34/14.57	o 7272
14.44/14.60	o 7270
14.44/14.64	o 7268
14.44/14.67	o 7267
14.44/14.69	o 7266
14.54/14.74	o 7265
14.64/14.81	o 7255
14.64/14.85	o 7245
14.74/14.90	o 7237
14.74/14.95	o 7230
14.84/15.02	o 7224
14.84/15.07	o 7218
14.94/15.14	o 7213
14.94/15.19	o 7208
15.03/15.25	o 7204
15.13/15.31	o 7200
15.13/15.37	o 7196
15.23/15.43	o 7192
15.23/15.48	o 7188
15.33/15.52	o 7184
15.33/15.56	o 7180
15.42/15.61	o 7177
15.42/15.66	o 7174
15.42/15.69	o 7171
15.52/15.73	o 7168
15.52/15.76	o 7165
15.52/15.79	o 7163
15.62/15.82	o 7161
15.62/15.85	o 7159
15.62/15.87	o 7157
15.62/15.90	o 7155
15.72/15.93	o 7154
15.72/15.95	o 7153
15.82/16.02	o 7151
15.82/16.04	o 7150
15.82/16.08	o 7146
15.82/16.10	o 7139
15.92/16.14	o 7137
15.92/16.15	o 7134
15.92/16.20	o 7130
16.02/16.24	o 7125
16.02/16.28	o 7120
16.11/16.33	o 7112
16.11/16.39	o 7105
16.21/16.46	o 7098
16.31/16.51	o 7091
16.31/16.56	o 7086
16.41/16.62	o 7081
16.41/16.67	o 7076
16.51/16.73	o 7071
16.51/16.77	o 7066
16.61/16.82	o 7061
16.61/16.87	o 7057
16.70/16.91	o 7053
16.70/16.96	o 7049
16.80/17.00	o 7046
16.80/17.04	o 7042
16.80/17.08	o 7038
16.90/17.13	o 7034
16.90/17.16	o 7030
17.00/17.20	o 7026
17.00/17.24	o 7023
17.00/17.27	o 7020
17.10/17.30	o 7017
17.10/17.34	o 7014
17.10/17.37	o 7011
17.21/17.41	o 7008
17.21/17.44	o 7006
17.21/17.48	o 7004
17.31/17.52	o 7002
17.31/17.55	o 7000
17.31/17.56	o 6999
17.31/17.58	o 6998
17.40/17.61	o 6995
17.40/17.63	o 6992
17.40/17.67	o 6986
17.50/17.77	o 6982
17.60/17.85	o 6981
17.70/17.93	o 6974
17.80/18.02	o 6967
17.90/18.10	o 6961
17.90/18.18	o 6959
18.00/18.26	o 6953
18.10/18.35	o 6947
18.20/18.43	o 6946
18.29/18.51	o 6940
18.29/18.59	o 6934
18.39/18.67	o 6927
18.49/18.74	o 6921
18.59/18.81	o 6914
18.59/18.88	o 6909
18.69/18.95	o 6904
18.79/19.03	o 6900
18.89/19.12	o 6896
18.89/19.18	o 6892
18.99/19.26	o 6888
19.09/19.33	o 6884
19.19/19.40	o 6881
19.19/19.47	o 6878
19.29/19.55	o 6875
19.38/19.62	o 6872
19.38/19.69	o 6869
19.48/19.76	o 6866
19.58/19.81	o 6864
19.58/19.87	o 6862
19.67/19.93	o 6860
19.67/19.98	o 6858
19.77/20.04	o 6856
19.77/20.09	o 6854
19.87/20.15	o 6853
19.97/20.20	o 6845
19.97/20.25	o 6844
19.97/20.30	o 6843
20.07/20.34	o 6842
20.07/20.39	o 6841
20.17/20.43	o 6840
20.17/20.47	o 6839
20.27/20.52	o 6838
20.27/20.56	o 6837
20.56/20.81	o 6836
20.56/20.87	o 6832
20.56/20.90	o 6828
20.66/20.93	o 6827
20.66/20.96	o 6824
20.66/20.99	o 6821
20.76/21.02	o 6820
20.76/21.05	o 6817
20.76/21.08	o 6812
20.86/21.14	o 6804
20.86/21.18	o 6803
20.96/21.21	o 6802
20.96/21.24	o 6795
20.96/21.28	o 6791
21.07/21.32	o 6786
21.07/21.35	o 6780
21.17/21.42	o 6778
21.17/21.46	o 6776
21.17/21.50	o 6770
21.26/21.53	o 6768
21.26/21.56	o 6765
21.26/21.59	o 6762
21.36/21.63	o 6756
21.36/21.68	o 6750
21.46/21.71	o 6748
21.46/21.75	o 6746
21.46/21.79	o 6744
21.55/21.83	o 6740
21.55/21.88	o 6735
21.65/21.92	o 6730
21.65/21.96	o 6728
21.65/22.00	o 6726
21.75/22.03	o 6725
21.75/22.08	o 6722
21.84/22.12	o 6720
21.84/22.17	o 6717
21.94/22.20	o 6713
21.94/22.25	o 6706
22.04/22.32	o 6702
22.04/22.38	o 6698
22.14/22.43	o 6696
22.14/22.48	o 6692
22.24/22.55	o 6689
22.34/22.60	o 6683
22.34/22.65	o 6677
22.44/22.71	o 6672
22.44/22.77	o 6666
22.54/22.83	o 6662
22.54/22.89	o 6658
22.74/23.01	o 6655
22.74/23.06	o 6652
22.84/23.11	o 6649
22.84/23.16	o 6646
22.94/23.21	o 6643
22.94/23.25	o 6640
23.04/23.30	o 6637
23.04/23.35	o 6632
23.14/23.40	o 6629
23.14/23.45	o 6627
23.14/23.49	o 6625
23.24/23.53	o 6621
23.24/23.57	o 6619
23.34/23.63	o 6617
23.34/23.66	o 6615
23.34/23.70	o 6614
23.43/23.73	o 6613
23.43/23.77	o 6606
23.53/23.80	o 6605
23.73/24.03	o 6602
23.83/24.16	o 6601
23.93/24.22	o 6596
23.93/24.27	o 6590
24.02/24.32	o 6588
24.12/24.41	o 6584
24.12/24.47	o 6583
24.32/24.63	o 6581
24.32/24.67	o 6580
24.42/24.72	o 6579
24.42/24.76	o 6578
24.52/24.82	o 6573
24.52/24.87	o 6568
24.62/24.92	o 6567
24.62/24.97	o 6561
24.72/25.06	o 6559
24.82/25.12	o 6555
24.92/25.24	o 6554
24.92/25.28	o 6550
25.02/25.34	o 6547
25.02/25.39	o 6546
25.11/25.49	o 6543
25.21/25.54	o 6542
25.21/25.58	o 6537
25.31/25.64	o 6535
25.41/25.74	o 6530
25.51/25.81	o 6529
25.51/25.86	o 6528
25.61/25.91	o 6527
25.61/25.96	o 6523
25.71/26.03	o 6517
25.71/26.08	o 6514
25.81/26.15	o 6508
25.90/26.20	o 6502
25.90/26.26	o 6497
26.00/26.32	o 6496
26.00/26.39	o 6495
26.10/26.45	o 6494
26.20/26.60	o 6489
26.30/26.67	o 6484
26.39/26.75	o 6478
26.49/26.83	o 6473
26.59/26.91	o 6469
26.69/27.00	o 6465
26.69/27.07	o 6461
26.79/27.15	o 6457
26.89/27.23	o 6453
26.99/27.31	o 6449
26.99/27.39	o 6446
27.09/27.46	o 6443
27.19/27.54	o 6440
27.28/27.61	o 6437
27.28/27.68	o 6434
27.38/27.74	o 6431
27.48/27.81	o 6426
27.48/27.87	o 6424
27.58/27.93	o 6422
27.58/27.99	o 6420
27.68/28.06	o 6418
27.78/28.12	o 6416
27.78/28.18	o 6414
27.88/28.24	o 6413
28.08/28.49	o 6412
28.18/28.56	o 6411
28.28/28.67	o 6409
28.37/28.73	o 6408
28.37/28.78	o 6406
28.47/28.87	o 6404
28.57/28.93	o 6401
28.57/28.98	o 6398
28.67/29.03	o 6393
28.87/29.21	o 6389
28.87/29.27	o 6383
28.97/29.31	o 6380
29.07/29.41	o 6378
29.07/29.46	o 6372
29.17/29.51	o 6367
29.17/29.56	o 6361
29.27/29.62	o 6356
29.27/29.66	o 6355
29.37/29.73	o 6353
29.57/29.98	o 6351
29.67/30.06	o 6348
29.77/30.10	o 6346
29.77/30.15	o 6345
29.77/30.19	o 6341
29.87/30.24	o 6335
29.87/30.29	o 6331
29.97/30.33	o 6329
30.07/30.41	o 6326
30.07/30.46	o 6324
30.17/30.50	o 6319
30.17/30.56	o 6318
30.26/30.62	o 6315
30.26/30.67	o 6313
30.36/30.74	o 6312
30.36/30.79	o 6308
30.46/30.85	o 6303
30.56/30.90	o 6299
30.56/30.95	o 6296
30.66/31.01	o 6294
30.66/31.07	o 6293
30.76/31.14	o 6287
30.76/31.19	o 6283
30.85/31.25	o 6282
30.95/31.30	o 6279
31.05/31.49	o 6277
31.15/31.55	o 6273
31.35/31.75	o 6270
31.45/31.82	o 6267
31.45/31.89	o 6261
31.64/32.02	o 6260
31.64/32.08	o 6259
31.74/32.14	o 6254
31.74/32.19	o 6253
31.84/32.25	o 6251
31.94/32.31	o 6250
31.94/32.36	o 6247
32.04/32.42	o 6244
32.04/32.48	o 6240
32.13/32.55	o 6239
32.23/32.62	o 6237
32.33/32.76	o 6233
32.43/32.81	o 6226
32.43/32.87	o 6219
32.53/32.93	o 6218
32.63/33.01	o 6214
32.72/33.15	o 6209
32.82/33.21	o 6206
32.82/33.27	o 6204
32.92/33.35	o 6201
33.02/33.42	o 6199
33.23/33.62	o 6194
33.33/33.70	o 6186
33.33/33.77	o 6183
33.43/33.85	o 6181
33.52/33.93	o 6175
33.62/34.10	o 6170
33.72/34.19	o 6166
33.82/34.27	o 6162
33.92/34.35	o 6159
34.01/34.43	o 6156
34.11/34.52	o 6153
34.21/34.60	o 6151
34.21/34.68	o 6149
34.31/34.75	o 6147
34.41/34.83	o 6145
34.51/34.91	o 6144
34.61/35.00	o 6143
34.61/35.08	o 6142
34.70/35.17	o 6136
35.00/35.46	o 6134
35.20/35.69	o 6131
35.30/35.77	o 6129
35.40/35.83	o 6125
35.50/35.97	o 6123
36.29/36.71	o 6119
36.29/36.77	o 6118
36.49/36.97	o 6117
36.59/37.04	o 6114
36.69/37.10	o 6111
36.69/37.17	o 6105
36.78/37.24	o 6104
36.88/37.31	o 6100
37.08/37.52	o 6098
37.08/37.59	o 6096
37.18/37.66	o 6091
37.28/37.73	o 6090
37.28/37.79	o 6084
37.38/37.86	o 6079
37.48/37.92	o 6077
37.68/38.13	o 6074
37.78/38.20	o 6072
37.78/38.29	o 6069
37.87/38.37	o 6068
37.97/38.45	o 6065
38.07/38.53	o 6064
38.17/38.60	o 6061
38.17/38.68	o 6059
38.27/38.76	o 6057
38.37/38.85	o 6053
38.47/38.93	o 6049
38.57/39.00	o 6046
38.57/39.08	o 6042
38.77/39.23	o 6037
38.87/39.30	o 6034
38.87/39.38	o 6030
38.96/39.47	o 6029
39.06/39.55	o 6024
39.16/39.63	o 6023
39.26/39.72	o 6020
39.36/39.80	o 6014
39.36/39.88	o 6012
39.46/39.97	o 6009
39.66/40.13	o 6007
39.85/40.38	o 6000
39.95/40.46	o 5995
40.05/40.55	o 5994
40.15/40.65	o 5991
40.25/40.74	o 5987
40.34/40.84	o 5986
40.44/40.94	o 5983
40.54/41.04	o 5982
40.64/41.14	o 5976
40.74/41.22	o 5974
40.84/41.31	o 5969
40.94/41.41	o 5966
40.94/41.50	o 5963
41.14/41.68	o 5961
41.24/41.77	o 5959
41.34/41.85	o 5958
41.43/41.93	o 5955
41.53/42.02	o 5952
41.63/42.19	o 5947
41.74/42.27	o 5943
41.84/42.36	o 5939
41.94/42.45	o 5936
42.04/42.54	o 5934
42.14/42.63	o 5931
42.23/42.72	o 5926
42.33/42.83	o 5925
42.62/43.18	o 5919
42.72/43.27	o 5917
42.82/43.36	o 5911
42.92/43.46	o 5907
43.12/43.64	o 5905
43.22/43.73	o 5903
43.52/44.03	o 5902
43.71/44.23	o 5901
43.81/44.33	o 5899
44.21/44.70	o 5897
44.31/44.82	o 5895
44.41/44.93	o 5890
44.51/45.04	o 5888
44.61/45.15	o 5887
44.70/45.26	o 5884
44.80/45.37	o 5881
44.90/45.47	o 5879
45.00/45.59	o 5878
45.10/45.69	o 5875
45.30/45.80	o 5874
45.79/46.32	o 5873
46.09/46.62	o 5867
46.19/46.73	o 5865
46.29/46.84	o 5861
46.39/46.94	o 5860
46.49/47.05	o 5855
46.68/47.28	o 5853
46.88/47.41	o 5851
46.98/47.51	o 5847
47.38/47.94	o 5846
47.48/48.05	o 5840
47.77/48.39	o 5836
47.97/48.51	o 5835
48.07/48.62	o 5833
48.36/48.98	o 5831
48.46/49.08	o 5827
48.76/49.31	o 5825
48.86/49.43	o 5820
48.96/49.56	o 5817
49.05/49.69	o 5810
49.35/49.96	o 5808
49.65/50.25	o 5805
49.95/50.53	o 5803
50.14/50.79	o 5799
50.34/50.93	o 5796
50.54/51.20	o 5795
50.74/51.34	o 5792
50.84/51.48	o 5785
51.04/51.62	o 5783
51.14/51.74	o 5781
51.23/51.89	o 5779
51.43/52.02	o 5776
51.53/52.16	o 5774
51.73/52.31	o 5773
51.94/52.59	o 5769
52.13/52.74	o 5764
52.23/52.88	o 5763
52.43/53.02	o 5761
52.53/53.17	o 5760
52.73/53.31	o 5753
52.83/53.43	o 5747
52.93/53.57	o 5743
53.12/53.71	o 5740
53.42/54.01	o 5737
53.72/54.32	o 5736
53.82/54.48	o 5733
54.02/54.62	o 5732
54.12/54.78	o 5731
54.41/55.07	o 5730
54.61/55.22	o 5725
54.71/55.37	o 5724
55.01/55.67	o 5722
55.20/55.80	o 5719
55.30/55.95	o 5717
55.40/56.09	o 5715
55.59/56.23	o 5712
55.69/56.36	o 5711
55.89/56.51	o 5708
55.99/56.66	o 5705
56.09/56.79	o 5704
56.29/56.95	o 5701
56.39/57.09	o 5699
56.59/57.26	o 5697
56.78/57.41	o 5696
57.08/57.70	o 5694
57.18/57.84	o 5689
57.28/57.98	o 5686
57.48/58.15	o 5683
57.67/58.31	o 5681
57.77/58.45	o 5680
57.97/58.60	o 5677
58.27/58.91	o 5675
58.37/59.06	o 5672
58.56/59.21	o 5671
58.66/59.36	o 5669
58.86/59.52	o 5666
58.96/59.67	o 5660
59.16/59.83	o 5658
59.26/59.98	o 5656
59.46/60.14	o 5652
59.55/60.29	o 5649
59.75/60.45	o 5646
59.85/60.59	o 5644
60.04/60.74	o 5642
60.14/60.90	o 5640
60.44/61.19	o 5637
60.64/61.36	o 5636
61.23/61.98	o 5634
61.43/62.13	o 5630
61.53/62.29	o 5629
62.03/62.72	o 5627
62.13/62.87	o 5624
62.33/63.01	o 5621
62.43/63.15	o 5618
62.53/63.28	o 5613
63.61/64.30	o 5611
63.71/64.44	o 5609
63.92/64.60	o 5608
64.31/65.04	o 5603
64.81/65.50	o 5599
64.91/65.65	o 5598
65.40/66.12	o 5596
65.50/66.27	o 5593
65.69/66.44	o 5586
65.79/66.59	o 5585
65.99/66.76	o 5583
66.19/66.92	o 5578
66.28/67.08	o 5575
66.48/67.23	o 5572
66.58/67.37	o 5571
66.78/67.54	o 5570
66.87/67.69	o 5566
67.27/68.02	o 5562
67.86/68.67	o 5559
68.06/68.83	o 5555
68.26/69.02	o 5552
68.36/69.18	o 5549
68.56/69.36	o 5546
68.75/69.52	o 5544
68.85/69.68	o 5540
69.05/69.84	o 5536
69.25/70.03	o 5530
69.46/70.20	o 5529
69.56/70.40	o 5528
69.75/70.57	o 5524
70.25/71.09	o 5517
70.45/71.26	o 5511
70.65/71.44	o 5507
71.34/72.11	o 5505
72.33/73.12	o 5503
72.43/73.29	o 5501
72.63/73.46	o 5499
72.92/73.79	o 5495
73.12/73.96	o 5493
73.62/74.46	o 5489
73.81/74.62	o 5488
73.91/74.79	o 5486
74.21/75.10	o 5484
74.71/75.56	o 5481
74.90/75.72	o 5478
75.00/75.89	o 5475
75.29/76.18	o 5474
75.49/76.33	o 5473
75.59/76.48	o 5471
75.79/76.62	o 5466
75.89/76.77	o 5462
76.08/76.92	o 5460
76.18/77.07	o 5454
76.48/77.37	o 5450
76.68/77.52	o 5447
76.98/77.83	o 5443
77.07/77.98	o 5435
77.27/78.14	o 5434
77.36/78.29	o 5432
77.56/78.43	o 5431
77.66/78.58	o 5429
77.86/78.74	o 5427
77.96/78.89	o 5423
78.16/79.05	o 5422
78.36/79.23	o 5420
78.45/79.37	o 5414
78.65/79.51	o 5411
78.75/79.66	o 5410
78.95/79.81	o 5409
79.05/79.97	o 5408
79.25/80.12	o 5404
79.35/80.27	o 5401
79.54/80.41	o 5396
79.64/80.56	o 5392
79.84/80.71	o 5391
80.15/81.00	o 5390
80.25/81.15	o 5387
80.54/81.44	o 5381
80.74/81.60	o 5375
80.84/81.75	o 5370
81.14/82.03	o 5368
81.24/82.19	o 5363
81.43/82.35	o 5361
81.53/82.49	o 5357
81.73/82.64	o 5353
81.83/82.79	o 5348
82.03/82.94	o 5343
82.13/83.09	o 5340
82.33/83.24	o 5338
82.42/83.39	o 5334
82.62/83.54	o 5327
82.72/83.68	o 5321
82.91/83.82	o 5320
83.01/83.97	o 5317
83.21/84.11	o 5315
83.31/84.25	o 5310
83.51/84.40	o 5309
83.81/84.70	o 5306
83.91/84.84	o 5304
84.01/84.98	o 5302
84.21/85.13	o 5298
84.61/85.56	o 5297
85.10/86.00	o 5294
85.30/86.30	o 5293
85.79/86.76	o 5292
86.28/87.22	o 5291
86.38/87.37	o 5288
86.58/87.51	o 5285
87.17/88.18	o 5283
87.37/88.33	o 5279
87.47/88.48	o 5278
87.67/88.64	o 5274
87.87/88.80	o 5269
87.96/88.96	o 5268
88.16/89.12	o 5264
88.26/89.28	o 5260
88.46/89.43	o 5257
88.66/89.60	o 5256
88.76/89.75	o 5253
88.95/89.90	o 5249
89.05/90.06	o 5244
89.25/90.23	o 5243
89.34/90.40	o 5241
89.54/90.55	o 5238
89.84/90.89	o 5232
90.04/91.06	o 5228
90.43/91.40	o 5225
90.53/91.58	o 5223
90.93/91.93	o 5220
91.03/92.10	o 5218
91.23/92.28	o 5217
91.43/92.47	o 5213
91.62/92.65	o 5211
92.12/93.18	o 5210
92.32/93.36	o 5205
92.72/93.74	o 5204
92.91/93.91	o 5201
93.21/94.26	o 5199
93.41/94.42	o 5194
93.51/94.60	o 5190
93.70/94.76	o 5187
93.90/94.94	o 5184
95.09/96.15	o 5182
95.39/96.49	o 5181
95.59/96.66	o 5178
95.79/96.84	o 5176
95.98/97.01	o 5171
96.28/97.36	o 5168
96.67/97.70	o 5165
97.37/98.41	o 5160
97.47/98.58	o 5156
97.96/99.09	o 5152
98.66/99.76	o 5150
99.05/100.12	o 5148
99.15/100.30	o 5147
99.35/100.47	o 5145
99.55/100.64	o 5144
99.75/100.81	o 5139
99.85/100.98	o 5136
100.05/101.15	o 5133
100.24/101.32	o 5127
100.34/101.49	o 5121
100.54/101.67	o 5117
100.74/101.85	o 5116
100.94/102.01	o 5113
101.04/102.18	o 5112
101.24/102.35	o 5110
101.43/102.52	o 5108
101.53/102.68	o 5106
101.73/102.85	o 5102
102.03/103.17	o 5098
102.22/103.35	o 5096
102.42/103.51	o 5094
102.92/104.02	o 5089
103.02/104.17	o 5085
103.21/104.35	o 5081
103.41/104.52	o 5080
103.50/104.68	o 5077
103.90/105.02	o 5070
104.10/105.20	o 5064
104.40/105.54	o 5060
104.59/105.70	o 5056
104.69/105.88	o 5055
105.09/106.22	o 5053
105.39/106.58	o 5051
105.98/107.12	o 5049
106.08/107.29	o 5046
106.48/107.65	o 5043
106.68/107.84	o 5041
106.77/107.97	o 5039
106.97/108.13	o 5037
107.17/108.30	o 5035
107.27/108.47	o 5032
107.47/108.65	o 5028
107.66/108.84	o 5024
107.86/109.00	o 5023
107.96/109.19	o 5019
108.36/109.54	o 5017
108.56/109.71	o 5015
108.75/109.90	o 5011
108.85/110.08	o 5008
109.05/110.26	o 5006
109.25/110.43	o 5000
109.94/111.15	o 4998
110.14/111.33	o 4995
110.34/111.51	o 4993
110.44/111.68	o 4990
110.64/111.85	o 4988
110.83/112.03	o 4983
111.03/112.20	o 4976
111.13/112.38	o 4974
111.53/112.73	o 4972
111.73/112.91	o 4971
112.02/113.26	o 4967
112.21/113.42	o 4966
112.31/113.58	o 4964
112.51/113.74	o 4962
112.71/113.91	o 4960
113.01/114.26	o 4959
114.30/115.55	o 4958
114.49/115.70	o 4955
114.59/115.86	o 4954
114.89/116.18	o 4951
115.09/116.35	o 4949
115.29/116.52	o 4948
115.39/116.69	o 4944
115.58/116.85	o 4943
116.08/117.35	o 4941
116.28/117.52	o 4938
116.38/117.67	o 4937
116.67/117.99	o 4932
116.88/118.16	o 4927
117.08/118.34	o 4924
117.28/118.51	o 4923
117.37/118.67	o 4922
117.86/119.19	o 4921
118.06/119.35	o 4916
118.36/119.67	o 4913
118.56/119.84	o 4912
118.75/120.00	o 4910
118.85/120.16	o 4907
119.05/120.31	o 4904
119.15/120.48	o 4901
119.55/120.80	o 4898
119.84/121.15	o 4895
120.04/121.31	o 4890
120.14/121.43	o 4888
120.44/121.78	o 4885
120.64/121.95	o 4880
120.84/122.11	o 4877
121.33/122.60	o 4875
121.43/122.78	o 4870
121.63/122.96	o 4866
121.83/123.14	o 4863
122.02/123.32	o 4862
122.22/123.51	o 4860
122.32/123.70	o 4858
122.52/123.89	o 4856
123.02/124.31	o 4854
123.21/124.50	o 4853
123.31/124.69	o 4852
123.71/125.07	o 4850
123.90/125.28	o 4849
124.10/125.48	o 4846
124.30/125.67	o 4842
124.50/125.86	o 4839
124.70/126.04	o 4836
125.09/126.41	o 4834
125.29/126.61	o 4832
125.39/126.79	o 4828
125.59/126.95	o 4825
125.79/127.14	o 4823
125.99/127.33	o 4822
126.18/127.52	o 4821
126.38/127.71	o 4816
126.88/128.29	o 4810
127.08/128.49	o 4808
127.27/128.67	o 4807
127.87/129.27	o 4805
128.07/129.49	o 4803
128.56/129.91	o 4802
128.75/130.15	o 4800
128.95/130.37	o 4799
129.15/130.58	o 4798
129.35/130.79	o 4795
129.64/131.01	o 4792
129.84/131.21	o 4787
130.24/131.63	o 4784
130.44/131.83	o 4781
130.64/132.05	o 4779
131.24/132.68	o 4778
131.44/132.87	o 4775
131.64/133.09	o 4772
132.03/133.48	o 4770
132.43/133.87	o 4766
132.62/134.08	o 4765
132.82/134.28	o 4764
133.02/134.49	o 4762
133.32/134.70	o 4761
133.42/134.90	o 4759
133.91/135.32	o 4756
134.11/135.53	o 4753
134.21/135.64	o 4750
134.80/136.25	o 4745
135.00/136.46	o 4744
135.20/136.69	o 4743
135.39/136.88	o 4742
135.49/136.96	o 4739
135.69/137.17	o 4735
135.89/137.37	o 4734
136.18/137.60	o 4733
136.78/138.24	o 4731
136.98/138.47	o 4727
137.27/138.70	o 4726
137.47/138.92	o 4724
137.67/139.17	o 4723
137.87/139.35	o 4721
138.07/139.57	o 4720
139.45/140.90	o 4717
140.05/141.56	o 4716
140.25/141.80	o 4713
140.54/142.02	o 4711
142.23/143.79	o 4708
142.52/144.03	o 4705
142.72/144.26	o 4702
142.92/144.48	o 4699
143.80/145.38	o 4696
144.00/145.59	o 4691
144.50/146.05	o 4689
144.70/146.28	o 4688
144.89/146.49	o 4686
145.19/146.72	o 4685
145.39/146.94	o 4683
145.59/147.17	o 4682
145.79/147.39	o 4680
146.08/147.62	o 4673
146.28/147.85	o 4672
146.48/148.08	o 4670
146.78/148.31	o 4669
146.97/148.54	o 4667
148.46/150.07	o 4660
148.95/150.52	o 4659
149.05/150.68	o 4658
150.25/151.83	o 4655
150.45/152.05	o 4651
150.65/152.27	o 4646
150.95/152.50	o 4642
151.14/152.73	o 4640
151.73/153.40	o 4638
152.03/153.62	o 4634
152.23/153.83	o 4632
152.62/154.21	o 4631
152.82/154.42	o 4630
153.22/154.85	o 4624
153.42/155.07	o 4623
153.61/155.29	o 4619
153.91/155.52	o 4618
154.31/155.96	o 4617
155.00/156.60	o 4615
155.20/156.83	o 4614
155.40/157.04	o 4611
155.60/157.27	o 4609
155.99/157.69	o 4608
156.29/157.91	o 4607
156.68/158.34	o 4604
156.88/158.56	o 4601
157.18/158.80	o 4595
157.38/159.02	o 4594
157.58/159.24	o 4592
157.77/159.47	o 4590
157.97/159.69	o 4588
158.27/159.90	o 4586
158.46/160.13	o 4584
159.15/160.80	o 4580
159.35/161.02	o 4577
159.55/161.23	o 4574
159.95/161.67	o 4572
160.14/161.89	o 4569
160.64/162.31	o 4566
161.23/162.98	o 4562
161.43/163.20	o 4561
161.73/163.41	o 4556
161.93/163.64	o 4555
162.13/163.86	o 4554
162.32/164.08	o 4553
162.52/164.27	o 4550
162.82/164.50	o 4548
163.02/164.71	o 4544
163.21/164.95	o 4542
163.41/165.19	o 4541
163.71/165.42	o 4539
163.91/165.66	o 4537
164.11/165.89	o 4535
164.40/166.13	o 4534
164.60/166.37	o 4531
164.89/166.60	o 4528
165.98/167.75	o 4524
166.18/167.96	o 4523
166.38/168.18	o 4520
166.67/168.42	o 4515
166.87/168.65	o 4512
167.07/168.87	o 4509
167.37/169.11	o 4507
167.57/169.35	o 4503
167.76/169.59	o 4499
168.06/169.83	o 4496
168.26/170.06	o 4495
168.56/170.30	o 4494
169.45/171.26	o 4493
169.65/171.49	o 4490
169.94/171.74	o 4489
170.64/172.48	o 4488
170.93/172.72	o 4487
171.13/172.96	o 4486
171.43/173.20	o 4482
171.63/173.44	o 4481
172.33/174.14	o 4479
172.53/174.30	o 4476
172.73/174.53	o 4475
172.92/174.78	o 4473
173.21/175.04	o 4470
173.71/175.53	o 4469
175.20/177.08	o 4465
175.50/177.33	o 4461
175.70/177.59	o 4459
176.48/178.39	o 4457
176.78/178.65	o 4454
177.08/178.92	o 4453
177.48/179.36	o 4450
177.67/179.56	o 4444
177.97/179.81	o 4441
178.17/180.05	o 4440
178.36/180.24	o 4435
179.06/180.98	o 4434
179.55/181.49	o 4428
180.35/182.23	o 4425
180.84/182.73	o 4423
181.04/182.99	o 4422
181.34/183.24	o 4419
181.54/183.49	o 4416
181.83/183.76	o 4413
182.12/184.00	o 4410
182.32/184.25	o 4409
182.52/184.49	o 4408
182.82/184.74	o 4407
183.61/185.51	o 4405
183.81/185.77	o 4401
184.50/186.50	o 4395
184.80/186.75	o 4394
185.00/186.98	o 4392
185.29/187.23	o 4389
185.49/187.46	o 4387
185.79/187.72	o 4385
186.28/188.24	o 4383
186.48/188.49	o 4382
187.47/189.48	o 4381
187.77/189.73	o 4377
187.97/189.98	o 4375
188.76/190.73	o 4370
188.96/190.99	o 4368
190.74/192.72	o 4365
190.94/192.97	o 4363
191.24/193.22	o 4359
191.43/193.49	o 4356
191.73/193.75	o 4353
192.03/194.00	o 4351
192.52/194.52	o 4349
192.72/194.79	o 4345
193.02/195.04	o 4343
193.52/195.56	o 4341
194.11/196.10	o 4339
194.81/196.86	o 4336
196.39/198.47	o 4334
196.69/198.75	o 4333
197.18/199.28	o 4332
200.95/203.09	o 4330
201.44/203.59	o 4327
203.52/205.61	o 4325
203.72/205.87	o 4321
204.22/206.36	o 4319
204.51/206.60	o 4315
204.71/206.84	o 4312
204.91/207.08	o 4311
205.21/207.32	o 4310
205.70/207.81	o 4309
205.90/208.05	o 4305
206.10/208.29	o 4304
206.40/208.55	o 4301
206.60/208.79	o 4300
206.89/209.02	o 4299
207.08/209.25	o 4294
207.88/210.02	o 4292
208.57/210.78	o 4290
209.07/211.28	o 4289
209.36/211.52	o 4287
210.35/212.54	o 4284
211.64/213.85	o 4278
212.13/214.37	o 4276
212.43/214.65	o 4271
212.73/214.90	o 4269
212.93/215.18	o 4267
213.22/215.45	o 4265
213.52/215.73	o 4262
214.02/216.27	o 4260
215.40/217.68	o 4258
215.70/217.97	o 4257
216.20/218.49	o 4252
216.49/218.76	o 4244
217.08/219.31	o 4243
217.58/219.89	o 4242
218.17/220.45	o 4241
218.47/220.72	o 4240
218.96/221.29	o 4239
219.26/221.57	o 4236
220.95/223.24	o 4234
221.14/223.49	o 4231
221.44/223.78	o 4229
222.04/224.34	o 4228
222.83/225.18	o 4225
223.12/225.46	o 4221
223.43/225.73	o 4220
223.63/225.98	o 4216
223.93/226.26	o 4213
224.22/226.55	o 4212
224.51/226.81	o 4211
224.72/227.09	o 4208
225.02/227.36	o 4204
225.31/227.64	o 4200
225.61/227.91	o 4199
225.81/228.16	o 4198
226.50/228.89	o 4197
226.79/229.12	o 4196
227.29/229.64	o 4195
228.38/230.74	o 4193
228.68/231.02	o 4192
228.87/231.28	o 4190
229.67/232.08	o 4188
229.96/232.34	o 4186
230.46/232.87	o 4185
231.25/233.69	o 4182
231.55/233.95	o 4180
231.84/234.23	o 4179
232.34/234.78	o 4178
232.64/235.07	o 4174
232.93/235.35	o 4171
234.32/236.74	o 4170
238.09/240.52	o 4169
238.38/240.80	o 4167
239.17/241.61	o 4166
239.66/242.18	o 4164
239.96/242.45	o 4162
240.26/242.71	o 4160
240.75/243.25	o 4158
241.05/243.52	o 4157
241.25/243.79	o 4155
241.55/244.07	o 4154
241.75/244.23	o 4153
242.24/244.73	o 4150
242.54/245.01	o 4146
242.74/245.27	o 4145
243.53/246.09	o 4144
243.82/246.38	o 4142
244.42/246.90	o 4141
244.62/247.17	o 4139
244.91/247.46	o 4138
245.21/247.73	o 4136
245.51/248.01	o 4133
245.72/248.28	o 4132
246.01/248.57	o 4130
246.30/248.85	o 4125
246.80/249.40	o 4124
247.10/249.68	o 4123
247.39/249.96	o 4120
247.99/250.55	o 4119
248.58/251.16	o 4115
248.88/251.44	o 4113
249.18/251.73	o 4110
249.47/252.01	o 4107
249.67/252.21	o 4103
249.97/252.50	o 4102
250.17/252.79	o 4100
250.47/253.10	o 4099
250.76/253.40	o 4094
251.16/253.70	o 4092
251.75/254.31	o 4088
252.05/254.61	o 4085
252.25/254.89	o 4084
254.62/257.27	o 4082
254.82/257.40	o 4081
255.02/257.69	o 4080
255.32/257.99	o 4078
256.31/258.94	o 4077
256.61/259.23	o 4075
256.90/259.55	o 4074
257.20/259.86	o 4073
257.50/260.17	o 4072
258.19/260.80	o 4068
258.79/261.42	o 4066
259.38/262.07	o 4062
259.68/262.33	o 4061
259.98/262.65	o 4058
260.47/263.13	o 4056
260.77/263.43	o 4055
261.07/263.74	o 4050
261.96/264.68	o 4049
262.25/264.99	o 4047
264.13/266.88	o 4046
265.42/268.17	o 4045
266.11/268.81	o 4044
266.41/269.12	o 4041
266.71/269.45	o 4039
267.30/270.07	o 4034
267.60/270.39	o 4030
267.99/270.71	o 4026
271.06/273.84	o 4025
271.36/274.14	o 4024
272.65/275.40	o 4021
272.85/275.67	o 4019
273.54/276.33	o 4018
274.43/277.28	o 4014
275.71/278.56	o 4013
276.70/279.51	o 4010
277.60/280.46	o 4007
278.29/281.14	o 4002
278.58/281.45	o 4000
278.88/281.77	o 3997
279.28/282.10	o 3996
279.58/282.44	o 3995
279.87/282.77	o 3991
280.27/283.10	o 3986
280.57/283.43	o 3983
280.86/283.75	o 3982
281.16/284.07	o 3980
281.46/284.39	o 3977
281.85/284.73	o 3974
282.15/285.07	o 3973
282.55/285.41	o 3970
283.15/286.08	o 3967
283.84/286.73	o 3966
284.53/287.41	o 3963
285.12/288.08	o 3962
288.30/291.23	o 3961
288.69/291.60	o 3958
288.99/291.99	o 3956
289.39/292.38	o 3955
289.78/292.74	o 3954
290.18/293.13	o 3952
290.48/293.49	o 3949
290.87/293.89	o 3948
291.66/294.66	o 3946
292.05/295.05	o 3945
292.45/295.42	o 3944
292.85/295.81	o 3941
293.54/296.57	o 3940
294.33/297.34	o 3937
295.02/298.10	o 3934
298.00/301.08	o 3931
298.39/301.48	o 3928
298.78/301.88	o 3927
299.18/302.23	o 3923
299.57/302.63	o 3922
299.97/303.02	o 3921
300.37/303.41	o 3918
301.76/304.90	o 3917
305.22/308.35	o 3914
305.62/308.72	o 3913
306.01/309.10	o 3911
306.31/309.47	o 3910
307.11/310.21	o 3909
307.41/310.59	o 3908
308.89/312.04	o 3904
312.16/315.32	o 3901
312.46/315.70	o 3900
312.85/316.06	o 3898
313.64/316.82	o 3894
313.94/317.19	o 3886
315.72/318.98	o 3885
316.81/320.08	o 3883
317.60/320.80	o 3881
317.90/321.16	o 3875
318.59/321.89	o 3874
318.99/322.25	o 3872
319.38/322.60	o 3870
319.68/322.96	o 3867
321.76/325.09	o 3866
323.15/326.49	o 3862
323.54/326.84	o 3859
323.84/327.19	o 3858
324.24/327.56	o 3857
324.93/328.24	o 3854
327.71/331.08	o 3849
328.99/332.33	o 3847
331.37/334.74	o 3844
331.77/335.10	o 3843
332.06/335.47	o 3840
332.45/335.82	o 3838
333.54/336.96	o 3836
338.30/341.77	o 3834
338.70/342.14	o 3833
339.39/342.87	o 3830
339.79/343.23	o 3825
340.08/343.59	o 3824
340.48/343.95	o 3822
340.88/344.33	o 3821
341.27/344.70	o 3820
347.12/350.62	o 3816
347.51/351.02	o 3813
347.91/351.42	o 3811
348.90/352.40	o 3808
349.20/352.77	o 3805
349.59/353.15	o 3804
352.07/355.67	o 3802
352.47/356.04	o 3800
353.25/356.81	o 3797
355.13/358.79	o 3796
357.12/360.79	o 3795
357.61/361.20	o 3790
358.01/361.63	o 3787
358.80/362.43	o 3784
359.99/363.64	o 3783
360.38/364.06	o 3780
362.27/365.96	o 3778
362.66/366.38	o 3775
363.16/366.81	o 3770
363.95/367.69	o 3768
364.45/368.11	o 3767
365.24/368.98	o 3764
366.13/369.87	o 3763
370.89/374.63	o 3761
371.38/375.11	o 3760
371.78/375.58	o 3756
379.50/383.30	o 3753
381.29/385.13	o 3752
381.69/385.57	o 3751
382.18/386.02	o 3750
383.07/386.91	o 3749
383.96/387.82	o 3746
384.85/388.73	o 3745
385.74/389.64	o 3743
389.60/393.56	o 3742
390.49/394.46	o 3741
391.78/395.77	o 3740
393.17/397.11	o 3739
393.96/397.98	o 3733
394.35/398.37	o 3731
394.75/398.80	o 3730
395.64/399.66	o 3727
396.04/400.09	o 3726
396.93/400.96	o 3725
398.22/402.21	o 3724
398.61/402.65	o 3722
399.40/403.49	o 3721
400.29/404.34	o 3720
401.97/406.04	o 3717
402.17/406.24	o 3714
402.97/407.07	o 3710
403.86/407.91	o 3708
404.25/408.32	o 3706
405.05/409.17	o 3705
405.84/409.99	o 3704
406.33/410.42	o 3698
406.73/410.83	o 3697
407.13/411.25	o 3695
407.52/411.67	o 3692
407.92/412.08	o 3690
408.81/412.93	o 3689
409.21/413.33	o 3687
413.27/417.40	o 3686
413.66/417.81	o 3683
416.54/420.78	o 3682
417.03/421.21	o 3680
417.43/421.63	o 3676
417.83/422.00	o 3674
418.22/422.45	o 3671
419.11/423.30	o 3669
422.87/427.19	o 3668
423.37/427.63	o 3664
423.76/428.07	o 3660
424.26/428.51	o 3658
424.55/428.85	o 3656
425.36/429.67	o 3655
425.85/430.11	o 3654
427.04/431.40	o 3652
427.54/431.83	o 3650
428.53/432.86	o 3649
428.92/433.29	o 3648
429.41/433.71	o 3645
429.81/434.14	o 3643
430.70/435.01	o 3637
431.99/436.30	o 3635
433.67/438.00	o 3634
434.86/439.29	o 3633
435.16/439.56	o 3631
435.56/439.99	o 3630
436.05/440.41	o 3628
438.53/442.96	o 3626
439.02/443.40	o 3624
451.10/455.67	o 3621
452.49/457.03	o 3619
452.89/457.49	o 3615
453.78/458.38	o 3611
454.27/458.86	o 3609
455.46/460.02	o 3604
455.86/460.46	o 3603
456.75/461.36	o 3602
457.24/461.80	o 3601
458.53/463.13	o 3600
458.92/463.57	o 3599
459.81/464.46	o 3596
461.10/465.79	o 3595
464.37/469.07	o 3592
464.86/469.51	o 3591
469.93/474.66	o 3590
470.42/475.11	o 3588
470.82/475.56	o 3587
474.97/479.70	o 3586
475.37/480.13	o 3583
475.77/480.57	o 3580
476.26/481.01	o 3576
477.06/481.88	o 3573
480.92/485.70	o 3570
483.00/487.87	o 3569
483.79/488.68	o 3565
484.68/489.53	o 3563
485.07/489.99	o 3562
485.57/490.44	o 3559
485.96/490.89	o 3558
486.47/491.34	o 3557
486.86/491.79	o 3556
487.75/492.68	o 3553
488.24/493.12	o 3551
489.53/494.46	o 3549
490.03/494.91	o 3548
490.42/495.35	o 3545
496.56/501.59	o 3543
497.06/502.03	o 3540
497.95/502.96	o 3536
500.23/505.27	o 3533
500.72/505.73	o 3531
502.01/507.09	o 3529
505.58/510.61	o 3527
505.98/511.06	o 3526
506.87/511.96	o 3524
507.76/512.88	o 3523
508.26/513.32	o 3522
508.66/513.79	o 3519
509.54/514.69	o 3518
510.04/515.15	o 3516
510.54/515.61	o 3514
510.93/516.07	o 3512
511.82/516.94	o 3508
512.72/517.81	o 3507
513.60/518.70	o 3503
513.90/519.05	o 3499
514.79/519.94	o 3496
517.56/522.71	o 3495
517.96/523.18	o 3489
519.94/525.12	o 3487
520.43/525.61	o 3483
521.13/526.35	o 3480
521.62/526.83	o 3476
522.12/527.32	o 3475
522.61/527.81	o 3474
523.01/528.28	o 3471
523.51/528.77	o 3469
530.34/535.68	o 3467
532.42/537.79	o 3466
533.01/538.35	o 3465
533.51/538.87	o 3462
534.60/539.96	o 3460
535.69/541.04	o 3455
536.18/541.58	o 3454
536.78/542.11	o 3453
537.27/542.65	o 3452
543.41/548.87	o 3447
543.91/549.39	o 3444
571.55/577.25	o 3442
572.04/577.80	o 3441
573.23/578.90	o 3436
574.22/579.98	o 3434
574.82/580.53	o 3432
576.40/582.17	o 3430
577.00/582.73	o 3428
577.49/583.29	o 3425
578.48/584.27	o 3422
581.65/587.45	o 3421
582.15/587.99	o 3419
584.42/590.23	o 3416
584.82/590.65	o 3413
585.81/591.65	o 3412
586.40/592.20	o 3410
591.35/597.28	o 3407
592.54/598.41	o 3406
593.63/599.51	o 3403
594.13/600.08	o 3400
594.43/600.31	o 3398
594.92/600.87	o 3397
595.41/601.39	o 3396
596.00/601.91	o 3393
596.50/602.45	o 3390
597.49/603.40	o 3389
600.56/606.57	o 3386
601.35/607.36	o 3385
601.85/607.88	o 3381
602.44/608.44	o 3380
602.94/608.99	o 3379
603.53/609.56	o 3377
604.13/610.11	o 3375
604.62/610.60	o 3374
605.61/611.68	o 3372
606.21/612.23	o 3371
610.16/616.30	o 3370
613.43/619.57	o 3367
613.93/620.06	o 3363
614.42/620.59	o 3361
615.03/621.11	o 3360
618.69/624.89	o 3358
619.78/625.97	o 3357
620.27/626.48	o 3355
620.87/627.01	o 3354
621.36/627.54	o 3353
623.54/629.71	o 3351
624.04/630.26	o 3350
626.81/633.02	o 3348
628.89/635.18	o 3345
629.29/635.52	o 3341
631.95/638.27	o 3340
632.55/638.82	o 3339
661.98/668.55	o 3337
662.47/669.09	o 3334
663.07/669.64	o 3332
663.56/670.20	o 3330
664.16/670.75	o 3328
667.82/674.43	o 3323
669.50/676.14	o 3322
670.09/676.72	o 3320
679.89/686.69	o 3319
684.95/691.76	o 3318
687.03/693.85	o 3317
687.62/694.47	o 3312
688.22/695.06	o 3310
691.09/697.99	o 3309
691.78/698.60	o 3306
692.28/699.19	o 3303
695.35/702.29	o 3301
695.94/702.89	o 3299
696.53/703.47	o 3297
700.69/707.61	o 3294
701.29/708.21	o 3293
702.18/709.11	o 3292
704.16/711.19	o 3289
704.75/711.77	o 3287
705.94/712.95	o 3286
706.54/713.53	o 3285
707.43/714.45	o 3280
708.02/715.06	o 3278
709.21/716.25	o 3275
709.71/716.78	o 3272
711.49/718.54	o 3271
712.68/719.71	o 3268
714.17/721.30	o 3266
719.52/726.67	o 3265
720.11/727.27	o 3264
720.71/727.85	o 3263
722.69/729.89	o 3261
724.47/731.64	o 3260
725.66/732.84	o 3259
726.26/733.41	o 3257
726.75/733.98	o 3253
727.35/734.51	o 3252
728.44/735.60	o 3251
728.83/736.07	o 3250
729.43/736.67	o 3247
732.29/739.58	o 3245
734.57/741.87	o 3242
736.55/743.89	o 3238
737.05/744.32	o 3234
737.54/744.89	o 3231
738.14/745.46	o 3230
747.94/755.31	o 3228
750.32/757.77	o 3227
751.90/759.31	o 3226
752.49/759.92	o 3225
753.68/761.17	o 3222
754.28/761.79	o 3221
754.97/762.42	o 3220
755.57/763.04	o 3218
756.16/763.67	o 3217
759.63/767.18	o 3214
760.12/767.62	o 3213
765.67/773.24	o 3211
766.26/773.84	o 3210
767.45/775.08	o 3206
768.74/776.35	o 3205
777.06/784.70	o 3204
777.65/785.35	o 3203
778.25/785.98	o 3202
780.82/788.55	o 3199
781.91/789.66	o 3197
782.50/790.28	o 3196
783.79/791.55	o 3195
784.48/792.23	o 3194
784.88/792.69	o 3192
785.57/793.31	o 3190
786.77/794.59	o 3189
790.83/798.67	o 3186
791.22/799.06	o 3182
793.01/800.80	o 3179
794.39/802.21	o 3177
797.07/804.98	o 3176
798.06/806.00	o 3175
798.65/806.56	o 3172
801.72/809.64	o 3170
803.61/811.50	o 3169
806.57/814.57	o 3167
809.05/817.04	o 3166
809.64/817.67	o 3163
810.24/818.27	o 3162
810.93/818.90	o 3160
813.31/821.30	o 3155
813.90/821.93	o 3154
814.50/822.54	o 3153
815.09/823.17	o 3152
815.78/823.81	o 3149
827.07/835.28	o 3148
827.66/835.84	o 3144
828.36/836.51	o 3143
828.95/837.15	o 3141
829.65/837.81	o 3140
831.53/839.72	o 3139
832.82/841.01	o 3137
833.41/841.67	o 3136
834.01/842.30	o 3130
839.85/848.17	o 3124
841.04/849.34	o 3122
841.64/850.00	o 3121
850.55/858.98	o 3120
851.24/859.64	o 3119
853.22/861.61	o 3118
854.51/862.92	o 3116
855.11/863.57	o 3115
867.98/876.53	o 3114
868.67/877.20	o 3112
871.84/880.43	o 3111
872.44/881.10	o 3110
873.03/881.70	o 3108
873.72/882.36	o 3105
875.01/883.67	o 3104
883.82/892.56	o 3103
897.20/906.06	o 3101
898.48/907.38	o 3100
900.57/909.42	o 3098
901.26/910.11	o 3097
901.85/910.79	o 3095
903.24/912.19	o 3094
903.94/912.88	o 3089
913.64/922.63	o 3087
918.10/927.13	o 3084
929.59/938.77	o 3082
930.18/939.36	o 3081
931.56/940.70	o 3080
932.85/942.06	o 3078
939.89/949.18	o 3077
941.28/950.50	o 3076
941.88/951.15	o 3075
943.16/952.42	o 3071
945.74/955.05	o 3067
946.43/955.72	o 3066
947.32/956.68	o 3065
948.01/957.33	o 3064
950.99/960.33	o 3062
953.36/962.73	o 3060
953.96/963.38	o 3058
962.37/971.89	o 3056
963.06/972.57	o 3055
963.76/973.24	o 3054
965.84/975.32	o 3049
966.24/975.77	o 3048
974.06/983.69	o 3046
975.95/985.58	o 3043
978.52/988.10	o 3041
979.22/988.80	o 3040
980.50/990.18	o 3038
981.20/990.86	o 3037
982.58/992.26	o 3035
983.97/993.63	o 3034
984.47/994.15	o 3029
985.16/994.83	o 3024
986.55/996.21	o 3022
987.24/996.92	o 3021
990.01/999.71	o 3019
990.71/1000.43	o 3016
992.79/1002.53	o 3015
994.17/1003.94	o 3012
995.56/1005.34	o 3009
996.25/1006.02	o 3008
1000.01/1009.85	o 3005
1000.41/1010.23	o 3001
1000.90/1010.79	o 2999
1002.29/1012.17	o 2998
1004.27/1014.10	o 2996
1004.87/1014.74	o 2992
1007.54/1017.44	o 2990
1008.24/1018.15	o 2989
1008.93/1018.85	o 2988
1009.62/1019.54	o 2986
1010.32/1020.23	o 2985
1012.29/1022.29	o 2983
1013.68/1023.66	o 2982
1015.07/1025.06	o 2981
1015.76/1025.74	o 2979
1016.45/1026.44	o 2978
1017.84/1027.84	o 2977
1018.53/1028.53	o 2974
1018.63/1028.62	o 2973
1019.23/1029.29	o 2972
1019.92/1029.91	o 2969
1020.42/1030.49	o 2966
1023.09/1033.16	o 2962
1044.58/1054.86	o 2957
1046.66/1056.91	o 2950
1047.95/1058.27	o 2948
1050.03/1060.36	o 2945
1050.72/1061.08	o 2944
1051.41/1061.76	o 2942
1052.80/1063.17	o 2941
1054.88/1065.24	o 2938
1055.87/1066.20	o 2935
1056.17/1066.54	o 2933
1056.86/1067.22	o 2931
1060.03/1070.49	o 2930
1061.42/1071.81	o 2928
1062.71/1073.15	o 2927
1066.08/1076.58	o 2926
1069.54/1080.07	o 2925
1070.24/1080.75	o 2923
1087.27/1097.99	o 2922
1088.66/1099.38	o 2920
1089.35/1100.05	o 2918
1092.13/1102.89	o 2913
1092.91/1103.62	o 2912
1104.21/1115.02	o 2910
1110.76/1121.65	o 2905
1115.01/1125.92	o 2903
1115.60/1126.60	o 2900
1116.30/1127.30	o 2898
1118.48/1129.40	o 2896
1119.17/1130.13	o 2895
1119.86/1130.84	o 2893
1121.25/1132.27	o 2892
1123.43/1134.47	o 2891
1126.01/1137.09	o 2889
1138.36/1149.45	o 2888
1138.95/1150.09	o 2887
1139.46/1150.54	o 2885
1140.05/1151.19	o 2884
1150.15/1161.24	o 2883
1152.85/1163.95	o 2882
1154.25/1165.34	o 2881
1174.24/1185.30	o 2878
1174.94/1186.00	o 2877
1175.54/1186.69	o 2876
1176.14/1187.28	o 2874
1179.53/1190.65	o 2873
1180.24/1191.33	o 2872
1184.23/1195.39	o 2870
1184.94/1196.07	o 2869
1185.94/1197.09	o 2867
1186.54/1197.64	o 2863
1188.44/1199.59	o 2861
1190.53/1201.63	o 2858
1191.24/1202.31	o 2857
1192.53/1203.65	o 2855
1192.93/1204.08	o 2854
1195.53/1206.69	o 2852
1196.23/1207.37	o 2851
1196.93/1208.04	o 2850
1197.53/1208.60	o 2845
1198.83/1209.95	o 2843
1199.53/1210.62	o 2839
1203.83/1214.98	o 2838
1204.82/1215.90	o 2835
1212.92/1224.00	o 2833
1214.22/1225.33	o 2832
1217.52/1228.61	o 2831
1218.12/1229.27	o 2830
1224.01/1235.10	o 2828
1224.31/1235.45	o 2826
1224.91/1236.09	o 2824
1225.61/1236.73	o 2822
1226.21/1237.37	o 2820
1234.91/1246.04	o 2819
1235.51/1246.65	o 2816
1236.11/1247.29	o 2814
1236.81/1247.92	o 2812
1237.41/1248.55	o 2811
1239.21/1250.38	o 2810
1239.91/1251.04	o 2809
1240.41/1251.57	o 2808
1241.71/1252.84	o 2807
1244.21/1255.37	o 2806
1244.90/1256.00	o 2803
1269.99/1281.19	o 2802
1270.69/1281.85	o 2799
1271.29/1282.50	o 2798
1272.60/1283.78	o 2792
1273.30/1284.43	o 2791
1273.60/1284.74	o 2787
1275.50/1286.69	o 2786
1276.20/1287.34	o 2784
1282.79/1293.90	o 2783
1284.69/1295.87	o 2782
1286.08/1297.22	o 2778
1286.68/1297.89	o 2777
1287.08/1298.22	o 2776
1287.58/1298.75	o 2775
1288.28/1299.41	o 2774
1289.58/1300.75	o 2771
1290.28/1301.43	o 2769
1290.98/1302.10	o 2768
1291.58/1302.76	o 2767
1293.58/1304.77	o 2766
1294.29/1305.45	o 2764
1312.97/1324.12	o 2763
1314.28/1325.43	o 2760
1315.27/1326.43	o 2759
1317.87/1329.00	o 2755
1319.17/1330.30	o 2754
1319.77/1330.94	o 2753
1323.46/1334.63	o 2752
1324.06/1335.29	o 2750
1328.06/1339.21	o 2747
1329.36/1340.50	o 2745
1329.96/1341.16	o 2743
1330.66/1341.80	o 2740
1331.86/1343.09	o 2739
1332.56/1343.74	o 2737
1335.16/1346.31	o 2735
1335.76/1346.95	o 2734
1337.66/1348.83	o 2733
1338.26/1349.47	o 2730
1339.56/1350.79	o 2727
1340.26/1351.44	o 2726
1343.36/1354.59	o 2723
1344.06/1355.26	o 2722
1350.75/1362.00	o 2720
1352.15/1363.30	o 2719
1353.45/1364.61	o 2717
1354.05/1365.26	o 2716
1355.85/1367.08	o 2715
1357.16/1368.40	o 2713
1373.54/1384.76	o 2712
1374.14/1385.39	o 2708
1374.84/1386.03	o 2707
1376.14/1387.31	o 2706
1384.93/1396.19	o 2705
1387.73/1398.96	o 2703
1388.03/1399.29	o 2699
1388.73/1399.92	o 2698
1390.63/1401.86	o 2697
1392.54/1403.79	o 2696
1393.83/1405.08	o 2695
1394.54/1405.74	o 2692
1395.13/1406.39	o 2690
1395.83/1407.04	o 2686
1396.43/1407.69	o 2685
1399.04/1410.30	o 2682
1399.73/1410.94	o 2681
1402.23/1413.47	o 2679
1409.02/1420.23	o 2678
1409.62/1420.88	o 2675
1419.71/1430.95	o 2674
1433.31/1444.57	o 2672
1450.51/1461.74	o 2671
1453.91/1465.14	o 2670
1456.61/1467.90	o 2669
1457.31/1468.59	o 2668
1457.70/1468.95	o 2666
1460.20/1471.40	o 2665
1463.10/1474.30	o 2664
1464.40/1475.63	o 2662
1464.90/1476.15	o 2658
1465.60/1476.83	o 2656
1472.09/1483.35	o 2655
1474.69/1485.98	o 2652
1476.49/1487.74	o 2650
1478.79/1490.03	o 2649
1479.39/1490.68	o 2645
1480.09/1491.30	o 2644
1480.69/1491.96	o 2643
1480.99/1492.27	o 2641
1481.59/1492.83	o 2639
1482.69/1493.96	o 2638
1483.39/1494.61	o 2634
1485.39/1496.61	o 2632
1485.99/1497.28	o 2630
1486.69/1497.95	o 2629
1487.39/1498.62	o 2627
1487.99/1499.29	o 2626
1489.28/1500.57	o 2624
1490.68/1501.92	o 2623
1491.98/1503.28	o 2620
1493.28/1504.59	o 2619
1495.58/1506.90	o 2617
1496.28/1507.59	o 2616
1497.58/1508.87	o 2615
1498.28/1509.53	o 2614
1500.28/1511.56	o 2611
1501.57/1512.84	o 2610
1502.87/1514.19	o 2607
1503.57/1514.86	o 2605
1507.67/1518.97	o 2603
1520.86/1532.15	o 2602
1521.36/1532.60	o 2601
1521.86/1533.11	o 2600
1522.37/1533.62	o 2595
1522.86/1534.18	o 2594
1538.67/1549.96	o 2593
1539.16/1550.48	o 2592
1551.05/1562.32	o 2590
1552.35/1563.68	o 2587
1552.95/1564.28	o 2584
1554.35/1565.63	o 2583
1556.15/1567.46	o 2580
1561.53/1572.88	o 2577
1562.23/1573.56	o 2576
1564.93/1576.25	o 2575
1565.53/1576.84	o 2574
1566.83/1578.19	o 2573
1567.52/1578.87	o 2572
1568.23/1579.56	o 2571
1570.93/1582.29	o 2570
1571.43/1582.79	o 2568
1581.53/1592.83	o 2567
1582.83/1594.13	o 2565
1584.12/1595.49	o 2564
1584.83/1596.18	o 2562
1586.12/1597.45	o 2560
1587.42/1598.79	o 2559
1588.42/1599.77	o 2556
1588.72/1600.09	o 2554
1590.11/1601.43	o 2551
1591.42/1602.77	o 2550
1592.71/1604.10	o 2548
1594.11/1605.44	o 2547
1595.41/1606.78	o 2546
1596.11/1607.46	o 2545
1596.81/1608.13	o 2543
1597.51/1608.80	o 2542
1598.81/1610.16	o 2541
1599.52/1610.83	o 2540
1600.12/1611.48	o 2538
1608.51/1619.80	o 2537
1609.71/1621.08	o 2534
1610.41/1621.74	o 2531
1612.41/1623.70	o 2530
1619.61/1630.99	o 2529
1620.90/1632.27	o 2528
1621.60/1632.92	o 2526
1625.90/1637.28	o 2523
1628.81/1640.11	o 2520
1630.70/1642.08	o 2519
1631.30/1642.68	o 2511
1635.30/1646.60	o 2508
1635.89/1647.26	o 2507
1636.29/1647.64	o 2504
1636.59/1647.91	o 2501
1637.60/1648.98	o 2500
1638.19/1649.54	o 2499
1638.79/1650.18	o 2498
1639.49/1650.83	o 2496
1648.37/1659.77	o 2495
1650.95/1662.30	o 2494
1651.45/1662.85	o 2493
1652.15/1663.50	o 2491
1665.38/1676.82	o 2489
1665.88/1677.32	o 2482
1667.08/1678.51	o 2479
1667.67/1679.11	o 2477
1668.86/1680.36	o 2475
1669.56/1681.00	o 2474
1670.75/1682.28	o 2472
1671.35/1682.81	o 2471
1674.54/1686.03	o 2469
1675.73/1687.29	o 2466
1676.42/1687.93	o 2465
1676.93/1688.49	o 2464
1678.81/1690.39	o 2463
1680.11/1691.70	o 2462
1681.10/1692.63	o 2461
1681.69/1693.28	o 2459
1682.39/1693.93	o 2458
1682.99/1694.56	o 2457
1683.68/1695.21	o 2456
1684.88/1696.49	o 2453
1685.78/1697.38	o 2452
1686.37/1697.98	o 2451
1687.06/1698.60	o 2448
1688.06/1699.60	o 2446
1688.66/1700.23	o 2444
1689.96/1701.52	o 2443
1691.16/1702.74	o 2441
1691.45/1703.08	o 2438
1691.95/1703.55	o 2436
1700.51/1712.17	o 2434
1701.11/1712.72	o 2433
1701.70/1713.37	o 2432
1702.99/1714.67	o 2431
1707.57/1719.24	o 2430
1709.36/1721.08	o 2429
1710.35/1722.07	o 2425
1712.24/1723.91	o 2424
1714.04/1725.74	o 2422
1714.53/1726.21	o 2420
1715.13/1726.83	o 2418
1717.02/1728.71	o 2417
1717.62/1729.34	o 2416
1718.21/1729.96	o 2415
1720.00/1731.72	o 2410
1720.60/1732.33	o 2409
1721.20/1732.96	o 2407
1724.28/1736.07	o 2406
1724.78/1736.53	o 2404
1725.98/1737.78	o 2402
1727.56/1739.38	o 2400
1728.66/1740.46	o 2398
1731.04/1742.88	o 2394
1732.04/1743.89	o 2392
1733.33/1745.14	o 2390
1735.82/1747.68	o 2388
1740.69/1752.52	o 2387
1741.10/1752.99	o 2384
1745.38/1757.29	o 2382
1750.95/1762.88	o 2380
1758.71/1770.69	o 2379
1759.81/1771.71	o 2376
1760.30/1772.29	o 2374
1762.09/1774.07	o 2371
1762.69/1774.67	o 2367
1763.29/1775.27	o 2366
1768.16/1780.13	o 2365
1769.65/1781.66	o 2361
1770.15/1782.18	o 2355
1771.64/1783.70	o 2354
1772.04/1784.01	o 2352
1777.51/1789.53	o 2349
1778.60/1790.70	o 2347
1779.80/1791.85	o 2346
1781.48/1793.51	o 2344
1784.58/1796.63	o 2341
1785.08/1797.13	o 2338
1786.76/1798.87	o 2337
1788.95/1801.08	o 2336
1789.36/1801.45	o 2334
1789.95/1802.05	o 2332
1793.73/1805.86	o 2331
1805.24/1817.47	o 2327
1806.45/1818.61	o 2323
1806.94/1819.18	o 2320
1807.34/1819.56	o 2318
1808.53/1820.72	o 2317
1809.13/1821.32	o 2315
1809.72/1821.91	o 2313
1811.42/1823.62	o 2311
1811.91/1824.19	o 2310
1812.51/1824.73	o 2308
1813.50/1825.71	o 2306
1813.90/1826.15	o 2304
1815.39/1827.69	o 2302
1817.38/1829.63	o 2300
1818.09/1830.35	o 2298
1821.36/1833.69	o 2296
1822.55/1834.81	o 2295
1823.64/1835.95	o 2294
1824.24/1836.51	o 2292
1825.32/1837.64	o 2291
1825.82/1838.17	o 2288
1827.52/1839.84	o 2287
1828.02/1840.38	o 2285
1829.11/1841.43	o 2284
1829.61/1841.99	o 2281
1832.48/1844.81	o 2280
1832.98/1845.38	o 2279
1833.58/1845.96	o 2277
1835.77/1848.15	o 2274
1839.35/1851.75	o 2271
1839.85/1852.28	o 2269
1840.74/1853.13	o 2267
1846.31/1858.72	o 2266
1846.91/1859.30	o 2265
1848.00/1860.49	o 2264
1851.58/1864.02	o 2262
1851.78/1864.23	o 2260
1853.47/1865.98	o 2259
1854.07/1866.57	o 2258
1864.81/1877.38	o 2257
1865.41/1877.97	o 2256
1865.71/1878.28	o 2250
1866.30/1878.88	o 2249
1866.90/1879.48	o 2246
1868.09/1880.67	o 2243
1869.88/1882.44	o 2242
1870.48/1883.03	o 2241
1871.07/1883.64	o 2236
1872.77/1885.34	o 2235
1875.06/1887.63	o 2234
1877.94/1890.54	o 2232
1878.43/1891.06	o 2231
1878.63/1891.23	o 2229
1879.14/1891.72	o 2225
1880.14/1892.78	o 2224
1880.73/1893.36	o 2220
1882.42/1895.06	o 2219
1883.02/1895.63	o 2218
1884.11/1896.76	o 2217
1884.71/1897.33	o 2215
1887.99/1900.69	o 2214
1888.58/1901.21	o 2211
1889.08/1901.72	o 2208
1890.08/1902.80	o 2207
1890.67/1903.37	o 2205
1891.27/1903.94	o 2203
1891.87/1904.51	o 2202
1892.37/1905.08	o 2201
1892.97/1905.66	o 2200
1899.34/1912.04	o 2198
1900.73/1913.44	o 2196
1901.52/1914.21	o 2195
1902.02/1914.73	o 2191
1902.52/1915.28	o 2190
1905.30/1918.02	o 2188
1905.79/1918.59	o 2187
1906.29/1919.02	o 2184
1907.39/1920.13	o 2183
1908.49/1921.27	o 2182
1909.08/1921.83	o 2181
1909.58/1922.36	o 2179
1910.17/1922.92	o 2178
1911.27/1924.05	o 2177
1920.13/1932.90	o 2174
1920.33/1933.17	o 2173
1920.82/1933.70	o 2172
1923.01/1935.84	o 2169
1924.00/1936.86	o 2167
1925.59/1938.49	o 2166
1925.89/1938.71	o 2163
1926.39/1939.24	o 2160
1927.49/1940.31	o 2159
1929.07/1941.93	o 2158
1929.47/1942.34	o 2155
1929.97/1942.81	o 2152
1930.96/1943.83	o 2151
1933.65/1946.55	o 2149
1934.74/1947.64	o 2148
1935.15/1948.06	o 2146
1935.44/1948.39	o 2141
1936.34/1949.29	o 2139
1938.03/1950.92	o 2137
1940.72/1953.62	o 2134
1942.61/1955.56	o 2133
1943.61/1956.54	o 2132
1944.10/1957.07	o 2130
1945.19/1958.14	o 2126
1947.88/1960.85	o 2125
1948.47/1961.41	o 2124
1948.97/1961.95	o 2123
1949.56/1962.51	o 2120
1950.56/1963.51	o 2118
1951.05/1964.05	o 2117
1953.84/1966.84	o 2116
1954.95/1967.97	o 2114
1956.14/1969.12	o 2113
1958.43/1971.41	o 2112
1960.12/1973.12	o 2108
1960.61/1973.70	o 2107
1961.21/1974.27	o 2106
1961.80/1974.85	o 2103
1963.50/1976.59	o 2102
1964.69/1977.73	o 2101
1966.38/1979.49	o 2099
1974.83/1987.94	o 2098
1976.53/1989.67	o 2095
1977.62/1990.78	o 2093
1978.52/1991.62	o 2092
1978.82/1991.96	o 2091
1979.41/1992.53	o 2089
1980.01/1993.11	o 2087
1986.08/1999.25	o 2085
1986.68/1999.83	o 2082
1988.37/2001.57	o 2081
1993.44/2006.64	o 2078
1994.63/2007.80	o 2076
1995.13/2008.38	o 2075
2000.60/2013.85	o 2073
2002.89/2016.14	o 2072
2003.48/2016.70	o 2070
2003.98/2017.27	o 2069
2006.28/2019.55	o 2066
2007.47/2020.73	o 2064
2009.26/2022.50	o 2062
2009.85/2023.11	o 2061
2012.44/2025.76	o 2060
2014.83/2028.11	o 2059
2015.42/2028.70	o 2058
2016.62/2029.90	o 2055
2017.22/2030.51	o 2052
2017.61/2030.93	o 2050
2018.51/2031.86	o 2049
2019.00/2032.35	o 2047
2020.20/2033.53	o 2046
2020.79/2034.13	o 2045
2023.08/2036.49	o 2044
2025.46/2038.82	o 2043
2026.56/2039.99	o 2042
2027.16/2040.58	o 2041
2028.85/2042.20	o 2040
2031.14/2044.55	o 2039
2032.93/2046.32	o 2038
2038.00/2051.50	o 2037
2038.60/2052.07	o 2036
2041.49/2054.97	o 2035
2043.97/2057.45	o 2034
2044.57/2058.02	o 2033
2045.16/2058.61	o 2030
2045.66/2059.19	o 2026
2046.25/2059.78	o 2025
2048.94/2062.48	o 2023
2050.53/2064.06	o 2021
2051.03/2064.54	o 2018
2052.23/2065.72	o 2017
2052.83/2066.31	o 2016
2053.32/2066.89	o 2014
2053.92/2067.47	o 2013
2054.32/2067.85	o 2011
2057.30/2070.81	o 2010
2057.70/2071.25	o 2009
2058.30/2071.84	o 2008
2058.90/2072.43	o 2006
2059.49/2073.02	o 2003
2059.99/2073.54	o 2001
2061.18/2074.73	o 2000
2061.77/2075.33	o 1998
2067.35/2080.98	o 1996
2072.13/2085.77	o 1995
2093.31/2107.02	o 1994
2093.51/2107.24	o 1991
2094.01/2107.75	o 1990
2094.60/2108.33	o 1989
2096.20/2109.94	o 1988
2096.59/2110.31	o 1986
2097.59/2111.35	o 1983
2099.48/2113.23	o 1981
2099.97/2113.77	o 1979
2102.16/2115.93	o 1978
2105.95/2119.75	o 1976
2109.03/2122.83	o 1975
2109.53/2123.39	o 1971
2109.93/2123.77	o 1968
2110.33/2124.14	o 1967
2111.71/2125.52	o 1963
2113.31/2127.15	o 1961
2130.61/2144.54	o 1959
2137.17/2151.11	o 1958
2137.68/2151.65	o 1952
2138.17/2152.15	o 1951
2168.62/2182.74	   
2168.62/2182.74	   search
2168.62/2182.74	     run=0  nbConstraintChecks=5265215114  nbAssignments=5074
2168.62/2182.74	       =>  wckTime=2169.139  cpuTime=2155.14  mem=59M518
2168.62/2182.74	   
2168.62/2182.74	   global
2168.62/2182.74	     nbConstraintChecks=5265215114  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2168.62/2182.74	     solvingWckTime=2169.126  solvingCpuTime=2155.13  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2168.62/2182.74	     globalCpuTime=2167.15
2168.62/2182.74	       =>  wckTime=2182.503  cpuTime=2167.1  mem=59M518
2168.62/2182.75	   
2168.62/2182.75	   solver DecomposerSolver being built... 
2174.60/2189.18	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-1112917-1215875498/watcher-1112917-1215875498 -o /tmp/evaluation-result-1112917-1215875498/solver-1112917-1215875498 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112917-1215875498.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.00 2.07 4/80 20804
/proc/meminfo: memFree=1711608/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=18572 CPUtime=0
/proc/20804/stat : 20804 (runsolver) R 20802 20804 19647 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44251781 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20804/statm: 4643 292 257 25 0 2626 0

[startup+0.045354 s]
/proc/loadavg: 2.00 2.00 2.07 4/80 20804
/proc/meminfo: memFree=1711608/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=861876 CPUtime=0.03
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 2251 0 1 0 2 1 0 0 18 0 5 0 44251781 882561024 1862 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 215469 1862 854 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.102691 s]
/proc/loadavg: 2.00 2.00 2.07 4/80 20804
/proc/meminfo: memFree=1711608/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=865984 CPUtime=0.08
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 3729 0 1 0 7 1 0 0 18 0 9 0 44251781 886767616 3193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216496 3193 1685 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301727 s]
/proc/loadavg: 2.00 2.00 2.07 4/80 20804
/proc/meminfo: memFree=1711608/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=866156 CPUtime=0.27
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 5620 0 1 0 24 3 0 0 18 0 9 0 44251781 886943744 5035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216539 5035 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866156

[startup+0.702795 s]
/proc/loadavg: 2.00 2.00 2.07 4/80 20804
/proc/meminfo: memFree=1711608/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=866980 CPUtime=0.67
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 9977 0 1 0 61 6 0 0 18 0 9 0 44251781 887787520 9348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216745 9348 1968 9 0 211273 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866980

[startup+1.50194 s]
/proc/loadavg: 2.08 2.02 2.08 3/89 20813
/proc/meminfo: memFree=1667376/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867412 CPUtime=1.46
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 21052 0 1 0 135 11 0 0 18 0 9 0 44251781 888229888 20388 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216853 20388 2004 9 0 211381 0
[pid=20804/tid=20806] ppid=20802 vsize=867412 CPUtime=1.19
/proc/20804/task/20806/stat : 20806 (java) R 20802 20804 19647 0 -1 64 15769 0 1 0 110 9 0 0 25 0 9 0 44251783 888229888 20388 996147200 134512640 134550740 4294955952 18446744073709551615 4126597435 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867412 CPUtime=0.07
/proc/20804/task/20807/stat : 20807 (java) S 20802 20804 19647 0 -1 64 3984 0 0 0 6 1 0 0 16 0 9 0 44251784 888229888 20388 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44251784 888229888 20388 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44251784 888229888 20388 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888229888 20388 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867412 CPUtime=0.18
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 603 0 0 0 18 0 0 0 16 0 9 0 44251786 888229888 20388 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888229888 20388 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888229888 20388 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867412

[startup+3.1012 s]
/proc/loadavg: 2.08 2.02 2.08 4/89 20813
/proc/meminfo: memFree=1628656/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867412 CPUtime=3.05
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 24439 0 1 0 291 14 0 0 18 0 9 0 44251781 888229888 23772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216853 23772 2006 9 0 211381 0
[pid=20804/tid=20806] ppid=20802 vsize=867412 CPUtime=2.64
/proc/20804/task/20806/stat : 20806 (java) R 20802 20804 19647 0 -1 64 15806 0 1 0 254 10 0 0 25 0 9 0 44251783 888229888 23772 996147200 134512640 134550740 4294955952 18446744073709551615 4126894759 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867412 CPUtime=0.19
/proc/20804/task/20807/stat : 20807 (java) S 20802 20804 19647 0 -1 64 7321 0 0 0 16 3 0 0 17 0 9 0 44251784 888229888 23772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44251784 888229888 23772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44251784 888229888 23772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888229888 23772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867412 CPUtime=0.2
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 616 0 0 0 20 0 0 0 16 0 9 0 44251786 888229888 23772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888229888 23772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888229888 23772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867412

[startup+6.30175 s]
/proc/loadavg: 2.07 2.02 2.07 3/89 20813
/proc/meminfo: memFree=1623792/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867412 CPUtime=6.22
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 24467 0 1 0 607 15 0 0 18 0 9 0 44251781 888229888 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216853 23796 2006 9 0 211381 0
[pid=20804/tid=20806] ppid=20802 vsize=867412 CPUtime=5.78
/proc/20804/task/20806/stat : 20806 (java) R 20802 20804 19647 0 -1 64 15811 0 1 0 567 11 0 0 25 0 9 0 44251783 888229888 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4126897783 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867412 CPUtime=0.19
/proc/20804/task/20807/stat : 20807 (java) S 20802 20804 19647 0 -1 64 7321 0 0 0 16 3 0 0 16 0 9 0 44251784 888229888 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44251784 888229888 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44251784 888229888 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888229888 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867412 CPUtime=0.23
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 639 0 0 0 23 0 0 0 15 0 9 0 44251786 888229888 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888229888 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888229888 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867412

[startup+12.7019 s]
/proc/loadavg: 2.07 2.02 2.07 3/89 20813
/proc/meminfo: memFree=1608944/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867412 CPUtime=12.56
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 29970 0 1 0 1235 21 0 0 18 0 9 0 44251781 888229888 29292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216853 29292 2007 9 0 211381 0
[pid=20804/tid=20806] ppid=20802 vsize=867412 CPUtime=11.7
/proc/20804/task/20806/stat : 20806 (java) R 20802 20804 19647 0 -1 64 15821 0 1 0 1156 14 0 0 25 0 9 0 44251783 888229888 29292 996147200 134512640 134550740 4294955952 18446744073709551615 104454966 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867412 CPUtime=0.55
/proc/20804/task/20807/stat : 20807 (java) S 20802 20804 19647 0 -1 64 12788 0 0 0 50 5 0 0 17 0 9 0 44251784 888229888 29292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44251784 888229888 29292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44251784 888229888 29292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888229888 29292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867412 CPUtime=0.27
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 665 0 0 0 27 0 0 0 15 0 9 0 44251786 888229888 29292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888229888 29292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888229888 29292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867412

[startup+25.502 s]
/proc/loadavg: 2.06 2.01 2.07 3/89 20813
/proc/meminfo: memFree=1588720/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867500 CPUtime=25.21
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 34028 0 1 0 2495 26 0 0 18 0 9 0 44251781 888320000 33157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216875 33157 2640 9 0 211381 0
[pid=20804/tid=20806] ppid=20802 vsize=867500 CPUtime=23.9
/proc/20804/task/20806/stat : 20806 (java) R 20802 20804 19647 0 -1 64 15885 0 1 0 2372 18 0 0 25 0 9 0 44251783 888320000 33157 996147200 134512640 134550740 4294955952 18446744073709551615 4127215740 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867500 CPUtime=0.95
/proc/20804/task/20807/stat : 20807 (java) S 20802 20804 19647 0 -1 64 16754 0 0 0 89 6 0 0 16 0 9 0 44251784 888320000 33157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44251784 888320000 33157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44251784 888320000 33157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888320000 33157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867500 CPUtime=0.32
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 693 0 0 0 32 0 0 0 16 0 9 0 44251786 888320000 33157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888320000 33157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888320000 33157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867500

[startup+51.1024 s]
/proc/loadavg: 2.03 2.01 2.07 3/89 20813
/proc/meminfo: memFree=1588720/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867500 CPUtime=50.54
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 34033 0 1 0 5024 30 0 0 18 0 9 0 44251781 888320000 33161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216875 33161 2640 9 0 211381 0
[pid=20804/tid=20806] ppid=20802 vsize=867500 CPUtime=49.23
/proc/20804/task/20806/stat : 20806 (java) R 20802 20804 19647 0 -1 64 15886 0 1 0 4901 22 0 0 25 0 9 0 44251783 888320000 33161 996147200 134512640 134550740 4294955952 18446744073709551615 4126898767 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867500 CPUtime=0.95
/proc/20804/task/20807/stat : 20807 (java) S 20802 20804 19647 0 -1 64 16754 0 0 0 89 6 0 0 16 0 9 0 44251784 888320000 33161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44251784 888320000 33161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44251784 888320000 33161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888320000 33161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867500 CPUtime=0.33
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 697 0 0 0 33 0 0 0 15 0 9 0 44251786 888320000 33161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867500 CPUtime=0

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

[pid=20804/tid=20811] ppid=20802 vsize=867500 CPUtime=0.35
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 707 0 0 0 35 0 0 0 16 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2136.48
Current children cumulated vsize (KiB) 867500

[startup+2176 s]
/proc/loadavg: 2.05 2.14 2.10 3/91 20933
/proc/meminfo: memFree=14816/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867500 CPUtime=2161.94
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 34045 0 1 0 216079 115 0 0 18 0 9 0 44251781 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216875 33171 2640 9 0 211381 0
[pid=20804/tid=20806] ppid=20802 vsize=867500 CPUtime=2160.61
/proc/20804/task/20806/stat : 20806 (java) R 20802 20804 19647 0 -1 64 15888 0 1 0 215954 107 0 0 25 0 9 0 44251783 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4127215811 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867500 CPUtime=0.95
/proc/20804/task/20807/stat : 20807 (java) S 20802 20804 19647 0 -1 64 16754 0 0 0 89 6 0 0 16 0 9 0 44251784 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44251784 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44251784 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867500 CPUtime=0.35
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 707 0 0 0 35 0 0 0 16 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2161.94
Current children cumulated vsize (KiB) 867500

[startup+2182.4 s]
/proc/loadavg: 2.05 2.14 2.09 3/91 20933
/proc/meminfo: memFree=16160/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867500 CPUtime=2168.32
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 34045 0 1 0 216716 116 0 0 18 0 9 0 44251781 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216875 33171 2640 9 0 211381 0
[pid=20804/tid=20806] ppid=20802 vsize=867500 CPUtime=2166.98
/proc/20804/task/20806/stat : 20806 (java) R 20802 20804 19647 0 -1 64 15888 0 1 0 216591 107 0 0 25 0 9 0 44251783 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4127074423 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867500 CPUtime=0.95
/proc/20804/task/20807/stat : 20807 (java) S 20802 20804 19647 0 -1 64 16754 0 0 0 89 6 0 0 16 0 9 0 44251784 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44251784 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44251784 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867500 CPUtime=0.35
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 707 0 0 0 35 0 0 0 16 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867500 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888320000 33171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2168.32
Current children cumulated vsize (KiB) 867500

[startup+2185.6 s]
/proc/loadavg: 2.05 2.14 2.09 3/91 20933
/proc/meminfo: memFree=15136/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867664 CPUtime=2171.13
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 197299 0 1 0 216937 176 0 0 18 0 9 0 44251781 888487936 196344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216916 196353 2618 9 0 211444 0
[pid=20804/tid=20806] ppid=20802 vsize=867664 CPUtime=2168.13
/proc/20804/task/20806/stat : 20806 (java) R 20802 20804 19647 0 -1 64 15978 0 1 0 216705 108 0 0 18 0 9 0 44251783 888487936 196359 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867664 CPUtime=2.57
/proc/20804/task/20807/stat : 20807 (java) R 20802 20804 19647 0 -1 64 179896 0 0 0 191 66 0 0 16 0 9 0 44251784 888487936 196367 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44251784 888487936 196375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44251784 888487936 196382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888487936 196389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867664 CPUtime=0.39
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 735 0 0 0 39 0 0 0 15 0 9 0 44251786 888487936 196397 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888487936 196399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888487936 196399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2171.13
Current children cumulated vsize (KiB) 867664

[startup+2187.2 s]
/proc/loadavg: 2.13 2.15 2.10 3/91 20933
/proc/meminfo: memFree=15520/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867664 CPUtime=2172.71
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 200590 0 1 0 217094 177 0 0 18 0 9 0 44251781 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216916 199506 2618 9 0 211444 0
[pid=20804/tid=20806] ppid=20802 vsize=867664 CPUtime=2168.15
/proc/20804/task/20806/stat : 20806 (java) S 20802 20804 19647 0 -1 64 15980 0 1 0 216707 108 0 0 18 0 9 0 44251783 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867664 CPUtime=4.14
/proc/20804/task/20807/stat : 20807 (java) R 20802 20804 19647 0 -1 64 183161 0 0 0 347 67 0 0 18 0 9 0 44251784 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44251784 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44251784 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867664 CPUtime=0.39
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 735 0 0 0 39 0 0 0 15 0 9 0 44251786 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2172.71
Current children cumulated vsize (KiB) 867664

[startup+2188.8 s]
/proc/loadavg: 2.13 2.15 2.10 3/91 20933
/proc/meminfo: memFree=14880/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867664 CPUtime=2174.3
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 200780 0 1 0 217253 177 0 0 18 0 9 0 44251781 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216916 199506 2618 9 0 211444 0
[pid=20804/tid=20806] ppid=20802 vsize=867664 CPUtime=2168.16
/proc/20804/task/20806/stat : 20806 (java) S 20802 20804 19647 0 -1 64 15981 0 1 0 216708 108 0 0 16 0 9 0 44251783 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20807] ppid=20802 vsize=867664 CPUtime=5.71
/proc/20804/task/20807/stat : 20807 (java) R 20802 20804 19647 0 -1 64 183350 0 0 0 504 67 0 0 20 0 9 0 44251784 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44251784 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44251784 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20810] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20810/stat : 20810 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44251786 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867664 CPUtime=0.39
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 735 0 0 0 39 0 0 0 15 0 9 0 44251786 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44251786 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20804/tid=20813] ppid=20802 vsize=867664 CPUtime=0
/proc/20804/task/20813/stat : 20813 (java) S 20802 20804 19647 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44251786 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2174.3
Current children cumulated vsize (KiB) 867664

[startup+2189.2 s]
/proc/loadavg: 2.13 2.15 2.10 4/91 20933
/proc/meminfo: memFree=15520/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=867412 CPUtime=2174.67
/proc/20804/stat : 20804 (java) S 20802 20804 19647 0 -1 0 200851 0 1 0 217290 177 0 0 18 0 6 0 44251781 888229888 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20804/statm: 216853 199448 2619 9 0 211381 0
[pid=20804/tid=20806] ppid=20802 vsize=867412 CPUtime=2168.16
/proc/20804/task/20806/stat : 20806 (java) D 20802 20804 19647 0 -1 64 15985 0 1 0 216708 108 0 0 16 0 6 0 44251783 888229888 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744071563608240 0 0 -1 0 0 0
[pid=20804/tid=20808] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20808/stat : 20808 (java) S 20802 20804 19647 0 -1 64 13 0 0 0 0 0 0 0 16 0 6 0 44251784 888229888 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20809] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20809/stat : 20809 (java) S 20802 20804 19647 0 -1 64 23 0 0 0 0 0 0 0 16 0 6 0 44251784 888229888 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20811] ppid=20802 vsize=867412 CPUtime=0.39
/proc/20804/task/20811/stat : 20811 (java) S 20802 20804 19647 0 -1 64 735 0 0 0 39 0 0 0 15 0 6 0 44251786 888229888 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20804/tid=20812] ppid=20802 vsize=867412 CPUtime=0
/proc/20804/task/20812/stat : 20812 (java) S 20802 20804 19647 0 -1 64 1 0 0 0 0 0 0 0 19 0 6 0 44251786 888229888 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2174.67
Current children cumulated vsize (KiB) 867412

[startup+2189.4 s]
/proc/loadavg: 2.13 2.15 2.10 4/91 20933
/proc/meminfo: memFree=15520/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=0 CPUtime=2174.71
/proc/20804/stat : 20804 (java) Z 20802 20804 19647 0 -1 12 200852 0 1 0 217290 181 0 0 16 0 2 0 44251781 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20804/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2174.71
Current children cumulated vsize (KiB) 0

[startup+2189.5 s]
/proc/loadavg: 2.13 2.15 2.10 4/91 20933
/proc/meminfo: memFree=15520/2055920 swapFree=4180932/4192956
[pid=20804] ppid=20802 vsize=0 CPUtime=2174.79
/proc/20804/stat : 20804 (java) Z 20802 20804 19647 0 -1 12 200852 0 1 0 217290 189 0 0 16 0 2 0 44251781 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20804/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2174.79
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2189.51
CPU time (s): 2174.8
CPU user time (s): 2172.91
CPU system time (s): 1.89471
CPU usage (%): 99.3285
Max. virtual memory (cumulated for all children) (KiB): 867664

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

runsolver used 2.67359 second user time and 7.56885 second system time

The end

Launcher Data (download as text)

Begin job on node25 at 2008-07-12 17:11:39
IDJOB=1112917
IDBENCH=61496
IDSOLVER=359
FILE ID=node25/1112917-1215875498
PBS_JOBID= 7903473
Free space on /tmp= 66520 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e83daf1b7df41c00976ce9b348425bef
RANDOM SEED=1541742696

node25.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.265
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.265
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:       1712088 kB
Buffers:         35836 kB
Cached:          70776 kB
SwapCached:       5792 kB
Active:         261136 kB
Inactive:        40648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1712088 kB
SwapTotal:     4192956 kB
SwapFree:      4180932 kB
Dirty:            5748 kB
Writeback:           0 kB
Mapped:         211464 kB
Slab:            26744 kB
Committed_AS:  1055764 kB
PageTables:       2384 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= 65064 MiB
End job on node25 at 2008-07-12 17:48:08