Trace number 275268

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.13 2409.88

General information on the benchmark

Namefapp/fapp11-15/fapp12/
fapp12-1500-0.xml
MD5SUM8852f43241b06dc94642af49e2d6d548
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints23393
Best CPU time to get the best result obtained on this benchmark2400.13
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275268-1169219042/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.67	     nbVariables=1500  nbDomainTypes=13  minDomainSize=42  maxDomainSize=310
0.67	       =>  wckTime=0.351  cpuTime=0.24  mem=22M521
0.67	   
0.67	   predicates being loaded...
0.67	   
0.67	   constraints being loaded...
61.47	   
61.48	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 53M323)
62.17	     nbConstraints=25409  nbConvertedConstraints=14928  nbConvertConstraintsChecks=183612878  nbExtensionStructures=3141
62.17	     nbSharedExtensionStructures=11787  nbConflictsStructures=3141  nbSharedConflictsStructures=11787
62.17	     nbSharedBinaryRepresentations=1500271  nbEvaluationManagers=2484  nbSharedEvaluationManagers=7997  maxDegree=43
62.17	     maxArity=2
62.17	       =>  wckTime=61.853  cpuTime=60.52  mem=56M369
62.43	   
62.43	   solver LocalSearchSolver being built... 
62.47	       =>  wckTime=62.152  cpuTime=60.56  mem=57M936
62.58	
62.58	s SATISFIABLE
62.58	o 19094
62.58	c 6315
62.62	o 19108
62.62	c 6301
62.66	o 19117
62.66	c 6292
62.69	o 19125
62.69	c 6284
62.72	o 19128
62.72	c 6281
62.76	o 19136
62.76	c 6273
62.79	o 19142
62.79	c 6267
62.81	o 19147
62.81	c 6262
62.84	o 19151
62.84	c 6258
62.86	o 19154
62.86	c 6255
62.89	o 19156
62.89	c 6253
62.90	o 19161
62.90	c 6248
62.93	o 19170
62.93	c 6239
62.96	o 19178
62.96	c 6231
62.98	o 19185
62.98	c 6224
63.00	o 19192
63.00	c 6217
63.02	o 19199
63.02	c 6210
63.03	o 19205
63.04	c 6204
63.05	o 19211
63.05	c 6198
63.07	o 19216
63.07	c 6193
63.08	o 19221
63.08	c 6188
63.10	o 19226
63.10	c 6183
63.11	o 19230
63.11	c 6179
63.13	o 19234
63.13	c 6175
63.14	o 19237
63.14	c 6172
63.17	o 19240
63.17	c 6169
63.19	o 19243
63.19	c 6166
63.22	o 19244
63.22	c 6165
63.26	o 19251
63.26	c 6158
63.30	o 19257
63.30	c 6152
63.34	o 19262
63.34	c 6147
63.38	o 19267
63.38	c 6142
63.42	o 19272
63.42	c 6137
63.45	o 19278
63.45	c 6131
63.49	o 19282
63.49	c 6127
63.52	o 19286
63.52	c 6123
63.55	o 19290
63.55	c 6119
63.58	o 19294
63.58	c 6115
63.60	o 19298
63.60	c 6111
63.63	o 19302
63.63	c 6107
63.66	o 19306
63.66	c 6103
63.69	o 19309
63.69	c 6100
63.72	o 19312
63.72	c 6097
63.74	o 19315
63.74	c 6094
63.76	o 19318
63.76	c 6091
63.79	o 19320
63.79	c 6089
63.81	o 19322
63.81	c 6087
63.83	o 19324
63.83	c 6085
63.84	o 19326
63.84	c 6083
63.87	o 19327
63.87	c 6082
63.88	o 19328
63.88	c 6081
63.89	o 19334
63.89	c 6075
63.92	o 19339
63.92	c 6070
63.94	o 19343
63.94	c 6066
63.96	o 19350
63.96	c 6059
64.00	o 19358
64.00	c 6051
64.04	o 19368
64.04	c 6041
64.07	o 19374
64.07	c 6035
64.10	o 19380
64.10	c 6029
64.13	o 19388
64.13	c 6021
64.15	o 19394
64.15	c 6015
64.18	o 19399
64.18	c 6010
64.20	o 19404
64.21	c 6005
64.23	o 19409
64.23	c 6000
64.26	o 19413
64.26	c 5996
64.29	o 19417
64.29	c 5992
64.31	o 19423
64.31	c 5986
64.33	o 19426
64.33	c 5983
64.34	o 19428
64.34	c 5981
64.37	o 19430
64.37	c 5979
64.38	o 19432
64.38	c 5977
64.40	o 19434
64.40	c 5975
64.42	o 19436
64.42	c 5973
64.44	o 19438
64.44	c 5971
64.45	o 19439
64.45	c 5970
64.47	o 19440
64.47	c 5969
64.49	o 19441
64.49	c 5968
64.50	o 19447
64.50	c 5962
64.52	o 19455
64.52	c 5954
64.53	o 19457
64.53	c 5952
64.54	o 19463
64.54	c 5946
64.56	o 19466
64.56	c 5943
64.60	o 19472
64.60	c 5937
64.62	o 19475
64.62	c 5934
64.65	o 19476
64.65	c 5933
64.66	o 19481
64.66	c 5928
64.69	o 19484
64.69	c 5925
64.70	o 19487
64.70	c 5922
64.71	o 19494
64.71	c 5915
64.73	o 19496
64.73	c 5913
64.75	o 19506
64.75	c 5903
64.79	o 19512
64.79	c 5897
64.81	o 19519
64.81	c 5890
64.84	o 19526
64.84	c 5883
64.87	o 19529
64.87	c 5880
64.90	o 19535
64.90	c 5874
64.93	o 19539
64.93	c 5870
64.95	o 19542
64.95	c 5867
64.97	o 19547
64.97	c 5862
65.01	o 19550
65.01	c 5859
65.03	o 19553
65.03	c 5856
65.05	o 19556
65.05	c 5853
65.08	o 19558
65.08	c 5851
65.11	o 19560
65.11	c 5849
65.13	o 19562
65.13	c 5847
65.16	o 19564
65.16	c 5845
65.18	o 19568
65.18	c 5841
65.20	o 19569
65.20	c 5840
65.22	o 19570
65.22	c 5839
65.25	o 19571
65.25	c 5838
65.32	o 19572
65.32	c 5837
65.34	o 19579
65.34	c 5830
65.37	o 19580
65.37	c 5829
65.40	o 19582
65.40	c 5827
65.42	o 19588
65.42	c 5821
65.45	o 19592
65.45	c 5817
65.48	o 19595
65.48	c 5814
65.50	o 19600
65.50	c 5809
65.52	o 19608
65.52	c 5801
65.54	o 19611
65.54	c 5798
65.57	o 19616
65.57	c 5793
65.59	o 19619
65.59	c 5790
65.61	o 19630
65.61	c 5779
65.64	o 19633
65.64	c 5776
65.71	o 19637
65.71	c 5772
65.73	o 19643
65.73	c 5766
65.76	o 19644
65.76	c 5765
65.78	o 19651
65.78	c 5758
65.81	o 19652
65.81	c 5757
65.84	o 19659
65.84	c 5750
65.86	o 19670
65.86	c 5739
65.88	o 19676
65.88	c 5733
65.91	o 19681
65.91	c 5728
65.94	o 19682
65.94	c 5727
65.97	o 19684
65.97	c 5725
66.00	o 19691
66.00	c 5718
66.04	o 19698
66.04	c 5711
66.08	o 19704
66.08	c 5705
66.11	o 19710
66.11	c 5699
66.14	o 19715
66.15	c 5694
66.18	o 19719
66.18	c 5690
66.22	o 19723
66.22	c 5686
66.25	o 19727
66.25	c 5682
66.28	o 19731
66.28	c 5678
66.31	o 19734
66.31	c 5675
66.34	o 19737
66.34	c 5672
66.38	o 19740
66.38	c 5669
66.40	o 19743
66.40	c 5666
66.43	o 19746
66.43	c 5663
66.47	o 19749
66.47	c 5660
66.50	o 19750
66.50	c 5659
66.53	o 19753
66.53	c 5656
66.57	o 19755
66.57	c 5654
66.60	o 19757
66.60	c 5652
66.62	o 19758
66.62	c 5651
66.65	o 19767
66.65	c 5642
66.74	o 19771
66.74	c 5638
66.76	o 19777
66.76	c 5632
66.79	o 19779
66.79	c 5630
66.81	o 19786
66.81	c 5623
66.86	o 19791
66.86	c 5618
66.89	o 19794
66.89	c 5615
66.91	o 19797
66.91	c 5612
66.93	o 19802
66.93	c 5607
67.01	o 19807
67.01	c 5602
67.04	o 19816
67.04	c 5593
67.07	o 19821
67.07	c 5588
67.10	o 19823
67.10	c 5586
67.13	o 19829
67.13	c 5580
67.16	o 19832
67.16	c 5577
67.21	o 19834
67.21	c 5575
67.25	o 19837
67.25	c 5572
67.28	o 19843
67.28	c 5566
67.31	o 19846
67.31	c 5563
67.48	o 19848
67.48	c 5561
67.52	o 19853
67.52	c 5556
67.55	o 19855
67.55	c 5554
67.58	o 19858
67.58	c 5551
67.61	o 19863
67.61	c 5546
67.64	o 19869
67.64	c 5540
67.67	o 19870
67.67	c 5539
67.72	o 19873
67.72	c 5536
67.75	o 19874
67.75	c 5535
67.79	o 19877
67.79	c 5532
67.82	o 19880
67.82	c 5529
67.87	o 19883
67.87	c 5526
67.89	o 19888
67.89	c 5521
67.93	o 19889
67.93	c 5520
67.96	o 19891
67.96	c 5518
68.00	o 19894
68.00	c 5515
68.03	o 19897
68.03	c 5512
68.06	o 19900
68.06	c 5509
68.09	o 19903
68.09	c 5506
68.13	o 19910
68.13	c 5499
68.15	o 19914
68.15	c 5495
68.19	o 19919
68.19	c 5490
68.25	o 19925
68.25	c 5484
68.28	o 19930
68.28	c 5479
68.32	o 19935
68.32	c 5474
68.36	o 19940
68.36	c 5469
68.40	o 19944
68.40	c 5465
68.43	o 19949
68.43	c 5460
68.47	o 19952
68.47	c 5457
68.51	o 19956
68.51	c 5453
68.55	o 19960
68.55	c 5449
68.58	o 19963
68.58	c 5446
68.61	o 19966
68.61	c 5443
68.64	o 19969
68.64	c 5440
68.71	o 19971
68.71	c 5438
68.73	o 19974
68.73	c 5435
68.76	o 19976
68.76	c 5433
68.79	o 19978
68.79	c 5431
68.83	o 19979
68.83	c 5430
68.93	o 19981
68.93	c 5428
68.96	o 19988
68.96	c 5421
69.02	o 19990
69.02	c 5419
69.06	o 19997
69.06	c 5412
69.10	o 19999
69.10	c 5410
69.13	o 20009
69.13	c 5400
69.18	o 20010
69.18	c 5399
69.22	o 20013
69.22	c 5396
69.27	o 20014
69.27	c 5395
69.31	o 20019
69.31	c 5390
69.34	o 20024
69.34	c 5385
69.36	o 20025
69.36	c 5384
69.38	o 20026
69.38	c 5383
69.41	o 20030
69.41	c 5379
69.43	o 20036
69.43	c 5373
69.47	o 20039
69.47	c 5370
69.49	o 20043
69.49	c 5366
69.52	o 20047
69.52	c 5362
69.55	o 20052
69.55	c 5357
69.58	o 20054
69.58	c 5355
69.62	o 20055
69.62	c 5354
69.65	o 20060
69.65	c 5349
69.68	o 20063
69.68	c 5346
69.72	o 20067
69.72	c 5342
69.75	o 20068
69.75	c 5341
69.78	o 20072
69.78	c 5337
69.81	o 20075
69.81	c 5334
69.88	o 20081
69.88	c 5328
69.92	o 20089
69.92	c 5320
69.95	o 20093
69.95	c 5316
69.99	o 20094
69.99	c 5315
70.03	o 20101
70.03	c 5308
70.06	o 20102
70.07	c 5307
70.10	o 20103
70.10	c 5306
70.21	o 20106
70.21	c 5303
70.25	o 20110
70.25	c 5299
70.28	o 20113
70.28	c 5296
70.32	o 20119
70.32	c 5290
70.35	o 20124
70.35	c 5285
70.39	o 20126
70.39	c 5283
70.43	o 20132
70.43	c 5277
70.47	o 20134
70.47	c 5275
70.51	o 20136
70.51	c 5273
70.56	o 20138
70.56	c 5271
70.60	o 20140
70.60	c 5269
70.64	o 20147
70.64	c 5262
70.68	o 20155
70.68	c 5254
70.71	o 20156
70.71	c 5253
70.76	o 20164
70.76	c 5245
70.80	o 20165
70.80	c 5244
70.84	o 20173
70.84	c 5236
70.88	o 20178
70.88	c 5231
70.92	o 20182
70.92	c 5227
70.97	o 20184
70.97	c 5225
71.00	o 20190
71.00	c 5219
71.03	o 20197
71.03	c 5212
71.10	o 20200
71.10	c 5209
71.14	o 20203
71.14	c 5206
71.17	o 20206
71.17	c 5203
71.22	o 20207
71.22	c 5202
71.26	o 20208
71.26	c 5201
71.30	o 20210
71.30	c 5199
71.37	o 20214
71.37	c 5195
71.44	o 20220
71.44	c 5189
71.49	o 20221
71.49	c 5188
71.53	o 20226
71.53	c 5183
71.60	o 20227
71.60	c 5182
71.64	o 20230
71.64	c 5179
71.70	o 20232
71.70	c 5177
71.74	o 20233
71.75	c 5176
71.79	o 20235
71.79	c 5174
71.83	o 20239
71.83	c 5170
71.87	o 20242
71.87	c 5167
71.92	o 20244
71.92	c 5165
71.96	o 20245
71.96	c 5164
72.01	o 20247
72.01	c 5162
72.05	o 20253
72.05	c 5156
72.10	o 20255
72.10	c 5154
72.15	o 20262
72.15	c 5147
72.24	o 20267
72.24	c 5142
72.29	o 20269
72.29	c 5140
72.32	o 20274
72.32	c 5135
72.36	o 20275
72.36	c 5134
72.44	o 20280
72.44	c 5129
72.49	o 20281
72.49	c 5128
72.53	o 20286
72.53	c 5123
72.57	o 20294
72.57	c 5115
72.62	o 20295
72.62	c 5114
72.66	o 20298
72.66	c 5111
72.76	o 20301
72.76	c 5108
72.82	o 20302
72.82	c 5107
72.91	o 20307
72.91	c 5102
73.06	o 20314
73.06	c 5095
73.10	o 20315
73.10	c 5094
73.14	o 20316
73.14	c 5093
73.33	o 20321
73.33	c 5088
73.37	o 20323
73.37	c 5086
73.51	o 20325
73.51	c 5084
73.61	o 20326
73.61	c 5083
73.70	o 20329
73.70	c 5080
73.75	o 20333
73.75	c 5076
73.80	o 20337
73.80	c 5072
73.84	o 20339
73.84	c 5070
73.90	o 20341
73.90	c 5068
74.00	o 20343
74.00	c 5066
74.15	o 20344
74.15	c 5065
74.19	o 20349
74.19	c 5060
74.29	o 20354
74.29	c 5055
74.40	o 20356
74.40	c 5053
74.44	o 20357
74.44	c 5052
74.50	o 20359
74.50	c 5050
74.55	o 20362
74.55	c 5047
74.61	o 20367
74.61	c 5042
74.66	o 20371
74.66	c 5038
74.92	o 20373
74.92	c 5036
74.97	o 20375
74.97	c 5034
75.02	o 20377
75.02	c 5032
75.08	o 20379
75.08	c 5030
75.13	o 20380
75.13	c 5029
75.33	o 20384
75.33	c 5025
75.38	o 20389
75.38	c 5020
75.44	o 20390
75.44	c 5019
75.59	o 20391
75.59	c 5018
75.65	o 20393
75.65	c 5016
75.69	o 20396
75.69	c 5013
75.84	o 20400
75.84	c 5009
75.89	o 20401
75.89	c 5008
75.95	o 20404
75.95	c 5005
76.00	o 20405
76.00	c 5004
76.05	o 20406
76.05	c 5003
76.11	o 20410
76.11	c 4999
76.15	o 20411
76.15	c 4998
76.21	o 20419
76.21	c 4990
76.26	o 20421
76.26	c 4988
76.32	o 20427
76.32	c 4982
76.37	o 20430
76.37	c 4979
76.42	o 20433
76.42	c 4976
76.53	o 20435
76.53	c 4974
76.58	o 20440
76.58	c 4969
76.63	o 20444
76.63	c 4965
76.69	o 20448
76.69	c 4961
76.75	o 20454
76.75	c 4955
76.80	o 20460
76.80	c 4949
76.90	o 20467
76.90	c 4942
77.00	o 20469
77.00	c 4940
77.10	o 20473
77.10	c 4936
77.17	o 20474
77.17	c 4935
77.23	o 20476
77.23	c 4933
77.28	o 20478
77.28	c 4931
77.35	o 20481
77.35	c 4928
77.39	o 20483
77.39	c 4926
77.44	o 20484
77.44	c 4925
77.49	o 20489
77.49	c 4920
77.55	o 20491
77.55	c 4918
77.60	o 20495
77.60	c 4914
77.66	o 20496
77.66	c 4913
77.71	o 20505
77.71	c 4904
77.77	o 20509
77.77	c 4900
77.92	o 20513
77.92	c 4896
77.97	o 20516
77.97	c 4893
78.02	o 20519
78.02	c 4890
78.07	o 20523
78.07	c 4886
78.11	o 20526
78.11	c 4883
78.17	o 20530
78.17	c 4879
78.21	o 20532
78.21	c 4877
78.27	o 20536
78.27	c 4873
78.32	o 20540
78.32	c 4869
78.36	o 20545
78.36	c 4864
78.41	o 20549
78.41	c 4860
78.45	o 20552
78.45	c 4857
78.50	o 20555
78.50	c 4854
78.56	o 20556
78.56	c 4853
78.60	o 20561
78.60	c 4848
78.76	o 20567
78.76	c 4842
78.83	o 20573
78.83	c 4836
78.93	o 20578
78.93	c 4831
79.05	o 20583
79.05	c 4826
79.11	o 20585
79.11	c 4824
79.16	o 20587
79.16	c 4822
79.22	o 20590
79.22	c 4819
79.28	o 20592
79.28	c 4817
79.34	o 20596
79.34	c 4813
79.40	o 20598
79.40	c 4811
79.46	o 20604
79.46	c 4805
79.64	o 20606
79.64	c 4803
79.75	o 20609
79.75	c 4800
79.80	o 20613
79.80	c 4796
79.86	o 20615
79.86	c 4794
79.92	o 20617
79.92	c 4792
79.98	o 20618
79.98	c 4791
80.09	o 20621
80.09	c 4788
80.19	o 20631
80.19	c 4778
80.25	o 20636
80.25	c 4773
80.37	o 20637
80.37	c 4772
80.43	o 20644
80.43	c 4765
80.48	o 20650
80.48	c 4759
80.54	o 20652
80.54	c 4757
80.59	o 20657
80.59	c 4752
80.65	o 20662
80.65	c 4747
80.71	o 20664
80.71	c 4745
80.76	o 20665
80.76	c 4744
80.82	o 20667
80.82	c 4742
80.93	o 20672
80.93	c 4737
81.00	o 20677
81.00	c 4732
81.06	o 20679
81.06	c 4730
81.18	o 20681
81.18	c 4728
81.31	o 20685
81.31	c 4724
81.36	o 20688
81.36	c 4721
81.42	o 20692
81.42	c 4717
81.60	o 20694
81.60	c 4715
81.65	o 20697
81.65	c 4712
81.71	o 20699
81.71	c 4710
81.83	o 20705
81.83	c 4704
81.90	o 20707
81.90	c 4702
81.97	o 20710
81.97	c 4699
82.16	o 20713
82.16	c 4696
82.36	o 20715
82.36	c 4694
82.51	o 20717
82.51	c 4692
82.58	o 20719
82.58	c 4690
82.66	o 20721
82.66	c 4688
82.74	o 20724
82.74	c 4685
82.81	o 20727
82.81	c 4682
82.89	o 20730
82.89	c 4679
82.96	o 20736
82.96	c 4673
83.12	o 20739
83.12	c 4670
83.20	o 20744
83.20	c 4665
83.26	o 20748
83.26	c 4661
83.33	o 20751
83.33	c 4658
83.40	o 20754
83.40	c 4655
83.47	o 20755
83.47	c 4654
83.54	o 20758
83.54	c 4651
83.61	o 20759
83.61	c 4650
83.67	o 20762
83.67	c 4647
83.82	o 20763
83.82	c 4646
83.88	o 20766
83.88	c 4643
83.95	o 20774
83.95	c 4635
84.01	o 20777
84.01	c 4632
84.08	o 20780
84.08	c 4629
84.14	o 20781
84.14	c 4628
84.22	o 20783
84.22	c 4626
84.28	o 20786
84.28	c 4623
84.42	o 20787
84.42	c 4622
84.49	o 20789
84.49	c 4620
84.56	o 20791
84.56	c 4618
84.63	o 20794
84.63	c 4615
84.70	o 20797
84.70	c 4612
85.09	o 20798
85.09	c 4611
85.14	o 20803
85.14	c 4606
85.25	o 20807
85.25	c 4602
85.42	o 20809
85.42	c 4600
85.49	o 20812
85.49	c 4597
85.54	o 20813
85.54	c 4596
85.71	o 20815
85.71	c 4594
85.76	o 20819
85.76	c 4590
85.98	o 20821
85.98	c 4588
86.05	o 20824
86.05	c 4585
86.11	o 20825
86.11	c 4584
86.22	o 20826
86.22	c 4583
86.29	o 20830
86.29	c 4579
86.35	o 20836
86.35	c 4573
86.48	o 20841
86.48	c 4568
86.53	o 20845
86.53	c 4564
86.61	o 20846
86.61	c 4563
86.66	o 20851
86.66	c 4558
86.73	o 20853
86.73	c 4556
86.79	o 20855
86.79	c 4554
86.86	o 20857
86.86	c 4552
86.92	o 20858
86.92	c 4551
86.98	o 20860
86.98	c 4549
87.04	o 20862
87.04	c 4547
87.10	o 20866
87.10	c 4543
87.17	o 20868
87.17	c 4541
87.24	o 20869
87.24	c 4540
87.36	o 20870
87.36	c 4539
87.42	o 20871
87.42	c 4538
87.49	o 20876
87.49	c 4533
87.56	o 20880
87.56	c 4529
87.69	o 20884
87.69	c 4525
87.76	o 20885
87.76	c 4524
87.82	o 20888
87.82	c 4521
87.89	o 20890
87.89	c 4519
88.02	o 20891
88.02	c 4518
88.09	o 20892
88.09	c 4517
88.15	o 20894
88.15	c 4515
88.23	o 20899
88.23	c 4510
88.30	o 20909
88.30	c 4500
88.37	o 20911
88.37	c 4498
88.50	o 20913
88.50	c 4496
88.56	o 20917
88.57	c 4492
88.63	o 20920
88.63	c 4489
88.69	o 20921
88.69	c 4488
88.84	o 20923
88.84	c 4486
88.97	o 20924
88.97	c 4485
89.11	o 20928
89.11	c 4481
89.18	o 20930
89.18	c 4479
89.25	o 20931
89.25	c 4478
89.32	o 20932
89.32	c 4477
89.40	o 20933
89.40	c 4476
89.68	o 20934
89.68	c 4475
89.75	o 20938
89.75	c 4471
89.95	o 20939
89.95	c 4470
90.03	o 20942
90.03	c 4467
90.09	o 20945
90.09	c 4464
90.15	o 20946
90.15	c 4463
90.30	o 20949
90.30	c 4460
90.38	o 20950
90.38	c 4459
90.46	o 20952
90.46	c 4457
90.56	o 20954
90.56	c 4455
90.71	o 20959
90.71	c 4450
90.78	o 20961
90.78	c 4448
90.85	o 20970
90.85	c 4439
90.92	o 20974
90.92	c 4435
91.00	o 20977
91.00	c 4432
91.08	o 20983
91.08	c 4426
91.18	o 20985
91.18	c 4424
91.26	o 20988
91.26	c 4421
91.34	o 20995
91.34	c 4414
91.42	o 20999
91.42	c 4410
91.51	o 21005
91.51	c 4404
91.59	o 21006
91.60	c 4403
91.69	o 21007
91.69	c 4402
91.85	o 21008
91.85	c 4401
91.93	o 21015
91.93	c 4394
92.00	o 21016
92.00	c 4393
92.09	o 21021
92.09	c 4388
92.17	o 21026
92.17	c 4383
92.25	o 21028
92.25	c 4381
92.33	o 21029
92.33	c 4380
92.41	o 21033
92.41	c 4376
92.65	o 21034
92.65	c 4375
92.99	o 21039
92.99	c 4370
93.08	o 21042
93.08	c 4367
93.16	o 21043
93.16	c 4366
93.43	o 21045
93.43	c 4364
93.53	o 21047
93.53	c 4362
93.77	o 21051
93.77	c 4358
93.87	o 21056
93.87	c 4353
93.96	o 21058
93.96	c 4351
94.37	o 21060
94.37	c 4349
94.46	o 21064
94.46	c 4345
94.54	o 21068
94.54	c 4341
94.87	o 21070
94.87	c 4339
95.21	o 21071
95.21	c 4338
95.29	o 21075
95.29	c 4334
95.37	o 21077
95.37	c 4332
95.44	o 21078
95.44	c 4331
95.52	o 21082
95.52	c 4327
95.61	o 21084
95.61	c 4325
95.76	o 21086
95.76	c 4323
95.84	o 21088
95.84	c 4321
95.91	o 21092
95.91	c 4317
95.99	o 21098
95.99	c 4311
96.07	o 21103
96.07	c 4306
96.15	o 21106
96.15	c 4303
96.23	o 21108
96.23	c 4301
96.32	o 21109
96.32	c 4300
96.41	o 21111
96.41	c 4298
96.49	o 21114
96.49	c 4295
96.65	o 21120
96.65	c 4289
96.75	o 21122
96.75	c 4287
96.92	o 21124
96.92	c 4285
97.07	o 21126
97.07	c 4283
97.15	o 21128
97.15	c 4281
97.23	o 21130
97.23	c 4279
97.38	o 21131
97.38	c 4278
97.46	o 21133
97.46	c 4276
97.54	o 21137
97.54	c 4272
97.61	o 21141
97.61	c 4268
97.69	o 21145
97.69	c 4264
97.77	o 21146
97.77	c 4263
97.86	o 21150
97.86	c 4259
97.95	o 21152
97.95	c 4257
98.03	o 21155
98.03	c 4254
98.19	o 21158
98.19	c 4251
98.37	o 21163
98.37	c 4246
98.45	o 21164
98.45	c 4245
98.53	o 21169
98.53	c 4240
98.61	o 21173
98.61	c 4236
98.69	o 21175
98.69	c 4234
98.78	o 21182
98.78	c 4227
98.94	o 21186
98.94	c 4223
99.03	o 21188
99.03	c 4221
99.13	o 21195
99.13	c 4214
99.21	o 21198
99.21	c 4211
99.30	o 21200
99.30	c 4209
99.38	o 21202
99.38	c 4207
99.46	o 21203
99.46	c 4206
99.55	o 21205
99.55	c 4204
99.88	o 21207
99.88	c 4202
99.96	o 21210
99.96	c 4199
100.05	o 21211
100.05	c 4198
100.20	o 21214
100.20	c 4195
100.44	o 21215
100.44	c 4194
100.60	o 21218
100.60	c 4191
100.69	o 21219
100.69	c 4190
100.78	o 21221
100.78	c 4188
100.86	o 21225
100.86	c 4184
101.03	o 21228
101.03	c 4181
101.11	o 21231
101.11	c 4178
101.57	o 21235
101.57	c 4174
101.65	o 21237
101.65	c 4172
101.74	o 21239
101.74	c 4170
101.83	o 21241
101.83	c 4168
101.92	o 21244
101.92	c 4165
102.00	o 21248
102.00	c 4161
102.10	o 21249
102.10	c 4160
102.19	o 21254
102.19	c 4155
102.28	o 21255
102.28	c 4154
102.37	o 21258
102.37	c 4151
102.54	o 21260
102.54	c 4149
102.63	o 21261
102.63	c 4148
102.72	o 21265
102.72	c 4144
103.03	o 21268
103.03	c 4141
103.22	o 21269
103.22	c 4140
103.33	o 21273
103.33	c 4136
103.52	o 21279
103.52	c 4130
103.82	o 21281
103.82	c 4128
104.02	o 21283
104.02	c 4126
104.23	o 21285
104.23	c 4124
104.33	o 21289
104.33	c 4120
104.52	o 21292
104.52	c 4117
104.61	o 21296
104.61	c 4113
104.71	o 21299
104.71	c 4110
104.81	o 21301
104.82	c 4108
104.92	o 21305
104.92	c 4104
105.03	o 21306
105.03	c 4103
105.11	o 21307
105.11	c 4102
105.21	o 21309
105.21	c 4100
105.40	o 21311
105.40	c 4098
105.50	o 21313
105.50	c 4096
105.68	o 21316
105.68	c 4093
105.78	o 21318
105.78	c 4091
106.06	o 21319
106.06	c 4090
106.15	o 21320
106.15	c 4089
106.34	o 21324
106.34	c 4085
106.53	o 21327
106.53	c 4082
106.63	o 21330
106.63	c 4079
106.73	o 21337
106.73	c 4072
106.82	o 21342
106.82	c 4067
106.92	o 21344
106.92	c 4065
107.11	o 21347
107.11	c 4062
107.22	o 21352
107.22	c 4057
107.33	o 21353
107.33	c 4056
107.42	o 21354
107.42	c 4055
107.52	o 21355
107.52	c 4054
107.62	o 21358
107.62	c 4051
107.81	o 21359
107.81	c 4050
108.00	o 21360
108.00	c 4049
108.09	o 21361
108.09	c 4048
108.39	o 21362
108.39	c 4047
108.58	o 21364
108.58	c 4045
108.67	o 21366
108.67	c 4043
108.85	o 21367
108.85	c 4042
109.03	o 21370
109.03	c 4039
109.05	o 21374
109.05	c 4035
109.14	o 21377
109.14	c 4032
109.46	o 21381
109.46	c 4028
109.56	o 21384
109.56	c 4025
109.93	o 21386
109.93	c 4023
110.54	o 21387
110.54	c 4022
110.65	o 21392
110.65	c 4017
110.76	o 21397
110.76	c 4012
110.87	o 21400
110.87	c 4009
111.09	o 21401
111.09	c 4008
111.21	o 21404
111.21	c 4005
111.33	o 21405
111.33	c 4004
111.45	o 21408
111.45	c 4001
111.57	o 21410
111.57	c 3999
111.69	o 21412
111.69	c 3997
111.80	o 21417
111.80	c 3992
112.05	o 21420
112.05	c 3989
112.17	o 21423
112.17	c 3986
112.41	o 21425
112.41	c 3984
112.54	o 21427
112.54	c 3982
112.67	o 21429
112.67	c 3980
112.79	o 21430
112.79	c 3979
112.92	o 21431
112.92	c 3978
113.04	o 21433
113.04	c 3976
113.30	o 21437
113.30	c 3972
113.43	o 21439
113.43	c 3970
113.56	o 21441
113.56	c 3968
113.69	o 21444
113.69	c 3965
113.83	o 21445
113.83	c 3964
113.95	o 21446
113.95	c 3963
114.33	o 21448
114.33	c 3961
114.46	o 21449
114.46	c 3960
114.71	o 21453
114.71	c 3956
114.84	o 21454
114.84	c 3955
114.96	o 21456
114.96	c 3953
115.47	o 21459
115.47	c 3950
115.61	o 21461
115.61	c 3948
115.73	o 21463
115.73	c 3946
115.85	o 21464
115.85	c 3945
116.21	o 21467
116.21	c 3942
116.34	o 21468
116.34	c 3941
116.72	o 21470
116.72	c 3939
117.07	o 21472
117.07	c 3937
117.20	o 21475
117.20	c 3934
117.45	o 21480
117.45	c 3929
117.70	o 21483
117.70	c 3926
117.84	o 21486
117.84	c 3923
117.97	o 21487
117.97	c 3922
118.37	o 21491
118.37	c 3918
118.50	o 21493
118.50	c 3916
119.14	o 21495
119.14	c 3914
119.27	o 21498
119.27	c 3911
119.41	o 21499
119.41	c 3910
119.54	o 21501
119.54	c 3908
120.55	o 21504
120.55	c 3905
120.67	o 21506
120.67	c 3903
120.80	o 21511
120.80	c 3898
120.92	o 21513
120.92	c 3896
121.04	o 21514
121.04	c 3895
121.49	o 21516
121.49	c 3893
121.63	o 21521
121.63	c 3888
121.76	o 21523
121.76	c 3886
121.88	o 21524
121.88	c 3885
122.40	o 21529
122.40	c 3880
122.66	o 21530
122.66	c 3879
122.80	o 21531
122.80	c 3878
122.92	o 21532
122.92	c 3877
123.05	o 21533
123.05	c 3876
123.20	o 21534
123.20	c 3875
123.33	o 21535
123.33	c 3874
123.47	o 21536
123.47	c 3873
123.61	o 21539
123.61	c 3870
123.73	o 21545
123.73	c 3864
123.86	o 21549
123.86	c 3860
123.99	o 21554
123.99	c 3855
124.12	o 21557
124.12	c 3852
124.40	o 21559
124.40	c 3850
124.54	o 21561
124.54	c 3848
124.81	o 21562
124.81	c 3847
125.04	o 21566
125.04	c 3843
125.17	o 21571
125.17	c 3838
125.31	o 21572
125.31	c 3837
125.45	o 21576
125.45	c 3833
125.58	o 21580
125.58	c 3829
125.72	o 21582
125.72	c 3827
125.86	o 21583
125.86	c 3826
125.99	o 21586
125.99	c 3823
126.13	o 21587
126.13	c 3822
126.42	o 21589
126.42	c 3820
126.55	o 21591
126.55	c 3818
126.69	o 21592
126.69	c 3817
127.27	o 21596
127.27	c 3813
128.23	o 21597
128.23	c 3812
128.36	o 21599
128.36	c 3810
128.49	o 21600
128.49	c 3809
128.62	o 21602
128.62	c 3807
128.89	o 21606
128.89	c 3803
129.03	o 21607
129.03	c 3802
129.17	o 21612
129.17	c 3797
129.31	o 21616
129.31	c 3793
129.44	o 21617
129.44	c 3792
129.56	o 21618
129.56	c 3791
129.70	o 21619
129.70	c 3790
129.82	o 21621
129.82	c 3788
129.95	o 21622
129.95	c 3787
130.08	o 21625
130.08	c 3784
130.23	o 21629
130.23	c 3780
130.35	o 21632
130.35	c 3777
130.48	o 21633
130.48	c 3776
130.61	o 21635
130.61	c 3774
130.86	o 21638
130.86	c 3771
130.95	o 21639
130.95	c 3770
131.07	o 21644
131.07	c 3765
131.18	o 21648
131.18	c 3761
131.30	o 21652
131.30	c 3757
132.43	o 21655
132.43	c 3754
132.56	o 21656
132.56	c 3753
132.68	o 21660
132.68	c 3749
132.80	o 21665
132.80	c 3744
132.91	o 21666
132.91	c 3743
133.03	o 21668
133.03	c 3741
133.15	o 21669
133.15	c 3740
133.28	o 21672
133.28	c 3737
133.40	o 21675
133.40	c 3734
133.52	o 21678
133.52	c 3731
133.65	o 21684
133.65	c 3725
133.91	o 21685
133.91	c 3724
134.17	o 21688
134.17	c 3721
134.30	o 21691
134.30	c 3718
135.08	o 21693
135.08	c 3716
135.20	o 21695
135.20	c 3714
135.33	o 21698
135.33	c 3711
135.60	o 21701
135.61	c 3708
136.14	o 21702
136.14	c 3707
137.66	o 21703
137.66	c 3706
137.79	o 21706
137.79	c 3703
138.23	o 21707
138.23	c 3702
138.37	o 21710
138.37	c 3699
138.51	o 21715
138.51	c 3694
138.65	o 21718
138.65	c 3691
138.80	o 21720
138.80	c 3689
138.94	o 21723
138.94	c 3686
139.09	o 21726
139.09	c 3683
139.24	o 21730
139.24	c 3679
139.39	o 21732
139.39	c 3677
139.53	o 21733
139.53	c 3676
139.68	o 21736
139.68	c 3673
139.97	o 21737
139.97	c 3672
140.11	o 21742
140.11	c 3667
140.26	o 21744
140.26	c 3665
140.54	o 21746
140.54	c 3663
140.67	o 21749
140.67	c 3660
140.81	o 21751
140.81	c 3658
140.95	o 21753
140.95	c 3656
141.09	o 21754
141.09	c 3655
141.64	o 21758
141.64	c 3651
141.89	o 21762
141.89	c 3647
142.26	o 21763
142.26	c 3646
142.41	o 21764
142.41	c 3645
142.56	o 21766
142.56	c 3643
142.72	o 21770
142.72	c 3639
143.01	o 21776
143.01	c 3633
143.30	o 21778
143.30	c 3631
144.62	o 21779
144.62	c 3630
145.07	o 21785
145.07	c 3624
145.21	o 21786
145.21	c 3623
145.50	o 21789
145.50	c 3620
146.38	o 21791
146.38	c 3618
146.53	o 21794
146.53	c 3615
146.68	o 21797
146.68	c 3612
146.84	o 21798
146.84	c 3611
146.99	o 21801
146.99	c 3608
147.14	o 21802
147.14	c 3607
149.09	o 21803
149.09	c 3606
149.23	o 21804
149.23	c 3605
149.38	o 21806
149.38	c 3603
149.54	o 21807
149.54	c 3602
149.70	o 21810
149.70	c 3599
150.32	o 21811
150.32	c 3598
150.64	o 21815
150.64	c 3594
150.79	o 21817
150.79	c 3592
151.10	o 21820
151.10	c 3589
151.53	o 21822
151.53	c 3587
151.66	o 21827
151.66	c 3582
151.84	o 21830
151.84	c 3579
151.98	o 21835
151.98	c 3574
152.13	o 21836
152.13	c 3573
152.57	o 21837
152.57	c 3572
152.73	o 21839
152.73	c 3570
154.23	o 21841
154.23	c 3568
154.52	o 21844
154.52	c 3565
154.67	o 21848
154.67	c 3561
154.96	o 21849
154.96	c 3560
155.11	o 21853
155.11	c 3556
155.40	o 21854
155.40	c 3555
155.52	o 21855
155.52	c 3554
155.66	o 21856
155.66	c 3553
155.96	o 21857
155.96	c 3552
157.49	o 21859
157.49	c 3550
157.65	o 21862
157.65	c 3547
157.80	o 21864
157.80	c 3545
158.11	o 21865
158.11	c 3544
158.26	o 21866
158.26	c 3543
158.42	o 21867
158.42	c 3542
158.72	o 21871
158.72	c 3538
158.87	o 21872
158.87	c 3537
159.47	o 21874
159.47	c 3535
159.63	o 21875
159.63	c 3534
160.09	o 21876
160.09	c 3533
161.17	o 21877
161.17	c 3532
161.62	o 21882
161.62	c 3527
161.77	o 21886
161.77	c 3523
161.93	o 21889
161.93	c 3520
162.10	o 21892
162.10	c 3517
162.58	o 21893
162.58	c 3516
162.74	o 21894
162.74	c 3515
162.89	o 21898
162.89	c 3511
163.06	o 21901
163.06	c 3508
163.23	o 21902
163.23	c 3507
163.38	o 21903
163.38	c 3506
163.55	o 21904
163.55	c 3505
163.91	o 21906
163.91	c 3503
164.09	o 21909
164.09	c 3500
164.29	o 21911
164.29	c 3498
164.82	o 21913
164.82	c 3496
164.96	o 21915
164.96	c 3494
165.28	o 21916
165.28	c 3493
165.96	o 21918
165.96	c 3491
166.30	o 21919
166.30	c 3490
166.49	o 21924
166.49	c 3485
168.53	o 21925
168.53	c 3484
168.88	o 21927
168.88	c 3482
169.43	o 21929
169.43	c 3480
170.51	o 21932
170.51	c 3477
170.68	o 21933
170.68	c 3476
171.60	o 21936
171.60	c 3473
171.79	o 21939
171.79	c 3470
171.97	o 21941
171.97	c 3468
172.17	o 21943
172.17	c 3466
172.36	o 21946
172.36	c 3463
172.74	o 21949
172.74	c 3460
172.94	o 21952
172.94	c 3457
173.15	o 21954
173.15	c 3455
173.55	o 21956
173.55	c 3453
174.17	o 21958
174.17	c 3451
174.78	o 21959
174.78	c 3450
176.23	o 21961
176.23	c 3448
176.65	o 21963
176.65	c 3446
176.88	o 21964
176.88	c 3445
177.09	o 21967
177.09	c 3442
177.70	o 21970
177.70	c 3439
177.92	o 21972
177.92	c 3437
179.00	o 21973
179.00	c 3436
179.20	o 21975
179.20	c 3434
179.61	o 21980
179.61	c 3429
180.45	o 21981
180.45	c 3428
180.66	o 21984
180.66	c 3425
181.57	o 21988
181.57	c 3421
181.77	o 21989
181.77	c 3420
181.97	o 21992
181.97	c 3417
182.29	o 21994
182.29	c 3415
182.49	o 21996
182.49	c 3413
182.69	o 21999
182.69	c 3410
182.88	o 22001
182.88	c 3408
183.08	o 22002
183.08	c 3407
183.28	o 22005
183.28	c 3404
183.89	o 22006
183.89	c 3403
184.27	o 22010
184.27	c 3399
185.40	o 22012
185.40	c 3397
185.99	o 22015
185.99	c 3394
186.17	o 22017
186.17	c 3392
186.36	o 22021
186.36	c 3388
186.54	o 22023
186.54	c 3386
186.93	o 22025
186.93	c 3384
187.12	o 22028
187.12	c 3381
187.52	o 22031
187.52	c 3378
187.72	o 22033
187.72	c 3376
188.11	o 22037
188.11	c 3372
191.34	o 22038
191.34	c 3371
191.72	o 22040
191.72	c 3369
191.91	o 22043
191.91	c 3366
192.10	o 22044
192.10	c 3365
192.30	o 22046
192.30	c 3363
192.89	o 22047
192.89	c 3362
193.09	o 22049
193.09	c 3360
193.88	o 22052
193.88	c 3357
195.30	o 22054
195.30	c 3355
195.90	o 22055
195.90	c 3354
196.09	o 22058
196.09	c 3351
196.29	o 22059
196.29	c 3350
196.48	o 22062
196.48	c 3347
196.85	o 22063
196.85	c 3346
197.05	o 22064
197.05	c 3345
197.45	o 22066
197.45	c 3343
197.65	o 22068
197.65	c 3341
199.19	o 22071
199.19	c 3338
199.35	o 22073
199.35	c 3336
199.98	o 22074
199.98	c 3335
201.65	o 22077
201.65	c 3332
203.22	o 22082
203.22	c 3327
204.65	o 22084
204.65	c 3325
204.86	o 22085
204.86	c 3324
205.62	o 22087
205.62	c 3322
205.81	o 22091
205.81	c 3318
205.93	o 22093
205.93	c 3316
206.13	o 22095
206.13	c 3314
212.21	o 22096
212.21	c 3313
212.41	o 22100
212.41	c 3309
216.25	o 22101
216.25	c 3308
216.47	o 22102
216.47	c 3307
216.70	o 22103
216.70	c 3306
217.13	o 22106
217.13	c 3303
217.35	o 22111
217.35	c 3298
217.78	o 22112
217.78	c 3297
218.00	o 22113
218.00	c 3296
218.20	o 22114
218.20	c 3295
218.88	o 22115
218.88	c 3294
219.29	o 22117
219.29	c 3292
219.38	o 22118
219.38	c 3291
219.60	o 22124
219.60	c 3285
219.83	o 22126
219.83	c 3283
220.49	o 22127
220.49	c 3282
220.71	o 22128
220.71	c 3281
220.94	o 22132
220.94	c 3277
222.04	o 22135
222.04	c 3274
222.26	o 22137
222.26	c 3272
222.48	o 22139
222.48	c 3270
222.59	o 22140
222.59	c 3269
222.80	o 22144
222.81	c 3265
223.03	o 22146
223.03	c 3263
223.38	o 22150
223.38	c 3259
223.51	o 22153
223.51	c 3256
223.68	o 22155
223.68	c 3254
223.88	o 22158
223.88	c 3251
224.06	o 22160
224.06	c 3249
224.92	o 22161
224.92	c 3248
225.13	o 22165
225.14	c 3244
225.36	o 22166
225.36	c 3243
226.23	o 22168
226.23	c 3241
226.46	o 22170
226.46	c 3239
226.70	o 22172
226.70	c 3237
226.92	o 22174
226.92	c 3235
227.14	o 22175
227.14	c 3234
227.37	o 22176
227.37	c 3233
228.70	o 22177
228.70	c 3232
229.36	o 22179
229.36	c 3230
229.58	o 22181
229.58	c 3228
229.79	o 22183
229.79	c 3226
230.02	o 22188
230.02	c 3221
230.46	o 22189
230.46	c 3220
230.87	o 22192
230.87	c 3217
231.09	o 22195
231.09	c 3214
231.22	o 22203
231.22	c 3206
232.51	o 22204
232.51	c 3205
233.39	o 22207
233.39	c 3202
233.60	o 22211
233.60	c 3198
233.81	o 22214
233.81	c 3195
235.25	o 22216
235.25	c 3193
236.31	o 22217
236.31	c 3192
236.74	o 22219
236.74	c 3190
241.26	o 22221
241.26	c 3188
241.92	o 22222
241.92	c 3187
242.37	o 22225
242.37	c 3184
242.72	o 22230
242.72	c 3179
242.94	o 22235
242.94	c 3174
243.36	o 22239
243.36	c 3170
243.79	o 22241
243.79	c 3168
244.01	o 22242
244.01	c 3167
244.23	o 22243
244.23	c 3166
244.44	o 22245
244.44	c 3164
245.05	o 22247
245.05	c 3162
245.25	o 22249
245.25	c 3160
245.47	o 22251
245.47	c 3158
247.53	o 22253
247.53	c 3156
247.74	o 22255
247.74	c 3154
248.58	o 22256
248.58	c 3153
248.80	o 22257
248.80	c 3152
249.02	o 22258
249.02	c 3151
249.24	o 22260
249.24	c 3149
249.44	o 22263
249.44	c 3146
249.66	o 22267
249.66	c 3142
249.87	o 22269
249.87	c 3140
250.49	o 22273
250.49	c 3136
250.92	o 22276
250.92	c 3133
251.35	o 22279
251.35	c 3130
251.77	o 22283
251.82	c 3126
252.13	o 22286
252.13	c 3123
252.34	o 22287
252.34	c 3122
252.55	o 22288
252.55	c 3121
253.41	o 22289
253.41	c 3120
253.61	o 22290
253.61	c 3119
253.82	o 22291
253.82	c 3118
254.01	o 22293
254.01	c 3116
254.23	o 22300
254.23	c 3109
254.44	o 22302
254.44	c 3107
254.64	o 22304
254.64	c 3105
255.46	o 22305
255.46	c 3104
255.66	o 22311
255.66	c 3098
255.85	o 22315
255.85	c 3094
256.05	o 22317
256.05	c 3092
256.26	o 22321
256.26	c 3088
256.66	o 22322
256.66	c 3087
256.86	o 22325
256.86	c 3084
257.07	o 22327
257.07	c 3082
257.27	o 22331
257.27	c 3078
257.47	o 22332
257.47	c 3077
257.67	o 22333
257.67	c 3076
257.88	o 22335
257.88	c 3074
258.50	o 22339
258.50	c 3070
262.15	o 22341
262.15	c 3068
262.59	o 22342
262.59	c 3067
262.82	o 22344
262.82	c 3065
263.04	o 22347
263.04	c 3062
263.25	o 22351
263.25	c 3058
263.92	o 22355
263.92	c 3054
264.13	o 22357
264.13	c 3052
267.51	o 22360
267.51	c 3049
269.41	o 22361
269.41	c 3048
269.85	o 22364
269.85	c 3045
272.29	o 22365
272.29	c 3044
272.52	o 22366
272.52	c 3043
272.75	o 22368
272.75	c 3041
274.87	o 22372
274.87	c 3037
275.28	o 22375
275.28	c 3034
275.50	o 22376
275.50	c 3033
275.65	o 22378
275.65	c 3031
275.87	o 22380
275.87	c 3029
276.30	o 22381
276.30	c 3028
279.13	o 22384
279.13	c 3025
279.35	o 22386
279.35	c 3023
279.76	o 22390
279.76	c 3019
279.97	o 22393
279.97	c 3016
280.37	o 22395
280.37	c 3014
280.58	o 22399
280.58	c 3010
280.63	o 22403
280.63	c 3006
280.85	o 22407
280.85	c 3002
281.02	o 22410
281.02	c 2999
281.23	o 22414
281.23	c 2995
282.08	o 22416
282.08	c 2993
282.71	o 22418
282.71	c 2991
283.53	o 22419
283.53	c 2990
283.63	o 22420
283.63	c 2989
283.84	o 22421
283.84	c 2988
284.16	o 22424
284.16	c 2985
285.21	o 22426
285.21	c 2983
285.61	o 22430
285.61	c 2979
286.04	o 22431
286.04	c 2978
287.09	o 22432
287.09	c 2977
287.31	o 22436
287.31	c 2973
287.51	o 22438
287.51	c 2971
288.76	o 22440
288.76	c 2969
289.13	o 22442
289.13	c 2967
289.54	o 22445
289.54	c 2964
290.16	o 22449
290.16	c 2960
290.36	o 22453
290.36	c 2956
290.54	o 22458
290.54	c 2951
290.75	o 22463
290.75	c 2946
290.97	o 22466
290.97	c 2943
291.19	o 22468
291.19	c 2941
291.84	o 22471
291.84	c 2938
292.04	o 22473
292.04	c 2936
292.46	o 22476
292.46	c 2933
293.00	o 22479
293.00	c 2930
293.86	o 22481
293.86	c 2928
294.27	o 22484
294.27	c 2925
295.32	o 22489
295.32	c 2920
295.96	o 22492
295.96	c 2917
296.11	o 22494
296.11	c 2915
296.23	o 22496
296.23	c 2913
296.43	o 22499
296.43	c 2910
297.06	o 22501
297.06	c 2908
297.68	o 22503
297.68	c 2906
297.90	o 22504
297.90	c 2905
298.12	o 22506
298.12	c 2903
298.32	o 22510
298.32	c 2899
298.54	o 22513
298.54	c 2896
298.76	o 22515
298.76	c 2894
298.97	o 22517
298.97	c 2892
301.50	o 22518
301.50	c 2891
302.19	o 22521
302.19	c 2888
303.29	o 22522
303.29	c 2887
304.53	o 22525
304.53	c 2884
304.97	o 22527
304.97	c 2882
305.21	o 22529
305.21	c 2880
305.43	o 22530
305.43	c 2879
305.64	o 22532
305.64	c 2877
309.84	o 22533
309.84	c 2876
310.06	o 22535
310.06	c 2874
312.58	o 22536
312.58	c 2873
313.26	o 22537
313.26	c 2872
314.04	o 22540
314.04	c 2869
314.42	o 22543
314.42	c 2866
315.00	o 22546
315.00	c 2863
315.24	o 22549
315.24	c 2860
316.00	o 22550
316.00	c 2859
316.68	o 22554
316.68	c 2855
316.91	o 22555
316.91	c 2854
318.27	o 22556
318.27	c 2853
318.50	o 22558
318.50	c 2851
320.58	o 22560
320.58	c 2849
320.81	o 22562
320.81	c 2847
321.05	o 22567
321.05	c 2842
322.43	o 22570
322.43	c 2839
322.67	o 22578
322.67	c 2831
323.15	o 22579
323.15	c 2830
324.82	o 22581
324.82	c 2828
325.05	o 22582
325.05	c 2827
325.28	o 22583
325.28	c 2826
325.76	o 22587
325.76	c 2822
326.33	o 22590
326.33	c 2819
326.57	o 22592
326.57	c 2817
326.80	o 22593
326.80	c 2816
327.28	o 22594
327.28	c 2815
327.52	o 22596
327.52	c 2813
331.58	o 22600
331.58	c 2809
331.81	o 22601
331.81	c 2808
332.05	o 22602
332.05	c 2807
332.27	o 22603
332.27	c 2806
332.97	o 22604
332.97	c 2805
333.67	o 22607
333.67	c 2802
334.79	o 22610
334.79	c 2799
335.98	o 22612
335.98	c 2797
336.08	o 22616
336.08	c 2793
336.33	o 22619
336.33	c 2790
336.54	o 22622
336.54	c 2787
336.74	o 22623
336.74	c 2786
336.99	o 22624
336.99	c 2785
337.95	o 22626
337.95	c 2783
338.19	o 22628
338.19	c 2781
338.43	o 22629
338.43	c 2780
339.35	o 22630
339.35	c 2779
339.60	o 22631
339.60	c 2778
339.84	o 22632
339.84	c 2777
342.70	o 22635
342.70	c 2774
343.95	o 22636
343.95	c 2773
344.19	o 22637
344.19	c 2772
344.43	o 22640
344.43	c 2769
344.67	o 22644
344.67	c 2765
344.92	o 22645
344.92	c 2764
345.40	o 22646
345.40	c 2763
345.87	o 22648
345.87	c 2761
346.04	o 22650
346.04	c 2759
346.28	o 22651
346.28	c 2758
348.01	o 22652
348.01	c 2757
349.24	o 22653
349.24	c 2756
349.49	o 22654
349.49	c 2755
349.73	o 22655
349.73	c 2754
350.00	o 22656
350.00	c 2753
352.12	o 22659
352.12	c 2750
352.36	o 22661
352.36	c 2748
354.84	o 22666
354.84	c 2743
355.08	o 22667
355.08	c 2742
355.32	o 22669
355.32	c 2740
355.56	o 22670
355.56	c 2739
355.80	o 22672
355.80	c 2737
356.03	o 22673
356.03	c 2736
356.50	o 22676
356.50	c 2733
356.70	o 22678
356.70	c 2731
356.91	o 22679
356.91	c 2730
357.10	o 22680
357.10	c 2729
357.33	o 22683
357.33	c 2726
357.56	o 22688
357.56	c 2721
357.76	o 22689
357.76	c 2720
358.81	o 22692
358.81	c 2717
359.72	o 22694
359.72	c 2715
359.97	o 22696
359.97	c 2713
360.21	o 22698
360.21	c 2711
360.44	o 22699
360.44	c 2710
360.92	o 22701
360.92	c 2708
361.16	o 22702
361.16	c 2707
361.40	o 22705
361.40	c 2704
361.62	o 22707
361.62	c 2702
361.84	o 22710
361.84	c 2699
362.07	o 22711
362.07	c 2698
362.30	o 22712
362.30	c 2697
362.72	o 22714
362.72	c 2695
363.31	o 22717
363.31	c 2692
363.48	o 22721
363.48	c 2688
363.70	o 22724
363.70	c 2685
364.57	o 22725
364.57	c 2684
364.78	o 22730
364.78	c 2679
365.20	o 22731
365.20	c 2678
365.61	o 22735
365.61	c 2674
366.04	o 22737
366.04	c 2672
366.61	o 22738
366.61	c 2671
366.83	o 22739
366.83	c 2670
367.69	o 22740
367.69	c 2669
367.90	o 22742
367.90	c 2667
368.53	o 22745
368.53	c 2664
369.45	o 22746
369.45	c 2663
369.68	o 22749
369.68	c 2660
369.93	o 22750
369.93	c 2659
370.61	o 22752
370.61	c 2657
371.77	o 22753
371.77	c 2656
371.99	o 22756
371.99	c 2653
372.70	o 22758
372.70	c 2651
372.92	o 22760
372.92	c 2649
373.37	o 22761
373.37	c 2648
373.56	o 22763
373.56	c 2646
373.79	o 22765
373.79	c 2644
374.03	o 22766
374.03	c 2643
374.72	o 22767
374.72	c 2642
375.81	o 22769
375.81	c 2640
376.72	o 22770
376.72	c 2639
377.17	o 22772
377.17	c 2637
377.79	o 22773
377.79	c 2636
378.00	o 22774
378.00	c 2635
378.23	o 22777
378.23	c 2632
378.87	o 22781
378.87	c 2628
381.71	o 22783
381.71	c 2626
382.94	o 22786
382.94	c 2623
383.19	o 22790
383.19	c 2619
383.30	o 22792
383.30	c 2617
383.56	o 22794
383.56	c 2615
386.22	o 22795
386.22	c 2614
386.70	o 22796
386.70	c 2613
386.94	o 22798
386.94	c 2611
387.18	o 22800
387.18	c 2609
387.42	o 22803
387.42	c 2606
387.68	o 22804
387.68	c 2605
388.07	o 22805
388.07	c 2604
388.25	o 22809
388.25	c 2600
388.49	o 22813
388.49	c 2596
388.74	o 22814
388.74	c 2595
389.08	o 22817
389.08	c 2592
389.56	o 22820
389.56	c 2589
389.79	o 22821
389.79	c 2588
390.29	o 22823
390.29	c 2586
390.54	o 22824
390.54	c 2585
390.80	o 22826
390.80	c 2583
391.54	o 22828
391.54	c 2581
391.79	o 22829
391.79	c 2580
392.03	o 22831
392.03	c 2578
392.25	o 22833
392.25	c 2576
392.50	o 22836
392.50	c 2573
393.73	o 22840
393.73	c 2569
393.96	o 22841
393.96	c 2568
397.59	o 22843
397.59	c 2566
397.84	o 22844
397.84	c 2565
398.09	o 22845
398.09	c 2564
398.33	o 22847
398.33	c 2562
398.58	o 22848
398.58	c 2561
399.99	o 22849
399.99	c 2560
400.25	o 22850
400.25	c 2559
400.75	o 22851
400.75	c 2558
401.00	o 22854
401.00	c 2555
401.25	o 22855
401.25	c 2554
401.51	o 22858
401.51	c 2551
402.01	o 22861
402.01	c 2548
402.14	o 22865
402.14	c 2544
402.39	o 22870
402.39	c 2539
402.89	o 22871
402.89	c 2538
403.65	o 22872
403.65	c 2537
403.92	o 22873
403.92	c 2536
404.16	o 22874
404.16	c 2535
404.68	o 22876
404.68	c 2533
404.90	o 22880
404.90	c 2529
405.14	o 22884
405.14	c 2525
406.39	o 22885
406.39	c 2524
406.92	o 22887
406.92	c 2522
407.13	o 22890
407.13	c 2519
407.39	o 22893
407.39	c 2516
407.66	o 22897
407.66	c 2512
407.91	o 22898
407.91	c 2511
408.18	o 22900
408.18	c 2509
408.43	o 22906
408.43	c 2503
408.67	o 22908
408.67	c 2501
409.19	o 22913
409.19	c 2496
409.45	o 22915
409.45	c 2494
409.73	o 22916
409.73	c 2493
413.74	o 22918
413.74	c 2491
413.99	o 22922
413.99	c 2487
414.24	o 22924
414.24	c 2485
415.28	o 22925
415.28	c 2484
415.54	o 22928
415.54	c 2481
416.33	o 22933
416.33	c 2476
416.48	o 22937
416.48	c 2472
417.00	o 22939
417.00	c 2470
417.26	o 22940
417.26	c 2469
417.50	o 22942
417.50	c 2467
418.27	o 22943
418.27	c 2466
418.80	o 22944
418.80	c 2465
419.55	o 22947
419.55	c 2462
420.07	o 22948
420.07	c 2461
420.60	o 22950
420.60	c 2459
420.87	o 22951
420.87	c 2458
423.38	o 22955
423.38	c 2454
423.63	o 22957
423.63	c 2452
424.15	o 22958
424.15	c 2451
426.23	o 22959
426.23	c 2450
426.49	o 22960
426.49	c 2449
426.75	o 22961
426.75	c 2448
427.01	o 22965
427.01	c 2444
427.14	o 22966
427.14	c 2443
427.40	o 22967
427.40	c 2442
427.63	o 22969
427.63	c 2440
427.89	o 22970
427.89	c 2439
428.15	o 22972
428.15	c 2437
429.41	o 22974
429.41	c 2435
429.69	o 22975
429.69	c 2434
430.21	o 22976
430.21	c 2433
430.74	o 22979
430.74	c 2430
431.51	o 22983
431.51	c 2426
431.76	o 22985
431.76	c 2424
432.02	o 22987
432.02	c 2422
433.96	o 22988
433.96	c 2421
434.39	o 22989
434.39	c 2420
434.63	o 22994
434.63	c 2415
434.88	o 22996
434.88	c 2413
435.13	o 22997
435.13	c 2412
435.64	o 23000
435.64	c 2409
435.98	o 23001
435.98	c 2408
436.22	o 23002
436.22	c 2407
436.46	o 23004
436.46	c 2405
438.28	o 23005
438.28	c 2404
438.52	o 23006
438.52	c 2403
439.25	o 23007
439.25	c 2402
439.95	o 23008
439.95	c 2401
440.60	o 23012
440.60	c 2397
441.10	o 23014
441.10	c 2395
441.22	o 23021
441.22	c 2388
441.42	o 23024
441.42	c 2385
441.67	o 23026
441.67	c 2383
442.60	o 23027
442.60	c 2382
442.84	o 23030
442.84	c 2379
443.57	o 23031
443.57	c 2378
443.68	o 23037
443.68	c 2372
443.93	o 23039
443.93	c 2370
444.18	o 23042
444.18	c 2367
444.68	o 23046
444.68	c 2363
444.83	o 23051
444.83	c 2358
445.07	o 23055
445.07	c 2354
446.81	o 23057
446.81	c 2352
447.58	o 23059
447.58	c 2350
447.82	o 23061
447.82	c 2348
448.34	o 23063
448.34	c 2346
449.91	o 23064
449.91	c 2345
450.42	o 23065
450.42	c 2344
451.21	o 23067
451.21	c 2342
452.03	o 23071
452.03	c 2338
452.85	o 23075
452.85	c 2334
453.13	o 23078
453.13	c 2331
456.45	o 23079
456.45	c 2330
456.66	o 23080
456.66	c 2329
456.84	o 23082
456.84	c 2327
457.62	o 23083
457.62	c 2326
457.89	o 23084
457.89	c 2325
458.15	o 23085
458.15	c 2324
458.68	o 23086
458.68	c 2323
459.76	o 23087
459.76	c 2322
460.02	o 23088
460.02	c 2321
463.46	o 23092
463.46	c 2317
465.11	o 23096
465.11	c 2313
465.64	o 23098
465.64	c 2311
465.86	o 23100
465.86	c 2309
466.34	o 23103
466.34	c 2306
466.60	o 23104
466.60	c 2305
466.83	o 23107
466.83	c 2302
468.58	o 23109
468.58	c 2300
469.08	o 23112
469.08	c 2297
469.28	o 23116
469.28	c 2293
469.79	o 23119
469.79	c 2290
470.05	o 23121
470.05	c 2288
471.11	o 23123
471.11	c 2286
471.36	o 23127
471.36	c 2282
471.62	o 23131
471.62	c 2278
473.49	o 23133
473.49	c 2276
473.73	o 23137
473.73	c 2272
474.25	o 23138
474.25	c 2271
474.50	o 23139
474.50	c 2270
474.99	o 23144
474.99	c 2265
475.26	o 23145
475.26	c 2264
479.52	o 23146
479.52	c 2263
479.78	o 23147
479.78	c 2262
480.33	o 23148
480.33	c 2261
480.70	o 23150
480.70	c 2259
481.97	o 23151
481.97	c 2258
482.24	o 23153
482.24	c 2256
482.44	o 23154
482.44	c 2255
482.70	o 23155
482.70	c 2254
482.96	o 23158
482.96	c 2251
483.48	o 23161
483.48	c 2248
484.55	o 23162
484.55	c 2247
484.83	o 23163
484.83	c 2246
485.08	o 23165
485.08	c 2244
485.35	o 23166
485.35	c 2243
485.63	o 23167
485.63	c 2242
486.18	o 23170
486.18	c 2239
488.61	o 23172
488.61	c 2237
488.90	o 23173
488.90	c 2236
489.86	o 23174
489.86	c 2235
490.15	o 23175
490.15	c 2234
490.26	o 23178
490.26	c 2231
490.53	o 23179
490.53	c 2230
490.71	o 23182
490.71	c 2227
490.96	o 23185
490.96	c 2224
494.82	o 23186
494.82	c 2223
495.10	o 23187
495.10	c 2222
497.57	o 23189
497.57	c 2220
498.97	o 23190
498.97	c 2219
499.24	o 23191
499.25	c 2218
499.81	o 23192
499.81	c 2217
500.08	o 23193
500.08	c 2216
502.30	o 23198
502.30	c 2211
502.59	o 23200
502.59	c 2209
502.89	o 23202
502.89	c 2207
503.17	o 23203
503.17	c 2206
503.46	o 23204
503.46	c 2205
503.75	o 23206
503.75	c 2203
504.34	o 23208
504.34	c 2201
504.62	o 23209
504.62	c 2200
507.33	o 23210
507.33	c 2199
507.92	o 23211
507.92	c 2198
508.86	o 23214
508.86	c 2195
510.63	o 23217
510.63	c 2192
511.54	o 23218
511.54	c 2191
511.85	o 23220
511.85	c 2189
512.15	o 23222
512.15	c 2187
512.47	o 23223
512.47	c 2186
513.13	o 23228
513.13	c 2181
513.45	o 23229
513.45	c 2180
513.77	o 23233
513.77	c 2176
514.71	o 23235
514.71	c 2174
516.28	o 23236
516.28	c 2173
516.52	o 23238
516.52	c 2171
516.83	o 23239
516.83	c 2170
526.14	o 23240
526.14	c 2169
526.47	o 23242
526.47	c 2167
528.93	o 23243
528.93	c 2166
529.26	o 23245
529.26	c 2164
530.25	o 23247
530.25	c 2162
544.51	o 23249
544.51	c 2160
544.72	o 23250
544.72	c 2159
545.73	o 23251
545.73	c 2158
546.07	o 23252
546.07	c 2157
546.41	o 23254
546.41	c 2155
546.74	o 23256
546.74	c 2153
547.40	o 23259
547.40	c 2150
548.08	o 23260
548.08	c 2149
548.43	o 23263
548.43	c 2146
548.50	o 23265
548.50	c 2144
548.82	o 23267
548.82	c 2142
549.17	o 23268
549.17	c 2141
549.82	o 23271
549.82	c 2138
550.16	o 23273
550.16	c 2136
555.54	o 23275
555.54	c 2134
555.58	o 23279
555.58	c 2130
555.78	o 23280
555.78	c 2129
561.09	o 23285
561.09	c 2124
562.16	o 23286
562.16	c 2123
562.52	o 23288
562.52	c 2121
563.82	o 23289
563.82	c 2120
564.19	o 23292
564.19	c 2117
564.55	o 23294
564.55	c 2115
564.91	o 23296
564.91	c 2113
565.97	o 23297
565.97	c 2112
566.99	o 23299
566.99	c 2110
567.34	o 23301
567.34	c 2108
570.55	o 23302
570.55	c 2107
571.98	o 23305
571.98	c 2104
572.34	o 23306
572.34	c 2103
572.70	o 23307
572.70	c 2102
573.07	o 23308
573.07	c 2101
573.44	o 23310
573.44	c 2099
574.89	o 23311
574.89	c 2098
575.26	o 23312
575.26	c 2097
577.22	o 23314
577.22	c 2095
577.58	o 23315
577.58	c 2094
578.29	o 23317
578.29	c 2092
578.65	o 23319
578.66	c 2090
579.20	o 23320
579.20	c 2089
584.59	o 23321
584.59	c 2088
603.17	o 23322
603.17	c 2087
604.00	o 23323
604.00	c 2086
605.65	o 23324
605.65	c 2085
606.00	o 23325
606.00	c 2084
608.26	o 23328
608.26	c 2081
610.41	o 23329
610.41	c 2080
610.74	o 23332
610.74	c 2077
612.33	o 23333
612.33	c 2076
612.98	o 23335
612.98	c 2074
613.31	o 23337
613.31	c 2072
614.52	o 23339
614.52	c 2070
615.17	o 23340
615.17	c 2069
615.45	o 23341
615.45	c 2068
615.76	o 23344
615.76	c 2065
617.72	o 23345
617.72	c 2064
617.95	o 23347
617.95	c 2062
618.90	o 23348
618.90	c 2061
626.88	o 23350
626.88	c 2059
628.30	o 23351
628.30	c 2058
628.61	o 23354
628.61	c 2055
628.92	o 23355
628.92	c 2054
629.18	o 23356
629.18	c 2053
629.30	o 23359
629.30	c 2050
633.31	o 23361
633.31	c 2048
633.62	o 23364
633.62	c 2045
636.00	o 23367
636.00	c 2042
636.22	o 23369
636.22	c 2040
636.53	o 23371
636.53	c 2038
636.82	o 23372
636.82	c 2037
637.46	o 23374
637.46	c 2035
639.13	o 23375
639.13	c 2034
640.73	o 23381
640.73	c 2028
641.38	o 23382
641.38	c 2027
642.37	o 23383
642.38	c 2026
645.05	o 23384
645.05	c 2025
645.40	o 23385
645.40	c 2024
646.07	o 23387
646.07	c 2022
649.05	o 23389
649.05	c 2020
651.84	o 23392
651.84	c 2017
652.18	o 23393
652.18	c 2016
682.71	   
682.71	   search
682.71	     run=0  nbConstraintChecks=2795060971  nbAssignments=3355
682.71	       =>  wckTime=620.247  cpuTime=614.36  mem=57M936
682.72	   
682.72	   global
682.72	     nbConstraintChecks=2795060971  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
682.72	     solvingWckTime=620.232  solvingCpuTime=614.34  expiredTime=no  totalExploration=no  nbFoundSolutions=0
682.72	     globalCpuTime=674.96
682.72	       =>  wckTime=682.4  cpuTime=674.92  mem=57M936
682.72	   
682.72	   solver IterativeSystematicSolver being built... 
683.24	       =>  wckTime=682.929  cpuTime=675.23  mem=115M472
734.20	   
734.20	   preprocessing
734.20	     nbConstraintChecks=105384713  nbValidityChecks=393013  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
734.20	     nbRemovedValues=0  detectedInconsistency=no
734.20	       =>  wckTime=50.943  cpuTime=50.46  mem=115M472
2409.81	v -2264 2580 2236 -2596 2500 -2516 -2420 -2728 2308 -2472 -2284 -2168 2736 2336 -2580 2560 -2736 -2360 2684 2120 -2172 2140 -2120 -2156 2736 2172 2564 2156 2472 -2672 2528 -2424 -2364 2372 2696 -2724 2368 2148 -2412 -2724 -2580 -2736 -2344 -2356 2128 -2304 -2160 -2676 -2304 2472 -2528 -2676 -2672 2364 2428 2160 2120 -2688 2488 -2436 2692 -2296 -2492 -2544 -2708 -2420 2668 2176 -2180 -2204 2684 -2704 2476 -2584 -2176 -2672 2452 2712 -2460 -2180 2164 -2296 2216 2736 -2520 2188 2672 -2512 -2172 2728 -2532 2736 -2128 2728 -2660 2540 2632 -2224 -2172 2120 2736 -2168 2736 2668 2168 -2168 2652 -2180 -2264 2632 2292 2124 -2568 -2588 -2232 -2736 2724 -2372 -2504 2404 2448 2732 2636 2196 2236 -2680 2692 -2644 -2600 2548 -2348 -2184 2444 2392 2176 2296 2484 2648 -2560 2272 -2476 2708 -2160 2196 -2120 2664 -2736 -2732 2380 2284 2128 2160 2136 -2172 2712 -2136 -2164 -2376 -2692 2596 2320 -2732 -2132 -2212 -2424 2720 -2132 -2692 2452 2160 -2696 -2608 -2128 2464 2712 2584 2536 -2564 -2688 2128 2284 2480 2168 -2284 -2736 2188 -2536 -2604 -2124 -2120 -2428 2220 -2732 -2312 -2468 -2124 2696 -2124 2716 2128 -2676 2312 2688 2708 -2676 -2180 -2692 2120 -2660 -2412 -2148 2684 2724 2648 2328 -2528 -2152 -2648 2440 2304 2552 -2180 2552 2412 2444 2264 -2164 2124 -2160 -2724 -2472 -2476 -2460 -2172 -2120 2204 -2644 2340 -2444 -2248 2268 2728 -2136 2656 -2500 2392 2160 -2404 2520 -2664 -2552 2732 -2120 2400 2724 2248 -2436 -2688 -2384 -2372 2132 -2120 2308 2416 -2124 2240 -2728 -2208 2364 -2736 2136 -2200 -2128 2488 -2220 -2160 2152 2520 -2188 -2440 -2308 -2324 -2516 2676 -2492 -2692 -2344 2736 2304 2696 2284 -2120 -2448 -2172 2604 2568 -2732 -2504 -2408 2708 2536 -2736 -2184 2688 2564 -2724 -2568 2664 2160 2144 2268 -2172 -2696 -2424 -2124 2736 -2260 2624 2736 -2128 2680 -2424 -2636 -2212 2152 2436 2696 -2732 -2292 -2684 2128 -2384 -2120 2176 2564 2324 2692 2256 -2124 2580 -2588 -2296 -2444 -2272 -2344 2624 2324 2732 2668 2604 2692 2276 -2540 2588 -2680 2120 2140 -2468 2728 -2120 -2624 2676 -2164 2532 -2548 2124 2736 2360 2256 -2168 -2180 2256 -2368 2208 2676 -2720 2588 -2124 -2588 -2736 2120 -2156 2516 2700 -2284 2120 2384 2460 2160 2440 2156 -2376 -2428 2136 2120 2388 2536 -2288 -2460 -2124 -2164 -2512 -2120 -2124 -2440 -2120 2564 -2508 -2480 2636 -2348 -2464 -2680 2140 -2640 2124 2384 -2688 -2324 -2580 -2680 2472 2408 -2484 2240 2520 2576 -2688 -2680 -2128 2484 -2696 2736 2168 2520 2488 -2432 -2400 2160 -2352 2648 -2652 2188 -2120 -2420 2128 -2732 2404 2728 -2696 2188 -2324 2304 -2628 -2728 2564 2672 2328 2156 2432 2628 2736 -2476 2280 -2692 -2152 2456 2524 -2696 2388 2688 -2444 -2264 2696 -2348 2684 2136 2268 -2508 2696 2452 2184 2372 2176 -2344 -2296 2324 -2720 -2280 -2384 -2468 2684 -2452 -2120 2120 -2692 -2316 2388 2736 -2736 2160 -2240 -2248 -2160 2188 -2736 -2620 -2132 2436 2196 -2464 2724 -2712 2728 2628 -2160 -2272 -2704 2256 -2128 -2516 2668 2200 2552 2712 -2140 2544 2584 -2724 -2508 2720 -2512 -2256 2736 2164 2688 2200 -2664 -2732 2124 -2212 2436 2120 -2160 -2696 2400 2192 -2148 -2720 2656 -2300 -2204 -2688 -2688 -2160 -2124 -2408 2520 -2732 2184 -2324 2712 2536 2132 2120 -2688 -2204 -2176 -2260 -2676 2124 -2176 2124 -2684 -2156 -2636 2144 -2420 2160 2160 2260 -2160 -2608 -2544 -2640 2736 2148 2124 2592 2732 2696 -2428 -2672 2168 -2696 -2180 -2724 -2480 2164 -2248 -2120 2436 -2532 2164 -2440 2160 -2132 -2508 -2404 2664 2672 2188 2724 2520 2424 2280 -2696 2432 -2476 -2180 2416 2732 -2244 2580 -2556 -2204 -2616 -2304 2324 2120 2196 -2320 2616 2692 2640 -2428 -2336 2624 2188 2480 -2120 2692 -2268 2372 2576 2672 -2452 2180 -2564 2448 -2388 -2600 2696 -2456 -2564 -2360 -2736 -2736 2736 -2120 -2260 -2460 -2228 2728 -2736 -2536 -2712 -2120 2720 -2472 -2692 2696 -2484 -2180 -2732 2176 -2704 -2432 -2192 2384 -2448 -2256 -2688 2680 2460 -2320 -2656 2132 -2620 -2120 -2676 2308 -2120 -2672 -2244 -2524 -2680 2696 2720 -2244 -2600 -2148 -2132 2124 -2492 2472 2128 2524 -2536 2580 -2688 2384 2600 2600 2412 -2120 2376 2728 2632 2156 2144 2148 -2160 -2208 -2376 -2172 2644 2616 2264 2156 2680 2176 2140 2432 -2160 2496 2344 2324 2412 2524 2724 2124 2224 -2220 -2304 2692 2128 -2692 -2160 -2304 2728 2616 2696 -2732 2304 2692 -2416 2220 -2148 -2560 2520 2620 2312 -2412 2736 -2120 2220 -2404 -2356 -2528 -2156 -2184 -2568 -2124 2624 2728 2672 2656 2712 -2160 2128 2120 2672 -2160 2276 -2356 -2680 2176 -2120 -2680 2608 2540 -2600 2120 -2736 -2404 -2320 -2124 2132 2692 2320 -2372 2232 2304 -2168 -2704 -2296 -2232 -2368 2688 2280 2120 2208 2364 -2152 2396 -2128 -2304 2136 2468 -2648 -2724 2140 -2168 2172 -2612 -2192 2132 2448 2624 2180 2120 -2140 -2388 2376 -2736 2512 2260 -2544 -2684 -2556 2608 2400 -2124 -2480 2172 2460 -2304 2588 2616 -2648 2132 -2664 2480 2716 -2180 2316 2444 -2644 -2220 2132 2736 -2252 2532 -2128 2412 2720 2696 -2352 -2368 2560 -2184 2664 2140 -2160 -2260 2256 2504 -2136 -2728 2720 2160 2724 2732 2192 -2224 -2620 2712 -2136 2124 2720 2140 -2580 -2164 -2640 2120 2696 2692 -2296 -2520 2688 2368 -2372 -2392 -2608 -2732 2260 -2144 2244 2156 2600 -2252 -2656 -2592 -2120 -2196 2728 -2168 -2608 2168 -2160 -2700 2532 -2228 -2128 2120 2732 -2372 -2712 -2548 2704 2568 2240 -2120 -2720 2644 -2180 2120 2676 -2120 -2404 -2684 -2732 -2692 2668 -2656 2128 2712 2352 -2400 2588 2732 -2728 -2168 2648 -2676 -2172 -2732 2332 -2408 2120 2648 2160 -2524 -2508 2576 -2444 -2736 2336 -2336 -2192 2700 2420 -2248 2676 -2580 -2660 -2528 -2516 2264 -2244 -2632 2688 2176 -2516 -2648 -2544 2124 -2332 -2120 -2168 2696 2176 2196 2120 -2604 2160 -2696 2484 2348 2440 -2672 2180 2736 -2716 -2552 -2420 2160 -2572 2648 -2140 -2724 2176 -2416 2584 2224 -2364 -2696 2728 2168 2732 2240 2160 -2528 2656 -2224 2736 2604 -2688 2308 -2520 2736 2240 -2128 2396 -2696 2180 -2584 -2696 2604 -2128 2180 2420 -2688 2408 2724 2292 -2552 2648 2120 -2164 2160 -2524 -2736 2128 -2724 2448 2128 2200 2352 -2176 -2692 2724 -2216 -2124 2696 -2688 2144 -2444 -2160 -2576 -2544 -2144 2160 -2636 2216 2556 2736 -2168 2360 -2344 2608 -2476 2684 2160 -2556 2412 2624 -2244 -2488 2336 2544 -2592 2724 2128 2120 2696 -2488 2732 -2124 2184 2684 2164 2640 2496 2224 2284 2152 2692 2688 2660 -2352 2296 2244 -2424 2728 2448 2344 -2684 -2608 2736 -2324 -2732 -2160 2164 -2596 -2464 -2396 2244 2692 2232 2520 2616 -2376 -2192 2196 2632 -2716 -2584 2684 2160 -2160 -2424 2736 -2676 2508 2736 2360 2244 -2384 -2544 -2196 2632 -2592 2716 -2344 2120 -2736 -2720 -2560 2576 2196 2152 2692 -2416 -2700 2732 2560 -2524 -2684 -2120 -2696 -2728 -2704 2332 2164 -2732 2276 2164 2692 -2400 2268 -2284 -2160 2736 2728 2572 -2120 2388 -2136 2120 -2560 -2332 -2160 2236 2236 -2120 -2716 2128 -2628 -2420 2496 2392 2672 -2672 -2644 -2212 -2312 -2536 2148 2344 2484 -2692 2168 2208 -2412 2664 -2456 -2328 2232 -2652 -2188 2124 -2696 -2512 2672 -2696 2164 2120 -2120 -2696 -2532 2368 2696 -2420 -2556 2144 2696 2724 -2156 2268 2428 -2692 -2548 -2520 -2540 2560 2440 2724 -2160 -2736 2736 -2728 2176 2664 2552 2736 2188 -2244 2724 2120 2400 -2216 -2200 -2728 2296 -2228 2168 2628 -2316 -2148 -2568 -2524 -2688 2528 -2132 -2732 -2140 -2220 -2220 2132 2272 -2212 -2124 -2360 2728 2692 -2120 -2272 -2728 2284 -2160 -2660 -2736 -2248 2184 2732 2348 2684 2128 -2696 -2120 -2132 2712 -2348 -2120 2492 2120 -2736 2504 2120 2424 -2164 2688 -2300 2544 -2712 2304 -2664 2168 -2664 -2424 2728 2364 -2132 -2536 2444 2736 -2188 2400 2540 -2620 -2168 -2728 -2124 -2160 -2316 -2684 -2724 -2344 -2120 2560 -2136 -2716 2440 2244 2444 -2220 2624 2180 -2392 2688 -2652 -2316 -2692 2732 -2416 -2332 -2660 2708 2308 2396 -2160 -2128 -2284 2512 -2728 2732 -2684 -2324 2668 2476 2160 2292 2736 -2696 2736 2612 -2504 -2684 -2172 -2232 -2404 2172 -2160 -2732 2160 2568 2484 -2184 -2560 2724 2684 -2120 2308 2356 2728 2716 2560 2696 -2280 2588 -2160 -2120 -2328 2248 -2692 2136 -2452 2700 -2536 -2548 -2736 -2684 2180 2504 -2452 -2736 -2356 -2388 -2712 -2692 -2696 -2212 -2652 2508 -2120 -2716 2516 2136 -2160 -2160 -2160 2464 2120 -2140 2492 -2736 -2664 2120 -2160 -2332 2684 2688 2664 -2484 2264 -2432 -2736 2464 -2164 -2412 -2688 -2316 2736 -2476 -2192 -2652 2396 2560 -2656 -2128 2716 -2244 2124 2132 2604 -2588 -2376 2124 2584 2264 -2464 2276 -2460 2120 2136 2172 2652 -2388 2364 2468 2132 -2464 2160 2168 -2536 -2288 -2728 2544 2700 2308 -2284 2272 -2696 -2172 2228 -2124 2264 2228

Verifier Data (download as text)

2016 unsatisfied constraints, 23393 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/node2/watcher-275268-1169219042 -o ROOT/results/node2/solver-275268-1169219042 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275268-1169219042/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.17 2.08 1.97 4/94 11110
/proc/meminfo: memFree=877080/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=9948 CPUtime=0
/proc/11109/stat : 11109 (java) S 11107 11109 10151 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 270299959 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/11109/statm: 2487 472 386 14 0 1142 0

[startup+0.103597 s]
/proc/loadavg: 2.17 2.08 1.97 4/94 11110
/proc/meminfo: memFree=877080/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=914988 CPUtime=0.08
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 270299959 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51167 s]
/proc/loadavg: 2.17 2.08 1.97 4/94 11110
/proc/meminfo: memFree=877080/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915332 CPUtime=0.49
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 7159 0 1 0 45 4 0 0 18 0 8 0 270299959 937299968 6898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073592350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228833 6898 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33483 s]
/proc/loadavg: 2.17 2.08 1.97 3/101 11117
/proc/meminfo: memFree=805920/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915612 CPUtime=1.3
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 22017 0 1 0 117 13 0 0 23 0 8 0 270299959 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228903 21754 2161 14 0 215373 0
[pid=11109/tid=11111] ppid=11107 vsize=915612 CPUtime=0.08
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 5463 0 0 0 6 2 0 0 16 0 8 0 270299963 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915612 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915612 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299964 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915612 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915612 CPUtime=0.16
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 403 0 0 0 16 0 0 0 16 0 8 0 270299967 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915612 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915612 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937586688 21754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915612

[startup+2.98712 s]
/proc/loadavg: 2.17 2.08 1.97 3/101 11117
/proc/meminfo: memFree=794208/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915744 CPUtime=2.94
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 22970 0 1 0 280 14 0 0 25 0 8 0 270299959 937721856 22704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228936 22704 2181 14 0 215406 0
[pid=11109/tid=11111] ppid=11107 vsize=915744 CPUtime=0.13
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 6338 0 0 0 11 2 0 0 17 0 8 0 270299963 937721856 22704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 22704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 22704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937721856 22704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915744 CPUtime=0.19
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 416 0 0 0 19 0 0 0 16 0 8 0 270299967 937721856 22704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937721856 22704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937721856 22704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915744

[startup+6.27173 s]
/proc/loadavg: 2.24 2.10 1.98 3/101 11117
/proc/meminfo: memFree=785640/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915744 CPUtime=6.2
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 22986 0 1 0 605 15 0 0 25 0 8 0 270299959 937721856 22720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228936 22720 2182 14 0 215406 0
[pid=11109/tid=11111] ppid=11107 vsize=915744 CPUtime=0.13
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 6338 0 0 0 11 2 0 0 16 0 8 0 270299963 937721856 22720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 22720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 22720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937721856 22720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915744 CPUtime=0.21
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 431 0 0 0 21 0 0 0 16 0 8 0 270299967 937721856 22720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937721856 22720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937721856 22720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915744

[startup+12.7609 s]
/proc/loadavg: 2.30 2.11 1.98 3/101 11117
/proc/meminfo: memFree=773800/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915744 CPUtime=12.63
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 22989 0 1 0 1246 17 0 0 25 0 8 0 270299959 937721856 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228936 22722 2182 14 0 215406 0
[pid=11109/tid=11111] ppid=11107 vsize=915744 CPUtime=0.13
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 6338 0 0 0 11 2 0 0 16 0 8 0 270299963 937721856 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937721856 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915744 CPUtime=0.21
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 433 0 0 0 21 0 0 0 16 0 8 0 270299967 937721856 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937721856 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937721856 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915744

[startup+25.6103 s]
/proc/loadavg: 2.23 2.11 1.98 3/101 11117
/proc/meminfo: memFree=750120/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915744 CPUtime=25.35
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 24147 0 1 0 2512 23 0 0 25 0 8 0 270299959 937721856 23876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228936 23876 2182 14 0 215406 0
[pid=11109/tid=11111] ppid=11107 vsize=915744 CPUtime=0.2
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 7479 0 0 0 17 3 0 0 17 0 8 0 270299963 937721856 23876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 23876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 23876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937721856 23876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915744 CPUtime=0.24
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 445 0 0 0 23 1 0 0 15 0 8 0 270299967 937721856 23876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937721856 23876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937721856 23876 18446744073709551615 134512640 134570532 4294956464 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.229 s]
/proc/loadavg: 2.15 2.10 1.98 3/101 11117
/proc/meminfo: memFree=709224/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915744 CPUtime=50.74
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 26709 0 1 0 5020 54 0 0 25 0 8 0 270299959 937721856 26437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228936 26437 2182 14 0 215406 0
[pid=11109/tid=11111] ppid=11107 vsize=915744 CPUtime=0.31
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 10038 0 0 0 27 4 0 0 16 0 8 0 270299963 937721856 26437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 26437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 26437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937721856 26437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915744 CPUtime=0.24
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 447 0 0 0 23 1 0 0 16 0 8 0 270299967 937721856 26437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937721856 26437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937721856 26437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915744

[startup+102.477 s]
/proc/loadavg: 2.06 2.08 1.98 3/101 11117
/proc/meminfo: memFree=651624/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915744 CPUtime=101.45
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 32751 0 1 0 10055 90 0 0 25 0 8 0 270299959 937721856 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228936 32437 2501 14 0 215406 0
[pid=11109/tid=11111] ppid=11107 vsize=915744 CPUtime=0.77
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 15698 0 0 0 71 6 0 0 16 0 8 0 270299963 937721856 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299964 937721856 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937721856 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915744 CPUtime=0.3
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 477 0 0 0 29 1 0 0 16 0 8 0 270299967 937721856 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937721856 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915744 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937721856 32437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915744

[startup+162.502 s]
/proc/loadavg: 2.05 2.08 1.99 3/101 11117
/proc/meminfo: memFree=629480/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915744 CPUtime=160.9
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 32752 0 1 0 15993 97 0 0 25 0 8 0 270299959 937721856 32438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2014.5
Current children cumulated vsize (KiB) 915980

[startup+2083.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11177
/proc/meminfo: memFree=1081080/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915980 CPUtime=2074.45
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 43373 0 1 0 207311 134 0 0 25 0 8 0 270299959 937963520 43039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074347305 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11109/statm: 228995 43039 2548 14 0 215465 0
[pid=11109/tid=11111] ppid=11107 vsize=915980 CPUtime=0.91
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 26068 0 0 0 81 10 0 0 16 0 8 0 270299963 937963520 43039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937963520 43039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299964 937963520 43039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937963520 43039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915980 CPUtime=0.44
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 615 0 0 0 43 1 0 0 16 0 8 0 270299967 937963520 43039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937963520 43039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937963520 43039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.45
Current children cumulated vsize (KiB) 915980

[startup+2143.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11177
/proc/meminfo: memFree=1081144/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915980 CPUtime=2134.38
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 43374 0 1 0 213304 134 0 0 25 0 8 0 270299959 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11109/statm: 228995 43040 2548 14 0 215465 0
[pid=11109/tid=11111] ppid=11107 vsize=915980 CPUtime=0.91
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 26068 0 0 0 81 10 0 0 16 0 8 0 270299963 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915980 CPUtime=0.44
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 616 0 0 0 43 1 0 0 16 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.38
Current children cumulated vsize (KiB) 915980

[startup+2203.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11177
/proc/meminfo: memFree=1081144/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915980 CPUtime=2194.3
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 43374 0 1 0 219296 134 0 0 25 0 8 0 270299959 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074150594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11109/statm: 228995 43040 2548 14 0 215465 0
[pid=11109/tid=11111] ppid=11107 vsize=915980 CPUtime=0.91
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 26068 0 0 0 81 10 0 0 16 0 8 0 270299963 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915980 CPUtime=0.44
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 616 0 0 0 43 1 0 0 16 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.3
Current children cumulated vsize (KiB) 915980

[startup+2263.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11177
/proc/meminfo: memFree=1081144/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915980 CPUtime=2254.25
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 43374 0 1 0 225291 134 0 0 25 0 8 0 270299959 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074340788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11109/statm: 228995 43040 2548 14 0 215465 0
[pid=11109/tid=11111] ppid=11107 vsize=915980 CPUtime=0.91
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 26068 0 0 0 81 10 0 0 16 0 8 0 270299963 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915980 CPUtime=0.44
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 616 0 0 0 43 1 0 0 16 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.25
Current children cumulated vsize (KiB) 915980

[startup+2323.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11177
/proc/meminfo: memFree=1081144/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915980 CPUtime=2314.2
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 43374 0 1 0 231286 134 0 0 25 0 8 0 270299959 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074341375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11109/statm: 228995 43040 2548 14 0 215465 0
[pid=11109/tid=11111] ppid=11107 vsize=915980 CPUtime=0.91
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 26068 0 0 0 81 10 0 0 16 0 8 0 270299963 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915980 CPUtime=0.44
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 616 0 0 0 43 1 0 0 16 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.2
Current children cumulated vsize (KiB) 915980

[startup+2383.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11177
/proc/meminfo: memFree=1081080/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915980 CPUtime=2374.21
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 43374 0 1 0 237287 134 0 0 25 0 8 0 270299959 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074325896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11109/statm: 228995 43040 2548 14 0 215465 0
[pid=11109/tid=11111] ppid=11107 vsize=915980 CPUtime=0.91
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 26068 0 0 0 81 10 0 0 16 0 8 0 270299963 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915980 CPUtime=0.44
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 616 0 0 0 43 1 0 0 16 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2374.21
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2409.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11177
/proc/meminfo: memFree=1081144/2055920 swapFree=4180552/4192956
[pid=11109] ppid=11107 vsize=915980 CPUtime=2400.04
/proc/11109/stat : 11109 (java) R 11107 11109 10151 0 -1 0 43374 0 1 0 239870 134 0 0 25 0 8 0 270299959 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074326679 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11109/statm: 228995 43040 2548 14 0 215465 0
[pid=11109/tid=11111] ppid=11107 vsize=915980 CPUtime=0.91
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10151 0 -1 64 26068 0 0 0 81 10 0 0 16 0 8 0 270299963 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10151 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299964 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915980 CPUtime=0.44
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10151 0 -1 64 616 0 0 0 43 1 0 0 16 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10151 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915980 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299967 937963520 43040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2409.88
CPU time (s): 2400.13
CPU user time (s): 2398.76
CPU system time (s): 1.37479
CPU usage (%): 99.5953
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.76
system time used= 1.37479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43399
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= 50640
involuntary context switches= 102286

runsolver used 3.04654 s user time and 7.76482 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Fri Jan 19 15:04:03 UTC 2007


IDJOB= 275268
IDBENCH= 3758
IDSOLVER= 69
FILE ID= node2/275268-1169219042

PBS_JOBID= 3588934

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8852f43241b06dc94642af49e2d6d548

RANDOM SEED= 317652967

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
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:        877560 kB
Buffers:         43840 kB
Cached:         606712 kB
SwapCached:        548 kB
Active:         551364 kB
Inactive:       552896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        877560 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            5172 kB
Writeback:           0 kB
Mapped:         472932 kB
Slab:            57876 kB
Committed_AS:  7555716 kB
PageTables:       3256 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 node2 on Fri Jan 19 15:44:13 UTC 2007