Trace number 275241

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 PFCMSAT (TO) 2400.17 2413.63

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-1.xml
MD5SUMe25e356bc98ab8ce9620a3fb6e6db1ca
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints38847
Best CPU time to get the best result obtained on this benchmark2400.17
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=pfc.xml
0.35	   
0.35	   instance
0.36	     name=/tmp/evaluation/275241-1169218867/unknown.xml
0.39	   
0.39	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.72	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
0.73	       =>  wckTime=0.402  cpuTime=0.3  mem=35M204
0.73	   
0.73	   predicates being loaded...
0.73	   
0.73	   constraints being loaded...
61.39	   
61.39	   INFO : Stopping converting binary constraints (cpu=60.03, mem = 67M564)
63.48	     nbConstraints=40767  nbConvertedConstraints=6113  nbConvertConstraintsChecks=191928518  nbExtensionStructures=2648
63.48	     nbSharedExtensionStructures=3465  nbConflictsStructures=2648  nbSharedConflictsStructures=3465
63.48	     nbSharedBinaryRepresentations=1366321  nbEvaluationManagers=9715  nbSharedEvaluationManagers=24939  maxDegree=52
63.48	     maxArity=2
63.48	       =>  wckTime=63.156  cpuTime=61.67  mem=95M329
63.84	   
63.84	   solver LocalSearchSolver being built... 
63.88	       =>  wckTime=63.555  cpuTime=61.73  mem=86M58
64.07	
64.07	s SATISFIABLE
64.07	o 32112
64.07	c 8655
64.13	o 32124
64.13	c 8643
64.17	o 32138
64.17	c 8629
64.23	o 32146
64.23	c 8621
64.29	o 32154
64.29	c 8613
64.32	o 32162
64.32	c 8605
64.38	o 32169
64.38	c 8598
64.42	o 32175
64.42	c 8592
64.46	o 32181
64.46	c 8586
64.50	o 32186
64.50	c 8581
64.54	o 32190
64.54	c 8577
64.57	o 32193
64.57	c 8574
64.59	o 32196
64.60	c 8571
64.64	o 32202
64.64	c 8565
64.70	o 32211
64.70	c 8556
64.75	o 32220
64.75	c 8547
64.81	o 32229
64.81	c 8538
64.86	o 32237
64.86	c 8530
64.91	o 32243
64.91	c 8524
64.96	o 32249
64.96	c 8518
64.99	o 32254
64.99	c 8513
65.03	o 32258
65.03	c 8509
65.07	o 32263
65.07	c 8504
65.11	o 32267
65.11	c 8500
65.15	o 32271
65.15	c 8496
65.18	o 32275
65.18	c 8492
65.21	o 32278
65.21	c 8489
65.24	o 32281
65.24	c 8486
65.28	o 32284
65.28	c 8483
65.34	o 32294
65.34	c 8473
65.38	o 32296
65.38	c 8471
65.43	o 32298
65.43	c 8469
65.46	o 32300
65.46	c 8467
65.48	o 32301
65.48	c 8466
65.53	o 32308
65.53	c 8459
65.55	o 32310
65.55	c 8457
65.58	o 32316
65.58	c 8451
65.63	o 32325
65.63	c 8442
65.69	o 32334
65.69	c 8433
65.73	o 32341
65.73	c 8426
65.78	o 32348
65.78	c 8419
65.83	o 32355
65.83	c 8412
65.88	o 32361
65.88	c 8406
65.93	o 32367
65.93	c 8400
65.99	o 32372
65.99	c 8395
66.04	o 32376
66.04	c 8391
66.10	o 32380
66.10	c 8387
66.15	o 32384
66.15	c 8383
66.19	o 32388
66.19	c 8379
66.23	o 32392
66.23	c 8375
66.27	o 32396
66.27	c 8371
66.31	o 32399
66.31	c 8368
66.35	o 32402
66.35	c 8365
66.38	o 32404
66.38	c 8363
66.42	o 32406
66.42	c 8361
66.46	o 32407
66.46	c 8360
66.49	o 32408
66.49	c 8359
66.54	o 32411
66.54	c 8356
66.56	o 32414
66.56	c 8353
66.59	o 32425
66.59	c 8342
66.63	o 32433
66.63	c 8334
66.66	o 32441
66.66	c 8326
66.74	o 32446
66.74	c 8321
66.79	o 32456
66.79	c 8311
66.83	o 32466
66.83	c 8301
66.90	o 32469
66.90	c 8298
66.95	o 32477
66.95	c 8290
67.01	o 32483
67.01	c 8284
67.06	o 32490
67.06	c 8277
67.11	o 32497
67.11	c 8270
67.16	o 32504
67.16	c 8263
67.22	o 32511
67.22	c 8256
67.27	o 32517
67.27	c 8250
67.34	o 32522
67.34	c 8245
67.40	o 32527
67.40	c 8240
67.45	o 32532
67.45	c 8235
67.50	o 32537
67.50	c 8230
67.55	o 32541
67.55	c 8226
67.61	o 32545
67.61	c 8222
67.66	o 32549
67.66	c 8218
67.70	o 32553
67.70	c 8214
67.76	o 32556
67.76	c 8211
67.79	o 32559
67.79	c 8208
67.84	o 32561
67.84	c 8206
67.88	o 32563
67.88	c 8204
67.92	o 32565
67.92	c 8202
67.95	o 32566
67.95	c 8201
67.99	o 32567
67.99	c 8200
68.04	o 32570
68.04	c 8197
68.06	o 32575
68.06	c 8192
68.08	o 32576
68.08	c 8191
68.10	o 32579
68.10	c 8188
68.15	o 32589
68.15	c 8178
68.18	o 32597
68.18	c 8170
68.22	o 32598
68.22	c 8169
68.30	o 32606
68.30	c 8161
68.32	o 32614
68.32	c 8153
68.35	o 32619
68.35	c 8148
68.40	o 32620
68.40	c 8147
68.45	o 32622
68.45	c 8145
68.49	o 32629
68.49	c 8138
68.52	o 32633
68.52	c 8134
68.56	o 32634
68.56	c 8133
68.60	o 32637
68.60	c 8130
68.67	o 32639
68.67	c 8128
68.77	o 32648
68.77	c 8119
68.84	o 32656
68.84	c 8111
68.92	o 32664
68.92	c 8103
69.00	o 32671
69.00	c 8096
69.08	o 32678
69.08	c 8089
69.16	o 32684
69.16	c 8083
69.24	o 32690
69.24	c 8077
69.31	o 32696
69.31	c 8071
69.38	o 32702
69.38	c 8065
69.45	o 32705
69.45	c 8062
69.53	o 32710
69.53	c 8057
69.62	o 32715
69.62	c 8052
69.69	o 32716
69.69	c 8051
69.75	o 32721
69.75	c 8046
69.82	o 32726
69.82	c 8041
69.88	o 32731
69.88	c 8036
69.94	o 32740
69.94	c 8027
70.00	o 32744
70.01	c 8023
70.07	o 32748
70.07	c 8019
70.15	o 32751
70.15	c 8016
70.21	o 32754
70.22	c 8013
70.28	o 32757
70.28	c 8010
70.34	o 32760
70.34	c 8007
70.40	o 32763
70.40	c 8004
70.46	o 32766
70.46	c 8001
70.52	o 32768
70.52	c 7999
70.58	o 32772
70.58	c 7995
70.64	o 32774
70.64	c 7993
70.72	o 32776
70.72	c 7991
70.76	o 32778
70.76	c 7989
70.81	o 32780
70.81	c 7987
70.85	o 32782
70.85	c 7985
70.88	o 32784
70.88	c 7983
70.92	o 32786
70.92	c 7981
70.96	o 32787
70.96	c 7980
71.01	o 32788
71.01	c 7979
71.04	o 32789
71.04	c 7978
71.07	o 32790
71.07	c 7977
71.22	o 32796
71.22	c 7971
71.27	o 32800
71.27	c 7967
71.30	o 32801
71.30	c 7966
71.34	o 32802
71.34	c 7965
71.48	o 32804
71.48	c 7963
71.53	o 32808
71.53	c 7959
71.59	o 32809
71.59	c 7958
71.64	o 32815
71.64	c 7952
71.68	o 32821
71.68	c 7946
71.71	o 32826
71.71	c 7941
71.74	o 32832
71.74	c 7935
71.77	o 32835
71.77	c 7932
71.81	o 32838
71.81	c 7929
71.83	o 32843
71.83	c 7924
71.87	o 32848
71.87	c 7919
71.90	o 32852
71.90	c 7915
71.95	o 32854
71.95	c 7913
72.00	o 32860
72.00	c 7907
72.07	o 32868
72.07	c 7899
72.12	o 32875
72.12	c 7892
72.17	o 32879
72.17	c 7888
72.25	o 32888
72.25	c 7879
72.33	o 32896
72.33	c 7871
72.43	o 32903
72.43	c 7864
72.53	o 32910
72.53	c 7857
72.62	o 32917
72.62	c 7850
72.72	o 32923
72.72	c 7844
72.82	o 32926
72.82	c 7841
72.91	o 32932
72.91	c 7835
73.01	o 32938
73.01	c 7829
73.21	o 32944
73.21	c 7823
73.31	o 32950
73.31	c 7817
73.40	o 32955
73.40	c 7812
73.48	o 32960
73.48	c 7807
73.57	o 32965
73.57	c 7802
73.66	o 32969
73.66	c 7798
73.76	o 32973
73.76	c 7794
73.86	o 32979
73.86	c 7788
73.94	o 32983
73.94	c 7784
74.03	o 32987
74.03	c 7780
74.12	o 32991
74.12	c 7776
74.19	o 32995
74.19	c 7772
74.26	o 32999
74.26	c 7768
74.34	o 33002
74.34	c 7765
74.42	o 33005
74.42	c 7762
74.50	o 33008
74.50	c 7759
74.57	o 33011
74.57	c 7756
74.64	o 33014
74.64	c 7753
74.71	o 33016
74.71	c 7751
74.78	o 33018
74.78	c 7749
74.84	o 33020
74.84	c 7747
74.91	o 33022
74.91	c 7745
74.98	o 33031
74.98	c 7736
75.05	o 33033
75.05	c 7734
75.10	o 33035
75.10	c 7732
75.16	o 33037
75.16	c 7730
75.23	o 33039
75.23	c 7728
75.30	o 33041
75.30	c 7726
75.37	o 33043
75.37	c 7724
75.44	o 33046
75.44	c 7721
75.51	o 33047
75.51	c 7720
75.57	o 33052
75.57	c 7715
75.64	o 33053
75.64	c 7714
75.81	o 33054
75.81	c 7713
75.92	o 33058
75.92	c 7709
76.12	o 33059
76.12	c 7708
76.17	o 33062
76.17	c 7705
76.20	o 33063
76.20	c 7704
76.25	o 33067
76.25	c 7700
76.29	o 33070
76.29	c 7697
76.33	o 33075
76.33	c 7692
76.39	o 33082
76.39	c 7685
76.41	o 33088
76.41	c 7679
76.46	o 33089
76.46	c 7678
76.52	o 33090
76.52	c 7677
76.57	o 33097
76.57	c 7670
76.62	o 33099
76.62	c 7668
76.66	o 33101
76.66	c 7666
76.77	o 33104
76.77	c 7663
76.81	o 33105
76.81	c 7662
76.87	o 33113
76.87	c 7654
76.93	o 33118
76.93	c 7649
76.98	o 33125
76.98	c 7642
77.03	o 33131
77.03	c 7636
77.10	o 33132
77.10	c 7635
77.17	o 33137
77.17	c 7630
77.23	o 33142
77.23	c 7625
77.28	o 33147
77.28	c 7620
77.35	o 33153
77.35	c 7614
77.47	o 33160
77.47	c 7607
77.52	o 33165
77.52	c 7602
77.59	o 33171
77.59	c 7596
77.73	o 33173
77.73	c 7594
77.81	o 33182
77.81	c 7585
77.87	o 33189
77.87	c 7578
77.92	o 33197
77.92	c 7570
77.99	o 33200
77.99	c 7567
78.04	o 33202
78.04	c 7565
78.10	o 33205
78.10	c 7562
78.15	o 33208
78.15	c 7559
78.20	o 33211
78.20	c 7556
78.25	o 33217
78.25	c 7550
78.33	o 33218
78.33	c 7549
78.37	o 33221
78.37	c 7546
78.41	o 33227
78.41	c 7540
78.47	o 33230
78.47	c 7537
78.52	o 33235
78.52	c 7532
78.59	o 33236
78.59	c 7531
78.64	o 33239
78.64	c 7528
78.74	o 33242
78.74	c 7525
78.79	o 33243
78.79	c 7524
78.86	o 33246
78.86	c 7521
78.93	o 33249
78.93	c 7518
79.00	o 33256
79.00	c 7511
79.07	o 33262
79.07	c 7505
79.14	o 33271
79.14	c 7496
79.22	o 33280
79.22	c 7487
79.33	o 33287
79.33	c 7480
79.43	o 33289
79.43	c 7478
79.53	o 33295
79.53	c 7472
79.63	o 33301
79.63	c 7466
79.73	o 33306
79.73	c 7461
79.83	o 33311
79.83	c 7456
79.93	o 33316
79.93	c 7451
80.04	o 33319
80.04	c 7448
80.14	o 33325
80.14	c 7442
80.23	o 33330
80.23	c 7437
80.42	o 33335
80.42	c 7432
80.51	o 33340
80.51	c 7427
80.60	o 33341
80.60	c 7426
80.69	o 33346
80.69	c 7421
80.77	o 33352
80.77	c 7415
80.86	o 33356
80.86	c 7411
80.97	o 33360
80.97	c 7407
81.07	o 33364
81.07	c 7403
81.16	o 33368
81.16	c 7399
81.24	o 33372
81.24	c 7395
81.33	o 33376
81.33	c 7391
81.39	o 33380
81.39	c 7387
81.47	o 33386
81.47	c 7381
81.54	o 33389
81.54	c 7378
81.61	o 33392
81.61	c 7375
81.68	o 33395
81.68	c 7372
81.74	o 33399
81.74	c 7368
81.80	o 33402
81.80	c 7365
81.87	o 33405
81.87	c 7362
81.94	o 33408
81.94	c 7359
81.99	o 33411
81.99	c 7356
82.05	o 33413
82.05	c 7354
82.19	o 33415
82.19	c 7352
82.25	o 33417
82.25	c 7350
82.31	o 33419
82.31	c 7348
82.37	o 33421
82.37	c 7346
82.43	o 33422
82.43	c 7345
82.49	o 33423
82.49	c 7344
82.78	o 33424
82.78	c 7343
82.83	o 33425
82.83	c 7342
82.89	o 33428
82.89	c 7339
82.96	o 33433
82.96	c 7334
83.00	o 33438
83.00	c 7329
83.06	o 33439
83.06	c 7328
83.11	o 33443
83.11	c 7324
83.17	o 33450
83.17	c 7317
83.29	o 33454
83.29	c 7313
83.34	o 33457
83.34	c 7310
83.40	o 33462
83.40	c 7305
83.47	o 33464
83.47	c 7303
83.55	o 33469
83.55	c 7298
83.62	o 33474
83.62	c 7293
83.66	o 33475
83.66	c 7292
83.74	o 33477
83.74	c 7290
83.79	o 33480
83.79	c 7287
83.85	o 33484
83.85	c 7283
83.92	o 33486
83.92	c 7281
83.98	o 33489
83.98	c 7278
84.04	o 33493
84.04	c 7274
84.08	o 33497
84.08	c 7270
84.15	o 33501
84.15	c 7266
84.20	o 33503
84.20	c 7264
84.32	o 33505
84.32	c 7262
84.37	o 33509
84.37	c 7258
84.43	o 33510
84.43	c 7257
84.47	o 33513
84.47	c 7254
84.53	o 33516
84.53	c 7251
84.62	o 33520
84.62	c 7247
84.66	o 33524
84.66	c 7243
84.71	o 33525
84.71	c 7242
84.77	o 33533
84.77	c 7234
84.83	o 33538
84.83	c 7229
84.88	o 33543
84.88	c 7224
84.94	o 33544
84.94	c 7223
84.98	o 33545
84.98	c 7222
85.03	o 33550
85.03	c 7217
85.07	o 33551
85.07	c 7216
85.10	o 33552
85.10	c 7215
85.15	o 33553
85.15	c 7214
85.21	o 33562
85.21	c 7205
85.27	o 33566
85.27	c 7201
85.37	o 33569
85.37	c 7198
85.42	o 33571
85.42	c 7196
85.48	o 33578
85.48	c 7189
85.53	o 33584
85.53	c 7183
85.58	o 33586
85.58	c 7181
85.62	o 33587
85.62	c 7180
85.73	o 33589
85.73	c 7178
85.76	o 33591
85.76	c 7176
85.82	o 33596
85.82	c 7171
85.88	o 33604
85.88	c 7163
85.95	o 33607
85.95	c 7160
86.00	o 33615
86.00	c 7152
86.05	o 33618
86.05	c 7149
86.13	o 33621
86.13	c 7146
86.19	o 33624
86.19	c 7143
86.25	o 33628
86.25	c 7139
86.32	o 33630
86.32	c 7137
86.45	o 33634
86.45	c 7133
86.59	o 33638
86.59	c 7129
86.65	o 33640
86.65	c 7127
86.71	o 33641
86.71	c 7126
86.82	o 33643
86.82	c 7124
86.87	o 33647
86.87	c 7120
86.94	o 33649
86.94	c 7118
86.99	o 33654
86.99	c 7113
87.04	o 33655
87.04	c 7112
87.12	o 33657
87.12	c 7110
87.18	o 33663
87.18	c 7104
87.22	o 33669
87.22	c 7098
87.30	o 33675
87.30	c 7092
87.36	o 33677
87.36	c 7090
87.42	o 33678
87.42	c 7089
87.49	o 33686
87.49	c 7081
87.55	o 33687
87.55	c 7080
87.60	o 33688
87.60	c 7079
87.66	o 33694
87.66	c 7073
87.85	o 33696
87.85	c 7071
88.01	o 33701
88.01	c 7066
88.10	o 33709
88.10	c 7058
88.18	o 33717
88.18	c 7050
88.28	o 33720
88.28	c 7047
88.38	o 33727
88.38	c 7040
88.49	o 33733
88.49	c 7034
88.62	o 33739
88.62	c 7028
88.76	o 33744
88.76	c 7023
88.89	o 33749
88.89	c 7018
89.00	o 33754
89.00	c 7013
89.12	o 33758
89.12	c 7009
89.24	o 33761
89.24	c 7006
89.36	o 33766
89.36	c 7001
89.47	o 33771
89.47	c 6996
89.60	o 33776
89.60	c 6991
89.71	o 33780
89.71	c 6987
89.82	o 33784
89.82	c 6983
89.93	o 33788
89.93	c 6979
90.03	o 33790
90.03	c 6977
90.12	o 33794
90.12	c 6973
90.22	o 33796
90.22	c 6971
90.32	o 33800
90.32	c 6967
90.42	o 33804
90.42	c 6963
90.54	o 33808
90.54	c 6959
90.65	o 33811
90.65	c 6956
90.75	o 33814
90.75	c 6953
90.85	o 33817
90.85	c 6950
91.03	o 33823
91.03	c 6944
91.22	o 33826
91.22	c 6941
91.31	o 33830
91.31	c 6937
91.41	o 33833
91.41	c 6934
91.49	o 33835
91.49	c 6932
91.58	o 33839
91.58	c 6928
91.67	o 33841
91.67	c 6926
91.76	o 33842
91.76	c 6925
91.84	o 33843
91.84	c 6924
91.93	o 33844
91.93	c 6923
92.01	o 33845
92.01	c 6922
92.08	o 33846
92.08	c 6921
92.17	o 33847
92.17	c 6920
92.25	o 33848
92.25	c 6919
92.34	o 33849
92.34	c 6918
92.43	o 33854
92.43	c 6913
92.52	o 33855
92.52	c 6912
92.67	o 33860
92.67	c 6907
93.44	o 33861
93.44	c 6906
93.51	o 33864
93.51	c 6903
93.59	o 33868
93.59	c 6899
93.74	o 33871
93.74	c 6896
93.81	o 33872
93.81	c 6895
93.91	o 33877
93.91	c 6890
94.27	o 33882
94.27	c 6885
94.35	o 33885
94.35	c 6882
94.44	o 33886
94.44	c 6881
94.53	o 33889
94.53	c 6878
94.60	o 33894
94.60	c 6873
94.70	o 33899
94.70	c 6868
94.78	o 33904
94.78	c 6863
94.95	o 33905
94.95	c 6862
95.04	o 33910
95.04	c 6857
95.30	o 33914
95.30	c 6853
95.38	o 33919
95.38	c 6848
95.55	o 33921
95.55	c 6846
95.65	o 33922
95.65	c 6845
95.76	o 33927
95.76	c 6840
95.86	o 33930
95.86	c 6837
95.97	o 33932
95.97	c 6835
96.07	o 33934
96.07	c 6833
96.18	o 33937
96.18	c 6830
96.39	o 33940
96.39	c 6827
96.49	o 33946
96.49	c 6821
96.59	o 33954
96.59	c 6813
96.68	o 33959
96.68	c 6808
96.78	o 33962
96.78	c 6805
96.97	o 33965
96.98	c 6802
97.07	o 33967
97.07	c 6800
97.18	o 33968
97.18	c 6799
97.29	o 33971
97.29	c 6796
97.39	o 33974
97.39	c 6793
97.50	o 33979
97.50	c 6788
97.61	o 33986
97.61	c 6781
97.71	o 33987
97.71	c 6780
97.80	o 33989
97.80	c 6778
97.90	o 33992
97.90	c 6775
98.00	o 33994
98.00	c 6773
98.10	o 33996
98.10	c 6771
98.20	o 33999
98.20	c 6768
98.42	o 34002
98.42	c 6765
98.53	o 34007
98.53	c 6760
98.76	o 34009
98.76	c 6758
98.88	o 34012
98.88	c 6755
99.00	o 34015
99.00	c 6752
99.12	o 34018
99.12	c 6749
99.23	o 34021
99.23	c 6746
99.35	o 34024
99.35	c 6743
99.45	o 34027
99.45	c 6740
99.80	o 34030
99.80	c 6737
100.01	o 34032
100.01	c 6735
100.11	o 34035
100.11	c 6732
100.21	o 34038
100.21	c 6729
100.30	o 34043
100.30	c 6724
100.42	o 34045
100.42	c 6722
100.54	o 34046
100.54	c 6721
100.64	o 34048
100.64	c 6719
100.76	o 34052
100.76	c 6715
100.84	o 34055
100.84	c 6712
101.14	o 34059
101.14	c 6708
101.30	o 34060
101.30	c 6707
101.40	o 34067
101.40	c 6700
101.49	o 34070
101.49	c 6697
101.61	o 34072
101.61	c 6695
101.70	o 34074
101.70	c 6693
101.77	o 34076
101.77	c 6691
101.85	o 34080
101.85	c 6687
101.93	o 34082
101.93	c 6685
102.01	o 34084
102.01	c 6683
102.10	o 34086
102.10	c 6681
102.19	o 34090
102.19	c 6677
102.27	o 34092
102.27	c 6675
102.35	o 34093
102.35	c 6674
102.44	o 34095
102.44	c 6672
102.53	o 34097
102.53	c 6670
102.62	o 34101
102.62	c 6666
102.70	o 34102
102.70	c 6665
103.04	o 34105
103.04	c 6662
103.12	o 34110
103.12	c 6657
103.20	o 34112
103.20	c 6655
103.30	o 34116
103.30	c 6651
103.40	o 34120
103.40	c 6647
103.51	o 34123
103.51	c 6644
103.61	o 34126
103.61	c 6641
103.72	o 34129
103.72	c 6638
103.84	o 34134
103.84	c 6633
103.95	o 34136
103.95	c 6631
104.06	o 34138
104.06	c 6629
104.16	o 34140
104.16	c 6627
104.28	o 34142
104.28	c 6625
104.37	o 34143
104.37	c 6624
104.48	o 34147
104.48	c 6620
104.57	o 34148
104.57	c 6619
104.66	o 34149
104.66	c 6618
104.77	o 34154
104.77	c 6613
105.05	o 34158
105.05	c 6609
105.67	o 34160
105.67	c 6607
105.74	o 34165
105.74	c 6602
105.83	o 34167
105.83	c 6600
105.91	o 34168
105.91	c 6599
106.00	o 34172
106.00	c 6595
106.09	o 34175
106.09	c 6592
106.19	o 34178
106.19	c 6589
106.39	o 34179
106.39	c 6588
106.50	o 34184
106.50	c 6583
106.70	o 34186
106.70	c 6581
106.79	o 34189
106.79	c 6578
106.90	o 34191
106.90	c 6576
107.08	o 34193
107.08	c 6574
107.20	o 34199
107.20	c 6568
107.29	o 34206
107.29	c 6561
107.39	o 34207
107.39	c 6560
107.49	o 34208
107.49	c 6559
107.69	o 34210
107.69	c 6557
107.89	o 34214
107.89	c 6553
108.09	o 34216
108.09	c 6551
108.20	o 34217
108.20	c 6550
108.30	o 34218
108.30	c 6549
108.41	o 34221
108.41	c 6546
108.61	o 34222
108.61	c 6545
108.92	o 34225
108.92	c 6542
109.02	o 34228
109.02	c 6539
109.21	o 34230
109.21	c 6537
109.31	o 34232
109.31	c 6535
109.59	o 34236
109.59	c 6531
109.69	o 34237
109.69	c 6530
109.79	o 34240
109.79	c 6527
109.90	o 34242
109.90	c 6525
109.99	o 34249
109.99	c 6518
110.08	o 34254
110.08	c 6513
110.37	o 34259
110.37	c 6508
110.48	o 34261
110.48	c 6506
110.59	o 34262
110.59	c 6505
110.69	o 34266
110.69	c 6501
110.78	o 34269
110.78	c 6498
110.89	o 34273
110.89	c 6494
110.99	o 34280
110.99	c 6487
111.09	o 34286
111.09	c 6481
111.29	o 34290
111.29	c 6477
111.41	o 34293
111.41	c 6474
111.61	o 34298
111.61	c 6469
111.72	o 34301
111.72	c 6466
111.81	o 34304
111.81	c 6463
111.91	o 34306
111.91	c 6461
112.01	o 34311
112.01	c 6456
112.11	o 34316
112.11	c 6451
112.21	o 34318
112.21	c 6449
112.31	o 34322
112.31	c 6445
112.43	o 34324
112.43	c 6443
112.54	o 34328
112.54	c 6439
112.64	o 34332
112.64	c 6435
112.75	o 34333
112.75	c 6434
112.87	o 34336
112.87	c 6431
112.98	o 34341
112.98	c 6426
113.07	o 34342
113.07	c 6425
113.18	o 34346
113.18	c 6421
113.28	o 34349
113.28	c 6418
113.40	o 34351
113.40	c 6416
113.51	o 34356
113.51	c 6411
113.61	o 34357
113.61	c 6410
113.73	o 34362
113.73	c 6405
113.84	o 34363
113.84	c 6404
113.95	o 34366
113.95	c 6401
114.08	o 34367
114.08	c 6400
114.18	o 34370
114.18	c 6397
114.29	o 34372
114.29	c 6395
114.40	o 34377
114.40	c 6390
114.50	o 34378
114.50	c 6389
114.61	o 34381
114.61	c 6386
114.71	o 34383
114.71	c 6384
114.82	o 34387
114.82	c 6380
114.93	o 34388
114.93	c 6379
115.03	o 34395
115.03	c 6372
115.34	o 34397
115.34	c 6370
115.44	o 34398
115.44	c 6369
115.56	o 34399
115.56	c 6368
115.80	o 34402
115.80	c 6365
115.90	o 34406
115.90	c 6361
116.03	o 34408
116.03	c 6359
116.18	o 34410
116.18	c 6357
116.31	o 34414
116.31	c 6353
116.44	o 34418
116.44	c 6349
116.68	o 34423
116.68	c 6344
116.81	o 34425
116.81	c 6342
117.22	o 34430
117.22	c 6337
117.34	o 34432
117.34	c 6335
117.48	o 34433
117.48	c 6334
117.61	o 34434
117.61	c 6333
117.74	o 34439
117.74	c 6328
117.86	o 34442
117.86	c 6325
117.99	o 34447
117.99	c 6320
118.12	o 34452
118.12	c 6315
118.23	o 34454
118.23	c 6313
118.37	o 34455
118.37	c 6312
118.49	o 34458
118.49	c 6309
118.61	o 34459
118.61	c 6308
118.73	o 34462
118.73	c 6305
118.85	o 34467
118.85	c 6300
119.10	o 34469
119.10	c 6298
119.23	o 34471
119.23	c 6296
119.37	o 34475
119.37	c 6292
120.10	o 34480
120.10	c 6287
120.22	o 34484
120.22	c 6283
120.34	o 34485
120.34	c 6282
120.47	o 34490
120.47	c 6277
120.59	o 34494
120.59	c 6273
120.70	o 34495
120.70	c 6272
120.83	o 34496
120.83	c 6271
120.98	o 34500
120.98	c 6267
121.10	o 34503
121.10	c 6264
121.23	o 34505
121.23	c 6262
121.36	o 34509
121.36	c 6258
121.48	o 34510
121.48	c 6257
121.60	o 34512
121.60	c 6255
121.73	o 34514
121.73	c 6253
121.84	o 34516
121.84	c 6251
121.96	o 34520
121.96	c 6247
122.43	o 34524
122.43	c 6243
122.66	o 34526
122.66	c 6241
123.14	o 34527
123.14	c 6240
123.25	o 34534
123.25	c 6233
123.37	o 34537
123.37	c 6230
123.52	o 34540
123.52	c 6227
123.63	o 34541
123.63	c 6226
123.75	o 34544
123.75	c 6223
123.88	o 34549
123.88	c 6218
124.01	o 34550
124.01	c 6217
124.12	o 34553
124.12	c 6214
124.25	o 34556
124.25	c 6211
124.39	o 34560
124.39	c 6207
124.97	o 34563
124.97	c 6204
125.09	o 34568
125.09	c 6199
125.21	o 34573
125.21	c 6194
125.32	o 34576
125.32	c 6191
125.43	o 34579
125.43	c 6188
125.54	o 34581
125.54	c 6186
125.65	o 34583
125.65	c 6184
125.78	o 34586
125.78	c 6181
125.92	o 34588
125.92	c 6179
126.02	o 34590
126.02	c 6177
126.13	o 34591
126.13	c 6176
126.26	o 34592
126.26	c 6175
126.47	o 34593
126.47	c 6174
126.68	o 34598
126.68	c 6169
126.80	o 34600
126.80	c 6167
126.90	o 34603
126.90	c 6164
127.01	o 34604
127.01	c 6163
127.12	o 34607
127.12	c 6160
127.22	o 34612
127.22	c 6155
127.36	o 34616
127.36	c 6151
127.59	o 34618
127.59	c 6149
127.71	o 34623
127.71	c 6144
128.05	o 34626
128.05	c 6141
128.16	o 34629
128.16	c 6138
128.28	o 34631
128.28	c 6136
128.38	o 34635
128.38	c 6132
128.61	o 34638
128.61	c 6129
128.75	o 34644
128.75	c 6123
128.87	o 34646
128.87	c 6121
128.98	o 34648
128.98	c 6119
129.09	o 34651
129.09	c 6116
129.20	o 34654
129.20	c 6113
129.32	o 34655
129.32	c 6112
129.42	o 34658
129.42	c 6109
129.52	o 34660
129.52	c 6107
129.62	o 34661
129.62	c 6106
129.73	o 34665
129.73	c 6102
129.94	o 34667
129.94	c 6100
130.04	o 34669
130.04	c 6098
130.58	o 34674
130.58	c 6093
130.69	o 34677
130.69	c 6090
130.80	o 34679
130.80	c 6088
130.91	o 34681
130.91	c 6086
131.03	o 34687
131.03	c 6080
131.13	o 34691
131.13	c 6076
131.25	o 34694
131.25	c 6073
131.34	o 34696
131.37	c 6071
131.64	o 34698
131.64	c 6069
131.75	o 34701
131.75	c 6066
132.44	o 34704
132.44	c 6063
132.55	o 34706
132.55	c 6061
132.66	o 34708
132.66	c 6059
132.78	o 34710
132.78	c 6057
132.86	o 34716
132.86	c 6051
132.96	o 34718
132.96	c 6049
133.07	o 34721
133.07	c 6046
133.16	o 34726
133.16	c 6041
133.38	o 34727
133.38	c 6040
133.49	o 34728
133.49	c 6039
133.59	o 34729
133.59	c 6038
133.71	o 34730
133.71	c 6037
133.93	o 34734
133.93	c 6033
134.38	o 34735
134.38	c 6032
134.49	o 34736
134.49	c 6031
134.59	o 34744
134.59	c 6023
134.80	o 34746
134.80	c 6021
134.91	o 34749
134.91	c 6018
135.12	o 34753
135.12	c 6014
135.56	o 34755
135.56	c 6012
135.68	o 34760
135.68	c 6007
135.91	o 34765
135.91	c 6002
136.03	o 34767
136.03	c 6000
136.16	o 34771
136.16	c 5996
136.51	o 34772
136.51	c 5995
136.62	o 34774
136.62	c 5993
136.75	o 34776
136.75	c 5991
136.86	o 34778
136.86	c 5989
137.24	o 34783
137.24	c 5984
137.38	o 34785
137.38	c 5982
137.50	o 34791
137.50	c 5976
137.64	o 34795
137.64	c 5972
137.77	o 34799
137.77	c 5968
138.28	o 34802
138.28	c 5965
138.40	o 34807
138.40	c 5960
138.53	o 34810
138.53	c 5957
138.66	o 34812
138.66	c 5955
139.19	o 34813
139.19	c 5954
139.33	o 34820
139.33	c 5947
139.47	o 34827
139.47	c 5940
140.03	o 34829
140.03	c 5938
140.16	o 34832
140.16	c 5935
140.29	o 34837
140.29	c 5930
140.43	o 34838
140.43	c 5929
140.57	o 34841
140.57	c 5926
140.70	o 34847
140.70	c 5920
140.85	o 34853
140.85	c 5914
141.13	o 34855
141.13	c 5912
141.26	o 34857
141.26	c 5910
141.39	o 34863
141.39	c 5904
141.52	o 34864
141.52	c 5903
141.65	o 34866
141.65	c 5901
141.79	o 34868
141.79	c 5899
141.91	o 34869
141.91	c 5898
142.06	o 34872
142.06	c 5895
142.72	o 34873
142.72	c 5894
142.85	o 34875
142.85	c 5892
142.98	o 34876
142.98	c 5891
143.11	o 34878
143.11	c 5889
143.25	o 34882
143.25	c 5885
143.39	o 34884
143.39	c 5883
143.88	o 34885
143.88	c 5882
144.03	o 34887
144.03	c 5880
144.35	o 34890
144.35	c 5877
144.51	o 34892
144.51	c 5875
144.67	o 34895
144.67	c 5872
144.82	o 34899
144.82	c 5868
144.97	o 34900
144.97	c 5867
145.28	o 34902
145.28	c 5865
145.45	o 34905
145.45	c 5862
146.10	o 34910
146.10	c 5857
146.26	o 34912
146.26	c 5855
146.43	o 34913
146.43	c 5854
146.59	o 34916
146.59	c 5851
146.75	o 34918
146.75	c 5849
146.92	o 34920
146.92	c 5847
147.09	o 34923
147.09	c 5844
147.25	o 34927
147.25	c 5840
147.42	o 34930
147.42	c 5837
147.58	o 34932
147.58	c 5835
147.72	o 34934
147.72	c 5833
147.87	o 34936
147.87	c 5831
148.03	o 34937
148.03	c 5830
148.34	o 34938
148.34	c 5829
148.47	o 34939
148.47	c 5828
148.61	o 34943
148.61	c 5824
149.27	o 34946
149.27	c 5821
149.44	o 34950
149.44	c 5817
149.59	o 34955
149.59	c 5812
149.75	o 34956
149.75	c 5811
149.92	o 34961
149.92	c 5806
150.09	o 34965
150.09	c 5802
150.41	o 34970
150.41	c 5797
150.57	o 34971
150.57	c 5796
150.72	o 34974
150.72	c 5793
150.88	o 34976
150.88	c 5791
151.03	o 34979
151.03	c 5788
151.19	o 34982
151.19	c 5785
151.54	o 34985
151.54	c 5782
151.69	o 34988
151.69	c 5779
151.86	o 34990
151.86	c 5777
152.05	o 34994
152.05	c 5773
152.22	o 35000
152.22	c 5767
152.39	o 35001
152.39	c 5766
152.57	o 35006
152.57	c 5761
152.74	o 35008
152.74	c 5759
153.09	o 35010
153.09	c 5757
153.26	o 35013
153.26	c 5754
153.45	o 35015
153.45	c 5752
153.65	o 35016
153.65	c 5751
154.23	o 35019
154.23	c 5748
154.43	o 35022
154.43	c 5745
154.63	o 35025
154.63	c 5742
154.83	o 35029
154.83	c 5738
155.02	o 35031
155.02	c 5736
155.21	o 35033
155.21	c 5734
155.41	o 35035
155.41	c 5732
155.61	o 35038
155.61	c 5729
155.79	o 35039
155.79	c 5728
155.99	o 35040
155.99	c 5727
156.17	o 35041
156.17	c 5726
156.96	o 35043
156.96	c 5724
159.02	o 35046
159.02	c 5721
159.19	o 35047
159.19	c 5720
159.36	o 35048
159.36	c 5719
159.85	o 35056
159.85	c 5711
160.01	o 35057
160.01	c 5710
160.17	o 35059
160.17	c 5708
160.34	o 35061
160.34	c 5706
160.80	o 35063
160.80	c 5704
161.09	o 35066
161.09	c 5701
161.73	o 35067
161.73	c 5700
161.91	o 35068
161.91	c 5699
162.07	o 35072
162.07	c 5695
162.22	o 35073
162.22	c 5694
162.37	o 35074
162.37	c 5693
162.52	o 35075
162.52	c 5692
162.83	o 35078
162.83	c 5689
162.99	o 35079
162.99	c 5688
163.28	o 35080
163.28	c 5687
163.45	o 35084
163.45	c 5683
163.59	o 35088
163.59	c 5679
163.75	o 35090
163.75	c 5677
164.06	o 35093
164.06	c 5674
164.38	o 35095
164.38	c 5672
164.54	o 35100
164.54	c 5667
164.71	o 35106
164.71	c 5661
164.89	o 35109
164.89	c 5658
165.05	o 35111
165.05	c 5656
165.20	o 35115
165.20	c 5652
165.36	o 35119
165.36	c 5648
165.50	o 35120
165.50	c 5647
165.96	o 35123
165.96	c 5644
166.13	o 35125
166.13	c 5642
166.30	o 35126
166.30	c 5641
166.47	o 35129
166.47	c 5638
166.64	o 35131
166.64	c 5636
166.82	o 35134
166.82	c 5633
166.99	o 35139
166.99	c 5628
167.12	o 35140
167.12	c 5627
167.61	o 35141
167.61	c 5626
167.94	o 35145
167.94	c 5622
168.11	o 35146
168.11	c 5621
168.28	o 35148
168.28	c 5619
168.49	o 35152
168.49	c 5615
168.68	o 35158
168.68	c 5609
169.04	o 35161
169.04	c 5606
169.21	o 35166
169.21	c 5601
169.58	o 35167
169.58	c 5600
169.76	o 35172
169.76	c 5595
169.95	o 35179
169.95	c 5588
170.13	o 35182
170.13	c 5585
170.29	o 35183
170.29	c 5584
170.68	o 35187
170.68	c 5580
170.86	o 35190
170.86	c 5577
171.05	o 35195
171.05	c 5572
171.42	o 35197
171.42	c 5570
171.62	o 35201
171.62	c 5566
171.80	o 35204
171.80	c 5563
171.98	o 35208
171.98	c 5559
172.35	o 35212
172.35	c 5555
172.51	o 35216
172.51	c 5551
172.70	o 35218
172.70	c 5549
173.08	o 35220
173.08	c 5547
173.27	o 35222
173.27	c 5545
173.46	o 35224
173.46	c 5543
173.65	o 35225
173.65	c 5542
173.83	o 35226
173.83	c 5541
174.01	o 35228
174.01	c 5539
174.19	o 35231
174.19	c 5536
174.37	o 35232
174.37	c 5535
174.56	o 35233
174.56	c 5534
174.93	o 35234
174.93	c 5533
175.11	o 35235
175.11	c 5532
175.29	o 35238
175.29	c 5529
175.98	o 35243
175.98	c 5524
176.32	o 35244
176.32	c 5523
176.49	o 35245
176.49	c 5522
176.66	o 35250
176.66	c 5517
177.37	o 35254
177.37	c 5513
177.53	o 35257
177.53	c 5510
177.73	o 35258
177.73	c 5509
177.89	o 35260
177.89	c 5507
178.06	o 35263
178.06	c 5504
178.22	o 35264
178.22	c 5503
178.38	o 35270
178.38	c 5497
178.55	o 35272
178.55	c 5495
178.74	o 35275
178.74	c 5492
178.91	o 35276
178.91	c 5491
179.09	o 35281
179.09	c 5486
179.28	o 35283
179.28	c 5484
179.45	o 35284
179.45	c 5483
179.66	o 35286
179.66	c 5481
179.86	o 35287
179.86	c 5480
180.07	o 35288
180.07	c 5479
180.27	o 35293
180.27	c 5474
180.50	o 35294
180.50	c 5473
180.69	o 35299
180.69	c 5468
180.88	o 35301
180.88	c 5466
181.08	o 35303
181.08	c 5464
181.28	o 35306
181.28	c 5461
181.45	o 35308
181.45	c 5459
181.63	o 35309
181.63	c 5458
181.82	o 35312
181.82	c 5455
182.03	o 35313
182.03	c 5454
182.85	o 35315
182.85	c 5452
183.47	o 35317
183.47	c 5450
183.70	o 35318
183.70	c 5449
183.91	o 35320
183.91	c 5447
184.78	o 35321
184.78	c 5446
185.24	o 35325
185.24	c 5442
185.48	o 35332
185.48	c 5435
185.70	o 35334
185.70	c 5433
185.92	o 35339
185.92	c 5428
186.14	o 35343
186.14	c 5424
186.35	o 35344
186.35	c 5423
186.60	o 35345
186.60	c 5422
187.04	o 35347
187.04	c 5420
187.47	o 35349
187.47	c 5418
187.70	o 35353
187.70	c 5414
188.12	o 35358
188.12	c 5409
188.55	o 35359
188.55	c 5408
188.79	o 35360
188.79	c 5407
188.99	o 35361
188.99	c 5406
189.65	o 35366
189.65	c 5401
190.09	o 35367
190.09	c 5400
190.52	o 35372
190.52	c 5395
191.76	o 35374
191.76	c 5393
192.36	o 35375
192.36	c 5392
192.58	o 35378
192.58	c 5389
192.80	o 35379
192.80	c 5388
193.01	o 35382
193.01	c 5385
193.24	o 35384
193.24	c 5383
194.12	o 35386
194.12	c 5381
194.80	o 35389
194.80	c 5378
194.95	o 35391
194.95	c 5376
195.36	o 35393
195.36	c 5374
196.04	o 35395
196.04	c 5372
196.26	o 35396
196.26	c 5371
196.48	o 35402
196.48	c 5365
196.74	o 35403
196.74	c 5364
196.95	o 35406
196.95	c 5361
197.18	o 35407
197.18	c 5360
197.41	o 35408
197.41	c 5359
197.64	o 35410
197.64	c 5357
197.87	o 35411
197.87	c 5356
198.11	o 35413
198.11	c 5354
198.34	o 35416
198.34	c 5351
198.56	o 35420
198.56	c 5347
198.81	o 35422
198.81	c 5345
199.06	o 35424
199.06	c 5343
199.77	o 35425
199.77	c 5342
200.48	o 35427
200.48	c 5340
200.95	o 35428
200.95	c 5339
201.19	o 35433
201.19	c 5334
201.68	o 35436
201.68	c 5331
202.18	o 35438
202.18	c 5329
202.43	o 35445
202.43	c 5322
202.69	o 35446
202.69	c 5321
202.94	o 35449
202.94	c 5318
203.18	o 35451
203.18	c 5316
203.44	o 35456
203.44	c 5311
203.68	o 35459
203.68	c 5308
203.94	o 35463
203.94	c 5304
204.18	o 35464
204.18	c 5303
204.42	o 35465
204.42	c 5302
204.66	o 35467
204.66	c 5300
204.90	o 35468
204.90	c 5299
205.14	o 35470
205.14	c 5297
205.38	o 35473
205.38	c 5294
205.62	o 35475
205.62	c 5292
205.86	o 35476
205.86	c 5291
206.11	o 35479
206.11	c 5288
206.58	o 35481
206.58	c 5286
206.81	o 35482
206.81	c 5285
207.05	o 35486
207.05	c 5281
207.52	o 35488
207.52	c 5279
207.76	o 35492
207.76	c 5275
207.99	o 35495
207.99	c 5272
208.47	o 35496
208.47	c 5271
208.70	o 35498
208.70	c 5269
208.96	o 35500
208.96	c 5267
209.21	o 35502
209.21	c 5265
209.69	o 35504
209.69	c 5263
209.92	o 35509
209.92	c 5258
210.16	o 35511
210.16	c 5256
210.41	o 35515
210.41	c 5252
210.87	o 35516
210.87	c 5251
211.10	o 35517
211.10	c 5250
211.33	o 35519
211.33	c 5248
211.56	o 35520
211.56	c 5247
212.05	o 35521
212.05	c 5246
212.28	o 35523
212.28	c 5244
212.52	o 35524
212.52	c 5243
213.48	o 35527
213.48	c 5240
214.17	o 35530
214.17	c 5237
214.40	o 35533
214.40	c 5234
214.62	o 35535
214.62	c 5232
214.84	o 35538
214.84	c 5229
215.06	o 35541
215.06	c 5226
215.50	o 35543
215.50	c 5224
215.73	o 35544
215.73	c 5223
215.95	o 35545
215.95	c 5222
216.17	o 35546
216.17	c 5221
216.62	o 35547
216.62	c 5220
216.84	o 35553
216.84	c 5214
217.05	o 35556
217.05	c 5211
217.29	o 35559
217.29	c 5208
217.50	o 35560
217.50	c 5207
217.72	o 35561
217.72	c 5206
218.18	o 35562
218.18	c 5205
218.40	o 35564
218.40	c 5203
218.60	o 35565
218.60	c 5202
218.80	o 35567
218.80	c 5200
219.00	o 35569
219.00	c 5198
219.21	o 35574
219.21	c 5193
219.42	o 35583
219.42	c 5184
219.61	o 35586
219.61	c 5181
219.80	o 35589
219.80	c 5178
219.98	o 35594
219.98	c 5173
220.73	o 35599
220.73	c 5168
220.92	o 35603
220.92	c 5164
221.10	o 35606
221.10	c 5161
221.27	o 35607
221.27	c 5160
221.45	o 35608
221.45	c 5159
221.64	o 35609
221.64	c 5158
221.83	o 35610
221.83	c 5157
222.79	o 35613
222.79	c 5154
223.01	o 35614
223.01	c 5153
223.39	o 35615
223.39	c 5152
223.80	o 35616
223.80	c 5151
223.99	o 35620
223.99	c 5147
224.19	o 35622
224.20	c 5145
224.79	o 35623
224.79	c 5144
224.99	o 35624
224.99	c 5143
225.20	o 35625
225.20	c 5142
225.39	o 35626
225.39	c 5141
225.60	o 35630
225.60	c 5137
225.81	o 35631
225.81	c 5136
226.03	o 35638
226.03	c 5129
226.23	o 35640
226.23	c 5127
226.44	o 35642
226.44	c 5125
226.66	o 35645
226.66	c 5122
227.81	o 35646
227.81	c 5121
228.25	o 35649
228.25	c 5118
228.51	o 35651
228.51	c 5116
228.75	o 35654
228.75	c 5113
228.99	o 35655
228.99	c 5112
229.24	o 35657
229.24	c 5110
229.49	o 35659
229.49	c 5108
230.80	o 35660
230.80	c 5107
231.08	o 35662
231.08	c 5105
231.34	o 35665
231.37	c 5102
231.60	o 35666
231.60	c 5101
231.87	o 35669
231.87	c 5098
232.14	o 35673
232.14	c 5094
232.40	o 35677
232.40	c 5090
232.66	o 35678
232.66	c 5089
232.92	o 35680
232.92	c 5087
233.18	o 35684
233.18	c 5083
233.68	o 35690
233.68	c 5077
234.15	o 35695
234.15	c 5072
234.43	o 35697
234.43	c 5070
234.71	o 35700
234.71	c 5067
235.00	o 35703
235.00	c 5064
235.54	o 35706
235.54	c 5061
236.30	o 35708
236.30	c 5059
237.07	o 35711
237.07	c 5056
237.84	o 35714
237.84	c 5053
238.09	o 35716
238.09	c 5051
238.34	o 35721
238.34	c 5046
239.32	o 35724
239.32	c 5043
239.56	o 35726
239.56	c 5041
239.80	o 35729
239.80	c 5038
239.98	o 35733
239.98	c 5034
240.21	o 35734
240.21	c 5033
240.47	o 35738
240.47	c 5029
240.75	o 35739
240.75	c 5028
241.00	o 35741
241.00	c 5026
241.25	o 35742
241.25	c 5025
241.86	o 35743
241.86	c 5024
243.33	o 35744
243.33	c 5023
243.58	o 35745
243.58	c 5022
245.93	o 35746
245.93	c 5021
246.64	o 35750
246.64	c 5017
247.75	o 35751
247.75	c 5016
247.96	o 35753
247.96	c 5014
249.07	o 35755
249.07	c 5012
249.72	o 35756
249.72	c 5011
250.18	o 35758
250.18	c 5009
250.43	o 35761
250.43	c 5006
250.64	o 35762
250.64	c 5005
250.87	o 35764
250.87	c 5003
251.11	o 35767
251.11	c 5000
251.34	o 35772
251.34	c 4995
251.58	o 35774
251.58	c 4993
251.81	o 35776
251.81	c 4991
252.98	o 35777
252.98	c 4990
253.24	o 35778
253.24	c 4989
253.72	o 35779
253.72	c 4988
253.96	o 35781
253.96	c 4986
254.46	o 35784
254.46	c 4983
255.17	o 35785
255.17	c 4982
255.43	o 35788
255.43	c 4979
255.67	o 35792
255.67	c 4975
255.92	o 35793
255.92	c 4974
256.40	o 35795
256.40	c 4972
257.14	o 35797
257.14	c 4970
257.37	o 35799
257.37	c 4968
257.63	o 35801
257.63	c 4966
257.87	o 35804
257.87	c 4963
258.12	o 35807
258.12	c 4960
258.36	o 35809
258.36	c 4958
258.61	o 35811
258.61	c 4956
259.81	o 35812
259.81	c 4955
260.04	o 35814
260.04	c 4953
260.29	o 35815
260.29	c 4952
260.52	o 35816
260.52	c 4951
260.76	o 35823
260.76	c 4944
260.99	o 35826
260.99	c 4941
261.25	o 35827
261.25	c 4940
261.94	o 35830
261.94	c 4937
262.38	o 35833
262.38	c 4934
262.83	o 35836
262.83	c 4931
263.00	o 35838
263.00	c 4929
263.22	o 35840
263.22	c 4927
263.87	o 35843
263.87	c 4924
264.08	o 35846
264.08	c 4921
264.31	o 35848
264.31	c 4919
264.54	o 35851
264.54	c 4916
264.76	o 35854
264.76	c 4913
265.43	o 35859
265.43	c 4908
265.66	o 35860
265.66	c 4907
265.89	o 35864
265.89	c 4903
266.36	o 35866
266.36	c 4901
266.59	o 35867
266.59	c 4900
267.07	o 35869
267.07	c 4898
267.29	o 35871
267.29	c 4896
267.51	o 35873
267.51	c 4894
267.71	o 35877
267.71	c 4890
267.96	o 35879
267.96	c 4888
268.20	o 35882
268.20	c 4885
268.43	o 35884
268.43	c 4883
268.66	o 35886
268.66	c 4881
268.90	o 35889
268.90	c 4878
269.10	o 35891
269.10	c 4876
270.37	o 35892
270.37	c 4875
270.65	o 35894
270.65	c 4873
270.91	o 35895
270.91	c 4872
271.66	o 35899
271.66	c 4868
271.91	o 35900
271.91	c 4867
272.17	o 35902
272.17	c 4865
272.44	o 35903
272.44	c 4864
272.97	o 35905
272.97	c 4862
273.50	o 35909
273.50	c 4858
274.01	o 35913
274.01	c 4854
274.26	o 35915
274.26	c 4852
274.80	o 35916
274.80	c 4851
275.06	o 35919
275.06	c 4848
275.58	o 35922
275.58	c 4845
275.85	o 35928
275.85	c 4839
276.65	o 35929
276.65	c 4838
277.48	o 35930
277.48	c 4837
277.75	o 35932
277.75	c 4835
279.24	o 35934
279.24	c 4833
279.82	o 35939
279.82	c 4828
280.11	o 35942
280.11	c 4825
282.29	o 35946
282.29	c 4821
283.12	o 35947
283.12	c 4820
283.38	o 35948
283.38	c 4819
283.64	o 35953
283.64	c 4814
283.70	o 35955
283.70	c 4812
285.31	o 35958
285.31	c 4809
285.58	o 35960
285.58	c 4807
285.85	o 35961
285.85	c 4806
286.13	o 35962
286.13	c 4805
287.47	o 35967
287.47	c 4800
287.74	o 35970
287.74	c 4797
288.03	o 35972
288.03	c 4795
288.60	o 35973
288.60	c 4794
288.87	o 35974
288.87	c 4793
290.58	o 35976
290.58	c 4791
290.84	o 35979
290.84	c 4788
291.13	o 35981
291.13	c 4786
291.43	o 35982
291.43	c 4785
291.73	o 35985
291.73	c 4782
292.02	o 35986
292.02	c 4781
292.30	o 35987
292.30	c 4780
292.59	o 35990
292.59	c 4777
293.16	o 35992
293.16	c 4775
294.83	o 35993
294.83	c 4774
295.13	o 35997
295.13	c 4770
295.39	o 36002
295.39	c 4765
295.68	o 36003
295.68	c 4764
295.96	o 36005
295.96	c 4762
296.25	o 36007
296.25	c 4760
296.53	o 36013
296.53	c 4754
296.81	o 36014
296.81	c 4753
297.39	o 36017
297.39	c 4750
297.67	o 36020
297.67	c 4747
297.94	o 36021
297.94	c 4746
298.50	o 36023
298.50	c 4744
299.04	o 36027
299.04	c 4740
299.31	o 36031
299.31	c 4736
299.88	o 36033
299.88	c 4734
300.14	o 36035
300.14	c 4732
300.42	o 36040
300.42	c 4727
300.71	o 36042
300.71	c 4725
301.25	o 36044
301.25	c 4723
301.35	o 36046
301.36	c 4721
301.62	o 36049
301.62	c 4718
301.91	o 36050
301.91	c 4717
302.20	o 36052
302.20	c 4715
302.47	o 36054
302.47	c 4713
302.75	o 36055
302.75	c 4712
303.04	o 36057
303.04	c 4710
303.31	o 36058
303.31	c 4709
303.63	o 36064
303.63	c 4703
304.16	o 36067
304.16	c 4700
304.44	o 36070
304.44	c 4697
304.67	o 36073
304.67	c 4694
304.94	o 36075
304.94	c 4692
305.46	o 36076
305.46	c 4691
306.21	o 36079
306.21	c 4688
306.47	o 36082
306.47	c 4685
306.73	o 36084
306.73	c 4683
308.07	o 36086
308.07	c 4681
308.32	o 36088
308.32	c 4679
310.41	o 36092
310.41	c 4675
310.61	o 36100
310.61	c 4667
310.86	o 36101
310.86	c 4666
311.14	o 36103
311.14	c 4664
311.39	o 36106
311.39	c 4661
311.65	o 36108
311.65	c 4659
311.93	o 36109
311.93	c 4658
312.19	o 36110
312.19	c 4657
312.47	o 36111
312.47	c 4656
312.75	o 36112
312.75	c 4655
313.30	o 36113
313.30	c 4654
313.56	o 36114
313.56	c 4653
313.83	o 36117
313.83	c 4650
314.09	o 36119
314.09	c 4648
314.37	o 36121
314.37	c 4646
315.14	o 36122
315.14	c 4645
315.67	o 36128
315.67	c 4639
315.92	o 36129
315.92	c 4638
316.17	o 36130
316.17	c 4637
316.41	o 36133
316.41	c 4634
316.67	o 36135
316.67	c 4632
317.35	o 36137
317.35	c 4630
317.63	o 36139
317.63	c 4628
317.89	o 36141
317.89	c 4626
318.66	o 36142
318.66	c 4625
319.18	o 36147
319.18	c 4620
319.68	o 36150
319.68	c 4617
319.94	o 36154
319.94	c 4613
320.49	o 36156
320.49	c 4611
320.75	o 36157
320.75	c 4610
321.30	o 36160
321.30	c 4607
321.60	o 36161
321.60	c 4606
321.89	o 36167
321.89	c 4600
322.18	o 36169
322.18	c 4598
322.48	o 36171
322.48	c 4596
322.75	o 36172
322.75	c 4595
323.05	o 36174
323.05	c 4593
323.36	o 36177
323.36	c 4590
323.65	o 36180
323.65	c 4587
324.59	o 36182
324.59	c 4585
325.20	o 36184
325.20	c 4583
325.49	o 36186
325.49	c 4581
325.80	o 36188
325.80	c 4579
326.41	o 36189
326.41	c 4578
327.33	o 36190
327.33	c 4577
328.23	o 36191
328.23	c 4576
328.54	o 36193
328.54	c 4574
329.95	o 36194
329.95	c 4573
330.27	o 36197
330.27	c 4570
331.58	o 36198
331.58	c 4569
331.91	o 36204
331.91	c 4563
332.24	o 36205
332.24	c 4562
332.58	o 36208
332.58	c 4559
334.64	o 36209
334.64	c 4558
334.99	o 36213
334.99	c 4554
335.32	o 36215
335.32	c 4552
335.66	o 36216
335.66	c 4551
336.03	o 36220
336.03	c 4547
337.07	o 36222
337.07	c 4545
339.39	o 36224
339.39	c 4543
341.84	o 36226
341.84	c 4541
342.18	o 36231
342.18	c 4536
344.76	o 36232
344.76	c 4535
345.10	o 36233
345.10	c 4534
345.44	o 36234
345.44	c 4533
345.81	o 36237
345.81	c 4530
346.18	o 36238
346.18	c 4529
347.58	o 36240
347.58	c 4527
347.93	o 36243
347.93	c 4524
350.74	o 36244
350.74	c 4523
352.12	o 36245
352.12	c 4522
352.47	o 36247
352.47	c 4520
352.81	o 36248
352.81	c 4519
353.15	o 36249
353.15	c 4518
353.68	o 36250
353.68	c 4517
354.03	o 36253
354.03	c 4514
354.36	o 36255
354.36	c 4512
355.04	o 36261
355.04	c 4506
355.39	o 36267
355.39	c 4500
355.70	o 36271
355.70	c 4496
357.04	o 36273
357.04	c 4494
358.03	o 36276
358.03	c 4491
358.36	o 36277
358.36	c 4490
359.05	o 36279
359.05	c 4488
359.38	o 36280
359.38	c 4487
359.71	o 36281
359.71	c 4486
360.06	o 36282
360.06	c 4485
362.11	o 36284
362.11	c 4483
362.45	o 36285
362.45	c 4482
362.80	o 36288
362.80	c 4479
363.14	o 36290
363.14	c 4477
363.50	o 36295
363.50	c 4472
366.59	o 36296
366.59	c 4471
366.95	o 36299
366.95	c 4468
367.30	o 36300
367.30	c 4467
367.95	o 36302
367.95	c 4465
368.96	o 36303
368.96	c 4464
369.99	o 36305
369.99	c 4462
371.34	o 36306
371.34	c 4461
371.70	o 36309
371.70	c 4458
372.05	o 36312
372.05	c 4455
376.02	o 36314
376.02	c 4453
376.70	o 36315
376.70	c 4452
377.05	o 36316
377.05	c 4451
377.72	o 36317
377.72	c 4450
378.06	o 36320
378.06	c 4447
378.76	o 36324
378.76	c 4443
379.11	o 36325
379.11	c 4442
379.45	o 36328
379.45	c 4439
379.80	o 36332
379.80	c 4435
380.16	o 36334
380.16	c 4433
380.48	o 36337
380.48	c 4430
380.82	o 36339
380.82	c 4428
381.16	o 36344
381.16	c 4423
382.55	o 36349
382.55	c 4418
382.92	o 36353
382.92	c 4414
383.26	o 36354
383.26	c 4413
383.61	o 36355
383.61	c 4412
383.97	o 36357
383.97	c 4410
384.32	o 36358
384.32	c 4409
384.69	o 36360
384.69	c 4407
385.05	o 36361
385.05	c 4406
385.42	o 36363
385.42	c 4404
385.79	o 36366
385.79	c 4401
387.25	o 36369
387.25	c 4398
387.60	o 36372
387.60	c 4395
388.35	o 36374
388.35	c 4393
388.73	o 36376
388.73	c 4391
389.12	o 36378
389.12	c 4389
389.47	o 36380
389.47	c 4387
389.84	o 36384
389.84	c 4383
390.57	o 36386
390.57	c 4381
390.92	o 36387
390.92	c 4380
391.29	o 36390
391.29	c 4377
391.61	o 36391
391.61	c 4376
391.95	o 36395
391.95	c 4372
392.29	o 36397
392.29	c 4370
392.65	o 36399
392.65	c 4368
393.00	o 36400
393.00	c 4367
393.36	o 36402
393.36	c 4365
394.10	o 36404
394.10	c 4363
394.79	o 36405
394.79	c 4362
395.14	o 36406
395.14	c 4361
395.52	o 36407
395.52	c 4360
396.25	o 36409
396.25	c 4358
396.60	o 36412
396.60	c 4355
396.96	o 36413
396.96	c 4354
398.00	o 36414
398.00	c 4353
398.36	o 36416
398.36	c 4351
398.72	o 36417
398.72	c 4350
399.08	o 36418
399.08	c 4349
399.44	o 36420
399.44	c 4347
399.79	o 36423
399.79	c 4344
400.50	o 36425
400.50	c 4342
400.85	o 36428
400.85	c 4339
401.56	o 36429
401.56	c 4338
402.66	o 36432
402.66	c 4335
403.42	o 36437
403.42	c 4330
404.17	o 36438
404.17	c 4329
405.31	o 36440
405.31	c 4327
406.03	o 36442
406.03	c 4325
406.40	o 36444
406.40	c 4323
406.78	o 36445
406.78	c 4322
407.74	o 36447
407.74	c 4320
408.11	o 36449
408.11	c 4318
408.84	o 36451
408.84	c 4316
409.19	o 36453
409.19	c 4314
409.55	o 36456
409.55	c 4311
409.93	o 36460
409.93	c 4307
412.76	o 36461
412.76	c 4306
413.11	o 36464
413.11	c 4303
413.84	o 36465
413.84	c 4302
414.20	o 36469
414.20	c 4298
414.56	o 36472
414.56	c 4295
414.87	o 36474
414.87	c 4293
415.24	o 36476
415.24	c 4291
415.57	o 36483
415.57	c 4284
416.08	o 36485
416.08	c 4282
416.43	o 36487
416.43	c 4280
418.15	o 36490
418.15	c 4277
420.53	o 36491
420.53	c 4276
421.27	o 36493
421.27	c 4274
421.61	o 36495
421.61	c 4272
422.64	o 36497
422.64	c 4270
422.97	o 36501
422.97	c 4266
423.32	o 36505
423.32	c 4262
423.69	o 36506
423.69	c 4261
424.74	o 36510
424.74	c 4257
425.09	o 36511
425.09	c 4256
425.81	o 36517
425.81	c 4250
426.16	o 36519
426.16	c 4248
426.50	o 36522
426.50	c 4245
426.85	o 36526
426.85	c 4241
427.21	o 36530
427.21	c 4237
427.59	o 36535
427.59	c 4232
427.95	o 36536
427.95	c 4231
428.30	o 36538
428.30	c 4229
429.69	o 36539
429.69	c 4228
431.46	o 36540
431.46	c 4227
431.81	o 36542
431.81	c 4225
432.17	o 36543
432.17	c 4224
432.52	o 36544
432.52	c 4223
432.88	o 36546
432.88	c 4221
433.24	o 36549
433.24	c 4218
433.60	o 36550
433.60	c 4217
433.95	o 36552
433.95	c 4215
434.32	o 36556
434.32	c 4211
434.66	o 36558
434.66	c 4209
435.02	o 36559
435.02	c 4208
435.72	o 36560
435.72	c 4207
436.07	o 36562
436.07	c 4205
436.41	o 36565
436.41	c 4202
437.15	o 36568
437.15	c 4199
437.50	o 36572
437.50	c 4195
437.85	o 36573
437.85	c 4194
438.19	o 36576
438.19	c 4191
438.55	o 36579
438.55	c 4188
438.90	o 36580
438.90	c 4187
439.58	o 36581
439.58	c 4186
440.26	o 36583
440.26	c 4184
440.58	o 36586
440.58	c 4181
440.92	o 36587
440.92	c 4180
442.85	o 36591
442.85	c 4176
443.50	o 36595
443.50	c 4172
444.80	o 36596
444.80	c 4171
445.14	o 36598
445.14	c 4169
445.78	o 36599
445.78	c 4168
447.11	o 36602
447.11	c 4165
447.33	o 36604
447.33	c 4163
450.30	o 36606
450.30	c 4161
450.65	o 36608
450.65	c 4159
451.40	o 36610
451.40	c 4157
451.77	o 36614
451.77	c 4153
452.04	o 36616
452.04	c 4151
452.42	o 36622
452.42	c 4145
452.72	o 36624
452.72	c 4143
453.07	o 36627
453.07	c 4140
453.27	o 36630
453.27	c 4137
453.65	o 36631
453.65	c 4136
454.04	o 36632
454.04	c 4135
454.40	o 36633
454.40	c 4134
463.88	o 36636
463.88	c 4131
468.11	o 36637
468.11	c 4130
468.86	o 36638
468.86	c 4129
469.25	o 36641
469.25	c 4126
470.81	o 36643
470.81	c 4124
471.20	o 36647
471.20	c 4120
471.58	o 36650
471.58	c 4117
471.96	o 36654
471.96	c 4113
472.35	o 36655
472.35	c 4112
473.52	o 36657
473.52	c 4110
473.91	o 36659
473.91	c 4108
475.89	o 36662
475.89	c 4105
476.07	o 36664
476.07	c 4103
478.44	o 36665
478.44	c 4102
478.64	o 36668
478.64	c 4099
478.91	o 36669
478.91	c 4098
479.30	o 36672
479.30	c 4095
479.70	o 36673
479.70	c 4094
480.84	o 36675
480.84	c 4092
481.22	o 36677
481.22	c 4090
481.62	o 36679
481.62	c 4088
482.00	o 36680
482.00	c 4087
482.39	o 36681
482.39	c 4086
482.78	o 36683
482.78	c 4084
484.40	o 36687
484.40	c 4080
484.78	o 36692
484.78	c 4075
485.57	o 36693
485.57	c 4074
488.35	o 36695
488.35	c 4072
489.11	o 36697
489.11	c 4070
490.73	o 36701
490.73	c 4066
491.15	o 36703
491.15	c 4064
491.58	o 36706
491.58	c 4061
492.00	o 36708
492.00	c 4059
494.47	o 36709
494.47	c 4058
494.88	o 36712
494.88	c 4055
495.21	o 36714
495.21	c 4053
495.65	o 36717
495.65	c 4050
496.07	o 36721
496.07	c 4046
498.92	o 36723
498.92	c 4044
508.08	o 36725
508.08	c 4042
508.51	o 36726
508.51	c 4041
508.95	o 36727
508.95	c 4040
509.37	o 36730
509.37	c 4037
509.79	o 36731
509.79	c 4036
510.20	o 36733
510.20	c 4034
510.63	o 36734
510.63	c 4033
511.04	o 36737
511.04	c 4030
511.85	o 36741
511.85	c 4026
512.26	o 36742
512.26	c 4025
512.68	o 36745
512.68	c 4022
513.09	o 36746
513.09	c 4021
515.26	o 36747
515.26	c 4020
515.69	o 36749
515.69	c 4018
517.92	o 36751
517.92	c 4016
518.37	o 36752
518.37	c 4015
519.28	o 36753
519.28	c 4014
520.13	o 36756
520.13	c 4011
520.59	o 36758
520.59	c 4009
521.25	o 36761
521.25	c 4006
521.70	o 36762
521.70	c 4005
522.14	o 36763
522.14	c 4004
522.58	o 36767
522.58	c 4000
523.03	o 36769
523.03	c 3998
523.48	o 36770
523.48	c 3997
524.37	o 36771
524.37	c 3996
524.82	o 36773
524.82	c 3994
525.17	o 36775
525.17	c 3992
525.87	o 36779
525.87	c 3988
526.74	o 36780
526.74	c 3987
527.56	o 36787
527.56	c 3980
527.98	o 36792
527.98	c 3975
528.21	o 36796
528.21	c 3971
528.48	o 36797
528.48	c 3970
528.89	o 36799
528.89	c 3968
529.77	o 36801
529.77	c 3966
530.21	o 36803
530.21	c 3964
530.66	o 36804
530.66	c 3963
531.10	o 36808
531.10	c 3959
531.53	o 36810
531.53	c 3957
531.96	o 36811
531.96	c 3956
532.38	o 36813
532.38	c 3954
533.24	o 36815
533.24	c 3952
533.66	o 36817
533.66	c 3950
536.31	o 36818
536.31	c 3949
542.15	o 36820
542.15	c 3947
542.57	o 36822
542.57	c 3945
542.97	o 36824
542.97	c 3943
549.05	o 36825
549.05	c 3942
549.61	o 36827
549.61	c 3940
552.39	o 36829
552.39	c 3938
553.62	o 36832
553.62	c 3935
554.05	o 36835
554.05	c 3932
554.47	o 36836
554.47	c 3931
554.89	o 36838
554.89	c 3929
555.25	o 36839
555.25	c 3928
556.48	o 36841
556.48	c 3926
563.55	o 36842
563.55	c 3925
563.95	o 36847
563.95	c 3920
564.69	o 36848
564.69	c 3919
566.24	o 36849
566.24	c 3918
567.41	o 36851
567.41	c 3916
567.83	o 36854
567.83	c 3913
568.04	o 36857
568.04	c 3910
568.71	o 36859
568.71	c 3908
569.46	o 36860
569.46	c 3907
569.84	o 36862
569.84	c 3905
571.85	o 36863
571.85	c 3904
572.63	o 36865
572.63	c 3902
573.86	o 36866
573.86	c 3901
574.27	o 36868
574.27	c 3899
575.87	o 36869
575.87	c 3898
576.27	o 36871
576.27	c 3896
577.86	o 36874
577.86	c 3893
578.26	o 36876
578.26	c 3891
578.65	o 36877
578.65	c 3890
579.04	o 36878
579.04	c 3889
579.43	o 36880
579.43	c 3887
579.85	o 36881
579.85	c 3886
581.40	o 36882
581.40	c 3885
581.80	o 36883
581.80	c 3884
582.58	o 36886
582.58	c 3881
585.50	o 36888
585.50	c 3879
586.05	o 36894
586.05	c 3873
587.19	o 36897
587.19	c 3870
587.57	o 36903
587.57	c 3864
591.83	o 36904
591.83	c 3863
592.58	o 36907
592.58	c 3860
593.37	o 36909
593.37	c 3858
593.76	o 36910
593.76	c 3857
594.14	o 36911
594.14	c 3856
594.98	o 36912
594.98	c 3855
595.37	o 36913
595.37	c 3854
595.75	o 36916
595.75	c 3851
596.15	o 36923
596.15	c 3844
596.57	o 36925
596.57	c 3842
596.97	o 36928
596.97	c 3839
597.38	o 36931
597.38	c 3836
598.21	o 36933
598.21	c 3834
598.63	o 36934
598.63	c 3833
599.05	o 36936
599.05	c 3831
601.55	o 36938
601.55	c 3829
605.01	o 36940
605.01	c 3827
605.45	o 36942
605.45	c 3825
605.74	o 36944
605.74	c 3823
606.17	o 36945
606.17	c 3822
606.62	o 36947
606.62	c 3820
607.06	o 36948
607.06	c 3819
608.88	o 36949
608.88	c 3818
609.34	o 36951
609.34	c 3816
611.18	o 36959
611.18	c 3808
612.08	o 36962
612.08	c 3805
612.98	o 36963
612.98	c 3804
617.12	o 36964
617.12	c 3803
617.49	o 36967
617.49	c 3800
618.42	o 36968
618.42	c 3799
619.36	o 36969
619.36	c 3798
619.83	o 36971
619.83	c 3796
620.29	o 36972
620.29	c 3795
620.75	o 36973
620.75	c 3794
621.20	o 36974
621.20	c 3793
623.50	o 36977
623.50	c 3790
624.41	o 36980
624.41	c 3787
625.32	o 36981
625.32	c 3786
626.22	o 36983
626.22	c 3784
627.13	o 36984
627.13	c 3783
627.60	o 36986
627.60	c 3781
628.08	o 36989
628.08	c 3778
629.04	o 36990
629.04	c 3777
633.88	o 36992
633.88	c 3775
637.39	o 36994
637.39	c 3773
637.84	o 36996
637.84	c 3771
639.66	o 36997
639.66	c 3770
640.56	o 36998
640.56	c 3769
641.01	o 37000
641.01	c 3767
642.39	o 37003
642.39	c 3764
642.84	o 37006
642.84	c 3761
643.27	o 37008
643.27	c 3759
644.16	o 37009
644.16	c 3758
644.61	o 37012
644.61	c 3755
645.03	o 37013
645.03	c 3754
647.00	o 37016
647.00	c 3751
647.44	o 37019
647.44	c 3748
648.30	o 37020
648.30	c 3747
648.66	o 37023
648.66	c 3744
649.09	o 37026
649.09	c 3741
649.55	o 37029
649.55	c 3738
651.72	o 37030
651.72	c 3737
652.17	o 37031
652.17	c 3736
652.61	o 37032
652.61	c 3735
653.51	o 37033
653.52	c 3734
653.98	o 37037
653.98	c 3730
654.70	o 37041
654.70	c 3726
654.94	o 37043
654.94	c 3724
655.80	o 37045
655.80	c 3722
656.72	o 37047
656.72	c 3720
658.06	o 37048
658.06	c 3719
658.42	o 37051
658.42	c 3716
659.33	o 37055
659.33	c 3712
659.78	o 37057
659.78	c 3710
660.01	o 37058
660.01	c 3709
661.83	o 37059
661.83	c 3708
662.29	o 37060
662.29	c 3707
662.75	o 37062
662.75	c 3705
663.13	o 37065
663.13	c 3702
663.76	o 37066
663.76	c 3701
664.06	o 37070
664.06	c 3697
664.51	o 37071
664.51	c 3696
665.39	o 37072
665.39	c 3695
667.63	o 37073
667.63	c 3694
667.79	o 37075
667.79	c 3692
668.24	o 37078
668.24	c 3689
669.15	o 37082
669.15	c 3685
669.52	o 37084
669.52	c 3683
669.99	o 37086
669.99	c 3681
670.86	o 37087
670.86	c 3680
671.30	o 37088
671.30	c 3679
671.74	o 37090
671.74	c 3677
673.59	o 37091
673.59	c 3676
676.01	o 37095
676.01	c 3672
676.46	o 37098
676.46	c 3669
676.93	o 37104
676.93	c 3663
678.37	o 37105
678.37	c 3662
678.83	o 37107
678.83	c 3660
679.28	o 37108
679.28	c 3659
685.57	o 37109
685.57	c 3658
694.52	o 37110
694.52	c 3657
694.98	o 37111
694.98	c 3656
695.45	o 37112
695.45	c 3655
695.91	o 37113
695.91	c 3654
696.12	o 37120
696.12	c 3647
696.34	o 37122
696.34	c 3645
696.80	o 37124
696.80	c 3643
697.23	o 37125
697.23	c 3642
697.68	o 37130
697.68	c 3637
698.13	o 37131
698.13	c 3636
698.58	o 37134
698.58	c 3633
699.04	o 37135
699.04	c 3632
699.50	o 37137
699.50	c 3630
700.44	o 37139
700.44	c 3628
701.37	o 37142
701.37	c 3625
706.49	o 37145
706.49	c 3622
708.39	o 37147
708.39	c 3620
709.40	o 37149
709.40	c 3618
709.75	o 37151
709.75	c 3616
711.20	o 37152
711.20	c 3615
712.19	o 37153
712.19	c 3614
712.68	o 37154
712.68	c 3613
713.18	o 37157
713.18	c 3610
714.73	o 37160
714.73	c 3607
715.70	o 37164
715.70	c 3603
720.24	o 37167
720.24	c 3600
723.01	o 37170
723.01	c 3597
723.22	o 37173
723.22	c 3594
725.69	o 37174
725.69	c 3593
727.74	o 37178
727.74	c 3589
728.20	o 37182
728.20	c 3585
728.73	o 37187
728.73	c 3580
729.24	o 37189
729.24	c 3578
731.84	o 37192
731.84	c 3575
732.37	o 37194
732.37	c 3573
733.79	o 37195
733.79	c 3572
734.30	o 37197
734.30	c 3570
734.82	o 37199
734.82	c 3568
735.85	o 37201
735.85	c 3566
743.05	o 37204
743.05	c 3563
743.56	o 37205
743.56	c 3562
744.05	o 37206
744.05	c 3561
744.53	o 37211
744.53	c 3556
745.96	o 37212
745.96	c 3555
747.41	o 37213
747.41	c 3554
747.91	o 37215
747.91	c 3552
748.84	o 37217
748.84	c 3550
750.37	o 37220
750.37	c 3547
751.06	o 37221
751.06	c 3546
751.49	o 37222
751.49	c 3545
751.99	o 37225
751.99	c 3542
752.50	o 37229
752.50	c 3538
752.99	o 37230
752.99	c 3537
754.97	o 37232
754.97	c 3535
755.48	o 37233
755.48	c 3534
756.42	o 37234
756.42	c 3533
756.90	o 37237
756.90	c 3530
763.97	o 37238
763.97	c 3529
764.44	o 37239
764.44	c 3528
764.96	o 37240
764.96	c 3527
765.74	o 37241
765.74	c 3526
766.22	o 37242
766.22	c 3525
767.70	o 37244
767.70	c 3523
768.70	o 37245
768.70	c 3522
769.70	o 37248
769.70	c 3519
770.18	o 37249
770.18	c 3518
771.77	o 37251
771.77	c 3516
772.28	o 37255
772.28	c 3512
772.79	o 37256
772.79	c 3511
775.70	o 37257
775.70	c 3510
776.22	o 37262
776.22	c 3505
778.30	o 37263
778.30	c 3504
778.45	o 37266
778.45	c 3501
778.95	o 37268
778.95	c 3499
779.45	o 37269
779.45	c 3498
779.96	o 37272
779.96	c 3495
780.40	o 37273
780.40	c 3494
780.90	o 37274
780.90	c 3493
784.18	o 37277
784.18	c 3490
784.51	o 37280
784.51	c 3487
785.53	o 37282
785.53	c 3485
786.08	o 37284
786.08	c 3483
786.54	o 37286
786.54	c 3481
788.97	o 37289
788.97	c 3478
791.39	o 37293
791.39	c 3474
792.90	o 37294
792.90	c 3473
793.90	o 37297
793.90	c 3470
794.41	o 37302
794.41	c 3465
795.11	o 37306
795.11	c 3461
800.97	o 37308
800.97	c 3459
801.77	o 37310
801.77	c 3457
802.28	o 37311
802.28	c 3456
802.78	o 37312
802.78	c 3455
806.80	o 37314
806.80	c 3453
808.31	o 37315
808.31	c 3452
812.22	o 37316
812.22	c 3451
813.58	o 37317
813.58	c 3450
814.56	o 37318
814.56	c 3449
815.05	o 37319
815.05	c 3448
817.57	o 37321
817.57	c 3446
818.10	o 37322
818.10	c 3445
818.60	o 37323
818.60	c 3444
819.11	o 37326
819.11	c 3441
821.67	o 37327
821.67	c 3440
822.17	o 37328
822.17	c 3439
822.67	o 37331
822.67	c 3436
823.18	o 37332
823.18	c 3435
825.14	o 37337
825.14	c 3430
825.65	o 37343
825.65	c 3424
826.49	o 37345
826.50	c 3422
827.00	o 37347
827.00	c 3420
827.41	o 37349
827.41	c 3418
827.92	o 37351
827.92	c 3416
828.44	o 37353
828.44	c 3414
828.94	o 37356
828.94	c 3411
829.46	o 37358
829.46	c 3409
830.51	o 37359
830.51	c 3408
831.02	o 37360
831.03	c 3407
832.09	o 37362
832.09	c 3405
842.42	o 37363
842.42	c 3404
843.49	o 37364
843.49	c 3403
843.99	o 37366
843.99	c 3401
844.60	o 37369
844.60	c 3398
845.10	o 37372
845.10	c 3395
846.09	o 37376
846.09	c 3391
846.54	o 37377
846.54	c 3390
847.03	o 37379
847.03	c 3388
847.54	o 37381
847.54	c 3386
848.03	o 37384
848.03	c 3383
848.52	o 37385
848.52	c 3382
849.03	o 37386
849.03	c 3381
856.34	o 37391
856.34	c 3376
856.85	o 37392
856.85	c 3375
857.35	o 37394
857.35	c 3373
857.67	o 37397
857.67	c 3370
859.69	o 37398
859.69	c 3369
860.19	o 37400
860.19	c 3367
860.67	o 37402
860.67	c 3365
861.18	o 37403
861.18	c 3364
862.67	o 37406
862.67	c 3361
864.17	o 37407
864.17	c 3360
864.70	o 37408
864.70	c 3359
867.28	o 37412
867.28	c 3355
867.81	o 37413
867.81	c 3354
869.39	o 37417
869.39	c 3350
869.92	o 37419
869.92	c 3348
870.98	o 37420
870.98	c 3347
871.52	o 37421
871.52	c 3346
875.73	o 37422
875.73	c 3345
876.15	o 37429
876.15	c 3338
876.66	o 37432
876.66	c 3335
878.61	o 37435
878.61	c 3332
879.12	o 37436
879.12	c 3331
879.64	o 37438
879.64	c 3329
880.21	o 37439
880.21	c 3328
882.33	o 37442
882.33	c 3325
882.86	o 37447
882.86	c 3320
883.33	o 37449
883.33	c 3318
884.73	o 37453
884.73	c 3314
885.25	o 37457
885.25	c 3310
885.77	o 37458
885.77	c 3309
886.30	o 37459
886.30	c 3308
886.85	o 37463
886.85	c 3304
887.92	o 37464
887.92	c 3303
889.05	o 37465
889.05	c 3302
889.58	o 37472
889.58	c 3295
892.36	o 37475
892.36	c 3292
892.93	o 37479
892.93	c 3288
893.50	o 37480
893.50	c 3287
895.19	o 37483
895.19	c 3284
895.77	o 37485
895.77	c 3282
896.34	o 37490
896.34	c 3277
896.90	o 37493
896.90	c 3274
897.47	o 37495
897.47	c 3272
898.60	o 37497
898.60	c 3270
899.72	o 37500
899.72	c 3267
900.26	o 37502
900.26	c 3265
900.81	o 37507
900.81	c 3260
901.92	o 37509
901.92	c 3258
902.43	o 37510
902.43	c 3257
910.17	o 37511
910.17	c 3256
911.25	o 37512
911.25	c 3255
912.61	o 37515
912.61	c 3252
913.46	o 37517
913.46	c 3250
913.89	o 37519
913.89	c 3248
915.41	o 37522
915.41	c 3245
915.84	o 37526
915.84	c 3241
916.92	o 37527
916.92	c 3240
917.46	o 37528
917.46	c 3239
920.61	o 37529
920.61	c 3238
921.15	o 37530
921.15	c 3237
922.73	o 37532
922.73	c 3235
923.24	o 37533
923.24	c 3234
924.28	o 37536
924.28	c 3231
924.69	o 37539
924.69	c 3228
925.50	o 37541
925.50	c 3226
926.00	o 37542
926.00	c 3225
926.52	o 37545
926.52	c 3222
926.79	o 37549
926.79	c 3218
927.29	o 37550
927.29	c 3217
927.80	o 37553
927.80	c 3214
928.30	o 37557
928.30	c 3210
929.88	o 37558
929.88	c 3209
930.38	o 37561
930.38	c 3206
930.89	o 37563
930.89	c 3204
931.84	o 37564
931.84	c 3203
932.39	o 37566
932.39	c 3201
933.45	o 37567
933.45	c 3200
936.05	o 37570
936.05	c 3197
938.63	o 37571
938.63	c 3196
939.17	o 37572
939.17	c 3195
939.60	o 37573
939.60	c 3194
940.37	o 37577
940.37	c 3190
940.42	o 37581
940.42	c 3186
941.40	o 37586
941.40	c 3181
942.47	o 37590
942.47	c 3177
943.24	o 37591
943.24	c 3176
943.60	o 37599
943.60	c 3168
944.08	o 37604
944.08	c 3163
944.56	o 37607
944.56	c 3160
945.05	o 37609
945.05	c 3158
947.53	o 37613
947.53	c 3154
948.01	o 37614
948.01	c 3153
955.11	o 37615
955.11	c 3152
956.12	o 37616
956.12	c 3151
956.68	o 37617
956.68	c 3150
958.92	o 37619
958.92	c 3148
959.48	o 37620
959.48	c 3147
960.04	o 37621
960.04	c 3146
960.63	o 37623
960.63	c 3144
961.17	o 37626
961.17	c 3141
970.14	o 37628
970.14	c 3139
970.61	o 37632
970.61	c 3135
971.18	o 37636
971.18	c 3131
972.32	o 37638
972.32	c 3129
972.91	o 37641
972.91	c 3126
973.50	o 37642
973.50	c 3125
974.67	o 37644
974.67	c 3123
975.22	o 37645
975.22	c 3122
976.91	o 37646
976.91	c 3121
977.50	o 37647
977.50	c 3120
979.49	o 37648
979.49	c 3119
980.07	o 37651
980.07	c 3116
980.64	o 37652
980.64	c 3115
980.89	o 37657
980.89	c 3110
981.45	o 37658
981.45	c 3109
982.02	o 37660
982.02	c 3107
982.20	o 37662
982.20	c 3105
982.75	o 37663
982.75	c 3104
983.03	o 37665
983.03	c 3102
983.59	o 37668
983.59	c 3099
984.11	o 37670
984.11	c 3097
986.16	o 37671
986.16	c 3096
987.23	o 37672
987.23	c 3095
987.48	o 37673
987.48	c 3094
988.02	o 37674
988.02	c 3093
988.56	o 37676
988.56	c 3091
988.85	o 37677
988.85	c 3090
991.99	o 37678
991.99	c 3089
992.48	o 37681
992.48	c 3086
993.02	o 37682
993.02	c 3085
993.56	o 37683
993.56	c 3084
994.03	o 37684
994.03	c 3083
996.74	o 37686
996.74	c 3081
998.31	o 37688
998.31	c 3079
998.81	o 37691
998.81	c 3076
999.34	o 37694
999.34	c 3073
1000.39	o 37696
1000.39	c 3071
1005.54	o 37697
1005.54	c 3070
1005.92	o 37700
1005.92	c 3067
1006.46	o 37704
1006.46	c 3063
1006.99	o 37705
1006.99	c 3062
1007.52	o 37706
1007.52	c 3061
1011.78	o 37707
1011.78	c 3060
1013.38	o 37708
1013.38	c 3059
1013.92	o 37710
1013.92	c 3057
1017.92	o 37712
1017.92	c 3055
1018.48	o 37715
1018.48	c 3052
1018.87	o 37717
1018.87	c 3050
1019.42	o 37720
1019.42	c 3047
1021.06	o 37722
1021.06	c 3045
1021.61	o 37726
1021.61	c 3041
1031.02	o 37729
1031.02	c 3038
1031.59	o 37731
1031.59	c 3036
1033.73	o 37734
1033.73	c 3033
1034.26	o 37736
1034.26	c 3031
1034.82	o 37738
1034.82	c 3029
1035.37	o 37740
1035.37	c 3027
1041.70	o 37743
1041.70	c 3024
1042.25	o 37746
1042.25	c 3021
1042.68	o 37750
1042.68	c 3017
1043.22	o 37752
1043.22	c 3015
1045.95	o 37757
1045.95	c 3010
1047.63	o 37759
1047.63	c 3008
1048.18	o 37760
1048.18	c 3007
1049.88	o 37761
1049.88	c 3006
1051.03	o 37763
1051.03	c 3004
1052.73	o 37764
1052.73	c 3003
1053.26	o 37766
1053.26	c 3001
1053.83	o 37767
1053.83	c 3000
1055.73	o 37768
1055.73	c 2999
1056.81	o 37769
1056.81	c 2998
1057.37	o 37771
1057.37	c 2996
1057.85	o 37774
1057.85	c 2993
1058.40	o 37777
1058.40	c 2990
1058.90	o 37778
1058.90	c 2989
1059.43	o 37780
1059.43	c 2987
1059.63	o 37782
1059.64	c 2985
1060.19	o 37784
1060.19	c 2983
1061.25	o 37785
1061.25	c 2982
1061.77	o 37789
1061.77	c 2978
1062.05	o 37790
1062.05	c 2977
1063.08	o 37792
1063.08	c 2975
1063.56	o 37793
1063.56	c 2974
1064.61	o 37795
1064.61	c 2972
1065.13	o 37796
1065.13	c 2971
1065.65	o 37797
1065.65	c 2970
1066.17	o 37802
1066.17	c 2965
1066.67	o 37804
1066.67	c 2963
1069.26	o 37807
1069.26	c 2960
1070.34	o 37808
1070.34	c 2959
1070.77	o 37814
1070.77	c 2953
1071.05	o 37815
1071.05	c 2952
1072.08	o 37816
1072.08	c 2951
1072.60	o 37818
1072.60	c 2949
1073.11	o 37820
1073.11	c 2947
1073.62	o 37823
1073.62	c 2944
1073.80	o 37825
1073.80	c 2942
1075.85	o 37827
1075.85	c 2940
1076.54	o 37828
1076.54	c 2939
1077.06	o 37831
1077.06	c 2936
1078.10	o 37833
1078.10	c 2934
1078.64	o 37834
1078.64	c 2933
1079.18	o 37836
1079.18	c 2931
1079.72	o 37837
1079.72	c 2930
1080.25	o 37839
1080.25	c 2928
1082.25	o 37840
1082.25	c 2927
1082.66	o 37842
1082.66	c 2925
1086.44	o 37843
1086.44	c 2924
1087.00	o 37844
1087.00	c 2923
1088.09	o 37845
1088.09	c 2922
1088.63	o 37847
1088.63	c 2920
1089.20	o 37848
1089.20	c 2919
1089.75	o 37851
1089.75	c 2916
1090.32	o 37854
1090.32	c 2913
1090.89	o 37855
1090.89	c 2912
1091.90	o 37856
1091.90	c 2911
1092.45	o 37857
1092.45	c 2910
1094.13	o 37859
1094.13	c 2908
1095.74	o 37860
1095.74	c 2907
1099.43	o 37862
1099.43	c 2905
1100.01	o 37864
1100.01	c 2903
1100.58	o 37866
1100.58	c 2901
1102.24	o 37867
1102.24	c 2900
1102.80	o 37868
1102.80	c 2899
1103.35	o 37871
1103.35	c 2896
1105.03	o 37872
1105.03	c 2895
1106.74	o 37873
1106.74	c 2894
1107.30	o 37876
1107.30	c 2891
1107.84	o 37877
1107.84	c 2890
1109.98	o 37878
1109.98	c 2889
1111.13	o 37880
1111.13	c 2887
1111.69	o 37883
1111.69	c 2884
1112.13	o 37884
1112.13	c 2883
1113.25	o 37885
1113.25	c 2882
1115.49	o 37886
1115.49	c 2881
1116.70	o 37888
1116.70	c 2879
1119.61	o 37889
1119.61	c 2878
1120.18	o 37890
1120.18	c 2877
1120.77	o 37892
1120.77	c 2875
1124.00	o 37894
1124.00	c 2873
1125.44	o 37897
1125.44	c 2870
1126.44	o 37898
1126.44	c 2869
1127.03	o 37900
1127.03	c 2867
1128.20	o 37901
1128.20	c 2866
1128.77	o 37903
1128.77	c 2864
1129.88	o 37906
1129.88	c 2861
1131.00	o 37907
1131.00	c 2860
1132.75	o 37908
1132.75	c 2859
1134.53	o 37909
1134.53	c 2858
1135.42	o 37912
1135.42	c 2855
1136.03	o 37916
1136.03	c 2851
1137.22	o 37919
1137.22	c 2848
1137.81	o 37920
1137.81	c 2847
1141.12	o 37921
1141.12	c 2846
1147.73	o 37922
1147.73	c 2845
1148.63	o 37925
1148.63	c 2842
1149.75	o 37926
1149.75	c 2841
1150.90	o 37928
1150.90	c 2839
1152.62	o 37929
1152.62	c 2838
1153.63	o 37932
1153.63	c 2835
1154.23	o 37934
1154.23	c 2833
1154.81	o 37935
1154.81	c 2832
1156.00	o 37936
1156.00	c 2831
1156.60	o 37939
1156.60	c 2828
1157.18	o 37943
1157.18	c 2824
1157.28	o 37947
1157.28	c 2820
1157.88	o 37949
1157.88	c 2818
1158.48	o 37950
1158.48	c 2817
1159.06	o 37951
1159.06	c 2816
1159.65	o 37954
1159.65	c 2813
1160.23	o 37956
1160.23	c 2811
1160.83	o 37957
1160.83	c 2810
1161.44	o 37958
1161.44	c 2809
1162.42	o 37959
1162.42	c 2808
1162.73	o 37961
1162.73	c 2806
1163.15	o 37962
1163.15	c 2805
1163.77	o 37964
1163.77	c 2803
1167.92	o 37969
1167.92	c 2798
1169.67	o 37971
1169.67	c 2796
1170.28	o 37975
1170.28	c 2792
1170.80	o 37978
1170.80	c 2789
1171.38	o 37979
1171.38	c 2788
1171.97	o 37981
1171.97	c 2786
1172.55	o 37983
1172.55	c 2784
1174.30	o 37985
1174.30	c 2782
1174.89	o 37986
1174.89	c 2781
1175.47	o 37987
1175.47	c 2780
1176.07	o 37989
1176.07	c 2778
1178.31	o 37990
1178.31	c 2777
1182.18	o 37992
1182.18	c 2775
1182.72	o 37996
1182.72	c 2771
1186.48	o 37997
1186.48	c 2770
1187.03	o 38000
1187.03	c 2767
1190.32	o 38002
1190.32	c 2765
1191.41	o 38003
1191.41	c 2764
1193.59	o 38004
1193.59	c 2763
1194.13	o 38007
1194.13	c 2760
1194.69	o 38008
1194.69	c 2759
1195.25	o 38009
1195.25	c 2758
1196.88	o 38011
1196.89	c 2756
1197.44	o 38012
1197.44	c 2755
1198.00	o 38013
1198.00	c 2754
1198.58	o 38015
1198.58	c 2752
1199.09	o 38016
1199.09	c 2751
1200.75	o 38017
1200.75	c 2750
1201.88	o 38018
1201.88	c 2749
1202.44	o 38022
1202.44	c 2745
1203.00	o 38025
1203.00	c 2742
1203.58	o 38026
1203.58	c 2741
1204.13	o 38027
1204.13	c 2740
1204.69	o 38029
1204.69	c 2738
1205.24	o 38037
1205.24	c 2730
1205.67	o 38039
1205.67	c 2728
1206.22	o 38040
1206.22	c 2727
1206.78	o 38042
1206.78	c 2725
1207.31	o 38046
1207.31	c 2721
1207.85	o 38048
1207.85	c 2719
1208.43	o 38049
1208.43	c 2718
1211.73	o 38050
1211.73	c 2717
1212.28	o 38051
1212.28	c 2716
1212.86	o 38053
1212.86	c 2714
1214.01	o 38055
1214.01	c 2712
1214.60	o 38056
1214.60	c 2711
1215.17	o 38058
1215.17	c 2709
1215.74	o 38059
1215.74	c 2708
1216.08	o 38062
1216.08	c 2705
1216.50	o 38064
1216.50	c 2703
1221.09	o 38066
1221.09	c 2701
1224.39	o 38068
1224.39	c 2699
1226.08	o 38069
1226.08	c 2698
1227.15	o 38072
1227.15	c 2695
1229.17	o 38076
1229.17	c 2691
1230.84	o 38077
1230.84	c 2690
1231.41	o 38078
1231.41	c 2689
1231.95	o 38079
1231.95	c 2688
1232.48	o 38080
1232.48	c 2687
1233.03	o 38083
1233.03	c 2684
1233.50	o 38086
1233.50	c 2681
1234.63	o 38087
1234.63	c 2680
1236.88	o 38090
1236.88	c 2677
1240.23	o 38092
1240.23	c 2675
1240.78	o 38093
1240.78	c 2674
1241.34	o 38096
1241.34	c 2671
1241.86	o 38097
1241.86	c 2670
1244.10	o 38099
1244.10	c 2668
1244.52	o 38102
1244.52	c 2665
1245.07	o 38107
1245.07	c 2660
1245.33	o 38109
1245.33	c 2658
1245.76	o 38111
1245.76	c 2656
1247.41	o 38112
1247.41	c 2655
1247.98	o 38115
1247.98	c 2652
1253.00	o 38117
1253.00	c 2650
1253.49	o 38118
1253.49	c 2649
1254.07	o 38119
1254.07	c 2648
1254.63	o 38120
1254.63	c 2647
1255.75	o 38122
1255.75	c 2645
1256.87	o 38123
1256.87	c 2644
1257.45	o 38124
1257.45	c 2643
1258.02	o 38126
1258.02	c 2641
1258.56	o 38128
1258.56	c 2639
1262.48	o 38131
1262.48	c 2636
1263.03	o 38132
1263.03	c 2635
1264.11	o 38133
1264.11	c 2634
1272.43	o 38134
1272.43	c 2633
1272.81	o 38137
1272.81	c 2630
1273.41	o 38138
1273.41	c 2629
1274.01	o 38140
1274.01	c 2627
1275.20	o 38141
1275.20	c 2626
1275.78	o 38143
1275.78	c 2624
1278.06	o 38146
1278.06	c 2621
1278.56	o 38152
1278.56	c 2615
1279.13	o 38154
1279.13	c 2613
1279.73	o 38157
1279.73	c 2610
1280.30	o 38162
1280.30	c 2605
1280.89	o 38164
1280.89	c 2603
1282.59	o 38165
1282.59	c 2602
1282.83	o 38168
1282.83	c 2599
1282.99	o 38172
1282.99	c 2595
1283.25	o 38174
1283.25	c 2593
1283.77	o 38176
1283.77	c 2591
1284.36	o 38177
1284.36	c 2590
1286.88	o 38178
1286.88	c 2589
1287.04	o 38181
1287.04	c 2586
1287.28	o 38183
1287.28	c 2584
1288.24	o 38185
1288.24	c 2582
1288.77	o 38188
1288.77	c 2579
1289.75	o 38189
1289.75	c 2578
1290.34	o 38191
1290.34	c 2576
1290.91	o 38192
1290.91	c 2575
1293.22	o 38194
1293.22	c 2573
1293.81	o 38195
1293.81	c 2572
1294.37	o 38199
1294.37	c 2568
1295.31	o 38203
1295.31	c 2564
1297.03	o 38206
1297.03	c 2561
1297.59	o 38209
1297.59	c 2558
1300.74	o 38210
1300.74	c 2557
1301.33	o 38211
1301.33	c 2556
1302.84	o 38214
1302.84	c 2553
1303.42	o 38216
1303.42	c 2551
1303.98	o 38218
1303.98	c 2549
1304.54	o 38220
1304.54	c 2547
1306.86	o 38221
1306.86	c 2546
1307.44	o 38223
1307.44	c 2544
1308.04	o 38225
1308.04	c 2542
1309.23	o 38229
1309.23	c 2538
1310.73	o 38230
1310.73	c 2537
1311.30	o 38231
1311.30	c 2536
1313.61	o 38233
1313.61	c 2534
1314.19	o 38237
1314.19	c 2530
1317.64	o 38239
1317.64	c 2528
1319.32	o 38243
1319.32	c 2524
1319.86	o 38244
1319.86	c 2523
1322.22	o 38246
1322.22	c 2521
1322.81	o 38247
1322.81	c 2520
1324.63	o 38248
1324.63	c 2519
1325.25	o 38250
1325.25	c 2517
1325.87	o 38251
1325.87	c 2516
1335.79	o 38252
1335.79	c 2515
1338.81	o 38255
1338.81	c 2512
1339.30	o 38256
1339.30	c 2511
1339.91	o 38257
1339.91	c 2510
1340.50	o 38258
1340.50	c 2509
1341.09	o 38259
1341.09	c 2508
1341.68	o 38261
1341.68	c 2506
1342.27	o 38262
1342.27	c 2505
1343.43	o 38264
1343.43	c 2503
1344.97	o 38265
1344.97	c 2502
1345.55	o 38266
1345.55	c 2501
1350.18	o 38269
1350.18	c 2498
1352.14	o 38272
1352.14	c 2495
1356.01	o 38273
1356.01	c 2494
1356.58	o 38274
1356.58	c 2493
1357.00	o 38275
1357.00	c 2492
1363.38	o 38277
1363.38	c 2490
1364.53	o 38279
1364.53	c 2488
1369.06	o 38280
1369.06	c 2487
1369.66	o 38283
1369.66	c 2484
1375.16	o 38284
1375.16	c 2483
1375.75	o 38285
1375.75	c 2482
1376.32	o 38288
1376.32	c 2479
1376.89	o 38289
1376.89	c 2478
1381.85	o 38290
1381.85	c 2477
1382.41	o 38293
1382.41	c 2474
1383.00	o 38294
1383.00	c 2473
1389.84	o 38298
1389.84	c 2469
1390.10	o 38303
1390.10	c 2464
1392.96	o 38304
1392.96	c 2463
1393.57	o 38307
1393.57	c 2460
1395.17	o 38310
1395.17	c 2457
1396.92	o 38312
1396.92	c 2455
1397.52	o 38315
1397.52	c 2452
1398.71	o 38318
1398.71	c 2449
1399.88	o 38321
1399.88	c 2446
1400.46	o 38324
1400.46	c 2443
1401.05	o 38325
1401.05	c 2442
1405.96	o 38329
1405.96	c 2438
1406.52	o 38330
1406.52	c 2437
1407.09	o 38331
1407.09	c 2436
1407.64	o 38334
1407.64	c 2433
1408.21	o 38337
1408.21	c 2430
1409.36	o 38339
1409.36	c 2428
1410.52	o 38340
1410.52	c 2427
1411.10	o 38343
1411.10	c 2424
1412.28	o 38344
1412.28	c 2423
1412.87	o 38346
1412.87	c 2421
1423.71	o 38347
1423.71	c 2420
1424.30	o 38350
1424.30	c 2417
1425.97	o 38351
1425.97	c 2416
1429.45	o 38353
1429.45	c 2414
1430.05	o 38354
1430.05	c 2413
1430.64	o 38355
1430.64	c 2412
1430.89	o 38356
1430.89	c 2411
1436.62	o 38358
1436.62	c 2409
1437.82	o 38361
1437.82	c 2406
1438.45	o 38362
1438.45	c 2405
1441.47	o 38364
1441.47	c 2403
1448.21	o 38365
1448.21	c 2402
1448.51	o 38367
1448.51	c 2400
1449.13	o 38371
1449.13	c 2396
1452.01	o 38374
1452.01	c 2393
1458.02	o 38376
1458.02	c 2391
1459.26	o 38377
1459.26	c 2390
1459.82	o 38378
1459.82	c 2389
1461.64	o 38380
1461.64	c 2387
1462.26	o 38381
1462.26	c 2386
1462.87	o 38383
1462.87	c 2384
1463.45	o 38385
1463.45	c 2382
1464.45	o 38387
1464.45	c 2380
1465.05	o 38390
1465.05	c 2377
1465.68	o 38391
1465.68	c 2376
1469.55	o 38392
1469.55	c 2375
1470.14	o 38393
1470.14	c 2374
1471.77	o 38395
1471.77	c 2372
1471.96	o 38399
1471.96	c 2368
1473.77	o 38400
1473.77	c 2367
1481.34	o 38401
1481.34	c 2366
1481.92	o 38403
1481.92	c 2364
1494.27	o 38405
1494.27	c 2362
1500.67	o 38407
1500.67	c 2360
1501.23	o 38409
1501.23	c 2358
1504.46	o 38411
1504.46	c 2356
1505.55	o 38412
1505.55	c 2355
1506.12	o 38413
1506.12	c 2354
1523.91	o 38414
1523.91	c 2353
1525.19	o 38417
1525.19	c 2350
1525.76	o 38418
1525.76	c 2349
1525.99	o 38420
1525.99	c 2347
1526.58	o 38421
1526.58	c 2346
1527.74	o 38424
1527.74	c 2343
1528.32	o 38425
1528.32	c 2342
1528.92	o 38426
1528.92	c 2341
1531.25	o 38428
1531.25	c 2339
1534.21	o 38430
1534.21	c 2337
1547.20	o 38431
1547.20	c 2336
1547.81	o 38432
1547.81	c 2335
1549.11	o 38433
1549.11	c 2334
1552.93	o 38434
1552.93	c 2333
1553.59	o 38438
1553.59	c 2329
1554.26	o 38439
1554.26	c 2328
1555.32	o 38441
1555.32	c 2326
1555.98	o 38443
1555.98	c 2324
1558.45	o 38444
1558.45	c 2323
1561.68	o 38445
1561.68	c 2322
1562.33	o 38446
1562.33	c 2321
1563.46	o 38447
1563.46	c 2320
1564.12	o 38448
1564.12	c 2319
1564.76	o 38449
1564.76	c 2318
1564.99	o 38451
1564.99	c 2316
1565.64	o 38452
1565.64	c 2315
1566.29	o 38453
1566.29	c 2314
1566.94	o 38455
1566.94	c 2312
1567.29	o 38463
1567.29	c 2304
1567.83	o 38466
1567.83	c 2301
1568.42	o 38469
1568.42	c 2298
1570.38	o 38470
1570.38	c 2297
1571.70	o 38472
1571.70	c 2295
1573.60	o 38473
1573.60	c 2294
1584.90	o 38474
1584.90	c 2293
1585.27	o 38476
1585.27	c 2291
1585.93	o 38480
1585.93	c 2287
1586.62	o 38482
1586.62	c 2285
1591.68	o 38483
1591.69	c 2284
1592.38	o 38485
1592.38	c 2282
1593.78	o 38486
1593.78	c 2281
1594.47	o 38487
1594.47	c 2280
1595.44	o 38489
1595.44	c 2278
1597.29	o 38490
1597.29	c 2277
1597.98	o 38493
1597.98	c 2274
1598.65	o 38494
1598.65	c 2273
1600.66	o 38495
1600.66	c 2272
1602.68	o 38497
1602.69	c 2270
1603.38	o 38499
1603.38	c 2268
1604.03	o 38501
1604.03	c 2266
1604.70	o 38506
1604.70	c 2261
1605.08	o 38508
1605.08	c 2259
1606.55	o 38513
1606.55	c 2254
1616.64	o 38514
1616.64	c 2253
1617.29	o 38519
1617.29	c 2248
1617.93	o 38521
1617.93	c 2246
1619.85	o 38522
1619.85	c 2245
1625.01	o 38524
1625.01	c 2243
1648.62	o 38525
1648.62	c 2242
1649.32	o 38526
1649.32	c 2241
1650.01	o 38527
1650.01	c 2240
1654.59	o 38528
1654.59	c 2239
1684.51	o 38531
1684.51	c 2236
1685.21	o 38534
1685.21	c 2233
1685.89	o 38535
1685.89	c 2232
1687.29	o 38536
1687.29	c 2231
1687.71	o 38538
1687.71	c 2229
1689.82	o 38539
1689.82	c 2228
1690.52	o 38541
1690.52	c 2226
1691.21	o 38544
1691.21	c 2223
1693.30	o 38545
1693.30	c 2222
1705.21	o 38547
1705.21	c 2220
1705.92	o 38548
1705.92	c 2219
1708.74	o 38549
1708.74	c 2218
1709.47	o 38550
1709.47	c 2217
1710.20	o 38553
1710.20	c 2214
1711.63	o 38554
1711.63	c 2213
1712.36	o 38559
1712.36	c 2208
1713.00	o 38560
1713.00	c 2207
1713.74	o 38562
1713.74	c 2205
1715.86	o 38563
1715.86	c 2204
1717.18	o 38564
1717.18	c 2203
1718.62	o 38565
1718.62	c 2202
1720.06	o 38566
1720.06	c 2201
1721.36	o 38567
1721.36	c 2200
1727.20	o 38569
1727.20	c 2198
1727.90	o 38571
1727.90	c 2196
1730.78	o 38572
1730.78	c 2195
1734.40	o 38573
1734.40	c 2194
1735.84	o 38574
1735.84	c 2193
1740.81	o 38575
1740.81	c 2192
1741.53	o 38577
1741.53	c 2190
1746.20	o 38578
1746.20	c 2189
1746.23	o 38580
1746.23	c 2187
1746.94	o 38581
1746.94	c 2186
1748.39	o 38584
1748.39	c 2183
1749.10	o 38586
1749.10	c 2181
1749.86	o 38587
1749.86	c 2180
1751.11	o 38592
1751.11	c 2175
1756.86	o 38593
1756.86	c 2174
1759.02	o 38594
1759.02	c 2173
1759.57	o 38595
1759.57	c 2172
1760.28	o 38596
1760.28	c 2171
1760.82	o 38598
1760.82	c 2169
1762.26	o 38599
1762.26	c 2168
1763.00	o 38600
1763.00	c 2167
1765.16	o 38601
1765.16	c 2166
1765.88	o 38602
1765.88	c 2165
1768.69	o 38605
1768.69	c 2162
1769.44	o 38607
1769.44	c 2160
1779.13	o 38608
1779.13	c 2159
1779.89	o 38610
1779.89	c 2157
1780.64	o 38611
1780.64	c 2156
1781.39	o 38615
1781.39	c 2152
1790.43	o 38616
1790.43	c 2151
1790.87	o 38618
1790.87	c 2149
1791.62	o 38620
1791.62	c 2147
1792.31	o 38622
1792.31	c 2145
1793.07	o 38623
1793.07	c 2144
1793.78	o 38624
1793.78	c 2143
1794.52	o 38627
1794.52	c 2140
1809.40	o 38629
1809.40	c 2138
1809.92	o 38631
1809.92	c 2136
1810.51	o 38632
1810.51	c 2135
1811.27	o 38633
1811.27	c 2134
1812.04	o 38635
1812.04	c 2132
1815.88	o 38636
1815.88	c 2131
1816.65	o 38640
1816.65	c 2127
1817.42	o 38642
1817.42	c 2125
1818.98	o 38643
1818.98	c 2124
1819.75	o 38644
1819.75	c 2123
1820.52	o 38645
1820.52	c 2122
1821.05	o 38647
1821.05	c 2120
1823.18	o 38648
1823.18	c 2119
1823.95	o 38651
1823.95	c 2116
1824.71	o 38653
1824.71	c 2114
1825.50	o 38656
1825.50	c 2111
1826.28	o 38658
1826.28	c 2109
1832.50	o 38659
1832.50	c 2108
1833.31	o 38660
1833.31	c 2107
1834.13	o 38661
1834.13	c 2106
1836.56	o 38664
1836.56	c 2103
1838.19	o 38665
1838.19	c 2102
1838.88	o 38666
1838.88	c 2101
1839.66	o 38667
1839.66	c 2100
1851.43	o 38670
1851.43	c 2097
1853.67	o 38671
1853.67	c 2096
1854.46	o 38672
1854.46	c 2095
1855.25	o 38680
1855.25	c 2087
1856.83	o 38681
1856.83	c 2086
1863.80	o 38682
1863.80	c 2085
1873.50	o 38683
1873.50	c 2084
1875.10	o 38685
1875.10	c 2082
1879.38	o 38687
1879.38	c 2080
1880.16	o 38691
1880.16	c 2076
1884.82	o 38692
1884.82	c 2075
1886.40	o 38694
1886.40	c 2073
1887.96	o 38696
1887.96	c 2071
1888.74	o 38697
1888.74	c 2070
1889.53	o 38698
1889.53	c 2069
1890.31	o 38701
1890.31	c 2066
1891.90	o 38703
1891.90	c 2064
1892.69	o 38705
1892.69	c 2062
1893.24	o 38708
1893.24	c 2059
1897.91	o 38710
1897.91	c 2057
1898.56	o 38711
1898.56	c 2056
1900.85	o 38712
1900.85	c 2055
1901.61	o 38713
1901.61	c 2054
1903.92	o 38714
1903.92	c 2053
1904.68	o 38716
1904.68	c 2051
1905.43	o 38717
1905.43	c 2050
1907.70	o 38718
1907.70	c 2049
1910.00	o 38719
1910.00	c 2048
1910.77	o 38720
1910.77	c 2047
1911.53	o 38722
1911.53	c 2045
1914.66	o 38725
1914.66	c 2042
1916.70	o 38728
1916.70	c 2039
1917.47	o 38730
1917.47	c 2037
1918.26	o 38733
1918.26	c 2034
1919.69	o 38736
1919.69	c 2031
1921.79	o 38737
1921.79	c 2030
1922.56	o 38738
1922.56	c 2029
1924.83	o 38739
1924.83	c 2028
1925.50	o 38741
1925.50	c 2026
1926.96	o 38742
1926.96	c 2025
1927.70	o 38745
1927.70	c 2022
1929.21	o 38747
1929.21	c 2020
1930.76	o 38748
1930.76	c 2019
1931.95	o 38751
1931.95	c 2016
1932.34	o 38754
1932.34	c 2013
1933.81	o 38757
1933.81	c 2010
1934.58	o 38758
1934.58	c 2009
1935.93	o 38759
1935.93	c 2008
1938.09	o 38760
1938.09	c 2007
1938.86	o 38761
1938.86	c 2006
1944.14	o 38762
1944.14	c 2005
1944.91	o 38764
1944.91	c 2003
1945.66	o 38765
1945.66	c 2002
1946.38	o 38766
1946.38	c 2001
1949.30	o 38768
1949.30	c 1999
1950.07	o 38769
1950.07	c 1998
1950.85	o 38770
1950.85	c 1997
1951.62	o 38771
1951.62	c 1996
1952.39	o 38773
1952.39	c 1994
1953.17	o 38774
1953.17	c 1993
1955.25	o 38775
1955.25	c 1992
1956.29	o 38778
1956.29	c 1989
1957.80	o 38779
1957.80	c 1988
1960.83	o 38780
1960.83	c 1987
1963.62	o 38781
1963.62	c 1986
1975.20	o 38782
1975.20	c 1985
1975.98	o 38784
1975.98	c 1983
1976.76	o 38785
1976.76	c 1982
1977.55	o 38788
1977.55	c 1979
1978.34	o 38790
1978.34	c 1977
1979.86	o 38791
1979.86	c 1976
1982.18	o 38792
1982.18	c 1975
1982.97	o 38796
1982.97	c 1971
1984.50	o 38797
1984.50	c 1970
2012.92	o 38798
2012.92	c 1969
2013.62	o 38800
2013.62	c 1967
2014.44	o 38802
2014.44	c 1965
2016.08	o 38803
2016.08	c 1964
2019.86	o 38805
2019.86	c 1962
2028.80	o 38807
2028.80	c 1960
2029.62	o 38808
2029.62	c 1959
2035.54	o 38809
2035.54	c 1958
2042.41	o 38810
2042.41	c 1957
2043.20	o 38812
2043.20	c 1955
2045.36	o 38813
2045.36	c 1954
2046.93	o 38814
2046.93	c 1953
2048.58	o 38815
2048.58	c 1952
2049.41	o 38816
2049.41	c 1951
2050.19	o 38817
2050.19	c 1950
2050.97	o 38819
2050.97	c 1948
2051.45	o 38821
2051.45	c 1946
2052.27	o 38822
2052.27	c 1945
2053.81	o 38824
2053.81	c 1943
2062.32	o 38825
2062.32	c 1942
2063.14	o 38826
2063.14	c 1941
2066.47	o 38828
2066.47	c 1939
2067.64	o 38830
2067.64	c 1937
2068.46	o 38831
2068.46	c 1936
2069.14	o 38832
2069.14	c 1935
2072.49	o 38833
2072.49	c 1934
2074.15	o 38834
2074.15	c 1933
2075.00	o 38835
2075.00	c 1932
2076.69	o 38836
2076.69	c 1931
2079.19	o 38837
2079.19	c 1930
2080.02	o 38839
2080.02	c 1928
2080.50	o 38843
2080.50	c 1924
2093.23	o 38844
2093.23	c 1923
2102.09	o 38845
2102.09	c 1922
2102.90	o 38847
2102.90	c 1920
2133.80	   
2133.80	   search
2133.80	     run=0  nbConstraintChecks=4960838610  nbAssignments=5149
2133.80	       =>  wckTime=2069.926  cpuTime=2058.4  mem=87M67
2133.80	   
2133.81	   global
2133.81	     nbConstraintChecks=4960838610  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2133.81	     solvingWckTime=2069.905  solvingCpuTime=2058.39  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2133.81	     globalCpuTime=2120.19
2133.81	       =>  wckTime=2133.482  cpuTime=2120.13  mem=87M67
2133.81	   
2133.81	   solver IterativeSystematicSolver being built... 
2134.77	       =>  wckTime=2134.445  cpuTime=2120.67  mem=242M48
2267.36	   
2267.36	   preprocessing
2267.36	     nbConstraintChecks=311228324  nbValidityChecks=1251863  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2267.36	     nbRemovedValues=0  detectedInconsistency=no
2267.36	       =>  wckTime=132.583  cpuTime=131.86  mem=242M48
2413.57	v 2376 -2036 2588 -2664 2092 -2140 -2084 2296 -2692 -2088 -2660 -2020 -2608 2112 -2608 2632 -2596 -2560 2700 -2060 -2060 2416 2412 -2676 2424 -2316 2620 -2460 -2452 2120 2444 -2684 -2060 -2208 2512 -2740 -2528 -2020 2492 2044 -2696 -2060 2524 2232 2620 2660 2740 -2088 -2500 -2252 -2100 2484 2588 2568 2296 -2020 2712 2416 2628 -2256 2248 2604 -2568 2184 2252 2700 2740 -2684 2060 -2500 -2724 -2620 2144 2556 2400 -2676 -2032 2068 2028 2620 -2696 -2648 2660 -2420 2624 2404 2108 2512 2736 2304 -2060 2728 2516 -2628 -2628 2636 2404 2096 -2024 -2632 2324 2364 -2292 -2720 2036 -2500 2656 2472 2616 2048 -2060 -2700 2072 -2104 2248 2408 -2052 -2588 -2716 -2060 2716 2204 2424 -2648 2348 2484 -2324 -2656 -2028 2544 -2524 -2696 -2092 -2264 -2176 2020 2688 2616 2440 2020 -2644 2688 -2636 2536 -2024 2640 -2724 -2024 2568 2248 -2080 -2416 -2408 2268 2340 2468 -2032 2736 2700 2400 -2296 2596 2092 2612 2720 -2064 -2412 2448 2732 -2728 -2204 -2224 -2020 2740 -2152 -2408 2268 2432 -2696 2020 -2688 -2652 -2172 -2664 2412 -2400 2152 -2488 -2344 -2316 2716 -2024 -2628 -2160 -2672 2588 2172 2224 -2116 -2196 -2688 -2652 2460 -2740 2176 -2020 -2648 -2676 2020 -2020 2588 -2572 2020 -2280 -2380 -2516 -2580 2100 -2516 2032 -2288 2656 2516 2620 -2024 -2540 -2148 -2684 -2044 2540 -2528 -2532 -2448 2172 -2736 -2036 -2020 -2036 2740 2692 -2356 -2660 -2344 2220 -2112 -2700 -2364 2436 2668 -2564 -2512 2300 2548 2400 -2448 2724 -2220 -2176 -2544 2304 2412 2116 2444 -2328 -2084 2584 -2712 -2432 2332 -2532 2396 -2064 -2460 2728 -2132 -2084 -2504 2060 -2664 2684 -2020 2536 2076 -2068 -2736 2596 2600 2692 2448 -2536 -2020 -2676 2580 2464 -2544 2560 -2572 2352 -2024 -2348 -2592 2092 2600 -2428 2068 -2376 2648 2356 -2020 -2248 2700 2720 2044 -2736 2700 2508 2372 -2084 -2396 2468 2556 -2624 -2180 -2124 -2348 -2060 2436 2612 -2564 2684 2348 2344 -2268 -2656 2028 2452 -2628 -2308 -2640 -2520 -2664 -2684 -2536 -2532 2196 2024 2684 -2072 2436 2380 -2324 2608 -2524 2300 -2416 2712 2140 -2672 -2656 -2172 2624 2280 -2132 2620 -2472 -2660 -2492 -2148 2724 -2076 -2220 2688 2584 2704 -2724 -2676 -2736 2516 -2056 2496 2168 2460 2388 -2268 2524 -2076 2120 2216 2148 2308 2344 -2620 -2660 -2424 -2668 2688 -2444 -2740 2196 2100 -2536 -2728 2360 -2360 -2704 -2520 -2340 2624 -2480 -2612 -2028 -2176 2492 2404 -2740 -2212 -2604 2308 -2188 2212 2680 -2492 2064 -2716 2208 2492 -2628 -2704 -2316 -2244 2664 2200 -2292 -2632 -2520 2316 -2708 -2716 2740 2700 -2100 -2488 2068 2356 -2624 2068 2020 -2460 -2024 2640 2180 2732 2300 2632 -2292 -2652 -2632 -2580 2452 -2120 2140 2684 -2176 -2200 2032 2576 -2356 2028 2112 -2256 -2304 -2500 -2736 2328 2240 2536 2088 2220 -2388 -2676 2024 2452 -2060 -2732 2072 2060 2600 -2492 -2692 2444 2420 -2164 -2552 2108 2224 -2028 2024 2300 2568 2224 -2064 -2556 -2092 -2020 2124 -2496 -2060 -2584 2232 2624 2248 2188 -2636 2064 -2020 -2080 -2592 2444 2108 -2480 2028 2428 2320 -2572 2416 -2692 2188 -2140 -2556 2588 -2288 -2256 2732 2444 -2064 -2156 2504 2344 -2696 2060 -2024 -2720 2544 2696 2348 2420 2628 2228 -2160 2728 -2024 -2460 2368 -2064 2296 -2448 -2484 2240 2712 -2028 2700 -2212 2372 2696 -2020 -2116 -2024 2064 -2168 2700 2288 -2192 -2156 2544 -2180 2728 2512 -2172 2148 2180 -2216 -2412 -2560 2372 2696 -2264 2248 2292 2468 2020 2316 -2040 2692 2252 -2484 2068 2536 -2628 2636 -2452 2588 -2188 -2320 2588 -2024 2208 -2740 2740 -2028 2452 2480 -2024 2372 -2060 2356 2532 -2068 -2028 2428 -2276 2656 -2344 2624 2608 -2636 2304 -2172 -2264 -2248 -2376 2740 2404 2032 2652 -2284 -2500 2532 2640 -2676 2568 2412 2076 2112 -2272 2672 2624 -2696 -2668 -2568 2564 -2580 2740 -2572 -2060 -2384 -2536 -2252 2416 -2096 2120 -2660 2644 2464 -2028 -2628 2192 2304 2284 2696 -2036 2700 -2244 2328 -2712 2340 -2568 2044 2540 -2524 -2060 2228 2720 -2556 2324 2740 -2132 2220 -2256 2100 2276 -2636 2696 2380 2724 -2100 2692 2060 2740 -2688 2412 2740 2256 -2188 2040 2516 2184 -2104 2724 2524 2084 2324 -2528 2132 2356 2124 2528 2212 2736 -2296 -2060 2632 2320 -2648 -2356 2692 2736 -2640 -2020 2216 2408 -2284 -2456 2208 2500 2680 2616 -2200 2448 -2700 -2728 -2740 2488 2060 -2024 2696 -2312 2068 -2700 2204 -2692 2020 2628 2416 -2028 2020 -2136 2232 2500 2240 2592 -2092 -2128 -2204 -2728 -2212 -2508 -2032 2640 -2036 2680 2044 -2052 -2436 2320 2624 2388 -2444 -2608 2216 2700 2268 2580 2064 2684 -2092 2084 2100 -2020 -2348 2692 -2720 -2644 2564 -2504 2572 2376 2592 -2696 -2440 2704 -2436 2376 -2068 2736 -2604 2628 -2340 2392 -2064 2212 -2228 2068 2476 2428 2212 -2100 -2236 2740 2276 2080 -2672 -2484 -2732 2568 2356 -2116 -2168 2412 -2140 -2508 -2604 -2516 -2660 -2276 2240 -2116 -2436 2676 2196 2352 2584 2596 -2272 -2740 2696 2432 -2040 2608 2148 2380 2024 -2604 -2032 -2656 2632 2216 2368 2656 -2504 2028 2296 -2684 2036 -2696 2436 -2536 2724 2492 2404 2032 2524 -2668 -2360 2400 -2532 -2068 2740 -2024 2060 -2496 -2588 -2724 -2032 2336 -2440 -2312 2604 -2696 -2260 -2200 2508 -2200 -2240 2068 -2608 -2360 2724 2020 2332 2676 -2576 2108 2048 -2728 -2068 2376 -2524 -2088 -2160 -2024 2348 2604 2500 2728 2540 -2680 2084 2432 -2024 -2648 -2028 -2528 2700 -2732 2708 -2668 2540 2332 -2628 -2424 -2552 2060 2688 -2136 -2380 2168 -2208 -2604 -2684 -2220 -2060 2680 2208 2700 -2048 2680 -2644 2404 -2620 2104 2676 2072 -2656 -2708 2152 -2700 -2108 2112 -2192 -2084 -2696 2060 -2348 -2716 2144 2380 2064 -2300 -2336 2716 -2332 -2688 -2296 2660 -2484 2588 -2592 2172 -2444 -2488 -2232 2456 -2736 2364 2092 -2536 -2140 -2284 -2420 2628 -2636 2264 2080 -2716 2740 -2724 -2560 2356 -2724 2652 -2256 2376 2728 -2448 2020 -2676 -2480 2736 -2692 2236 2252 -2216 2556 -2732 2728 -2184 -2632 -2224 2156 -2068 2332 -2564 -2700 2028 -2256 2692 2724 -2196 -2452 2428 -2724 2092 2064 2680 -2528 2096 2416 -2452 2348 -2400 2020 2284 2060 2276 2728 -2020 2440 2688 -2684 -2492 -2060 -2020 2600 -2492 -2320 2736 2724 -2620 -2664 2036 2548 2672 2316 -2700 2636 2656 2024 -2208 2728 2504 -2172 -2244 2020 2172 -2700 2328 -2024 -2072 -2216 -2356 2608 2120 -2640 2676 -2148 2696 2404 2428 2264 2708 -2060 -2212 -2688 2700 -2644 2328 2740 -2632 -2464 -2420 -2024 -2532 -2236 -2680 -2468 2172 -2028 -2212 -2100 -2276 2172 -2028 2540 -2612 2292 -2476 2564 2280 2632 2068 2176 2684 -2612 -2092 -2588 -2740 2020 2060 2564 2344 -2076 2308 -2720 -2716 -2608 2120 -2416 2060 -2056 2076 -2672 2376 -2324 -2572 2484 2136 2300 -2088 2156 2660 2612 -2080 2224 2620 2216 -2720 -2060 -2356 -2688 2468 2424 2048 -2628 2636 -2412 2436 2376 2660 -2508 2348 2464 2620 2404 -2364 -2592 -2616 -2436 2060 2588 2080 -2664 -2700 -2500 2620 2700 -2472 2708 2592 2520 -2684 -2596 -2544 2696 -2172 2420 -2464 -2596 2700 2668 2020 -2236 -2512 2580 -2712 -2640 2396 2064 2156 -2708 2028 -2476 2496 2180 2024 2532 2376 2260 -2328 -2684 2208 2728 2736 -2684 -2408 -2712 -2116 -2700 -2284 -2580 2608 2408 2412 -2696 2692 -2640 2288 -2176 -2268 2700 -2668 -2060 -2700 -2456 -2324 -2568 2044 -2740 -2184 -2496 2228 -2184 -2588 2048 -2368 2028 -2664 2736 -2404 -2040 2064 2740 -2252 -2680 -2532 -2060 2664 2256 -2580 -2020 -2036 2036 2444 2396 -2428 -2348 -2368 -2660 -2420 2188 -2020 2228 -2176 -2404 2616 -2224 2224 -2500 -2444 2640 2060 -2288 2632 2584 -2220 2504 2020 -2596 2360 -2440 2380 -2060 -2588 -2552 2484 2084 2060 2688 -2156 -2140 2688 -2716 2440 -2272 -2576 2020 -2024 2412 -2028 2268 2080 2548 -2328 2104 -2608 -2252 2340 2592 -2740 -2124 2556 -2736 2160 2240 -2384 2412 2456 -2124 -2252 2108 2076 -2020 -2068 2732 -2264 2216 -2072 -2636 -2368 -2248 2560 -2332 -2356 2312 -2592 -2452 2060 -2644 2060 2724 2468 -2680 2460 -2692 -2436 2040 -2396 2444 2628 2512 2736 -2720 2172 -2576 2068 -2144 2192 -2336 -2592 2412 -2376 -2580 2076 2400 2060 -2668 2728 2192 2364 -2020 -2072 -2728 -2344 -2580 -2452 2288 -2204 -2276 2528 2696 -2376 -2020 2068 2740 -2340 2680 -2564 -2452 2616 -2196 2156 2384 2040 -2676 -2032 -2428 2020 2456 -2732 2728 2604 -2712 2388 -2724 -2740 2372 -2020 2292 2696 -2192 2692 2060 2284 2664 2048 2356 -2736 -2084 -2300 2324 -2404 2532 2076 -2256 -2340 -2316 -2164 2516 2524 -2592 -2584 2076 -2704 2432 2144 -2176 2716 2616 -2644 2576 -2596 2636 2680 -2444 2244 -2732 2372 -2212 2068 -2020 -2328 2488 2632 -2516 -2692 -2028 -2440 2648 2548 2700 2112 -2496 2200 2552 2324 -2692 -2740 2144 -2684 2596 2076 -2700 -2304 -2672 2180 2028 2080 2060 2688 -2492 -2576 -2692 2204 -2160 -2436 2660 2336 -2360 2600 2292 2100 2436 -2140 -2572 -2244 2448 2668 -2664 -2340 2024 -2576 -2628 2736 2352 -2160 2700 -2304 -2388 2132 2696 2672 2108 -2028 2156 -2588 -2584 -2696 -2656 2704 2660 -2616 -2212 -2680 2672 2212 -2484 2120 -2656 2720 -2460 2388 -2556 -2728 -2668 -2456 2244 2176 2400 2520 2080 -2060 2696 -2092 -2288 -2072 -2376 -2172 -2240 2524 -2020 2592 2616 2728 -2704 -2212 -2416 2724 -2716 -2484 -2084 -2732 -2444 2260 -2024 -2364 2576 -2536 -2740 2736 2676 -2352 2720 -2704 -2352 2132 -2736 -2488 -2684 2736 2264 -2308 -2580 2384 2260 2724 -2404 2692 -2684 -2340 2464 -2160 2564 -2560 -2076 2700 -2496 -2136 -2196 2020 2464 -2600 2272 2700 2032 2680 -2740 2452 -2680 -2020 2608 -2224 -2416 -2528 -2732 -2024 2440 2396 2676 2360 2204 2584 2696 2604 2092 2064 -2232 -2060 -2020 2660 2640 -2260 -2256 2356 2664 -2200 -2240 -2376 -2656 -2036 -2620 -2632 -2216 -2368 2036 2128 -2096 2340 2380 2540 2108 -2428 2060 2260 -2316 -2260 2660 -2060 2700 -2604 2724 -2240 -2308 -2700 2104 -2252 2608 -2440 -2228 2728 2124 2740 -2168 -2256 -2028 -2572 2584 2444 2452 -2516 2148 -2084 -2676 -2024 -2404 2616 -2372 2076 -2732 -2464 -2576 -2696 -2308 -2544 -2368 -2228 2164 -2536 -2688 2064 -2216 2020 2340 2684 -2720 -2200 -2280 -2080 -2516 2060 2692 -2732 -2256 -2656 2288 -2060 -2536 2104 2664 -2308 2728 -2024 2552 -2296 -2408 2396 -2452 -2064 -2740 2536 2720 2088 -2176 2440 -2020 2464 -2308 -2740 2684 -2384 -2280 2232 2072 2688 -2040 2172 2384 2424 2404 -2368 -2028 2152 2180 -2444 -2148 -2572 2616 -2072 -2728 -2060 2316 -2516 -2220 -2540 2256 -2072 2452 2640 -2132 2736 -2380 2596 -2020 -2068 2732 -2092 2064 2588 2552 2736 -2736 -2384 -2504 2692 -2080 -2068 -2076 -2320 2272 -2060 2308 -2580 2044 -2280 -2160 -2068 -2664 2632 2172 2728 2220 -2316 2648 2684 2040 2580 2116 -2148 2152 2676 -2096 2736 2724 2136 -2576 2020 -2472 2668 -2188 2732 2020 2040 -2400 -2484 -2456 2336 2260 2612 -2020 2100 2280 -2024 -2564 -2284 -2464 -2592 2368 -2460 -2020 2724 2696 -2140 -2636 2132 -2568 -2040 2440 2564 -2692 2364 2676 2740 -2648 -2176 2364 2336 2476 -2688 -2588 -2052 -2484 -2264 -2572 2540 2168 2632 2704 2028 -2236 2700 2400 -2020 2040 -2556 -2740 2692 -2704 -2660 2636 2040 2328 2548 -2268 -2368 -2344 2020 -2424 2608 -2624 2612 2684 2548 2060 2640 -2668 -2624 2152 -2680 -2060 -2032 -2712 -2632 -2572 2416 -2328 2176 -2364 -2576 -2132 2036 2660 -2088 -2024 2252 -2376 -2272 -2320 -2552 -2296 2072 2496 -2512 -2312 -2656 -2392 -2616 2028 2100 2100 -2548 -2676 2740 2580 -2652 -2368 2596 -2580 -2700 2456 2732 -2020 2068 -2524 -2060 -2024 -2528 -2132 -2700 2068 -2244 -2292 2672 2132 -2484 2032 2648 2188 -2616 2696 -2032 2372 -2164 2136 2256 -2496 2596 2692 -2064 -2036 -2688 2688 2668 2396 -2708 2456 2656 2720 -2684 2024 -2404 -2276 -2548 2020 -2248 -2076 -2584 -2164 -2736 2176 2148 2080 -2488 -2668 -2120 -2192 2060 -2096 -2476 2688 2664 -2196 -2504 -2592 2652 -2148 -2572 -2364 -2572 2524 -2252 2624 -2580 2336 -2076 -2336 2508 -2088 -2068 2460 -2060 -2592 -2560 -2552 2060 2712 -2640 2680 -2020 2700 2060 -2068 -2572 2172 2444 2072 -2396 2576 2044 -2028 -2636 -2068 2136 -2576 -2480 2160 -2028 -2260 -2176 -2724 -2312 -2088 2732 2300 -2532 -2548 -2612 2516 -2400 2376 -2352 -2096 -2396 2664 -2204 2172 2700 2224 -2612 2696 2484 -2480 -2572 -2276 2020 -2056 -2716 2316 2592 2696 -2396 -2656 2212 2024 2672 -2444 2132 -2024 -2148 2472 -2100 2172 -2136 -2064 2312 2740 2376 -2384 -2064 -2316 2268 -2680 2540 2180 -2064 2480 -2136 2404 2604 -2572 2452 -2492 2168 -2020 2440 2264 -2592 -2104 2444 2072 2580 -2072 -2020 2060 -2144 2236 2068 -2556 -2700 2248 2112 -2508 -2616 -2292 2708 -2360 2620 -2476 -2700 -2620 -2628 -2472 -2316 -2136 2556 -2260 2600 -2132 2068 -2616 2188 -2580 2028 2740 2628 -2208 2484 2268 -2276 -2416 2276 -2460 -2528 -2064 2564 -2516 2076 -2172 -2368 2300 2020 2076 -2400 2176 2068 -2060 2564 -2732 2576 -2672 -2600 -2636 -2576 -2548 -2048 2564 2512 2364 -2156 -2132 2492 2112 2380 2692 -2020 2356 2136 -2080 -2700 2192 -2136 -2244 2048 -2452 2324 -2020 -2204 2700 -2620 2672 -2672 2312 -2032 -2632 -2512 2336 2632 -2080 2060 2508 2388 -2408 -2180 -2492 2684 2732 2624 -2552 2036 2696 -2604 2480 -2640 2732 2472 2060 -2052 -2696 -2052 -2700 -2344 2624 -2468 -2596 -2420 2696 -2064 2072 2228 2736 -2488 2736 2276 -2580 2456 -2596 -2064 2588 2088 -2332 -2660 -2284 2196 2396 2672 -2572 -2456 2720 2328 2396 2168 2564 2164 -2152 2620 -2336 2368 -2036 -2692 2144 -2188 2212 2020 2332 -2664 2036 2700 -2660 2028 2700 -2224 -2532 -2636 -2584 2308 2360 -2740 2240 -2028 2616 2332 2700 -2736 2264 2688 -2060 -2484 -2720 2628 -2688 2660 2668 -2684 2604 2376 2052 2540 -2092 -2024 2288 2212 -2052 -2700 -2732 -2108 2256 -2572 2024 2072 2120 2124 -2740 -2672 2364 2064 2636 2176 -2024 -2696 -2636 -2304 2136 2556 -2680 -2236 2200 -2036 -2028 2028 -2080 -2080 -2288 -2504 2408 2096 -2732 -2328 -2252 2192 2592 2452 2228 2476 -2496 -2736 2408 2688 -2508 -2044 2696 2060 2028 2360 2024 2724 -2536 2532 2064 2708 -2116 -2628 -2504 2612 -2700 2520 -2280 -2304 -2140 2244 2468 -2140 -2716 2716 -2232 -2084 -2408 -2288 2336 2532 2236 2456 -2192 2640 2560 -2288 -2548 2668 2732 2656 2492 2056 -2396 -2644 2508 -2740 2452 2184 -2164 -2040 -2028 -2624 2468 2612 2228 -2680 -2108 -2316 2116 2600 -2700 2724 2020 -2552 -2252 2704 2216 -2020 2652 2700 2444 -2568 2580 -2496 -2068 -2180 -2724 -2592 -2732 -2400 -2204 2700 2164 2120 2208 -2028 2728 -2316 -2276 -2284 -2640 2208 -2448 2156 -2552 -2636 2076 2740 -2608 2440 2144 -2276 -2692 -2072 -2080 -2540 2308 2116 2732 -2468 2648 -2496 2076 -2260

Verifier Data (download as text)

1920 unsatisfied constraints, 38847 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/node14/watcher-275241-1169218867 -o ROOT/results/node14/solver-275241-1169218867 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275241-1169218867/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: 1.93 2.00 1.95 2/93 16770
/proc/meminfo: memFree=1346096/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=18540 CPUtime=0
/proc/16769/stat : 16769 (runsolver) R 16767 16769 16112 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270281658 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16769/statm: 4635 279 244 17 0 2626 0

[startup+0.103035 s]
/proc/loadavg: 1.93 2.00 1.95 2/93 16770
/proc/meminfo: memFree=1346096/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=912760 CPUtime=0.08
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 2778 0 1 0 6 2 0 0 19 0 8 0 270281658 934666240 2524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16769/statm: 228190 2524 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912760

[startup+0.511073 s]
/proc/loadavg: 1.93 2.00 1.95 2/93 16770
/proc/meminfo: memFree=1346096/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915332 CPUtime=0.49
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 7021 0 1 0 44 5 0 0 18 0 8 0 270281658 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16769/statm: 228833 6760 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33515 s]
/proc/loadavg: 1.93 2.00 1.95 3/100 16777
/proc/meminfo: memFree=1265400/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915612 CPUtime=1.29
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 24341 0 1 0 117 12 0 0 23 0 8 0 270281658 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16769/statm: 228903 24078 2161 14 0 215373 0
[pid=16769/tid=16771] ppid=16767 vsize=915612 CPUtime=0.09
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 7788 0 0 0 7 2 0 0 16 0 8 0 270281662 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915612 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915612 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915612 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915612 CPUtime=0.15
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 270281667 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915612 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915612 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915612

[startup+2.9853 s]
/proc/loadavg: 1.93 2.00 1.95 3/100 16777
/proc/meminfo: memFree=1250744/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915744 CPUtime=2.93
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 26165 0 1 0 279 14 0 0 25 0 8 0 270281658 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828063 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16769/statm: 228936 25898 2181 14 0 215406 0
[pid=16769/tid=16771] ppid=16767 vsize=915744 CPUtime=0.21
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 9534 0 0 0 18 3 0 0 16 0 8 0 270281662 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915744 CPUtime=0.16
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 416 0 0 0 16 0 0 0 16 0 8 0 270281667 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915744

[startup+6.26761 s]
/proc/loadavg: 1.93 2.00 1.95 3/100 16785
/proc/meminfo: memFree=1250616/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915744 CPUtime=6.18
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 26182 0 1 0 603 15 0 0 25 0 8 0 270281658 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827909 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16769/statm: 228936 25914 2181 14 0 215406 0
[pid=16769/tid=16771] ppid=16767 vsize=915744 CPUtime=0.21
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 9534 0 0 0 18 3 0 0 16 0 8 0 270281662 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915744 CPUtime=0.18
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 270281667 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915744

[startup+12.7602 s]
/proc/loadavg: 1.94 2.00 1.95 3/100 16795
/proc/meminfo: memFree=1248440/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915744 CPUtime=12.6
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 26765 0 1 0 1244 16 0 0 25 0 8 0 270281658 937721856 26495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16769/statm: 228936 26495 2182 14 0 215406 0
[pid=16769/tid=16771] ppid=16767 vsize=915744 CPUtime=0.25
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 10112 0 0 0 22 3 0 0 16 0 8 0 270281662 937721856 26495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 26495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 26495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937721856 26495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915744 CPUtime=0.19
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 434 0 0 0 19 0 0 0 16 0 8 0 270281667 937721856 26495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937721856 26495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937721856 26495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915744

[startup+25.6134 s]
/proc/loadavg: 1.95 2.00 1.95 3/100 16829
/proc/meminfo: memFree=1248560/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915744 CPUtime=25.31
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 26774 0 1 0 2512 19 0 0 25 0 8 0 270281658 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16769/statm: 228936 26502 2182 14 0 215406 0
[pid=16769/tid=16771] ppid=16767 vsize=915744 CPUtime=0.25
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 10112 0 0 0 22 3 0 0 16 0 8 0 270281662 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915744 CPUtime=0.2
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 440 0 0 0 20 0 0 0 16 0 8 0 270281667 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915744

[startup+51.2529 s]
/proc/loadavg: 1.90 1.98 1.94 3/106 16949
/proc/meminfo: memFree=1138168/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915744 CPUtime=50.77
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 29222 0 1 0 5042 35 0 0 25 0 8 0 270281658 937721856 28948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16769/statm: 228936 28948 2182 14 0 215406 0
[pid=16769/tid=16771] ppid=16767 vsize=915744 CPUtime=0.35
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 12549 0 0 0 31 4 0 0 16 0 8 0 270281662 937721856 28948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 28948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 28948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937721856 28948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915744 CPUtime=0.21
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 449 0 0 0 21 0 0 0 16 0 8 0 270281667 937721856 28948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937721856 28948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937721856 28948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915744

[startup+102.51 s]
/proc/loadavg: 1.95 1.98 1.94 3/100 16977
/proc/meminfo: memFree=1067320/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915744 CPUtime=101.76
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 39585 0 1 0 10118 58 0 0 25 0 8 0 270281658 937721856 39247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16769/statm: 228936 39247 2501 14 0 215406 0
[pid=16769/tid=16771] ppid=16767 vsize=915744 CPUtime=1.15
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 22529 0 0 0 107 8 0 0 16 0 8 0 270281662 937721856 39247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 39247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 39247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937721856 39247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915744 CPUtime=0.28
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270281667 937721856 39247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937721856 39247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937721856 39247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 915744

[startup+162.518 s]
/proc/loadavg: 1.98 1.98 1.94 3/100 16977
/proc/meminfo: memFree=1067320/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915744 CPUtime=161.41
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 39587 0 1 0 16077 64 0 0 25 0 8 0 270281658 937721856 39249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2011.41
Current children cumulated vsize (KiB) 915744

[startup+2082.77 s]
/proc/loadavg: 2.01 2.01 1.98 3/100 16979
/proc/meminfo: memFree=1049784/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915744 CPUtime=2071.09
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 39588 0 1 0 206996 113 0 0 25 0 8 0 270281658 937721856 39250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018234 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16769/statm: 228936 39250 2501 14 0 215406 0
[pid=16769/tid=16771] ppid=16767 vsize=915744 CPUtime=1.15
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 22529 0 0 0 107 8 0 0 16 0 8 0 270281662 937721856 39250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 39250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937721856 39250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937721856 39250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915744 CPUtime=0.28
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 481 0 0 0 27 1 0 0 16 0 8 0 270281667 937721856 39250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937721856 39250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915744 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937721856 39250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2071.09
Current children cumulated vsize (KiB) 915744

[startup+2142.78 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 16979
/proc/meminfo: memFree=933496/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915984 CPUtime=2130.77
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 68675 0 1 0 212954 123 0 0 25 0 8 0 270281658 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16769/statm: 228996 68331 2546 14 0 215466 0
[pid=16769/tid=16771] ppid=16767 vsize=915984 CPUtime=1.48
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 51404 0 0 0 131 17 0 0 16 0 8 0 270281662 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915984 CPUtime=0.37
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 583 0 0 0 36 1 0 0 15 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2130.77
Current children cumulated vsize (KiB) 915984

[startup+2202.78 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 16979
/proc/meminfo: memFree=933432/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915984 CPUtime=2190.45
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 68675 0 1 0 218921 124 0 0 25 0 8 0 270281658 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827885 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16769/statm: 228996 68331 2546 14 0 215466 0
[pid=16769/tid=16771] ppid=16767 vsize=915984 CPUtime=1.48
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 51404 0 0 0 131 17 0 0 16 0 8 0 270281662 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915984 CPUtime=0.37
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 583 0 0 0 36 1 0 0 15 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2190.45
Current children cumulated vsize (KiB) 915984

[startup+2262.79 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 16979
/proc/meminfo: memFree=933368/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915984 CPUtime=2250.14
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 68675 0 1 0 224890 124 0 0 25 0 8 0 270281658 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16769/statm: 228996 68331 2546 14 0 215466 0
[pid=16769/tid=16771] ppid=16767 vsize=915984 CPUtime=1.48
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 51404 0 0 0 131 17 0 0 16 0 8 0 270281662 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915984 CPUtime=0.37
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 583 0 0 0 36 1 0 0 15 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937967616 68331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2250.14
Current children cumulated vsize (KiB) 915984

[startup+2322.87 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 16979
/proc/meminfo: memFree=933304/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915984 CPUtime=2309.9
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 68700 0 1 0 230866 124 0 0 25 0 8 0 270281658 937967616 68351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16769/statm: 228996 68351 2548 14 0 215466 0
[pid=16769/tid=16771] ppid=16767 vsize=915984 CPUtime=1.48
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 51404 0 0 0 131 17 0 0 16 0 8 0 270281662 937967616 68351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937967616 68351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915984 CPUtime=0.39
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 602 0 0 0 38 1 0 0 16 0 8 0 270281667 937967616 68351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937967616 68351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937967616 68351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2309.9
Current children cumulated vsize (KiB) 915984

[startup+2382.93 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 16979
/proc/meminfo: memFree=933304/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915984 CPUtime=2369.6
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 68707 0 1 0 236836 124 0 0 25 0 8 0 270281658 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319669 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16769/statm: 228996 68353 2548 14 0 215466 0
[pid=16769/tid=16771] ppid=16767 vsize=915984 CPUtime=1.48
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 51404 0 0 0 131 17 0 0 16 0 8 0 270281662 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915984 CPUtime=0.39
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 605 0 0 0 38 1 0 0 16 0 8 0 270281667 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2369.6
Current children cumulated vsize (KiB) 915984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.56 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 16979
/proc/meminfo: memFree=933240/2055920 swapFree=4158792/4192956
[pid=16769] ppid=16767 vsize=915984 CPUtime=2400.1
/proc/16769/stat : 16769 (java) R 16767 16769 16112 0 -1 0 68707 0 1 0 239886 124 0 0 25 0 8 0 270281658 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319665 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16769/statm: 228996 68353 2548 14 0 215466 0
[pid=16769/tid=16771] ppid=16767 vsize=915984 CPUtime=1.48
/proc/16769/task/16771/stat : 16771 (java) S 16767 16769 16112 0 -1 64 51404 0 0 0 131 17 0 0 16 0 8 0 270281662 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16772] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16772/stat : 16772 (java) S 16767 16769 16112 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16773] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16773/stat : 16773 (java) S 16767 16769 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281663 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16774] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16774/stat : 16774 (java) S 16767 16769 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281667 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16775] ppid=16767 vsize=915984 CPUtime=0.39
/proc/16769/task/16775/stat : 16775 (java) S 16767 16769 16112 0 -1 64 605 0 0 0 38 1 0 0 16 0 8 0 270281667 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16769/tid=16776] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16776/stat : 16776 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281667 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16769/tid=16777] ppid=16767 vsize=915984 CPUtime=0
/proc/16769/task/16777/stat : 16777 (java) S 16767 16769 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281667 937967616 68353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915984

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

Child status: 143
Real time (s): 2413.63
CPU time (s): 2400.17
CPU user time (s): 2398.88
CPU system time (s): 1.2908
CPU usage (%): 99.4425
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.88
system time used= 1.2908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68733
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= 50705
involuntary context switches= 99855

runsolver used 3.2545 s user time and 7.67283 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Fri Jan 19 15:01:07 UTC 2007


IDJOB= 275241
IDBENCH= 3732
IDSOLVER= 69
FILE ID= node14/275241-1169218867

PBS_JOBID= 3588913

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275241-1169218867/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-275241-1169218867 -o ROOT/results/node14/solver-275241-1169218867 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275241-1169218867/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e25e356bc98ab8ce9620a3fb6e6db1ca

RANDOM SEED= 603174821

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.227
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.227
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:       1346512 kB
Buffers:         49756 kB
Cached:         550812 kB
SwapCached:       3272 kB
Active:         146692 kB
Inactive:       485800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1346512 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            7440 kB
Writeback:           0 kB
Mapped:          41168 kB
Slab:            61340 kB
Committed_AS:  8560780 kB
PageTables:       2428 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= 66551 MiB



End job on node14 on Fri Jan 19 15:41:21 UTC 2007