Trace number 275603

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, and are wall clock time (not CPU 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 NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.11 2411.67

General information on the benchmark

Namefapp/fapp36-40/fapp39/
fapp39-2750-1.xml
MD5SUM0711f87a2f23f1ada9e0aed542733318
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints20342
Best CPU time to get the best result obtained on this benchmark2400.09
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2750
Number of constraints23154
Maximum constraint arity2
Maximum domain size502
Number of constraints which are defined in extension0
Number of constraints which are defined in intension23154
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275603-1169223850/unknown.xml
0.38	   
0.38	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.89	     nbVariables=2750  nbDomainTypes=4  minDomainSize=130  maxDomainSize=502
0.89	       =>  wckTime=0.573  cpuTime=0.38  mem=40M653
0.89	   
0.89	   predicates being loaded...
0.89	   
0.89	   constraints being loaded...
61.11	   
61.11	   INFO : Stopping converting binary constraints (cpu=60.04, mem = 63M252)
62.13	     nbConstraints=23154  nbConvertedConstraints=1367  nbConvertConstraintsChecks=192157568  nbExtensionStructures=828
62.13	     nbSharedExtensionStructures=539  nbConflictsStructures=828  nbSharedConflictsStructures=539
62.13	     nbSharedBinaryRepresentations=759031  nbEvaluationManagers=3581  nbSharedEvaluationManagers=18206  maxDegree=23
62.13	     maxArity=2
62.13	       =>  wckTime=61.817  cpuTime=60.87  mem=101M227
62.46	   
62.46	   solver LocalSearchSolver being built... 
62.50	       =>  wckTime=62.182  cpuTime=60.92  mem=78M62
62.80	
62.80	s SATISFIABLE
62.80	o 16265
62.80	c 6889
62.90	o 16272
62.90	c 6882
63.00	o 16277
63.00	c 6877
63.09	o 16281
63.09	c 6873
63.18	o 16285
63.18	c 6869
63.25	o 16288
63.25	c 6866
63.30	o 16291
63.30	c 6863
63.36	o 16293
63.36	c 6861
63.41	o 16295
63.41	c 6859
63.44	o 16297
63.44	c 6857
63.49	o 16299
63.49	c 6855
63.53	o 16300
63.53	c 6854
63.60	o 16307
63.60	c 6847
63.68	o 16313
63.68	c 6841
63.76	o 16319
63.76	c 6835
63.83	o 16325
63.83	c 6829
63.89	o 16331
63.89	c 6823
63.97	o 16334
63.97	c 6820
64.03	o 16339
64.03	c 6815
64.11	o 16344
64.11	c 6810
64.17	o 16349
64.17	c 6805
64.24	o 16354
64.24	c 6800
64.30	o 16359
64.30	c 6795
64.38	o 16364
64.38	c 6790
64.44	o 16369
64.44	c 6785
64.51	o 16373
64.51	c 6781
64.57	o 16377
64.57	c 6777
64.65	o 16381
64.65	c 6773
64.71	o 16384
64.71	c 6770
64.76	o 16387
64.76	c 6767
64.81	o 16390
64.81	c 6764
64.87	o 16393
64.87	c 6761
64.93	o 16396
64.93	c 6758
64.98	o 16399
64.98	c 6755
65.05	o 16402
65.05	c 6752
65.09	o 16405
65.09	c 6749
65.15	o 16407
65.15	c 6747
65.20	o 16409
65.20	c 6745
65.25	o 16411
65.25	c 6743
65.29	o 16413
65.29	c 6741
65.34	o 16415
65.34	c 6739
65.36	o 16416
65.36	c 6738
65.40	o 16417
65.40	c 6737
65.42	o 16418
65.42	c 6736
65.44	o 16419
65.44	c 6735
65.50	o 16420
65.50	c 6734
65.58	o 16423
65.58	c 6731
65.66	o 16426
65.66	c 6728
65.76	o 16433
65.76	c 6721
65.85	o 16440
65.85	c 6714
65.95	o 16446
65.95	c 6708
66.05	o 16452
66.05	c 6702
66.16	o 16458
66.16	c 6696
66.26	o 16463
66.26	c 6691
66.36	o 16465
66.36	c 6689
66.45	o 16470
66.45	c 6684
66.56	o 16475
66.56	c 6679
66.65	o 16480
66.65	c 6674
66.74	o 16485
66.74	c 6669
66.84	o 16490
66.84	c 6664
66.93	o 16495
66.93	c 6659
67.01	o 16500
67.01	c 6654
67.10	o 16505
67.10	c 6649
67.17	o 16510
67.17	c 6644
67.26	o 16514
67.26	c 6640
67.34	o 16518
67.34	c 6636
67.42	o 16522
67.42	c 6632
67.50	o 16526
67.50	c 6628
67.57	o 16530
67.57	c 6624
67.67	o 16537
67.67	c 6617
67.75	o 16540
67.75	c 6614
67.84	o 16541
67.84	c 6613
67.93	o 16544
67.93	c 6610
68.00	o 16547
68.00	c 6607
68.08	o 16550
68.08	c 6604
68.13	o 16553
68.13	c 6601
68.19	o 16556
68.19	c 6598
68.25	o 16559
68.25	c 6595
68.30	o 16562
68.30	c 6592
68.36	o 16565
68.36	c 6589
68.40	o 16567
68.40	c 6587
68.46	o 16569
68.46	c 6585
68.52	o 16571
68.52	c 6583
68.59	o 16573
68.59	c 6581
68.64	o 16575
68.64	c 6579
68.70	o 16577
68.70	c 6577
68.75	o 16579
68.75	c 6575
68.79	o 16581
68.79	c 6573
68.85	o 16583
68.85	c 6571
68.90	o 16585
68.90	c 6569
68.95	o 16587
68.95	c 6567
68.98	o 16589
68.98	c 6565
69.01	o 16590
69.01	c 6564
69.04	o 16591
69.04	c 6563
69.07	o 16592
69.07	c 6562
69.10	o 16593
69.10	c 6561
69.13	o 16594
69.13	c 6560
69.34	o 16598
69.34	c 6556
69.38	o 16603
69.38	c 6551
69.41	o 16604
69.41	c 6550
69.47	o 16606
69.47	c 6548
69.52	o 16609
69.52	c 6545
69.57	o 16611
69.57	c 6543
69.60	o 16616
69.60	c 6538
69.62	o 16622
69.62	c 6532
69.64	o 16625
69.64	c 6529
69.67	o 16630
69.67	c 6524
69.72	o 16633
69.72	c 6521
69.79	o 16634
69.79	c 6520
69.84	o 16639
69.84	c 6515
69.91	o 16647
69.91	c 6507
69.96	o 16649
69.96	c 6505
69.99	o 16650
69.99	c 6504
70.10	o 16653
70.10	c 6501
70.20	o 16655
70.20	c 6499
70.32	o 16661
70.32	c 6493
70.45	o 16667
70.45	c 6487
70.59	o 16673
70.59	c 6481
70.72	o 16678
70.72	c 6476
70.87	o 16683
70.87	c 6471
71.00	o 16688
71.00	c 6466
71.13	o 16693
71.13	c 6461
71.27	o 16698
71.27	c 6456
71.40	o 16703
71.40	c 6451
71.53	o 16708
71.53	c 6446
71.67	o 16713
71.67	c 6441
71.81	o 16717
71.81	c 6437
71.96	o 16721
71.96	c 6433
72.09	o 16729
72.09	c 6425
72.24	o 16733
72.24	c 6421
72.37	o 16737
72.37	c 6417
72.50	o 16740
72.50	c 6414
72.63	o 16741
72.63	c 6413
72.75	o 16745
72.75	c 6409
72.86	o 16747
72.86	c 6407
73.09	o 16751
73.09	c 6403
73.22	o 16754
73.22	c 6400
73.33	o 16757
73.33	c 6397
73.44	o 16760
73.44	c 6394
73.55	o 16763
73.55	c 6391
73.68	o 16766
73.68	c 6388
73.79	o 16769
73.79	c 6385
73.90	o 16772
73.90	c 6382
74.00	o 16775
74.00	c 6379
74.11	o 16778
74.11	c 6376
74.19	o 16779
74.19	c 6375
74.28	o 16780
74.28	c 6374
74.39	o 16783
74.39	c 6371
74.48	o 16786
74.48	c 6368
74.59	o 16789
74.59	c 6365
74.67	o 16791
74.67	c 6363
74.77	o 16793
74.77	c 6361
74.85	o 16795
74.85	c 6359
74.94	o 16797
74.94	c 6357
75.04	o 16799
75.04	c 6355
75.12	o 16801
75.12	c 6353
75.22	o 16803
75.22	c 6351
75.30	o 16805
75.30	c 6349
75.37	o 16807
75.37	c 6347
75.45	o 16809
75.45	c 6345
75.53	o 16811
75.54	c 6343
75.62	o 16813
75.62	c 6341
75.69	o 16815
75.69	c 6339
75.77	o 16817
75.77	c 6337
75.85	o 16819
75.85	c 6335
75.91	o 16821
75.91	c 6333
75.97	o 16823
75.97	c 6331
76.04	o 16825
76.04	c 6329
76.09	o 16827
76.09	c 6327
76.15	o 16829
76.15	c 6325
76.22	o 16830
76.22	c 6324
76.28	o 16831
76.28	c 6323
76.33	o 16832
76.33	c 6322
76.39	o 16833
76.39	c 6321
76.43	o 16834
76.43	c 6320
76.48	o 16835
76.48	c 6319
76.53	o 16836
76.53	c 6318
76.58	o 16837
76.58	c 6317
76.62	o 16838
76.62	c 6316
76.65	o 16839
76.65	c 6315
76.70	o 16840
76.70	c 6314
76.73	o 16841
76.73	c 6313
76.77	o 16842
76.77	c 6312
76.82	o 16843
76.82	c 6311
76.86	o 16844
76.86	c 6310
76.90	o 16845
76.90	c 6309
76.93	o 16846
76.93	c 6308
77.05	o 16848
77.05	c 6306
77.09	o 16849
77.09	c 6305
77.12	o 16851
77.12	c 6303
77.16	o 16855
77.16	c 6299
77.18	o 16861
77.18	c 6293
77.22	o 16866
77.22	c 6288
77.25	o 16869
77.25	c 6285
77.28	o 16870
77.28	c 6284
77.36	o 16875
77.36	c 6279
77.39	o 16878
77.39	c 6276
77.43	o 16880
77.43	c 6274
77.47	o 16885
77.47	c 6269
77.51	o 16888
77.51	c 6266
77.55	o 16889
77.55	c 6265
77.58	o 16892
77.58	c 6262
77.61	o 16897
77.61	c 6257
77.65	o 16901
77.65	c 6253
77.74	o 16907
77.74	c 6247
77.81	o 16914
77.81	c 6240
77.84	o 16916
77.84	c 6238
77.87	o 16920
77.87	c 6234
77.93	o 16922
77.93	c 6232
77.96	o 16924
77.96	c 6230
78.00	o 16929
78.00	c 6225
78.06	o 16935
78.06	c 6219
78.10	o 16940
78.10	c 6214
78.13	o 16947
78.13	c 6207
78.17	o 16948
78.17	c 6206
78.21	o 16949
78.21	c 6205
78.27	o 16951
78.27	c 6203
78.33	o 16953
78.33	c 6201
78.37	o 16954
78.37	c 6200
78.42	o 16956
78.42	c 6198
78.45	o 16960
78.45	c 6194
78.52	o 16961
78.52	c 6193
78.56	o 16964
78.56	c 6190
78.61	o 16965
78.61	c 6189
78.69	o 16966
78.69	c 6188
78.74	o 16968
78.74	c 6186
78.88	o 16974
78.88	c 6180
79.03	o 16980
79.03	c 6174
79.18	o 16986
79.18	c 6168
79.32	o 16992
79.32	c 6162
79.46	o 16998
79.46	c 6156
79.59	o 16999
79.59	c 6155
79.68	o 17004
79.68	c 6150
79.82	o 17010
79.82	c 6144
80.00	o 17016
80.00	c 6138
80.17	o 17021
80.17	c 6133
80.33	o 17026
80.33	c 6128
80.49	o 17031
80.49	c 6123
80.64	o 17036
80.64	c 6118
80.78	o 17041
80.78	c 6113
80.94	o 17046
80.94	c 6108
81.10	o 17050
81.10	c 6104
81.28	o 17054
81.28	c 6100
81.44	o 17058
81.44	c 6096
81.60	o 17062
81.60	c 6092
81.92	o 17067
81.92	c 6087
82.08	o 17071
82.08	c 6083
82.25	o 17074
82.25	c 6080
82.41	o 17077
82.41	c 6077
82.57	o 17080
82.57	c 6074
82.73	o 17083
82.73	c 6071
82.89	o 17086
82.89	c 6068
83.05	o 17089
83.05	c 6065
83.20	o 17092
83.20	c 6062
83.35	o 17095
83.35	c 6059
83.50	o 17098
83.50	c 6056
83.63	o 17101
83.63	c 6053
83.77	o 17104
83.77	c 6050
83.91	o 17107
83.91	c 6047
84.04	o 17110
84.04	c 6044
84.17	o 17113
84.17	c 6041
84.29	o 17116
84.29	c 6038
84.41	o 17120
84.41	c 6034
84.55	o 17121
84.55	c 6033
84.66	o 17124
84.66	c 6030
84.78	o 17126
84.78	c 6028
84.91	o 17128
84.91	c 6026
85.02	o 17130
85.02	c 6024
85.15	o 17132
85.15	c 6022
85.26	o 17134
85.26	c 6020
85.38	o 17136
85.38	c 6018
85.49	o 17138
85.49	c 6016
85.60	o 17140
85.60	c 6014
85.71	o 17142
85.71	c 6012
85.81	o 17145
85.81	c 6009
85.92	o 17147
85.92	c 6007
86.04	o 17151
86.04	c 6003
86.14	o 17157
86.14	c 5997
86.25	o 17159
86.25	c 5995
86.36	o 17161
86.36	c 5993
86.45	o 17163
86.45	c 5991
86.56	o 17165
86.56	c 5989
86.66	o 17167
86.66	c 5987
86.76	o 17169
86.76	c 5985
86.85	o 17171
86.85	c 5983
86.95	o 17173
86.95	c 5981
87.04	o 17175
87.04	c 5979
87.12	o 17177
87.12	c 5977
87.22	o 17181
87.22	c 5973
87.32	o 17183
87.32	c 5971
87.41	o 17185
87.41	c 5969
87.48	o 17187
87.49	c 5967
87.57	o 17189
87.57	c 5965
87.65	o 17190
87.65	c 5964
87.74	o 17191
87.74	c 5963
87.83	o 17192
87.83	c 5962
87.92	o 17193
87.92	c 5961
88.01	o 17194
88.01	c 5960
88.08	o 17195
88.08	c 5959
88.16	o 17196
88.16	c 5958
88.22	o 17197
88.22	c 5957
88.29	o 17198
88.30	c 5956
88.36	o 17199
88.36	c 5955
88.44	o 17200
88.44	c 5954
88.97	o 17201
88.97	c 5953
89.25	o 17202
89.25	c 5952
89.30	o 17203
89.30	c 5951
89.34	o 17205
89.34	c 5949
89.42	o 17209
89.42	c 5945
89.47	o 17211
89.47	c 5943
89.52	o 17212
89.52	c 5942
89.60	o 17213
89.60	c 5941
89.65	o 17215
89.65	c 5939
89.70	o 17220
89.70	c 5934
89.79	o 17221
89.79	c 5933
89.85	o 17223
89.85	c 5931
89.90	o 17227
89.90	c 5927
89.96	o 17230
89.96	c 5924
90.06	o 17231
90.06	c 5923
90.11	o 17232
90.11	c 5922
90.18	o 17235
90.18	c 5919
90.22	o 17237
90.22	c 5917
90.33	o 17238
90.33	c 5916
90.40	o 17240
90.40	c 5914
90.47	o 17241
90.47	c 5913
90.56	o 17243
90.56	c 5911
90.65	o 17245
90.65	c 5909
90.89	o 17247
90.89	c 5907
90.97	o 17250
90.97	c 5904
91.05	o 17255
91.05	c 5899
91.13	o 17257
91.13	c 5897
91.19	o 17260
91.20	c 5894
91.26	o 17261
91.26	c 5893
91.52	o 17263
91.52	c 5891
91.60	o 17265
91.60	c 5889
91.67	o 17269
91.67	c 5885
91.75	o 17274
91.75	c 5880
91.82	o 17276
91.82	c 5878
91.90	o 17278
91.90	c 5876
91.98	o 17284
91.98	c 5870
92.07	o 17285
92.07	c 5869
92.16	o 17286
92.16	c 5868
92.23	o 17290
92.23	c 5864
92.31	o 17291
92.31	c 5863
92.41	o 17292
92.41	c 5862
92.48	o 17294
92.48	c 5860
92.55	o 17297
92.55	c 5857
92.62	o 17302
92.62	c 5852
92.71	o 17304
92.71	c 5850
92.79	o 17308
92.79	c 5846
92.86	o 17311
92.86	c 5843
93.02	o 17316
93.02	c 5838
93.09	o 17318
93.09	c 5836
93.19	o 17321
93.19	c 5833
93.28	o 17324
93.28	c 5830
93.38	o 17325
93.38	c 5829
93.48	o 17328
93.48	c 5826
93.55	o 17331
93.55	c 5823
93.66	o 17332
93.66	c 5822
93.75	o 17334
93.75	c 5820
93.98	o 17337
93.98	c 5817
94.07	o 17338
94.07	c 5816
94.17	o 17339
94.17	c 5815
94.30	o 17342
94.30	c 5812
94.39	o 17346
94.39	c 5808
94.50	o 17349
94.50	c 5805
94.60	o 17350
94.60	c 5804
94.71	o 17351
94.71	c 5803
94.82	o 17354
94.82	c 5800
94.94	o 17355
94.94	c 5799
95.06	o 17356
95.06	c 5798
95.18	o 17357
95.18	c 5797
95.31	o 17360
95.31	c 5794
95.41	o 17364
95.41	c 5790
95.52	o 17365
95.52	c 5789
95.61	o 17367
95.61	c 5787
95.71	o 17371
95.71	c 5783
95.90	o 17373
95.90	c 5781
96.01	o 17376
96.01	c 5778
96.13	o 17380
96.13	c 5774
96.23	o 17384
96.23	c 5770
96.33	o 17389
96.33	c 5765
96.46	o 17391
96.46	c 5763
96.61	o 17394
96.61	c 5760
96.76	o 17396
96.76	c 5758
96.94	o 17401
96.94	c 5753
97.11	o 17406
97.11	c 5748
97.29	o 17411
97.29	c 5743
97.48	o 17416
97.48	c 5738
97.68	o 17421
97.68	c 5733
97.88	o 17425
97.88	c 5729
98.08	o 17429
98.08	c 5725
98.25	o 17436
98.25	c 5718
98.42	o 17439
98.42	c 5715
98.61	o 17443
98.61	c 5711
98.79	o 17447
98.79	c 5707
98.97	o 17451
98.97	c 5703
99.15	o 17453
99.15	c 5701
99.32	o 17455
99.32	c 5699
99.66	o 17458
99.66	c 5696
99.83	o 17461
99.83	c 5693
100.00	o 17462
100.00	c 5692
100.17	o 17465
100.17	c 5689
100.51	o 17468
100.51	c 5686
100.67	o 17471
100.67	c 5683
100.83	o 17473
100.83	c 5681
100.99	o 17476
100.99	c 5678
101.29	o 17478
101.29	c 5676
101.44	o 17479
101.44	c 5675
101.59	o 17482
101.59	c 5672
101.75	o 17485
101.75	c 5669
101.89	o 17490
101.89	c 5664
102.05	o 17493
102.05	c 5661
102.19	o 17496
102.19	c 5658
102.34	o 17499
102.34	c 5655
102.49	o 17501
102.49	c 5653
102.63	o 17503
102.63	c 5651
102.77	o 17506
102.77	c 5648
102.91	o 17508
102.91	c 5646
103.07	o 17510
103.07	c 5644
103.21	o 17512
103.21	c 5642
103.32	o 17514
103.32	c 5640
103.43	o 17519
103.43	c 5635
103.55	o 17520
103.55	c 5634
103.67	o 17522
103.67	c 5632
103.78	o 17524
103.78	c 5630
103.90	o 17526
103.90	c 5628
104.02	o 17528
104.02	c 5626
104.14	o 17530
104.14	c 5624
104.26	o 17532
104.26	c 5622
104.37	o 17534
104.37	c 5620
104.49	o 17536
104.49	c 5618
104.60	o 17538
104.60	c 5616
104.71	o 17540
104.71	c 5614
104.81	o 17542
104.81	c 5612
104.93	o 17546
104.93	c 5608
105.02	o 17547
105.02	c 5607
105.12	o 17548
105.12	c 5606
105.22	o 17549
105.22	c 5605
105.32	o 17550
105.32	c 5604
105.42	o 17551
105.42	c 5603
105.52	o 17552
105.52	c 5602
105.62	o 17553
105.62	c 5601
105.71	o 17554
105.71	c 5600
105.82	o 17555
105.82	c 5599
105.99	o 17560
105.99	c 5594
107.02	o 17564
107.02	c 5590
107.09	o 17566
107.09	c 5588
107.18	o 17568
107.18	c 5586
107.25	o 17571
107.25	c 5583
107.31	o 17573
107.31	c 5581
107.38	o 17577
107.38	c 5577
107.46	o 17579
107.46	c 5575
107.54	o 17582
107.54	c 5572
107.61	o 17583
107.61	c 5571
107.78	o 17584
107.78	c 5570
107.94	o 17587
107.94	c 5567
108.02	o 17589
108.02	c 5565
108.12	o 17593
108.12	c 5561
108.20	o 17595
108.20	c 5559
108.29	o 17596
108.29	c 5558
108.44	o 17598
108.44	c 5556
108.53	o 17599
108.53	c 5555
108.61	o 17602
108.61	c 5552
108.80	o 17604
108.80	c 5550
108.87	o 17610
108.87	c 5544
109.06	o 17616
109.06	c 5538
109.14	o 17620
109.14	c 5534
109.32	o 17622
109.32	c 5532
109.40	o 17624
109.40	c 5530
109.50	o 17627
109.50	c 5527
109.59	o 17631
109.59	c 5523
109.68	o 17633
109.68	c 5521
109.77	o 17639
109.77	c 5515
109.86	o 17640
109.86	c 5514
109.95	o 17642
109.95	c 5512
110.06	o 17645
110.06	c 5509
110.15	o 17650
110.15	c 5504
110.26	o 17656
110.26	c 5498
110.35	o 17661
110.35	c 5493
110.45	o 17664
110.45	c 5490
110.56	o 17668
110.56	c 5486
110.69	o 17673
110.69	c 5481
110.78	o 17675
110.78	c 5479
110.88	o 17678
110.88	c 5476
110.99	o 17679
110.99	c 5475
111.08	o 17682
111.08	c 5472
111.19	o 17683
111.19	c 5471
111.30	o 17686
111.30	c 5468
111.41	o 17687
111.41	c 5467
111.53	o 17689
111.53	c 5465
111.66	o 17690
111.66	c 5464
112.17	o 17692
112.17	c 5462
112.26	o 17696
112.26	c 5458
112.37	o 17698
112.37	c 5456
112.49	o 17701
112.49	c 5453
112.61	o 17703
112.61	c 5451
112.74	o 17705
112.74	c 5449
112.86	o 17708
112.86	c 5446
113.44	o 17711
113.44	c 5443
113.54	o 17714
113.54	c 5440
113.79	o 17716
113.79	c 5438
113.90	o 17718
113.90	c 5436
114.01	o 17722
114.01	c 5432
114.14	o 17723
114.14	c 5431
114.27	o 17724
114.27	c 5430
114.40	o 17725
114.40	c 5429
114.54	o 17728
114.54	c 5426
114.66	o 17732
114.66	c 5422
114.78	o 17733
114.78	c 5421
115.04	o 17734
115.04	c 5420
115.18	o 17735
115.18	c 5419
115.30	o 17738
115.30	c 5416
115.42	o 17741
115.42	c 5413
115.55	o 17742
115.55	c 5412
115.78	o 17747
115.78	c 5407
116.03	o 17752
116.03	c 5402
116.16	o 17755
116.16	c 5399
116.28	o 17757
116.28	c 5397
116.53	o 17761
116.53	c 5393
116.78	o 17765
116.78	c 5389
116.91	o 17766
116.91	c 5388
117.03	o 17768
117.03	c 5386
117.14	o 17770
117.14	c 5384
117.25	o 17774
117.25	c 5380
117.38	o 17778
117.38	c 5376
117.50	o 17782
117.50	c 5372
117.63	o 17783
117.63	c 5371
117.87	o 17787
117.87	c 5367
117.99	o 17790
117.99	c 5364
118.11	o 17794
118.11	c 5360
118.23	o 17796
118.23	c 5358
118.36	o 17799
118.36	c 5355
118.48	o 17802
118.48	c 5352
118.60	o 17803
118.60	c 5351
118.73	o 17806
118.73	c 5348
118.85	o 17807
118.85	c 5347
118.95	o 17811
118.95	c 5343
119.06	o 17815
119.06	c 5339
119.18	o 17817
119.18	c 5337
119.30	o 17818
119.30	c 5336
119.39	o 17820
119.39	c 5334
119.49	o 17823
119.49	c 5331
119.60	o 17824
119.60	c 5330
119.70	o 17828
119.70	c 5326
119.82	o 17831
119.82	c 5323
119.92	o 17833
119.92	c 5321
120.04	o 17834
120.04	c 5320
120.13	o 17835
120.13	c 5319
120.25	o 17836
120.25	c 5318
120.35	o 17838
120.35	c 5316
120.46	o 17844
120.46	c 5310
120.58	o 17846
120.58	c 5308
120.71	o 17848
120.71	c 5306
120.85	o 17851
120.85	c 5303
120.97	o 17857
120.97	c 5297
121.11	o 17860
121.11	c 5294
121.24	o 17864
121.24	c 5290
121.36	o 17866
121.37	c 5288
121.62	o 17868
121.62	c 5286
121.77	o 17869
121.77	c 5285
121.89	o 17870
121.89	c 5284
122.02	o 17872
122.02	c 5282
122.16	o 17875
122.16	c 5279
122.30	o 17878
122.30	c 5276
122.44	o 17879
122.44	c 5275
122.58	o 17883
122.58	c 5271
122.72	o 17884
122.72	c 5270
122.86	o 17888
122.86	c 5266
122.99	o 17893
122.99	c 5261
123.11	o 17897
123.11	c 5257
123.52	o 17898
123.52	c 5256
123.66	o 17899
123.66	c 5255
123.78	o 17902
123.78	c 5252
123.91	o 17905
123.91	c 5249
124.19	o 17906
124.19	c 5248
124.45	o 17908
124.45	c 5246
124.58	o 17911
124.58	c 5243
124.71	o 17915
124.71	c 5239
124.98	o 17916
124.98	c 5238
125.11	o 17919
125.11	c 5235
125.26	o 17922
125.26	c 5232
125.45	o 17926
125.45	c 5228
125.64	o 17930
125.64	c 5224
125.80	o 17931
125.80	c 5223
125.98	o 17936
125.98	c 5218
126.16	o 17939
126.16	c 5215
126.34	o 17942
126.34	c 5212
126.53	o 17945
126.53	c 5209
126.70	o 17948
126.70	c 5206
126.88	o 17951
126.88	c 5203
127.05	o 17953
127.05	c 5201
127.23	o 17956
127.23	c 5198
127.40	o 17959
127.40	c 5195
127.57	o 17962
127.57	c 5192
127.92	o 17965
127.92	c 5189
128.08	o 17968
128.08	c 5186
128.24	o 17970
128.24	c 5184
128.40	o 17972
128.40	c 5182
128.57	o 17974
128.57	c 5180
128.73	o 17976
128.73	c 5178
128.88	o 17978
128.88	c 5176
129.05	o 17980
129.05	c 5174
129.20	o 17981
129.20	c 5173
129.36	o 17982
129.36	c 5172
129.51	o 17983
129.51	c 5171
129.66	o 17984
129.66	c 5170
129.81	o 17990
129.81	c 5164
129.97	o 17991
129.97	c 5163
130.11	o 17992
130.11	c 5162
130.26	o 17993
130.26	c 5161
130.41	o 17994
130.41	c 5160
130.56	o 17995
130.56	c 5159
130.70	o 17996
130.70	c 5158
130.86	o 17999
130.86	c 5155
131.02	o 18000
131.02	c 5154
131.17	o 18001
131.17	c 5153
131.45	o 18002
131.45	c 5152
132.13	o 18005
132.13	c 5149
133.18	o 18006
133.19	c 5148
133.31	o 18008
133.31	c 5146
133.45	o 18009
133.45	c 5145
133.59	o 18011
133.59	c 5143
133.71	o 18014
133.71	c 5140
133.87	o 18015
133.87	c 5139
134.01	o 18019
134.01	c 5135
134.15	o 18023
134.15	c 5131
134.29	o 18025
134.29	c 5129
134.43	o 18027
134.43	c 5127
134.57	o 18028
134.57	c 5126
134.86	o 18029
134.86	c 5125
135.15	o 18030
135.15	c 5124
135.41	o 18033
135.41	c 5121
135.57	o 18035
135.57	c 5119
135.70	o 18037
135.70	c 5117
135.96	o 18040
135.96	c 5114
136.10	o 18043
136.10	c 5111
136.23	o 18046
136.23	c 5108
136.37	o 18047
136.37	c 5107
136.50	o 18048
136.50	c 5106
136.87	o 18051
136.87	c 5103
137.00	o 18052
137.00	c 5102
137.12	o 18056
137.12	c 5098
137.26	o 18060
137.26	c 5094
137.39	o 18062
137.39	c 5092
137.51	o 18066
137.51	c 5088
137.64	o 18068
137.64	c 5086
137.78	o 18072
137.78	c 5082
137.92	o 18075
137.92	c 5079
138.05	o 18076
138.05	c 5078
138.19	o 18077
138.19	c 5077
138.34	o 18081
138.34	c 5073
138.46	o 18085
138.46	c 5069
138.61	o 18090
138.61	c 5064
138.89	o 18091
138.89	c 5063
139.03	o 18092
139.03	c 5062
139.18	o 18096
139.18	c 5058
139.45	o 18101
139.45	c 5053
139.58	o 18104
139.58	c 5050
139.73	o 18105
139.73	c 5049
139.99	o 18108
139.99	c 5046
140.13	o 18110
140.13	c 5044
140.26	o 18111
140.26	c 5043
140.42	o 18115
140.42	c 5039
140.68	o 18119
140.68	c 5035
140.82	o 18120
140.82	c 5034
141.37	o 18122
141.37	c 5032
141.80	o 18123
141.80	c 5031
141.94	o 18126
141.94	c 5028
142.08	o 18127
142.08	c 5027
142.21	o 18128
142.21	c 5026
142.51	o 18130
142.51	c 5024
142.66	o 18131
142.66	c 5023
142.80	o 18133
142.80	c 5021
142.95	o 18135
142.95	c 5019
143.09	o 18137
143.09	c 5017
143.40	o 18139
143.40	c 5015
143.55	o 18141
143.55	c 5013
143.71	o 18142
143.71	c 5012
143.85	o 18144
143.85	c 5010
144.13	o 18146
144.13	c 5008
144.27	o 18148
144.27	c 5006
144.43	o 18149
144.43	c 5005
144.74	o 18154
144.74	c 5000
144.90	o 18160
144.90	c 4994
145.04	o 18162
145.04	c 4992
145.18	o 18163
145.18	c 4991
145.64	o 18166
145.65	c 4988
145.80	o 18171
145.80	c 4983
145.96	o 18174
145.96	c 4980
146.76	o 18175
146.76	c 4979
146.92	o 18178
146.92	c 4976
147.75	o 18180
147.75	c 4974
147.91	o 18184
147.91	c 4970
148.28	o 18190
148.28	c 4964
148.46	o 18192
148.46	c 4962
148.64	o 18194
148.64	c 4960
149.16	o 18198
149.16	c 4956
149.35	o 18199
149.35	c 4955
149.52	o 18204
149.52	c 4950
149.88	o 18206
149.88	c 4948
150.23	o 18209
150.23	c 4945
150.40	o 18210
150.40	c 4944
150.59	o 18213
150.59	c 4941
150.77	o 18217
150.77	c 4937
151.15	o 18218
151.15	c 4936
151.34	o 18222
151.34	c 4932
151.53	o 18224
151.53	c 4930
151.72	o 18226
151.72	c 4928
151.92	o 18229
151.92	c 4925
152.12	o 18234
152.12	c 4920
152.31	o 18235
152.31	c 4919
152.52	o 18237
152.52	c 4917
152.72	o 18238
152.72	c 4916
152.93	o 18240
152.93	c 4914
153.13	o 18241
153.13	c 4913
153.33	o 18242
153.33	c 4912
153.52	o 18245
153.52	c 4909
153.72	o 18248
153.72	c 4906
154.33	o 18249
154.33	c 4905
154.90	o 18250
154.90	c 4904
155.29	o 18254
155.29	c 4900
155.50	o 18255
155.50	c 4899
156.11	o 18257
156.11	c 4897
156.32	o 18258
156.32	c 4896
156.74	o 18260
156.74	c 4894
156.98	o 18264
156.98	c 4890
157.18	o 18268
157.18	c 4886
157.41	o 18270
157.41	c 4884
157.83	o 18271
157.83	c 4883
158.04	o 18273
158.04	c 4881
158.25	o 18275
158.25	c 4879
158.67	o 18277
158.67	c 4877
159.11	o 18278
159.11	c 4876
159.32	o 18280
159.32	c 4874
159.53	o 18286
159.53	c 4868
159.98	o 18287
159.98	c 4867
160.19	o 18289
160.19	c 4865
160.42	o 18291
160.42	c 4863
160.63	o 18292
160.63	c 4862
160.85	o 18295
160.85	c 4859
161.06	o 18297
161.06	c 4857
161.29	o 18298
161.29	c 4856
161.72	o 18301
161.72	c 4853
161.96	o 18302
161.96	c 4852
163.09	o 18306
163.09	c 4848
163.31	o 18307
163.31	c 4847
163.76	o 18309
163.76	c 4845
164.02	o 18312
164.02	c 4842
164.22	o 18313
164.22	c 4841
164.67	o 18316
164.67	c 4838
164.90	o 18319
164.90	c 4835
165.11	o 18322
165.11	c 4832
165.36	o 18323
165.36	c 4831
165.59	o 18326
165.59	c 4828
165.84	o 18327
165.84	c 4827
166.06	o 18332
166.06	c 4822
166.31	o 18334
166.31	c 4820
166.57	o 18338
166.57	c 4816
166.81	o 18343
166.81	c 4811
167.04	o 18344
167.04	c 4810
167.28	o 18346
167.28	c 4808
167.49	o 18347
167.49	c 4807
167.73	o 18350
167.73	c 4804
167.98	o 18355
167.98	c 4799
168.23	o 18356
168.23	c 4798
168.68	o 18358
168.68	c 4796
168.91	o 18359
168.91	c 4795
169.39	o 18362
169.39	c 4792
169.62	o 18365
169.62	c 4789
169.86	o 18367
169.86	c 4787
170.11	o 18370
170.11	c 4784
170.37	o 18371
170.37	c 4783
170.63	o 18374
170.63	c 4780
170.82	o 18376
170.82	c 4778
171.06	o 18379
171.06	c 4775
171.64	o 18383
171.64	c 4771
171.92	o 18387
171.92	c 4767
172.22	o 18391
172.22	c 4763
172.52	o 18395
172.52	c 4759
172.82	o 18397
172.82	c 4757
173.11	o 18400
173.11	c 4754
173.41	o 18403
173.41	c 4751
173.70	o 18406
173.70	c 4748
174.32	o 18408
174.32	c 4746
174.62	o 18410
174.62	c 4744
174.89	o 18412
174.89	c 4742
175.20	o 18414
175.20	c 4740
175.50	o 18416
175.50	c 4738
175.81	o 18418
175.81	c 4736
176.10	o 18419
176.10	c 4735
176.91	o 18420
176.91	c 4734
177.20	o 18423
177.20	c 4731
177.49	o 18425
177.49	c 4729
177.79	o 18427
177.79	c 4727
178.09	o 18429
178.09	c 4725
178.35	o 18431
178.35	c 4723
178.62	o 18434
178.62	c 4720
178.91	o 18436
178.91	c 4718
179.19	o 18438
179.20	c 4716
179.49	o 18440
179.49	c 4714
179.77	o 18442
179.77	c 4712
180.06	o 18444
180.06	c 4710
180.34	o 18445
180.34	c 4709
180.62	o 18446
180.62	c 4708
180.89	o 18447
180.89	c 4707
181.17	o 18448
181.17	c 4706
181.45	o 18449
181.45	c 4705
181.73	o 18450
181.74	c 4704
182.01	o 18452
182.01	c 4702
182.29	o 18453
182.29	c 4701
182.57	o 18454
182.57	c 4700
182.84	o 18455
182.84	c 4699
183.13	o 18456
183.13	c 4698
183.41	o 18457
183.41	c 4697
183.68	o 18458
183.68	c 4696
183.95	o 18459
183.95	c 4695
184.22	o 18460
184.22	c 4694
184.46	o 18463
184.46	c 4691
184.72	o 18464
184.72	c 4690
184.98	o 18469
184.98	c 4685
185.25	o 18473
185.25	c 4681
185.53	o 18474
185.53	c 4680
188.39	o 18476
188.39	c 4678
191.12	o 18478
191.12	c 4676
191.38	o 18480
191.38	c 4674
191.64	o 18482
191.64	c 4672
191.87	o 18485
191.87	c 4669
192.13	o 18487
192.13	c 4667
192.36	o 18491
192.36	c 4663
193.86	o 18492
193.86	c 4662
194.12	o 18494
194.12	c 4660
194.66	o 18497
194.66	c 4657
194.92	o 18498
194.92	c 4656
195.21	o 18500
195.21	c 4654
195.49	o 18502
195.49	c 4652
196.80	o 18504
196.80	c 4650
197.08	o 18507
197.08	c 4647
197.61	o 18508
197.61	c 4646
197.86	o 18512
197.86	c 4642
198.11	o 18515
198.11	c 4639
198.39	o 18516
198.39	c 4638
198.64	o 18517
198.64	c 4637
199.17	o 18518
199.17	c 4636
199.43	o 18521
199.43	c 4633
199.69	o 18524
199.69	c 4630
200.45	o 18526
200.45	c 4628
201.17	o 18529
201.17	c 4625
201.41	o 18531
201.41	c 4623
201.66	o 18535
201.66	c 4619
202.34	o 18536
202.34	c 4618
202.59	o 18537
202.60	c 4617
202.84	o 18539
202.84	c 4615
203.07	o 18540
203.07	c 4614
203.28	o 18544
203.28	c 4610
203.75	o 18546
203.75	c 4608
203.98	o 18547
203.99	c 4607
204.23	o 18554
204.23	c 4600
204.45	o 18557
204.45	c 4597
205.12	o 18560
205.12	c 4594
205.83	o 18562
205.83	c 4592
206.07	o 18564
206.07	c 4590
207.70	o 18565
207.70	c 4589
207.96	o 18566
207.96	c 4588
208.43	o 18568
208.43	c 4586
208.91	o 18569
208.91	c 4585
209.14	o 18570
209.14	c 4584
209.38	o 18572
209.38	c 4582
209.64	o 18576
209.64	c 4578
210.12	o 18578
210.12	c 4576
210.38	o 18579
210.38	c 4575
210.61	o 18581
210.61	c 4573
210.84	o 18583
210.84	c 4571
211.09	o 18584
211.09	c 4570
211.36	o 18585
211.36	c 4569
211.83	o 18588
211.83	c 4566
212.09	o 18592
212.09	c 4562
212.32	o 18595
212.33	c 4559
214.25	o 18599
214.25	c 4555
214.73	o 18601
214.73	c 4553
214.97	o 18605
214.97	c 4549
215.20	o 18607
215.20	c 4547
215.44	o 18608
215.44	c 4546
215.68	o 18610
215.68	c 4544
215.90	o 18611
215.90	c 4543
216.14	o 18612
216.14	c 4542
216.39	o 18615
216.39	c 4539
216.64	o 18616
216.64	c 4538
216.88	o 18617
216.88	c 4537
217.35	o 18618
217.35	c 4536
217.82	o 18620
217.82	c 4534
218.03	o 18622
218.03	c 4532
218.26	o 18623
218.26	c 4531
218.51	o 18624
218.51	c 4530
218.76	o 18625
218.76	c 4529
218.99	o 18627
218.99	c 4527
219.22	o 18630
219.22	c 4524
219.46	o 18631
219.46	c 4523
219.69	o 18632
219.69	c 4522
219.92	o 18635
219.92	c 4519
220.15	o 18637
220.15	c 4517
220.40	o 18639
220.40	c 4515
220.65	o 18641
220.65	c 4513
220.89	o 18643
220.89	c 4511
221.14	o 18645
221.14	c 4509
221.39	o 18647
221.39	c 4507
221.64	o 18648
221.64	c 4506
222.63	o 18650
222.63	c 4504
222.89	o 18653
222.89	c 4501
223.15	o 18656
223.15	c 4498
223.41	o 18659
223.41	c 4495
223.68	o 18661
223.68	c 4493
223.94	o 18663
223.94	c 4491
224.20	o 18667
224.20	c 4487
224.44	o 18673
224.44	c 4481
224.71	o 18674
224.71	c 4480
226.01	o 18675
226.01	c 4479
226.27	o 18676
226.27	c 4478
226.80	o 18678
226.81	c 4476
227.60	o 18680
227.60	c 4474
227.86	o 18683
227.86	c 4471
228.11	o 18686
228.11	c 4468
228.38	o 18690
228.38	c 4464
228.65	o 18693
228.65	c 4461
228.87	o 18694
228.87	c 4460
229.12	o 18699
229.12	c 4455
230.15	o 18701
230.15	c 4453
230.42	o 18703
230.42	c 4451
230.68	o 18708
230.68	c 4446
230.95	o 18709
230.95	c 4445
231.22	o 18711
231.22	c 4443
231.49	o 18712
231.49	c 4442
232.31	o 18713
232.31	c 4441
232.58	o 18714
232.58	c 4440
232.85	o 18717
232.85	c 4437
233.12	o 18719
233.12	c 4435
233.39	o 18720
233.39	c 4434
233.67	o 18721
233.67	c 4433
233.94	o 18723
233.94	c 4431
234.76	o 18724
234.76	c 4430
235.05	o 18726
235.05	c 4428
235.35	o 18727
235.35	c 4427
235.63	o 18732
235.63	c 4422
235.91	o 18734
235.91	c 4420
237.07	o 18735
237.08	c 4419
237.34	o 18738
237.34	c 4416
237.61	o 18743
237.61	c 4411
237.90	o 18745
237.90	c 4409
238.46	o 18747
238.46	c 4407
239.03	o 18749
239.03	c 4405
239.32	o 18750
239.32	c 4404
239.60	o 18751
239.60	c 4403
239.89	o 18753
239.89	c 4401
241.04	o 18756
241.04	c 4398
241.63	o 18758
241.63	c 4396
241.93	o 18761
241.93	c 4393
242.20	o 18764
242.20	c 4390
242.78	o 18766
242.78	c 4388
243.36	o 18767
243.36	c 4387
244.53	o 18768
244.53	c 4386
244.82	o 18769
244.82	c 4385
245.11	o 18770
245.11	c 4384
245.65	o 18772
245.65	c 4382
245.92	o 18774
245.92	c 4380
246.20	o 18777
246.20	c 4377
246.48	o 18779
246.48	c 4375
246.78	o 18781
246.78	c 4373
247.36	o 18782
247.36	c 4372
247.64	o 18783
247.64	c 4371
247.93	o 18786
247.93	c 4368
248.21	o 18788
248.21	c 4366
248.49	o 18790
248.49	c 4364
248.78	o 18792
248.78	c 4362
249.07	o 18793
249.07	c 4361
249.35	o 18794
249.35	c 4360
249.65	o 18795
249.65	c 4359
249.93	o 18796
249.93	c 4358
250.22	o 18798
250.22	c 4356
250.50	o 18799
250.50	c 4355
250.77	o 18800
250.77	c 4354
251.04	o 18802
251.04	c 4352
251.33	o 18804
251.33	c 4350
251.59	o 18805
251.59	c 4349
252.43	o 18807
252.43	c 4347
252.71	o 18811
252.71	c 4343
252.99	o 18812
252.99	c 4342
253.26	o 18814
253.26	c 4340
253.51	o 18815
253.51	c 4339
253.72	o 18817
253.72	c 4337
253.98	o 18818
253.98	c 4336
254.25	o 18819
254.25	c 4335
255.02	o 18820
255.02	c 4334
255.26	o 18821
255.26	c 4333
255.53	o 18826
255.53	c 4328
256.09	o 18827
256.09	c 4327
256.36	o 18829
256.36	c 4325
256.89	o 18830
256.89	c 4324
257.17	o 18831
257.17	c 4323
258.80	o 18832
258.80	c 4322
259.37	o 18834
259.37	c 4320
260.19	o 18835
260.19	c 4319
261.00	o 18837
261.00	c 4317
261.28	o 18840
261.28	c 4314
261.56	o 18844
261.56	c 4310
261.86	o 18846
261.86	c 4308
263.00	o 18848
263.00	c 4306
263.31	o 18850
263.31	c 4304
263.91	o 18852
263.91	c 4302
264.21	o 18853
264.21	c 4301
264.51	o 18854
264.51	c 4300
264.79	o 18856
264.79	c 4298
265.37	o 18857
265.37	c 4297
265.65	o 18858
265.65	c 4296
265.94	o 18859
265.94	c 4295
266.23	o 18860
266.23	c 4294
266.52	o 18861
266.52	c 4293
266.81	o 18862
266.81	c 4292
267.11	o 18866
267.11	c 4288
267.39	o 18868
267.39	c 4286
267.68	o 18870
267.68	c 4284
267.95	o 18872
267.95	c 4282
269.37	o 18874
269.37	c 4280
269.66	o 18875
269.66	c 4279
270.07	o 18877
270.07	c 4277
270.35	o 18882
270.35	c 4272
271.47	o 18884
271.47	c 4270
271.75	o 18886
271.75	c 4268
272.03	o 18889
272.03	c 4265
272.30	o 18891
272.30	c 4263
272.58	o 18894
272.58	c 4260
273.44	o 18897
273.44	c 4257
273.73	o 18900
273.73	c 4254
274.31	o 18901
274.31	c 4253
274.60	o 18903
274.60	c 4251
274.89	o 18905
274.89	c 4249
275.47	o 18906
275.47	c 4248
276.06	o 18907
276.06	c 4247
276.34	o 18908
276.34	c 4246
276.63	o 18912
276.63	c 4242
276.91	o 18914
276.91	c 4240
277.18	o 18915
277.18	c 4239
277.46	o 18916
277.46	c 4238
277.76	o 18918
277.76	c 4236
278.34	o 18920
278.34	c 4234
278.89	o 18921
278.89	c 4233
279.74	o 18924
279.74	c 4230
280.02	o 18928
280.02	c 4226
280.29	o 18931
280.29	c 4223
280.86	o 18932
280.86	c 4222
281.15	o 18934
281.15	c 4220
281.42	o 18938
281.42	c 4216
281.99	o 18940
281.99	c 4214
282.27	o 18942
282.27	c 4212
282.55	o 18944
282.55	c 4210
283.14	o 18945
283.14	c 4209
283.46	o 18948
283.46	c 4206
283.75	o 18949
283.75	c 4205
284.06	o 18952
284.06	c 4202
284.39	o 18955
284.39	c 4199
284.73	o 18958
284.73	c 4196
285.05	o 18961
285.05	c 4193
285.38	o 18963
285.38	c 4191
285.68	o 18966
285.68	c 4188
285.99	o 18968
285.99	c 4186
286.29	o 18969
286.29	c 4185
286.59	o 18971
286.59	c 4183
286.91	o 18973
286.92	c 4181
287.55	o 18975
287.55	c 4179
287.87	o 18977
287.87	c 4177
288.15	o 18979
288.15	c 4175
288.45	o 18980
288.45	c 4174
288.75	o 18981
288.75	c 4173
289.04	o 18982
289.04	c 4172
289.35	o 18985
289.35	c 4169
289.66	o 18986
289.66	c 4168
289.97	o 18988
289.97	c 4166
290.29	o 18991
290.29	c 4163
290.60	o 18993
290.60	c 4161
290.92	o 18995
290.92	c 4159
291.22	o 18997
291.22	c 4157
291.53	o 18998
291.53	c 4156
291.84	o 18999
291.84	c 4155
292.16	o 19000
292.16	c 4154
292.48	o 19001
292.48	c 4153
292.79	o 19002
292.79	c 4152
293.11	o 19003
293.11	c 4151
293.42	o 19004
293.42	c 4150
295.59	o 19006
295.59	c 4148
298.01	o 19008
298.01	c 4146
298.61	o 19009
298.61	c 4145
299.25	o 19011
299.25	c 4143
299.55	o 19013
299.55	c 4141
299.85	o 19015
299.85	c 4139
302.02	o 19016
302.03	c 4138
302.36	o 19018
302.36	c 4136
302.67	o 19022
302.67	c 4132
303.00	o 19024
303.00	c 4130
303.31	o 19025
303.31	c 4129
303.63	o 19027
303.63	c 4127
303.95	o 19031
303.95	c 4123
304.24	o 19032
304.24	c 4122
304.56	o 19034
304.56	c 4120
304.88	o 19037
304.88	c 4117
305.18	o 19038
305.18	c 4116
305.49	o 19041
305.49	c 4113
306.12	o 19042
306.12	c 4112
306.43	o 19045
306.43	c 4109
307.04	o 19046
307.04	c 4108
307.34	o 19048
307.34	c 4106
307.65	o 19051
307.65	c 4103
307.96	o 19052
307.96	c 4102
308.28	o 19056
308.28	c 4098
308.94	o 19058
308.94	c 4096
309.86	o 19060
309.86	c 4094
310.16	o 19061
310.17	c 4093
310.47	o 19063
310.47	c 4091
310.77	o 19066
310.77	c 4088
311.08	o 19067
311.09	c 4087
311.39	o 19068
311.39	c 4086
311.68	o 19069
311.68	c 4085
312.30	o 19070
312.30	c 4084
312.59	o 19073
312.59	c 4081
312.92	o 19075
312.92	c 4079
313.12	o 19079
313.12	c 4075
313.42	o 19081
313.42	c 4073
314.04	o 19083
314.04	c 4071
315.31	o 19086
315.31	c 4068
315.95	o 19090
315.95	c 4064
316.27	o 19091
316.27	c 4063
316.90	o 19092
316.90	c 4062
318.56	o 19093
318.56	c 4061
318.89	o 19095
318.89	c 4059
319.27	o 19096
319.27	c 4058
319.59	o 19097
319.59	c 4057
319.93	o 19102
319.93	c 4052
320.26	o 19103
320.26	c 4051
320.94	o 19106
320.94	c 4048
321.27	o 19107
321.27	c 4047
321.61	o 19108
321.61	c 4046
322.61	o 19110
322.61	c 4044
322.87	o 19114
322.87	c 4040
323.54	o 19118
323.54	c 4036
324.91	o 19119
324.91	c 4035
326.95	o 19120
326.95	c 4034
327.28	o 19122
327.28	c 4032
328.61	o 19127
328.61	c 4027
328.93	o 19130
328.93	c 4024
329.14	o 19131
329.14	c 4023
329.77	o 19132
329.77	c 4022
330.44	o 19134
330.44	c 4020
330.76	o 19135
330.76	c 4019
331.44	o 19138
331.44	c 4016
331.75	o 19141
331.75	c 4013
332.08	o 19142
332.08	c 4012
332.44	o 19144
332.44	c 4010
332.76	o 19148
332.76	c 4006
333.21	o 19149
333.21	c 4005
334.15	o 19150
334.15	c 4004
334.45	o 19152
334.45	c 4002
334.77	o 19153
334.77	c 4001
335.07	o 19156
335.07	c 3998
335.38	o 19157
335.38	c 3997
336.34	o 19158
336.34	c 3996
336.68	o 19160
336.68	c 3994
337.00	o 19162
337.00	c 3992
337.64	o 19165
337.64	c 3989
337.98	o 19170
337.98	c 3984
338.30	o 19171
338.30	c 3983
339.59	o 19173
339.59	c 3981
340.25	o 19174
340.25	c 3980
340.91	o 19177
340.91	c 3977
342.23	o 19179
342.23	c 3975
342.54	o 19184
342.54	c 3970
342.85	o 19185
342.85	c 3969
343.18	o 19186
343.18	c 3968
343.52	o 19187
343.52	c 3967
343.83	o 19190
343.84	c 3964
344.16	o 19194
344.16	c 3960
344.49	o 19195
344.49	c 3959
344.80	o 19197
344.80	c 3957
345.13	o 19198
345.13	c 3956
345.45	o 19202
345.45	c 3952
345.78	o 19204
345.78	c 3950
345.94	o 19207
345.94	c 3947
346.25	o 19208
346.25	c 3946
346.56	o 19210
346.56	c 3944
347.48	o 19215
347.48	c 3939
347.79	o 19218
347.79	c 3936
348.08	o 19219
348.08	c 3935
348.40	o 19222
348.40	c 3932
348.73	o 19224
348.73	c 3930
349.07	o 19225
349.07	c 3929
349.39	o 19228
349.40	c 3926
349.72	o 19230
349.72	c 3924
350.04	o 19233
350.04	c 3921
350.38	o 19236
350.38	c 3918
350.71	o 19237
350.71	c 3917
351.06	o 19242
351.06	c 3912
351.38	o 19243
351.38	c 3911
351.71	o 19244
351.71	c 3910
352.03	o 19245
352.03	c 3909
352.36	o 19246
352.36	c 3908
352.69	o 19248
352.69	c 3906
353.00	o 19250
353.00	c 3904
353.33	o 19252
353.33	c 3902
355.01	o 19257
355.01	c 3897
355.71	o 19259
355.71	c 3895
356.04	o 19261
356.04	c 3893
356.38	o 19264
356.38	c 3890
356.64	o 19268
356.64	c 3886
356.98	o 19270
356.98	c 3884
357.95	o 19271
357.95	c 3883
358.27	o 19274
358.27	c 3880
358.60	o 19275
358.60	c 3879
358.94	o 19276
358.94	c 3878
359.28	o 19278
359.28	c 3876
359.60	o 19280
359.60	c 3874
359.94	o 19281
359.94	c 3873
360.60	o 19284
360.60	c 3870
360.95	o 19287
360.95	c 3867
361.95	o 19289
361.95	c 3865
362.28	o 19291
362.28	c 3863
362.60	o 19292
362.60	c 3862
363.25	o 19293
363.25	c 3861
363.58	o 19295
363.58	c 3859
363.91	o 19297
363.91	c 3857
364.26	o 19298
364.26	c 3856
364.60	o 19302
364.60	c 3852
364.95	o 19303
364.95	c 3851
365.61	o 19304
365.61	c 3850
365.95	o 19306
365.95	c 3848
366.64	o 19308
366.64	c 3846
367.66	o 19309
367.66	c 3845
368.34	o 19310
368.34	c 3844
368.69	o 19312
368.69	c 3842
369.03	o 19313
369.03	c 3841
369.71	o 19314
369.71	c 3840
369.93	o 19317
369.93	c 3837
370.22	o 19319
370.22	c 3835
370.55	o 19321
370.55	c 3833
370.90	o 19325
370.90	c 3829
371.24	o 19326
371.24	c 3828
371.58	o 19329
371.58	c 3825
371.92	o 19331
371.92	c 3823
372.25	o 19333
372.25	c 3821
372.59	o 19335
372.59	c 3819
372.93	o 19338
372.93	c 3816
373.93	o 19340
373.93	c 3814
374.61	o 19341
374.61	c 3813
375.28	o 19344
375.28	c 3810
376.68	o 19346
376.68	c 3808
377.04	o 19347
377.04	c 3807
377.41	o 19349
377.41	c 3805
377.75	o 19351
377.75	c 3803
378.13	o 19353
378.13	c 3801
378.49	o 19354
378.49	c 3800
378.86	o 19355
378.86	c 3799
379.20	o 19359
379.20	c 3795
379.55	o 19360
379.55	c 3794
381.33	o 19361
381.33	c 3793
381.69	o 19363
381.69	c 3791
382.04	o 19365
382.04	c 3789
382.39	o 19367
382.39	c 3787
383.90	o 19369
383.90	c 3785
384.27	o 19372
384.27	c 3782
384.48	o 19376
384.48	c 3778
385.63	o 19377
385.63	c 3777
386.76	o 19378
386.76	c 3776
387.13	o 19379
387.13	c 3775
387.51	o 19382
387.51	c 3772
388.28	o 19384
388.28	c 3770
389.07	o 19386
389.07	c 3768
389.85	o 19388
389.85	c 3766
390.25	o 19390
390.25	c 3764
390.63	o 19393
390.63	c 3761
392.16	o 19395
392.16	c 3759
392.55	o 19396
392.55	c 3758
392.94	o 19398
392.94	c 3756
393.32	o 19400
393.32	c 3754
394.09	o 19402
394.09	c 3752
394.48	o 19403
394.48	c 3751
394.90	o 19409
394.90	c 3745
395.30	o 19410
395.30	c 3744
395.68	o 19412
395.68	c 3742
398.02	o 19413
398.02	c 3741
398.80	o 19415
398.80	c 3739
399.19	o 19416
399.19	c 3738
400.38	o 19417
400.38	c 3737
401.18	o 19421
401.18	c 3733
402.40	o 19422
402.40	c 3732
402.79	o 19423
402.79	c 3731
403.21	o 19425
403.21	c 3729
403.60	o 19426
403.60	c 3728
404.00	o 19428
404.00	c 3726
404.38	o 19429
404.38	c 3725
404.78	o 19430
404.78	c 3724
405.93	o 19434
405.93	c 3720
406.33	o 19436
406.33	c 3718
406.71	o 19438
406.71	c 3716
407.48	o 19442
407.48	c 3712
407.87	o 19443
407.87	c 3711
409.82	o 19445
409.82	c 3709
410.21	o 19447
410.21	c 3707
410.61	o 19449
410.61	c 3705
411.02	o 19450
411.02	c 3704
411.41	o 19453
411.41	c 3701
412.26	o 19455
412.26	c 3699
414.33	o 19456
414.33	c 3698
415.64	o 19459
415.64	c 3695
416.08	o 19462
416.08	c 3692
416.52	o 19464
416.52	c 3690
416.92	o 19468
416.92	c 3686
417.78	o 19470
417.78	c 3684
418.22	o 19472
418.22	c 3682
419.12	o 19474
419.12	c 3680
419.56	o 19476
419.56	c 3678
420.01	o 19479
420.01	c 3675
420.44	o 19482
420.44	c 3672
420.88	o 19484
420.88	c 3670
421.32	o 19486
421.32	c 3668
421.77	o 19487
421.77	c 3667
422.67	o 19489
422.67	c 3665
424.53	o 19490
424.53	c 3664
424.97	o 19492
424.97	c 3662
425.43	o 19494
425.43	c 3660
425.88	o 19495
425.88	c 3659
426.31	o 19496
426.31	c 3658
427.20	o 19497
427.20	c 3657
427.65	o 19498
427.65	c 3656
428.57	o 19499
428.57	c 3655
429.04	o 19500
429.04	c 3654
429.51	o 19501
429.51	c 3653
430.91	o 19502
430.91	c 3652
431.28	o 19503
431.28	c 3651
437.89	o 19506
437.89	c 3648
438.36	o 19508
438.36	c 3646
438.83	o 19511
438.83	c 3643
442.97	o 19512
442.97	c 3642
443.45	o 19514
443.45	c 3640
443.93	o 19518
443.93	c 3636
444.05	o 19519
444.05	c 3635
444.50	o 19520
444.50	c 3634
445.41	o 19521
445.41	c 3633
445.87	o 19522
445.87	c 3632
446.32	o 19523
446.33	c 3631
446.79	o 19524
446.79	c 3630
447.26	o 19526
447.26	c 3628
448.64	o 19528
448.64	c 3626
449.12	o 19531
449.12	c 3623
449.57	o 19532
449.57	c 3622
450.04	o 19533
450.04	c 3621
450.50	o 19535
450.50	c 3619
451.88	o 19536
451.88	c 3618
452.34	o 19537
452.34	c 3617
452.80	o 19538
452.80	c 3616
453.75	o 19540
453.75	c 3614
454.21	o 19542
454.21	c 3612
455.13	o 19543
455.13	c 3611
455.58	o 19544
455.58	c 3610
456.51	o 19546
456.51	c 3608
457.43	o 19547
457.43	c 3607
457.88	o 19548
457.88	c 3606
458.35	o 19550
458.35	c 3604
458.82	o 19552
458.82	c 3602
459.27	o 19554
459.27	c 3600
459.72	o 19557
459.72	c 3597
460.17	o 19562
460.17	c 3592
460.62	o 19563
460.62	c 3591
461.52	o 19565
461.52	c 3589
461.98	o 19567
461.98	c 3587
463.22	o 19571
463.22	c 3583
463.67	o 19572
463.67	c 3582
466.35	o 19573
466.35	c 3581
466.77	o 19577
466.77	c 3577
467.25	o 19578
467.25	c 3576
467.72	o 19579
467.72	c 3575
468.18	o 19580
468.18	c 3574
468.65	o 19581
468.65	c 3573
469.10	o 19582
469.10	c 3572
469.55	o 19586
469.55	c 3568
470.47	o 19587
470.47	c 3567
470.93	o 19590
470.93	c 3564
471.38	o 19594
471.38	c 3560
471.84	o 19597
471.84	c 3557
472.29	o 19598
472.29	c 3556
474.07	o 19601
474.07	c 3553
474.95	o 19605
474.95	c 3549
475.40	o 19606
475.40	c 3548
475.72	o 19608
475.72	c 3546
476.16	o 19609
476.16	c 3545
476.62	o 19611
476.62	c 3543
477.07	o 19613
477.07	c 3541
477.51	o 19616
477.51	c 3538
477.98	o 19619
477.98	c 3535
478.89	o 19621
478.89	c 3533
479.82	o 19622
479.82	c 3532
480.30	o 19624
480.30	c 3530
481.22	o 19627
481.22	c 3527
482.56	o 19628
482.56	c 3526
483.48	o 19633
483.48	c 3521
483.93	o 19635
483.93	c 3519
484.81	o 19636
484.81	c 3518
485.69	o 19637
485.69	c 3517
486.14	o 19639
486.14	c 3515
486.60	o 19643
486.60	c 3511
487.04	o 19644
487.04	c 3510
487.47	o 19645
487.47	c 3509
487.93	o 19646
487.93	c 3508
488.37	o 19648
488.37	c 3506
488.83	o 19650
488.83	c 3504
489.28	o 19653
489.28	c 3501
489.72	o 19656
489.72	c 3498
490.17	o 19657
490.17	c 3497
490.64	o 19659
490.64	c 3495
491.10	o 19660
491.10	c 3494
491.56	o 19661
491.56	c 3493
492.01	o 19663
492.01	c 3491
492.47	o 19665
492.47	c 3489
493.39	o 19668
493.39	c 3486
493.87	o 19672
493.87	c 3482
495.26	o 19673
495.26	c 3481
497.14	o 19674
497.14	c 3480
498.06	o 19676
498.06	c 3478
499.46	o 19677
499.46	c 3477
499.94	o 19679
499.94	c 3475
500.40	o 19681
500.40	c 3473
500.88	o 19683
500.88	c 3471
501.35	o 19684
501.35	c 3470
501.85	o 19685
501.85	c 3469
502.33	o 19687
502.33	c 3467
502.83	o 19688
502.83	c 3466
503.31	o 19690
503.31	c 3464
503.81	o 19691
503.81	c 3463
504.31	o 19692
504.31	c 3462
504.78	o 19693
504.78	c 3461
505.29	o 19694
505.29	c 3460
520.34	o 19695
520.34	c 3459
521.28	o 19696
521.28	c 3458
524.10	o 19697
524.10	c 3457
524.57	o 19698
524.57	c 3456
525.05	o 19699
525.05	c 3455
525.54	o 19702
525.54	c 3452
526.01	o 19705
526.01	c 3449
530.84	o 19707
530.84	c 3447
531.79	o 19708
531.79	c 3446
532.76	o 19709
532.76	c 3445
533.26	o 19710
533.26	c 3444
535.70	o 19712
535.70	c 3442
536.68	o 19714
536.68	c 3440
537.16	o 19715
537.16	c 3439
537.67	o 19716
537.67	c 3438
538.16	o 19718
538.16	c 3436
539.17	o 19719
539.17	c 3435
540.66	o 19721
540.66	c 3433
541.15	o 19722
541.15	c 3432
543.62	o 19724
543.62	c 3430
544.10	o 19725
544.10	c 3429
545.07	o 19727
545.07	c 3427
546.07	o 19730
546.07	c 3424
549.02	o 19731
549.02	c 3423
550.52	o 19733
550.52	c 3421
552.47	o 19735
552.47	c 3419
552.96	o 19736
552.96	c 3418
553.95	o 19738
553.95	c 3416
554.95	o 19739
554.95	c 3415
555.44	o 19740
555.44	c 3414
555.92	o 19743
555.92	c 3411
556.81	o 19744
556.81	c 3410
557.31	o 19745
557.31	c 3409
557.81	o 19747
557.81	c 3407
558.31	o 19750
558.31	c 3404
558.81	o 19751
558.81	c 3403
560.32	o 19752
560.32	c 3402
560.82	o 19753
560.82	c 3401
561.33	o 19754
561.33	c 3400
562.33	o 19755
562.33	c 3399
563.32	o 19757
563.32	c 3397
563.69	o 19758
563.69	c 3396
567.10	o 19762
567.10	c 3392
567.59	o 19764
567.59	c 3390
569.98	o 19766
569.98	c 3388
570.38	o 19770
570.38	c 3384
570.85	o 19771
570.85	c 3383
571.32	o 19772
571.32	c 3382
571.84	o 19773
571.85	c 3381
574.72	o 19776
574.72	c 3378
575.22	o 19778
575.22	c 3376
575.71	o 19779
575.71	c 3375
576.21	o 19782
576.21	c 3372
576.69	o 19783
576.69	c 3371
577.17	o 19784
577.17	c 3370
578.64	o 19785
578.64	c 3369
579.12	o 19786
579.12	c 3368
579.60	o 19787
579.60	c 3367
581.02	o 19789
581.02	c 3365
582.45	o 19790
582.45	c 3364
582.91	o 19791
582.91	c 3363
585.40	o 19794
585.40	c 3360
586.38	o 19796
586.38	c 3358
587.36	o 19797
587.36	c 3357
587.88	o 19800
587.88	c 3354
589.39	o 19802
589.39	c 3352
589.90	o 19805
589.90	c 3349
590.39	o 19807
590.39	c 3347
590.90	o 19811
590.90	c 3343
591.07	o 19814
591.07	c 3340
591.57	o 19816
591.57	c 3338
591.97	o 19817
591.97	c 3337
592.94	o 19819
592.94	c 3335
593.45	o 19821
593.45	c 3333
593.94	o 19823
593.94	c 3331
595.50	o 19824
595.50	c 3330
595.99	o 19825
595.99	c 3329
596.50	o 19827
596.50	c 3327
598.52	o 19828
598.52	c 3326
599.02	o 19831
599.02	c 3323
599.52	o 19834
599.52	c 3320
600.02	o 19838
600.02	c 3316
601.01	o 19840
601.01	c 3314
601.50	o 19842
601.50	c 3312
606.42	o 19843
606.42	c 3311
606.91	o 19844
606.91	c 3310
607.39	o 19845
607.39	c 3309
608.37	o 19846
608.37	c 3308
608.86	o 19848
608.86	c 3306
610.71	o 19849
610.71	c 3305
611.20	o 19850
611.20	c 3304
611.69	o 19852
611.69	c 3302
613.69	o 19854
613.69	c 3300
614.20	o 19857
614.20	c 3297
615.71	o 19859
615.71	c 3295
616.23	o 19860
616.23	c 3294
616.72	o 19861
616.72	c 3293
618.25	o 19864
618.25	c 3290
618.78	o 19865
618.78	c 3289
619.78	o 19867
619.78	c 3287
620.28	o 19868
620.28	c 3286
620.78	o 19869
620.78	c 3285
621.79	o 19870
621.79	c 3284
622.31	o 19871
622.31	c 3283
624.85	o 19872
624.85	c 3282
625.36	o 19873
625.36	c 3281
625.86	o 19874
625.86	c 3280
626.37	o 19875
626.37	c 3279
628.78	o 19876
628.78	c 3278
629.29	o 19878
629.29	c 3276
630.25	o 19882
630.25	c 3272
630.76	o 19884
630.76	c 3270
631.26	o 19885
631.26	c 3269
631.78	o 19886
631.78	c 3268
632.28	o 19888
632.28	c 3266
632.77	o 19891
632.77	c 3263
633.30	o 19892
633.30	c 3262
633.79	o 19893
633.79	c 3261
634.30	o 19894
634.30	c 3260
635.34	o 19895
635.34	c 3259
636.38	o 19897
636.39	c 3257
636.85	o 19899
636.85	c 3255
637.36	o 19901
637.36	c 3253
639.45	o 19902
639.45	c 3252
640.52	o 19903
640.52	c 3251
643.65	o 19904
643.65	c 3250
645.74	o 19909
645.74	c 3245
646.25	o 19910
646.25	c 3244
646.77	o 19911
646.77	c 3243
647.26	o 19914
647.26	c 3240
647.80	o 19915
647.80	c 3239
648.33	o 19916
648.33	c 3238
648.86	o 19918
648.86	c 3236
649.40	o 19919
649.40	c 3235
649.94	o 19922
649.94	c 3232
650.47	o 19923
650.47	c 3231
652.15	o 19924
652.15	c 3230
653.01	o 19927
653.01	c 3227
657.98	o 19930
657.98	c 3224
658.55	o 19931
658.55	c 3223
665.41	o 19932
665.41	c 3222
665.98	o 19933
665.98	c 3221
667.15	o 19935
667.15	c 3219
667.72	o 19936
667.72	c 3218
668.29	o 19939
668.29	c 3215
668.86	o 19941
668.86	c 3213
669.44	o 19942
669.44	c 3212
670.02	o 19945
670.02	c 3209
671.19	o 19946
671.19	c 3208
672.35	o 19947
672.35	c 3207
677.09	o 19948
677.09	c 3206
677.67	o 19949
677.67	c 3205
680.02	o 19951
680.02	c 3203
680.61	o 19952
680.61	c 3202
681.81	o 19954
681.81	c 3200
687.89	o 19955
687.89	c 3199
689.15	o 19957
689.15	c 3197
689.74	o 19959
689.74	c 3195
690.36	o 19961
690.36	c 3193
690.96	o 19963
690.96	c 3191
692.17	o 19966
692.17	c 3188
693.39	o 19967
693.39	c 3187
694.62	o 19968
694.62	c 3186
695.24	o 19969
695.24	c 3185
696.48	o 19971
696.48	c 3183
697.11	o 19973
697.11	c 3181
698.36	o 19975
698.36	c 3179
714.12	o 19976
714.12	c 3178
716.16	o 19977
716.16	c 3177
716.85	o 19978
716.85	c 3176
717.51	o 19979
717.51	c 3175
720.88	o 19980
720.88	c 3174
721.55	o 19981
721.55	c 3173
725.52	o 19986
725.52	c 3168
726.18	o 19988
726.18	c 3166
727.52	o 19989
727.52	c 3165
728.84	o 19991
728.84	c 3163
729.51	o 19993
729.51	c 3161
730.17	o 19995
730.17	c 3159
734.22	o 19997
734.22	c 3157
735.58	o 19998
735.58	c 3156
736.25	o 19999
736.25	c 3155
737.60	o 20001
737.60	c 3153
738.31	o 20003
738.31	c 3151
742.48	o 20004
742.48	c 3150
744.52	o 20006
744.52	c 3148
749.27	o 20007
749.27	c 3147
751.25	o 20008
751.25	c 3146
754.56	o 20009
754.56	c 3145
755.23	o 20011
755.23	c 3143
757.24	o 20012
757.24	c 3142
757.90	o 20014
757.90	c 3140
758.57	o 20017
758.57	c 3137
759.21	o 20021
759.22	c 3133
759.64	o 20022
759.64	c 3132
762.95	o 20024
762.95	c 3130
764.97	o 20025
764.97	c 3129
767.71	o 20026
767.71	c 3128
768.38	o 20027
768.38	c 3127
770.40	o 20028
770.40	c 3126
771.09	o 20030
771.09	c 3124
772.42	o 20032
772.42	c 3122
774.45	o 20034
774.45	c 3120
775.16	o 20035
775.16	c 3119
779.32	o 20037
779.32	c 3117
780.03	o 20043
780.03	c 3111
780.73	o 20046
780.73	c 3108
782.11	o 20047
782.11	c 3107
782.80	o 20049
782.80	c 3105
790.32	o 20051
790.32	c 3103
792.37	o 20052
792.37	c 3102
793.74	o 20053
793.74	c 3101
795.80	o 20054
795.80	c 3100
796.49	o 20055
796.49	c 3099
797.86	o 20056
797.86	c 3098
798.56	o 20057
798.56	c 3097
799.95	o 20058
799.95	c 3096
801.31	o 20061
801.31	c 3093
802.00	o 20062
802.00	c 3092
802.70	o 20063
802.70	c 3091
803.36	o 20064
803.36	c 3090
811.01	o 20065
811.01	c 3089
812.35	o 20067
812.35	c 3087
813.05	o 20070
813.05	c 3084
813.71	o 20071
813.71	c 3083
814.40	o 20073
814.40	c 3081
817.11	o 20075
817.11	c 3079
817.29	o 20078
817.29	c 3076
821.19	o 20079
821.19	c 3075
821.88	o 20080
821.88	c 3074
823.26	o 20081
823.26	c 3073
823.97	o 20082
823.97	c 3072
825.37	o 20084
825.37	c 3070
825.68	o 20087
825.68	c 3067
841.66	o 20089
841.66	c 3065
846.52	o 20092
846.52	c 3062
847.21	o 20093
847.21	c 3061
848.61	o 20096
848.62	c 3058
850.01	o 20097
850.01	c 3057
850.69	o 20098
850.69	c 3056
853.48	o 20099
853.48	c 3055
856.31	o 20101
856.31	c 3053
858.37	o 20102
858.37	c 3052
861.94	o 20104
861.94	c 3050
864.08	o 20106
864.08	c 3048
865.53	o 20108
865.53	c 3046
868.38	o 20109
868.38	c 3045
869.10	o 20112
869.10	c 3042
870.56	o 20113
870.56	c 3041
870.98	o 20115
870.98	c 3039
872.39	o 20118
872.39	c 3036
874.54	o 20119
874.54	c 3035
875.27	o 20123
875.27	c 3031
875.99	o 20126
875.99	c 3028
876.71	o 20127
876.71	c 3027
879.57	o 20129
879.57	c 3025
880.29	o 20131
880.29	c 3023
884.36	o 20132
884.36	c 3022
885.08	o 20135
885.08	c 3019
885.81	o 20137
885.81	c 3017
886.48	o 20138
886.48	c 3016
887.18	o 20140
887.18	c 3014
893.01	o 20141
893.01	c 3013
894.97	o 20142
894.97	c 3012
895.70	o 20144
895.70	c 3010
897.18	o 20145
897.18	c 3009
897.93	o 20146
897.93	c 3008
898.66	o 20148
898.66	c 3006
900.14	o 20149
900.14	c 3005
901.46	o 20150
901.46	c 3004
914.24	o 20152
914.24	c 3002
916.52	o 20154
916.52	c 3000
917.26	o 20156
917.26	c 2998
921.02	o 20158
921.02	c 2996
921.78	o 20159
921.78	c 2995
926.32	o 20160
926.32	c 2994
926.58	o 20163
926.58	c 2991
930.08	o 20164
930.08	c 2990
931.54	o 20166
931.54	c 2988
932.29	o 20168
932.29	c 2986
933.01	o 20170
933.01	c 2984
933.75	o 20171
933.75	c 2983
935.99	o 20174
935.99	c 2980
939.01	o 20175
939.01	c 2979
939.78	o 20177
939.78	c 2977
944.35	o 20180
944.35	c 2974
951.28	o 20182
951.28	c 2972
965.26	o 20183
965.26	c 2971
967.59	o 20184
967.59	c 2970
969.95	o 20185
969.95	c 2969
972.31	o 20186
972.31	c 2968
973.82	o 20187
973.82	c 2967
975.40	o 20190
975.40	c 2964
976.20	o 20191
976.20	c 2963
976.99	o 20195
976.99	c 2959
993.41	o 20196
993.41	c 2958
994.21	o 20197
994.21	c 2957
994.99	o 20199
994.99	c 2955
995.79	o 20202
995.79	c 2952
996.20	o 20204
996.20	c 2950
997.73	o 20205
997.73	c 2949
999.23	o 20206
999.23	c 2948
1000.02	o 20207
1000.02	c 2947
1000.64	o 20209
1000.64	c 2945
1001.43	o 20210
1001.43	c 2944
1002.99	o 20211
1002.99	c 2943
1005.31	o 20213
1005.31	c 2941
1006.08	o 20214
1006.08	c 2940
1006.86	o 20215
1006.86	c 2939
1008.39	o 20217
1008.39	c 2937
1009.15	o 20218
1009.15	c 2936
1009.72	o 20219
1009.72	c 2935
1011.26	o 20220
1011.26	c 2934
1012.02	o 20222
1012.02	c 2932
1013.56	o 20224
1013.56	c 2930
1024.60	o 20226
1024.60	c 2928
1028.24	o 20227
1028.25	c 2927
1029.02	o 20230
1029.02	c 2924
1029.81	o 20232
1029.81	c 2922
1030.59	o 20233
1030.59	c 2921
1033.30	o 20234
1033.30	c 2920
1038.60	o 20236
1038.60	c 2918
1048.75	o 20237
1048.75	c 2917
1049.52	o 20238
1049.52	c 2916
1053.08	o 20239
1053.08	c 2915
1053.87	o 20240
1053.87	c 2914
1054.69	o 20241
1054.69	c 2913
1061.15	o 20243
1061.15	c 2911
1061.67	o 20244
1061.67	c 2910
1064.13	o 20245
1064.13	c 2909
1064.93	o 20249
1064.93	c 2905
1065.75	o 20251
1065.75	c 2903
1066.54	o 20252
1066.54	c 2902
1072.74	o 20253
1072.74	c 2901
1073.54	o 20255
1073.54	c 2899
1094.64	o 20256
1094.65	c 2898
1095.29	o 20258
1095.29	c 2896
1096.07	o 20259
1096.07	c 2895
1096.88	o 20261
1096.88	c 2893
1097.67	o 20263
1097.67	c 2891
1100.81	o 20264
1100.81	c 2890
1105.54	o 20265
1105.55	c 2889
1107.10	o 20268
1107.10	c 2886
1107.89	o 20270
1107.89	c 2884
1108.72	o 20273
1108.72	c 2881
1111.12	o 20275
1111.12	c 2879
1115.21	o 20276
1115.21	c 2878
1116.03	o 20277
1116.03	c 2877
1116.88	o 20278
1116.88	c 2876
1117.74	o 20279
1117.74	c 2875
1118.39	o 20281
1118.39	c 2873
1120.92	o 20282
1120.92	c 2872
1124.80	o 20284
1124.80	c 2870
1125.63	o 20285
1125.63	c 2869
1128.09	o 20286
1128.09	c 2868
1128.92	o 20287
1128.92	c 2867
1129.74	o 20289
1129.74	c 2865
1132.21	o 20290
1132.21	c 2864
1148.63	o 20291
1148.64	c 2863
1149.43	o 20293
1149.43	c 2861
1150.99	o 20294
1150.99	c 2860
1159.33	o 20298
1159.33	c 2856
1160.12	o 20299
1160.12	c 2855
1164.15	o 20300
1164.15	c 2854
1164.52	o 20304
1164.52	c 2850
1167.54	o 20305
1167.54	c 2849
1170.60	o 20306
1170.60	c 2848
1171.30	o 20308
1171.30	c 2846
1172.08	o 20309
1172.08	c 2845
1187.72	o 20312
1187.72	c 2842
1190.75	o 20313
1190.75	c 2841
1191.53	o 20315
1191.53	c 2839
1194.57	o 20316
1194.57	c 2838
1196.12	o 20317
1196.12	c 2837
1196.92	o 20318
1196.92	c 2836
1197.72	o 20319
1197.72	c 2835
1198.51	o 20320
1198.51	c 2834
1199.41	o 20321
1199.41	c 2833
1201.74	o 20322
1201.74	c 2832
1202.52	o 20324
1202.52	c 2830
1204.88	o 20325
1204.88	c 2829
1206.44	o 20326
1206.44	c 2828
1207.23	o 20327
1207.23	c 2827
1208.02	o 20329
1208.02	c 2825
1208.75	o 20331
1208.75	c 2823
1212.70	o 20332
1212.70	c 2822
1213.49	o 20334
1213.49	c 2820
1214.17	o 20335
1214.17	c 2819
1215.77	o 20338
1215.77	c 2816
1225.38	o 20339
1225.38	c 2815
1226.19	o 20340
1226.19	c 2814
1227.01	o 20341
1227.01	c 2813
1228.63	o 20342
1228.63	c 2812
1258.84	   
1258.84	   search
1258.84	     run=0  nbConstraintChecks=2540300756  nbAssignments=3074
1258.84	       =>  wckTime=1196.343  cpuTime=1190.59  mem=78M62
1258.85	   
1258.85	   global
1258.85	     nbConstraintChecks=2540300756  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1258.85	     solvingWckTime=1196.306  solvingCpuTime=1190.55  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1258.85	     globalCpuTime=1251.56
1258.85	       =>  wckTime=1258.532  cpuTime=1251.51  mem=78M62
1258.85	   
1258.85	   solver IterativeSystematicSolver being built... 
1259.79	       =>  wckTime=1259.474  cpuTime=1252.04  mem=229M174
2411.61	v 3644 3040 3228 3188 3036 3068 3096 3252 3760 3764 3052 -3784 3936 -3872 3956 -3872 -3792 -3044 3952 3408 3968 -3904 -3128 -4000 -3912 -3044 3452 3648 3780 3192 3016 3240 3264 -3692 3056 3324 -3020 3768 -3864 -3116 3972 -3040 -3964 3164 3044 -3200 3868 3056 -3784 3524 -3324 -3756 -3044 -3012 -3380 -3888 3960 -3084 -3440 -4000 -3276 3148 3304 -3968 3952 3020 3992 -3108 -3548 -3040 -3028 3036 3212 3416 -3024 -3552 3584 3992 3288 -3408 3968 -3864 -3820 3008 3432 -3036 3056 -3284 3728 3096 3912 3004 -3932 3856 3952 3892 3728 3856 3772 3816 3068 3072 3984 3208 3064 3056 -3884 -3908 -3004 3424 3328 -3768 -3932 -4000 3960 -3000 3000 -3740 -3172 -3056 -3868 -3012 -3968 3064 -3040 -3136 -3988 3148 -3060 3620 3000 3172 3012 3328 -3652 3192 3924 3824 -4000 3040 -3000 -3760 -3160 3396 -3692 3916 3524 3496 3176 -3940 -3904 -3968 3248 3052 -3972 3960 -3096 -3948 -3040 3848 -3652 3876 3460 -3896 3540 -3472 -3516 3052 -3880 -3784 3040 -3120 3888 -3040 -3412 -3956 3176 3632 3008 -3084 3068 -3656 -3000 3912 -3208 -3040 -3088 -3960 -3008 -3016 3040 3968 3916 -3952 -3776 4000 3932 -3780 -3392 3940 -3044 3908 -3864 -3080 3908 -3856 3792 3480 3432 -3392 3760 3980 3368 -3028 3912 3816 -3956 3304 3336 -3084 -3812 -3940 3744 -3812 -3000 -3040 -3608 -3816 -3480 3228 -3948 -3968 3076 3376 -3212 -3008 3632 -3956 3068 -3484 3088 3564 3168 3980 -3784 3992 -3916 -3292 -3000 3096 3084 3068 -3008 3792 3580 3852 3188 3012 -3416 3988 -3004 -3968 -3004 3208 -3344 -3388 3664 3048 -3588 -3136 3868 3984 3804 -4000 3224 3852 3996 -3848 -3992 -3876 -3128 3508 3976 -3344 -3316 3576 -3088 -3996 -3736 -3936 -3912 -4000 3008 3016 -3196 -3968 3744 -3168 3044 3164 -3892 -3096 3584 -3180 3128 3984 3928 -3312 3720 -3912 -3592 3940 3232 -3244 -3820 -3084 -3944 -3992 3128 -3000 -3408 -3000 3924 3804 -3108 -3004 -3036 3016 -3836 3864 -3908 3856 -3248 -3096 -3872 -3836 3260 3896 -3260 -3080 -3116 3144 3644 -3960 -3268 -3008 -3192 4000 -3060 3884 -3952 3856 -3496 -3892 -3956 3588 -3972 3492 3760 -3780 3812 3932 -3408 3852 3928 -3768 -3168 -3732 -3928 -3092 3352 3960 -3884 -3872 3032 -3284 -3304 -3132 4000 3840 3844 3040 3124 3948 -3580 3700 3040 3956 3864 3836 3644 -3804 -3856 -3992 3848 -3324 -3904 3640 3956 3900 3096 3060 3352 -3880 3124 3040 -3600 -3268 -3580 3016 3040 3928 3544 -3924 3916 -3980 -3036 3440 3104 -3064 -3348 3056 -3552 -3428 -3108 3796 -3808 -3784 -3208 3908 -3348 -3552 -3820 3772 3976 3136 3888 3704 -3004 -3988 3528 3996 -3228 3252 3824 -3020 3024 3728 -3072 3028 -3976 -3252 3064 -3520 -3276 -3248 -3940 3848 3044 -3168 3520 -3820 -3576 -3060 -3036 -3040 -3928 -3604 3648 -3028 -3652 -3608 -3220 3996 -3672 -3460 3956 3960 -3012 3260 3044 3684 -3580 3136 -3036 -3084 -3040 3704 3852 3072 3960 3320 3628 -3072 3988 3704 -3624 3996 3884 -3276 -3996 3992 3004 3220 -3664 3244 -3032 -3328 3928 3076 3884 -3600 3216 -3964 3004 -3884 3484 -3828 -3840 3636 -3632 3960 -3004 3560 -3868 3296 -3136 3028 3948 3632 3928 -3148 -3216 3124 -3068 -3052 3292 -3944 3120 -3980 3824 3008 3968 -3280 3868 -3668 -3032 3940 3836 3000 3368 -3896 -4000 -3968 3068 -3984 -3776 3680 -3540 -3956 -3040 -3076 -3872 -3812 -3984 3160 3932 3004 -3864 -3800 -3000 3152 3244 -3548 3004 3844 -3704 -3848 -3676 -3728 -3088 3980 -3484 -3968 -3056 -3640 3524 3460 3808 3968 3900 3368 3008 3984 3984 3640 -3120 3672 -3048 -3012 -3880 3320 -3944 3228 3996 -3060 3440 3924 -3032 3988 3900 3980 -3040 -3976 3216 3936 -3380 3884 3952 -3888 -3044 -3856 -3580 -3988 -3236 3076 -3080 -3968 3004 -3024 3756 3572 -3992 3736 3456 3300 -3624 -3080 -3988 3088 3600 3796 3048 -3808 3768 3372 3908 -3100 -3912 3952 -3004 3080 3992 3976 3328 3772 3040 3984 -3012 -3364 3484 -3432 -3092 -3712 3512 3380 3044 -3996 -3052 -3824 -3024 -3172 -3020 -3112 3112 -3572 -3996 -3956 -3896 3836 3980 3276 -3928 3692 3940 -3700 -3820 3172 3904 3408 3788 3392 3256 3952 3008 -3088 3396 3020 -3956 -3776 3984 3900 3260 -3048 3584 -3188 -3052 3244 -3060 3964 -3856 -3876 3004 3484 -3916 -3812 -3076 3576 -3960 4000 -3932 3704 3672 3824 3932 3096 -3660 3940 3232 3124 -3284 3912 -3120 -3720 -3960 3672 -3028 -3524 -3740 3036 3984 3488 -3252 3648 3604 3092 -3472 -3548 3032 -3956 -4000 3996 3888 3680 3108 -3980 -3816 -3364 -3076 3000 3084 -4000 -3300 -3956 3572 3948 -3084 3592 -4000 -3044 3992 -4000 3948 3008 -3196 3192 3004 3616 -3324 -3044 -3000 3000 -3964 3852 -3072 -3132 3900 3972 3312 -3040 3540 -3796 -4000 3876 3748 -3896 3992 -3080 3004 3892 -3908 -3388 -3064 3924 3052 3200 3348 -3592 -3028 -3964 3784 3076 3816 -3348 3992 -3848 -3108 -3248 3228 3048 -3448 3408 -3152 -3808 -3308 3812 3176 3712 -3104 3932 3908 -3884 3204 -3108 3392 3676 -3188 3056 -3044 3556 3932 -3912 3480 -3052 3012 -3016 -3924 -3388 -3716 -3316 3016 -3324 3952 -3656 3000 3784 3936 -3036 -3932 -3016 3796 -3056 -3192 3960 -3112 -3004 -3072 -3924 -3112 -3852 3204 -3860 4000 -3860 3908 4000 -3996 3644 -3480 -3008 -3800 -3956 -3332 3000 -3988 -3968 -3364 3936 -3948 3376 -3168 -3092 -3360 3108 -3928 3196 -3784 -3992 -3980 -3292 -3976 -3060 3080 3164 -3140 -3448 3148 -3156 3916 -3976 -3592 -3292 3984 -3204 -3372 -3964 -3816 -3240 -3088 3820 3500 3820 4000 3944 3404 3004 -3304 -3012 3032 3044 -3032 3928 -3896 -3428 -3048 3208 -3000 3076 3956 -3872 -3996 -3840 -3288 -3620 3656 3808 -3004 -3048 3708 -3888 3452 3952 -3016 -3896 -3988 -3096 3040 -3088 3052 3960 -3952 4000 4000 3164 -3940 -3716 3064 -3856 -3852 -3264 3768 -3284 3940 -3256 3032 -3004 -3164 3284 3208 -3676 -3068 -3820 3820 -3912 3696 3884 3840 3136 3064 3856 -3832 3012 -3752 -3040 3504 3500 -3580 -3000 3316 3524 3272 -3592 -3132 3044 -3172 -3084 -3808 3860 3056 -3052 3044 -3564 -3956 3324 -3520 -3076 3724 3040 -3604 -3988 3012 3924 3212 3916 3168 -3076 3812 3988 -3060 -3524 -3036 -3964 3108 -3604 -3156 4000 -3136 -3948 3792 3984 3384 -3956 3184 -3060 3792 3000 3692 -3992 -3316 3048 -3348 -3112 -3072 3984 3060 3040 3040 3200 3936 3304 3952 -3080 -4000 -3164 3044 3560 -3892 3104 -3072 3748 -3584 -3776 -3000 3404 3556 -3192 3152 3532 -3048 -3196 3044 -3072 -3024 -3240 -3588 -3676 -3056 -3964 -3616 3960 3740 3940 3928 -3640 -3080 -3016 3928 -3996 3000 -3960 3288 -3148 -3996 3208 -3052 3956 3236 -3900 -3100 -3240 -3812 -3984 -3040 3992 -3956 -3512 -3948 -3028 -3328 -3760 3088 -3808 -3328 -3924 3828 -3004 -3940 -3940 3056 -3992 -3884 3924 -3952 -3872 3864 3204 -3448 3008 3988 3600 -3748 -3008 -3872 3952 3708 3088 -3984 3568 -3008 3508 -3840 3872 -3704 3116 3844 -3956 3968 -3928 -3936 -3752 -3996 -3544 3860 3948 -3192 3024 3048 -3188 -3068 3948 -3972 3216 3524 3912 3960 3644 3912 3960 -3960 3072 -3928 3128 -3892 3712 -3616 -3900 3076 3932 -3956 3724 3044 -3468 3004 3860 -3372 3972 -3932 -3228 -3056 3972 3876 3556 -3128 -3564 -3316 -3864 -3888 3188 -3844 3816 -3068 3056 3112 -3936 -3164 3968 3176 3640 -3132 3956 3344 3096 3952 4000 -3272 -3204 3916 3700 -3656 -3940 3968 3272 -3024 3876 3332 3044 3976 -3020 3912 -3056 3048 3120 3956 -3912 3804 3544 -3608 -3964 -3944 -3416 3368 -3204 -3008 3300 3888 -3040 3992 3076 -3064 3860 3048 3048 -3532 3392 3040 3504 -3928 3064 -3936 -3008 3168 -3688 3668 -3932 -3744 -3000 3864 3996 -3612 3208 3068 3072 -3804 -3104 -3076 -3660 3420 3056 -3852 -3808 -3952 3976 3564 -3172 3272 3204 -3028 -3564 3936 3008 3688 3964 3616 -3060 -3004 3172 3456 -3892 3052 3172 3332 -3560 3152 -3012 3000 -3080 3476 3960 -3504 -3852 -3864 -3052 3460 3432 3972 3748 3008 3936 -3012 3576 -3232 -3260 -3972 3360 3604 -3528 -3016 3456 -3976 -3292 -3996 -3608 3184 -3868 -3972 -3040 -3348 3048 3168 -3276 -3148 3360 3116 3948 -3084 3244 3152 3872 -3212 3900 -3520 3316 -3468 -3672 3952 -3036 3280 3956 3168 -3324 3168 -3000 -3932 -3000 3856 3712 -3920 -3944 -3980 3448 3676 3060 -3332 3964 3892 3184 3200 3884 -3072 3948 -3176 3956 -3720 3052 3040 3896 3296 -3968 3720 -4000 3404 3008 -3844 3216 3200 -3064 -3772 -3136 3860 3004 -3184 3096 3632 3008 3356 3940 -3020 -3264 3096 -3036 3760 -3880 -3080 3612 3972 3016 -3780 3120 -3000 -3116 3780 -3148 -3812 -3004 -3248 -3096 3040 3420 -3768 -3116 -3368 3076 -3024 3664 -3628 -3056 3948 -3996 -3048 3488 -3996 3356 -3244 -3004 3344 3984 -3124 3736 3812 3056 3628 -3960 3484 3000 3960 -3024 3444 3960 -3916 3960 -3208 -3952 -3048 -3020 3052 3224 3776 3264 3140 -3936 3940 3276 3380 3628 -3896 3052 3952 3960 3520 3824 -3040 3956 3292 3096 -3016 3416 3904 3044 -3704 3880 -3920 3176 -3944 3128 3044 -3864 3820 3192 3864 3000 3016 -3192 -3032 3452 -3988 3500 -3000 3040 3972 -3288 -3308 3032 3504 3896 -3872 -3876 -3000 3932 -3000 -3212 -3052 3840 -3064 3804 -3964 -3340 -3956 3976 -3144 3180 3164 -3928 -3968 3080 -3608 -3016 -3708 -3420 3948 3000 -3512 3880 -3288 3044 -3072 3048 3004 3152 -3540 3340 3036 -3668 3156 3828 3704 -3220 -4000 3064 3996 -3836 -3040 3020 3500 3452 -3004 3632 -3064 3984 -3960 3832 3984 -3684 3996 4000 -3012 3960 -3060 3912 -3048 3400 -3108 -3040 -3004 3052 3120 -3216 3968 3756 -3556 3100 -3140 -3012 3860 -3324 -3040 -3020 -3000 3124 3104 3220 3708 -3980 -3956 3924 3928 -3912 3932 3412 -3548 -3968 3020 3312 -3996 -3000 -3276 3036 -3120 3912 3676 3948 3064 3564 -3876 -3988 3292 -3944 3428 -3604 -3012 -3996 3416 3292 3120 3000 3736 -4000 3900 -3000 3056 3744 -3932 -3840 -3048 -3952 -3412 3044 -3996 -3396 -3928 3876 3536 -3892 -3072 4000 -3936 3064 3220 3956 3052 -3144 3852 -3852 3744 3992 3392 -3112 -3996 3160 3976 -3944 3588 -3984 -3112 3028 -3440 3332 3936 3352 3912 3096 3960 -3012 -3048 -3828 3812 -3072 3020 3824 -3316 3820 -3052 -3420 -3988 -3020 -3648 3824 3048 3772 -3928 3104 3036 3800 -3932 3088 3204 -3336 -3096 3252 -3044 3820 3680 -4000 -3048 3684 -3012 -3020 -3728 -3964 -4000 -4000 -3108 -3888 -3108 -3836 -3972 -3876 -3116 -3988 -3844 -3948 -3820 3912 -4000 3980 3356 3992 3476 -3932 3984 3052 -3224 3528 3960 -3056 -3176 3820 -3968 3996 -3280 3176 -3048 -3044 -3352 -3128 -3044 -3480 -3004 -3944 3956 -3012 3060 -3444 3960 3936 -3020 3996 3984 -3092 -3936 -3828 -3744 -3136 3824 3300 3052 3224 -3972 -3368 3012 -3044 3924 -3408 -3628 -3924 3948 3964 -3888 -3948 3376 3796 3824 -3076 -3016 -3096 -3304 3636 3960 -3960 3680 3152 3192 -3960 -3976 -3768 3928 3540 -3104 -3008 -3920 3320 -3960 3664 3676 3940 3972 -3872 -3948 -3960 -3076 3588 -3928 3656 3060 -3128 -3392 3564 3468 -3012 3528 -3244 -3752 3072 -3860 -3092 -3068 3932 -3920 -3268 -3688 3016 3412 3376 -3344 -3864 -3240 -3544 3352 -3116 -3796 3856 3896 3376 -3860 3364 -3096 -3488 3952 -3716 -3956 3728 -3000 3332 3876 -3076 -3232 3800 -3720 3824 -3852 -3020 -3772 -3636 3596 3272 3524 -3860 -3024 -3772 -3128 3052 -3960 3276 3264 3860 -3928 3124 -3496 -3044 3004 -3016 3860 3208 3896 3892 3680 -3800 3720 -3220 -3996 -3096 3824 -3308 3976 -3048 3376 3996 3672 3872 -3988 3084 -3776 -3992 -3048 -3788 3872 -3880 -3996 3044 -3976 3112 3088 3344 -3392 3896 -3940 -3440 3072 -3464 3068 -3168 -3468 3056 -3368 3372 3096 3372 3212 -3056 3976 3012 -3944 -3336 3980 -3768 -3728 3004 3168 3016 3672 3824 -3940 -3116 -3972 3064 -3004 3396 3200 3992 3940 -3032 3332 -3948 -3456 3252 3944 3072 -3052 3628 3948 3060 -3044 -3224 3708 -3984 -3692 -3652 3940 -3992 -3632 3192 -3044 3216 -3044 -3912 3016 3996 -3020 3892 3256 -3040 -3944 3092 3388 -3960 3512 -3768 3256 3940 3668 -3724 3248 -3416 -3020 3948 -3220 -3312 -3012 3964 -3020 3564 3104 3492 -3952 3968 3260 -3220 -3132 -3188 3084 3436 -3344 3996 3884 3120 3960 3040 3068 -3136 -3944 3068 -3048 3028 3584 -3892 3144 -3768 3932 3372 3500 -3928 3700 -3800 -4000 3312 3076 -3816 -3072 -3588 3276 -3916 -3012 -3004 -3112 -3252 3988 -3000 -3960 -3616 -3376 -3076 -3960 -3216 3244 -3532 3148 3652 3040 -3564 -3920 3064 3400 -3924 3028 -3100 3588 -3860 -3072 -3220 -3024 -3008 3204 3868 3088 -3052 3024 3204 -3956 -3096 3740 3672 -3928 -3992 3832 -4000 3004 3796 3336 -3976 -3964 -3116 -3008 -3312 -3088 -3924 3052 -3980 -3816 -3868 -3444 -3776 -3952 -3824 3488 -3596 3632 -3972 3236 -3604 -3980 -3452 3840 3204 3984 -3068 3008 3972 -3068 3372 -3008 -4000 3492 3860 -3764 -3032 -3020 -3848 -3832 -3048 -3020 3564 -3840 3032 -3832 -3936 3108 -3972 -3948 3916 -3932 3936 3012 3060 -3420 3956 3988 3892 3556 -3792 3840 -3656 3380 3116 3016 -4000 3056 3996 3108 3372 -3020 -3888 -3108 -3304 -3128 3000 3004 -3900 -3040 3344 3052 3020 -3120 3608 -3604 3100 -3988 -3080 -3784 -3828 3988 3648 3456 -3420 3900 3988 3960 3064 -3040 -4000 3984 3956 -3936 3124 3676 3044 -3040 -3076 -3712 3232 3900 -3072 3928 3568 3904 3008 -3776 3000 -3076 3800 3456 3032 -3708 3080 3064 3996 3024 -3236 3008 3092 -3872 -3608 3924 -3104 -3944 3984 3080 3000 -3488 -3000 -3648 3944 3068 3000 3828 -3696 3908 3884 3020 -3972 -3520 -3208 -3880 3668 3824 3052 3992 3732 -3084 -3392 3380 -3516 3028 -3336 3924 3112 -3340 -3016 -3988 -3196 -3800 -3508 -3948 3816 -3044 -3932 3080 3120 -3052 3868 -3156 -3792 -3044 3356 -3680 3076 3156 3688 -3752 -3692 3516 -3156 -3276 3092 -3416 3188 -3232 -3948 3032 -3032 4000 -3920 -3756 3356 3000 -3848 -3852 -3000 3992 3680 3688 3392 3784 3352 -3596 -3184 -3964 3224 3796 3948 -3972 3004 -3012 3624 -3168 3016 -3940 3992 -3408 -3440 3988 4000 3532 3728 3772 4000 3968 -3996 -3160 -3436 -3284 3996 -3452 -3044 -3604 3376 3232 -3012 -3180 -3456 3028 3088 -3012 -3004 -3688 -3984 -3216 3108 3848 3864 -3024 -3956 -3032 3808 -3988 -3844 3344 -3204 -3548 -3368 -3832 3188 -3744 -3352 3192 -3020 -3052 -3236 3148 -3744 -3424 -3228 -3972 3040 -3880 3988 -3812 -3344 -3688 -3904 3664 -3032 3000 -3100 -3992 -3632 -3024 3892 -3852 3916 -3008 3120 3496 4000 3912 -3916 3024 3972 3048 -3384 3736 -3552 -3992 3128 3220 3000 3056 -3304 3048 -3044 3988 4000 -3160 3368 -3996 3028 -3888 -3824 -3248 3040 3384 4000 -3040 3532 -3128 3088 3992 3000 -3516 3048 -3668 3032 -3532 -3476 3272 -3756 -3212 -3076 -3752 -3996 -3960 -3928 -3996 3860 -3536 3928 -3788 3896 -3012 -3792 -3660 -3964 -3992 -3004 -3420 -3960 -3992 -3824 -3932 -3060 -3368 3444 3024 -3064 3288 -3872 -3944 3984 -3128 -3108 -3236 3980 3032 3212 -3804 -4000 -3000 3056 3104 -3192 3960 3860 -3968 3980 3972 -3540 3704 3832 -3000 3952 -3688 3996 3524 -3960 3060 3260 3820 3004 -3376 -3332 -3044 -3964 -3068 3172 -3840 -3388 3480 3000 -3872 3680 3348 -3676 -4000 3948 3868 -3056 -4000 3040 -3000 -3160 3088 3552 -3788 -3984 -3720 -3632 3000 -3232 3728 3988 -3812 -3816 -3988 3088 -3924 3020 4000 3820 3232 3868 3048 4000 -3040 3140 3944 -3560 3732 3108 3088 -3920 3008 3924 -3012 3948 -3928 -3968 -4000 3936 -3992 -3960 -3328 3048 3040 3956 -3028 -3940 -3236 3444 -3000 -3180 -3964 3680 -3160 3152 3096 3960 3968 -3936 -3468 3672 3048 -3684 -3988 -3992 3056 -3816 3612 -3572 -3044 3936 3976 3116 -3928 -3948 -3052 3836 -3084 3224 3356 3960 3220 3832 3044 -3196 -3480 3880 3852 3940 3968 -3632 3600 -3920 -3912 -3960 -3024 -3152 -3296 -3476 3748 3616 3860 3304 3112 3896 -3952 -3816 3228 -3972 -3628 -3068 -3564 3588 3052 -3236 4000 3256 3312 -3272 -3672 3836 -3948 3860 3464 3096 3916 3568 3952 3016 -3952 3628 3408 3808 3960 -3016 3564 3140 3072 3056 -3060 -3272 -3708 -3948 3140 -3184 -3248 3364 -3980 3700 -4000 -3100 3068 3012 3848 3008 -3856 -3024 3872 -3000 3988 3012 -3196 -3928 3400 3176 -3896 -3932 -3072 -3160 -3980 -3020 -3460 3128 -3076 3060 -3912 3700 3308 -3940 -3968 -3604 -3012 -3064 -3004 3244 3048 3940 -3684 -3144 3004 3124 -3004 -3980 -3616 -3932 3908 3696 -3840 -3920 -3056 3116 -3188 -3952 -3512 -3568 3156 3864 -3324 3780 -3912 -3956 3988 3000

Verifier Data (download as text)

2812 unsatisfied constraints, 20342 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-275603-1169223850 -o ROOT/results/node29/solver-275603-1169223850 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275603-1169223850/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.85 1.05 1.44 6/84 10948
/proc/meminfo: memFree=1392856/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=18540 CPUtime=0
/proc/10945/stat : 10945 (runsolver) R 10941 10945 10810 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270779118 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/10945/statm: 4635 279 244 17 0 2626 0

[startup+0.102956 s]
/proc/loadavg: 0.85 1.05 1.44 6/84 10948
/proc/meminfo: memFree=1392856/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=914988 CPUtime=0.08
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 2958 0 1 0 7 1 0 0 23 0 8 0 270779118 936947712 2704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228747 2704 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510981 s]
/proc/loadavg: 0.85 1.05 1.44 6/84 10948
/proc/meminfo: memFree=1392856/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915332 CPUtime=0.48
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 7624 0 1 0 44 4 0 0 18 0 8 0 270779118 937299968 7363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228833 7364 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33204 s]
/proc/loadavg: 0.85 1.05 1.44 4/100 10963
/proc/meminfo: memFree=1202144/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915604 CPUtime=1.29
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 28126 0 1 0 117 12 0 0 24 0 8 0 270779118 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073528387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228901 27863 2164 14 0 215371 0
[pid=10945/tid=10951] ppid=10941 vsize=915604 CPUtime=0.12
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 11569 0 0 0 8 4 0 0 16 0 8 0 270779122 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915604 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915604 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915604 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915604 CPUtime=0.16
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 404 0 0 0 16 0 0 0 15 0 8 0 270779126 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915604 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915604 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915604

[startup+2.96913 s]
/proc/loadavg: 0.85 1.05 1.44 3/100 10963
/proc/meminfo: memFree=1175072/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915744 CPUtime=2.93
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 29531 0 1 0 279 14 0 0 25 0 8 0 270779118 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228936 29265 2184 14 0 215406 0
[pid=10945/tid=10951] ppid=10941 vsize=915744 CPUtime=0.18
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 12897 0 0 0 13 5 0 0 17 0 8 0 270779122 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915744 CPUtime=0.18
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 417 0 0 0 18 0 0 0 15 0 8 0 270779126 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915744

[startup+6.27033 s]
/proc/loadavg: 0.94 1.07 1.44 3/100 10963
/proc/meminfo: memFree=1174944/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915744 CPUtime=6.22
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 29532 0 1 0 607 15 0 0 25 0 8 0 270779118 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228936 29266 2184 14 0 215406 0
[pid=10945/tid=10951] ppid=10941 vsize=915744 CPUtime=0.18
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 12897 0 0 0 13 5 0 0 16 0 8 0 270779122 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915744 CPUtime=0.18
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 418 0 0 0 18 0 0 0 15 0 8 0 270779126 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915744

[startup+12.7377 s]
/proc/loadavg: 1.02 1.08 1.44 3/100 10963
/proc/meminfo: memFree=1174968/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915744 CPUtime=12.65
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 29544 0 1 0 1250 15 0 0 25 0 8 0 270779118 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845688 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228936 29278 2185 14 0 215406 0
[pid=10945/tid=10951] ppid=10941 vsize=915744 CPUtime=0.18
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 12897 0 0 0 13 5 0 0 16 0 8 0 270779122 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915744 CPUtime=0.2
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 429 0 0 0 20 0 0 0 15 0 8 0 270779126 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915744

[startup+25.5965 s]
/proc/loadavg: 1.24 1.13 1.45 3/100 10963
/proc/meminfo: memFree=1168568/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915744 CPUtime=25.45
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 30402 0 1 0 2528 17 0 0 25 0 8 0 270779118 937721856 30134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228936 30134 2185 14 0 215406 0
[pid=10945/tid=10951] ppid=10941 vsize=915744 CPUtime=0.23
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 13752 0 0 0 18 5 0 0 16 0 8 0 270779122 937721856 30134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 30134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 30134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937721856 30134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915744 CPUtime=0.2
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 430 0 0 0 20 0 0 0 16 0 8 0 270779126 937721856 30134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937721856 30134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 30134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915744

[startup+51.1981 s]
/proc/loadavg: 1.50 1.20 1.47 3/100 10963
/proc/meminfo: memFree=1168376/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915744 CPUtime=50.92
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 30410 0 1 0 5073 19 0 0 25 0 8 0 270779118 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228936 30140 2185 14 0 215406 0
[pid=10945/tid=10951] ppid=10941 vsize=915744 CPUtime=0.23
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 13752 0 0 0 18 5 0 0 16 0 8 0 270779122 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915744 CPUtime=0.21
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 436 0 0 0 21 0 0 0 16 0 8 0 270779126 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915744

[startup+102.42 s]
/proc/loadavg: 1.78 1.32 1.49 3/100 10963
/proc/meminfo: memFree=1114360/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915744 CPUtime=101.87
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 37453 0 1 0 10157 30 0 0 25 0 8 0 270779118 937721856 37136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228936 37136 2504 14 0 215406 0
[pid=10945/tid=10951] ppid=10941 vsize=915744 CPUtime=0.73
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 20403 0 0 0 66 7 0 0 16 0 8 0 270779122 937721856 37136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 37136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 37136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937721856 37136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915744 CPUtime=0.28
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 476 0 0 0 28 0 0 0 15 0 8 0 270779126 937721856 37136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937721856 37136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915744 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 37136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915744

[startup+162.485 s]
/proc/loadavg: 1.92 1.44 1.52 3/100 10963
/proc/meminfo: memFree=1114296/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915744 CPUtime=161.63
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 37455 0 1 0 16127 36 0 0 25 0 8 0 270779118 937721856 37138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2014.96
Current children cumulated vsize (KiB) 915788

[startup+2084.63 s]
/proc/loadavg: 2.01 2.02 1.92 3/100 10963
/proc/meminfo: memFree=839864/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915788 CPUtime=2074.77
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 71747 0 1 0 207389 88 0 0 25 0 8 0 270779118 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074284429 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228947 71405 2551 14 0 215417 0
[pid=10945/tid=10951] ppid=10941 vsize=915788 CPUtime=1.07
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 54473 0 0 0 88 19 0 0 16 0 8 0 270779122 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915788 CPUtime=0.41
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.77
Current children cumulated vsize (KiB) 915788

[startup+2144.71 s]
/proc/loadavg: 2.05 2.03 1.93 3/100 10963
/proc/meminfo: memFree=839928/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915788 CPUtime=2134.56
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 71748 0 1 0 213368 88 0 0 25 0 8 0 270779118 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228947 71405 2551 14 0 215417 0
[pid=10945/tid=10951] ppid=10941 vsize=915788 CPUtime=1.07
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 54473 0 0 0 88 19 0 0 16 0 8 0 270779122 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915788 CPUtime=0.41
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.56
Current children cumulated vsize (KiB) 915788

[startup+2204.79 s]
/proc/loadavg: 2.05 2.03 1.93 3/100 10963
/proc/meminfo: memFree=839864/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915788 CPUtime=2194.37
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 71748 0 1 0 219348 89 0 0 25 0 8 0 270779118 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074306609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228947 71405 2551 14 0 215417 0
[pid=10945/tid=10951] ppid=10941 vsize=915788 CPUtime=1.07
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 54473 0 0 0 88 19 0 0 16 0 8 0 270779122 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915788 CPUtime=0.41
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.37
Current children cumulated vsize (KiB) 915788

[startup+2264.89 s]
/proc/loadavg: 2.07 2.04 1.94 4/106 11129
/proc/meminfo: memFree=838520/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915788 CPUtime=2254.04
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 71748 0 1 0 225315 89 0 0 25 0 8 0 270779118 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074314279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228947 71405 2551 14 0 215417 0
[pid=10945/tid=10951] ppid=10941 vsize=915788 CPUtime=1.07
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 54473 0 0 0 88 19 0 0 16 0 8 0 270779122 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915788 CPUtime=0.41
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.04
Current children cumulated vsize (KiB) 915788

[startup+2324.98 s]
/proc/loadavg: 2.02 2.03 1.94 3/100 11161
/proc/meminfo: memFree=839608/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915788 CPUtime=2313.81
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 71748 0 1 0 231292 89 0 0 25 0 8 0 270779118 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228947 71405 2551 14 0 215417 0
[pid=10945/tid=10951] ppid=10941 vsize=915788 CPUtime=1.07
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 54473 0 0 0 88 19 0 0 16 0 8 0 270779122 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915788 CPUtime=0.41
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.81
Current children cumulated vsize (KiB) 915788

[startup+2385.05 s]
/proc/loadavg: 2.01 2.02 1.94 3/100 11161
/proc/meminfo: memFree=839608/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915788 CPUtime=2373.62
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 71748 0 1 0 237272 90 0 0 25 0 8 0 270779118 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228947 71405 2551 14 0 215417 0
[pid=10945/tid=10951] ppid=10941 vsize=915788 CPUtime=1.07
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 54473 0 0 0 88 19 0 0 16 0 8 0 270779122 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915788 CPUtime=0.41
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.62
Current children cumulated vsize (KiB) 915788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.6 s]
/proc/loadavg: 2.00 2.02 1.94 3/100 11161
/proc/meminfo: memFree=839608/2055920 swapFree=4161388/4192956
[pid=10945] ppid=10941 vsize=915788 CPUtime=2400.04
/proc/10945/stat : 10945 (java) R 10941 10945 10810 0 -1 0 71748 0 1 0 239914 90 0 0 25 0 8 0 270779118 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10945/statm: 228947 71405 2551 14 0 215417 0
[pid=10945/tid=10951] ppid=10941 vsize=915788 CPUtime=1.07
/proc/10945/task/10951/stat : 10951 (java) S 10941 10945 10810 0 -1 64 54473 0 0 0 88 19 0 0 16 0 8 0 270779122 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10954] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10954/stat : 10954 (java) S 10941 10945 10810 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10955] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10955/stat : 10955 (java) S 10941 10945 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10956] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10956/stat : 10956 (java) S 10941 10945 10810 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10958] ppid=10941 vsize=915788 CPUtime=0.41
/proc/10945/task/10958/stat : 10958 (java) S 10941 10945 10810 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10945/tid=10960] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10960/stat : 10960 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10945/tid=10962] ppid=10941 vsize=915788 CPUtime=0
/proc/10945/task/10962/stat : 10962 (java) S 10941 10945 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779126 937766912 71405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915788

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

Child status: 143
Real time (s): 2411.67
CPU time (s): 2400.11
CPU user time (s): 2399.16
CPU system time (s): 0.947855
CPU usage (%): 99.5208
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.16
system time used= 0.947855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71771
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= 50564
involuntary context switches= 83091

runsolver used 2.70459 s user time and 8.01578 s system time

The end

Launcher Data (download as text)

Begin job on node29 on Fri Jan 19 16:24:10 UTC 2007


IDJOB= 275603
IDBENCH= 4148
IDSOLVER= 68
FILE ID= node29/275603-1169223850

PBS_JOBID= 3589204

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp39/fapp39-2750-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275603-1169223850/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-275603-1169223850 -o ROOT/results/node29/solver-275603-1169223850 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275603-1169223850/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0711f87a2f23f1ada9e0aed542733318

RANDOM SEED= 403852994

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/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.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
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:       1393808 kB
Buffers:         39520 kB
Cached:         522756 kB
SwapCached:       2192 kB
Active:         152692 kB
Inactive:       438932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1393808 kB
SwapTotal:     4192956 kB
SwapFree:      4161388 kB
Dirty:           10084 kB
Writeback:           0 kB
Mapped:          44712 kB
Slab:            55488 kB
Committed_AS:  4976580 kB
PageTables:       2220 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66555 MiB



End job on node29 on Fri Jan 19 17:04:22 UTC 2007