Trace number 1112918

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 2132.59 2208.09

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.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mrdac-ddeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1112918-1215875506.xml
0.29/0.32	   
0.29/0.32	   domains being loaded...
0.29/0.36	   
0.29/0.36	   variables being loaded...
0.59/0.62	     nbVariables=2000  nbDomainTypes=13  minDomainSize=38  maxDomainSize=302  nbTotalValues=567396
0.59/0.62	       =>  wckTime=0.371  cpuTime=0.26  mem=26M382
0.59/0.62	   
0.59/0.62	   predicates being loaded...
0.59/0.69	   
0.59/0.69	   constraints being loaded...
10.75/12.41	   
10.75/12.41	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 66M877)
12.84/14.55	     nbConstraints=26753  nbConvertedConstraints=957  nbConvertConstraintsChecks=30275768  nbExtensionStructures=428
12.84/14.55	     nbSharedExtensionStructures=545  nbConflictsStructures=598  nbSharedConflictsStructures=627
12.84/14.55	     nbUnbuiltConflictsStructures=2609  nbSharedBinaryRepresentations=208004  nbEvaluationManagers=2779
12.84/14.55	     nbSharedEvaluationManagers=23017  minDegree=5  maxDegree=42  minArity=2  maxArity=2
12.84/14.55	       =>  wckTime=14.305  cpuTime=11.74  mem=86M786
13.24/14.98	   
13.24/14.98	   solver LocalSearchSolver being built... 
13.34/15.02	       =>  wckTime=14.778  cpuTime=11.77  mem=58M691
13.54/15.28	
13.54/15.28	s SATISFIABLE
13.54/15.28	o 7369
13.75/15.41	o 7361
13.75/15.48	o 7354
13.84/15.54	o 7348
13.84/15.58	o 7343
13.94/15.64	o 7335
13.94/15.66	o 7328
13.94/15.69	o 7321
14.04/15.71	o 7314
14.04/15.74	o 7307
14.04/15.77	o 7301
14.04/15.79	o 7295
14.14/15.81	o 7289
14.14/15.83	o 7285
14.14/15.86	o 7281
14.14/15.88	o 7278
14.23/15.90	o 7275
14.23/15.93	o 7272
14.23/15.96	o 7270
14.33/16.00	o 7268
14.33/16.02	o 7267
14.33/16.05	o 7266
14.33/16.09	o 7265
14.43/16.16	o 7255
14.53/16.20	o 7245
14.53/16.25	o 7237
14.53/16.30	o 7230
14.63/16.36	o 7224
14.74/16.41	o 7218
14.74/16.46	o 7213
14.84/16.51	o 7208
14.84/16.58	o 7204
14.94/16.63	o 7200
14.94/16.68	o 7196
15.04/16.74	o 7192
15.04/16.78	o 7188
15.14/16.83	o 7184
15.14/16.86	o 7180
15.24/16.91	o 7177
15.24/16.95	o 7174
15.24/16.99	o 7171
15.34/17.02	o 7168
15.34/17.05	o 7165
15.34/17.07	o 7163
15.44/17.10	o 7161
15.44/17.13	o 7159
15.44/17.15	o 7157
15.44/17.18	o 7155
15.54/17.21	o 7154
15.54/17.23	o 7153
15.54/17.29	o 7151
15.64/17.31	o 7150
15.64/17.35	o 7146
15.64/17.37	o 7139
15.74/17.42	o 7137
15.74/17.43	o 7134
15.74/17.47	o 7130
15.83/17.51	o 7125
15.83/17.55	o 7120
15.83/17.60	o 7112
15.93/17.65	o 7105
16.03/17.71	o 7098
16.03/17.76	o 7091
16.12/17.81	o 7086
16.12/17.86	o 7081
16.22/17.91	o 7076
16.22/17.96	o 7071
16.32/18.01	o 7066
16.32/18.05	o 7061
16.32/18.09	o 7057
16.42/18.14	o 7053
16.42/18.18	o 7049
16.52/18.22	o 7046
16.52/18.26	o 7042
16.62/18.30	o 7038
16.62/18.34	o 7034
16.62/18.37	o 7030
16.72/18.40	o 7026
16.72/18.44	o 7023
16.72/18.47	o 7020
16.82/18.50	o 7017
16.82/18.53	o 7014
16.82/18.56	o 7011
16.82/18.59	o 7008
16.92/18.63	o 7006
16.92/18.66	o 7004
16.92/18.70	o 7002
17.02/18.73	o 7000
17.02/18.74	o 6999
17.02/18.76	o 6998
17.02/18.78	o 6995
17.11/18.81	o 6992
17.11/18.84	o 6986
17.21/18.93	o 6982
17.31/19.01	o 6981
17.31/19.09	o 6974
17.41/19.17	o 6967
17.51/19.25	o 6961
17.61/19.32	o 6959
17.71/19.40	o 6953
17.71/19.47	o 6947
17.81/19.54	o 6946
17.91/19.62	o 6940
17.91/19.69	o 6934
18.01/19.76	o 6927
18.11/19.84	o 6921
18.21/19.90	o 6914
18.21/19.96	o 6909
18.32/20.03	o 6904
18.42/20.10	o 6900
18.42/20.18	o 6896
18.52/20.24	o 6892
18.62/20.31	o 6888
18.62/20.38	o 6884
18.72/20.45	o 6881
18.82/20.51	o 6878
18.82/20.59	o 6875
18.91/20.64	o 6872
19.01/20.71	o 6869
19.01/20.77	o 6866
19.12/20.83	o 6864
19.12/20.88	o 6862
19.22/20.93	o 6860
19.22/20.99	o 6858
19.31/21.04	o 6856
19.31/21.09	o 6854
19.41/21.14	o 6853
19.41/21.19	o 6845
19.51/21.24	o 6844
19.51/21.28	o 6843
19.61/21.32	o 6842
19.61/21.37	o 6841
19.71/21.41	o 6840
19.71/21.45	o 6839
19.71/21.49	o 6838
19.81/21.53	o 6837
20.07/21.84	o 6836
20.07/21.89	o 6832
20.17/21.92	o 6828
20.17/21.95	o 6827
20.17/21.98	o 6824
20.17/22.00	o 6821
20.27/22.03	o 6820
20.27/22.06	o 6817
20.27/22.09	o 6812
20.37/22.15	o 6804
20.37/22.18	o 6803
20.47/22.21	o 6802
20.47/22.24	o 6795
20.47/22.28	o 6791
20.57/22.31	o 6786
20.57/22.35	o 6780
20.66/22.41	o 6778
20.66/22.46	o 6776
20.66/22.49	o 6770
20.76/22.52	o 6768
20.76/22.55	o 6765
20.76/22.59	o 6762
20.86/22.62	o 6756
20.86/22.66	o 6750
20.86/22.70	o 6748
20.96/22.73	o 6746
20.96/22.77	o 6744
21.06/22.80	o 6740
21.06/22.85	o 6735
21.06/22.88	o 6730
21.16/22.92	o 6728
21.16/22.96	o 6726
21.16/22.99	o 6725
21.27/23.03	o 6722
21.27/23.07	o 6720
21.37/23.11	o 6717
21.37/23.15	o 6713
21.37/23.19	o 6706
21.46/23.26	o 6702
21.56/23.31	o 6698
21.56/23.36	o 6696
21.66/23.41	o 6692
21.66/23.47	o 6689
21.76/23.52	o 6683
21.76/23.57	o 6677
21.86/23.63	o 6672
21.86/23.68	o 6666
21.96/23.74	o 6662
21.96/23.79	o 6658
22.06/23.90	o 6655
22.15/23.95	o 6652
22.15/23.99	o 6649
22.25/24.04	o 6646
22.25/24.09	o 6643
22.36/24.13	o 6640
22.36/24.18	o 6637
22.46/24.23	o 6632
22.46/24.27	o 6629
22.55/24.32	o 6627
22.55/24.36	o 6625
22.55/24.39	o 6621
22.65/24.43	o 6619
22.65/24.48	o 6617
22.76/24.52	o 6615
22.76/24.55	o 6614
22.76/24.58	o 6613
22.86/24.62	o 6606
22.86/24.65	o 6605
23.06/24.86	o 6602
23.16/24.98	o 6601
23.26/25.04	o 6596
23.26/25.09	o 6590
23.36/25.13	o 6588
23.46/25.22	o 6584
23.46/25.27	o 6583
23.65/25.42	o 6581
23.65/25.47	o 6580
23.75/25.51	o 6579
23.75/25.55	o 6578
23.85/25.60	o 6573
23.85/25.65	o 6568
23.95/25.70	o 6567
23.95/25.75	o 6561
24.05/25.83	o 6559
24.05/25.88	o 6555
24.15/25.99	o 6554
24.25/26.03	o 6550
24.25/26.08	o 6547
24.35/26.13	o 6546
24.45/26.22	o 6543
24.45/26.27	o 6542
24.55/26.31	o 6537
24.55/26.37	o 6535
24.65/26.47	o 6530
24.75/26.52	o 6529
24.75/26.58	o 6528
24.84/26.63	o 6527
24.84/26.68	o 6523
24.94/26.74	o 6517
24.94/26.79	o 6514
25.04/26.85	o 6508
25.14/26.91	o 6502
25.14/26.96	o 6497
25.24/27.01	o 6496
25.24/27.08	o 6495
25.34/27.14	o 6494
25.44/27.28	o 6489
25.54/27.34	o 6484
25.65/27.42	o 6478
25.74/27.51	o 6473
25.74/27.59	o 6469
25.84/27.67	o 6465
25.94/27.74	o 6461
26.03/27.81	o 6457
26.03/27.88	o 6453
26.13/27.96	o 6449
26.24/28.03	o 6446
26.24/28.10	o 6443
26.34/28.17	o 6440
26.44/28.24	o 6437
26.54/28.31	o 6434
26.54/28.37	o 6431
26.64/28.43	o 6426
26.64/28.49	o 6424
26.74/28.55	o 6422
26.84/28.61	o 6420
26.84/28.67	o 6418
26.94/28.73	o 6416
26.94/28.78	o 6414
27.04/28.84	o 6413
27.24/29.07	o 6412
27.34/29.14	o 6411
27.43/29.25	o 6409
27.43/29.30	o 6408
27.53/29.35	o 6406
27.63/29.43	o 6404
27.63/29.49	o 6401
27.73/29.53	o 6398
27.73/29.58	o 6393
27.94/29.76	o 6389
28.03/29.81	o 6383
28.03/29.85	o 6380
28.13/29.94	o 6378
28.13/29.99	o 6372
28.23/30.04	o 6367
28.23/30.09	o 6361
28.33/30.13	o 6356
28.33/30.17	o 6355
28.43/30.23	o 6353
28.63/30.47	o 6351
28.73/30.55	o 6348
28.73/30.59	o 6346
28.83/30.63	o 6345
28.83/30.68	o 6341
28.93/30.72	o 6335
28.93/30.76	o 6331
28.93/30.80	o 6329
29.03/30.88	o 6326
29.13/30.93	o 6324
29.13/30.97	o 6319
29.23/31.02	o 6318
29.23/31.07	o 6315
29.34/31.12	o 6313
29.34/31.18	o 6312
29.44/31.23	o 6308
29.44/31.29	o 6303
29.54/31.33	o 6299
29.54/31.38	o 6296
29.64/31.44	o 6294
29.74/31.50	o 6293
29.74/31.56	o 6287
29.83/31.62	o 6283
29.83/31.67	o 6282
29.93/31.72	o 6279
30.04/31.90	o 6277
30.14/31.96	o 6273
30.33/32.13	o 6270
30.43/32.20	o 6267
30.43/32.26	o 6261
30.53/32.39	o 6260
30.63/32.44	o 6259
30.73/32.50	o 6254
30.73/32.56	o 6253
30.82/32.61	o 6251
30.82/32.67	o 6250
30.92/32.72	o 6247
30.92/32.77	o 6244
31.02/32.83	o 6240
31.02/32.89	o 6239
31.13/32.96	o 6237
31.23/33.08	o 6233
31.32/33.13	o 6226
31.32/33.19	o 6219
31.42/33.24	o 6218
31.52/33.31	o 6214
31.62/33.44	o 6209
31.72/33.50	o 6206
31.72/33.56	o 6204
31.82/33.64	o 6201
31.92/33.71	o 6199
32.01/33.89	o 6194
32.11/33.97	o 6186
32.22/34.03	o 6183
32.22/34.10	o 6181
32.32/34.18	o 6175
32.51/34.33	o 6170
32.61/34.42	o 6166
32.71/34.50	o 6162
32.71/34.57	o 6159
32.81/34.65	o 6156
32.91/34.73	o 6153
33.01/34.81	o 6151
33.01/34.88	o 6149
33.12/34.95	o 6147
33.22/35.02	o 6145
33.22/35.10	o 6144
33.32/35.18	o 6143
33.42/35.25	o 6142
33.52/35.33	o 6136
33.82/35.61	o 6134
34.02/35.82	o 6131
34.02/35.90	o 6129
34.11/35.95	o 6125
34.21/36.08	o 6123
34.91/36.77	o 6119
35.01/36.83	o 6118
35.21/37.01	o 6117
35.21/37.08	o 6114
35.31/37.13	o 6111
35.41/37.20	o 6105
35.41/37.26	o 6104
35.51/37.33	o 6100
35.71/37.52	o 6098
35.71/37.59	o 6096
35.80/37.66	o 6091
35.90/37.72	o 6090
35.90/37.79	o 6084
36.00/37.85	o 6079
36.10/37.90	o 6077
36.30/38.10	o 6074
36.30/38.17	o 6072
36.40/38.24	o 6069
36.50/38.32	o 6068
36.50/38.39	o 6065
36.60/38.47	o 6064
36.70/38.54	o 6061
36.80/38.61	o 6059
36.80/38.68	o 6057
36.90/38.76	o 6053
37.00/38.84	o 6049
37.11/38.91	o 6046
37.11/38.98	o 6042
37.30/39.12	o 6037
37.30/39.19	o 6034
37.40/39.26	o 6030
37.50/39.34	o 6029
37.60/39.41	o 6024
37.60/39.49	o 6023
37.71/39.57	o 6020
37.81/39.65	o 6014
37.90/39.72	o 6012
38.00/39.81	o 6009
38.10/39.96	o 6007
38.30/40.20	o 6000
38.40/40.27	o 5995
38.50/40.35	o 5994
38.60/40.44	o 5991
38.70/40.53	o 5987
38.80/40.61	o 5986
38.90/40.71	o 5983
39.00/40.80	o 5982
39.00/40.89	o 5976
39.10/40.98	o 5974
39.20/41.06	o 5969
39.30/41.15	o 5966
39.40/41.23	o 5963
39.60/41.40	o 5961
39.60/41.48	o 5959
39.70/41.55	o 5958
39.80/41.63	o 5955
39.90/41.71	o 5952
40.00/41.87	o 5947
40.10/41.95	o 5943
40.20/42.03	o 5939
40.30/42.12	o 5936
40.39/42.20	o 5934
40.39/42.28	o 5931
40.49/42.37	o 5926
40.59/42.47	o 5925
40.99/42.80	o 5919
40.99/42.88	o 5917
41.09/42.97	o 5911
41.19/43.06	o 5907
41.39/43.23	o 5905
41.49/43.31	o 5903
41.69/43.59	o 5902
41.89/43.78	o 5901
41.98/43.87	o 5899
42.39/44.22	o 5897
42.49/44.33	o 5895
42.59/44.43	o 5890
42.69/44.53	o 5888
42.79/44.63	o 5887
42.89/44.74	o 5884
42.99/44.84	o 5881
43.09/44.94	o 5879
43.19/45.04	o 5878
43.29/45.14	o 5875
43.39/45.24	o 5874
43.89/45.73	o 5873
44.19/46.01	o 5867
44.29/46.11	o 5865
44.39/46.21	o 5861
44.49/46.31	o 5860
44.59/46.41	o 5855
44.79/46.62	o 5853
44.89/46.74	o 5851
44.99/46.84	o 5847
45.39/47.24	o 5846
45.49/47.34	o 5840
45.79/47.67	o 5836
45.89/47.78	o 5835
45.99/47.89	o 5833
46.38/48.23	o 5831
46.48/48.33	o 5827
46.68/48.54	o 5825
46.78/48.65	o 5820
46.88/48.78	o 5817
47.07/48.90	o 5810
47.27/49.16	o 5808
47.58/49.43	o 5805
47.77/49.68	o 5803
48.07/49.93	o 5799
48.17/50.05	o 5796
48.47/50.31	o 5795
48.57/50.45	o 5792
48.67/50.58	o 5785
48.77/50.70	o 5783
48.97/50.82	o 5781
49.07/50.95	o 5779
49.17/51.08	o 5776
49.37/51.21	o 5774
49.47/51.35	o 5773
49.77/51.60	o 5769
49.87/51.74	o 5764
49.97/51.87	o 5763
50.17/52.01	o 5761
50.27/52.14	o 5760
50.37/52.28	o 5753
50.47/52.39	o 5747
50.67/52.52	o 5743
50.77/52.65	o 5740
51.07/52.93	o 5737
51.37/53.22	o 5736
51.47/53.37	o 5733
51.67/53.50	o 5732
51.77/53.65	o 5731
52.07/53.92	o 5730
52.17/54.06	o 5725
52.37/54.20	o 5724
52.57/54.48	o 5722
52.77/54.61	o 5719
52.87/54.74	o 5717
52.97/54.87	o 5715
53.07/55.00	o 5712
53.27/55.12	o 5711
53.37/55.27	o 5708
53.57/55.41	o 5705
53.67/55.53	o 5704
53.77/55.67	o 5701
53.97/55.81	o 5699
54.07/55.96	o 5697
54.17/56.10	o 5696
54.47/56.38	o 5694
54.67/56.51	o 5689
54.76/56.65	o 5686
54.86/56.80	o 5683
55.06/56.94	o 5681
55.16/57.07	o 5680
55.37/57.22	o 5677
55.66/57.51	o 5675
55.76/57.65	o 5672
55.86/57.78	o 5671
56.06/57.92	o 5669
56.16/58.07	o 5666
56.36/58.21	o 5660
56.46/58.36	o 5658
56.66/58.51	o 5656
56.76/58.65	o 5652
56.86/58.79	o 5649
57.06/58.93	o 5646
57.16/59.07	o 5644
57.36/59.21	o 5642
57.46/59.35	o 5640
57.76/59.64	o 5637
57.86/59.79	o 5636
58.46/60.36	o 5634
58.66/60.50	o 5630
58.75/60.65	o 5629
59.15/61.05	o 5627
59.25/61.19	o 5624
59.45/61.32	o 5621
59.55/61.45	o 5618
59.66/61.58	o 5613
60.65/62.52	o 5611
60.76/62.66	o 5609
60.95/62.81	o 5608
61.34/63.21	o 5603
61.74/63.65	o 5599
61.85/63.79	o 5598
62.34/64.22	o 5596
62.44/64.36	o 5593
62.64/64.52	o 5586
62.75/64.66	o 5585
62.96/64.82	o 5583
63.06/64.97	o 5578
63.25/65.11	o 5575
63.35/65.25	o 5572
63.45/65.39	o 5571
63.65/65.55	o 5570
63.75/65.69	o 5566
64.05/65.99	o 5562
64.65/66.59	o 5559
64.85/66.75	o 5555
65.05/66.93	o 5552
65.15/67.08	o 5549
65.35/67.24	o 5546
65.45/67.39	o 5544
65.65/67.54	o 5540
65.75/67.70	o 5536
65.95/67.87	o 5530
66.15/68.03	o 5529
66.35/68.21	o 5528
66.44/68.37	o 5524
66.94/68.86	o 5517
67.14/69.02	o 5511
67.24/69.19	o 5507
67.94/69.82	o 5505
68.84/70.76	o 5503
69.04/70.92	o 5501
69.14/71.07	o 5499
69.44/71.38	o 5495
69.64/71.54	o 5493
70.13/72.01	o 5489
70.23/72.16	o 5488
70.43/72.31	o 5486
70.74/72.61	o 5484
71.13/73.04	o 5481
71.23/73.19	o 5478
71.43/73.35	o 5475
71.73/73.63	o 5474
71.83/73.77	o 5473
72.03/73.91	o 5471
72.13/74.04	o 5466
72.23/74.18	o 5462
72.43/74.32	o 5460
72.53/74.46	o 5454
72.83/74.74	o 5450
72.93/74.89	o 5447
73.22/75.18	o 5443
73.42/75.32	o 5435
73.52/75.46	o 5434
73.72/75.60	o 5432
73.82/75.74	o 5431
73.93/75.88	o 5429
74.12/76.03	o 5427
74.22/76.17	o 5423
74.42/76.32	o 5422
74.52/76.48	o 5420
74.72/76.62	o 5414
74.82/76.76	o 5411
74.93/76.90	o 5410
75.14/77.04	o 5409
75.23/77.19	o 5408
75.43/77.33	o 5404
75.53/77.46	o 5401
75.73/77.60	o 5396
75.83/77.74	o 5392
75.93/77.88	o 5391
76.24/78.16	o 5390
76.33/78.29	o 5387
76.63/78.56	o 5381
76.82/78.72	o 5375
76.92/78.87	o 5370
77.22/79.13	o 5368
77.32/79.28	o 5363
77.52/79.42	o 5361
77.62/79.55	o 5357
77.72/79.69	o 5353
77.92/79.83	o 5348
78.02/79.98	o 5343
78.21/80.12	o 5340
78.32/80.26	o 5338
78.51/80.40	o 5334
78.61/80.54	o 5327
78.71/80.67	o 5321
78.91/80.80	o 5320
79.01/80.94	o 5317
79.11/81.08	o 5315
79.31/81.21	o 5310
79.42/81.35	o 5309
79.71/81.63	o 5306
79.81/81.76	o 5304
79.91/81.90	o 5302
80.11/82.03	o 5298
80.52/82.44	o 5297
80.91/82.85	o 5294
81.21/83.12	o 5293
81.62/83.55	o 5292
82.01/83.99	o 5291
82.21/84.13	o 5288
82.31/84.26	o 5285
82.91/84.88	o 5283
83.11/85.03	o 5279
83.21/85.17	o 5278
83.41/85.31	o 5274
83.50/85.46	o 5269
83.70/85.61	o 5268
83.81/85.76	o 5264
84.00/85.90	o 5260
84.10/86.05	o 5257
84.30/86.21	o 5256
84.40/86.34	o 5253
84.50/86.49	o 5249
84.70/86.64	o 5244
84.80/86.78	o 5243
85.01/86.94	o 5241
85.10/87.09	o 5238
85.50/87.41	o 5232
85.60/87.57	o 5228
85.90/87.89	o 5225
86.10/88.05	o 5223
86.41/88.38	o 5220
86.61/88.54	o 5218
86.81/88.71	o 5217
86.91/88.88	o 5213
87.11/89.06	o 5211
87.60/89.56	o 5210
87.80/89.73	o 5205
88.10/90.08	o 5204
88.30/90.24	o 5201
88.60/90.57	o 5199
88.80/90.72	o 5194
88.90/90.88	o 5190
89.10/91.03	o 5187
89.20/91.20	o 5184
90.40/92.33	o 5182
90.69/92.66	o 5181
90.89/92.82	o 5178
90.99/92.98	o 5176
91.19/93.14	o 5171
91.50/93.47	o 5168
91.79/93.79	o 5165
92.49/94.46	o 5160
92.69/94.62	o 5156
93.09/95.09	o 5152
93.79/95.72	o 5150
94.09/96.06	o 5148
94.29/96.23	o 5147
94.39/96.39	o 5145
94.59/96.56	o 5144
94.79/96.72	o 5139
94.89/96.87	o 5136
95.08/97.03	o 5133
95.18/97.18	o 5127
95.38/97.35	o 5121
95.58/97.52	o 5117
95.68/97.68	o 5116
95.89/97.84	o 5113
95.99/97.99	o 5112
96.18/98.15	o 5110
96.38/98.31	o 5108
96.48/98.46	o 5106
96.68/98.61	o 5102
96.99/98.92	o 5098
97.09/99.08	o 5096
97.28/99.23	o 5094
97.78/99.71	o 5089
97.88/99.86	o 5085
98.08/100.02	o 5081
98.18/100.18	o 5080
98.38/100.33	o 5077
98.68/100.64	o 5070
98.88/100.82	o 5064
99.18/101.13	o 5060
99.28/101.28	o 5056
99.48/101.44	o 5055
99.78/101.77	o 5053
100.17/102.10	o 5051
100.67/102.60	o 5049
100.77/102.77	o 5046
101.17/103.10	o 5043
101.27/103.27	o 5041
101.37/103.39	o 5039
101.57/103.55	o 5037
101.77/103.71	o 5035
101.87/103.88	o 5032
102.07/104.04	o 5028
102.28/104.20	o 5024
102.38/104.36	o 5023
102.58/104.53	o 5019
102.87/104.87	o 5017
103.07/105.04	o 5015
103.27/105.20	o 5011
103.37/105.37	o 5008
103.57/105.53	o 5006
103.77/105.70	o 5000
104.37/106.36	o 4998
104.57/106.53	o 4995
104.67/106.70	o 4993
104.86/106.86	o 4990
105.06/107.02	o 4988
105.16/107.18	o 4983
105.36/107.34	o 4976
105.56/107.51	o 4974
105.87/107.83	o 4972
106.06/108.00	o 4971
106.36/108.33	o 4967
106.46/108.48	o 4966
106.66/108.62	o 4964
106.76/108.78	o 4962
106.96/108.94	o 4960
107.26/109.27	o 4959
108.45/110.47	o 4958
108.65/110.62	o 4955
108.75/110.77	o 4954
109.06/111.07	o 4951
109.25/111.23	o 4949
109.35/111.38	o 4948
109.55/111.54	o 4944
109.65/111.69	o 4943
110.15/112.16	o 4941
110.35/112.32	o 4938
110.45/112.46	o 4937
110.75/112.76	o 4932
110.95/112.92	o 4927
111.06/113.09	o 4924
111.26/113.24	o 4923
111.36/113.40	o 4922
111.86/113.88	o 4921
112.06/114.03	o 4916
112.36/114.33	o 4913
112.46/114.49	o 4912
112.65/114.64	o 4910
112.75/114.79	o 4907
112.95/114.93	o 4904
113.06/115.10	o 4901
113.35/115.39	o 4898
113.75/115.72	o 4895
113.84/115.87	o 4890
113.94/115.99	o 4888
114.34/116.32	o 4885
114.44/116.48	o 4880
114.65/116.62	o 4877
115.04/117.09	o 4875
115.24/117.26	o 4870
115.44/117.42	o 4866
115.54/117.59	o 4863
115.74/117.76	o 4862
115.94/117.94	o 4860
116.14/118.11	o 4858
116.34/118.30	o 4856
116.64/118.67	o 4854
116.84/118.86	o 4853
117.04/119.04	o 4852
117.34/119.39	o 4850
117.54/119.58	o 4849
117.74/119.77	o 4846
117.94/119.95	o 4842
118.14/120.12	o 4839
118.34/120.30	o 4836
118.64/120.64	o 4834
118.83/120.83	o 4832
118.94/120.99	o 4828
119.13/121.15	o 4825
119.33/121.32	o 4823
119.53/121.50	o 4822
119.63/121.68	o 4821
119.83/121.86	o 4816
120.43/122.40	o 4810
120.53/122.58	o 4808
120.73/122.75	o 4807
121.33/123.31	o 4805
121.53/123.52	o 4803
121.93/123.90	o 4802
122.13/124.12	o 4800
122.34/124.33	o 4799
122.53/124.53	o 4798
122.73/124.71	o 4795
122.93/124.92	o 4792
123.13/125.11	o 4787
123.44/125.49	o 4784
123.63/125.68	o 4781
123.83/125.89	o 4779
124.43/126.47	o 4778
124.63/126.66	o 4775
124.82/126.85	o 4772
125.22/127.22	o 4770
125.53/127.59	o 4766
125.72/127.79	o 4765
125.92/127.96	o 4764
126.12/128.17	o 4762
126.32/128.36	o 4761
126.52/128.55	o 4759
126.92/128.94	o 4756
127.12/129.13	o 4753
127.22/129.24	o 4750
127.82/129.81	o 4745
127.91/130.00	o 4744
128.21/130.21	o 4743
128.41/130.40	o 4742
128.41/130.47	o 4739
128.61/130.66	o 4735
128.82/130.85	o 4734
129.01/131.06	o 4733
129.60/131.67	o 4731
129.80/131.88	o 4727
130.01/132.10	o 4726
130.30/132.30	o 4724
130.50/132.54	o 4723
130.70/132.70	o 4721
130.90/132.91	o 4720
132.11/134.16	o 4717
132.71/134.79	o 4716
133.01/135.00	o 4713
133.22/135.21	o 4711
134.81/136.89	o 4708
135.11/137.10	o 4705
135.30/137.32	o 4702
135.51/137.53	o 4699
136.30/138.36	o 4696
136.51/138.56	o 4691
136.99/139.00	o 4689
137.19/139.21	o 4688
137.39/139.41	o 4686
137.60/139.63	o 4685
137.79/139.83	o 4683
137.99/140.04	o 4682
138.19/140.25	o 4680
138.39/140.46	o 4673
138.59/140.68	o 4672
138.89/140.90	o 4670
139.09/141.11	o 4669
139.29/141.32	o 4667
140.68/142.74	o 4660
141.08/143.16	o 4659
141.28/143.30	o 4658
142.28/144.37	o 4655
142.48/144.58	o 4651
142.68/144.78	o 4646
142.88/144.99	o 4642
143.18/145.20	o 4640
143.78/145.82	o 4638
143.98/146.02	o 4634
144.18/146.22	o 4632
144.48/146.56	o 4631
144.67/146.77	o 4630
145.07/147.17	o 4624
145.27/147.37	o 4623
145.47/147.58	o 4619
145.67/147.79	o 4618
146.17/148.20	o 4617
146.77/148.80	o 4615
146.97/149.01	o 4614
147.17/149.21	o 4611
147.37/149.42	o 4609
147.77/149.82	o 4608
147.97/150.03	o 4607
148.37/150.42	o 4604
148.57/150.63	o 4601
148.77/150.85	o 4595
148.97/151.06	o 4594
149.17/151.26	o 4592
149.36/151.47	o 4590
149.56/151.68	o 4588
149.77/151.88	o 4586
150.07/152.10	o 4584
150.67/152.73	o 4580
150.87/152.93	o 4577
151.07/153.14	o 4574
151.46/153.55	o 4572
151.66/153.75	o 4569
152.06/154.15	o 4566
152.66/154.77	o 4562
152.86/154.98	o 4561
153.07/155.19	o 4556
153.26/155.40	o 4555
153.56/155.60	o 4554
153.76/155.81	o 4553
153.86/155.99	o 4550
154.16/156.21	o 4548
154.36/156.41	o 4544
154.56/156.63	o 4542
154.75/156.85	o 4541
154.95/157.08	o 4539
155.15/157.30	o 4537
155.45/157.52	o 4535
155.65/157.74	o 4534
155.85/157.96	o 4531
156.05/158.18	o 4528
157.16/159.24	o 4524
157.36/159.45	o 4523
157.56/159.65	o 4520
157.76/159.86	o 4515
157.96/160.08	o 4512
158.16/160.29	o 4509
158.46/160.51	o 4507
158.65/160.74	o 4503
158.85/160.96	o 4499
159.05/161.18	o 4496
159.25/161.40	o 4495
159.56/161.62	o 4494
160.45/162.51	o 4493
160.65/162.72	o 4490
160.85/162.94	o 4489
161.55/163.63	o 4488
161.75/163.85	o 4487
161.94/164.08	o 4486
162.24/164.30	o 4482
162.44/164.52	o 4481
163.04/165.16	o 4479
163.24/165.32	o 4476
163.44/165.53	o 4475
163.64/165.76	o 4473
163.84/165.99	o 4470
164.34/166.46	o 4469
165.74/167.89	o 4465
166.04/168.13	o 4461
166.25/168.37	o 4459
167.04/169.12	o 4457
167.24/169.36	o 4454
167.54/169.62	o 4453
167.94/170.03	o 4450
168.14/170.22	o 4444
168.34/170.45	o 4441
168.54/170.68	o 4440
168.74/170.85	o 4435
169.44/171.55	o 4434
169.93/172.02	o 4428
170.64/172.73	o 4425
171.03/173.19	o 4423
171.33/173.44	o 4422
171.53/173.68	o 4419
171.83/173.91	o 4416
172.03/174.16	o 4413
172.23/174.39	o 4410
172.53/174.62	o 4409
172.73/174.85	o 4408
172.93/175.08	o 4407
173.73/175.81	o 4405
173.93/176.05	o 4401
174.63/176.73	o 4395
174.83/176.96	o 4394
175.03/177.18	o 4392
175.33/177.41	o 4389
175.53/177.63	o 4387
175.73/177.87	o 4385
176.22/178.36	o 4383
176.53/178.60	o 4382
177.43/179.51	o 4381
177.63/179.75	o 4377
177.83/179.98	o 4375
178.52/180.67	o 4370
178.82/180.90	o 4368
180.32/182.50	o 4365
180.62/182.73	o 4363
180.82/182.96	o 4359
181.12/183.21	o 4356
181.32/183.45	o 4353
181.52/183.68	o 4351
182.01/184.17	o 4349
182.31/184.41	o 4345
182.51/184.65	o 4343
183.01/185.13	o 4341
183.51/185.62	o 4339
184.21/186.32	o 4336
185.71/187.82	o 4334
185.91/188.07	o 4333
186.40/188.57	o 4332
190.00/192.14	o 4330
190.50/192.60	o 4327
192.29/194.50	o 4325
192.60/194.74	o 4321
193.09/195.21	o 4319
193.29/195.43	o 4315
193.49/195.66	o 4312
193.70/195.88	o 4311
193.99/196.11	o 4310
194.39/196.56	o 4309
194.59/196.79	o 4305
194.89/197.01	o 4304
195.09/197.26	o 4301
195.29/197.48	o 4300
195.49/197.69	o 4299
195.69/197.90	o 4294
196.48/198.62	o 4292
197.18/199.33	o 4290
197.57/199.79	o 4289
197.87/200.02	o 4287
198.78/200.95	o 4284
199.98/202.17	o 4278
200.48/202.65	o 4276
200.78/202.91	o 4271
200.97/203.14	o 4269
201.17/203.40	o 4267
201.47/203.64	o 4265
201.77/203.90	o 4262
202.27/204.41	o 4260
203.57/205.72	o 4258
203.76/205.97	o 4257
204.26/206.46	o 4252
204.56/206.72	o 4244
205.06/207.23	o 4243
205.56/207.77	o 4242
206.06/208.29	o 4241
206.36/208.55	o 4240
206.86/209.08	o 4239
207.16/209.35	o 4236
208.75/210.91	o 4234
208.96/211.15	o 4231
209.25/211.42	o 4229
209.75/211.95	o 4228
210.55/212.74	o 4225
210.75/213.00	o 4221
211.05/213.25	o 4220
211.25/213.49	o 4216
211.55/213.75	o 4213
211.85/214.02	o 4212
212.05/214.27	o 4211
212.35/214.53	o 4208
212.55/214.79	o 4204
212.85/215.04	o 4200
213.05/215.30	o 4199
213.35/215.54	o 4198
214.04/216.23	o 4197
214.24/216.44	o 4196
214.74/216.93	o 4195
215.75/217.94	o 4193
215.95/218.19	o 4192
216.25/218.44	o 4190
216.95/219.17	o 4188
217.25/219.42	o 4186
217.75/219.91	o 4185
218.45/220.67	o 4182
218.75/220.91	o 4180
218.95/221.16	o 4179
219.44/221.68	o 4178
219.74/221.95	o 4174
219.95/222.20	o 4171
221.24/223.49	o 4170
224.83/227.00	o 4169
225.03/227.26	o 4167
225.82/228.02	o 4166
226.32/228.54	o 4164
226.62/228.81	o 4162
226.82/229.06	o 4160
227.32/229.56	o 4158
227.62/229.81	o 4157
227.81/230.07	o 4155
228.11/230.33	o 4154
228.22/230.47	o 4153
228.73/230.95	o 4150
229.02/231.21	o 4146
229.22/231.45	o 4145
230.02/232.23	o 4144
230.22/232.49	o 4142
230.72/232.99	o 4141
231.02/233.24	o 4139
231.31/233.50	o 4138
231.51/233.76	o 4136
231.81/234.02	o 4133
232.02/234.28	o 4132
232.31/234.55	o 4130
232.61/234.81	o 4125
233.12/235.32	o 4124
233.31/235.58	o 4123
233.61/235.84	o 4120
234.11/236.39	o 4119
234.71/236.96	o 4115
235.01/237.22	o 4113
235.21/237.49	o 4110
235.51/237.75	o 4107
235.71/237.93	o 4103
236.00/238.21	o 4102
236.20/238.47	o 4100
236.51/238.75	o 4099
236.80/239.02	o 4094
237.10/239.31	o 4092
237.61/239.86	o 4088
237.90/240.14	o 4085
238.20/240.41	o 4084
240.29/242.59	o 4082
240.49/242.72	o 4081
240.69/242.98	o 4080
240.99/243.26	o 4078
241.90/244.13	o 4077
242.19/244.40	o 4075
242.39/244.69	o 4074
242.69/244.98	o 4073
243.00/245.27	o 4072
243.59/245.85	o 4068
244.20/246.43	o 4066
244.79/247.03	o 4062
244.99/247.28	o 4061
245.29/247.58	o 4058
245.78/248.03	o 4056
246.08/248.32	o 4055
246.39/248.60	o 4050
247.18/249.49	o 4049
247.49/249.78	o 4047
249.28/251.55	o 4046
250.48/252.76	o 4045
251.08/253.37	o 4044
251.38/253.66	o 4041
251.68/253.96	o 4039
252.28/254.55	o 4034
252.58/254.84	o 4030
252.88/255.14	o 4026
255.78/258.04	o 4025
256.08/258.32	o 4024
257.17/259.50	o 4021
257.47/259.75	o 4019
258.07/260.35	o 4018
258.97/261.22	o 4014
260.17/262.41	o 4013
260.97/263.28	o 4010
261.87/264.17	o 4007
262.56/264.81	o 4002
262.77/265.10	o 4000
263.06/265.39	o 3997
263.46/265.70	o 3996
263.76/266.01	o 3995
264.06/266.32	o 3991
264.36/266.63	o 3986
264.66/266.93	o 3983
264.96/267.23	o 3982
265.26/267.53	o 3980
265.56/267.84	o 3977
265.86/268.16	o 3974
266.16/268.47	o 3973
266.45/268.79	o 3970
267.16/269.42	o 3967
267.75/270.04	o 3966
268.36/270.67	o 3963
269.05/271.30	o 3962
271.94/274.25	o 3961
272.34/274.60	o 3958
272.65/274.97	o 3956
273.04/275.33	o 3955
273.34/275.67	o 3954
273.74/276.04	o 3952
274.04/276.37	o 3949
274.44/276.74	o 3948
275.14/277.46	o 3946
275.54/277.81	o 3945
275.84/278.16	o 3944
276.24/278.51	o 3941
276.94/279.22	o 3940
277.64/279.93	o 3937
278.33/280.64	o 3934
281.13/283.42	o 3931
281.43/283.79	o 3928
281.83/284.15	o 3927
282.13/284.48	o 3923
282.53/284.85	o 3922
282.93/285.22	o 3921
283.23/285.58	o 3918
284.62/286.97	o 3917
287.91/290.22	o 3914
288.21/290.57	o 3913
288.61/290.93	o 3911
288.91/291.28	o 3910
289.61/291.97	o 3909
290.01/292.33	o 3908
291.32/293.69	o 3904
294.41/296.74	o 3901
294.71/297.09	o 3900
295.10/297.43	o 3898
295.81/298.13	o 3894
296.10/298.48	o 3886
297.80/300.13	o 3885
298.80/301.15	o 3883
299.50/301.83	o 3881
299.80/302.17	o 3875
300.49/302.85	o 3874
300.79/303.18	o 3872
301.20/303.51	o 3870
301.49/303.85	o 3867
303.51/305.83	o 3866
304.80/307.14	o 3862
305.10/307.47	o 3859
305.50/307.80	o 3858
305.79/308.15	o 3857
306.39/308.80	o 3854
309.09/311.45	o 3849
310.29/312.62	o 3847
312.48/314.87	o 3844
312.88/315.21	o 3843
313.18/315.55	o 3840
313.48/315.87	o 3838
314.58/316.94	o 3836
319.06/321.42	o 3834
319.36/321.76	o 3833
320.06/322.45	o 3830
320.36/322.78	o 3825
320.76/323.11	o 3824
321.06/323.46	o 3822
321.47/323.81	o 3821
321.77/324.15	o 3820
327.26/329.69	o 3816
327.66/330.06	o 3813
328.06/330.44	o 3811
328.96/331.35	o 3808
329.26/331.70	o 3805
329.66/332.04	o 3804
331.96/334.40	o 3802
332.35/334.75	o 3800
333.06/335.47	o 3797
334.95/337.31	o 3796
336.75/339.16	o 3795
337.15/339.55	o 3790
337.55/339.96	o 3787
338.34/340.71	o 3784
339.44/341.84	o 3783
339.84/342.21	o 3780
341.54/343.99	o 3778
341.94/344.38	o 3775
342.34/344.78	o 3770
343.23/345.61	o 3768
343.63/346.01	o 3767
344.43/346.82	o 3764
345.23/347.65	o 3763
349.62/352.10	o 3761
350.11/352.54	o 3760
350.51/352.98	o 3756
357.71/360.19	o 3753
359.41/361.89	o 3752
359.90/362.31	o 3751
360.30/362.72	o 3750
361.10/363.56	o 3749
362.00/364.41	o 3746
362.81/365.26	o 3745
363.70/366.10	o 3743
367.30/369.76	o 3742
368.20/370.61	o 3741
369.40/371.84	o 3740
370.60/373.08	o 3739
371.39/373.90	o 3733
371.79/374.26	o 3731
372.19/374.66	o 3730
372.99/375.47	o 3727
373.39/375.89	o 3726
374.29/376.70	o 3725
375.39/377.88	o 3724
375.78/378.28	o 3722
376.58/379.06	o 3721
377.38/379.86	o 3720
378.98/381.45	o 3717
379.18/381.64	o 3714
379.97/382.41	o 3710
380.77/383.20	o 3708
381.07/383.58	o 3706
381.87/384.37	o 3705
382.67/385.14	o 3704
383.07/385.53	o 3698
383.47/385.92	o 3697
383.87/386.31	o 3695
384.17/386.70	o 3692
384.57/387.08	o 3690
385.36/387.87	o 3689
385.77/388.25	o 3687
389.56/392.05	o 3686
389.96/392.43	o 3683
392.76/395.21	o 3682
393.16/395.61	o 3680
393.56/396.01	o 3676
393.86/396.36	o 3674
394.26/396.78	o 3671
395.05/397.59	o 3669
398.75/401.20	o 3668
399.15/401.61	o 3664
399.55/402.02	o 3660
399.95/402.43	o 3658
400.24/402.76	o 3656
401.04/403.52	o 3655
401.44/403.93	o 3654
402.64/405.12	o 3652
403.04/405.52	o 3650
403.94/406.47	o 3649
404.34/406.87	o 3648
404.74/407.26	o 3645
405.14/407.67	o 3643
405.93/408.48	o 3637
407.13/409.70	o 3635
408.73/411.28	o 3634
409.94/412.49	o 3633
410.23/412.73	o 3631
410.63/413.14	o 3630
411.04/413.54	o 3628
413.43/415.94	o 3626
413.83/416.34	o 3624
425.22/427.76	o 3621
426.52/429.04	o 3619
426.91/429.46	o 3615
427.81/430.30	o 3611
428.21/430.74	o 3609
429.31/431.83	o 3604
429.71/432.25	o 3603
430.51/433.08	o 3602
430.91/433.49	o 3601
432.21/434.71	o 3600
432.61/435.13	o 3599
433.41/435.95	o 3596
434.60/437.20	o 3595
437.74/440.83	o 3592
438.14/441.23	o 3591
442.94/446.10	o 3590
443.24/446.50	o 3588
443.74/446.92	o 3587
447.51/450.79	o 3586
447.91/451.20	o 3583
448.40/451.61	o 3580
448.80/452.03	o 3576
449.59/452.85	o 3573
453.16/456.47	o 3570
455.24/458.52	o 3569
455.93/459.27	o 3565
457.93/465.09	o 3563
458.46/465.57	o 3562
459.00/466.02	o 3559
459.42/466.48	o 3558
459.95/466.93	o 3557
460.41/468.08	o 3556
461.32/470.92	o 3553
461.71/471.33	o 3551
463.00/472.60	o 3549
463.39/473.02	o 3548
463.79/473.43	o 3545
469.65/479.30	o 3543
470.04/479.73	o 3540
472.12/485.79	o 3536
476.67/494.92	o 3533
477.11/495.33	o 3531
478.43/496.61	o 3529
482.58/510.62	o 3527
482.98/511.49	o 3526
483.86/512.76	o 3524
484.83/513.76	o 3523
485.17/514.18	o 3522
485.67/514.61	o 3519
486.51/515.53	o 3518
486.91/515.95	o 3516
487.31/516.40	o 3514
487.80/516.82	o 3512
488.60/517.63	o 3508
489.41/518.56	o 3507
490.21/519.39	o 3503
490.60/519.72	o 3499
491.41/520.56	o 3496
494.04/523.56	o 3495
494.60/524.34	o 3489
496.62/526.31	o 3487
497.01/526.80	o 3483
497.82/527.55	o 3480
498.31/528.04	o 3476
498.81/528.54	o 3475
499.31/529.04	o 3474
499.80/529.51	o 3471
500.30/530.02	o 3469
507.20/539.65	o 3467
509.30/543.97	o 3466
509.80/545.06	o 3465
510.38/546.10	o 3462
511.40/548.36	o 3460
512.32/553.25	o 3455
512.32/553.76	o 3454
513.49/554.26	o 3453
513.98/554.78	o 3452
519.83/560.65	o 3447
520.32/561.14	o 3444
551.54/610.83	o 3442
552.07/611.35	o 3441
553.15/612.37	o 3436
554.30/613.52	o 3434
554.82/614.08	o 3432
556.50/615.74	o 3430
557.09/616.30	o 3428
557.59/616.86	o 3425
558.57/617.86	o 3422
561.75/621.04	o 3421
562.25/621.60	o 3419
564.49/623.86	o 3416
564.89/624.24	o 3413
565.79/625.16	o 3412
566.30/625.67	o 3410
571.04/630.43	o 3407
572.03/631.49	o 3406
573.12/632.53	o 3403
573.62/633.07	o 3400
573.82/633.29	o 3398
574.41/633.81	o 3397
574.81/634.30	o 3396
575.30/634.79	o 3393
575.89/635.30	o 3390
576.78/636.20	o 3389
579.65/639.18	o 3386
580.45/639.92	o 3385
580.95/640.51	o 3381
581.45/641.03	o 3380
581.94/641.55	o 3379
582.44/642.08	o 3377
583.02/642.60	o 3375
583.42/643.05	o 3374
584.42/644.06	o 3372
584.91/644.58	o 3371
588.68/648.40	o 3370
591.74/651.48	o 3367
592.24/651.95	o 3363
592.73/652.45	o 3361
593.23/652.94	o 3360
596.69/656.50	o 3358
597.68/657.50	o 3357
598.17/657.98	o 3355
598.67/658.48	o 3354
599.16/658.99	o 3353
601.24/661.01	o 3351
601.74/661.52	o 3350
604.31/664.11	o 3348
606.29/666.14	o 3345
606.58/666.46	o 3341
609.16/669.04	o 3340
609.65/669.56	o 3339
637.26/697.49	o 3337
637.76/698.00	o 3334
638.35/698.51	o 3332
638.85/699.03	o 3330
639.34/699.54	o 3328
642.70/702.98	o 3323
644.29/704.58	o 3322
644.88/705.12	o 3320
654.20/714.51	o 3319
658.85/719.25	o 3318
660.73/721.19	o 3317
661.32/721.77	o 3312
661.92/722.32	o 3310
664.59/725.07	o 3309
665.19/725.63	o 3306
665.68/726.20	o 3303
668.64/729.12	o 3301
669.14/729.68	o 3299
669.73/730.24	o 3297
673.59/734.15	o 3294
674.18/734.71	o 3293
674.98/735.55	o 3292
676.86/737.48	o 3289
677.45/738.02	o 3287
678.53/739.13	o 3286
679.03/739.67	o 3285
679.92/740.53	o 3280
680.42/741.09	o 3278
681.51/742.20	o 3275
682.00/742.69	o 3272
683.68/744.33	o 3271
684.78/745.43	o 3268
686.26/746.93	o 3266
691.32/752.00	o 3265
691.81/752.56	o 3264
692.41/753.11	o 3263
694.28/755.02	o 3261
695.86/756.65	o 3260
696.95/757.77	o 3259
697.45/758.29	o 3257
698.04/758.83	o 3253
698.54/759.32	o 3252
699.53/760.33	o 3251
699.93/760.75	o 3250
700.52/761.32	o 3247
703.18/764.03	o 3245
705.36/766.20	o 3242
707.14/768.10	o 3238
707.64/768.51	o 3234
708.13/769.05	o 3231
708.63/769.59	o 3230
717.83/778.80	o 3228
720.01/781.08	o 3227
721.50/782.50	o 3226
721.99/783.08	o 3225
723.18/784.25	o 3222
723.78/784.83	o 3221
724.37/785.43	o 3220
724.97/786.02	o 3218
725.55/786.61	o 3217
728.82/789.93	o 3214
729.22/790.34	o 3213
734.46/795.60	o 3211
734.96/796.18	o 3210
736.14/797.33	o 3206
737.33/798.50	o 3205
745.05/806.32	o 3204
745.65/806.92	o 3203
746.24/807.52	o 3202
748.62/809.94	o 3199
749.61/810.99	o 3197
750.20/811.58	o 3196
751.38/812.77	o 3195
751.98/813.39	o 3194
752.47/813.84	o 3192
753.07/814.41	o 3190
754.26/815.60	o 3189
757.91/819.39	o 3186
758.31/819.75	o 3182
759.90/821.37	o 3179
761.18/822.69	o 3177
763.86/825.30	o 3176
764.75/826.26	o 3175
765.25/826.78	o 3172
768.22/829.70	o 3170
769.90/831.47	o 3169
772.78/834.34	o 3167
775.05/836.63	o 3166
775.64/837.22	o 3163
776.14/837.78	o 3162
776.73/838.37	o 3160
779.01/840.61	o 3155
779.51/841.19	o 3154
780.09/841.78	o 3153
780.69/842.37	o 3152
781.28/842.96	o 3149
791.97/853.77	o 3148
792.47/854.29	o 3144
793.16/854.91	o 3143
793.76/855.51	o 3141
794.35/856.13	o 3140
796.13/857.91	o 3139
797.31/859.13	o 3137
797.91/859.74	o 3136
798.49/860.34	o 3130
803.94/865.85	o 3124
805.03/866.95	o 3122
805.63/867.58	o 3121
813.94/875.98	o 3120
814.53/876.59	o 3119
816.42/878.44	o 3118
817.61/879.66	o 3116
818.20/880.27	o 3115
830.28/892.44	o 3114
830.87/893.07	o 3112
833.85/896.08	o 3111
834.54/896.71	o 3110
835.04/897.27	o 3108
835.62/897.89	o 3105
836.91/899.12	o 3104
845.13/907.47	o 3103
857.71/920.13	o 3101
858.90/921.37	o 3100
860.78/923.28	o 3098
861.47/923.92	o 3097
862.07/924.56	o 3095
863.35/925.88	o 3094
864.04/926.53	o 3089
873.05/935.68	o 3087
877.31/939.90	o 3084
888.09/950.82	o 3082
888.58/951.38	o 3081
889.87/952.64	o 3080
891.16/953.93	o 3078
897.69/960.59	o 3077
898.98/961.83	o 3076
899.57/962.44	o 3075
900.76/963.61	o 3071
903.14/966.09	o 3067
903.83/966.72	o 3066
904.73/967.62	o 3065
905.32/968.23	o 3064
908.09/971.05	o 3062
910.36/973.33	o 3060
910.96/973.93	o 3058
918.79/981.90	o 3056
919.48/982.53	o 3055
920.07/983.15	o 3054
922.05/985.10	o 3049
922.44/985.53	o 3048
929.78/992.99	o 3046
931.55/994.77	o 3043
933.93/997.13	o 3041
934.52/997.79	o 3040
935.81/999.08	o 3038
936.50/999.72	o 3037
937.78/1001.02	o 3035
938.97/1002.29	o 3034
939.47/1002.77	o 3029
940.16/1003.42	o 3024
941.45/1004.71	o 3022
942.04/1005.38	o 3021
944.62/1007.99	o 3019
945.31/1008.68	o 3016
947.30/1010.67	o 3015
948.57/1011.99	o 3012
949.96/1013.31	o 3009
950.56/1013.96	o 3008
954.12/1017.55	o 3005
954.52/1017.90	o 3001
955.01/1018.43	o 2999
956.29/1019.72	o 2998
958.08/1021.51	o 2996
958.67/1022.11	o 2992
961.15/1024.62	o 2990
961.83/1025.30	o 2989
962.43/1025.96	o 2988
963.12/1026.60	o 2986
963.71/1027.26	o 2985
965.70/1029.21	o 2983
966.97/1030.51	o 2982
968.26/1031.83	o 2981
968.86/1032.47	o 2979
969.55/1033.13	o 2978
970.84/1034.45	o 2977
971.43/1035.09	o 2974
971.54/1035.18	o 2973
972.24/1035.81	o 2972
972.73/1036.39	o 2969
973.32/1036.93	o 2966
975.79/1039.42	o 2962
995.89/1059.75	o 2957
997.77/1061.67	o 2950
999.06/1062.93	o 2948
1000.94/1064.89	o 2945
1001.64/1065.57	o 2944
1002.33/1066.21	o 2942
1003.62/1067.54	o 2941
1005.59/1069.50	o 2938
1006.48/1070.42	o 2935
1006.78/1070.74	o 2933
1007.37/1071.38	o 2931
1010.45/1074.46	o 2930
1011.62/1075.69	o 2928
1012.91/1076.94	o 2927
1016.08/1080.13	o 2926
1019.24/1083.38	o 2925
1019.94/1084.02	o 2923
1035.97/1100.21	o 2922
1037.26/1101.51	o 2920
1037.85/1102.14	o 2918
1040.53/1104.81	o 2913
1041.21/1105.50	o 2912
1051.82/1116.22	o 2910
1057.96/1122.40	o 2905
1061.91/1126.42	o 2903
1062.51/1127.05	o 2900
1063.20/1127.73	o 2898
1065.17/1129.73	o 2896
1065.87/1130.40	o 2895
1066.46/1131.06	o 2893
1067.85/1132.41	o 2892
1069.83/1134.42	o 2891
1072.10/1136.79	o 2889
1084.29/1149.04	o 2888
1084.98/1149.71	o 2887
1085.38/1150.16	o 2885
1086.07/1150.84	o 2884
1096.26/1161.13	o 2883
1099.03/1163.90	o 2882
1100.42/1165.32	o 2881
1120.71/1185.80	o 2878
1121.41/1186.51	o 2877
1122.10/1187.21	o 2876
1122.69/1187.83	o 2874
1126.06/1191.29	o 2873
1126.76/1191.98	o 2872
1130.92/1196.16	o 2870
1131.60/1196.86	o 2869
1132.69/1197.90	o 2867
1133.19/1198.46	o 2863
1135.17/1200.45	o 2861
1137.25/1202.54	o 2858
1137.94/1203.23	o 2857
1139.23/1204.60	o 2855
1139.72/1205.04	o 2854
1142.40/1207.73	o 2852
1143.09/1208.42	o 2851
1143.78/1209.11	o 2850
1144.28/1209.68	o 2845
1145.66/1211.07	o 2843
1146.36/1211.76	o 2839
1150.82/1216.25	o 2838
1151.71/1217.19	o 2835
1159.91/1225.49	o 2833
1161.30/1226.85	o 2832
1164.67/1230.21	o 2831
1165.26/1230.89	o 2830
1171.20/1236.88	o 2828
1171.60/1237.23	o 2826
1172.19/1237.90	o 2824
1172.88/1238.55	o 2822
1173.58/1239.20	o 2820
1182.29/1248.07	o 2819
1182.97/1248.71	o 2816
1183.57/1249.36	o 2814
1184.26/1250.00	o 2812
1184.86/1250.65	o 2811
1186.75/1252.54	o 2810
1187.44/1253.22	o 2809
1187.93/1253.77	o 2808
1189.21/1255.07	o 2807
1191.79/1257.65	o 2806
1192.48/1258.31	o 2803
1218.02/1284.12	o 2802
1218.71/1284.81	o 2799
1219.31/1285.47	o 2798
1220.60/1286.79	o 2792
1221.29/1287.45	o 2791
1221.59/1287.77	o 2787
1223.57/1289.78	o 2786
1224.26/1290.45	o 2784
1230.89/1297.18	o 2783
1232.87/1299.19	o 2782
1234.26/1300.58	o 2778
1234.95/1301.27	o 2777
1235.25/1301.59	o 2776
1235.85/1302.14	o 2775
1236.53/1302.83	o 2774
1237.82/1304.20	o 2771
1238.51/1304.89	o 2769
1239.20/1305.58	o 2768
1239.90/1306.26	o 2767
1241.97/1308.33	o 2766
1242.66/1309.04	o 2764
1261.59/1328.17	o 2763
1262.98/1329.52	o 2760
1263.97/1330.54	o 2759
1266.63/1333.20	o 2755
1267.92/1334.53	o 2754
1268.52/1335.19	o 2753
1272.27/1338.97	o 2752
1272.96/1339.65	o 2750
1276.93/1343.66	o 2747
1278.22/1344.99	o 2745
1278.90/1345.67	o 2743
1279.59/1346.33	o 2740
1280.88/1347.66	o 2739
1281.58/1348.32	o 2737
1284.15/1350.96	o 2735
1284.85/1351.62	o 2734
1286.73/1353.53	o 2733
1287.31/1354.19	o 2730
1288.70/1355.54	o 2727
1289.39/1356.22	o 2726
1292.56/1359.45	o 2723
1293.26/1360.12	o 2722
1300.09/1367.02	o 2720
1301.36/1368.36	o 2719
1302.75/1369.71	o 2717
1303.35/1370.38	o 2716
1305.23/1372.23	o 2715
1306.51/1373.59	o 2713
1323.15/1390.36	o 2712
1323.84/1391.01	o 2708
1324.43/1391.66	o 2707
1325.72/1392.98	o 2706
1334.73/1402.07	o 2705
1337.59/1404.91	o 2703
1337.89/1405.25	o 2699
1338.58/1405.91	o 2698
1340.56/1407.91	o 2697
1342.45/1409.88	o 2696
1343.83/1411.21	o 2695
1344.43/1411.88	o 2692
1345.12/1412.55	o 2690
1345.81/1413.22	o 2686
1346.40/1413.89	o 2685
1349.08/1416.54	o 2682
1349.77/1417.20	o 2681
1352.34/1419.80	o 2679
1359.18/1426.74	o 2678
1359.88/1427.41	o 2675
1370.07/1437.71	o 2674
1383.93/1451.71	o 2672
1401.35/1469.35	o 2671
1404.81/1472.85	o 2670
1407.60/1475.66	o 2669
1408.29/1476.38	o 2668
1408.69/1476.73	o 2666
1411.17/1479.25	o 2665
1414.13/1482.22	o 2664
1415.42/1483.58	o 2662
1416.01/1484.11	o 2658
1416.70/1484.82	o 2656
1423.33/1491.54	o 2655
1426.00/1494.23	o 2652
1427.78/1496.03	o 2650
1430.06/1498.37	o 2649
1430.76/1499.04	o 2645
1431.35/1499.68	o 2644
1432.04/1500.36	o 2643
1432.33/1500.67	o 2641
1432.93/1501.24	o 2639
1434.11/1502.41	o 2638
1434.71/1503.06	o 2634
1436.79/1505.14	o 2632
1437.48/1505.82	o 2630
1438.18/1506.51	o 2629
1438.87/1507.21	o 2627
1439.56/1507.91	o 2626
1440.85/1509.22	o 2624
1442.24/1510.61	o 2623
1443.63/1512.00	o 2620
1444.91/1513.35	o 2619
1447.27/1515.72	o 2617
1447.97/1516.42	o 2616
1449.26/1517.73	o 2615
1449.95/1518.40	o 2614
1451.93/1520.48	o 2611
1453.21/1521.79	o 2610
1454.60/1523.18	o 2607
1455.29/1523.86	o 2605
1459.55/1528.11	o 2603
1472.92/1541.62	o 2602
1473.31/1542.08	o 2601
1473.91/1542.60	o 2600
1474.39/1543.13	o 2595
1474.89/1543.69	o 2594
1491.04/1559.92	o 2593
1491.54/1560.45	o 2592
1503.62/1572.64	o 2590
1505.00/1574.04	o 2587
1505.60/1574.65	o 2584
1506.99/1576.04	o 2583
1508.76/1577.88	o 2580
1514.20/1583.40	o 2577
1514.89/1584.09	o 2576
1517.67/1586.85	o 2575
1518.26/1587.47	o 2574
1519.65/1588.85	o 2573
1520.34/1589.56	o 2572
1521.04/1590.26	o 2571
1523.80/1593.07	o 2570
1524.30/1593.59	o 2568
1534.49/1603.82	o 2567
1535.78/1605.16	o 2565
1537.17/1606.56	o 2564
1537.86/1607.27	o 2562
1539.15/1608.58	o 2560
1540.54/1609.97	o 2559
1541.53/1610.98	o 2556
1541.92/1611.31	o 2554
1543.21/1612.69	o 2551
1544.60/1614.06	o 2550
1545.99/1615.40	o 2548
1547.27/1616.78	o 2547
1548.66/1618.14	o 2546
1549.35/1618.83	o 2545
1550.04/1619.51	o 2543
1550.63/1620.19	o 2542
1552.02/1621.57	o 2541
1552.72/1622.27	o 2540
1553.41/1622.93	o 2538
1561.82/1631.49	o 2537
1563.21/1632.81	o 2534
1563.80/1633.49	o 2531
1565.79/1635.49	o 2530
1573.20/1642.91	o 2529
1574.49/1644.23	o 2528
1575.18/1644.90	o 2526
1579.64/1649.40	o 2523
1582.51/1652.33	o 2520
1584.49/1654.34	o 2519
1585.08/1654.95	o 2511
1589.04/1658.95	o 2508
1589.74/1659.62	o 2507
1590.12/1660.01	o 2504
1590.32/1660.27	o 2501
1591.41/1661.36	o 2500
1592.00/1661.92	o 2499
1592.60/1662.57	o 2498
1593.29/1663.23	o 2496
1602.40/1672.41	o 2495
1604.88/1674.96	o 2494
1605.47/1675.51	o 2493
1606.07/1676.16	o 2491
1619.43/1689.66	o 2489
1619.93/1690.18	o 2482
1621.12/1691.39	o 2479
1621.81/1692.02	o 2477
1623.00/1693.29	o 2475
1623.69/1693.94	o 2474
1624.98/1695.22	o 2472
1625.48/1695.75	o 2471
1628.73/1699.00	o 2469
1629.93/1700.28	o 2466
1630.62/1700.92	o 2465
1631.11/1701.47	o 2464
1632.99/1703.39	o 2463
1634.38/1704.74	o 2462
1635.26/1705.69	o 2461
1635.95/1706.35	o 2459
1636.64/1707.01	o 2458
1637.24/1707.65	o 2457
1637.93/1708.32	o 2456
1639.22/1709.62	o 2453
1640.11/1710.53	o 2452
1640.71/1711.15	o 2451
1641.30/1711.78	o 2448
1642.39/1712.81	o 2446
1642.98/1713.45	o 2444
1644.26/1714.75	o 2443
1645.45/1715.99	o 2441
1645.85/1716.32	o 2438
1646.25/1716.79	o 2436
1654.86/1725.48	o 2434
1655.45/1726.04	o 2433
1656.15/1726.71	o 2432
1657.43/1728.04	o 2431
1662.08/1732.71	o 2430
1663.86/1734.58	o 2429
1664.86/1735.58	o 2425
1666.74/1737.42	o 2424
1668.52/1739.27	o 2422
1669.01/1739.74	o 2420
1669.60/1740.37	o 2418
1671.48/1742.26	o 2417
1672.08/1742.89	o 2416
1672.77/1743.52	o 2415
1674.55/1745.32	o 2410
1675.14/1745.95	o 2409
1675.74/1746.59	o 2407
1678.91/1749.74	o 2406
1679.40/1750.22	o 2404
1680.58/1751.48	o 2402
1682.17/1753.09	o 2400
1683.26/1754.19	o 2398
1685.72/1756.60	o 2394
1686.62/1757.59	o 2392
1687.89/1758.86	o 2390
1690.47/1761.41	o 2388
1695.33/1766.34	o 2387
1695.82/1766.82	o 2384
1700.18/1771.23	o 2382
1705.82/1776.91	o 2380
1713.65/1784.81	o 2379
1714.64/1785.86	o 2376
1715.23/1786.45	o 2374
1717.02/1788.28	o 2371
1717.60/1788.90	o 2367
1718.29/1789.52	o 2366
1723.15/1794.49	o 2365
1724.73/1796.03	o 2361
1725.23/1796.55	o 2355
1726.72/1798.07	o 2354
1727.01/1798.39	o 2352
1732.54/1803.96	o 2349
1733.73/1805.16	o 2347
1734.92/1806.34	o 2346
1736.61/1808.02	o 2344
1739.78/1811.21	o 2341
1740.27/1811.72	o 2338
1741.95/1813.47	o 2337
1744.13/1815.69	o 2336
1744.52/1816.07	o 2334
1745.12/1816.66	o 2332
1748.87/1820.49	o 2331
1760.46/1832.17	o 2327
1761.65/1833.33	o 2323
1762.24/1833.91	o 2320
1762.54/1834.29	o 2318
1763.73/1835.45	o 2317
1764.32/1836.05	o 2315
1764.92/1836.64	o 2313
1766.60/1838.37	o 2311
1767.20/1838.93	o 2310
1767.70/1839.47	o 2308
1768.68/1840.46	o 2306
1769.08/1840.90	o 2304
1770.66/1842.45	o 2302
1772.54/1844.40	o 2300
1773.33/1845.12	o 2298
1776.60/1848.50	o 2296
1777.79/1849.63	o 2295
1778.87/1850.78	o 2294
1779.46/1851.36	o 2292
1780.65/1852.50	o 2291
1781.15/1853.04	o 2288
1782.83/1854.73	o 2287
1783.33/1855.28	o 2285
1784.42/1856.34	o 2284
1785.01/1856.91	o 2281
1787.78/1859.73	o 2280
1788.37/1860.31	o 2279
1788.87/1860.90	o 2277
1791.15/1863.10	o 2274
1794.70/1866.78	o 2271
1795.30/1867.33	o 2269
1796.09/1868.19	o 2267
1801.84/1873.91	o 2266
1802.43/1874.50	o 2265
1803.61/1875.70	o 2264
1807.08/1879.26	o 2262
1807.28/1879.47	o 2260
1809.06/1881.24	o 2259
1809.66/1881.84	o 2258
1820.56/1892.87	o 2257
1821.15/1893.46	o 2256
1821.44/1893.78	o 2250
1822.03/1894.39	o 2249
1822.63/1895.00	o 2246
1823.91/1896.20	o 2243
1825.60/1897.99	o 2242
1826.19/1898.59	o 2241
1826.79/1899.19	o 2236
1828.57/1900.92	o 2235
1830.84/1903.23	o 2234
1833.80/1906.20	o 2232
1834.30/1906.73	o 2231
1834.50/1906.90	o 2229
1834.99/1907.40	o 2225
1836.08/1908.50	o 2224
1836.58/1909.09	o 2220
1838.35/1910.84	o 2219
1838.95/1911.41	o 2218
1840.04/1912.57	o 2217
1840.63/1913.15	o 2215
1844.00/1916.56	o 2214
1844.50/1917.08	o 2211
1844.99/1917.59	o 2208
1846.08/1918.68	o 2207
1846.68/1919.25	o 2205
1847.26/1919.83	o 2203
1847.85/1920.40	o 2202
1848.35/1920.98	o 2201
1848.94/1921.57	o 2200
1855.38/1928.04	o 2198
1856.77/1929.48	o 2196
1857.57/1930.27	o 2195
1858.06/1930.79	o 2191
1858.66/1931.35	o 2190
1861.43/1934.16	o 2188
1862.02/1934.73	o 2187
1862.41/1935.16	o 2184
1863.50/1936.29	o 2183
1864.69/1937.44	o 2182
1865.28/1938.00	o 2181
1865.78/1938.54	o 2179
1866.36/1939.11	o 2178
1867.45/1940.26	o 2177
1876.36/1949.24	o 2174
1876.66/1949.51	o 2173
1877.16/1950.07	o 2172
1879.34/1952.25	o 2169
1880.32/1953.29	o 2167
1882.00/1954.95	o 2166
1882.20/1955.17	o 2163
1882.79/1955.71	o 2160
1883.78/1956.79	o 2159
1885.47/1958.41	o 2158
1885.87/1958.83	o 2155
1886.36/1959.30	o 2152
1887.34/1960.34	o 2151
1890.02/1963.08	o 2149
1891.11/1964.18	o 2148
1891.60/1964.62	o 2146
1891.90/1964.95	o 2141
1892.78/1965.87	o 2139
1894.47/1967.52	o 2137
1897.14/1970.29	o 2134
1899.11/1972.28	o 2133
1900.10/1973.28	o 2132
1900.70/1973.81	o 2130
1901.69/1974.89	o 2126
1904.45/1977.65	o 2125
1905.05/1978.20	o 2124
1905.54/1978.76	o 2123
1906.14/1979.31	o 2120
1907.13/1980.32	o 2118
1907.63/1980.87	o 2117
1910.40/1983.68	o 2116
1911.58/1984.83	o 2114
1912.67/1985.99	o 2113
1915.05/1988.33	o 2112
1916.73/1990.09	o 2108
1917.33/1990.67	o 2107
1917.92/1991.25	o 2106
1918.52/1991.84	o 2103
1920.30/1993.62	o 2102
1921.39/1994.78	o 2101
1923.16/1996.56	o 2099
1931.66/2005.10	o 2098
1933.35/2006.86	o 2095
1934.44/2007.99	o 2093
1935.33/2008.85	o 2092
1935.63/2009.20	o 2091
1936.22/2009.78	o 2089
1936.82/2010.36	o 2087
1943.05/2016.60	o 2085
1943.55/2017.20	o 2082
1945.33/2018.95	o 2081
1950.37/2024.05	o 2078
1951.56/2025.23	o 2076
1952.16/2025.82	o 2075
1957.70/2031.40	o 2073
1959.97/2033.75	o 2072
1960.57/2034.32	o 2070
1961.06/2034.90	o 2069
1963.44/2037.20	o 2066
1964.53/2038.39	o 2064
1966.32/2040.17	o 2062
1966.91/2040.78	o 2061
1969.58/2043.45	o 2060
1971.95/2045.83	o 2059
1972.55/2046.43	o 2058
1973.74/2047.65	o 2055
1974.33/2048.27	o 2052
1974.82/2048.71	o 2050
1975.71/2049.65	o 2049
1976.21/2050.15	o 2047
1977.39/2051.37	o 2046
1977.99/2051.96	o 2045
1980.37/2054.38	o 2044
1982.75/2056.74	o 2043
1983.92/2057.93	o 2042
1984.52/2058.52	o 2041
1986.10/2060.17	o 2040
1988.48/2062.53	o 2039
1990.26/2064.32	o 2038
1995.41/2069.59	o 2037
1996.00/2070.18	o 2036
1998.98/2073.12	o 2035
2001.44/2075.66	o 2034
2002.04/2076.24	o 2033
2002.63/2076.83	o 2030
2003.23/2077.41	o 2026
2003.82/2078.01	o 2025
2006.49/2080.73	o 2023
2008.07/2082.33	o 2021
2008.57/2082.81	o 2018
2009.66/2083.99	o 2017
2010.25/2084.59	o 2016
2010.85/2085.18	o 2014
2011.44/2085.78	o 2013
2011.83/2086.16	o 2011
2014.80/2089.17	o 2010
2015.30/2089.63	o 2009
2015.89/2090.23	o 2008
2016.48/2090.84	o 2006
2017.07/2091.44	o 2003
2017.57/2091.98	o 2001
2018.75/2093.18	o 2000
2019.35/2093.79	o 1998
2025.10/2099.51	o 1996
2029.85/2104.34	o 1995
2051.14/2125.89	o 1994
2051.43/2126.12	o 1991
2051.93/2126.63	o 1990
2052.52/2127.23	o 1989
2054.11/2128.85	o 1988
2054.51/2129.24	o 1986
2055.60/2130.31	o 1983
2057.48/2132.22	o 1981
2057.97/2132.78	o 1979
2060.14/2134.98	o 1978
2064.01/2138.85	o 1976
2067.07/2141.95	o 1975
2067.67/2142.52	o 1971
2068.06/2142.90	o 1968
2068.36/2143.27	o 1967
2069.75/2144.66	o 1963
2071.43/2146.32	o 1961
2088.86/2163.96	o 1959
2095.49/2170.65	o 1958
2096.08/2171.21	o 1952
2096.58/2171.72	o 1951
2126.68/2202.19	   
2126.68/2202.19	   search
2126.68/2202.19	     run=0  nbConstraintChecks=5263843053  nbAssignments=5073
2126.68/2202.19	       =>  wckTime=2187.166  cpuTime=2109.9  mem=59M693
2126.68/2202.19	   
2126.68/2202.19	   global
2126.68/2202.19	     nbConstraintChecks=5263843053  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2126.68/2202.19	     solvingWckTime=2187.152  solvingCpuTime=2109.88  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2126.68/2202.19	     globalCpuTime=2121.71
2126.68/2202.19	       =>  wckTime=2201.945  cpuTime=2121.67  mem=59M693
2126.68/2202.19	   
2126.68/2202.19	   solver DecomposerSolver being built... 
2132.42/2207.94	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-1112918-1215875506/watcher-1112918-1215875506 -o /tmp/evaluation-result-1112918-1215875506/solver-1112918-1215875506 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112918-1215875506.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.00 3/81 19682
/proc/meminfo: memFree=1588580/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=152 CPUtime=0
/proc/19682/stat : 19682 (java) R 19680 19682 18698 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 44252769 155648 26 996147200 134512640 134550740 4294955952 18446744073709551615 12591908 0 0 4096 0 0 0 0 17 0 0 0
/proc/19682/statm: 38 26 19 9 0 4 0

[startup+0.088848 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19682
/proc/meminfo: memFree=1588580/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=865988 CPUtime=0.08
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 3686 0 1 0 6 2 0 0 18 0 9 0 44252769 886771712 3163 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216497 3164 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.101849 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19682
/proc/meminfo: memFree=1588580/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=865988 CPUtime=0.09
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 3764 0 1 0 7 2 0 0 18 0 9 0 44252769 886771712 3226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216497 3227 1705 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.301873 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19682
/proc/meminfo: memFree=1588580/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=866360 CPUtime=0.29
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 5858 0 1 0 25 4 0 0 18 0 9 0 44252769 887152640 5233 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216590 5233 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866360

[startup+0.701917 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19682
/proc/meminfo: memFree=1588580/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867448 CPUtime=0.68
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 11948 0 1 0 60 8 0 0 18 0 9 0 44252769 888266752 11309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216862 11310 2010 9 0 211368 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867448

[startup+1.50201 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 19691
/proc/meminfo: memFree=1535516/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867360 CPUtime=1.48
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 21055 0 1 0 136 12 0 0 18 0 9 0 44252769 888176640 20391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216840 20391 2004 9 0 211368 0
[pid=19682/tid=19684] ppid=19680 vsize=867360 CPUtime=1.2
/proc/19682/task/19684/stat : 19684 (java) R 19680 19682 18698 0 -1 64 15761 0 1 0 111 9 0 0 25 0 9 0 44252770 888176640 20391 996147200 134512640 134550740 4294955952 18446744073709551615 4126520503 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867360 CPUtime=0.08
/proc/19682/task/19685/stat : 19685 (java) S 19680 19682 18698 0 -1 64 3984 0 0 0 7 1 0 0 16 0 9 0 44252771 888176640 20391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867360 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888176640 20391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867360 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44252771 888176640 20391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867360 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888176640 20391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867360 CPUtime=0.17
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 613 0 0 0 17 0 0 0 16 0 9 0 44252773 888176640 20391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867360 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888176640 20391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867360 CPUtime=0
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44252773 888176640 20391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867360

[startup+3.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 19691
/proc/meminfo: memFree=1501148/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867460 CPUtime=3.07
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 24445 0 1 0 293 14 0 0 18 0 9 0 44252769 888279040 23777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216865 23777 2006 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867460 CPUtime=2.66
/proc/19682/task/19684/stat : 19684 (java) R 19680 19682 18698 0 -1 64 15800 0 1 0 256 10 0 0 25 0 9 0 44252770 888279040 23777 996147200 134512640 134550740 4294955952 18446744073709551615 4126894887 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867460 CPUtime=0.19
/proc/19682/task/19685/stat : 19685 (java) S 19680 19682 18698 0 -1 64 7321 0 0 0 17 2 0 0 17 0 9 0 44252771 888279040 23777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 23777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 23777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888279040 23777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867460 CPUtime=0.19
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 627 0 0 0 19 0 0 0 15 0 9 0 44252773 888279040 23777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888279040 23777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44252773 888279040 23777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867460

[startup+6.30257 s]
/proc/loadavg: 2.00 2.00 2.00 5/90 19691
/proc/meminfo: memFree=1500508/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867460 CPUtime=4.64
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 24467 0 1 0 445 19 0 0 18 0 9 0 44252769 888279040 23797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216865 23797 2006 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867460 CPUtime=4.1
/proc/19682/task/19684/stat : 19684 (java) R 19680 19682 18698 0 -1 64 15802 0 1 0 398 12 0 0 22 0 9 0 44252770 888279040 23797 996147200 134512640 134550740 4294955952 18446744073709551615 4126917081 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867460 CPUtime=0.29
/proc/19682/task/19685/stat : 19685 (java) S 19680 19682 18698 0 -1 64 7321 0 0 0 25 4 0 0 16 0 9 0 44252771 888279040 23797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 23797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 23797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888279040 23797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867460 CPUtime=0.21
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 647 0 0 0 21 0 0 0 16 0 9 0 44252773 888279040 23797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888279040 23797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44252773 888279040 23797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 867460

[startup+12.7023 s]
/proc/loadavg: 2.07 2.02 2.00 3/90 19691
/proc/meminfo: memFree=1500380/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867460 CPUtime=11.05
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 26477 0 1 0 1081 24 0 0 18 0 9 0 44252769 888279040 25800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216865 25800 2007 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867460 CPUtime=10.35
/proc/19682/task/19684/stat : 19684 (java) R 19680 19682 18698 0 -1 64 15811 0 1 0 1019 16 0 0 25 0 9 0 44252770 888279040 25800 996147200 134512640 134550740 4294955952 18446744073709551615 4127021408 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867460 CPUtime=0.41
/proc/19682/task/19685/stat : 19685 (java) S 19680 19682 18698 0 -1 64 9303 0 0 0 35 6 0 0 17 0 9 0 44252771 888279040 25800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 25800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 25800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888279040 25800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867460 CPUtime=0.26
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 666 0 0 0 25 1 0 0 15 0 9 0 44252773 888279040 25800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888279040 25800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44252773 888279040 25800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 867460

[startup+25.5028 s]
/proc/loadavg: 2.06 2.02 2.00 3/90 19691
/proc/meminfo: memFree=1465500/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867548 CPUtime=23.75
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 34066 0 1 0 2344 31 0 0 18 0 9 0 44252769 888369152 33194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216887 33194 2640 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867548 CPUtime=22.31
/proc/19682/task/19684/stat : 19684 (java) R 19680 19682 18698 0 -1 64 15877 0 1 0 2212 19 0 0 25 0 9 0 44252770 888369152 33194 996147200 134512640 134550740 4294955952 18446744073709551615 4127209987 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867548 CPUtime=1.08
/proc/19682/task/19685/stat : 19685 (java) S 19680 19682 18698 0 -1 64 16789 0 0 0 100 8 0 0 16 0 9 0 44252771 888369152 33194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888369152 33194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44252771 888369152 33194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888369152 33194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867548 CPUtime=0.32
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 703 0 0 0 31 1 0 0 16 0 9 0 44252773 888369152 33194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888369152 33194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44252773 888369152 33194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.75
Current children cumulated vsize (KiB) 867548

[startup+51.1028 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 19691
/proc/meminfo: memFree=1465436/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867548 CPUtime=49.27
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 34071 0 1 0 4891 36 0 0 18 0 9 0 44252769 888369152 33198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216887 33198 2640 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867548 CPUtime=47.83
/proc/19682/task/19684/stat : 19684 (java) R 19680 19682 18698 0 -1 64 15878 0 1 0 4758 25 0 0 25 0 9 0 44252770 888369152 33198 996147200 134512640 134550740 4294955952 18446744073709551615 4127069252 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867548 CPUtime=1.08
/proc/19682/task/19685/stat : 19685 (java) S 19680 19682 18698 0 -1 64 16789 0 0 0 100 8 0 0 16 0 9 0 44252771 888369152 33198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888369152 33198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44252771 888369152 33198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888369152 33198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867548 CPUtime=0.33
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 707 0 0 0 32 1 0 0 15 0 9 0 44252773 888369152 33198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867548 CPUtime=0

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

/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888369152 33207 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867548 CPUtime=0.35
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 716 0 0 0 34 1 0 0 16 0 9 0 44252773 888369152 33207 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888369152 33207 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867548 CPUtime=3.09
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 98 211 0 0 15 0 9 0 44252773 888369152 33207 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2067.47
Current children cumulated vsize (KiB) 867548

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/90 19786
/proc/meminfo: memFree=1660252/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867548 CPUtime=2126.88
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 34119 0 1 0 212302 386 0 0 18 0 9 0 44252769 888369152 33245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216887 33245 2641 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867548 CPUtime=2121.95
/proc/19682/task/19684/stat : 19684 (java) R 19680 19682 18698 0 -1 64 15912 0 1 0 212051 144 0 0 25 0 9 0 44252770 888369152 33245 996147200 134512640 134550740 4294955952 18446744073709551615 4126380890 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867548 CPUtime=1.45
/proc/19682/task/19685/stat : 19685 (java) S 19680 19682 18698 0 -1 64 16789 0 0 0 117 28 0 0 16 0 9 0 44252771 888369152 33245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888369152 33245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44252771 888369152 33245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888369152 33245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867548 CPUtime=0.36
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 721 0 0 0 35 1 0 0 16 0 9 0 44252773 888369152 33245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867548 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888369152 33245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867548 CPUtime=3.09
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 98 211 0 0 15 0 9 0 44252773 888369152 33245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2126.88
Current children cumulated vsize (KiB) 867548

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

[startup+2204.7 s]
/proc/loadavg: 2.00 2.00 2.05 3/90 19786
/proc/meminfo: memFree=1122396/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867460 CPUtime=2129.25
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 200401 0 1 0 212473 452 0 0 18 0 9 0 44252769 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216865 199445 2618 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867460 CPUtime=2122.67
/proc/19682/task/19684/stat : 19684 (java) R 19680 19682 18698 0 -1 64 15971 0 1 0 212122 145 0 0 25 0 9 0 44252770 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867460 CPUtime=3.08
/proc/19682/task/19685/stat : 19685 (java) R 19680 19682 18698 0 -1 64 182972 0 0 0 215 93 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867460 CPUtime=0.39
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 743 0 0 0 38 1 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867460 CPUtime=3.09
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 98 211 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.25
Current children cumulated vsize (KiB) 867460

[startup+2206.31 s]
/proc/loadavg: 2.08 2.02 2.05 4/90 19786
/proc/meminfo: memFree=994012/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867460 CPUtime=2130.84
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 200403 0 1 0 212632 452 0 0 18 0 9 0 44252769 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216865 199445 2618 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867460 CPUtime=2122.69
/proc/19682/task/19684/stat : 19684 (java) R 19680 19682 18698 0 -1 64 15973 0 1 0 212124 145 0 0 25 0 9 0 44252770 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867460 CPUtime=4.64
/proc/19682/task/19685/stat : 19685 (java) R 19680 19682 18698 0 -1 64 182972 0 0 0 371 93 0 0 18 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867460 CPUtime=0.39
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 743 0 0 0 38 1 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867460 CPUtime=3.09
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 98 211 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2130.84
Current children cumulated vsize (KiB) 867460

[startup+2207.1 s]
/proc/loadavg: 2.08 2.02 2.05 4/90 19786
/proc/meminfo: memFree=994012/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867460 CPUtime=2131.63
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 200404 0 1 0 212711 452 0 0 18 0 9 0 44252769 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216865 199445 2618 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867460 CPUtime=2122.7
/proc/19682/task/19684/stat : 19684 (java) S 19680 19682 18698 0 -1 64 15974 0 1 0 212125 145 0 0 25 0 9 0 44252770 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867460 CPUtime=5.42
/proc/19682/task/19685/stat : 19685 (java) R 19680 19682 18698 0 -1 64 182972 0 0 0 449 93 0 0 18 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867460 CPUtime=0.39
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 743 0 0 0 38 1 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867460 CPUtime=3.09
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 98 211 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2131.63
Current children cumulated vsize (KiB) 867460

[startup+2207.5 s]
/proc/loadavg: 2.08 2.02 2.05 3/90 19786
/proc/meminfo: memFree=994012/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867460 CPUtime=2132.02
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 200404 0 1 0 212750 452 0 0 18 0 9 0 44252769 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216865 199445 2618 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867460 CPUtime=2122.7
/proc/19682/task/19684/stat : 19684 (java) S 19680 19682 18698 0 -1 64 15974 0 1 0 212125 145 0 0 25 0 9 0 44252770 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867460 CPUtime=5.81
/proc/19682/task/19685/stat : 19685 (java) R 19680 19682 18698 0 -1 64 182972 0 0 0 488 93 0 0 19 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867460 CPUtime=0.39
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 743 0 0 0 38 1 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867460 CPUtime=3.09
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 98 211 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.02
Current children cumulated vsize (KiB) 867460

[startup+2207.9 s]
/proc/loadavg: 2.08 2.02 2.05 3/90 19786
/proc/meminfo: memFree=994012/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=867460 CPUtime=2132.42
/proc/19682/stat : 19682 (java) S 19680 19682 18698 0 -1 0 200404 0 1 0 212790 452 0 0 18 0 9 0 44252769 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 216865 199445 2618 9 0 211393 0
[pid=19682/tid=19684] ppid=19680 vsize=867460 CPUtime=2122.7
/proc/19682/task/19684/stat : 19684 (java) S 19680 19682 18698 0 -1 64 15974 0 1 0 212125 145 0 0 17 0 9 0 44252770 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19685] ppid=19680 vsize=867460 CPUtime=6.21
/proc/19682/task/19685/stat : 19685 (java) R 19680 19682 18698 0 -1 64 182972 0 0 0 528 93 0 0 20 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 102731888 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19686] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19686/stat : 19686 (java) S 19680 19682 18698 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19687] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19687/stat : 19687 (java) S 19680 19682 18698 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44252771 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19688] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19688/stat : 19688 (java) S 19680 19682 18698 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19689] ppid=19680 vsize=867460 CPUtime=0.39
/proc/19682/task/19689/stat : 19689 (java) S 19680 19682 18698 0 -1 64 743 0 0 0 38 1 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19690] ppid=19680 vsize=867460 CPUtime=0
/proc/19682/task/19690/stat : 19690 (java) S 19680 19682 18698 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19682/tid=19691] ppid=19680 vsize=867460 CPUtime=3.09
/proc/19682/task/19691/stat : 19691 (java) S 19680 19682 18698 0 -1 64 1 0 0 0 98 211 0 0 15 0 9 0 44252773 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.42
Current children cumulated vsize (KiB) 867460

[startup+2208 s]
/proc/loadavg: 2.08 2.02 2.05 3/90 19786
/proc/meminfo: memFree=994012/2055920 swapFree=4180120/4192956
[pid=19682] ppid=19680 vsize=0 CPUtime=2132.5
/proc/19682/stat : 19682 (java) Z 19680 19682 18698 0 -1 12 200413 0 1 0 212795 455 0 0 16 0 2 0 44252769 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19682/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2132.5
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2208.09
CPU time (s): 2132.59
CPU user time (s): 2127.95
CPU system time (s): 4.63829
CPU usage (%): 96.5809
Max. virtual memory (cumulated for all children) (KiB): 867552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2127.95
system time used= 4.63829
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200413
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= 46482
involuntary context switches= 51445

runsolver used 3.75443 second user time and 11.5382 second system time

The end

Launcher Data (download as text)

Begin job on node28 at 2008-07-12 17:11:46
IDJOB=1112918
IDBENCH=61496
IDSOLVER=360
FILE ID=node28/1112918-1215875506
PBS_JOBID= 7903503
Free space on /tmp= 66500 MiB

SOLVER NAME= AbsconMax 112 pc-d
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-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112918-1215875506/watcher-1112918-1215875506 -o /tmp/evaluation-result-1112918-1215875506/solver-1112918-1215875506 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112918-1215875506.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e83daf1b7df41c00976ce9b348425bef
RANDOM SEED=378097842

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1589060 kB
Buffers:         46340 kB
Cached:          94952 kB
SwapCached:       6064 kB
Active:         350976 kB
Inactive:        72216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1589060 kB
SwapTotal:     4192956 kB
SwapFree:      4180120 kB
Dirty:            5696 kB
Writeback:           0 kB
Mapped:         295064 kB
Slab:            28132 kB
Committed_AS:   660492 kB
PageTables:       2472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66500 MiB
End job on node28 at 2008-07-12 17:48:34