Trace number 275298

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.09 2403.48

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-0.xml
MD5SUMa32198ea21ca0bec318dd728ce382b21
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints23963
Best CPU time to get the best result obtained on this benchmark2400.09
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
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.35	     name=/tmp/evaluation/275298-1169219834/unknown.xml
0.38	   
0.38	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.65	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.65	       =>  wckTime=0.335  cpuTime=0.24  mem=20M556
0.65	   
0.65	   predicates being loaded...
0.66	   
0.66	   constraints being loaded...
58.58	     nbConstraints=25652  nbConvertedConstraints=25652  nbConvertConstraintsChecks=164885234
58.58	     nbExtensionStructures=10500  nbSharedExtensionStructures=15152  nbConflictsStructures=10500
58.58	     nbSharedConflictsStructures=15152  nbSharedBinaryRepresentations=2661175  maxDegree=33  maxArity=2
58.58	       =>  wckTime=58.265  cpuTime=56.88  mem=73M377
58.91	   
58.91	   solver LocalSearchSolver being built... 
58.95	       =>  wckTime=58.634  cpuTime=56.92  mem=65M854
59.05	
59.05	s SATISFIABLE
59.05	o 19297
59.05	c 6355
59.07	o 19305
59.07	c 6347
59.09	o 19311
59.09	c 6341
59.10	o 19317
59.10	c 6335
59.11	o 19323
59.11	c 6329
59.13	o 19328
59.13	c 6324
59.14	o 19332
59.14	c 6320
59.15	o 19340
59.15	c 6312
59.16	o 19346
59.16	c 6306
59.17	o 19352
59.17	c 6300
59.18	o 19358
59.18	c 6294
59.19	o 19363
59.19	c 6289
59.20	o 19367
59.20	c 6285
59.21	o 19371
59.21	c 6281
59.22	o 19374
59.22	c 6278
59.23	o 19377
59.23	c 6275
59.24	o 19380
59.24	c 6272
59.25	o 19382
59.25	c 6270
59.25	o 19384
59.25	c 6268
59.26	o 19386
59.26	c 6266
59.27	o 19388
59.27	c 6264
59.28	o 19389
59.28	c 6263
59.29	o 19390
59.29	c 6262
59.30	o 19400
59.30	c 6252
59.31	o 19409
59.31	c 6243
59.32	o 19418
59.32	c 6234
59.33	o 19426
59.33	c 6226
59.34	o 19432
59.34	c 6220
59.35	o 19438
59.35	c 6214
59.37	o 19444
59.37	c 6208
59.38	o 19449
59.38	c 6203
59.39	o 19454
59.39	c 6198
59.40	o 19459
59.40	c 6193
59.41	o 19463
59.41	c 6189
59.43	o 19467
59.43	c 6185
59.44	o 19471
59.44	c 6181
59.45	o 19475
59.45	c 6177
59.46	o 19482
59.46	c 6170
59.47	o 19483
59.47	c 6169
59.48	o 19486
59.48	c 6166
59.49	o 19489
59.49	c 6163
59.50	o 19492
59.50	c 6160
59.51	o 19495
59.51	c 6157
59.52	o 19497
59.52	c 6155
59.53	o 19498
59.53	c 6154
59.54	o 19499
59.54	c 6153
59.55	o 19500
59.55	c 6152
59.57	o 19502
59.57	c 6150
59.58	o 19507
59.58	c 6145
59.59	o 19513
59.59	c 6139
59.60	o 19516
59.60	c 6136
59.61	o 19526
59.61	c 6126
59.62	o 19534
59.62	c 6118
59.64	o 19543
59.64	c 6109
59.66	o 19551
59.66	c 6101
59.67	o 19558
59.67	c 6094
59.69	o 19565
59.69	c 6087
59.70	o 19571
59.70	c 6081
59.72	o 19576
59.72	c 6076
59.74	o 19580
59.74	c 6072
59.75	o 19584
59.75	c 6068
59.77	o 19588
59.77	c 6064
59.79	o 19598
59.79	c 6054
59.80	o 19602
59.80	c 6050
59.81	o 19606
59.81	c 6046
59.83	o 19610
59.83	c 6042
59.84	o 19613
59.84	c 6039
59.86	o 19616
59.86	c 6036
59.87	o 19619
59.87	c 6033
59.88	o 19622
59.88	c 6030
59.89	o 19625
59.89	c 6027
59.91	o 19628
59.91	c 6024
59.92	o 19631
59.92	c 6021
59.93	o 19633
59.93	c 6019
59.94	o 19636
59.94	c 6016
59.94	o 19638
59.94	c 6014
59.95	o 19639
59.95	c 6013
59.96	o 19640
59.96	c 6012
59.98	o 19641
59.98	c 6011
59.98	o 19642
59.98	c 6010
59.99	o 19643
59.99	c 6009
60.00	o 19649
60.00	c 6003
60.02	o 19656
60.02	c 5996
60.03	o 19660
60.03	c 5992
60.04	o 19663
60.04	c 5989
60.06	o 19667
60.06	c 5985
60.07	o 19670
60.07	c 5982
60.08	o 19674
60.08	c 5978
60.09	o 19679
60.09	c 5973
60.11	o 19681
60.11	c 5971
60.12	o 19685
60.12	c 5967
60.15	o 19693
60.15	c 5959
60.16	o 19701
60.16	c 5951
60.17	o 19703
60.17	c 5949
60.19	o 19710
60.19	c 5942
60.20	o 19716
60.20	c 5936
60.22	o 19722
60.22	c 5930
60.23	o 19728
60.23	c 5924
60.24	o 19734
60.24	c 5918
60.25	o 19739
60.25	c 5913
60.27	o 19744
60.27	c 5908
60.28	o 19748
60.28	c 5904
60.29	o 19752
60.29	c 5900
60.30	o 19756
60.30	c 5896
60.32	o 19759
60.32	c 5893
60.33	o 19762
60.33	c 5890
60.34	o 19765
60.34	c 5887
60.35	o 19768
60.35	c 5884
60.36	o 19771
60.36	c 5881
60.37	o 19774
60.37	c 5878
60.38	o 19776
60.38	c 5876
60.39	o 19778
60.39	c 5874
60.40	o 19779
60.40	c 5873
60.41	o 19781
60.41	c 5871
60.42	o 19782
60.42	c 5870
60.43	o 19784
60.43	c 5868
60.43	o 19785
60.44	c 5867
60.45	o 19786
60.45	c 5866
60.46	o 19789
60.46	c 5863
60.47	o 19798
60.47	c 5854
60.48	o 19800
60.48	c 5852
60.48	o 19803
60.48	c 5849
60.49	o 19804
60.49	c 5848
60.50	o 19810
60.50	c 5842
60.52	o 19817
60.52	c 5835
60.53	o 19823
60.53	c 5829
60.54	o 19829
60.54	c 5823
60.55	o 19833
60.55	c 5819
60.56	o 19840
60.56	c 5812
60.60	o 19842
60.60	c 5810
60.61	o 19847
60.61	c 5805
60.62	o 19849
60.62	c 5803
60.62	o 19859
60.62	c 5793
60.63	o 19860
60.63	c 5792
60.64	o 19865
60.64	c 5787
60.65	o 19870
60.65	c 5782
60.66	o 19872
60.66	c 5780
60.67	o 19879
60.67	c 5773
60.68	o 19882
60.68	c 5770
60.69	o 19884
60.69	c 5768
60.70	o 19885
60.70	c 5767
60.71	o 19887
60.71	c 5765
60.72	o 19890
60.72	c 5762
60.73	o 19894
60.73	c 5758
60.74	o 19899
60.74	c 5753
60.76	o 19905
60.76	c 5747
60.77	o 19909
60.77	c 5743
60.78	o 19916
60.78	c 5736
60.79	o 19924
60.79	c 5728
60.80	o 19928
60.80	c 5724
60.82	o 19936
60.82	c 5716
60.83	o 19944
60.83	c 5708
60.85	o 19951
60.85	c 5701
60.87	o 19957
60.87	c 5695
60.88	o 19962
60.88	c 5690
60.90	o 19968
60.90	c 5684
60.91	o 19973
60.91	c 5679
60.92	o 19978
60.92	c 5674
60.94	o 19983
60.94	c 5669
60.96	o 19987
60.96	c 5665
60.97	o 19991
60.97	c 5661
60.98	o 19995
60.98	c 5657
61.00	o 19999
61.00	c 5653
61.02	o 20002
61.02	c 5650
61.03	o 20005
61.03	c 5647
61.04	o 20008
61.04	c 5644
61.05	o 20011
61.05	c 5641
61.06	o 20014
61.06	c 5638
61.07	o 20017
61.07	c 5635
61.09	o 20020
61.09	c 5632
61.10	o 20023
61.10	c 5629
61.12	o 20025
61.12	c 5627
61.13	o 20027
61.13	c 5625
61.14	o 20029
61.14	c 5623
61.15	o 20030
61.15	c 5622
61.16	o 20036
61.16	c 5616
61.17	o 20037
61.17	c 5615
61.18	o 20038
61.18	c 5614
61.19	o 20039
61.19	c 5613
61.20	o 20041
61.20	c 5611
61.21	o 20042
61.21	c 5610
61.25	o 20043
61.25	c 5609
61.26	o 20047
61.26	c 5605
61.27	o 20053
61.27	c 5599
61.28	o 20058
61.28	c 5594
61.29	o 20063
61.29	c 5589
61.30	o 20067
61.30	c 5585
61.31	o 20068
61.31	c 5584
61.32	o 20069
61.32	c 5583
61.33	o 20072
61.33	c 5580
61.34	o 20074
61.34	c 5578
61.35	o 20077
61.35	c 5575
61.37	o 20079
61.37	c 5573
61.38	o 20080
61.38	c 5572
61.39	o 20081
61.39	c 5571
61.41	o 20083
61.41	c 5569
61.42	o 20091
61.42	c 5561
61.43	o 20094
61.43	c 5558
61.44	o 20097
61.44	c 5555
61.46	o 20104
61.46	c 5548
61.47	o 20108
61.47	c 5544
61.48	o 20112
61.48	c 5540
61.49	o 20114
61.50	c 5538
61.51	o 20115
61.51	c 5537
61.52	o 20117
61.52	c 5535
61.54	o 20120
61.54	c 5532
61.55	o 20124
61.55	c 5528
61.57	o 20128
61.57	c 5524
61.58	o 20133
61.58	c 5519
61.59	o 20134
61.59	c 5518
61.64	o 20135
61.64	c 5517
61.65	o 20141
61.65	c 5511
61.67	o 20144
61.67	c 5508
61.68	o 20145
61.68	c 5507
61.69	o 20149
61.69	c 5503
61.71	o 20156
61.71	c 5496
61.72	o 20158
61.72	c 5494
61.73	o 20159
61.73	c 5493
61.75	o 20162
61.75	c 5490
61.76	o 20164
61.76	c 5488
61.77	o 20166
61.77	c 5486
61.79	o 20172
61.79	c 5480
61.80	o 20174
61.80	c 5478
61.81	o 20175
61.81	c 5477
61.82	o 20180
61.82	c 5472
61.84	o 20182
61.84	c 5470
61.85	o 20184
61.85	c 5468
61.86	o 20189
61.86	c 5463
61.88	o 20192
61.88	c 5460
61.89	o 20195
61.89	c 5457
61.90	o 20198
61.90	c 5454
61.93	o 20203
61.93	c 5449
61.95	o 20208
61.95	c 5444
61.96	o 20210
61.96	c 5442
61.97	o 20217
61.97	c 5435
61.98	o 20222
61.98	c 5430
61.99	o 20224
61.99	c 5428
62.04	o 20226
62.04	c 5426
62.05	o 20228
62.05	c 5424
62.08	o 20235
62.08	c 5417
62.12	o 20239
62.12	c 5413
62.15	o 20240
62.15	c 5412
62.17	o 20245
62.17	c 5407
62.19	o 20252
62.19	c 5400
62.21	o 20253
62.21	c 5399
62.22	o 20259
62.22	c 5393
62.25	o 20263
62.25	c 5389
62.27	o 20267
62.27	c 5385
62.29	o 20271
62.29	c 5381
62.30	o 20276
62.30	c 5376
62.32	o 20279
62.32	c 5373
62.34	o 20285
62.34	c 5367
62.36	o 20288
62.36	c 5364
62.38	o 20291
62.38	c 5361
62.40	o 20294
62.40	c 5358
62.43	o 20297
62.43	c 5355
62.44	o 20300
62.44	c 5352
62.46	o 20302
62.46	c 5350
62.47	o 20306
62.47	c 5346
62.49	o 20308
62.49	c 5344
62.50	o 20310
62.50	c 5342
62.52	o 20312
62.52	c 5340
62.53	o 20314
62.53	c 5338
62.55	o 20316
62.55	c 5336
62.56	o 20319
62.56	c 5333
62.57	o 20325
62.57	c 5327
62.58	o 20329
62.58	c 5323
62.60	o 20331
62.60	c 5321
62.61	o 20332
62.61	c 5320
62.62	o 20333
62.62	c 5319
62.65	o 20337
62.65	c 5315
62.67	o 20339
62.67	c 5313
62.74	o 20344
62.74	c 5308
62.78	o 20348
62.78	c 5304
62.78	o 20351
62.78	c 5301
62.80	o 20357
62.80	c 5295
62.81	o 20360
62.81	c 5292
62.82	o 20361
62.82	c 5291
62.84	o 20362
62.84	c 5290
62.85	o 20364
62.85	c 5288
62.87	o 20372
62.87	c 5280
62.88	o 20373
62.88	c 5279
62.90	o 20375
62.90	c 5277
62.94	o 20377
62.94	c 5275
62.96	o 20380
62.96	c 5272
62.97	o 20384
62.97	c 5268
62.99	o 20387
62.99	c 5265
63.01	o 20391
63.01	c 5261
63.02	o 20396
63.02	c 5256
63.03	o 20397
63.03	c 5255
63.05	o 20402
63.05	c 5250
63.08	o 20403
63.08	c 5249
63.10	o 20406
63.10	c 5246
63.11	o 20407
63.11	c 5245
63.12	o 20411
63.12	c 5241
63.14	o 20413
63.14	c 5239
63.17	o 20416
63.17	c 5236
63.18	o 20419
63.18	c 5233
63.20	o 20420
63.20	c 5232
63.21	o 20426
63.21	c 5226
63.23	o 20429
63.23	c 5223
63.24	o 20432
63.24	c 5220
63.27	o 20436
63.27	c 5216
63.29	o 20444
63.29	c 5208
63.31	o 20448
63.31	c 5204
63.32	o 20450
63.32	c 5202
63.34	o 20453
63.34	c 5199
63.35	o 20456
63.35	c 5196
63.36	o 20462
63.36	c 5190
63.37	o 20466
63.38	c 5186
63.40	o 20467
63.40	c 5185
63.41	o 20469
63.41	c 5183
63.42	o 20471
63.42	c 5181
63.44	o 20473
63.44	c 5179
63.45	o 20478
63.45	c 5174
63.46	o 20479
63.46	c 5173
63.47	o 20484
63.47	c 5168
63.48	o 20489
63.48	c 5163
63.50	o 20491
63.50	c 5161
63.53	o 20495
63.53	c 5157
63.55	o 20496
63.55	c 5156
63.56	o 20498
63.56	c 5154
63.58	o 20499
63.58	c 5153
63.61	o 20501
63.61	c 5151
63.62	o 20503
63.62	c 5149
63.64	o 20504
63.64	c 5148
63.65	o 20505
63.65	c 5147
63.67	o 20514
63.67	c 5138
63.68	o 20519
63.69	c 5133
63.70	o 20520
63.70	c 5132
63.72	o 20523
63.72	c 5129
63.75	o 20527
63.75	c 5125
63.82	o 20532
63.82	c 5120
63.84	o 20537
63.84	c 5115
63.86	o 20541
63.86	c 5111
63.88	o 20543
63.88	c 5109
63.90	o 20547
63.90	c 5105
63.93	o 20551
63.93	c 5101
63.94	o 20555
63.95	c 5097
63.97	o 20558
63.97	c 5094
63.99	o 20560
63.99	c 5092
64.01	o 20562
64.01	c 5090
64.03	o 20565
64.03	c 5087
64.05	o 20568
64.05	c 5084
64.07	o 20571
64.07	c 5081
64.09	o 20573
64.09	c 5079
64.11	o 20575
64.11	c 5077
64.13	o 20577
64.13	c 5075
64.14	o 20579
64.14	c 5073
64.16	o 20581
64.16	c 5071
64.18	o 20582
64.18	c 5070
64.20	o 20583
64.20	c 5069
64.22	o 20584
64.22	c 5068
64.24	o 20585
64.24	c 5067
64.26	o 20586
64.26	c 5066
64.38	o 20589
64.38	c 5063
64.40	o 20595
64.40	c 5057
64.53	o 20597
64.53	c 5055
64.58	o 20601
64.58	c 5051
64.60	o 20602
64.60	c 5050
64.62	o 20606
64.62	c 5046
64.63	o 20609
64.64	c 5043
64.73	o 20612
64.73	c 5040
64.74	o 20615
64.74	c 5037
64.76	o 20620
64.76	c 5032
64.78	o 20624
64.78	c 5028
64.81	o 20625
64.81	c 5027
64.86	o 20628
64.86	c 5024
64.88	o 20629
64.88	c 5023
64.93	o 20633
64.93	c 5019
65.02	o 20637
65.02	c 5015
65.04	o 20638
65.04	c 5014
65.06	o 20640
65.06	c 5012
65.08	o 20642
65.08	c 5010
65.10	o 20646
65.10	c 5006
65.12	o 20647
65.12	c 5005
65.13	o 20649
65.13	c 5003
65.16	o 20651
65.16	c 5001
65.17	o 20654
65.17	c 4998
65.19	o 20658
65.19	c 4994
65.21	o 20659
65.21	c 4993
65.28	o 20663
65.28	c 4989
65.30	o 20666
65.30	c 4986
65.32	o 20669
65.32	c 4983
65.34	o 20671
65.34	c 4981
65.38	o 20675
65.38	c 4977
65.40	o 20679
65.40	c 4973
65.42	o 20680
65.42	c 4972
65.44	o 20683
65.44	c 4969
65.46	o 20687
65.46	c 4965
65.48	o 20689
65.48	c 4963
65.50	o 20692
65.50	c 4960
65.54	o 20695
65.54	c 4957
65.57	o 20697
65.57	c 4955
65.58	o 20704
65.58	c 4948
65.62	o 20709
65.62	c 4943
65.65	o 20716
65.65	c 4936
65.67	o 20719
65.67	c 4933
65.69	o 20725
65.69	c 4927
65.71	o 20727
65.71	c 4925
65.73	o 20731
65.73	c 4921
65.75	o 20733
65.75	c 4919
65.77	o 20737
65.77	c 4915
65.79	o 20744
65.79	c 4908
65.81	o 20747
65.81	c 4905
65.83	o 20748
65.83	c 4904
65.85	o 20750
65.85	c 4902
65.87	o 20752
65.87	c 4900
65.89	o 20753
65.90	c 4899
65.92	o 20755
65.92	c 4897
65.94	o 20757
65.94	c 4895
65.96	o 20761
65.96	c 4891
65.98	o 20762
65.98	c 4890
66.02	o 20764
66.02	c 4888
66.04	o 20766
66.04	c 4886
66.06	o 20768
66.06	c 4884
66.08	o 20773
66.08	c 4879
66.10	o 20776
66.10	c 4876
66.14	o 20780
66.14	c 4872
66.18	o 20783
66.18	c 4869
66.20	o 20786
66.20	c 4866
66.22	o 20790
66.22	c 4862
66.24	o 20792
66.24	c 4860
66.37	o 20795
66.37	c 4857
66.43	o 20797
66.43	c 4855
66.45	o 20798
66.45	c 4854
66.49	o 20801
66.49	c 4851
66.51	o 20802
66.51	c 4850
66.53	o 20804
66.53	c 4848
66.55	o 20805
66.55	c 4847
66.57	o 20807
66.57	c 4845
66.59	o 20810
66.59	c 4842
66.63	o 20811
66.63	c 4841
66.68	o 20812
66.68	c 4840
66.70	o 20813
66.70	c 4839
66.74	o 20816
66.74	c 4836
66.77	o 20820
66.77	c 4832
66.79	o 20823
66.79	c 4829
66.82	o 20826
66.82	c 4826
66.84	o 20828
66.84	c 4824
66.87	o 20830
66.87	c 4822
66.89	o 20832
66.89	c 4820
66.91	o 20834
66.91	c 4818
66.93	o 20836
66.93	c 4816
66.95	o 20838
66.95	c 4814
66.97	o 20840
66.97	c 4812
67.00	o 20842
67.00	c 4810
67.02	o 20844
67.02	c 4808
67.04	o 20845
67.04	c 4807
67.06	o 20846
67.06	c 4806
67.09	o 20850
67.09	c 4802
67.11	o 20853
67.11	c 4799
67.13	o 20854
67.13	c 4798
67.17	o 20859
67.17	c 4793
67.19	o 20863
67.19	c 4789
67.21	o 20865
67.21	c 4787
67.30	o 20866
67.30	c 4786
67.32	o 20871
67.32	c 4781
67.36	o 20874
67.36	c 4778
67.38	o 20876
67.38	c 4776
67.40	o 20878
67.40	c 4774
67.42	o 20879
67.42	c 4773
67.45	o 20882
67.45	c 4770
67.47	o 20887
67.47	c 4765
67.49	o 20888
67.49	c 4764
67.51	o 20889
67.52	c 4763
67.54	o 20890
67.54	c 4762
67.56	o 20891
67.56	c 4761
67.58	o 20893
67.58	c 4759
67.65	o 20894
67.65	c 4758
67.71	o 20900
67.71	c 4752
67.75	o 20902
67.75	c 4750
67.77	o 20903
67.77	c 4749
67.79	o 20906
67.79	c 4746
67.81	o 20911
67.81	c 4741
67.84	o 20912
67.84	c 4740
67.94	o 20916
67.94	c 4736
67.95	o 20920
67.95	c 4732
67.97	o 20922
67.97	c 4730
67.99	o 20924
67.99	c 4728
68.01	o 20926
68.01	c 4726
68.03	o 20932
68.03	c 4720
68.04	o 20933
68.04	c 4719
68.06	o 20936
68.06	c 4716
68.08	o 20938
68.08	c 4714
68.10	o 20939
68.10	c 4713
68.11	o 20940
68.11	c 4712
68.14	o 20945
68.14	c 4707
68.15	o 20948
68.15	c 4704
68.17	o 20952
68.17	c 4700
68.19	o 20957
68.19	c 4695
68.21	o 20959
68.21	c 4693
68.25	o 20961
68.25	c 4691
68.28	o 20966
68.28	c 4686
68.30	o 20970
68.30	c 4682
68.34	o 20971
68.34	c 4681
68.36	o 20973
68.36	c 4679
68.38	o 20978
68.38	c 4674
68.40	o 20980
68.40	c 4672
68.42	o 20982
68.42	c 4670
68.44	o 20983
68.44	c 4669
68.46	o 20985
68.46	c 4667
68.48	o 20986
68.48	c 4666
68.50	o 20990
68.50	c 4662
68.53	o 20991
68.53	c 4661
68.55	o 20995
68.55	c 4657
68.57	o 20999
68.57	c 4653
68.59	o 21003
68.59	c 4649
68.61	o 21007
68.61	c 4645
68.63	o 21009
68.63	c 4643
68.65	o 21012
68.65	c 4640
68.67	o 21014
68.67	c 4638
68.70	o 21020
68.70	c 4632
68.79	o 21023
68.79	c 4629
68.83	o 21026
68.83	c 4626
68.84	o 21029
68.84	c 4623
68.88	o 21030
68.88	c 4622
68.90	o 21033
68.90	c 4619
68.93	o 21035
68.93	c 4617
68.95	o 21039
68.95	c 4613
68.97	o 21042
68.97	c 4610
68.99	o 21043
68.99	c 4609
69.01	o 21044
69.01	c 4608
69.04	o 21046
69.04	c 4606
69.08	o 21048
69.08	c 4604
69.10	o 21052
69.10	c 4600
69.19	o 21054
69.19	c 4598
69.23	o 21057
69.23	c 4595
69.27	o 21062
69.27	c 4590
69.30	o 21063
69.30	c 4589
69.38	o 21068
69.38	c 4584
69.41	o 21070
69.41	c 4582
69.46	o 21074
69.46	c 4578
69.48	o 21077
69.48	c 4575
69.50	o 21079
69.50	c 4573
69.55	o 21083
69.55	c 4569
69.57	o 21085
69.57	c 4567
69.59	o 21086
69.59	c 4566
69.61	o 21088
69.61	c 4564
69.64	o 21091
69.64	c 4561
69.67	o 21093
69.67	c 4559
69.69	o 21094
69.69	c 4558
69.75	o 21098
69.75	c 4554
69.78	o 21101
69.78	c 4551
69.80	o 21105
69.80	c 4547
69.82	o 21109
69.82	c 4543
69.85	o 21110
69.85	c 4542
69.87	o 21111
69.87	c 4541
69.89	o 21112
69.89	c 4540
69.97	o 21114
69.97	c 4538
70.02	o 21115
70.02	c 4537
70.04	o 21119
70.04	c 4533
70.09	o 21125
70.09	c 4527
70.11	o 21126
70.11	c 4526
70.14	o 21127
70.14	c 4525
70.17	o 21129
70.17	c 4523
70.19	o 21133
70.19	c 4519
70.22	o 21136
70.22	c 4516
70.30	o 21144
70.30	c 4508
70.32	o 21147
70.32	c 4505
70.34	o 21148
70.34	c 4504
70.37	o 21151
70.37	c 4501
70.39	o 21153
70.39	c 4499
70.44	o 21154
70.44	c 4498
70.46	o 21156
70.46	c 4496
70.54	o 21157
70.54	c 4495
70.56	o 21161
70.56	c 4491
70.58	o 21164
70.58	c 4488
70.61	o 21167
70.61	c 4485
70.63	o 21168
70.63	c 4484
70.68	o 21174
70.68	c 4478
70.71	o 21178
70.71	c 4474
70.73	o 21180
70.73	c 4472
70.75	o 21182
70.76	c 4470
70.85	o 21183
70.85	c 4469
70.87	o 21184
70.87	c 4468
70.90	o 21185
70.90	c 4467
70.92	o 21186
70.92	c 4466
70.95	o 21187
70.95	c 4465
70.97	o 21189
70.97	c 4463
71.00	o 21190
71.00	c 4462
71.03	o 21194
71.03	c 4458
71.05	o 21196
71.05	c 4456
71.08	o 21200
71.08	c 4452
71.10	o 21202
71.10	c 4450
71.13	o 21203
71.13	c 4449
71.16	o 21204
71.16	c 4448
71.19	o 21205
71.19	c 4447
71.22	o 21206
71.22	c 4446
71.24	o 21207
71.24	c 4445
71.49	o 21212
71.49	c 4440
71.51	o 21213
71.51	c 4439
71.54	o 21217
71.54	c 4435
71.56	o 21219
71.56	c 4433
71.69	o 21220
71.69	c 4432
71.72	o 21223
71.72	c 4429
71.78	o 21228
71.78	c 4424
71.81	o 21230
71.81	c 4422
71.83	o 21236
71.83	c 4416
71.86	o 21241
71.86	c 4411
71.89	o 21246
71.89	c 4406
71.95	o 21249
71.95	c 4403
71.98	o 21250
71.98	c 4402
72.01	o 21252
72.01	c 4400
72.07	o 21255
72.07	c 4397
72.10	o 21261
72.10	c 4391
72.13	o 21263
72.13	c 4389
72.18	o 21266
72.18	c 4386
72.21	o 21269
72.21	c 4383
72.24	o 21271
72.24	c 4381
72.27	o 21273
72.27	c 4379
72.30	o 21276
72.30	c 4376
72.36	o 21278
72.36	c 4374
72.42	o 21282
72.42	c 4370
72.46	o 21283
72.46	c 4369
72.51	o 21291
72.51	c 4361
72.58	o 21292
72.58	c 4360
72.61	o 21293
72.61	c 4359
72.64	o 21294
72.64	c 4358
72.70	o 21295
72.70	c 4357
72.73	o 21301
72.73	c 4351
72.76	o 21303
72.76	c 4349
72.79	o 21307
72.79	c 4345
72.82	o 21312
72.82	c 4340
72.90	o 21315
72.90	c 4337
72.93	o 21318
72.93	c 4334
72.96	o 21320
72.96	c 4332
73.02	o 21323
73.02	c 4329
73.04	o 21328
73.04	c 4324
73.14	o 21331
73.14	c 4321
73.16	o 21332
73.17	c 4320
73.25	o 21333
73.25	c 4319
73.28	o 21334
73.28	c 4318
73.33	o 21338
73.33	c 4314
73.36	o 21339
73.36	c 4313
73.41	o 21340
73.41	c 4312
73.44	o 21342
73.44	c 4310
73.46	o 21345
73.46	c 4307
73.49	o 21348
73.49	c 4304
73.57	o 21350
73.57	c 4302
73.60	o 21355
73.60	c 4297
73.65	o 21362
73.65	c 4290
73.71	o 21367
73.71	c 4285
73.74	o 21370
73.74	c 4282
73.77	o 21372
73.77	c 4280
73.79	o 21378
73.79	c 4274
73.88	o 21381
73.88	c 4271
73.93	o 21384
73.93	c 4268
73.96	o 21388
73.96	c 4264
73.98	o 21389
73.98	c 4263
74.04	o 21391
74.04	c 4261
74.07	o 21394
74.07	c 4258
74.10	o 21396
74.10	c 4256
74.16	o 21398
74.16	c 4254
74.24	o 21399
74.24	c 4253
74.29	o 21402
74.29	c 4250
74.32	o 21404
74.32	c 4248
74.35	o 21405
74.35	c 4247
74.38	o 21409
74.38	c 4243
74.41	o 21414
74.41	c 4238
74.44	o 21416
74.44	c 4236
74.47	o 21417
74.47	c 4235
74.50	o 21421
74.50	c 4231
74.53	o 21428
74.53	c 4224
74.56	o 21429
74.56	c 4223
74.59	o 21435
74.59	c 4217
74.62	o 21437
74.62	c 4215
74.65	o 21438
74.65	c 4214
74.67	o 21441
74.67	c 4211
74.79	o 21445
74.79	c 4207
74.84	o 21446
74.84	c 4206
74.93	o 21448
74.93	c 4204
74.99	o 21451
74.99	c 4201
75.02	o 21453
75.02	c 4199
75.05	o 21454
75.05	c 4198
75.08	o 21456
75.08	c 4196
75.12	o 21458
75.12	c 4194
75.15	o 21459
75.15	c 4193
75.18	o 21462
75.18	c 4190
75.25	o 21466
75.25	c 4186
75.29	o 21469
75.29	c 4183
75.41	o 21471
75.41	c 4181
75.48	o 21475
75.48	c 4177
75.51	o 21476
75.51	c 4176
75.55	o 21480
75.55	c 4172
75.58	o 21482
75.58	c 4170
75.67	o 21483
75.67	c 4169
75.71	o 21484
75.71	c 4168
75.74	o 21487
75.74	c 4165
75.77	o 21489
75.77	c 4163
75.80	o 21496
75.80	c 4156
75.99	o 21497
75.99	c 4155
76.02	o 21498
76.02	c 4154
76.42	o 21500
76.42	c 4152
76.49	o 21501
76.49	c 4151
76.63	o 21502
76.63	c 4150
76.67	o 21503
76.67	c 4149
76.74	o 21507
76.74	c 4145
76.77	o 21509
76.77	c 4143
76.98	o 21512
76.98	c 4140
77.05	o 21514
77.05	c 4138
77.14	o 21517
77.14	c 4135
77.18	o 21522
77.18	c 4130
77.21	o 21527
77.21	c 4125
77.28	o 21529
77.28	c 4123
77.31	o 21533
77.31	c 4119
77.41	o 21538
77.41	c 4114
77.44	o 21539
77.44	c 4113
77.54	o 21544
77.54	c 4108
77.57	o 21545
77.57	c 4107
77.61	o 21548
77.61	c 4104
77.64	o 21550
77.64	c 4102
77.75	o 21551
77.75	c 4101
77.85	o 21552
77.85	c 4100
77.92	o 21554
77.92	c 4098
77.96	o 21558
77.96	c 4094
78.00	o 21561
78.00	c 4091
78.07	o 21563
78.07	c 4089
78.21	o 21564
78.21	c 4088
78.25	o 21566
78.25	c 4086
78.36	o 21569
78.36	c 4083
78.39	o 21572
78.39	c 4080
78.43	o 21574
78.43	c 4078
78.57	o 21578
78.57	c 4074
78.61	o 21579
78.61	c 4073
78.64	o 21580
78.64	c 4072
78.72	o 21582
78.72	c 4070
78.75	o 21587
78.75	c 4065
78.79	o 21589
78.79	c 4063
78.83	o 21594
78.83	c 4058
78.90	o 21596
78.90	c 4056
78.94	o 21598
78.94	c 4054
78.97	o 21599
78.97	c 4053
79.01	o 21600
79.01	c 4052
79.12	o 21601
79.12	c 4051
79.15	o 21605
79.15	c 4047
79.19	o 21607
79.19	c 4045
79.23	o 21610
79.23	c 4042
79.30	o 21612
79.30	c 4040
79.34	o 21614
79.34	c 4038
79.38	o 21618
79.38	c 4034
79.41	o 21619
79.42	c 4033
79.45	o 21620
79.45	c 4032
79.49	o 21622
79.49	c 4030
79.53	o 21626
79.53	c 4026
79.58	o 21630
79.58	c 4022
79.61	o 21634
79.61	c 4018
79.65	o 21638
79.65	c 4014
79.69	o 21642
79.69	c 4010
79.73	o 21643
79.73	c 4009
79.77	o 21644
79.77	c 4008
79.80	o 21645
79.80	c 4007
79.84	o 21648
79.84	c 4004
79.96	o 21654
79.96	c 3998
80.00	o 21655
80.00	c 3997
80.04	o 21657
80.04	c 3995
80.08	o 21659
80.08	c 3993
80.12	o 21662
80.12	c 3990
80.16	o 21667
80.16	c 3985
80.19	o 21671
80.19	c 3981
80.27	o 21673
80.27	c 3979
80.31	o 21674
80.31	c 3978
80.51	o 21679
80.51	c 3973
80.55	o 21680
80.55	c 3972
80.59	o 21683
80.59	c 3969
80.62	o 21686
80.62	c 3966
80.70	o 21692
80.70	c 3960
80.73	o 21695
80.73	c 3957
80.77	o 21697
80.77	c 3955
81.38	o 21699
81.38	c 3953
81.45	o 21700
81.45	c 3952
81.49	o 21703
81.49	c 3949
81.52	o 21706
81.52	c 3946
81.56	o 21709
81.56	c 3943
81.63	o 21711
81.63	c 3941
81.66	o 21713
81.66	c 3939
81.70	o 21714
81.70	c 3938
81.74	o 21720
81.74	c 3932
81.78	o 21721
81.78	c 3931
81.82	o 21722
81.82	c 3930
81.86	o 21723
81.86	c 3929
81.90	o 21724
81.90	c 3928
81.94	o 21726
81.94	c 3926
81.98	o 21728
81.98	c 3924
82.02	o 21730
82.02	c 3922
82.05	o 21733
82.05	c 3919
82.10	o 21734
82.10	c 3918
82.14	o 21737
82.14	c 3915
82.22	o 21740
82.22	c 3912
82.26	o 21741
82.26	c 3911
82.30	o 21743
82.30	c 3909
82.43	o 21744
82.43	c 3908
82.51	o 21746
82.51	c 3906
82.62	o 21747
82.62	c 3905
82.70	o 21749
82.70	c 3903
82.75	o 21753
82.75	c 3899
82.79	o 21755
82.79	c 3897
82.84	o 21758
82.84	c 3894
82.88	o 21762
82.88	c 3890
82.93	o 21763
82.93	c 3889
82.97	o 21765
82.97	c 3887
83.02	o 21766
83.02	c 3886
83.11	o 21767
83.11	c 3885
83.16	o 21768
83.16	c 3884
83.25	o 21771
83.25	c 3881
83.29	o 21772
83.29	c 3880
83.34	o 21773
83.34	c 3879
83.43	o 21775
83.43	c 3877
83.48	o 21777
83.48	c 3875
83.57	o 21778
83.57	c 3874
83.66	o 21779
83.66	c 3873
83.70	o 21783
83.70	c 3869
83.80	o 21786
83.80	c 3866
83.84	o 21787
83.84	c 3865
83.89	o 21790
83.89	c 3862
83.93	o 21794
83.93	c 3858
84.02	o 21795
84.02	c 3857
84.07	o 21798
84.07	c 3854
84.11	o 21801
84.11	c 3851
84.25	o 21804
84.25	c 3848
84.29	o 21806
84.29	c 3846
84.34	o 21808
84.34	c 3844
84.43	o 21809
84.43	c 3843
84.47	o 21813
84.47	c 3839
84.64	o 21816
84.64	c 3836
84.69	o 21818
84.69	c 3834
84.77	o 21820
84.77	c 3832
84.82	o 21822
84.82	c 3830
84.91	o 21823
84.91	c 3829
84.95	o 21824
84.95	c 3828
85.00	o 21826
85.00	c 3826
85.04	o 21828
85.04	c 3824
85.09	o 21830
85.09	c 3822
85.36	o 21831
85.36	c 3821
85.41	o 21833
85.41	c 3819
85.45	o 21837
85.45	c 3815
85.57	o 21840
85.57	c 3812
85.62	o 21841
85.62	c 3811
85.70	o 21844
85.70	c 3808
85.79	o 21845
85.79	c 3807
85.83	o 21848
85.83	c 3804
85.88	o 21849
85.88	c 3803
85.97	o 21850
85.97	c 3802
86.01	o 21853
86.01	c 3799
86.06	o 21855
86.06	c 3797
86.11	o 21856
86.11	c 3796
86.16	o 21858
86.16	c 3794
86.29	o 21860
86.29	c 3792
86.34	o 21862
86.34	c 3790
86.38	o 21863
86.38	c 3789
86.47	o 21865
86.47	c 3787
86.56	o 21867
86.56	c 3785
86.60	o 21869
86.60	c 3783
86.69	o 21872
86.69	c 3780
86.78	o 21874
86.78	c 3778
87.04	o 21875
87.04	c 3777
87.09	o 21878
87.09	c 3774
87.13	o 21880
87.13	c 3772
87.17	o 21882
87.17	c 3770
87.22	o 21885
87.22	c 3767
87.26	o 21888
87.26	c 3764
87.30	o 21890
87.30	c 3762
87.67	o 21893
87.67	c 3759
87.76	o 21895
87.76	c 3757
87.81	o 21897
87.81	c 3755
87.85	o 21900
87.85	c 3752
87.89	o 21907
87.89	c 3745
87.93	o 21908
87.93	c 3744
87.98	o 21910
87.98	c 3742
88.11	o 21912
88.11	c 3740
88.15	o 21917
88.15	c 3735
88.19	o 21919
88.19	c 3733
88.24	o 21920
88.24	c 3732
88.28	o 21923
88.28	c 3729
88.33	o 21925
88.33	c 3727
88.38	o 21927
88.38	c 3725
88.61	o 21928
88.61	c 3724
88.65	o 21929
88.65	c 3723
88.70	o 21932
88.70	c 3720
88.75	o 21934
88.75	c 3718
88.80	o 21936
88.80	c 3716
88.84	o 21938
88.84	c 3714
88.89	o 21941
88.89	c 3711
88.94	o 21943
88.94	c 3709
89.14	o 21946
89.14	c 3706
89.23	o 21948
89.23	c 3704
89.28	o 21949
89.28	c 3703
89.33	o 21951
89.33	c 3701
89.37	o 21952
89.37	c 3700
89.42	o 21955
89.42	c 3697
89.52	o 21956
89.52	c 3696
89.66	o 21957
89.66	c 3695
89.71	o 21962
89.71	c 3690
89.94	o 21966
89.94	c 3686
89.99	o 21971
89.99	c 3681
90.46	o 21972
90.46	c 3680
90.51	o 21974
90.51	c 3678
90.60	o 21975
90.60	c 3677
90.65	o 21976
90.65	c 3676
90.75	o 21979
90.75	c 3673
90.80	o 21980
90.80	c 3672
90.85	o 21981
90.85	c 3671
90.95	o 21982
90.95	c 3670
91.00	o 21985
91.00	c 3667
91.15	o 21989
91.15	c 3663
91.20	o 21993
91.20	c 3659
91.36	o 21994
91.36	c 3658
91.41	o 21997
91.41	c 3655
91.46	o 21999
91.46	c 3653
91.57	o 22001
91.57	c 3651
91.63	o 22002
91.63	c 3650
91.68	o 22004
91.68	c 3648
91.94	o 22005
91.94	c 3647
92.05	o 22007
92.05	c 3645
92.11	o 22009
92.11	c 3643
92.22	o 22010
92.22	c 3642
92.28	o 22011
92.28	c 3641
92.33	o 22013
92.33	c 3639
92.39	o 22018
92.39	c 3634
92.51	o 22020
92.51	c 3632
92.57	o 22023
92.57	c 3629
92.68	o 22025
92.68	c 3627
92.74	o 22028
92.74	c 3624
92.80	o 22031
92.80	c 3621
92.85	o 22037
92.85	c 3615
92.91	o 22038
92.91	c 3614
92.97	o 22040
92.97	c 3612
93.15	o 22041
93.15	c 3611
93.38	o 22043
93.38	c 3609
93.44	o 22047
93.44	c 3605
93.55	o 22048
93.55	c 3604
93.73	o 22049
93.73	c 3603
93.79	o 22050
93.79	c 3602
93.91	o 22052
93.91	c 3600
93.97	o 22053
93.97	c 3599
94.03	o 22054
94.03	c 3598
94.09	o 22057
94.09	c 3595
94.14	o 22059
94.14	c 3593
94.20	o 22060
94.20	c 3592
94.26	o 22061
94.26	c 3591
94.32	o 22062
94.32	c 3590
94.38	o 22064
94.38	c 3588
94.43	o 22066
94.43	c 3586
94.49	o 22068
94.49	c 3584
94.55	o 22070
94.55	c 3582
94.61	o 22073
94.61	c 3579
94.66	o 22074
94.66	c 3578
95.39	o 22077
95.39	c 3575
95.50	o 22079
95.50	c 3573
95.55	o 22083
95.55	c 3569
95.61	o 22084
95.61	c 3568
95.67	o 22085
95.67	c 3567
95.72	o 22087
95.72	c 3565
95.78	o 22089
95.78	c 3563
95.83	o 22092
95.83	c 3560
96.27	o 22094
96.27	c 3558
96.32	o 22097
96.32	c 3555
96.42	o 22098
96.42	c 3554
96.53	o 22099
96.53	c 3553
96.59	o 22102
96.59	c 3550
96.61	o 22106
96.61	c 3546
96.67	o 22108
96.67	c 3544
96.73	o 22109
96.73	c 3543
96.78	o 22110
96.78	c 3542
96.84	o 22112
96.84	c 3540
96.94	o 22113
96.94	c 3539
97.10	o 22116
97.10	c 3536
97.15	o 22122
97.15	c 3530
97.20	o 22127
97.20	c 3525
97.31	o 22130
97.31	c 3522
97.36	o 22131
97.36	c 3521
97.52	o 22133
97.52	c 3519
97.57	o 22138
97.57	c 3514
97.62	o 22140
97.62	c 3512
97.68	o 22142
97.68	c 3510
97.73	o 22143
97.73	c 3509
97.83	o 22145
97.83	c 3507
97.99	o 22147
97.99	c 3505
98.03	o 22149
98.03	c 3503
98.08	o 22152
98.08	c 3500
98.13	o 22153
98.13	c 3499
98.19	o 22154
98.19	c 3498
98.28	o 22156
98.28	c 3496
98.33	o 22159
98.33	c 3493
98.49	o 22160
98.49	c 3492
98.54	o 22165
98.54	c 3487
98.68	o 22166
98.68	c 3486
98.78	o 22169
98.78	c 3483
99.09	o 22170
99.09	c 3482
99.25	o 22172
99.25	c 3480
99.30	o 22173
99.30	c 3479
99.56	o 22175
99.56	c 3477
99.61	o 22177
99.61	c 3475
99.71	o 22178
99.71	c 3474
99.77	o 22181
99.77	c 3471
99.92	o 22182
99.92	c 3470
100.03	o 22187
100.03	c 3465
100.08	o 22188
100.08	c 3464
100.13	o 22191
100.13	c 3461
100.18	o 22195
100.18	c 3457
100.23	o 22196
100.23	c 3456
100.28	o 22198
100.28	c 3454
100.38	o 22201
100.38	c 3451
100.68	o 22202
100.68	c 3450
100.78	o 22205
100.78	c 3447
100.83	o 22206
100.83	c 3446
100.94	o 22208
100.94	c 3444
100.99	o 22210
100.99	c 3442
101.05	o 22213
101.05	c 3439
101.20	o 22216
101.20	c 3436
101.23	o 22219
101.23	c 3433
101.29	o 22220
101.29	c 3432
101.34	o 22224
101.34	c 3428
101.39	o 22226
101.39	c 3426
101.49	o 22230
101.49	c 3422
101.55	o 22232
101.55	c 3420
101.60	o 22235
101.60	c 3417
101.66	o 22237
101.66	c 3415
101.88	o 22240
101.88	c 3412
101.93	o 22242
101.93	c 3410
101.99	o 22245
101.99	c 3407
102.03	o 22249
102.03	c 3403
102.09	o 22250
102.09	c 3402
102.14	o 22253
102.14	c 3399
102.18	o 22257
102.18	c 3395
102.45	o 22258
102.45	c 3394
102.72	o 22259
102.72	c 3393
103.25	o 22260
103.25	c 3392
103.31	o 22264
103.31	c 3388
103.41	o 22266
103.41	c 3386
103.56	o 22267
103.56	c 3385
103.61	o 22269
103.61	c 3383
104.08	o 22272
104.08	c 3380
104.18	o 22274
104.18	c 3378
104.34	o 22275
104.34	c 3377
104.44	o 22280
104.44	c 3372
104.60	o 22282
104.60	c 3370
104.70	o 22286
104.70	c 3366
104.76	o 22288
104.76	c 3364
104.81	o 22289
104.81	c 3363
104.87	o 22293
104.87	c 3359
105.42	o 22297
105.42	c 3355
105.54	o 22299
105.54	c 3353
105.76	o 22300
105.77	c 3352
105.94	o 22302
105.94	c 3350
106.00	o 22306
106.00	c 3346
106.06	o 22308
106.06	c 3344
106.12	o 22309
106.12	c 3343
106.49	o 22310
106.49	c 3342
107.38	o 22312
107.38	c 3340
107.58	o 22313
107.58	c 3339
108.23	o 22315
108.23	c 3337
108.30	o 22316
108.30	c 3336
108.37	o 22318
108.37	c 3334
108.44	o 22320
108.44	c 3332
108.51	o 22324
108.51	c 3328
108.64	o 22326
108.64	c 3326
108.72	o 22328
108.72	c 3324
108.86	o 22333
108.86	c 3319
109.21	o 22335
109.21	c 3317
109.28	o 22340
109.28	c 3312
109.35	o 22341
109.35	c 3311
109.89	o 22343
109.89	c 3309
109.96	o 22345
109.96	c 3307
110.37	o 22346
110.37	c 3306
110.44	o 22347
110.44	c 3305
110.90	o 22349
110.90	c 3303
110.96	o 22352
110.96	c 3300
111.09	o 22354
111.09	c 3298
111.23	o 22356
111.23	c 3296
111.37	o 22357
111.37	c 3295
112.06	o 22358
112.06	c 3294
112.20	o 22360
112.20	c 3292
112.27	o 22361
112.27	c 3291
112.41	o 22362
112.41	c 3290
112.48	o 22364
112.48	c 3288
112.52	o 22368
112.52	c 3284
112.59	o 22370
112.59	c 3282
112.72	o 22371
112.72	c 3281
112.79	o 22372
112.79	c 3280
112.92	o 22373
112.92	c 3279
112.97	o 22376
112.97	c 3276
113.04	o 22379
113.04	c 3273
113.24	o 22380
113.24	c 3272
113.37	o 22381
113.37	c 3271
113.44	o 22382
113.44	c 3270
113.51	o 22384
113.51	c 3268
113.58	o 22388
113.58	c 3264
113.71	o 22389
113.71	c 3263
113.77	o 22391
113.77	c 3261
113.84	o 22392
113.84	c 3260
113.91	o 22395
113.91	c 3257
113.98	o 22397
113.98	c 3255
114.04	o 22398
114.04	c 3254
114.17	o 22400
114.17	c 3252
114.24	o 22402
114.24	c 3250
114.44	o 22404
114.44	c 3248
114.51	o 22405
114.51	c 3247
114.58	o 22406
114.58	c 3246
114.77	o 22410
114.77	c 3242
114.90	o 22412
114.90	c 3240
114.97	o 22414
114.97	c 3238
115.10	o 22416
115.11	c 3236
115.24	o 22417
115.24	c 3235
115.31	o 22419
115.31	c 3233
115.38	o 22420
115.38	c 3232
115.51	o 22422
115.51	c 3230
115.89	o 22424
115.89	c 3228
115.92	o 22428
115.92	c 3224
115.98	o 22430
115.98	c 3222
116.12	o 22431
116.12	c 3221
116.18	o 22433
116.18	c 3219
116.24	o 22435
116.24	c 3217
116.31	o 22436
116.31	c 3216
116.49	o 22437
116.49	c 3215
116.54	o 22442
116.54	c 3210
116.73	o 22443
116.73	c 3209
116.96	o 22446
116.96	c 3206
117.03	o 22448
117.03	c 3204
117.09	o 22452
117.09	c 3200
117.16	o 22454
117.16	c 3198
117.23	o 22456
117.23	c 3196
117.29	o 22458
117.29	c 3194
117.36	o 22460
117.36	c 3192
117.43	o 22461
117.43	c 3191
117.50	o 22462
117.50	c 3190
117.57	o 22463
117.57	c 3189
117.63	o 22464
117.63	c 3188
117.70	o 22466
117.70	c 3186
117.77	o 22469
117.77	c 3183
117.96	o 22473
117.96	c 3179
118.08	o 22474
118.08	c 3178
118.21	o 22479
118.21	c 3173
118.28	o 22484
118.28	c 3168
118.34	o 22485
118.34	c 3167
118.54	o 22486
118.54	c 3166
118.60	o 22487
118.60	c 3165
118.99	o 22488
118.99	c 3164
119.05	o 22489
119.05	c 3163
119.18	o 22490
119.18	c 3162
119.25	o 22491
119.25	c 3161
119.32	o 22494
119.32	c 3158
119.38	o 22497
119.38	c 3155
119.45	o 22500
119.45	c 3152
119.91	o 22503
119.91	c 3149
119.98	o 22506
119.98	c 3146
120.05	o 22507
120.05	c 3145
120.19	o 22509
120.19	c 3143
120.24	o 22513
120.24	c 3139
120.31	o 22515
120.31	c 3137
120.37	o 22518
120.37	c 3134
120.70	o 22519
120.70	c 3133
120.77	o 22521
120.77	c 3131
120.84	o 22522
120.84	c 3130
120.86	o 22525
120.86	c 3127
121.26	o 22526
121.26	c 3126
121.32	o 22527
121.32	c 3125
121.39	o 22528
121.39	c 3124
121.52	o 22529
121.52	c 3123
121.58	o 22534
121.58	c 3118
121.71	o 22535
121.71	c 3117
121.83	o 22539
121.83	c 3113
121.90	o 22541
121.90	c 3111
121.94	o 22546
121.94	c 3106
122.06	o 22547
122.06	c 3105
122.25	o 22548
122.25	c 3104
122.31	o 22550
122.31	c 3102
122.44	o 22552
122.44	c 3100
122.50	o 22556
122.50	c 3096
122.57	o 22559
122.57	c 3093
122.63	o 22560
122.63	c 3092
122.76	o 22562
122.76	c 3090
122.83	o 22563
122.83	c 3089
123.07	o 22564
123.07	c 3088
123.13	o 22566
123.14	c 3086
123.26	o 22567
123.26	c 3085
123.38	o 22568
123.38	c 3084
123.51	o 22570
123.51	c 3082
123.58	o 22571
123.58	c 3081
123.70	o 22573
123.70	c 3079
123.83	o 22576
123.83	c 3076
124.27	o 22577
124.27	c 3075
124.33	o 22580
124.33	c 3072
124.39	o 22582
124.39	c 3070
124.52	o 22583
124.52	c 3069
124.63	o 22587
124.63	c 3065
124.74	o 22588
124.74	c 3064
124.80	o 22591
124.80	c 3061
124.87	o 22592
124.87	c 3060
124.99	o 22593
124.99	c 3059
125.31	o 22594
125.31	c 3058
125.37	o 22595
125.37	c 3057
125.49	o 22597
125.49	c 3055
125.55	o 22599
125.55	c 3053
125.61	o 22600
125.61	c 3052
125.67	o 22601
125.67	c 3051
125.73	o 22604
125.73	c 3048
125.86	o 22607
125.86	c 3045
125.92	o 22609
125.92	c 3043
125.99	o 22611
125.99	c 3041
126.05	o 22613
126.05	c 3039
126.11	o 22615
126.11	c 3037
127.53	o 22617
127.53	c 3035
127.60	o 22619
127.60	c 3033
127.84	o 22620
127.84	c 3032
127.90	o 22621
127.90	c 3031
127.97	o 22623
127.97	c 3029
128.03	o 22626
128.03	c 3026
128.10	o 22628
128.10	c 3024
128.15	o 22630
128.15	c 3022
128.21	o 22631
128.21	c 3021
128.28	o 22633
128.28	c 3019
128.40	o 22636
128.40	c 3016
128.47	o 22637
128.47	c 3015
128.53	o 22638
128.53	c 3014
128.60	o 22641
128.60	c 3011
128.66	o 22643
128.66	c 3009
128.72	o 22645
128.72	c 3007
128.85	o 22646
128.85	c 3006
128.92	o 22648
128.92	c 3004
128.98	o 22649
128.98	c 3003
129.05	o 22650
129.05	c 3002
129.11	o 22652
129.11	c 3000
129.37	o 22653
129.37	c 2999
129.44	o 22655
129.44	c 2997
129.51	o 22656
129.51	c 2996
129.62	o 22659
129.62	c 2993
130.00	o 22660
130.00	c 2992
130.33	o 22661
130.33	c 2991
130.40	o 22662
130.40	c 2990
130.47	o 22663
130.47	c 2989
130.53	o 22664
130.53	c 2988
130.66	o 22666
130.66	c 2986
130.74	o 22668
130.74	c 2984
131.26	o 22670
131.26	c 2982
131.41	o 22671
131.41	c 2981
131.48	o 22672
131.48	c 2980
131.69	o 22675
131.69	c 2977
131.90	o 22677
131.90	c 2975
131.98	o 22678
131.98	c 2974
132.05	o 22681
132.05	c 2971
132.12	o 22683
132.12	c 2969
132.19	o 22684
132.19	c 2968
132.69	o 22686
132.69	c 2966
132.83	o 22688
132.83	c 2964
132.90	o 22690
132.90	c 2962
132.98	o 22692
132.98	c 2960
133.05	o 22693
133.05	c 2959
133.33	o 22695
133.33	c 2957
133.40	o 22696
133.40	c 2956
133.55	o 22698
133.55	c 2954
133.62	o 22700
133.62	c 2952
133.69	o 22701
133.69	c 2951
133.76	o 22703
133.76	c 2949
133.91	o 22704
133.91	c 2948
133.98	o 22706
133.98	c 2946
134.06	o 22709
134.06	c 2943
134.13	o 22711
134.13	c 2941
134.22	o 22713
134.22	c 2939
134.36	o 22714
134.36	c 2938
134.51	o 22717
134.51	c 2935
134.58	o 22718
134.58	c 2934
135.64	o 22720
135.64	c 2932
136.02	o 22721
136.02	c 2931
136.10	o 22723
136.10	c 2929
136.17	o 22726
136.17	c 2926
136.25	o 22729
136.25	c 2923
136.33	o 22733
136.33	c 2919
136.39	o 22736
136.39	c 2916
136.84	o 22737
136.84	c 2915
137.01	o 22738
137.01	c 2914
137.09	o 22740
137.09	c 2912
137.33	o 22741
137.33	c 2911
138.73	o 22742
138.73	c 2910
138.81	o 22745
138.81	c 2907
139.20	o 22746
139.20	c 2906
139.44	o 22748
139.44	c 2904
139.90	o 22753
139.90	c 2899
140.05	o 22754
140.05	c 2898
140.12	o 22756
140.12	c 2896
140.49	o 22758
140.49	c 2894
140.54	o 22759
140.54	c 2893
140.93	o 22760
140.93	c 2892
141.16	o 22762
141.17	c 2890
141.20	o 22766
141.20	c 2886
141.27	o 22767
141.27	c 2885
141.35	o 22771
141.35	c 2881
141.43	o 22773
141.43	c 2879
141.51	o 22776
141.51	c 2876
141.66	o 22778
141.66	c 2874
142.04	o 22780
142.04	c 2872
142.12	o 22781
142.12	c 2871
142.21	o 22782
142.21	c 2870
142.36	o 22784
142.36	c 2868
142.44	o 22785
142.44	c 2867
142.52	o 22789
142.52	c 2863
142.68	o 22791
142.68	c 2861
142.76	o 22794
142.76	c 2858
142.84	o 22795
142.84	c 2857
142.92	o 22797
142.92	c 2855
144.59	o 22798
144.59	c 2854
144.68	o 22800
144.68	c 2852
144.77	o 22803
144.77	c 2849
144.86	o 22805
144.86	c 2847
144.95	o 22808
144.95	c 2844
145.03	o 22813
145.03	c 2839
145.12	o 22816
145.12	c 2836
145.28	o 22819
145.28	c 2833
146.85	o 22820
146.85	c 2832
146.93	o 22822
146.93	c 2830
147.32	o 22826
147.32	c 2826
147.40	o 22829
147.40	c 2823
147.66	o 22830
147.66	c 2822
147.74	o 22832
147.74	c 2820
147.82	o 22834
147.82	c 2818
147.99	o 22837
147.99	c 2815
148.15	o 22839
148.15	c 2813
148.40	o 22841
148.40	c 2811
148.48	o 22845
148.48	c 2807
148.57	o 22847
148.57	c 2805
148.89	o 22848
148.89	c 2804
149.01	o 22849
149.01	c 2803
149.35	o 22852
149.35	c 2800
149.52	o 22853
149.52	c 2799
149.61	o 22854
149.61	c 2798
149.79	o 22856
149.79	c 2796
150.13	o 22857
150.13	c 2795
150.21	o 22859
150.22	c 2793
150.48	o 22861
150.48	c 2791
150.57	o 22862
150.57	c 2790
151.41	o 22863
151.41	c 2789
151.50	o 22864
151.50	c 2788
151.78	o 22865
151.78	c 2787
151.88	o 22866
151.88	c 2786
151.97	o 22867
151.97	c 2785
152.06	o 22868
152.06	c 2784
152.15	o 22870
152.15	c 2782
152.24	o 22872
152.24	c 2780
152.43	o 22874
152.43	c 2778
152.52	o 22877
152.52	c 2775
152.70	o 22878
152.70	c 2774
152.89	o 22881
152.89	c 2771
152.96	o 22883
152.96	c 2769
153.05	o 22886
153.05	c 2766
153.68	o 22887
153.68	c 2765
154.33	o 22889
154.33	c 2763
157.01	o 22890
157.01	c 2762
157.09	o 22891
157.09	c 2761
157.18	o 22892
157.18	c 2760
157.50	o 22894
157.50	c 2758
157.59	o 22896
157.59	c 2756
157.72	o 22897
157.72	c 2755
157.81	o 22899
157.81	c 2753
157.98	o 22900
157.98	c 2752
158.07	o 22903
158.07	c 2749
158.49	o 22904
158.49	c 2748
158.57	o 22905
158.57	c 2747
158.74	o 22907
158.74	c 2745
158.83	o 22908
158.83	c 2744
159.09	o 22909
159.09	c 2743
159.22	o 22911
159.22	c 2741
159.32	o 22914
159.32	c 2738
159.49	o 22915
159.49	c 2737
159.75	o 22916
159.75	c 2736
160.01	o 22917
160.01	c 2735
160.10	o 22918
160.10	c 2734
160.18	o 22919
160.18	c 2733
160.79	o 22920
160.79	c 2732
161.29	o 22921
161.29	c 2731
161.38	o 22922
161.38	c 2730
161.56	o 22924
161.56	c 2728
161.65	o 22925
161.65	c 2727
162.08	o 22926
162.08	c 2726
162.17	o 22929
162.17	c 2723
162.26	o 22931
162.26	c 2721
162.40	o 22934
162.40	c 2718
162.49	o 22935
162.49	c 2717
162.57	o 22940
162.57	c 2712
162.75	o 22941
162.75	c 2711
162.84	o 22942
162.84	c 2710
162.93	o 22943
162.93	c 2709
163.02	o 22944
163.02	c 2708
163.20	o 22945
163.20	c 2707
163.47	o 22946
163.47	c 2706
163.55	o 22948
163.55	c 2704
163.69	o 22950
163.69	c 2702
165.85	o 22953
165.85	c 2699
165.96	o 22954
165.96	c 2698
166.06	o 22956
166.06	c 2696
166.16	o 22957
166.16	c 2695
166.26	o 22958
166.26	c 2694
166.37	o 22960
166.37	c 2692
166.57	o 22961
166.57	c 2691
166.67	o 22963
166.67	c 2689
166.78	o 22965
166.78	c 2687
166.88	o 22966
166.88	c 2686
166.99	o 22969
166.99	c 2683
167.24	o 22970
167.24	c 2682
167.32	o 22972
167.32	c 2680
169.32	o 22976
169.32	c 2676
169.64	o 22978
169.64	c 2674
169.83	o 22982
169.83	c 2670
178.47	o 22984
178.47	c 2668
178.70	o 22988
178.70	c 2664
178.81	o 22992
178.81	c 2660
178.91	o 22993
178.91	c 2659
179.28	o 22995
179.28	c 2657
179.40	o 22996
179.40	c 2656
179.63	o 22997
179.63	c 2655
179.84	o 23001
179.84	c 2651
181.60	o 23002
181.60	c 2650
181.72	o 23003
181.72	c 2649
181.93	o 23005
181.93	c 2647
182.04	o 23008
182.04	c 2644
183.08	o 23009
183.08	c 2643
183.98	o 23010
183.98	c 2642
186.75	o 23011
186.75	c 2641
186.96	o 23012
186.96	c 2640
187.06	o 23013
187.06	c 2639
187.16	o 23016
187.17	c 2636
187.57	o 23018
187.57	c 2634
187.68	o 23021
187.68	c 2631
187.78	o 23022
187.78	c 2630
187.87	o 23025
187.87	c 2627
187.97	o 23027
187.97	c 2625
188.18	o 23028
188.18	c 2624
188.28	o 23029
188.28	c 2623
188.60	o 23033
188.60	c 2619
188.81	o 23035
188.81	c 2617
188.91	o 23038
188.91	c 2614
189.02	o 23040
189.02	c 2612
189.65	o 23041
189.65	c 2611
189.76	o 23042
189.76	c 2610
189.87	o 23044
189.87	c 2608
189.97	o 23046
189.97	c 2606
190.06	o 23048
190.06	c 2604
190.27	o 23049
190.27	c 2603
191.03	o 23051
191.03	c 2601
194.93	o 23053
194.93	c 2599
195.17	o 23055
195.17	c 2597
196.12	o 23056
196.12	c 2596
196.35	o 23057
196.35	c 2595
196.58	o 23058
196.58	c 2594
196.70	o 23059
196.70	c 2593
196.82	o 23061
196.82	c 2591
196.91	o 23062
196.91	c 2590
199.33	o 23065
199.33	c 2587
199.45	o 23067
199.45	c 2585
200.08	o 23070
200.08	c 2582
200.21	o 23073
200.21	c 2579
200.46	o 23075
200.46	c 2577
200.57	o 23077
200.57	c 2575
200.82	o 23078
200.82	c 2574
201.70	o 23079
201.70	c 2573
204.39	o 23082
204.39	c 2570
204.60	o 23083
204.60	c 2569
204.72	o 23086
204.72	c 2566
204.96	o 23090
204.96	c 2562
205.08	o 23092
205.08	c 2560
205.32	o 23093
205.32	c 2559
206.75	o 23097
206.75	c 2555
206.81	o 23098
206.81	c 2554
207.29	o 23100
207.29	c 2552
209.30	o 23103
209.30	c 2549
209.66	o 23104
209.66	c 2548
210.27	o 23105
210.27	c 2547
212.16	o 23106
212.16	c 2546
212.28	o 23107
212.29	c 2545
214.67	o 23109
214.67	c 2543
215.16	o 23113
215.16	c 2539
215.41	o 23114
215.41	c 2538
215.76	o 23115
215.76	c 2537
216.50	o 23116
216.50	c 2536
216.62	o 23120
216.62	c 2532
216.73	o 23123
216.73	c 2529
216.85	o 23125
216.85	c 2527
216.98	o 23127
216.98	c 2525
218.59	o 23129
218.59	c 2523
219.39	o 23131
219.39	c 2521
219.72	o 23133
219.72	c 2519
219.77	o 23138
219.77	c 2514
220.43	o 23140
220.43	c 2512
220.55	o 23141
220.55	c 2511
220.64	o 23143
220.64	c 2509
222.45	o 23144
222.45	c 2508
223.01	o 23148
223.01	c 2504
223.56	o 23150
223.56	c 2502
223.80	o 23151
223.80	c 2501
224.40	o 23152
224.40	c 2500
224.83	o 23154
224.83	c 2498
225.53	o 23155
225.53	c 2497
225.62	o 23159
225.62	c 2493
225.74	o 23164
225.74	c 2488
225.97	o 23165
225.97	c 2487
226.08	o 23168
226.08	c 2484
226.19	o 23170
226.19	c 2482
226.41	o 23172
226.41	c 2480
226.53	o 23173
226.53	c 2479
226.75	o 23174
226.75	c 2478
227.08	o 23175
227.08	c 2477
227.73	o 23176
227.73	c 2476
227.81	o 23177
227.81	c 2475
232.36	o 23178
232.36	c 2474
233.51	o 23180
233.51	c 2472
233.84	o 23181
233.84	c 2471
234.07	o 23183
234.07	c 2469
234.30	o 23186
234.30	c 2466
235.14	o 23187
235.14	c 2465
235.49	o 23191
235.49	c 2461
235.60	o 23192
235.60	c 2460
235.72	o 23194
235.72	c 2458
235.96	o 23196
235.96	c 2456
236.07	o 23198
236.07	c 2454
236.19	o 23203
236.19	c 2449
236.29	o 23204
236.29	c 2448
236.40	o 23207
236.40	c 2445
236.75	o 23211
236.75	c 2441
236.87	o 23212
236.87	c 2440
236.97	o 23217
236.97	c 2435
237.09	o 23220
237.09	c 2432
237.79	o 23221
237.79	c 2431
238.48	o 23223
238.48	c 2429
239.49	o 23224
239.49	c 2428
239.72	o 23225
239.72	c 2427
239.82	o 23226
239.82	c 2426
241.63	o 23229
241.63	c 2423
242.06	o 23230
242.06	c 2422
242.18	o 23231
242.18	c 2421
242.20	o 23234
242.20	c 2418
242.31	o 23236
242.31	c 2416
242.47	o 23241
242.47	c 2411
242.59	o 23245
242.59	c 2407
242.82	o 23246
242.82	c 2406
243.04	o 23247
243.04	c 2405
243.51	o 23249
243.51	c 2403
243.74	o 23251
243.74	c 2401
244.04	o 23254
244.04	c 2398
244.25	o 23255
244.25	c 2397
245.41	o 23256
245.41	c 2396
245.74	o 23257
245.74	c 2395
250.07	o 23258
250.07	c 2394
250.19	o 23259
250.19	c 2393
250.30	o 23261
250.30	c 2391
250.61	o 23262
250.61	c 2390
250.83	o 23263
250.83	c 2389
250.95	o 23265
250.95	c 2387
251.39	o 23268
251.39	c 2384
251.62	o 23269
251.62	c 2383
251.73	o 23271
251.73	c 2381
251.85	o 23275
251.85	c 2377
251.96	o 23276
251.96	c 2376
252.19	o 23277
252.19	c 2375
252.41	o 23278
252.41	c 2374
252.64	o 23280
252.64	c 2372
252.76	o 23284
252.76	c 2368
253.00	o 23286
253.00	c 2366
253.24	o 23287
253.24	c 2365
254.30	o 23290
254.30	c 2362
254.41	o 23291
254.41	c 2361
255.00	o 23293
255.00	c 2359
255.11	o 23294
255.11	c 2358
255.23	o 23295
255.23	c 2357
255.31	o 23296
255.31	c 2356
255.66	o 23302
255.66	c 2350
255.90	o 23304
255.90	c 2348
263.89	o 23306
263.89	c 2346
264.00	o 23307
264.00	c 2345
264.12	o 23308
264.12	c 2344
265.33	o 23311
265.33	c 2341
265.70	o 23312
265.70	c 2340
266.55	o 23313
266.55	c 2339
266.68	o 23314
266.68	c 2338
266.80	o 23318
266.80	c 2334
267.65	o 23320
267.65	c 2332
270.96	o 23321
270.96	c 2331
271.08	o 23322
271.08	c 2330
271.32	o 23323
271.32	c 2329
271.68	o 23325
271.68	c 2327
273.29	o 23326
273.29	c 2326
274.11	o 23327
274.11	c 2325
274.24	o 23328
274.24	c 2324
274.36	o 23330
274.36	c 2322
274.58	o 23333
274.58	c 2319
275.27	o 23335
275.27	c 2317
275.40	o 23336
275.40	c 2316
275.52	o 23337
275.52	c 2315
275.71	o 23339
275.71	c 2313
275.81	o 23341
275.81	c 2311
276.06	o 23342
276.06	c 2310
276.67	o 23344
276.67	c 2308
277.12	o 23345
277.12	c 2307
277.25	o 23346
277.25	c 2306
277.38	o 23347
277.38	c 2305
278.60	o 23349
278.60	c 2303
278.68	o 23350
278.68	c 2302
278.76	o 23353
278.76	c 2299
279.11	o 23354
279.11	c 2298
279.23	o 23356
279.23	c 2296
280.05	o 23357
280.05	c 2295
280.11	o 23360
280.11	c 2292
280.22	o 23361
280.22	c 2291
280.70	o 23362
280.70	c 2290
280.83	o 23363
280.83	c 2289
281.07	o 23364
281.07	c 2288
281.17	o 23366
281.17	c 2286
281.42	o 23367
281.42	c 2285
281.54	o 23370
281.54	c 2282
281.66	o 23371
281.66	c 2281
282.03	o 23372
282.03	c 2280
282.15	o 23373
282.15	c 2279
283.00	o 23374
283.00	c 2278
283.13	o 23375
283.13	c 2277
283.39	o 23378
283.39	c 2274
283.52	o 23379
283.52	c 2273
283.65	o 23381
283.65	c 2271
283.91	o 23385
283.91	c 2267
284.04	o 23386
284.04	c 2266
284.84	o 23389
284.84	c 2263
285.09	o 23390
285.09	c 2262
285.22	o 23391
285.22	c 2261
285.29	o 23392
285.29	c 2260
285.35	o 23393
285.35	c 2259
285.48	o 23394
285.48	c 2258
285.62	o 23395
285.62	c 2257
287.40	o 23396
287.40	c 2256
287.53	o 23397
287.53	c 2255
288.32	o 23398
288.32	c 2254
288.46	o 23400
288.46	c 2252
288.59	o 23403
288.59	c 2249
291.08	o 23404
291.08	c 2248
291.21	o 23408
291.21	c 2244
291.32	o 23409
291.32	c 2243
291.70	o 23411
291.70	c 2241
291.83	o 23413
291.83	c 2239
292.10	o 23415
292.10	c 2237
292.33	o 23419
292.33	c 2233
292.43	o 23421
292.43	c 2231
292.53	o 23423
292.53	c 2229
292.66	o 23425
292.66	c 2227
293.92	o 23426
293.92	c 2226
294.05	o 23427
294.05	c 2225
294.18	o 23429
294.18	c 2223
294.71	o 23430
294.71	c 2222
294.84	o 23431
294.84	c 2221
294.97	o 23432
294.97	c 2220
295.71	o 23433
295.71	c 2219
295.81	o 23435
295.81	c 2217
299.38	o 23436
299.38	c 2216
299.78	o 23439
299.78	c 2213
300.05	o 23441
300.05	c 2211
300.18	o 23442
300.18	c 2210
300.29	o 23445
300.29	c 2207
300.39	o 23447
300.39	c 2205
305.63	o 23449
305.63	c 2203
305.76	o 23450
305.76	c 2202
305.88	o 23452
305.88	c 2200
306.01	o 23454
306.01	c 2198
306.14	o 23456
306.14	c 2196
306.24	o 23458
306.24	c 2194
306.34	o 23459
306.34	c 2193
306.41	o 23464
306.41	c 2188
306.45	o 23467
306.45	c 2185
306.58	o 23469
306.58	c 2183
306.69	o 23471
306.69	c 2181
306.82	o 23472
306.82	c 2180
306.94	o 23473
306.94	c 2179
307.07	o 23476
307.07	c 2176
307.19	o 23477
307.19	c 2175
307.32	o 23479
307.32	c 2173
307.56	o 23480
307.56	c 2172
308.67	o 23481
308.67	c 2171
308.74	o 23482
308.74	c 2170
310.45	o 23484
310.45	c 2168
310.58	o 23485
310.58	c 2167
310.84	o 23486
310.84	c 2166
311.21	o 23488
311.21	c 2164
311.60	o 23490
311.60	c 2162
311.86	o 23493
311.86	c 2159
311.99	o 23496
311.99	c 2156
312.38	o 23498
312.38	c 2154
312.88	o 23499
312.88	c 2153
313.14	o 23500
313.14	c 2152
313.53	o 23501
313.53	c 2151
313.66	o 23503
313.66	c 2149
315.40	o 23504
315.40	c 2148
315.53	o 23505
315.53	c 2147
315.67	o 23509
315.67	c 2143
315.80	o 23510
315.80	c 2142
319.29	o 23512
319.29	c 2140
319.56	o 23513
319.56	c 2139
319.70	o 23514
319.70	c 2138
319.96	o 23516
319.96	c 2136
321.52	o 23518
321.52	c 2134
321.65	o 23521
321.65	c 2131
322.45	o 23522
322.45	c 2130
322.59	o 23525
322.59	c 2127
322.69	o 23529
322.69	c 2123
322.96	o 23532
322.96	c 2120
323.08	o 23535
323.08	c 2117
323.31	o 23536
323.31	c 2116
324.12	o 23537
324.12	c 2115
324.54	o 23539
324.54	c 2113
324.66	o 23544
324.66	c 2108
325.91	o 23546
325.91	c 2106
326.89	o 23548
326.89	c 2104
328.02	o 23549
328.02	c 2103
328.16	o 23551
328.16	c 2101
328.31	o 23552
328.31	c 2100
329.40	o 23553
329.40	c 2099
329.54	o 23555
329.54	c 2097
329.68	o 23556
329.68	c 2096
332.07	o 23559
332.07	c 2093
332.37	o 23561
332.37	c 2091
332.61	o 23565
332.61	c 2087
332.76	o 23568
332.76	c 2084
333.19	o 23569
333.19	c 2083
334.34	o 23570
334.34	c 2082
334.49	o 23573
334.49	c 2079
335.47	o 23575
335.47	c 2077
340.85	o 23577
340.85	c 2075
341.18	o 23580
341.18	c 2072
341.33	o 23581
341.33	c 2071
341.65	o 23582
341.65	c 2070
341.75	o 23583
341.75	c 2069
341.93	o 23585
341.93	c 2067
342.08	o 23588
342.08	c 2064
342.24	o 23590
342.24	c 2062
342.84	o 23592
342.84	c 2060
343.15	o 23594
343.15	c 2058
343.31	o 23597
343.31	c 2055
343.70	o 23599
343.70	c 2053
344.31	o 23602
344.31	c 2050
344.46	o 23603
344.46	c 2049
344.59	o 23606
344.59	c 2046
344.74	o 23607
344.74	c 2045
345.49	o 23609
345.49	c 2043
345.64	o 23610
345.64	c 2042
345.80	o 23611
345.80	c 2041
345.95	o 23613
345.95	c 2039
346.10	o 23615
346.10	c 2037
346.25	o 23617
346.25	c 2035
346.70	o 23618
346.70	c 2034
347.00	o 23619
347.00	c 2033
347.16	o 23620
347.16	c 2032
347.31	o 23621
347.31	c 2031
355.69	o 23622
355.69	c 2030
356.01	o 23624
356.01	c 2028
356.14	o 23626
356.14	c 2026
356.60	o 23627
356.60	c 2025
356.90	o 23630
356.90	c 2022
357.37	o 23631
357.37	c 2021
357.53	o 23632
357.53	c 2020
358.00	o 23633
358.00	c 2019
358.32	o 23634
358.32	c 2018
358.63	o 23635
358.63	c 2017
358.90	o 23638
358.90	c 2014
359.08	o 23642
359.08	c 2010
359.23	o 23645
359.23	c 2007
359.51	o 23646
359.51	c 2006
359.66	o 23648
359.66	c 2004
360.33	o 23649
360.33	c 2003
360.62	o 23653
360.62	c 1999
360.75	o 23657
360.75	c 1995
360.89	o 23658
360.89	c 1994
361.04	o 23662
361.04	c 1990
361.19	o 23667
361.19	c 1985
361.69	o 23671
361.69	c 1981
361.76	o 23673
361.76	c 1979
361.85	o 23676
361.85	c 1976
361.96	o 23677
361.96	c 1975
365.87	o 23678
365.87	c 1974
366.00	o 23681
366.00	c 1971
366.15	o 23683
366.15	c 1969
366.31	o 23684
366.31	c 1968
369.98	o 23687
369.98	c 1965
370.14	o 23688
370.14	c 1964
371.22	o 23690
371.22	c 1962
371.37	o 23691
371.37	c 1961
371.53	o 23692
371.53	c 1960
372.16	o 23695
372.16	c 1957
372.88	o 23699
372.88	c 1953
374.87	o 23702
374.87	c 1950
376.94	o 23703
376.94	c 1949
385.46	o 23704
385.46	c 1948
385.77	o 23705
385.77	c 1947
386.08	o 23706
386.08	c 1946
386.63	o 23707
386.63	c 1945
387.63	o 23708
387.63	c 1944
389.19	o 23709
389.19	c 1943
389.35	o 23712
389.35	c 1940
396.58	o 23714
396.58	c 1938
396.73	o 23715
396.73	c 1937
397.46	o 23716
397.46	c 1936
397.61	o 23717
397.61	c 1935
397.76	o 23719
397.76	c 1933
397.91	o 23720
397.91	c 1932
398.06	o 23722
398.06	c 1930
398.37	o 23724
398.37	c 1928
398.49	o 23726
398.49	c 1926
399.61	o 23727
399.61	c 1925
400.60	o 23728
400.60	c 1924
400.75	o 23731
400.75	c 1921
401.65	o 23732
401.65	c 1920
401.81	o 23733
401.81	c 1919
401.93	o 23734
401.93	c 1918
425.54	o 23736
425.54	c 1916
425.86	o 23737
425.86	c 1915
426.18	o 23738
426.18	c 1914
430.44	o 23741
430.44	c 1911
432.64	o 23743
432.64	c 1909
432.80	o 23745
432.80	c 1907
436.67	o 23749
436.67	c 1903
436.98	o 23750
436.98	c 1902
439.01	o 23752
439.01	c 1900
439.28	o 23754
439.28	c 1898
439.60	o 23758
439.60	c 1894
439.76	o 23761
439.76	c 1891
440.40	o 23762
440.40	c 1890
441.30	o 23763
441.30	c 1889
441.46	o 23764
441.46	c 1888
441.78	o 23765
441.78	c 1887
446.48	o 23766
446.48	c 1886
447.73	o 23770
447.73	c 1882
448.30	o 23771
448.30	c 1881
449.78	o 23774
449.78	c 1878
450.38	o 23776
450.38	c 1876
451.74	o 23779
451.74	c 1873
452.06	o 23781
452.06	c 1871
452.22	o 23783
452.22	c 1869
453.59	o 23784
453.59	c 1868
453.91	o 23785
453.91	c 1867
453.99	o 23786
453.99	c 1866
454.30	o 23787
454.30	c 1865
463.64	o 23788
463.64	c 1864
463.81	o 23789
463.81	c 1863
463.97	o 23790
463.97	c 1862
464.26	o 23792
464.26	c 1860
464.55	o 23794
464.55	c 1858
464.71	o 23795
464.71	c 1857
464.88	o 23796
464.88	c 1856
465.16	o 23797
465.16	c 1855
465.33	o 23801
465.33	c 1851
465.82	o 23802
465.82	c 1850
466.32	o 23803
466.32	c 1849
466.49	o 23804
466.49	c 1848
468.84	o 23805
468.84	c 1847
468.99	o 23807
468.99	c 1845
469.16	o 23808
469.16	c 1844
469.50	o 23809
469.50	c 1843
476.65	o 23810
476.65	c 1842
476.82	o 23811
476.82	c 1841
476.99	o 23813
476.99	c 1839
477.51	o 23814
477.51	c 1838
477.81	o 23818
477.81	c 1834
478.13	o 23819
478.13	c 1833
480.89	o 23820
480.89	c 1832
481.06	o 23821
481.06	c 1831
482.75	o 23822
482.75	c 1830
482.93	o 23827
482.93	c 1825
483.25	o 23829
483.25	c 1823
483.60	o 23830
483.60	c 1822
483.78	o 23833
483.78	c 1819
492.13	o 23834
492.13	c 1818
493.23	o 23835
493.23	c 1817
493.41	o 23837
493.41	c 1815
493.94	o 23839
493.94	c 1813
494.15	o 23840
494.15	c 1812
494.33	o 23841
494.33	c 1811
494.51	o 23842
494.51	c 1810
495.85	o 23844
495.85	c 1808
498.96	o 23845
498.96	c 1807
499.13	o 23846
499.13	c 1806
499.68	o 23847
499.68	c 1805
500.13	o 23849
500.13	c 1803
505.17	o 23850
505.17	c 1802
505.79	o 23852
505.79	c 1800
505.89	o 23853
505.89	c 1799
506.04	o 23854
506.05	c 1798
506.57	o 23855
506.57	c 1797
506.73	o 23856
506.73	c 1796
507.40	o 23857
507.40	c 1795
508.03	o 23860
508.03	c 1792
508.13	o 23861
508.13	c 1791
513.19	o 23862
513.19	c 1790
513.37	o 23863
513.37	c 1789
513.54	o 23869
513.54	c 1783
514.92	o 23870
514.92	c 1782
515.09	o 23872
515.09	c 1780
515.80	o 23873
515.80	c 1779
516.67	o 23874
516.67	c 1778
516.86	o 23876
516.86	c 1776
517.39	o 23877
517.39	c 1775
523.46	o 23878
523.46	c 1774
524.39	o 23879
524.39	c 1773
524.96	o 23880
524.96	c 1772
525.16	o 23881
525.16	c 1771
527.25	o 23882
527.25	c 1770
527.71	o 23885
527.71	c 1767
527.90	o 23889
527.90	c 1763
528.64	o 23890
528.64	c 1762
528.81	o 23892
528.81	c 1760
529.57	o 23893
529.57	c 1759
529.76	o 23894
529.76	c 1758
530.14	o 23898
530.14	c 1754
531.69	o 23900
531.69	c 1752
531.89	o 23902
531.89	c 1750
532.25	o 23903
532.25	c 1749
532.45	o 23905
532.45	c 1747
532.58	o 23907
532.58	c 1745
533.14	o 23908
533.14	c 1744
533.34	o 23909
533.34	c 1743
533.73	o 23910
533.73	c 1742
533.93	o 23911
533.93	c 1741
534.04	o 23912
534.04	c 1740
534.24	o 23913
534.24	c 1739
534.43	o 23914
534.43	c 1738
534.83	o 23915
534.83	c 1737
535.02	o 23916
535.03	c 1736
537.13	o 23919
537.13	c 1733
537.92	o 23921
537.92	c 1731
538.12	o 23922
538.12	c 1730
538.42	o 23923
538.42	c 1729
538.62	o 23924
538.62	c 1728
539.02	o 23925
539.02	c 1727
539.25	o 23927
539.25	c 1725
539.39	o 23931
539.39	c 1721
539.79	o 23932
539.79	c 1720
539.99	o 23933
539.99	c 1719
540.59	o 23936
540.59	c 1716
540.99	o 23938
540.99	c 1714
546.62	o 23939
546.62	c 1713
548.47	o 23942
548.47	c 1710
548.65	o 23943
548.65	c 1709
549.25	o 23946
549.25	c 1706
549.80	o 23947
549.80	c 1705
550.00	o 23948
550.00	c 1704
550.20	o 23950
550.20	c 1702
550.39	o 23951
550.39	c 1701
550.78	o 23952
550.78	c 1700
554.36	o 23953
554.36	c 1699
554.55	o 23955
554.55	c 1697
554.75	o 23956
554.75	c 1696
560.10	o 23957
560.10	c 1695
560.81	o 23959
560.81	c 1693
572.71	o 23961
572.71	c 1691
573.73	o 23963
573.73	c 1689
603.87	   
603.87	   search
603.87	     run=0  nbConstraintChecks=3250630930  nbAssignments=5476
603.87	       =>  wckTime=544.918  cpuTime=543.99  mem=65M854
603.87	   
603.87	   global
603.87	     nbConstraintChecks=3250630930  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
603.87	     solvingWckTime=544.905  solvingCpuTime=543.98  expiredTime=no  totalExploration=no  nbFoundSolutions=0
603.87	     globalCpuTime=600.97
603.87	       =>  wckTime=603.553  cpuTime=600.91  mem=65M854
603.87	   
603.87	   solver IterativeSystematicSolver being built... 
604.14	       =>  wckTime=603.824  cpuTime=601.11  mem=104M511
604.47	   
604.47	   preprocessing
604.47	     nbConstraintChecks=1388  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
604.47	     detectedInconsistency=no
604.47	       =>  wckTime=0.321  cpuTime=0.31  mem=104M511
1422.03	   
1422.04	   search
1422.04	     run=0  nbConstraintChecks=2924827287  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1097
1422.04	     nbFailedAssignments=39  nbBacktracks=10  nbVisitedNodes=1147  nbRestartNogoods=0
1422.04	       =>  wckTime=817.889  cpuTime=816.97  mem=104M511
2282.19	   
2282.19	   search
2282.19	     run=1  nbConstraintChecks=5870147600  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2194
2282.19	     nbFailedAssignments=79  nbBacktracks=25  nbVisitedNodes=2299  nbRestartNogoods=18
2282.19	       =>  wckTime=1678.042  cpuTime=1676.14  mem=104M511
2403.43	v 2512 2504 2592 -2616 2412 -2460 2500 2356 -2652 2364 -2388 2312 -2572 -2656 2288 -2560 -2424 2284 -2284 -2320 -2340 2308 -2352 -2448 -2280 -2596 2372 2576 2608 2452 -2320 2652 2476 2488 -2616 2292 2316 2452 -2492 -2300 -2320 2280 2528 -2320 2460 2652 2552 2372 -2656 2332 -2432 2568 -2616 -2616 -2656 2580 -2476 2332 2544 -2656 2648 2420 2320 -2320 -2292 -2612 -2280 -2616 -2568 2328 -2648 2656 -2492 2628 -2352 -2468 2640 2584 -2540 2412 -2628 -2364 -2584 2428 2656 -2584 -2396 2616 2460 -2280 -2400 -2368 -2524 2352 2464 2528 2504 -2512 -2476 2572 -2332 2616 -2496 -2432 2320 2600 -2656 2368 -2320 -2468 -2464 -2636 -2372 -2324 -2588 2644 -2656 2648 -2460 -2480 2540 -2476 -2656 -2560 2432 -2604 -2652 2404 2608 -2320 -2460 -2284 -2656 2600 -2332 2516 -2320 -2408 -2652 2340 2404 2304 -2640 -2400 2428 2644 -2564 -2640 2640 -2548 -2480 -2392 2288 -2344 -2604 2656 2280 -2284 -2336 2292 2424 2280 2476 2652 2488 2340 -2432 2616 2372 2440 -2500 -2320 2320 -2380 2648 -2288 2404 -2648 2392 -2336 2496 -2284 2320 -2492 -2616 2364 2520 -2584 -2636 -2472 2324 2320 -2284 2300 2312 2620 -2292 -2320 2616 -2608 2352 2592 -2544 -2616 2572 -2508 -2528 2384 2320 2548 -2600 2448 -2300 -2320 -2580 -2384 2488 -2652 -2356 2344 2344 2652 -2324 -2360 2508 2508 -2604 -2500 -2316 2500 2328 2616 -2280 2648 -2640 2308 -2636 2616 -2648 2656 -2652 -2284 2516 -2324 2372 -2572 -2388 -2320 2388 -2616 2576 2492 2560 2284 -2596 -2324 -2472 2552 2320 -2288 2604 -2500 2440 2376 2568 -2344 -2640 2284 -2560 2656 2320 2564 2636 2568 2484 2648 2320 -2332 2280 2324 -2436 2284 2492 -2388 2616 2328 -2400 2500 -2564 -2416 -2468 -2592 -2396 -2492 2504 2420 2460 2648 -2284 2552 2380 2284 -2508 2616 2504 2608 -2588 -2360 2352 2292 2284 -2480 -2368 -2616 -2508 2484 -2616 -2328 -2384 -2320 -2596 2352 2600 2636 -2324 -2504 2596 2280 -2292 -2612 -2284 2500 -2656 -2284 -2568 -2288 2648 2320 2288 2552 -2476 -2400 2644 2644 2552 -2572 -2472 2364 -2368 2500 -2432 -2616 2564 -2656 2492 -2520 2284 2356 -2340 -2280 -2580 2300 -2612 -2320 2648 -2656 -2452 -2652 -2436 -2336 -2296 -2500 -2408 -2332 -2564 -2504 2412 2324 2436 -2564 2628 2364 2336 -2368 -2368 -2656 2488 2508 -2484 -2612 -2456 -2328 -2516 -2472 2348 2532 -2280 2384 2556 -2556 -2616 2284 2532 -2600 2408 2480 2408 2536 -2336 2304 2516 2376 -2368 -2652 2580 2312 2280 2648 -2656 2612 2472 2412 -2492 -2292 2652 2604 -2544 -2556 2576 -2544 2384 2604 -2340 2420 2568 2612 -2640 2612 2280 2328 -2528 -2540 2652 2364 2324 2612 -2348 2320 2480 2476 2284 -2320 2436 2400 -2296 2584 2516 -2372 2284 2588 2516 -2616 -2656 -2356 2280 2440 -2440 -2284 2508 -2656 -2292 -2440 2504 2444 -2288 2368 -2480 2384 -2616 -2408 2592 -2380 2608 2584 2492 -2464 -2652 2432 2556 -2316 2468 -2416 -2636 2508 2292 -2284 2348 2516 -2608 2372 -2328 -2296 2484 2572 2304 -2476 -2616 -2648 2616 -2376 -2428 2452 -2652 2652 -2536 2324 2656 -2648 -2488 -2652 2460 -2328 2528 -2620 2324 -2364 -2400 -2400 2476 2400 2608 -2284 -2596 2284 2588 2284 2580 -2468 -2608 -2540 2324 -2656 2656 2616 -2320 -2576 -2608 2280 -2592 2572 -2616 -2280 2392 2280 2372 -2576 2380 2396 -2336 -2656 2596 -2320 2636 -2440 2320 2616 -2608 -2516 -2280 -2400 -2588 -2564 -2404 -2616 -2616 2580 -2448 -2280 2512 2656 2460 2284 -2564 2344 -2304 -2576 2616 -2572 -2508 2652 2528 2288 2596 -2468 2384 -2580 -2280 2624 2556 -2596 -2556 2332 -2584 2344 2320 2364 2340 -2552 -2652 2608 2420 2292 -2576 -2596 2444 -2532 -2508 -2476 -2528 -2560 -2648 -2640 -2500 -2284 2504 2604 -2468 -2280 2532 -2612 -2292 -2320 2396 2652 -2364 2652 -2332 -2616 -2468 -2284 2336 2524 -2348 -2656 2320 -2476 2648 -2368 2280 2440 2444 -2480 2528 2532 2628 -2280 -2616 2328 -2504 2324 -2476 2548 -2560 2432 2416 2292 -2332 -2588 2428 -2364 -2400 -2528 2616 2528 2480 -2616 2452 -2380 2480 -2300 2656 -2292 -2320 -2328 -2440 -2612 -2576 2396 -2288 2500 -2392 -2452 -2416 2292 2652 2280 2324 -2388 -2492 -2536 2656 -2592 2656 2336 -2616 2600 -2492 -2612 2564 2436 -2648 -2468 2580 -2332 2288 -2476 2508 2408 -2616 -2648 2364 -2392 2556 -2604 -2420 -2292 -2648 -2320 -2516 2320 2420 -2324 2312 2572 2532 -2616 -2624 2284 2392 -2404 -2420 -2348 2580 -2420 -2656 2400 -2524 -2484 2516 2572 2456 2280 -2280 -2656 2604 -2600 -2320 2488 2412 2296 2552 -2452 2404 -2464 -2532 -2656 2364 2632 2616 -2592 -2288 -2284 -2656 2280 2280 -2592 2324 2616 -2320 2368 2540 2288 2640 2644 2324 2612 2388 2532 -2572 2568 -2636 2284 2596 2612 -2284 -2320 2396 2320 2444 -2532 2540 2500 2528 2516 -2652 2616 -2372 -2280 2536 -2296 2320 -2436 -2568 2328 -2332 -2372 -2404 2432 2428 -2488 2324 2292 2280 -2628 -2512 2504 -2472 -2288 2416 -2512 -2520 -2336 -2648 -2360 2612 -2612 -2616 -2476 2320 -2368 -2516 2368 2320 2520 -2532 2600 2580 -2312 -2612 2280 2360 2596 -2648 2584 -2612 -2284 -2292 -2636 -2452 2480 2412 2656 -2552 2520 2552 2292 2656 -2300 2536 2632 2320 -2340 2340 -2360 -2320 -2616 -2536 2472 -2280 2656 2372 -2512 -2320 2288 -2612 2500 -2524 -2476 2488 -2584 -2432 -2492 2656 2392 2380 2576 -2280 -2504 2356 2452 -2532 -2640 2652 2288 -2324 -2420 -2596 -2636 -2460 -2644 -2528 -2428 -2552 2612 2616 2296 -2284 -2656 2432 -2604 2432 2320 2516 -2436 2592 2396 2296 -2508 2616 2328 -2504 -2460 -2548 2500 -2476 -2280 -2532 -2656 2480 -2508 2416 2332 -2596 2288 -2592 -2580 -2484 -2596 2416 2280 2512 -2568 -2600 -2588 2520 2344 -2476 2648 2392 2324 2596 -2652 2352 2608 -2324 2352 -2424 2652 -2488 2472 2460 2608 -2332 -2460 -2320 2324 -2568 -2640 2500 -2388 2376 -2484 -2356 -2548 2600 2564 2444 2560 -2408 2444 2580 -2504 -2652 2656 2380 2652 -2508 -2620 2548 2416 2448 2508 -2536 -2452 -2404 -2608 2464 2476 2280 -2356 2516 -2280 -2468 2636 -2436 2308 -2548 2392 2396 2556 2444 2616 2608 2640 2288 2484 -2592 -2540 -2656 -2428 2612 -2404 -2496 2332 -2328 -2492 2284 2628 -2648 2560 -2320 2540 -2328 -2468 2516 -2604 2608 -2604 2560 -2544 2520 2336 2284 -2652 -2284 2408 2320 -2544 2656 -2480 -2576 2404 2380 -2320 -2544 -2632 -2332 -2468 2636 -2320 -2524 2440 2656 2320 -2292 -2500 -2556 2320 -2368 2656 -2324 -2316 -2400 -2280 2280 -2656 2400 -2500 2280 -2520 -2540 -2616 2656 2436 2352 2440 2320 2320 -2496 2396 2424 -2324 -2656 -2600 2444 2576 -2640 2388 -2508 -2600 2496 2656 -2652 -2608 -2340 2392 -2652 -2632 2616 -2320 -2612 2364 2436 -2340 -2536 2280 -2600 2460 -2320 -2480 2648 -2292 2624 -2640 2284 -2604 2292 2472 2556 -2504 -2584 2280 2280 -2292 -2328 -2284 -2324 2492 -2576 -2580 -2612 2460 2480 -2540 -2356 2356 2512 -2436 -2616 2616 -2652 2332 2452 -2608 -2472 -2332 -2576 -2616 -2428 -2572 -2320 -2444 2480 2540 -2396 -2376 -2608 2284 -2460 -2612 -2632 2400 -2560 2360 -2472 2280 2600 2344 2280 -2380 -2436 -2648 2544 -2576 2552 2420 2464 -2628 2392 2564 -2360 -2280 2344 2644 -2328 -2332 -2516 2572 -2436 2372 2608 -2612 2468 2504 -2472 -2656 -2280 -2444 -2288 2540 -2612 -2408 2644 2360 2324 2604 -2284 -2604 2300 -2300 -2360 -2480 2424 2608 2576 -2608 -2512 -2656 -2656 -2388 -2580 -2340 2468 2648 -2532 -2320 2320 -2280 -2584 2324 2444 -2280 -2520 -2364 -2332 -2644 -2428 -2388 -2540 2612 -2620 2456 -2620 -2332 2352 -2300 2380 -2596 2616 2352 2592 2400 2476 2632 2436 -2652 2452 -2540 2400 2592 -2332 2568 -2612 -2652 -2528 2568 -2388 2648 -2504 -2332 2472 2464 2324 -2656 -2408 2656 2636 2404 -2304 -2588 2280 2608 2320 2548 2380 2312 2332 2520 2340 2408 -2636 2404 2560 2588 -2612 -2544 2400 2656 -2300 2612 -2588 2468 2432 2496 2620 -2324 2544 2640 -2520 -2536 2392 2608 2608 2504 2312 -2552 2324 2640 2408 -2616 2280 2424 -2324 2356 -2616 -2280 2524 -2632 -2600 2312 2384 -2436 -2420 2656 -2340 2332 -2316 2652 -2376 2584 2320 2320 2484 2548 -2280 -2524 -2524 -2344 2568 2632 2456 -2656 2476 -2548 2356 2604 -2320 -2368 -2460 -2612 2288 -2652 -2460 -2324 -2324 -2652 2616 -2644 -2352 -2328 2596 -2280 2596 2608 -2556 -2608 -2568 2608 2624 2340 2576 2592 -2280 -2580 -2284 -2360 -2452 2436 -2332 2292 -2656 2356 -2284 -2280 -2404 -2492 -2280 2656 -2616 2608 2476 2540 -2492 2612 2508 2324 2580 2588 2412 2596 -2656 -2616 -2556 2628 -2492 -2280 -2400 -2320 2628 -2656 2308 2584 -2280 2528 -2508 -2408 2400 2280 2332 -2316 2532 2584 -2600 -2636 2464 -2652 -2448 -2524 2616 -2416 2328 -2616 2448 2576 -2448 -2516 2608 -2388 -2372 -2296 2620 -2284 2512 -2644 -2528 2588 -2592 2280 2280 -2372 2360 -2656 -2656 2532 2464 -2544 2520 2328 2396 -2388 2320 2280 -2404 -2612 2412 2540 -2656 2360 2596 2532 2280 -2652 2636 2376 2528 2372 2412 2388 2284 -2580 2564 -2532 2608 2492 -2284 -2632 -2328 -2656 -2452 -2288 2512 2576 2280 -2320 -2464 2312 2600 -2392 -2320 2280 2656 2476 -2488 2288 -2280 -2280 -2448 -2332 -2304 2344 -2640 2616 2556 2600 2608 -2324 2656 -2628 -2288 -2608 2596 2336 -2392 -2588 -2348 -2440 -2636 -2488 -2432 -2344 2616 -2616 2332 2560 -2508 2392 2384 -2632 2444 -2572 2652 -2340 2484 -2320 2504 -2420 -2620 2540 2600 -2280 2636 2656 2600 2280 -2612 -2656 2380 -2320 2360 2656 2588 -2368 2288 -2284 2528 -2320 2432 -2640 -2400 2636 2544 2484 2420 -2456 -2636 2560 -2356 2528 -2320 2460 2408 -2280 2472 -2488 -2656 2580 2648 -2588 2652 -2464 2328 -2532 2576 -2396 -2320 2492 2636 -2564 2516 2280 2460 2616 2284 2336 2376 -2452 -2460 -2500 2444 2500 2656 2468 -2632 2624 2280 -2644 2436 -2468 -2500 -2428 2592 -2612 -2520 2420 -2556 -2492 -2640 -2656 2596 2440 -2280 -2656 -2612 2652 2332 2612 2540 2616 -2616 -2416 -2344 2500 -2368 2376 -2284 2320 2616 2500 -2364 2300 2656 2648 2656 -2320 2584 -2380 -2492 -2592 -2604 -2656 2436 2368 -2324 -2512 -2556 2540 2552 -2604 -2620 -2584 2356 -2512 -2360 2536 2588 2656 -2648 -2280 2444 2616 -2464 2516 2516 2600 -2572 -2292 -2524 -2472 2452 2296 -2572 2284 -2280 2656 2480 -2484 -2320 2656 -2524 2612 2516 2476 2440 -2428 2408 2624 -2656 2348 2608 2580 2572 -2480 -2616 2656 2432 2360 2536 2312 2320 2512 -2424 2548 2328 2548 2288 2420 2444 -2324 -2348 2604 2360 2424 2564 2480 2328 -2492 2568 2508 -2584 -2600 -2592 2596 2612 2452 2280 -2304 2612 2588 2360 2404 2552 2596 -2600 2448 2556 2556 -2460 -2472 2556 2592 2568 2320 -2612 2516 -2332 -2608 -2612 -2640 2524 2292 2644 2616 -2608 -2648 2624 -2652 -2336 2308 -2612 -2428 -2280 2652 2504 -2412 -2520 -2488 2564 2548 -2656 -2324 2392 2320 -2396 2412 2616 2412 2544 -2648 -2292 -2568 -2300 -2420 -2520 2544 2444 -2492 2348 -2284 2656 -2596 2440 2576 2320 -2280 -2536 2608 -2436 -2296 -2452 2312 -2384 2632 -2496 -2476 2476 2496 -2340 -2332 2432 -2352 2596 -2612 2428 2280 2412 -2580 2460 2300 -2356 2340 -2512 -2360 2384 2460 -2520 -2568 2380 -2424 2476 2544 -2612 -2280 2332 -2564 2656 2308 2356 2284 -2524 -2604 -2616 -2292 2280 2500 2596 2656 -2448 -2292 2504 2480 2368 -2464 2408 -2284 -2352 2624 -2280 2584 -2652 -2640 2280 2332 -2656 -2572 -2336 2608 2380 -2360 -2616 -2348 -2312 -2280 -2616 -2472 2440 -2484 2464 -2444 2328 2412 -2280 -2348 -2544 2616 -2500 -2616 2408 -2432 2480 -2652 2280 -2324 2476 -2388 2404 -2364 -2640 2596 -2320 -2532 -2476 -2496 2332 -2292 2296 -2536 -2628 2320 -2564 2644 2612 2304 -2480 -2332 -2588 2508 -2476 -2500 -2548 2312 -2332 2648 2484 -2492 -2656 2616 -2532 2652 -2280 -2396 -2436 -2612 2556 -2612 2288 2348 2432 2408 2412 -2372 -2636 2464 -2596 2324 -2548 2656 2280 -2460 -2416 -2636

Verifier Data (download as text)

1689 unsatisfied constraints, 23963 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/node25/watcher-275298-1169219834 -o ROOT/results/node25/solver-275298-1169219834 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275298-1169219834/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: 2.00 2.02 2.00 4/94 10694
/proc/meminfo: memFree=1434184/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=18540 CPUtime=0
/proc/10693/stat : 10693 (runsolver) R 10691 10693 9750 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270375863 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10693/statm: 4635 279 244 17 0 2626 0

[startup+0.103971 s]
/proc/loadavg: 2.00 2.02 2.00 4/94 10694
/proc/meminfo: memFree=1434184/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=914852 CPUtime=0.08
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 2931 0 1 0 6 2 0 0 17 0 8 0 270375863 936808448 2677 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4232156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10693/statm: 228713 2677 1403 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852

[startup+0.51204 s]
/proc/loadavg: 2.00 2.02 2.00 4/94 10694
/proc/meminfo: memFree=1434184/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915332 CPUtime=0.48
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 6837 0 1 0 44 4 0 0 18 0 8 0 270375863 937299968 6576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10693/statm: 228833 6576 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33518 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10701
/proc/meminfo: memFree=1365968/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915612 CPUtime=1.29
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 21299 0 1 0 117 12 0 0 23 0 8 0 270375863 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10693/statm: 228903 21036 2161 14 0 215373 0
[pid=10693/tid=10695] ppid=10691 vsize=915612 CPUtime=0.08
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 4745 0 0 0 6 2 0 0 16 0 8 0 270375867 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915612 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915612 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915612 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915612 CPUtime=0.14
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 404 0 0 0 14 0 0 0 16 0 8 0 270375871 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915612 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937586688 21036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915612 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937586688 21036 18446744073709551615 134512640 134570532 4294956480 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.98146 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10701
/proc/meminfo: memFree=1354512/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915744 CPUtime=2.93
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 22268 0 1 0 280 13 0 0 25 0 8 0 270375863 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10693/statm: 228936 22002 2182 14 0 215406 0
[pid=10693/tid=10695] ppid=10691 vsize=915744 CPUtime=0.13
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 5622 0 0 0 11 2 0 0 17 0 8 0 270375867 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915744 CPUtime=0.17
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 430 0 0 0 17 0 0 0 16 0 8 0 270375871 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937721856 22002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937721856 22002 18446744073709551615 134512640 134570532 4294956480 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.27102 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10701
/proc/meminfo: memFree=1354256/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915744 CPUtime=6.19
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 22278 0 1 0 602 17 0 0 25 0 8 0 270375863 937721856 22010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10693/statm: 228936 22010 2182 14 0 215406 0
[pid=10693/tid=10695] ppid=10691 vsize=915744 CPUtime=0.13
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 5622 0 0 0 11 2 0 0 17 0 8 0 270375867 937721856 22010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937721856 22010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937721856 22010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937721856 22010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915744 CPUtime=0.19
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 437 0 0 0 19 0 0 0 15 0 8 0 270375871 937721856 22010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937721856 22010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937721856 22010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915744

[startup+12.7581 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10701
/proc/meminfo: memFree=1354328/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915744 CPUtime=12.61
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 22289 0 1 0 1235 26 0 0 25 0 8 0 270375863 937721856 22019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10693/statm: 228936 22019 2182 14 0 215406 0
[pid=10693/tid=10695] ppid=10691 vsize=915744 CPUtime=0.13
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 5622 0 0 0 11 2 0 0 16 0 8 0 270375867 937721856 22019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937721856 22019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937721856 22019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937721856 22019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915744 CPUtime=0.2
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 446 0 0 0 20 0 0 0 15 0 8 0 270375871 937721856 22019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937721856 22019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937721856 22019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915744

[startup+25.6073 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10701
/proc/meminfo: memFree=1337816/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915744 CPUtime=25.35
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 26457 0 1 0 2487 48 0 0 25 0 8 0 270375863 937721856 26185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10693/statm: 228936 26185 2182 14 0 215406 0
[pid=10693/tid=10695] ppid=10691 vsize=915744 CPUtime=0.34
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 9787 0 0 0 30 4 0 0 17 0 8 0 270375867 937721856 26185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937721856 26185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937721856 26185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937721856 26185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915744 CPUtime=0.2
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 447 0 0 0 20 0 0 0 16 0 8 0 270375871 937721856 26185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937721856 26185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937721856 26185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915744

[startup+51.2297 s]
/proc/loadavg: 2.06 2.03 2.00 3/101 10701
/proc/meminfo: memFree=1321944/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915744 CPUtime=50.73
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 30436 0 1 0 4966 107 0 0 25 0 8 0 270375863 937721856 30162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10693/statm: 228936 30162 2182 14 0 215406 0
[pid=10693/tid=10695] ppid=10691 vsize=915744 CPUtime=0.55
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 13763 0 0 0 50 5 0 0 16 0 8 0 270375867 937721856 30162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937721856 30162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937721856 30162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937721856 30162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915744 CPUtime=0.21
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 448 0 0 0 21 0 0 0 16 0 8 0 270375871 937721856 30162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937721856 30162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937721856 30162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915744

[startup+102.473 s]
/proc/loadavg: 2.07 2.04 2.00 3/100 10761
/proc/meminfo: memFree=1328416/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915744 CPUtime=101.64
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 34706 0 1 0 10016 148 0 0 25 0 8 0 270375863 937721856 34389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074011610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10693/statm: 228936 34389 2501 14 0 215406 0
[pid=10693/tid=10695] ppid=10691 vsize=915744 CPUtime=0.94
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 17653 0 0 0 88 6 0 0 16 0 8 0 270375867 937721856 34389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937721856 34389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937721856 34389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937721856 34389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915744 CPUtime=0.28
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 477 0 0 0 27 1 0 0 16 0 8 0 270375871 937721856 34389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937721856 34389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915744 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937721856 34389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 915744

[startup+162.543 s]
/proc/loadavg: 2.02 2.03 2.00 3/100 10761
/proc/meminfo: memFree=1328544/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915744 CPUtime=161.6
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 34707 0 1 0 16002 158 0 0 25 0 8 0 270375863 937721856 34390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074011699 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 915884

[startup+2085.22 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 10763
/proc/meminfo: memFree=1326880/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915884 CPUtime=2082.16
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 34965 0 1 0 208022 194 0 0 25 0 8 0 270375863 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074291044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10693/statm: 228971 34627 2549 14 0 215441 0
[pid=10693/tid=10695] ppid=10691 vsize=915884 CPUtime=0.95
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 17654 0 0 0 89 6 0 0 16 0 8 0 270375867 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915884 CPUtime=0.43
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 627 0 0 0 41 2 0 0 16 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.16
Current children cumulated vsize (KiB) 915884

[startup+2145.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 10763
/proc/meminfo: memFree=1326880/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915884 CPUtime=2142.18
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 34965 0 1 0 214024 194 0 0 25 0 8 0 270375863 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074291799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10693/statm: 228971 34627 2549 14 0 215441 0
[pid=10693/tid=10695] ppid=10691 vsize=915884 CPUtime=0.95
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 17654 0 0 0 89 6 0 0 16 0 8 0 270375867 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915884 CPUtime=0.43
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 627 0 0 0 41 2 0 0 16 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.18
Current children cumulated vsize (KiB) 915884

[startup+2205.38 s]
/proc/loadavg: 2.10 2.03 2.01 3/100 10763
/proc/meminfo: memFree=1326880/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915884 CPUtime=2202.18
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 34965 0 1 0 220024 194 0 0 25 0 8 0 270375863 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074004727 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10693/statm: 228971 34627 2549 14 0 215441 0
[pid=10693/tid=10695] ppid=10691 vsize=915884 CPUtime=0.95
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 17654 0 0 0 89 6 0 0 16 0 8 0 270375867 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915884 CPUtime=0.43
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 627 0 0 0 41 2 0 0 16 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.18
Current children cumulated vsize (KiB) 915884

[startup+2265.45 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 10763
/proc/meminfo: memFree=1326816/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915884 CPUtime=2262.2
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 34965 0 1 0 226026 194 0 0 25 0 8 0 270375863 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074291044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10693/statm: 228971 34627 2549 14 0 215441 0
[pid=10693/tid=10695] ppid=10691 vsize=915884 CPUtime=0.95
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 17654 0 0 0 89 6 0 0 16 0 8 0 270375867 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915884 CPUtime=0.43
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 627 0 0 0 41 2 0 0 16 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937865216 34627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.2
Current children cumulated vsize (KiB) 915884

[startup+2325.53 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 10763
/proc/meminfo: memFree=1326816/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915884 CPUtime=2322.22
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 34968 0 1 0 232027 195 0 0 25 0 8 0 270375863 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074288125 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10693/statm: 228971 34630 2549 14 0 215441 0
[pid=10693/tid=10695] ppid=10691 vsize=915884 CPUtime=0.95
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 17654 0 0 0 89 6 0 0 16 0 8 0 270375867 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915884 CPUtime=0.44
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 630 0 0 0 42 2 0 0 16 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.22
Current children cumulated vsize (KiB) 915884

[startup+2385.62 s]
/proc/loadavg: 2.06 2.04 2.00 3/100 10763
/proc/meminfo: memFree=1326880/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915884 CPUtime=2382.23
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 34968 0 1 0 238028 195 0 0 25 0 8 0 270375863 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074291040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10693/statm: 228971 34630 2549 14 0 215441 0
[pid=10693/tid=10695] ppid=10691 vsize=915884 CPUtime=0.95
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 17654 0 0 0 89 6 0 0 16 0 8 0 270375867 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915884 CPUtime=0.44
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 630 0 0 0 42 2 0 0 16 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 915884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2403.42 s]
/proc/loadavg: 2.04 2.03 2.00 3/100 10763
/proc/meminfo: memFree=1326880/2055920 swapFree=4170284/4192956
[pid=10693] ppid=10691 vsize=915884 CPUtime=2400.02
/proc/10693/stat : 10693 (java) R 10691 10693 9750 0 -1 0 34968 0 1 0 239807 195 0 0 25 0 8 0 270375863 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074266698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10693/statm: 228971 34630 2549 14 0 215441 0
[pid=10693/tid=10695] ppid=10691 vsize=915884 CPUtime=0.95
/proc/10693/task/10695/stat : 10695 (java) S 10691 10693 9750 0 -1 64 17654 0 0 0 89 6 0 0 16 0 8 0 270375867 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10696] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10696/stat : 10696 (java) S 10691 10693 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270375867 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10697] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10697/stat : 10697 (java) S 10691 10693 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270375868 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10698] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10698/stat : 10698 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10699] ppid=10691 vsize=915884 CPUtime=0.44
/proc/10693/task/10699/stat : 10699 (java) S 10691 10693 9750 0 -1 64 630 0 0 0 42 2 0 0 16 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10693/tid=10700] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10700/stat : 10700 (java) S 10691 10693 9750 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10693/tid=10701] ppid=10691 vsize=915884 CPUtime=0
/proc/10693/task/10701/stat : 10701 (java) S 10691 10693 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270375871 937865216 34630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915884

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

Child status: 143
Real time (s): 2403.48
CPU time (s): 2400.09
CPU user time (s): 2398.11
CPU system time (s): 1.9767
CPU usage (%): 99.8587
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.11
system time used= 1.9767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34990
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= 50527
involuntary context switches= 33177

runsolver used 3.11453 s user time and 7.70383 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Fri Jan 19 15:17:15 UTC 2007


IDJOB= 275298
IDBENCH= 3774
IDSOLVER= 69
FILE ID= node25/275298-1169219834

PBS_JOBID= 3589103

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a32198ea21ca0bec318dd728ce382b21

RANDOM SEED= 130992466

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.279
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.279
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:       1434664 kB
Buffers:         41240 kB
Cached:         425600 kB
SwapCached:       2768 kB
Active:         195948 kB
Inactive:       352736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1434664 kB
SwapTotal:     4192956 kB
SwapFree:      4170284 kB
Dirty:            5280 kB
Writeback:           0 kB
Mapped:          98952 kB
Slab:            57148 kB
Committed_AS:  4873652 kB
PageTables:       2496 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= 66558 MiB



End job on node25 on Fri Jan 19 15:57:18 UTC 2007