Trace number 275267

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.15 2419.42

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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275267-1169219041/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.66	     nbVariables=1500  nbDomainTypes=13  minDomainSize=42  maxDomainSize=310
0.66	       =>  wckTime=0.339  cpuTime=0.23  mem=22M504
0.66	   
0.66	   predicates being loaded...
0.66	   
0.66	   constraints being loaded...
61.49	   
61.49	   INFO : Stopping converting binary constraints (cpu=60.03, mem = 54M607)
62.18	     nbConstraints=25409  nbConvertedConstraints=15036  nbConvertConstraintsChecks=184557758  nbExtensionStructures=3159
62.18	     nbSharedExtensionStructures=11877  nbConflictsStructures=3159  nbSharedConflictsStructures=11877
62.18	     nbSharedBinaryRepresentations=1508785  nbEvaluationManagers=2467  nbSharedEvaluationManagers=7906  maxDegree=43
62.18	     maxArity=2
62.18	       =>  wckTime=61.858  cpuTime=60.51  mem=57M550
62.44	   
62.44	   solver LocalSearchSolver being built... 
62.48	       =>  wckTime=62.165  cpuTime=60.57  mem=58M21
62.59	
62.59	s SATISFIABLE
62.59	o 19094
62.59	c 6315
62.63	o 19108
62.64	c 6301
62.68	o 19117
62.68	c 6292
62.71	o 19125
62.71	c 6284
62.73	o 19128
62.73	c 6281
62.78	o 19136
62.78	c 6273
62.81	o 19142
62.81	c 6267
62.83	o 19147
62.83	c 6262
62.85	o 19151
62.85	c 6258
62.88	o 19154
62.88	c 6255
62.90	o 19156
62.90	c 6253
62.92	o 19161
62.92	c 6248
62.94	o 19170
62.94	c 6239
62.97	o 19178
62.97	c 6231
62.99	o 19185
62.99	c 6224
63.01	o 19192
63.01	c 6217
63.03	o 19199
63.03	c 6210
63.05	o 19205
63.05	c 6204
63.07	o 19211
63.07	c 6198
63.08	o 19216
63.08	c 6193
63.10	o 19221
63.10	c 6188
63.11	o 19226
63.11	c 6183
63.13	o 19230
63.13	c 6179
63.14	o 19234
63.14	c 6175
63.15	o 19237
63.15	c 6172
63.18	o 19240
63.18	c 6169
63.21	o 19243
63.21	c 6166
63.24	o 19244
63.24	c 6165
63.28	o 19251
63.28	c 6158
63.32	o 19257
63.32	c 6152
63.37	o 19262
63.37	c 6147
63.40	o 19267
63.40	c 6142
63.44	o 19272
63.44	c 6137
63.47	o 19278
63.47	c 6131
63.51	o 19282
63.51	c 6127
63.54	o 19286
63.54	c 6123
63.57	o 19290
63.57	c 6119
63.59	o 19294
63.60	c 6115
63.62	o 19298
63.62	c 6111
63.65	o 19302
63.65	c 6107
63.68	o 19306
63.68	c 6103
63.71	o 19309
63.71	c 6100
63.74	o 19312
63.74	c 6097
63.76	o 19315
63.76	c 6094
63.78	o 19318
63.78	c 6091
63.81	o 19320
63.81	c 6089
63.83	o 19322
63.83	c 6087
63.85	o 19324
63.85	c 6085
63.86	o 19326
63.86	c 6083
63.89	o 19327
63.89	c 6082
63.90	o 19328
63.90	c 6081
63.91	o 19334
63.91	c 6075
63.94	o 19339
63.94	c 6070
63.96	o 19343
63.96	c 6066
63.98	o 19350
63.98	c 6059
64.02	o 19358
64.02	c 6051
64.05	o 19368
64.05	c 6041
64.08	o 19374
64.08	c 6035
64.11	o 19380
64.11	c 6029
64.14	o 19388
64.14	c 6021
64.17	o 19394
64.17	c 6015
64.20	o 19399
64.20	c 6010
64.23	o 19404
64.23	c 6005
64.26	o 19409
64.26	c 6000
64.28	o 19413
64.28	c 5996
64.31	o 19417
64.31	c 5992
64.33	o 19423
64.33	c 5986
64.35	o 19426
64.35	c 5983
64.37	o 19428
64.37	c 5981
64.39	o 19430
64.39	c 5979
64.41	o 19432
64.41	c 5977
64.42	o 19434
64.42	c 5975
64.44	o 19436
64.44	c 5973
64.46	o 19438
64.46	c 5971
64.47	o 19439
64.47	c 5970
64.50	o 19440
64.50	c 5969
64.52	o 19441
64.52	c 5968
64.53	o 19447
64.53	c 5962
64.54	o 19455
64.54	c 5954
64.56	o 19457
64.56	c 5952
64.57	o 19463
64.57	c 5946
64.59	o 19466
64.59	c 5943
64.62	o 19472
64.62	c 5937
64.64	o 19475
64.64	c 5934
64.67	o 19476
64.67	c 5933
64.69	o 19481
64.69	c 5928
64.71	o 19484
64.71	c 5925
64.73	o 19487
64.73	c 5922
64.74	o 19494
64.74	c 5915
64.76	o 19496
64.76	c 5913
64.78	o 19506
64.78	c 5903
64.82	o 19512
64.82	c 5897
64.84	o 19519
64.84	c 5890
64.86	o 19526
64.86	c 5883
64.90	o 19529
64.90	c 5880
64.93	o 19535
64.93	c 5874
64.96	o 19539
64.96	c 5870
64.98	o 19542
64.98	c 5867
65.00	o 19547
65.00	c 5862
65.04	o 19550
65.04	c 5859
65.06	o 19553
65.06	c 5856
65.08	o 19556
65.08	c 5853
65.11	o 19558
65.11	c 5851
65.13	o 19560
65.13	c 5849
65.16	o 19562
65.16	c 5847
65.18	o 19564
65.18	c 5845
65.20	o 19568
65.20	c 5841
65.22	o 19569
65.23	c 5840
65.25	o 19570
65.25	c 5839
65.27	o 19571
65.27	c 5838
65.35	o 19572
65.35	c 5837
65.37	o 19579
65.37	c 5830
65.40	o 19580
65.40	c 5829
65.43	o 19582
65.43	c 5827
65.45	o 19588
65.45	c 5821
65.48	o 19592
65.48	c 5817
65.51	o 19595
65.51	c 5814
65.53	o 19600
65.53	c 5809
65.55	o 19608
65.55	c 5801
65.57	o 19611
65.57	c 5798
65.60	o 19616
65.60	c 5793
65.62	o 19619
65.62	c 5790
65.65	o 19630
65.65	c 5779
65.67	o 19633
65.67	c 5776
65.74	o 19637
65.74	c 5772
65.76	o 19643
65.76	c 5766
65.79	o 19644
65.79	c 5765
65.81	o 19651
65.81	c 5758
65.84	o 19652
65.84	c 5757
65.87	o 19659
65.87	c 5750
65.89	o 19670
65.89	c 5739
65.91	o 19676
65.91	c 5733
65.94	o 19681
65.94	c 5728
65.97	o 19682
65.97	c 5727
66.00	o 19684
66.00	c 5725
66.03	o 19691
66.03	c 5718
66.08	o 19698
66.08	c 5711
66.11	o 19704
66.11	c 5705
66.14	o 19710
66.14	c 5699
66.18	o 19715
66.18	c 5694
66.21	o 19719
66.21	c 5690
66.25	o 19723
66.25	c 5686
66.28	o 19727
66.28	c 5682
66.31	o 19731
66.31	c 5678
66.34	o 19734
66.34	c 5675
66.37	o 19737
66.37	c 5672
66.41	o 19740
66.41	c 5669
66.43	o 19743
66.43	c 5666
66.47	o 19746
66.47	c 5663
66.50	o 19749
66.50	c 5660
66.54	o 19750
66.54	c 5659
66.57	o 19753
66.57	c 5656
66.60	o 19755
66.60	c 5654
66.63	o 19757
66.63	c 5652
66.66	o 19758
66.66	c 5651
66.68	o 19767
66.68	c 5642
66.77	o 19771
66.77	c 5638
66.80	o 19777
66.80	c 5632
66.82	o 19779
66.82	c 5630
66.84	o 19786
66.84	c 5623
66.89	o 19791
66.89	c 5618
66.92	o 19794
66.92	c 5615
66.94	o 19797
66.94	c 5612
66.96	o 19802
66.96	c 5607
67.04	o 19807
67.04	c 5602
67.07	o 19816
67.07	c 5593
67.10	o 19821
67.10	c 5588
67.13	o 19823
67.13	c 5586
67.17	o 19829
67.17	c 5580
67.19	o 19832
67.19	c 5577
67.25	o 19834
67.25	c 5575
67.28	o 19837
67.28	c 5572
67.32	o 19843
67.32	c 5566
67.35	o 19846
67.35	c 5563
67.52	o 19848
67.52	c 5561
67.55	o 19853
67.55	c 5556
67.59	o 19855
67.59	c 5554
67.61	o 19858
67.61	c 5551
67.64	o 19863
67.64	c 5546
67.67	o 19869
67.67	c 5540
67.71	o 19870
67.71	c 5539
67.75	o 19873
67.75	c 5536
67.79	o 19874
67.79	c 5535
67.83	o 19877
67.83	c 5532
67.86	o 19880
67.86	c 5529
67.91	o 19883
67.91	c 5526
67.93	o 19888
67.93	c 5521
67.97	o 19889
67.97	c 5520
68.00	o 19891
68.00	c 5518
68.04	o 19894
68.04	c 5515
68.07	o 19897
68.07	c 5512
68.09	o 19900
68.09	c 5509
68.13	o 19903
68.13	c 5506
68.17	o 19910
68.17	c 5499
68.19	o 19914
68.19	c 5495
68.22	o 19919
68.22	c 5490
68.29	o 19925
68.29	c 5484
68.32	o 19930
68.32	c 5479
68.36	o 19935
68.36	c 5474
68.40	o 19940
68.40	c 5469
68.44	o 19944
68.44	c 5465
68.47	o 19949
68.47	c 5460
68.51	o 19952
68.51	c 5457
68.55	o 19956
68.55	c 5453
68.59	o 19960
68.59	c 5449
68.62	o 19963
68.62	c 5446
68.65	o 19966
68.65	c 5443
68.68	o 19969
68.68	c 5440
68.75	o 19971
68.75	c 5438
68.78	o 19974
68.78	c 5435
68.80	o 19976
68.80	c 5433
68.84	o 19978
68.84	c 5431
68.87	o 19979
68.87	c 5430
68.98	o 19981
68.98	c 5428
69.01	o 19988
69.01	c 5421
69.08	o 19990
69.08	c 5419
69.10	o 19997
69.10	c 5412
69.14	o 19999
69.14	c 5410
69.18	o 20009
69.18	c 5400
69.23	o 20010
69.23	c 5399
69.26	o 20013
69.26	c 5396
69.32	o 20014
69.32	c 5395
69.36	o 20019
69.36	c 5390
69.39	o 20024
69.39	c 5385
69.41	o 20025
69.41	c 5384
69.43	o 20026
69.43	c 5383
69.46	o 20030
69.46	c 5379
69.49	o 20036
69.49	c 5373
69.52	o 20039
69.52	c 5370
69.54	o 20043
69.54	c 5366
69.57	o 20047
69.57	c 5362
69.60	o 20052
69.60	c 5357
69.63	o 20054
69.63	c 5355
69.67	o 20055
69.67	c 5354
69.69	o 20060
69.69	c 5349
69.72	o 20063
69.72	c 5346
69.77	o 20067
69.77	c 5342
69.80	o 20068
69.80	c 5341
69.83	o 20072
69.83	c 5337
69.87	o 20075
69.87	c 5334
69.94	o 20081
69.94	c 5328
69.98	o 20089
69.98	c 5320
70.01	o 20093
70.01	c 5316
70.04	o 20094
70.04	c 5315
70.08	o 20101
70.09	c 5308
70.12	o 20102
70.12	c 5307
70.15	o 20103
70.15	c 5306
70.27	o 20106
70.27	c 5303
70.31	o 20110
70.31	c 5299
70.34	o 20113
70.34	c 5296
70.38	o 20119
70.38	c 5290
70.41	o 20124
70.41	c 5285
70.45	o 20126
70.45	c 5283
70.49	o 20132
70.49	c 5277
70.53	o 20134
70.53	c 5275
70.57	o 20136
70.57	c 5273
70.62	o 20138
70.62	c 5271
70.66	o 20140
70.66	c 5269
70.70	o 20147
70.70	c 5262
70.74	o 20155
70.74	c 5254
70.78	o 20156
70.78	c 5253
70.83	o 20164
70.83	c 5245
70.87	o 20165
70.87	c 5244
70.91	o 20173
70.91	c 5236
70.94	o 20178
70.94	c 5231
70.99	o 20182
70.99	c 5227
71.04	o 20184
71.04	c 5225
71.07	o 20190
71.08	c 5219
71.10	o 20197
71.10	c 5212
71.17	o 20200
71.17	c 5209
71.22	o 20203
71.22	c 5206
71.25	o 20206
71.25	c 5203
71.30	o 20207
71.30	c 5202
71.34	o 20208
71.34	c 5201
71.38	o 20210
71.38	c 5199
71.45	o 20214
71.45	c 5195
71.52	o 20220
71.52	c 5189
71.57	o 20221
71.57	c 5188
71.61	o 20226
71.61	c 5183
71.68	o 20227
71.68	c 5182
71.73	o 20230
71.73	c 5179
71.78	o 20232
71.78	c 5177
71.83	o 20233
71.83	c 5176
71.88	o 20235
71.88	c 5174
71.92	o 20239
71.92	c 5170
71.96	o 20242
71.96	c 5167
72.00	o 20244
72.00	c 5165
72.05	o 20245
72.05	c 5164
72.10	o 20247
72.10	c 5162
72.15	o 20253
72.15	c 5156
72.19	o 20255
72.19	c 5154
72.25	o 20262
72.25	c 5147
72.34	o 20267
72.34	c 5142
72.38	o 20269
72.38	c 5140
72.42	o 20274
72.42	c 5135
72.46	o 20275
72.46	c 5134
72.54	o 20280
72.54	c 5129
72.59	o 20281
72.59	c 5128
72.63	o 20286
72.63	c 5123
72.67	o 20294
72.67	c 5115
72.72	o 20295
72.72	c 5114
72.76	o 20298
72.76	c 5111
72.87	o 20301
72.87	c 5108
72.92	o 20302
72.92	c 5107
73.02	o 20307
73.02	c 5102
73.16	o 20314
73.16	c 5095
73.21	o 20315
73.21	c 5094
73.25	o 20316
73.25	c 5093
73.44	o 20321
73.44	c 5088
73.48	o 20323
73.48	c 5086
73.63	o 20325
73.63	c 5084
73.73	o 20326
73.73	c 5083
73.83	o 20329
73.83	c 5080
73.87	o 20333
73.87	c 5076
73.92	o 20337
73.92	c 5072
73.96	o 20339
73.96	c 5070
74.02	o 20341
74.02	c 5068
74.12	o 20343
74.12	c 5066
74.28	o 20344
74.28	c 5065
74.32	o 20349
74.32	c 5060
74.42	o 20354
74.42	c 5055
74.53	o 20356
74.53	c 5053
74.58	o 20357
74.58	c 5052
74.64	o 20359
74.64	c 5050
74.70	o 20362
74.70	c 5047
74.75	o 20367
74.75	c 5042
74.80	o 20371
74.80	c 5038
75.06	o 20373
75.06	c 5036
75.12	o 20375
75.12	c 5034
75.16	o 20377
75.16	c 5032
75.22	o 20379
75.22	c 5030
75.27	o 20380
75.27	c 5029
75.47	o 20384
75.47	c 5025
75.53	o 20389
75.53	c 5020
75.58	o 20390
75.58	c 5019
75.74	o 20391
75.74	c 5018
75.80	o 20393
75.80	c 5016
75.85	o 20396
75.85	c 5013
76.00	o 20400
76.00	c 5009
76.05	o 20401
76.05	c 5008
76.10	o 20404
76.10	c 5005
76.15	o 20405
76.15	c 5004
76.21	o 20406
76.21	c 5003
76.26	o 20410
76.26	c 4999
76.31	o 20411
76.31	c 4998
76.37	o 20419
76.37	c 4990
76.42	o 20421
76.42	c 4988
76.48	o 20427
76.48	c 4982
76.53	o 20430
76.53	c 4979
76.58	o 20433
76.58	c 4976
76.70	o 20435
76.70	c 4974
76.75	o 20440
76.75	c 4969
76.80	o 20444
76.80	c 4965
76.86	o 20448
76.86	c 4961
76.91	o 20454
76.91	c 4955
76.97	o 20460
76.97	c 4949
77.08	o 20467
77.08	c 4942
77.17	o 20469
77.17	c 4940
77.28	o 20473
77.28	c 4936
77.35	o 20474
77.35	c 4935
77.41	o 20476
77.41	c 4933
77.46	o 20478
77.46	c 4931
77.53	o 20481
77.53	c 4928
77.58	o 20483
77.58	c 4926
77.63	o 20484
77.63	c 4925
77.68	o 20489
77.68	c 4920
77.73	o 20491
77.73	c 4918
77.79	o 20495
77.79	c 4914
77.85	o 20496
77.85	c 4913
77.90	o 20505
77.90	c 4904
77.96	o 20509
77.96	c 4900
78.12	o 20513
78.12	c 4896
78.17	o 20516
78.17	c 4893
78.22	o 20519
78.22	c 4890
78.27	o 20523
78.27	c 4886
78.31	o 20526
78.31	c 4883
78.36	o 20530
78.36	c 4879
78.41	o 20532
78.41	c 4877
78.47	o 20536
78.47	c 4873
78.51	o 20540
78.51	c 4869
78.56	o 20545
78.56	c 4864
78.61	o 20549
78.61	c 4860
78.65	o 20552
78.65	c 4857
78.70	o 20555
78.70	c 4854
78.76	o 20556
78.76	c 4853
78.80	o 20561
78.80	c 4848
78.96	o 20567
78.96	c 4842
79.03	o 20573
79.03	c 4836
79.14	o 20578
79.14	c 4831
79.26	o 20583
79.26	c 4826
79.32	o 20585
79.32	c 4824
79.38	o 20587
79.38	c 4822
79.43	o 20590
79.43	c 4819
79.49	o 20592
79.49	c 4817
79.55	o 20596
79.55	c 4813
79.61	o 20598
79.61	c 4811
79.67	o 20604
79.67	c 4805
79.85	o 20606
79.85	c 4803
79.97	o 20609
79.97	c 4800
80.02	o 20613
80.02	c 4796
80.08	o 20615
80.08	c 4794
80.13	o 20617
80.13	c 4792
80.19	o 20618
80.19	c 4791
80.30	o 20621
80.30	c 4788
80.41	o 20631
80.41	c 4778
80.47	o 20636
80.47	c 4773
80.59	o 20637
80.59	c 4772
80.65	o 20644
80.65	c 4765
80.70	o 20650
80.70	c 4759
80.76	o 20652
80.76	c 4757
80.81	o 20657
80.81	c 4752
80.87	o 20662
80.87	c 4747
80.93	o 20664
80.93	c 4745
80.98	o 20665
80.98	c 4744
81.04	o 20667
81.04	c 4742
81.16	o 20672
81.16	c 4737
81.23	o 20677
81.23	c 4732
81.29	o 20679
81.29	c 4730
81.41	o 20681
81.41	c 4728
81.54	o 20685
81.54	c 4724
81.59	o 20688
81.59	c 4721
81.65	o 20692
81.65	c 4717
81.83	o 20694
81.83	c 4715
81.88	o 20697
81.88	c 4712
81.94	o 20699
81.94	c 4710
82.07	o 20705
82.07	c 4704
82.13	o 20707
82.13	c 4702
82.20	o 20710
82.20	c 4699
82.39	o 20713
82.39	c 4696
82.59	o 20715
82.59	c 4694
82.75	o 20717
82.75	c 4692
82.82	o 20719
82.82	c 4690
82.89	o 20721
82.89	c 4688
82.97	o 20724
82.97	c 4685
83.05	o 20727
83.05	c 4682
83.12	o 20730
83.12	c 4679
83.20	o 20736
83.20	c 4673
83.36	o 20739
83.36	c 4670
83.43	o 20744
83.43	c 4665
83.50	o 20748
83.50	c 4661
83.57	o 20751
83.57	c 4658
83.63	o 20754
83.63	c 4655
83.70	o 20755
83.70	c 4654
83.78	o 20758
83.78	c 4651
83.85	o 20759
83.85	c 4650
83.91	o 20762
83.91	c 4647
84.05	o 20763
84.05	c 4646
84.12	o 20766
84.12	c 4643
84.18	o 20774
84.18	c 4635
84.25	o 20777
84.25	c 4632
84.31	o 20780
84.31	c 4629
84.38	o 20781
84.38	c 4628
84.45	o 20783
84.45	c 4626
84.52	o 20786
84.52	c 4623
84.65	o 20787
84.65	c 4622
84.72	o 20789
84.72	c 4620
84.79	o 20791
84.79	c 4618
84.86	o 20794
84.86	c 4615
84.93	o 20797
84.93	c 4612
85.32	o 20798
85.32	c 4611
85.38	o 20803
85.38	c 4606
85.49	o 20807
85.49	c 4602
85.66	o 20809
85.66	c 4600
85.73	o 20812
85.73	c 4597
85.78	o 20813
85.78	c 4596
85.95	o 20815
85.95	c 4594
86.00	o 20819
86.00	c 4590
86.23	o 20821
86.23	c 4588
86.29	o 20824
86.29	c 4585
86.35	o 20825
86.35	c 4584
86.47	o 20826
86.47	c 4583
86.53	o 20830
86.53	c 4579
86.59	o 20836
86.59	c 4573
86.72	o 20841
86.72	c 4568
86.77	o 20845
86.77	c 4564
86.85	o 20846
86.85	c 4563
86.91	o 20851
86.91	c 4558
86.97	o 20853
86.97	c 4556
87.03	o 20855
87.03	c 4554
87.10	o 20857
87.10	c 4552
87.17	o 20858
87.17	c 4551
87.23	o 20860
87.23	c 4549
87.29	o 20862
87.29	c 4547
87.35	o 20866
87.35	c 4543
87.41	o 20868
87.41	c 4541
87.48	o 20869
87.48	c 4540
87.61	o 20870
87.61	c 4539
87.67	o 20871
87.67	c 4538
87.74	o 20876
87.74	c 4533
87.81	o 20880
87.81	c 4529
87.93	o 20884
87.93	c 4525
88.01	o 20885
88.01	c 4524
88.07	o 20888
88.07	c 4521
88.13	o 20890
88.13	c 4519
88.27	o 20891
88.27	c 4518
88.34	o 20892
88.34	c 4517
88.41	o 20894
88.41	c 4515
88.48	o 20899
88.48	c 4510
88.55	o 20909
88.55	c 4500
88.62	o 20911
88.62	c 4498
88.75	o 20913
88.75	c 4496
88.82	o 20917
88.82	c 4492
88.88	o 20920
88.88	c 4489
88.95	o 20921
88.95	c 4488
89.09	o 20923
89.09	c 4486
89.23	o 20924
89.23	c 4485
89.37	o 20928
89.37	c 4481
89.45	o 20930
89.45	c 4479
89.52	o 20931
89.52	c 4478
89.59	o 20932
89.59	c 4477
89.67	o 20933
89.67	c 4476
89.95	o 20934
89.95	c 4475
90.02	o 20938
90.02	c 4471
90.22	o 20939
90.22	c 4470
90.30	o 20942
90.30	c 4467
90.36	o 20945
90.37	c 4464
90.43	o 20946
90.43	c 4463
90.59	o 20949
90.59	c 4460
90.67	o 20950
90.67	c 4459
90.75	o 20952
90.75	c 4457
90.84	o 20954
90.84	c 4455
91.00	o 20959
91.00	c 4450
91.07	o 20961
91.07	c 4448
91.14	o 20970
91.14	c 4439
91.22	o 20974
91.22	c 4435
91.30	o 20977
91.30	c 4432
91.39	o 20983
91.39	c 4426
91.47	o 20985
91.47	c 4424
91.56	o 20988
91.56	c 4421
91.64	o 20995
91.64	c 4414
91.73	o 20999
91.73	c 4410
91.82	o 21005
91.82	c 4404
91.91	o 21006
91.91	c 4403
92.00	o 21007
92.00	c 4402
92.16	o 21008
92.16	c 4401
92.24	o 21015
92.24	c 4394
92.32	o 21016
92.32	c 4393
92.41	o 21021
92.41	c 4388
92.49	o 21026
92.49	c 4383
92.58	o 21028
92.58	c 4381
92.65	o 21029
92.65	c 4380
92.74	o 21033
92.74	c 4376
92.99	o 21034
92.99	c 4375
93.33	o 21039
93.33	c 4370
93.42	o 21042
93.42	c 4367
93.51	o 21043
93.51	c 4366
93.78	o 21045
93.78	c 4364
93.88	o 21047
93.88	c 4362
94.13	o 21051
94.13	c 4358
94.23	o 21056
94.23	c 4353
94.31	o 21058
94.31	c 4351
94.74	o 21060
94.74	c 4349
94.83	o 21064
94.83	c 4345
94.92	o 21068
94.92	c 4341
95.25	o 21070
95.25	c 4339
95.59	o 21071
95.59	c 4338
95.68	o 21075
95.68	c 4334
95.76	o 21077
95.76	c 4332
95.83	o 21078
95.83	c 4331
95.92	o 21082
95.92	c 4327
96.00	o 21084
96.00	c 4325
96.15	o 21086
96.15	c 4323
96.24	o 21088
96.24	c 4321
96.31	o 21092
96.31	c 4317
96.40	o 21098
96.40	c 4311
96.48	o 21103
96.48	c 4306
96.56	o 21106
96.56	c 4303
96.64	o 21108
96.64	c 4301
96.73	o 21109
96.73	c 4300
96.81	o 21111
96.81	c 4298
96.90	o 21114
96.90	c 4295
97.07	o 21120
97.07	c 4289
97.17	o 21122
97.17	c 4287
97.33	o 21124
97.33	c 4285
97.50	o 21126
97.50	c 4283
97.58	o 21128
97.58	c 4281
97.66	o 21130
97.66	c 4279
97.81	o 21131
97.81	c 4278
97.89	o 21133
97.89	c 4276
97.97	o 21137
97.97	c 4272
98.05	o 21141
98.05	c 4268
98.13	o 21145
98.13	c 4264
98.22	o 21146
98.22	c 4263
98.30	o 21150
98.30	c 4259
98.39	o 21152
98.39	c 4257
98.48	o 21155
98.48	c 4254
98.64	o 21158
98.64	c 4251
98.82	o 21163
98.82	c 4246
98.90	o 21164
98.90	c 4245
98.98	o 21169
98.98	c 4240
99.07	o 21173
99.07	c 4236
99.14	o 21175
99.14	c 4234
99.23	o 21182
99.23	c 4227
99.40	o 21186
99.40	c 4223
99.49	o 21188
99.49	c 4221
99.58	o 21195
99.58	c 4214
99.67	o 21198
99.67	c 4211
99.76	o 21200
99.76	c 4209
99.85	o 21202
99.85	c 4207
99.93	o 21203
99.93	c 4206
100.01	o 21205
100.01	c 4204
100.35	o 21207
100.35	c 4202
100.43	o 21210
100.43	c 4199
100.52	o 21211
100.52	c 4198
100.67	o 21214
100.67	c 4195
100.91	o 21215
100.91	c 4194
101.07	o 21218
101.07	c 4191
101.16	o 21219
101.16	c 4190
101.25	o 21221
101.25	c 4188
101.33	o 21225
101.33	c 4184
101.50	o 21228
101.50	c 4181
101.59	o 21231
101.59	c 4178
102.05	o 21235
102.05	c 4174
102.13	o 21237
102.13	c 4172
102.22	o 21239
102.22	c 4170
102.31	o 21241
102.31	c 4168
102.40	o 21244
102.40	c 4165
102.48	o 21248
102.48	c 4161
102.58	o 21249
102.58	c 4160
102.67	o 21254
102.67	c 4155
102.77	o 21255
102.77	c 4154
102.85	o 21258
102.85	c 4151
103.02	o 21260
103.02	c 4149
103.11	o 21261
103.11	c 4148
103.21	o 21265
103.21	c 4144
103.51	o 21268
103.51	c 4141
103.70	o 21269
103.70	c 4140
103.80	o 21273
103.80	c 4136
104.00	o 21279
104.00	c 4130
104.31	o 21281
104.31	c 4128
104.51	o 21283
104.51	c 4126
104.71	o 21285
104.71	c 4124
104.81	o 21289
104.81	c 4120
105.00	o 21292
105.01	c 4117
105.10	o 21296
105.10	c 4113
105.20	o 21299
105.20	c 4110
105.30	o 21301
105.30	c 4108
105.41	o 21305
105.41	c 4104
105.51	o 21306
105.51	c 4103
105.60	o 21307
105.60	c 4102
105.70	o 21309
105.70	c 4100
105.88	o 21311
105.88	c 4098
105.98	o 21313
105.98	c 4096
106.17	o 21316
106.17	c 4093
106.27	o 21318
106.27	c 4091
106.56	o 21319
106.56	c 4090
106.65	o 21320
106.65	c 4089
106.83	o 21324
106.83	c 4085
107.02	o 21327
107.02	c 4082
107.11	o 21330
107.11	c 4079
107.21	o 21337
107.21	c 4072
107.31	o 21342
107.31	c 4067
107.41	o 21344
107.41	c 4065
107.60	o 21347
107.60	c 4062
107.71	o 21352
107.71	c 4057
107.82	o 21353
107.82	c 4056
107.91	o 21354
107.91	c 4055
108.01	o 21355
108.01	c 4054
108.10	o 21358
108.10	c 4051
108.30	o 21359
108.30	c 4050
108.49	o 21360
108.49	c 4049
108.59	o 21361
108.59	c 4048
108.88	o 21362
108.88	c 4047
109.07	o 21364
109.07	c 4045
109.16	o 21366
109.16	c 4043
109.34	o 21367
109.34	c 4042
109.53	o 21370
109.53	c 4039
109.55	o 21374
109.55	c 4035
109.65	o 21377
109.65	c 4032
109.97	o 21381
109.97	c 4028
110.06	o 21384
110.06	c 4025
110.44	o 21386
110.44	c 4023
111.07	o 21387
111.07	c 4022
111.18	o 21392
111.18	c 4017
111.28	o 21397
111.28	c 4012
111.40	o 21400
111.40	c 4009
111.62	o 21401
111.62	c 4008
111.74	o 21404
111.74	c 4005
111.87	o 21405
111.87	c 4004
111.99	o 21408
111.99	c 4001
112.11	o 21410
112.11	c 3999
112.24	o 21412
112.24	c 3997
112.35	o 21417
112.35	c 3992
112.60	o 21420
112.60	c 3989
112.72	o 21423
112.72	c 3986
112.97	o 21425
112.97	c 3984
113.10	o 21427
113.10	c 3982
113.23	o 21429
113.23	c 3980
113.36	o 21430
113.36	c 3979
113.49	o 21431
113.49	c 3978
113.62	o 21433
113.62	c 3976
113.87	o 21437
113.87	c 3972
114.01	o 21439
114.01	c 3970
114.15	o 21441
114.15	c 3968
114.28	o 21444
114.28	c 3965
114.41	o 21445
114.41	c 3964
114.54	o 21446
114.54	c 3963
114.93	o 21448
114.93	c 3961
115.05	o 21449
115.05	c 3960
115.31	o 21453
115.31	c 3956
115.45	o 21454
115.45	c 3955
115.57	o 21456
115.57	c 3953
116.09	o 21459
116.09	c 3950
116.22	o 21461
116.22	c 3948
116.35	o 21463
116.35	c 3946
116.47	o 21464
116.47	c 3945
116.85	o 21467
116.85	c 3942
116.97	o 21468
116.97	c 3941
117.36	o 21470
117.36	c 3939
117.72	o 21472
117.72	c 3937
117.85	o 21475
117.85	c 3934
118.10	o 21480
118.10	c 3929
118.36	o 21483
118.36	c 3926
118.49	o 21486
118.49	c 3923
118.63	o 21487
118.63	c 3922
119.03	o 21491
119.03	c 3918
119.16	o 21493
119.16	c 3916
119.81	o 21495
119.81	c 3914
119.94	o 21498
119.94	c 3911
120.09	o 21499
120.09	c 3910
120.22	o 21501
120.22	c 3908
121.23	o 21504
121.23	c 3905
121.34	o 21506
121.34	c 3903
121.47	o 21511
121.47	c 3898
121.59	o 21513
121.59	c 3896
121.71	o 21514
121.72	c 3895
122.16	o 21516
122.16	c 3893
122.31	o 21521
122.31	c 3888
122.43	o 21523
122.43	c 3886
122.55	o 21524
122.55	c 3885
123.07	o 21529
123.07	c 3880
123.33	o 21530
123.33	c 3879
123.48	o 21531
123.48	c 3878
123.60	o 21532
123.60	c 3877
123.73	o 21533
123.73	c 3876
123.87	o 21534
123.87	c 3875
124.01	o 21535
124.01	c 3874
124.15	o 21536
124.15	c 3873
124.28	o 21539
124.28	c 3870
124.41	o 21545
124.41	c 3864
124.53	o 21549
124.53	c 3860
124.67	o 21554
124.67	c 3855
124.80	o 21557
124.80	c 3852
125.08	o 21559
125.08	c 3850
125.21	o 21561
125.21	c 3848
125.48	o 21562
125.48	c 3847
125.72	o 21566
125.72	c 3843
125.85	o 21571
125.85	c 3838
125.99	o 21572
125.99	c 3837
126.13	o 21576
126.13	c 3833
126.26	o 21580
126.26	c 3829
126.39	o 21582
126.39	c 3827
126.54	o 21583
126.54	c 3826
126.67	o 21586
126.67	c 3823
126.82	o 21587
126.82	c 3822
127.09	o 21589
127.09	c 3820
127.23	o 21591
127.23	c 3818
127.37	o 21592
127.37	c 3817
127.95	o 21596
127.95	c 3813
128.91	o 21597
128.91	c 3812
129.04	o 21599
129.04	c 3810
129.18	o 21600
129.18	c 3809
129.31	o 21602
129.31	c 3807
129.58	o 21606
129.58	c 3803
129.72	o 21607
129.72	c 3802
129.86	o 21612
129.86	c 3797
130.01	o 21616
130.01	c 3793
130.13	o 21617
130.13	c 3792
130.26	o 21618
130.26	c 3791
130.40	o 21619
130.40	c 3790
130.52	o 21621
130.52	c 3788
130.65	o 21622
130.65	c 3787
130.78	o 21625
130.78	c 3784
130.92	o 21629
130.92	c 3780
131.06	o 21632
131.06	c 3777
131.19	o 21633
131.19	c 3776
131.32	o 21635
131.32	c 3774
131.57	o 21638
131.57	c 3771
131.66	o 21639
131.66	c 3770
131.78	o 21644
131.78	c 3765
131.90	o 21648
131.90	c 3761
132.02	o 21652
132.02	c 3757
133.16	o 21655
133.16	c 3754
133.29	o 21656
133.29	c 3753
133.42	o 21660
133.42	c 3749
133.54	o 21665
133.54	c 3744
133.66	o 21666
133.66	c 3743
133.78	o 21668
133.78	c 3741
133.90	o 21669
133.90	c 3740
134.03	o 21672
134.03	c 3737
134.15	o 21675
134.15	c 3734
134.27	o 21678
134.27	c 3731
134.40	o 21684
134.40	c 3725
134.66	o 21685
134.66	c 3724
134.93	o 21688
134.93	c 3721
135.07	o 21691
135.07	c 3718
135.86	o 21693
135.86	c 3716
135.99	o 21695
135.99	c 3714
136.12	o 21698
136.12	c 3711
136.39	o 21701
136.39	c 3708
136.94	o 21702
136.94	c 3707
138.48	o 21703
138.48	c 3706
138.62	o 21706
138.62	c 3703
139.06	o 21707
139.06	c 3702
139.20	o 21710
139.20	c 3699
139.34	o 21715
139.34	c 3694
139.49	o 21718
139.49	c 3691
139.63	o 21720
139.63	c 3689
139.78	o 21723
139.78	c 3686
139.93	o 21726
139.93	c 3683
140.07	o 21730
140.07	c 3679
140.23	o 21732
140.23	c 3677
140.37	o 21733
140.37	c 3676
140.52	o 21736
140.52	c 3673
140.82	o 21737
140.82	c 3672
140.95	o 21742
140.95	c 3667
141.10	o 21744
141.10	c 3665
141.38	o 21746
141.38	c 3663
141.52	o 21749
141.52	c 3660
141.66	o 21751
141.66	c 3658
141.80	o 21753
141.80	c 3656
141.93	o 21754
141.93	c 3655
142.48	o 21758
142.48	c 3651
142.74	o 21762
142.74	c 3647
143.10	o 21763
143.10	c 3646
143.25	o 21764
143.25	c 3645
143.40	o 21766
143.40	c 3643
143.56	o 21770
143.56	c 3639
143.86	o 21776
143.86	c 3633
144.14	o 21778
144.14	c 3631
145.46	o 21779
145.46	c 3630
145.91	o 21785
145.91	c 3624
146.05	o 21786
146.05	c 3623
146.35	o 21789
146.35	c 3620
147.23	o 21791
147.23	c 3618
147.38	o 21794
147.38	c 3615
147.53	o 21797
147.53	c 3612
147.68	o 21798
147.68	c 3611
147.83	o 21801
147.83	c 3608
147.98	o 21802
147.99	c 3607
149.96	o 21803
149.96	c 3606
150.09	o 21804
150.09	c 3605
150.25	o 21806
150.25	c 3603
150.41	o 21807
150.41	c 3602
150.57	o 21810
150.57	c 3599
151.20	o 21811
151.20	c 3598
151.53	o 21815
151.53	c 3594
151.68	o 21817
151.68	c 3592
152.00	o 21820
152.00	c 3589
152.44	o 21822
152.44	c 3587
152.58	o 21827
152.58	c 3582
152.75	o 21830
152.75	c 3579
152.90	o 21835
152.90	c 3574
153.05	o 21836
153.05	c 3573
153.50	o 21837
153.50	c 3572
153.66	o 21839
153.66	c 3570
155.20	o 21841
155.20	c 3568
155.49	o 21844
155.49	c 3565
155.64	o 21848
155.64	c 3561
155.94	o 21849
155.94	c 3560
156.09	o 21853
156.09	c 3556
156.39	o 21854
156.39	c 3555
156.51	o 21855
156.51	c 3554
156.65	o 21856
156.65	c 3553
156.96	o 21857
156.96	c 3552
158.52	o 21859
158.52	c 3550
158.68	o 21862
158.68	c 3547
158.83	o 21864
158.83	c 3545
159.14	o 21865
159.14	c 3544
159.29	o 21866
159.29	c 3543
159.46	o 21867
159.46	c 3542
159.77	o 21871
159.77	c 3538
159.92	o 21872
159.92	c 3537
160.52	o 21874
160.52	c 3535
160.68	o 21875
160.68	c 3534
161.14	o 21876
161.14	c 3533
162.23	o 21877
162.23	c 3532
162.68	o 21882
162.68	c 3527
162.83	o 21886
162.83	c 3523
162.99	o 21889
162.99	c 3520
163.16	o 21892
163.16	c 3517
163.64	o 21893
163.64	c 3516
163.80	o 21894
163.80	c 3515
163.96	o 21898
163.96	c 3511
164.13	o 21901
164.13	c 3508
164.29	o 21902
164.29	c 3507
164.45	o 21903
164.45	c 3506
164.62	o 21904
164.62	c 3505
164.97	o 21906
164.97	c 3503
165.16	o 21909
165.16	c 3500
165.37	o 21911
165.37	c 3498
165.88	o 21913
165.88	c 3496
166.03	o 21915
166.03	c 3494
166.35	o 21916
166.35	c 3493
167.03	o 21918
167.03	c 3491
167.38	o 21919
167.38	c 3490
167.56	o 21924
167.56	c 3485
169.63	o 21925
169.63	c 3484
169.98	o 21927
169.98	c 3482
170.53	o 21929
170.53	c 3480
171.63	o 21932
171.63	c 3477
171.81	o 21933
171.81	c 3476
172.75	o 21936
172.75	c 3473
172.94	o 21939
172.94	c 3470
173.13	o 21941
173.13	c 3468
173.34	o 21943
173.34	c 3466
173.53	o 21946
173.53	c 3463
173.92	o 21949
173.92	c 3460
174.13	o 21952
174.13	c 3457
174.35	o 21954
174.35	c 3455
174.75	o 21956
174.75	c 3453
175.38	o 21958
175.38	c 3451
176.01	o 21959
176.01	c 3450
177.49	o 21961
177.49	c 3448
177.92	o 21963
177.92	c 3446
178.15	o 21964
178.15	c 3445
178.37	o 21967
178.37	c 3442
178.99	o 21970
178.99	c 3439
179.20	o 21972
179.20	c 3437
180.30	o 21973
180.30	c 3436
180.50	o 21975
180.50	c 3434
180.91	o 21980
180.91	c 3429
181.75	o 21981
181.75	c 3428
181.96	o 21984
181.96	c 3425
182.88	o 21988
182.88	c 3421
183.07	o 21989
183.07	c 3420
183.28	o 21992
183.28	c 3417
183.60	o 21994
183.60	c 3415
183.80	o 21996
183.80	c 3413
184.00	o 21999
184.00	c 3410
184.20	o 22001
184.20	c 3408
184.40	o 22002
184.40	c 3407
184.60	o 22005
184.60	c 3404
185.20	o 22006
185.20	c 3403
185.59	o 22010
185.59	c 3399
186.72	o 22012
186.72	c 3397
187.31	o 22015
187.31	c 3394
187.49	o 22017
187.49	c 3392
187.68	o 22021
187.68	c 3388
187.86	o 22023
187.86	c 3386
188.25	o 22025
188.25	c 3384
188.45	o 22028
188.45	c 3381
188.85	o 22031
188.85	c 3378
189.05	o 22033
189.05	c 3376
189.44	o 22037
189.44	c 3372
192.71	o 22038
192.71	c 3371
193.10	o 22040
193.10	c 3369
193.29	o 22043
193.29	c 3366
193.49	o 22044
193.49	c 3365
193.69	o 22046
193.69	c 3363
194.29	o 22047
194.29	c 3362
194.49	o 22049
194.49	c 3360
195.29	o 22052
195.29	c 3357
196.74	o 22054
196.74	c 3355
197.35	o 22055
197.35	c 3354
197.55	o 22058
197.55	c 3351
197.75	o 22059
197.75	c 3350
197.95	o 22062
197.95	c 3347
198.32	o 22063
198.32	c 3346
198.52	o 22064
198.52	c 3345
198.93	o 22066
198.93	c 3343
199.13	o 22068
199.13	c 3341
200.68	o 22071
200.68	c 3338
200.84	o 22073
200.84	c 3336
201.48	o 22074
201.48	c 3335
203.15	o 22077
203.15	c 3332
204.73	o 22082
204.73	c 3327
206.17	o 22084
206.17	c 3325
206.37	o 22085
206.37	c 3324
207.13	o 22087
207.13	c 3322
207.32	o 22091
207.32	c 3318
207.45	o 22093
207.45	c 3316
207.64	o 22095
207.64	c 3314
213.80	o 22096
213.80	c 3313
214.00	o 22100
214.00	c 3309
217.92	o 22101
217.92	c 3308
218.15	o 22102
218.15	c 3307
218.39	o 22103
218.39	c 3306
218.83	o 22106
218.83	c 3303
219.05	o 22111
219.05	c 3298
219.48	o 22112
219.48	c 3297
219.70	o 22113
219.70	c 3296
219.91	o 22114
219.91	c 3295
220.60	o 22115
220.60	c 3294
221.01	o 22117
221.01	c 3292
221.10	o 22118
221.10	c 3291
221.32	o 22124
221.32	c 3285
221.55	o 22126
221.55	c 3283
222.22	o 22127
222.22	c 3282
222.44	o 22128
222.44	c 3281
222.66	o 22132
222.66	c 3277
223.77	o 22135
223.77	c 3274
223.99	o 22137
223.99	c 3272
224.22	o 22139
224.22	c 3270
224.33	o 22140
224.33	c 3269
224.54	o 22144
224.54	c 3265
224.76	o 22146
224.76	c 3263
225.12	o 22150
225.12	c 3259
225.26	o 22153
225.26	c 3256
225.42	o 22155
225.42	c 3254
225.63	o 22158
225.63	c 3251
225.81	o 22160
225.81	c 3249
226.67	o 22161
226.67	c 3248
226.88	o 22165
226.88	c 3244
227.10	o 22166
227.10	c 3243
227.98	o 22168
227.98	c 3241
228.21	o 22170
228.21	c 3239
228.46	o 22172
228.46	c 3237
228.68	o 22174
228.68	c 3235
228.90	o 22175
228.90	c 3234
229.13	o 22176
229.13	c 3233
230.47	o 22177
230.47	c 3232
231.15	o 22179
231.15	c 3230
231.37	o 22181
231.37	c 3228
231.59	o 22183
231.59	c 3226
231.81	o 22188
231.81	c 3221
232.27	o 22189
232.27	c 3220
232.69	o 22192
232.69	c 3217
232.90	o 22195
232.90	c 3214
233.05	o 22203
233.05	c 3206
234.37	o 22204
234.37	c 3205
235.26	o 22207
235.26	c 3202
235.47	o 22211
235.47	c 3198
235.69	o 22214
235.69	c 3195
237.16	o 22216
237.16	c 3193
238.24	o 22217
238.24	c 3192
238.68	o 22219
238.68	c 3190
243.24	o 22221
243.24	c 3188
243.90	o 22222
243.90	c 3187
244.35	o 22225
244.35	c 3184
244.70	o 22230
244.70	c 3179
244.92	o 22235
244.92	c 3174
245.34	o 22239
245.34	c 3170
245.77	o 22241
245.77	c 3168
245.99	o 22242
245.99	c 3167
246.21	o 22243
246.21	c 3166
246.42	o 22245
246.42	c 3164
247.04	o 22247
247.04	c 3162
247.24	o 22249
247.24	c 3160
247.46	o 22251
247.46	c 3158
249.53	o 22253
249.53	c 3156
249.75	o 22255
249.75	c 3154
250.60	o 22256
250.60	c 3153
250.82	o 22257
250.82	c 3152
251.04	o 22258
251.04	c 3151
251.26	o 22260
251.26	c 3149
251.48	o 22263
251.48	c 3146
251.69	o 22267
251.69	c 3142
251.91	o 22269
251.91	c 3140
252.55	o 22273
252.55	c 3136
252.98	o 22276
252.98	c 3133
253.42	o 22279
253.42	c 3130
253.84	o 22283
253.84	c 3126
254.21	o 22286
254.21	c 3123
254.42	o 22287
254.42	c 3122
254.63	o 22288
254.63	c 3121
255.51	o 22289
255.51	c 3120
255.72	o 22290
255.72	c 3119
255.94	o 22291
255.94	c 3118
256.13	o 22293
256.13	c 3116
256.35	o 22300
256.35	c 3109
256.56	o 22302
256.56	c 3107
256.78	o 22304
256.78	c 3105
257.61	o 22305
257.61	c 3104
257.81	o 22311
257.81	c 3098
258.01	o 22315
258.01	c 3094
258.22	o 22317
258.22	c 3092
258.43	o 22321
258.43	c 3088
258.83	o 22322
258.83	c 3087
259.04	o 22325
259.04	c 3084
259.25	o 22327
259.25	c 3082
259.45	o 22331
259.45	c 3078
259.66	o 22332
259.66	c 3077
259.85	o 22333
259.85	c 3076
260.06	o 22335
260.06	c 3074
260.70	o 22339
260.70	c 3070
264.38	o 22341
264.38	c 3068
264.82	o 22342
264.82	c 3067
265.04	o 22344
265.04	c 3065
265.27	o 22347
265.27	c 3062
265.48	o 22351
265.48	c 3058
266.15	o 22355
266.15	c 3054
266.37	o 22357
266.37	c 3052
269.77	o 22360
269.77	c 3049
271.69	o 22361
271.69	c 3048
272.14	o 22364
272.14	c 3045
274.63	o 22365
274.63	c 3044
274.86	o 22366
274.86	c 3043
275.09	o 22368
275.09	c 3041
277.27	o 22372
277.27	c 3037
277.69	o 22375
277.69	c 3034
277.91	o 22376
277.91	c 3033
278.06	o 22378
278.06	c 3031
278.28	o 22380
278.28	c 3029
278.73	o 22381
278.73	c 3028
281.59	o 22384
281.59	c 3025
281.81	o 22386
281.81	c 3023
282.23	o 22390
282.23	c 3019
282.44	o 22393
282.44	c 3016
282.84	o 22395
282.84	c 3014
283.05	o 22399
283.05	c 3010
283.10	o 22403
283.10	c 3006
283.32	o 22407
283.32	c 3002
283.49	o 22410
283.49	c 2999
283.71	o 22414
283.71	c 2995
284.55	o 22416
284.55	c 2993
285.18	o 22418
285.18	c 2991
286.01	o 22419
286.01	c 2990
286.11	o 22420
286.11	c 2989
286.32	o 22421
286.32	c 2988
286.65	o 22424
286.65	c 2985
287.70	o 22426
287.70	c 2983
288.10	o 22430
288.10	c 2979
288.53	o 22431
288.53	c 2978
289.58	o 22432
289.58	c 2977
289.81	o 22436
289.81	c 2973
290.02	o 22438
290.02	c 2971
291.27	o 22440
291.27	c 2969
291.65	o 22442
291.65	c 2967
292.07	o 22445
292.07	c 2964
292.69	o 22449
292.69	c 2960
292.89	o 22453
292.89	c 2956
293.08	o 22458
293.08	c 2951
293.30	o 22463
293.30	c 2946
293.52	o 22466
293.52	c 2943
293.75	o 22468
293.75	c 2941
294.40	o 22471
294.40	c 2938
294.62	o 22473
294.62	c 2936
295.04	o 22476
295.04	c 2933
295.60	o 22479
295.60	c 2930
296.47	o 22481
296.47	c 2928
296.90	o 22484
296.90	c 2925
297.96	o 22489
297.96	c 2920
298.61	o 22492
298.61	c 2917
298.76	o 22494
298.76	c 2915
298.88	o 22496
298.88	c 2913
299.09	o 22499
299.09	c 2910
299.72	o 22501
299.72	c 2908
300.36	o 22503
300.36	c 2906
300.57	o 22504
300.57	c 2905
300.79	o 22506
300.79	c 2903
301.00	o 22510
301.00	c 2899
301.22	o 22513
301.22	c 2896
301.44	o 22515
301.44	c 2894
301.65	o 22517
301.65	c 2892
304.20	o 22518
304.20	c 2891
304.90	o 22521
304.90	c 2888
305.99	o 22522
305.99	c 2887
307.24	o 22525
307.24	c 2884
307.68	o 22527
307.68	c 2882
307.92	o 22529
307.92	c 2880
308.14	o 22530
308.14	c 2879
308.35	o 22532
308.35	c 2877
312.61	o 22533
312.61	c 2876
312.83	o 22535
312.83	c 2874
315.39	o 22536
315.39	c 2873
316.10	o 22537
316.10	c 2872
316.90	o 22540
316.90	c 2869
317.28	o 22543
317.28	c 2866
317.87	o 22546
317.87	c 2863
318.12	o 22549
318.12	c 2860
318.88	o 22550
318.88	c 2859
319.58	o 22554
319.58	c 2855
319.81	o 22555
319.81	c 2854
321.18	o 22556
321.18	c 2853
321.42	o 22558
321.42	c 2851
323.52	o 22560
323.52	c 2849
323.75	o 22562
323.75	c 2847
323.99	o 22567
323.99	c 2842
325.38	o 22570
325.38	c 2839
325.61	o 22578
325.61	c 2831
326.09	o 22579
326.09	c 2830
327.77	o 22581
327.77	c 2828
328.00	o 22582
328.00	c 2827
328.23	o 22583
328.23	c 2826
328.72	o 22587
328.72	c 2822
329.29	o 22590
329.29	c 2819
329.54	o 22592
329.54	c 2817
329.77	o 22593
329.77	c 2816
330.25	o 22594
330.25	c 2815
330.50	o 22596
330.50	c 2813
334.62	o 22600
334.62	c 2809
334.86	o 22601
334.86	c 2808
335.10	o 22602
335.10	c 2807
335.33	o 22603
335.33	c 2806
336.04	o 22604
336.04	c 2805
336.75	o 22607
336.75	c 2802
337.89	o 22610
337.89	c 2799
339.10	o 22612
339.10	c 2797
339.20	o 22616
339.20	c 2793
339.45	o 22619
339.45	c 2790
339.67	o 22622
339.67	c 2787
339.87	o 22623
339.87	c 2786
340.11	o 22624
340.11	c 2785
341.09	o 22626
341.09	c 2783
341.33	o 22628
341.33	c 2781
341.57	o 22629
341.57	c 2780
342.50	o 22630
342.50	c 2779
342.74	o 22631
342.74	c 2778
342.99	o 22632
342.99	c 2777
345.85	o 22635
345.85	c 2774
347.10	o 22636
347.10	c 2773
347.34	o 22637
347.34	c 2772
347.58	o 22640
347.58	c 2769
347.82	o 22644
347.82	c 2765
348.07	o 22645
348.07	c 2764
348.56	o 22646
348.56	c 2763
349.03	o 22648
349.03	c 2761
349.20	o 22650
349.20	c 2759
349.44	o 22651
349.44	c 2758
351.19	o 22652
351.19	c 2757
352.44	o 22653
352.44	c 2756
352.69	o 22654
352.69	c 2755
352.93	o 22655
352.93	c 2754
353.19	o 22656
353.19	c 2753
355.36	o 22659
355.36	c 2750
355.61	o 22661
355.61	c 2748
358.14	o 22666
358.14	c 2743
358.38	o 22667
358.38	c 2742
358.62	o 22669
358.62	c 2740
358.86	o 22670
358.86	c 2739
359.11	o 22672
359.11	c 2737
359.34	o 22673
359.34	c 2736
359.81	o 22676
359.81	c 2733
360.01	o 22678
360.01	c 2731
360.22	o 22679
360.22	c 2730
360.42	o 22680
360.42	c 2729
360.65	o 22683
360.65	c 2726
360.88	o 22688
360.88	c 2721
361.09	o 22689
361.09	c 2720
362.15	o 22692
362.15	c 2717
363.07	o 22694
363.07	c 2715
363.32	o 22696
363.32	c 2713
363.56	o 22698
363.56	c 2711
363.79	o 22699
363.79	c 2710
364.27	o 22701
364.27	c 2708
364.52	o 22702
364.52	c 2707
364.75	o 22705
364.75	c 2704
364.97	o 22707
364.97	c 2702
365.19	o 22710
365.19	c 2699
365.42	o 22711
365.42	c 2698
365.66	o 22712
365.66	c 2697
366.08	o 22714
366.08	c 2695
366.66	o 22717
366.66	c 2692
366.83	o 22721
366.83	c 2688
367.05	o 22724
367.05	c 2685
367.93	o 22725
367.93	c 2684
368.14	o 22730
368.14	c 2679
368.57	o 22731
368.57	c 2678
368.98	o 22735
368.98	c 2674
369.42	o 22737
369.42	c 2672
369.99	o 22738
369.99	c 2671
370.22	o 22739
370.22	c 2670
371.08	o 22740
371.08	c 2669
371.30	o 22742
371.30	c 2667
371.93	o 22745
371.93	c 2664
372.86	o 22746
372.86	c 2663
373.10	o 22749
373.10	c 2660
373.34	o 22750
373.34	c 2659
374.04	o 22752
374.04	c 2657
375.23	o 22753
375.23	c 2656
375.46	o 22756
375.46	c 2653
376.17	o 22758
376.17	c 2651
376.40	o 22760
376.40	c 2649
376.86	o 22761
376.86	c 2648
377.06	o 22763
377.06	c 2646
377.29	o 22765
377.29	c 2644
377.53	o 22766
377.53	c 2643
378.24	o 22767
378.24	c 2642
379.35	o 22769
379.35	c 2640
380.26	o 22770
380.26	c 2639
380.72	o 22772
380.72	c 2637
381.34	o 22773
381.34	c 2636
381.56	o 22774
381.56	c 2635
381.79	o 22777
381.80	c 2632
382.44	o 22781
382.44	c 2628
385.30	o 22783
385.30	c 2626
386.53	o 22786
386.53	c 2623
386.78	o 22790
386.78	c 2619
386.89	o 22792
386.89	c 2617
387.14	o 22794
387.14	c 2615
389.83	o 22795
389.83	c 2614
390.32	o 22796
390.32	c 2613
390.56	o 22798
390.56	c 2611
390.81	o 22800
390.81	c 2609
391.04	o 22803
391.04	c 2606
391.30	o 22804
391.30	c 2605
391.70	o 22805
391.70	c 2604
391.89	o 22809
391.89	c 2600
392.13	o 22813
392.13	c 2596
392.38	o 22814
392.38	c 2595
392.73	o 22817
392.73	c 2592
393.21	o 22820
393.21	c 2589
393.44	o 22821
393.44	c 2588
393.95	o 22823
393.95	c 2586
394.21	o 22824
394.21	c 2585
394.46	o 22826
394.46	c 2583
395.22	o 22828
395.22	c 2581
395.48	o 22829
395.48	c 2580
395.72	o 22831
395.72	c 2578
395.95	o 22833
395.95	c 2576
396.20	o 22836
396.20	c 2573
397.46	o 22840
397.46	c 2569
397.70	o 22841
397.70	c 2568
401.37	o 22843
401.37	c 2566
401.61	o 22844
401.61	c 2565
401.88	o 22845
401.88	c 2564
402.12	o 22847
402.12	c 2562
402.36	o 22848
402.36	c 2561
403.79	o 22849
403.79	c 2560
404.06	o 22850
404.06	c 2559
404.56	o 22851
404.56	c 2558
404.80	o 22854
404.80	c 2555
405.06	o 22855
405.06	c 2554
405.31	o 22858
405.32	c 2551
405.81	o 22861
405.81	c 2548
405.95	o 22865
405.95	c 2544
406.19	o 22870
406.19	c 2539
406.70	o 22871
406.70	c 2538
407.47	o 22872
407.47	c 2537
407.73	o 22873
407.73	c 2536
407.98	o 22874
407.98	c 2535
408.50	o 22876
408.50	c 2533
408.72	o 22880
408.72	c 2529
408.96	o 22884
408.96	c 2525
410.23	o 22885
410.23	c 2524
410.75	o 22887
410.75	c 2522
410.97	o 22890
410.97	c 2519
411.23	o 22893
411.23	c 2516
411.51	o 22897
411.51	c 2512
411.76	o 22898
411.76	c 2511
412.03	o 22900
412.03	c 2509
412.28	o 22906
412.28	c 2503
412.52	o 22908
412.52	c 2501
413.05	o 22913
413.05	c 2496
413.32	o 22915
413.32	c 2494
413.60	o 22916
413.60	c 2493
417.68	o 22918
417.68	c 2491
417.95	o 22922
417.95	c 2487
418.19	o 22924
418.19	c 2485
419.24	o 22925
419.24	c 2484
419.50	o 22928
419.50	c 2481
420.31	o 22933
420.31	c 2476
420.45	o 22937
420.45	c 2472
420.97	o 22939
420.97	c 2470
421.25	o 22940
421.25	c 2469
421.48	o 22942
421.48	c 2467
422.26	o 22943
422.26	c 2466
422.80	o 22944
422.80	c 2465
423.56	o 22947
423.56	c 2462
424.08	o 22948
424.08	c 2461
424.61	o 22950
424.61	c 2459
424.88	o 22951
424.88	c 2458
427.39	o 22955
427.39	c 2454
427.64	o 22957
427.64	c 2452
428.17	o 22958
428.17	c 2451
430.26	o 22959
430.26	c 2450
430.52	o 22960
430.52	c 2449
430.78	o 22961
430.78	c 2448
431.04	o 22965
431.04	c 2444
431.17	o 22966
431.17	c 2443
431.44	o 22967
431.44	c 2442
431.67	o 22969
431.67	c 2440
431.93	o 22970
431.93	c 2439
432.19	o 22972
432.19	c 2437
433.47	o 22974
433.47	c 2435
433.75	o 22975
433.75	c 2434
434.28	o 22976
434.28	c 2433
434.81	o 22979
434.81	c 2430
435.59	o 22983
435.59	c 2426
435.85	o 22985
435.85	c 2424
436.12	o 22987
436.12	c 2422
438.10	o 22988
438.10	c 2421
438.54	o 22989
438.54	c 2420
438.78	o 22994
438.78	c 2415
439.03	o 22996
439.03	c 2413
439.28	o 22997
439.28	c 2412
439.80	o 23000
439.80	c 2409
440.13	o 23001
440.13	c 2408
440.38	o 23002
440.38	c 2407
440.63	o 23004
440.63	c 2405
442.46	o 23005
442.46	c 2404
442.70	o 23006
442.70	c 2403
443.45	o 23007
443.45	c 2402
444.15	o 23008
444.16	c 2401
444.80	o 23012
444.80	c 2397
445.31	o 23014
445.31	c 2395
445.43	o 23021
445.43	c 2388
445.63	o 23024
445.63	c 2385
445.87	o 23026
445.87	c 2383
446.80	o 23027
446.80	c 2382
447.04	o 23030
447.04	c 2379
447.78	o 23031
447.78	c 2378
447.89	o 23037
447.89	c 2372
448.13	o 23039
448.13	c 2370
448.39	o 23042
448.39	c 2367
448.89	o 23046
448.89	c 2363
449.05	o 23051
449.05	c 2358
449.29	o 23055
449.29	c 2354
451.06	o 23057
451.06	c 2352
451.83	o 23059
451.83	c 2350
452.08	o 23061
452.08	c 2348
452.59	o 23063
452.59	c 2346
454.19	o 23064
454.19	c 2345
454.71	o 23065
454.71	c 2344
455.51	o 23067
455.51	c 2342
456.35	o 23071
456.35	c 2338
457.18	o 23075
457.18	c 2334
457.46	o 23078
457.47	c 2331
460.83	o 23079
460.83	c 2330
461.05	o 23080
461.05	c 2329
461.23	o 23082
461.23	c 2327
462.02	o 23083
462.02	c 2326
462.29	o 23084
462.29	c 2325
462.56	o 23085
462.56	c 2324
463.09	o 23086
463.09	c 2323
464.18	o 23087
464.18	c 2322
464.44	o 23088
464.44	c 2321
467.90	o 23092
467.90	c 2317
469.56	o 23096
469.56	c 2313
470.09	o 23098
470.09	c 2311
470.33	o 23100
470.33	c 2309
470.80	o 23103
470.80	c 2306
471.07	o 23104
471.07	c 2305
471.30	o 23107
471.30	c 2302
473.07	o 23109
473.07	c 2300
473.58	o 23112
473.58	c 2297
473.78	o 23116
473.78	c 2293
474.30	o 23119
474.30	c 2290
474.57	o 23121
474.57	c 2288
475.64	o 23123
475.64	c 2286
475.90	o 23127
475.90	c 2282
476.16	o 23131
476.16	c 2278
478.07	o 23133
478.07	c 2276
478.32	o 23137
478.32	c 2272
478.84	o 23138
478.84	c 2271
479.09	o 23139
479.09	c 2270
479.59	o 23144
479.59	c 2265
479.85	o 23145
479.85	c 2264
484.16	o 23146
484.16	c 2263
484.42	o 23147
484.42	c 2262
484.98	o 23148
484.98	c 2261
485.35	o 23150
485.35	c 2259
486.62	o 23151
486.62	c 2258
486.89	o 23153
486.89	c 2256
487.08	o 23154
487.08	c 2255
487.34	o 23155
487.34	c 2254
487.61	o 23158
487.61	c 2251
488.13	o 23161
488.13	c 2248
489.22	o 23162
489.22	c 2247
489.49	o 23163
489.49	c 2246
489.74	o 23165
489.74	c 2244
490.02	o 23166
490.02	c 2243
490.30	o 23167
490.30	c 2242
490.85	o 23170
490.85	c 2239
493.31	o 23172
493.31	c 2237
493.60	o 23173
493.60	c 2236
494.58	o 23174
494.58	c 2235
494.87	o 23175
494.87	c 2234
494.99	o 23178
494.99	c 2231
495.26	o 23179
495.26	c 2230
495.44	o 23182
495.44	c 2227
495.70	o 23185
495.70	c 2224
499.63	o 23186
499.63	c 2223
499.91	o 23187
499.91	c 2222
502.41	o 23189
502.41	c 2220
503.82	o 23190
503.82	c 2219
504.11	o 23191
504.11	c 2218
504.67	o 23192
504.67	c 2217
504.95	o 23193
504.95	c 2216
507.18	o 23198
507.18	c 2211
507.47	o 23200
507.47	c 2209
507.76	o 23202
507.76	c 2207
508.04	o 23203
508.04	c 2206
508.34	o 23204
508.34	c 2205
508.63	o 23206
508.63	c 2203
509.22	o 23208
509.22	c 2201
509.51	o 23209
509.51	c 2200
512.24	o 23210
512.24	c 2199
512.84	o 23211
512.84	c 2198
513.78	o 23214
513.78	c 2195
515.58	o 23217
515.58	c 2192
516.51	o 23218
516.51	c 2191
516.82	o 23220
516.82	c 2189
517.12	o 23222
517.12	c 2187
517.46	o 23223
517.46	c 2186
518.12	o 23228
518.12	c 2181
518.45	o 23229
518.45	c 2180
518.78	o 23233
518.78	c 2176
519.72	o 23235
519.72	c 2174
521.31	o 23236
521.31	c 2173
521.55	o 23238
521.55	c 2171
521.86	o 23239
521.86	c 2170
531.23	o 23240
531.24	c 2169
531.56	o 23242
531.56	c 2167
534.03	o 23243
534.03	c 2166
534.37	o 23245
534.37	c 2164
535.37	o 23247
535.37	c 2162
549.77	o 23249
549.77	c 2160
549.97	o 23250
549.97	c 2159
551.00	o 23251
551.00	c 2158
551.35	o 23252
551.35	c 2157
551.69	o 23254
551.69	c 2155
552.02	o 23256
552.02	c 2153
552.70	o 23259
552.70	c 2150
553.37	o 23260
553.37	c 2149
553.73	o 23263
553.73	c 2146
553.80	o 23265
553.80	c 2144
554.13	o 23267
554.13	c 2142
554.47	o 23268
554.47	c 2141
555.14	o 23271
555.14	c 2138
555.48	o 23273
555.48	c 2136
560.95	o 23275
560.95	c 2134
560.99	o 23279
560.99	c 2130
561.19	o 23280
561.19	c 2129
566.55	o 23285
566.55	c 2124
567.62	o 23286
567.63	c 2123
567.97	o 23288
567.97	c 2121
569.29	o 23289
569.29	c 2120
569.66	o 23292
569.66	c 2117
570.03	o 23294
570.03	c 2115
570.39	o 23296
570.39	c 2113
571.46	o 23297
571.46	c 2112
572.49	o 23299
572.49	c 2110
572.85	o 23301
572.85	c 2108
576.10	o 23302
576.10	c 2107
577.56	o 23305
577.56	c 2104
577.92	o 23306
577.92	c 2103
578.29	o 23307
578.29	c 2102
578.67	o 23308
578.67	c 2101
579.04	o 23310
579.04	c 2099
580.51	o 23311
580.51	c 2098
580.87	o 23312
580.87	c 2097
582.86	o 23314
582.86	c 2095
583.22	o 23315
583.22	c 2094
583.94	o 23317
583.94	c 2092
584.31	o 23319
584.31	c 2090
584.87	o 23320
584.87	c 2089
590.29	o 23321
590.29	c 2088
609.08	o 23322
609.08	c 2087
609.91	o 23323
609.91	c 2086
611.59	o 23324
611.59	c 2085
611.93	o 23325
611.93	c 2084
614.22	o 23328
614.22	c 2081
616.40	o 23329
616.40	c 2080
616.73	o 23332
616.73	c 2077
618.37	o 23333
618.37	c 2076
619.01	o 23335
619.01	c 2074
619.35	o 23337
619.35	c 2072
620.58	o 23339
620.58	c 2070
621.23	o 23340
621.23	c 2069
621.50	o 23341
621.50	c 2068
621.83	o 23344
621.83	c 2065
623.81	o 23345
623.81	c 2064
624.03	o 23347
624.03	c 2062
625.00	o 23348
625.00	c 2061
633.05	o 23350
633.05	c 2059
634.49	o 23351
634.49	c 2058
634.79	o 23354
634.79	c 2055
635.10	o 23355
635.10	c 2054
635.38	o 23356
635.38	c 2053
635.49	o 23359
635.49	c 2050
639.57	o 23361
639.57	c 2048
639.90	o 23364
639.90	c 2045
642.30	o 23367
642.30	c 2042
642.52	o 23369
642.52	c 2040
642.83	o 23371
642.83	c 2038
643.12	o 23372
643.12	c 2037
643.77	o 23374
643.77	c 2035
645.47	o 23375
645.47	c 2034
647.08	o 23381
647.08	c 2028
647.73	o 23382
647.73	c 2027
648.72	o 23383
648.72	c 2026
651.44	o 23384
651.44	c 2025
651.78	o 23385
651.78	c 2024
652.47	o 23387
652.47	c 2022
655.47	o 23389
655.47	c 2020
658.32	o 23392
658.32	c 2017
658.66	o 23393
658.66	c 2016
689.17	   
689.17	   search
689.17	     run=0  nbConstraintChecks=2793470214  nbAssignments=3354
689.17	       =>  wckTime=626.685  cpuTime=620.65  mem=58M21
689.17	   
689.17	   global
689.17	     nbConstraintChecks=2793470214  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
689.17	     solvingWckTime=626.67  solvingCpuTime=620.64  expiredTime=no  totalExploration=no  nbFoundSolutions=0
689.17	     globalCpuTime=681.28
689.17	       =>  wckTime=688.85  cpuTime=681.22  mem=58M21
689.17	   
689.17	   solver IterativeSystematicSolver being built... 
689.72	       =>  wckTime=689.397  cpuTime=681.53  mem=114M708
2419.38	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/node11/watcher-275267-1169219041 -o ROOT/results/node11/solver-275267-1169219041 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275267-1169219041/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.26 2.09 1.97 5/94 10364
/proc/meminfo: memFree=1262400/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=18540 CPUtime=0
/proc/10363/stat : 10363 (runsolver) R 10361 10363 9451 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270299140 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10363/statm: 4635 279 244 17 0 2626 0

[startup+0.103989 s]
/proc/loadavg: 2.26 2.09 1.97 5/94 10364
/proc/meminfo: memFree=1262400/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=914988 CPUtime=0.08
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 2953 0 1 0 7 1 0 0 17 0 8 0 270299140 936947712 2699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155090096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51207 s]
/proc/loadavg: 2.26 2.09 1.97 5/94 10364
/proc/meminfo: memFree=1262400/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915332 CPUtime=0.48
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 7197 0 1 0 45 3 0 0 18 0 8 0 270299140 937299968 6936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073592287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228833 6936 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33424 s]
/proc/loadavg: 2.26 2.09 1.97 3/101 10371
/proc/meminfo: memFree=1191432/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915612 CPUtime=1.3
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 22022 0 1 0 119 11 0 0 23 0 8 0 270299140 937586688 21759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073548756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228903 21759 2164 14 0 215373 0
[pid=10363/tid=10365] ppid=10361 vsize=915612 CPUtime=0.08
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 5463 0 0 0 6 2 0 0 16 0 8 0 270299144 937586688 21759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915612 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937586688 21759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915612 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299145 937586688 21759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915612 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937586688 21759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915612 CPUtime=0.16
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 401 0 0 0 16 0 0 0 16 0 8 0 270299148 937586688 21759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915612 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937586688 21759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915612 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299148 937586688 21759 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.97955 s]
/proc/loadavg: 2.24 2.09 1.97 4/101 10371
/proc/meminfo: memFree=1179912/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915744 CPUtime=2.94
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 22976 0 1 0 282 12 0 0 25 0 8 0 270299140 937721856 22710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228936 22710 2184 14 0 215406 0
[pid=10363/tid=10365] ppid=10361 vsize=915744 CPUtime=0.13
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 6338 0 0 0 11 2 0 0 17 0 8 0 270299144 937721856 22710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 22710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 22710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937721856 22710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915744 CPUtime=0.18
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 415 0 0 0 18 0 0 0 16 0 8 0 270299148 937721856 22710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937721856 22710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299148 937721856 22710 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.2732 s]
/proc/loadavg: 2.24 2.09 1.97 3/101 10371
/proc/meminfo: memFree=1179720/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915744 CPUtime=6.2
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 22992 0 1 0 607 13 0 0 25 0 8 0 270299140 937721856 22726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228936 22726 2185 14 0 215406 0
[pid=10363/tid=10365] ppid=10361 vsize=915744 CPUtime=0.13
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 6338 0 0 0 11 2 0 0 16 0 8 0 270299144 937721856 22726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 22726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 22726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937721856 22726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915744 CPUtime=0.2
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 430 0 0 0 20 0 0 0 16 0 8 0 270299148 937721856 22726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937721856 22726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299148 937721856 22726 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.7525 s]
/proc/loadavg: 2.20 2.09 1.97 3/101 10371
/proc/meminfo: memFree=1179784/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915744 CPUtime=12.61
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 22996 0 1 0 1247 14 0 0 25 0 8 0 270299140 937721856 22729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228936 22729 2185 14 0 215406 0
[pid=10363/tid=10365] ppid=10361 vsize=915744 CPUtime=0.13
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 6338 0 0 0 11 2 0 0 16 0 8 0 270299144 937721856 22729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 22729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 22729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937721856 22729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915744 CPUtime=0.2
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 433 0 0 0 20 0 0 0 17 0 8 0 270299148 937721856 22729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937721856 22729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299148 937721856 22729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915744

[startup+25.615 s]
/proc/loadavg: 2.25 2.10 1.97 3/101 10371
/proc/meminfo: memFree=1175496/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915744 CPUtime=25.35
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 24150 0 1 0 2516 19 0 0 25 0 8 0 270299140 937721856 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228936 23879 2185 14 0 215406 0
[pid=10363/tid=10365] ppid=10361 vsize=915744 CPUtime=0.19
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 7477 0 0 0 17 2 0 0 17 0 8 0 270299144 937721856 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937721856 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915744 CPUtime=0.22
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 444 0 0 0 22 0 0 0 15 0 8 0 270299148 937721856 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937721856 23879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299148 937721856 23879 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.2291 s]
/proc/loadavg: 2.16 2.09 1.97 3/101 10371
/proc/meminfo: memFree=1165192/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915744 CPUtime=50.73
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 26710 0 1 0 5019 54 0 0 25 0 8 0 270299140 937721856 26438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228936 26438 2185 14 0 215406 0
[pid=10363/tid=10365] ppid=10361 vsize=915744 CPUtime=0.3
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 10034 0 0 0 27 3 0 0 16 0 8 0 270299144 937721856 26438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 26438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 26438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937721856 26438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915744 CPUtime=0.23
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 446 0 0 0 23 0 0 0 16 0 8 0 270299148 937721856 26438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937721856 26438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299148 937721856 26438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915744

[startup+102.503 s]
/proc/loadavg: 2.12 2.09 1.98 3/101 10371
/proc/meminfo: memFree=1142408/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915744 CPUtime=101.45
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 32771 0 1 0 10053 92 0 0 25 0 8 0 270299140 937721856 32457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228936 32457 2504 14 0 215406 0
[pid=10363/tid=10365] ppid=10361 vsize=915744 CPUtime=0.78
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 15713 0 0 0 72 6 0 0 16 0 8 0 270299144 937721856 32457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 32457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270299145 937721856 32457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937721856 32457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915744 CPUtime=0.29
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 476 0 0 0 28 1 0 0 16 0 8 0 270299148 937721856 32457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937721856 32457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915744 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270299148 937721856 32457 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.553 s]
/proc/loadavg: 2.04 2.07 1.98 3/101 10371
/proc/meminfo: memFree=1142408/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915744 CPUtime=160.9
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 32773 0 1 0 15991 99 0 0 25 0 8 0 270299140 937721856 32459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2083.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 10433
/proc/meminfo: memFree=1118552/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915980 CPUtime=2065.1
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 43382 0 1 0 206366 144 0 0 25 0 8 0 270299140 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074321010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228995 43050 2551 14 0 215465 0
[pid=10363/tid=10365] ppid=10361 vsize=915980 CPUtime=0.91
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 26078 0 0 0 81 10 0 0 16 0 8 0 270299144 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299145 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915980 CPUtime=0.43
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 610 0 0 0 42 1 0 0 16 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915980 CPUtime=0.01
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2065.1
Current children cumulated vsize (KiB) 915980

[startup+2143.56 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10433
/proc/meminfo: memFree=1118552/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915980 CPUtime=2125.11
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 43382 0 1 0 212367 144 0 0 25 0 8 0 270299140 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074330207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228995 43050 2551 14 0 215465 0
[pid=10363/tid=10365] ppid=10361 vsize=915980 CPUtime=0.91
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 26078 0 0 0 81 10 0 0 16 0 8 0 270299144 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299145 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915980 CPUtime=0.43
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 610 0 0 0 42 1 0 0 16 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915980 CPUtime=0.01
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.11
Current children cumulated vsize (KiB) 915980

[startup+2203.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10433
/proc/meminfo: memFree=1118616/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915980 CPUtime=2185.1
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 43382 0 1 0 218366 144 0 0 25 0 8 0 270299140 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074318650 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228995 43050 2551 14 0 215465 0
[pid=10363/tid=10365] ppid=10361 vsize=915980 CPUtime=0.91
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 26078 0 0 0 81 10 0 0 16 0 8 0 270299144 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299145 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915980 CPUtime=0.43
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 610 0 0 0 42 1 0 0 16 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915980 CPUtime=0.01
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270299148 937963520 43050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.1
Current children cumulated vsize (KiB) 915980

[startup+2263.67 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10433
/proc/meminfo: memFree=1118552/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915980 CPUtime=2245.05
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 43383 0 1 0 224361 144 0 0 25 0 8 0 270299140 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228995 43051 2551 14 0 215465 0
[pid=10363/tid=10365] ppid=10361 vsize=915980 CPUtime=0.91
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 26078 0 0 0 81 10 0 0 16 0 8 0 270299144 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299145 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915980 CPUtime=0.43
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 611 0 0 0 42 1 0 0 16 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915980 CPUtime=0.01
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2245.05
Current children cumulated vsize (KiB) 915980

[startup+2323.72 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10433
/proc/meminfo: memFree=1118488/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915980 CPUtime=2304.97
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 43383 0 1 0 230353 144 0 0 25 0 8 0 270299140 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074330056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228995 43051 2551 14 0 215465 0
[pid=10363/tid=10365] ppid=10361 vsize=915980 CPUtime=0.91
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 26078 0 0 0 81 10 0 0 16 0 8 0 270299144 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299145 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915980 CPUtime=0.43
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 611 0 0 0 42 1 0 0 16 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915980 CPUtime=0.01
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2304.97
Current children cumulated vsize (KiB) 915980

[startup+2383.79 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 10433
/proc/meminfo: memFree=1118552/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915980 CPUtime=2364.71
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 43383 0 1 0 236327 144 0 0 25 0 8 0 270299140 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074151050 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228995 43051 2551 14 0 215465 0
[pid=10363/tid=10365] ppid=10361 vsize=915980 CPUtime=0.91
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 26078 0 0 0 81 10 0 0 16 0 8 0 270299144 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299145 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915980 CPUtime=0.43
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 611 0 0 0 42 1 0 0 16 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915980 CPUtime=0.01
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2364.71
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2419.37 s]
/proc/loadavg: 2.11 2.03 2.01 3/100 10433
/proc/meminfo: memFree=1118552/2055920 swapFree=4171812/4192956
[pid=10363] ppid=10361 vsize=915980 CPUtime=2400.1
/proc/10363/stat : 10363 (java) R 10361 10363 9451 0 -1 0 43383 0 1 0 239866 144 0 0 25 0 8 0 270299140 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228995 43051 2551 14 0 215465 0
[pid=10363/tid=10365] ppid=10361 vsize=915980 CPUtime=0.91
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9451 0 -1 64 26078 0 0 0 81 10 0 0 16 0 8 0 270299144 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270299145 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270299145 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9451 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915980 CPUtime=0.43
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9451 0 -1 64 611 0 0 0 42 1 0 0 16 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915980 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915980 CPUtime=0.01
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9451 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 270299148 937963520 43051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2419.42
CPU time (s): 2400.15
CPU user time (s): 2398.68
CPU system time (s): 1.47378
CPU usage (%): 99.2034
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.68
system time used= 1.47378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43408
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= 50805
involuntary context switches= 97101

runsolver used 3.2755 s user time and 8.02878 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Fri Jan 19 15:04:01 UTC 2007


IDJOB= 275267
IDBENCH= 3758
IDSOLVER= 68
FILE ID= node11/275267-1169219041

PBS_JOBID= 3588918

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/275267-1169219041/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-275267-1169219041 -o ROOT/results/node11/solver-275267-1169219041 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275267-1169219041/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8852f43241b06dc94642af49e2d6d548

RANDOM SEED= 317628268

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.261
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.261
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:       1262880 kB
Buffers:         61188 kB
Cached:         562332 kB
SwapCached:       2828 kB
Active:         235704 kB
Inactive:       478212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1262880 kB
SwapTotal:     4192956 kB
SwapFree:      4171812 kB
Dirty:            5136 kB
Writeback:           0 kB
Mapped:         115388 kB
Slab:            63540 kB
Committed_AS:  8000544 kB
PageTables:       2552 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 node11 on Fri Jan 19 15:44:21 UTC 2007