Trace number 275595

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.2 2422.85

General information on the benchmark

Namefapp/fapp36-40/fapp37/
fapp37-2250-4.xml
MD5SUM8be6780779a5eacfdc07014164857344
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints37483
Best CPU time to get the best result obtained on this benchmark2400.18
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2250
Number of constraints42699
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension42699
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275595-1169223786/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.88	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998
0.89	       =>  wckTime=0.576  cpuTime=0.4  mem=46M736
0.89	   
0.89	   predicates being loaded...
0.89	   
0.89	   constraints being loaded...
61.42	   
61.42	   INFO : Stopping converting binary constraints (cpu=60.07, mem = 107M779)
65.48	     nbConstraints=42699  nbConvertedConstraints=329  nbConvertConstraintsChecks=187446772  nbExtensionStructures=315
65.48	     nbSharedExtensionStructures=14  nbConflictsStructures=315  nbSharedConflictsStructures=14
65.48	     nbSharedBinaryRepresentations=395825  nbEvaluationManagers=20960  nbSharedEvaluationManagers=21410  maxDegree=136
65.48	     maxArity=2
65.48	       =>  wckTime=65.172  cpuTime=63.4  mem=143M863
65.92	   
65.92	   solver LocalSearchSolver being built... 
65.96	       =>  wckTime=65.653  cpuTime=63.45  mem=115M600
67.68	
67.68	s SATISFIABLE
67.68	o 31249
67.68	c 11450
68.81	o 31261
68.81	c 11438
69.46	o 31279
69.46	c 11420
69.94	o 31292
69.94	c 11407
70.45	o 31308
70.45	c 11391
71.11	o 31324
71.11	c 11375
71.46	o 31340
71.46	c 11359
71.69	o 31357
71.69	c 11342
72.00	o 31371
72.00	c 11328
72.30	o 31379
72.30	c 11320
72.50	o 31395
72.50	c 11304
72.79	o 31405
72.79	c 11294
73.14	o 31420
73.14	c 11279
73.60	o 31428
73.60	c 11271
73.96	o 31440
73.96	c 11259
74.32	o 31458
74.32	c 11241
74.57	o 31470
74.57	c 11229
74.91	o 31476
74.91	c 11223
75.30	o 31482
75.30	c 11217
75.71	o 31498
75.71	c 11201
76.03	o 31514
76.03	c 11185
76.49	o 31517
76.49	c 11182
76.99	o 31532
76.99	c 11167
77.36	o 31548
77.36	c 11151
77.86	o 31563
77.86	c 11136
78.24	o 31572
78.24	c 11127
78.60	o 31574
78.60	c 11125
78.79	o 31590
78.79	c 11109
79.28	o 31606
79.28	c 11093
79.43	o 31623
79.43	c 11076
79.87	o 31643
79.87	c 11056
80.10	o 31649
80.10	c 11050
80.49	o 31659
80.49	c 11040
80.77	o 31670
80.77	c 11029
81.12	o 31685
81.13	c 11014
81.37	o 31696
81.37	c 11003
82.01	o 31706
82.01	c 10993
82.47	o 31719
82.47	c 10980
82.80	o 31731
82.80	c 10968
83.19	o 31742
83.19	c 10957
83.49	o 31751
83.49	c 10948
83.75	o 31754
83.76	c 10945
84.07	o 31767
84.07	c 10932
84.52	o 31773
84.52	c 10926
84.89	o 31782
84.89	c 10917
85.07	o 31794
85.07	c 10905
85.34	o 31809
85.34	c 10890
85.50	o 31817
85.50	c 10882
86.04	o 31820
86.04	c 10879
86.35	o 31832
86.35	c 10867
86.59	o 31837
86.59	c 10862
87.01	o 31845
87.01	c 10854
87.21	o 31864
87.21	c 10835
87.45	o 31866
87.45	c 10833
87.67	o 31880
87.67	c 10819
87.82	o 31886
87.82	c 10813
88.14	o 31895
88.14	c 10804
88.38	o 31902
88.38	c 10797
88.73	o 31912
88.73	c 10787
88.90	o 31923
88.90	c 10776
89.11	o 31930
89.11	c 10769
89.40	o 31933
89.40	c 10766
89.80	o 31946
89.80	c 10753
90.15	o 31963
90.15	c 10736
90.48	o 31964
90.48	c 10735
90.83	o 31976
90.83	c 10723
91.06	o 31987
91.06	c 10712
91.30	o 32001
91.30	c 10698
91.56	o 32004
91.56	c 10695
91.86	o 32005
91.86	c 10694
92.29	o 32013
92.29	c 10686
93.06	o 32020
93.06	c 10679
93.36	o 32026
93.36	c 10673
93.78	o 32036
93.78	c 10663
94.20	o 32041
94.20	c 10658
94.57	o 32046
94.57	c 10653
95.12	o 32062
95.12	c 10637
95.78	o 32071
95.78	c 10628
96.24	o 32080
96.24	c 10619
96.50	o 32084
96.50	c 10615
96.76	o 32092
96.76	c 10607
97.28	o 32099
97.28	c 10600
97.78	o 32105
97.78	c 10594
98.20	o 32114
98.20	c 10585
98.63	o 32115
98.63	c 10584
98.95	o 32117
98.95	c 10582
99.23	o 32125
99.23	c 10574
99.99	o 32132
99.99	c 10567
100.61	o 32133
100.61	c 10566
101.06	o 32147
101.06	c 10552
101.56	o 32151
101.56	c 10548
101.91	o 32156
101.91	c 10543
102.42	o 32161
102.42	c 10538
102.83	o 32163
102.83	c 10536
104.01	o 32167
104.01	c 10532
104.33	o 32187
104.33	c 10512
104.71	o 32195
104.71	c 10504
104.93	o 32205
104.93	c 10494
105.45	o 32207
105.45	c 10492
106.24	o 32219
106.24	c 10480
106.95	o 32220
106.95	c 10479
107.45	o 32239
107.45	c 10460
107.92	o 32247
107.92	c 10452
109.15	o 32257
109.15	c 10442
109.73	o 32258
109.73	c 10441
110.31	o 32269
110.31	c 10430
110.91	o 32271
110.91	c 10428
111.48	o 32277
111.48	c 10422
113.74	o 32282
113.74	c 10417
114.40	o 32293
114.40	c 10406
114.79	o 32294
114.79	c 10405
115.34	o 32297
115.34	c 10402
115.77	o 32309
115.77	c 10390
116.42	o 32316
116.42	c 10383
116.87	o 32330
116.87	c 10369
117.38	o 32336
117.39	c 10363
117.77	o 32343
117.77	c 10356
118.21	o 32344
118.21	c 10355
118.62	o 32348
118.62	c 10351
120.09	o 32351
120.09	c 10348
120.71	o 32358
120.71	c 10341
121.13	o 32375
121.13	c 10324
121.61	o 32378
121.61	c 10321
122.38	o 32380
122.38	c 10319
122.89	o 32381
122.89	c 10318
123.45	o 32386
123.45	c 10313
123.85	o 32399
123.85	c 10300
124.13	o 32409
124.13	c 10290
124.42	o 32420
124.42	c 10279
124.67	o 32431
124.67	c 10268
125.30	o 32432
125.30	c 10267
125.76	o 32445
125.76	c 10254
126.12	o 32457
126.12	c 10242
126.52	o 32460
126.52	c 10239
126.77	o 32464
126.77	c 10235
127.11	o 32473
127.11	c 10226
127.39	o 32482
127.39	c 10217
127.72	o 32489
127.72	c 10210
128.06	o 32494
128.06	c 10205
128.47	o 32495
128.47	c 10204
128.82	o 32496
128.82	c 10203
129.21	o 32510
129.21	c 10189
129.64	o 32523
129.64	c 10176
129.90	o 32526
129.90	c 10173
130.29	o 32539
130.29	c 10160
130.76	o 32547
130.76	c 10152
131.34	o 32548
131.34	c 10151
132.22	o 32551
132.22	c 10148
132.70	o 32553
132.70	c 10146
133.27	o 32562
133.27	c 10137
133.73	o 32567
133.73	c 10132
134.20	o 32580
134.20	c 10119
134.69	o 32591
134.69	c 10108
135.14	o 32606
135.14	c 10093
135.59	o 32614
135.59	c 10085
135.99	o 32625
135.99	c 10074
136.41	o 32627
136.41	c 10072
136.86	o 32637
136.86	c 10062
137.21	o 32649
137.21	c 10050
137.61	o 32656
137.61	c 10043
137.91	o 32666
137.91	c 10033
138.26	o 32672
138.26	c 10027
138.51	o 32684
138.51	c 10015
138.78	o 32693
138.78	c 10006
139.13	o 32702
139.13	c 9997
139.50	o 32709
139.50	c 9990
139.81	o 32715
139.81	c 9984
140.18	o 32717
140.18	c 9982
140.50	o 32719
140.50	c 9980
140.82	o 32720
140.82	c 9979
141.15	o 32722
141.15	c 9977
141.46	o 32723
141.46	c 9976
141.88	o 32724
141.88	c 9975
142.96	o 32731
142.96	c 9968
143.82	o 32733
143.82	c 9966
144.24	o 32740
144.24	c 9959
144.71	o 32748
144.71	c 9951
145.15	o 32765
145.15	c 9934
145.50	o 32775
145.50	c 9924
145.95	o 32783
145.95	c 9916
146.33	o 32790
146.33	c 9909
146.76	o 32794
146.76	c 9905
147.13	o 32798
147.13	c 9901
147.41	o 32799
147.41	c 9900
147.77	o 32807
147.77	c 9892
147.99	o 32814
147.99	c 9885
148.27	o 32826
148.27	c 9873
148.66	o 32838
148.66	c 9861
149.06	o 32849
149.06	c 9850
149.44	o 32858
149.44	c 9841
149.84	o 32867
149.84	c 9832
150.24	o 32875
150.24	c 9824
150.64	o 32883
150.64	c 9816
151.08	o 32890
151.08	c 9809
151.42	o 32894
151.42	c 9805
151.76	o 32895
151.76	c 9804
152.16	o 32898
152.16	c 9801
152.53	o 32905
152.53	c 9794
152.90	o 32912
152.90	c 9787
153.21	o 32931
153.21	c 9768
153.61	o 32938
153.61	c 9761
154.00	o 32944
154.00	c 9755
154.43	o 32947
154.43	c 9752
154.81	o 32951
154.81	c 9748
155.16	o 32955
155.16	c 9744
155.55	o 32959
155.55	c 9740
155.97	o 32963
155.97	c 9736
156.32	o 32964
156.32	c 9735
156.70	o 32967
156.70	c 9732
157.05	o 32976
157.05	c 9723
157.42	o 32979
157.42	c 9720
157.84	o 32981
157.84	c 9718
158.24	o 32983
158.24	c 9716
158.77	o 32985
158.77	c 9714
159.31	o 32987
159.31	c 9712
159.66	o 32989
159.66	c 9710
160.05	o 32991
160.05	c 9708
160.39	o 32992
160.39	c 9707
160.76	o 32993
160.76	c 9706
161.25	o 32994
161.25	c 9705
161.64	o 32995
161.64	c 9704
162.12	o 32996
162.12	c 9703
163.83	o 33008
163.83	c 9691
164.21	o 33016
164.21	c 9683
164.78	o 33019
164.78	c 9680
165.26	o 33027
165.26	c 9672
165.72	o 33040
165.72	c 9659
166.15	o 33056
166.15	c 9643
166.62	o 33061
166.62	c 9638
167.60	o 33068
167.60	c 9631
168.13	o 33075
168.13	c 9624
168.66	o 33079
168.66	c 9620
169.28	o 33088
169.28	c 9611
169.77	o 33096
169.77	c 9603
170.26	o 33107
170.26	c 9592
171.10	o 33112
171.10	c 9587
171.51	o 33124
171.51	c 9575
171.85	o 33126
171.85	c 9573
172.26	o 33130
172.26	c 9569
172.71	o 33134
172.71	c 9565
173.20	o 33147
173.20	c 9552
174.02	o 33148
174.02	c 9551
174.45	o 33155
174.45	c 9544
174.93	o 33161
174.93	c 9538
175.78	o 33166
175.78	c 9533
176.23	o 33172
176.23	c 9527
176.64	o 33177
176.64	c 9522
177.43	o 33182
177.43	c 9517
177.85	o 33203
177.85	c 9496
178.29	o 33208
178.29	c 9491
178.73	o 33214
178.73	c 9485
179.17	o 33218
179.17	c 9481
179.54	o 33221
179.54	c 9478
179.89	o 33224
179.89	c 9475
180.29	o 33227
180.29	c 9472
180.69	o 33230
180.69	c 9469
181.11	o 33233
181.11	c 9466
181.50	o 33235
181.50	c 9464
181.91	o 33237
181.91	c 9462
182.37	o 33239
182.37	c 9460
182.83	o 33241
182.83	c 9458
183.29	o 33242
183.29	c 9457
183.84	o 33243
183.84	c 9456
184.27	o 33244
184.27	c 9455
184.77	o 33245
184.77	c 9454
185.21	o 33254
185.21	c 9445
188.43	o 33260
188.43	c 9439
188.88	o 33263
188.88	c 9436
189.39	o 33277
189.39	c 9422
190.27	o 33286
190.27	c 9413
191.21	o 33292
191.21	c 9407
191.66	o 33299
191.66	c 9400
192.18	o 33305
192.18	c 9394
192.62	o 33308
192.62	c 9391
193.08	o 33310
193.08	c 9389
193.53	o 33319
193.53	c 9380
194.70	o 33328
194.70	c 9371
195.28	o 33336
195.28	c 9363
196.95	o 33337
196.95	c 9362
197.41	o 33340
197.41	c 9359
197.89	o 33349
197.89	c 9350
198.38	o 33360
198.38	c 9339
198.95	o 33361
198.95	c 9338
199.47	o 33370
199.47	c 9329
199.97	o 33381
199.97	c 9318
200.50	o 33389
200.50	c 9310
201.08	o 33394
201.08	c 9305
201.70	o 33399
201.70	c 9300
202.26	o 33403
202.26	c 9296
202.85	o 33407
202.85	c 9292
203.46	o 33411
203.46	c 9288
204.05	o 33412
204.05	c 9287
204.66	o 33416
204.66	c 9283
205.22	o 33420
205.22	c 9279
205.83	o 33424
205.83	c 9275
206.42	o 33427
206.42	c 9272
207.01	o 33430
207.01	c 9269
207.64	o 33433
207.64	c 9266
208.28	o 33435
208.28	c 9264
208.90	o 33437
208.90	c 9262
209.49	o 33439
209.49	c 9260
210.02	o 33445
210.02	c 9254
210.62	o 33452
210.62	c 9247
211.14	o 33462
211.14	c 9237
212.15	o 33465
212.15	c 9234
212.62	o 33467
212.62	c 9232
213.16	o 33469
213.16	c 9230
213.62	o 33470
213.62	c 9229
214.08	o 33471
214.08	c 9228
216.90	o 33474
216.90	c 9225
217.37	o 33490
217.37	c 9209
217.93	o 33493
217.93	c 9206
218.50	o 33494
218.50	c 9205
219.01	o 33504
219.01	c 9195
219.45	o 33510
219.45	c 9189
220.03	o 33523
220.03	c 9176
220.51	o 33525
220.51	c 9174
221.04	o 33528
221.04	c 9171
222.70	o 33529
222.70	c 9170
223.82	o 33536
223.82	c 9163
224.31	o 33539
224.31	c 9160
226.12	o 33540
226.13	c 9159
226.78	o 33554
226.78	c 9145
227.30	o 33562
227.30	c 9137
227.86	o 33566
227.87	c 9133
228.37	o 33567
228.37	c 9132
228.87	o 33570
228.87	c 9129
229.45	o 33573
229.45	c 9126
230.07	o 33578
230.07	c 9121
230.70	o 33583
230.70	c 9116
233.11	o 33585
233.11	c 9114
233.74	o 33593
233.74	c 9106
234.36	o 33600
234.36	c 9099
234.99	o 33607
234.99	c 9092
235.59	o 33610
235.59	c 9089
236.23	o 33616
236.23	c 9083
237.49	o 33621
237.49	c 9078
238.11	o 33626
238.11	c 9073
238.75	o 33629
238.75	c 9070
239.38	o 33634
239.38	c 9065
240.04	o 33638
240.04	c 9061
240.67	o 33642
240.67	c 9057
241.36	o 33650
241.36	c 9049
241.97	o 33654
241.97	c 9045
242.68	o 33663
242.68	c 9036
243.40	o 33667
243.40	c 9032
244.03	o 33670
244.03	c 9029
244.70	o 33673
244.70	c 9026
245.37	o 33675
245.37	c 9024
246.03	o 33677
246.03	c 9022
246.69	o 33679
246.69	c 9020
247.96	o 33681
247.96	c 9018
248.60	o 33683
248.60	c 9016
249.29	o 33692
249.29	c 9007
249.92	o 33695
249.92	c 9004
250.54	o 33697
250.54	c 9002
251.06	o 33702
251.06	c 8997
251.56	o 33704
251.56	c 8995
252.05	o 33706
252.05	c 8993
252.59	o 33708
252.59	c 8991
253.17	o 33709
253.17	c 8990
253.68	o 33710
253.68	c 8989
254.26	o 33716
254.26	c 8983
254.66	o 33721
254.66	c 8978
255.03	o 33728
255.03	c 8971
255.39	o 33736
255.39	c 8963
255.78	o 33737
255.78	c 8962
256.21	o 33738
256.21	c 8961
256.59	o 33739
256.59	c 8960
257.05	o 33740
257.05	c 8959
257.58	o 33741
257.58	c 8958
258.06	o 33742
258.06	c 8957
258.48	o 33743
258.48	c 8956
262.23	o 33747
262.23	c 8952
262.69	o 33754
262.69	c 8945
263.26	o 33758
263.26	c 8941
263.81	o 33762
263.81	c 8937
264.39	o 33770
264.39	c 8929
264.99	o 33782
264.99	c 8917
265.62	o 33789
265.62	c 8910
266.18	o 33800
266.18	c 8899
266.70	o 33811
266.70	c 8888
267.27	o 33825
267.27	c 8874
267.87	o 33832
267.87	c 8867
268.49	o 33839
268.49	c 8860
269.12	o 33844
269.12	c 8855
270.39	o 33845
270.39	c 8854
271.01	o 33850
271.01	c 8849
271.69	o 33857
271.69	c 8842
272.34	o 33861
272.34	c 8838
273.65	o 33868
273.65	c 8831
274.91	o 33873
274.91	c 8826
275.49	o 33879
275.49	c 8820
276.10	o 33882
276.10	c 8817
276.72	o 33891
276.72	c 8808
277.23	o 33899
277.23	c 8800
278.28	o 33909
278.28	c 8790
278.74	o 33918
278.74	c 8781
279.23	o 33919
279.23	c 8780
279.73	o 33929
279.73	c 8770
280.27	o 33933
280.27	c 8766
280.77	o 33942
280.77	c 8757
281.30	o 33949
281.30	c 8750
281.77	o 33958
281.77	c 8741
282.18	o 33963
282.18	c 8736
282.58	o 33965
282.58	c 8734
282.98	o 33969
282.98	c 8730
283.92	o 33970
283.92	c 8729
284.37	o 33975
284.37	c 8724
284.80	o 33983
284.80	c 8716
285.26	o 33985
285.26	c 8714
285.71	o 34003
285.71	c 8696
286.67	o 34007
286.67	c 8692
287.10	o 34008
287.10	c 8691
287.60	o 34012
287.60	c 8687
288.15	o 34015
288.15	c 8684
288.69	o 34016
288.69	c 8683
289.20	o 34020
289.20	c 8679
290.26	o 34022
290.26	c 8677
290.83	o 34033
290.83	c 8666
291.41	o 34040
291.41	c 8659
291.95	o 34052
291.95	c 8647
292.91	o 34058
292.91	c 8641
293.46	o 34059
293.46	c 8640
293.99	o 34065
293.99	c 8634
294.97	o 34071
294.97	c 8628
295.49	o 34072
295.49	c 8627
296.04	o 34076
296.04	c 8623
296.54	o 34080
296.54	c 8619
297.08	o 34087
297.08	c 8612
298.23	o 34093
298.23	c 8606
298.76	o 34098
298.76	c 8601
299.28	o 34102
299.28	c 8597
299.89	o 34106
299.89	c 8593
300.57	o 34109
300.57	c 8590
301.10	o 34112
301.10	c 8587
301.68	o 34114
301.68	c 8585
302.31	o 34116
302.31	c 8583
302.91	o 34118
302.91	c 8581
303.52	o 34120
303.52	c 8579
304.64	o 34121
304.64	c 8578
306.19	o 34122
306.19	c 8577
306.74	o 34123
306.74	c 8576
307.40	o 34124
307.40	c 8575
307.91	o 34125
307.91	c 8574
308.48	o 34126
308.48	c 8573
309.07	o 34127
309.07	c 8572
311.93	o 34131
311.93	c 8568
313.22	o 34133
313.22	c 8566
313.86	o 34153
313.86	c 8546
315.10	o 34154
315.10	c 8545
315.71	o 34156
315.71	c 8543
316.43	o 34163
316.43	c 8536
317.06	o 34168
317.06	c 8531
317.68	o 34169
317.68	c 8530
318.93	o 34172
318.93	c 8527
319.49	o 34184
319.49	c 8515
320.07	o 34194
320.07	c 8505
320.61	o 34199
320.61	c 8500
321.15	o 34207
321.15	c 8492
321.70	o 34209
321.70	c 8490
322.22	o 34212
322.22	c 8487
324.89	o 34215
324.89	c 8484
325.51	o 34218
325.51	c 8481
326.05	o 34224
326.05	c 8475
326.65	o 34225
326.65	c 8474
327.21	o 34238
327.21	c 8461
328.27	o 34239
328.27	c 8460
328.90	o 34243
328.90	c 8456
329.55	o 34252
329.55	c 8447
330.78	o 34254
330.78	c 8445
331.33	o 34256
331.33	c 8443
331.87	o 34261
331.87	c 8438
332.47	o 34265
332.47	c 8434
333.08	o 34268
333.08	c 8431
334.32	o 34270
334.32	c 8429
334.90	o 34273
334.90	c 8426
337.31	o 34274
337.31	c 8425
338.02	o 34279
338.02	c 8420
338.69	o 34280
338.69	c 8419
339.39	o 34285
339.39	c 8414
340.04	o 34288
340.04	c 8411
340.77	o 34292
340.77	c 8407
341.54	o 34293
341.54	c 8406
342.28	o 34296
342.28	c 8403
343.06	o 34301
343.06	c 8398
343.83	o 34308
343.83	c 8391
344.62	o 34311
344.62	c 8388
345.38	o 34312
345.38	c 8387
346.19	o 34314
346.19	c 8385
346.96	o 34322
346.96	c 8377
347.73	o 34329
347.73	c 8370
348.54	o 34331
348.54	c 8368
349.36	o 34334
349.36	c 8365
350.12	o 34336
350.12	c 8363
351.71	o 34342
351.71	c 8357
352.49	o 34343
352.49	c 8356
354.05	o 34344
354.05	c 8355
354.90	o 34347
354.90	c 8352
355.73	o 34350
355.73	c 8349
356.59	o 34351
356.59	c 8348
358.23	o 34354
358.23	c 8345
359.10	o 34355
359.10	c 8344
361.75	o 34357
361.76	c 8342
363.62	o 34359
363.62	c 8340
364.60	o 34361
364.60	c 8338
365.56	o 34363
365.56	c 8336
366.50	o 34365
366.50	c 8334
367.47	o 34367
367.47	c 8332
369.30	o 34368
369.30	c 8331
370.30	o 34369
370.30	c 8330
371.25	o 34370
371.25	c 8329
372.19	o 34371
372.19	c 8328
376.87	o 34374
376.87	c 8325
377.75	o 34383
377.75	c 8316
379.62	o 34385
379.62	c 8314
382.24	o 34394
382.24	c 8305
383.26	o 34403
383.26	c 8296
384.13	o 34404
384.13	c 8295
386.87	o 34409
386.87	c 8290
387.86	o 34416
387.86	c 8283
388.69	o 34423
388.69	c 8276
389.46	o 34424
389.46	c 8275
390.41	o 34427
390.41	c 8272
391.17	o 34428
391.17	c 8271
391.96	o 34434
391.96	c 8265
392.83	o 34438
392.83	c 8261
393.67	o 34443
393.67	c 8256
394.47	o 34446
394.47	c 8253
396.14	o 34450
396.14	c 8249
397.01	o 34454
397.01	c 8245
400.37	o 34458
400.37	c 8241
401.14	o 34465
401.14	c 8234
404.52	o 34466
404.52	c 8233
405.35	o 34467
405.35	c 8232
406.19	o 34472
406.19	c 8227
406.96	o 34473
406.96	c 8226
407.80	o 34475
407.80	c 8224
408.59	o 34480
408.59	c 8219
409.40	o 34484
409.40	c 8215
410.23	o 34491
410.23	c 8208
411.08	o 34492
411.08	c 8207
413.63	o 34495
413.63	c 8204
414.41	o 34500
414.41	c 8199
415.05	o 34506
415.05	c 8193
415.83	o 34511
415.83	c 8188
417.40	o 34517
417.40	c 8182
418.21	o 34519
418.21	c 8180
419.78	o 34524
419.78	c 8175
422.95	o 34527
422.95	c 8172
423.68	o 34528
423.68	c 8171
424.40	o 34533
424.40	c 8166
425.85	o 34540
425.85	c 8159
426.59	o 34548
426.59	c 8151
427.49	o 34549
427.49	c 8150
428.37	o 34550
428.37	c 8149
429.20	o 34558
429.20	c 8141
430.01	o 34560
430.01	c 8139
433.46	o 34567
433.46	c 8132
437.62	o 34572
437.62	c 8127
439.43	o 34573
439.43	c 8126
440.34	o 34578
440.34	c 8121
441.99	o 34580
441.99	c 8119
442.80	o 34583
442.80	c 8116
443.71	o 34589
443.71	c 8110
445.56	o 34591
445.56	c 8108
446.44	o 34594
446.44	c 8105
448.19	o 34596
448.19	c 8103
449.02	o 34600
449.02	c 8099
449.96	o 34605
449.96	c 8094
450.94	o 34606
450.94	c 8093
451.94	o 34610
451.94	c 8089
452.92	o 34611
452.92	c 8088
453.94	o 34618
453.94	c 8081
454.93	o 34623
454.93	c 8076
456.01	o 34629
456.01	c 8070
457.02	o 34632
457.02	c 8067
458.12	o 34637
458.12	c 8062
459.30	o 34642
459.30	c 8057
460.40	o 34646
460.40	c 8053
461.50	o 34650
461.50	c 8049
462.63	o 34654
462.63	c 8045
463.76	o 34657
463.76	c 8042
464.90	o 34659
464.90	c 8040
466.09	o 34661
466.09	c 8038
467.25	o 34663
467.25	c 8036
468.42	o 34665
468.42	c 8034
469.55	o 34666
469.55	c 8033
470.69	o 34683
470.69	c 8016
471.76	o 34685
471.76	c 8014
472.88	o 34686
472.89	c 8013
475.16	o 34689
475.16	c 8010
476.33	o 34691
476.33	c 8008
477.40	o 34697
477.40	c 8002
484.80	o 34699
484.80	c 8000
488.16	o 34702
488.16	c 7997
491.41	o 34705
491.42	c 7994
492.62	o 34706
492.62	c 7993
493.77	o 34712
493.77	c 7987
494.90	o 34719
494.90	c 7980
495.91	o 34728
495.91	c 7971
496.93	o 34730
496.93	c 7969
497.99	o 34734
497.99	c 7965
499.02	o 34738
499.02	c 7961
514.92	o 34743
514.92	c 7956
515.94	o 34746
515.94	c 7953
516.91	o 34751
516.91	c 7948
517.90	o 34754
517.90	c 7945
518.89	o 34765
518.89	c 7934
525.64	o 34768
525.64	c 7931
526.56	o 34770
526.56	c 7929
527.43	o 34775
527.43	c 7924
528.32	o 34779
528.32	c 7920
530.25	o 34787
530.25	c 7912
535.62	o 34788
535.62	c 7911
537.29	o 34790
537.29	c 7909
538.13	o 34791
538.13	c 7908
539.03	o 34801
539.03	c 7898
539.98	o 34805
539.98	c 7894
541.68	o 34808
541.68	c 7891
542.55	o 34822
542.55	c 7877
543.44	o 34825
543.44	c 7874
548.82	o 34830
548.82	c 7869
549.73	o 34837
549.73	c 7862
550.75	o 34845
550.75	c 7854
551.74	o 34846
551.74	c 7853
552.61	o 34850
552.61	c 7849
553.53	o 34856
553.53	c 7843
556.53	o 34857
556.53	c 7842
557.50	o 34860
557.50	c 7839
558.47	o 34861
558.47	c 7838
559.46	o 34866
559.46	c 7833
560.41	o 34870
560.41	c 7829
561.36	o 34876
561.36	c 7823
562.31	o 34877
562.31	c 7822
563.27	o 34888
563.27	c 7811
565.26	o 34890
565.26	c 7809
573.85	o 34894
573.85	c 7805
574.88	o 34895
574.88	c 7804
579.89	o 34897
579.90	c 7802
580.95	o 34900
580.95	c 7799
582.01	o 34902
582.01	c 7797
583.06	o 34906
583.06	c 7793
584.04	o 34912
584.04	c 7787
585.10	o 34917
585.10	c 7782
586.16	o 34919
586.16	c 7780
587.24	o 34925
587.24	c 7774
589.33	o 34929
589.33	c 7770
590.45	o 34934
590.45	c 7765
592.57	o 34941
592.57	c 7758
593.73	o 34943
593.73	c 7756
594.87	o 34946
594.87	c 7753
596.04	o 34952
596.04	c 7747
597.25	o 34954
597.25	c 7745
598.48	o 34959
598.48	c 7740
600.73	o 34962
600.73	c 7737
601.83	o 34966
601.83	c 7733
604.07	o 34967
604.07	c 7732
605.22	o 34974
605.22	c 7725
607.62	o 34980
607.62	c 7719
609.96	o 34981
609.96	c 7718
611.16	o 34985
611.16	c 7714
612.38	o 34991
612.38	c 7708
614.89	o 34994
614.89	c 7705
616.14	o 35003
616.14	c 7696
621.73	o 35004
621.73	c 7695
622.83	o 35012
622.83	c 7687
623.93	o 35017
623.93	c 7682
626.96	o 35018
626.96	c 7681
628.00	o 35021
628.00	c 7678
629.15	o 35022
629.16	c 7677
630.18	o 35024
630.18	c 7675
631.21	o 35025
631.21	c 7674
641.57	o 35028
641.57	c 7671
642.41	o 35033
642.41	c 7666
643.28	o 35035
643.28	c 7664
645.00	o 35038
645.00	c 7661
648.56	o 35041
648.56	c 7658
649.43	o 35045
649.43	c 7654
650.21	o 35052
650.21	c 7647
651.16	o 35054
651.16	c 7645
652.00	o 35058
652.00	c 7641
652.84	o 35070
652.84	c 7629
653.68	o 35073
653.68	c 7626
654.49	o 35078
654.49	c 7621
656.18	o 35079
656.18	c 7620
657.05	o 35081
657.05	c 7618
657.93	o 35085
657.93	c 7614
659.71	o 35089
659.71	c 7610
676.76	o 35090
676.76	c 7609
677.74	o 35097
677.74	c 7602
678.72	o 35101
678.72	c 7598
679.65	o 35102
679.65	c 7597
680.61	o 35105
680.61	c 7594
681.58	o 35106
681.58	c 7593
682.59	o 35108
682.59	c 7591
683.60	o 35113
683.60	c 7586
686.65	o 35119
686.65	c 7580
687.73	o 35121
687.73	c 7578
688.71	o 35123
688.71	c 7576
689.60	o 35127
689.60	c 7572
690.56	o 35131
690.56	c 7568
691.55	o 35132
691.55	c 7567
692.52	o 35139
692.52	c 7560
693.47	o 35141
693.47	c 7558
694.30	o 35148
694.30	c 7551
695.23	o 35157
695.23	c 7542
696.30	o 35162
696.30	c 7537
698.42	o 35166
698.42	c 7533
700.35	o 35169
700.35	c 7530
701.28	o 35173
701.28	c 7526
702.25	o 35179
702.25	c 7520
703.21	o 35183
703.21	c 7516
704.17	o 35184
704.17	c 7515
705.21	o 35187
705.21	c 7512
710.58	o 35202
710.58	c 7497
711.63	o 35206
711.63	c 7493
712.67	o 35212
712.67	c 7487
713.72	o 35215
713.72	c 7484
714.83	o 35219
714.83	c 7480
715.93	o 35224
715.93	c 7475
717.01	o 35231
717.01	c 7468
718.10	o 35233
718.10	c 7466
719.21	o 35234
719.21	c 7465
720.25	o 35239
720.25	c 7460
722.38	o 35245
722.38	c 7454
723.42	o 35248
723.42	c 7451
725.85	o 35253
725.85	c 7446
727.02	o 35256
727.02	c 7443
728.28	o 35265
728.28	c 7434
729.49	o 35272
729.49	c 7427
734.10	o 35274
734.10	c 7425
735.43	o 35276
735.43	c 7423
736.61	o 35277
736.61	c 7422
737.76	o 35282
737.76	c 7417
738.84	o 35288
738.84	c 7411
740.06	o 35294
740.06	c 7405
743.51	o 35295
743.51	c 7404
744.64	o 35296
744.64	c 7403
745.78	o 35299
745.78	c 7400
746.95	o 35300
746.95	c 7399
748.10	o 35304
748.10	c 7395
749.27	o 35305
749.27	c 7394
750.48	o 35310
750.48	c 7389
752.81	o 35311
752.81	c 7388
754.01	o 35313
754.01	c 7386
755.19	o 35316
755.19	c 7383
756.43	o 35321
756.43	c 7378
757.56	o 35326
757.56	c 7373
758.69	o 35329
758.69	c 7370
761.10	o 35332
761.10	c 7367
762.16	o 35338
762.16	c 7361
763.29	o 35342
763.29	c 7357
764.43	o 35348
764.43	c 7351
766.77	o 35351
766.77	c 7348
768.00	o 35356
768.00	c 7343
773.79	o 35371
773.79	c 7328
774.94	o 35372
774.95	c 7327
776.06	o 35373
776.07	c 7326
777.21	o 35376
777.21	c 7323
778.37	o 35380
778.37	c 7319
779.48	o 35387
779.48	c 7312
788.44	o 35390
788.44	c 7309
789.55	o 35391
789.55	c 7308
790.74	o 35393
790.74	c 7306
791.92	o 35400
791.92	c 7299
794.26	o 35402
794.26	c 7297
795.47	o 35406
795.47	c 7293
796.63	o 35412
796.63	c 7287
797.75	o 35420
797.75	c 7279
799.02	o 35424
799.02	c 7275
800.11	o 35430
800.11	c 7269
801.35	o 35433
801.35	c 7266
802.47	o 35435
802.47	c 7264
805.80	o 35436
805.80	c 7263
806.95	o 35437
806.95	c 7262
808.10	o 35442
808.10	c 7257
809.41	o 35445
809.41	c 7254
810.57	o 35448
810.57	c 7251
813.01	o 35449
813.01	c 7250
814.22	o 35452
814.22	c 7247
815.45	o 35453
815.45	c 7246
816.72	o 35475
816.72	c 7224
817.88	o 35481
817.88	c 7218
819.12	o 35486
819.12	c 7213
820.38	o 35487
820.38	c 7212
821.62	o 35488
821.62	c 7211
822.93	o 35489
822.93	c 7210
827.88	o 35490
827.88	c 7209
830.53	o 35505
830.53	c 7194
831.74	o 35506
831.74	c 7193
833.08	o 35509
833.08	c 7190
834.39	o 35512
834.39	c 7187
836.95	o 35516
836.95	c 7183
839.44	o 35520
839.44	c 7179
840.64	o 35521
840.64	c 7178
841.87	o 35528
841.87	c 7171
843.05	o 35543
843.05	c 7156
844.23	o 35547
844.23	c 7152
845.36	o 35550
845.36	c 7149
846.53	o 35555
846.53	c 7144
847.81	o 35556
847.81	c 7143
850.17	o 35562
850.17	c 7137
853.78	o 35563
853.78	c 7136
855.06	o 35566
855.06	c 7133
856.25	o 35569
856.25	c 7130
857.42	o 35576
857.42	c 7123
859.86	o 35577
859.86	c 7122
861.00	o 35579
861.00	c 7120
862.17	o 35597
862.17	c 7102
863.33	o 35601
863.33	c 7098
864.44	o 35602
864.44	c 7097
865.51	o 35604
865.51	c 7095
866.73	o 35605
866.73	c 7094
867.83	o 35612
867.83	c 7087
874.28	o 35614
874.28	c 7085
875.36	o 35615
875.36	c 7084
876.52	o 35623
876.52	c 7076
877.57	o 35628
877.57	c 7071
879.82	o 35630
879.82	c 7069
882.15	o 35635
882.15	c 7064
883.24	o 35636
883.24	c 7063
884.38	o 35637
884.38	c 7062
885.58	o 35640
885.58	c 7059
886.80	o 35641
886.80	c 7058
888.19	o 35645
888.19	c 7054
889.30	o 35651
889.30	c 7048
890.61	o 35653
890.61	c 7046
891.84	o 35654
891.84	c 7045
893.01	o 35655
893.01	c 7044
894.24	o 35656
894.24	c 7043
895.52	o 35659
895.52	c 7040
903.82	o 35664
903.82	c 7035
905.01	o 35667
905.01	c 7032
906.18	o 35669
906.18	c 7030
907.50	o 35671
907.50	c 7028
911.04	o 35673
911.04	c 7026
914.54	o 35674
914.54	c 7025
915.79	o 35678
915.79	c 7021
916.75	o 35680
916.75	c 7019
917.97	o 35687
917.97	c 7012
919.10	o 35692
919.10	c 7007
920.38	o 35694
920.38	c 7005
921.54	o 35695
921.54	c 7004
922.90	o 35700
922.90	c 6999
924.17	o 35704
924.17	c 6995
925.41	o 35707
925.41	c 6992
927.84	o 35712
927.84	c 6987
929.05	o 35717
929.05	c 6982
931.47	o 35720
931.47	c 6979
932.70	o 35727
932.70	c 6972
933.92	o 35729
933.92	c 6970
935.23	o 35732
935.23	c 6967
936.52	o 35737
936.52	c 6962
937.83	o 35744
937.83	c 6955
939.14	o 35751
939.14	c 6948
945.53	o 35754
945.53	c 6945
946.78	o 35774
946.78	c 6925
947.99	o 35780
947.99	c 6919
949.20	o 35782
949.20	c 6917
951.79	o 35784
951.79	c 6915
953.14	o 35789
953.14	c 6910
954.40	o 35790
954.40	c 6909
957.07	o 35795
957.07	c 6904
958.37	o 35799
958.37	c 6900
959.64	o 35801
959.64	c 6898
960.97	o 35803
960.97	c 6896
962.37	o 35804
962.37	c 6895
963.72	o 35807
963.72	c 6892
969.27	o 35811
969.27	c 6888
970.68	o 35814
970.68	c 6885
973.42	o 35818
973.42	c 6881
974.81	o 35821
974.81	c 6878
977.80	o 35823
977.80	c 6876
978.92	o 35826
978.92	c 6873
980.43	o 35830
980.43	c 6869
983.46	o 35833
983.46	c 6866
984.94	o 35834
984.94	c 6865
986.43	o 35835
986.43	c 6864
987.95	o 35839
987.95	c 6860
991.11	o 35842
991.11	c 6857
992.65	o 35847
992.65	c 6852
994.14	o 35854
994.14	c 6845
995.66	o 35859
995.66	c 6840
997.27	o 35861
997.27	c 6838
998.83	o 35864
998.83	c 6835
1000.48	o 35866
1000.48	c 6833
1002.00	o 35875
1002.00	c 6824
1003.46	o 35878
1003.46	c 6821
1005.01	o 35881
1005.01	c 6818
1006.55	o 35884
1006.55	c 6815
1008.09	o 35888
1008.09	c 6811
1009.69	o 35891
1009.69	c 6808
1012.71	o 35896
1012.71	c 6803
1016.87	o 35911
1016.87	c 6788
1018.20	o 35920
1018.20	c 6779
1019.54	o 35926
1019.54	c 6773
1022.01	o 35927
1022.01	c 6772
1023.37	o 35929
1023.37	c 6770
1026.13	o 35933
1026.13	c 6766
1027.51	o 35938
1027.51	c 6761
1028.96	o 35944
1028.96	c 6755
1030.37	o 35949
1030.37	c 6750
1031.82	o 35951
1031.82	c 6748
1034.79	o 35953
1034.79	c 6746
1039.37	o 35955
1039.37	c 6744
1044.00	o 35959
1044.00	c 6740
1047.12	o 35960
1047.13	c 6739
1052.04	o 35962
1052.04	c 6737
1053.71	o 35969
1053.71	c 6730
1055.43	o 35973
1055.43	c 6726
1057.02	o 35974
1057.02	c 6725
1058.63	o 35975
1058.63	c 6724
1059.61	o 35983
1059.61	c 6716
1061.37	o 35989
1061.37	c 6710
1066.52	o 35990
1066.52	c 6709
1068.25	o 35994
1068.25	c 6705
1070.03	o 35999
1070.03	c 6700
1071.96	o 36015
1071.96	c 6684
1073.82	o 36019
1073.82	c 6680
1075.66	o 36023
1075.66	c 6676
1077.47	o 36030
1077.47	c 6669
1079.29	o 36033
1079.29	c 6666
1082.33	o 36038
1082.33	c 6661
1085.71	o 36041
1085.71	c 6658
1087.46	o 36047
1087.46	c 6652
1089.31	o 36050
1089.31	c 6649
1091.14	o 36054
1091.14	c 6645
1093.01	o 36057
1093.01	c 6642
1094.86	o 36061
1094.86	c 6638
1098.55	o 36068
1098.55	c 6631
1100.42	o 36076
1100.42	c 6623
1102.31	o 36081
1102.31	c 6618
1104.21	o 36086
1104.21	c 6613
1106.12	o 36091
1106.12	c 6608
1107.98	o 36094
1107.98	c 6605
1111.75	o 36100
1111.75	c 6599
1143.53	o 36116
1143.53	c 6583
1158.14	o 36126
1158.14	c 6573
1159.83	o 36131
1159.83	c 6568
1161.58	o 36139
1161.58	c 6560
1163.27	o 36141
1163.27	c 6558
1165.09	o 36146
1165.09	c 6553
1168.61	o 36151
1168.61	c 6548
1170.40	o 36156
1170.40	c 6543
1172.18	o 36159
1172.18	c 6540
1173.91	o 36162
1173.91	c 6537
1175.71	o 36164
1175.71	c 6535
1177.49	o 36168
1177.49	c 6531
1179.33	o 36169
1179.33	c 6530
1181.09	o 36172
1181.09	c 6527
1182.92	o 36176
1182.92	c 6523
1184.75	o 36181
1184.75	c 6518
1186.55	o 36185
1186.55	c 6514
1188.38	o 36189
1188.38	c 6510
1190.21	o 36192
1190.21	c 6507
1192.04	o 36193
1192.04	c 6506
1193.81	o 36199
1193.81	c 6500
1195.62	o 36206
1195.62	c 6493
1197.44	o 36208
1197.44	c 6491
1199.30	o 36211
1199.30	c 6488
1206.84	o 36216
1206.84	c 6483
1210.48	o 36217
1210.48	c 6482
1214.22	o 36220
1214.23	c 6479
1216.13	o 36227
1216.13	c 6472
1218.03	o 36229
1218.03	c 6470
1219.85	o 36233
1219.85	c 6466
1221.66	o 36237
1221.66	c 6462
1223.56	o 36238
1223.56	c 6461
1236.90	o 36250
1236.90	c 6449
1238.71	o 36253
1238.71	c 6446
1242.34	o 36254
1242.34	c 6445
1244.02	o 36262
1244.02	c 6437
1245.75	o 36265
1245.75	c 6434
1247.63	o 36267
1247.63	c 6432
1249.38	o 36268
1249.38	c 6431
1251.16	o 36270
1251.16	c 6429
1252.98	o 36275
1252.98	c 6424
1254.84	o 36289
1254.84	c 6410
1256.66	o 36292
1256.66	c 6407
1258.40	o 36294
1258.40	c 6405
1260.17	o 36299
1260.17	c 6400
1263.88	o 36304
1263.88	c 6395
1265.70	o 36306
1265.70	c 6393
1267.58	o 36317
1267.58	c 6382
1277.58	o 36319
1277.58	c 6380
1279.39	o 36321
1279.39	c 6378
1282.83	o 36322
1282.83	c 6377
1284.53	o 36323
1284.53	c 6376
1286.21	o 36325
1286.21	c 6374
1287.95	o 36328
1287.95	c 6371
1293.16	o 36334
1293.16	c 6365
1294.91	o 36338
1294.91	c 6361
1296.33	o 36347
1296.33	c 6352
1298.03	o 36352
1298.03	c 6347
1299.71	o 36354
1299.71	c 6345
1303.04	o 36357
1303.04	c 6342
1304.55	o 36362
1304.55	c 6337
1306.10	o 36371
1306.10	c 6328
1307.74	o 36373
1307.74	c 6326
1309.40	o 36377
1309.40	c 6322
1310.28	o 36383
1310.28	c 6316
1312.01	o 36389
1312.01	c 6310
1313.65	o 36393
1313.65	c 6306
1315.28	o 36394
1315.28	c 6305
1316.84	o 36397
1316.84	c 6302
1318.45	o 36402
1318.45	c 6297
1320.06	o 36404
1320.06	c 6295
1321.66	o 36424
1321.66	c 6275
1326.38	o 36428
1326.38	c 6271
1327.93	o 36432
1327.93	c 6267
1329.46	o 36435
1329.46	c 6264
1330.93	o 36439
1330.93	c 6260
1332.44	o 36443
1332.44	c 6256
1333.99	o 36447
1333.99	c 6252
1340.37	o 36450
1340.37	c 6249
1341.88	o 36451
1341.88	c 6248
1343.40	o 36455
1343.40	c 6244
1344.92	o 36459
1344.92	c 6240
1346.46	o 36463
1346.46	c 6236
1348.06	o 36466
1348.06	c 6233
1349.63	o 36467
1349.63	c 6232
1351.25	o 36471
1351.25	c 6228
1352.88	o 36477
1352.88	c 6222
1357.16	o 36478
1357.16	c 6221
1358.69	o 36483
1358.69	c 6216
1360.22	o 36488
1360.22	c 6211
1363.28	o 36491
1363.28	c 6208
1364.83	o 36495
1364.83	c 6204
1366.39	o 36500
1366.39	c 6199
1367.93	o 36502
1367.93	c 6197
1369.51	o 36509
1369.51	c 6190
1370.63	o 36516
1370.63	c 6183
1372.26	o 36519
1372.26	c 6180
1375.35	o 36525
1375.35	c 6174
1376.86	o 36529
1376.86	c 6170
1378.37	o 36533
1378.37	c 6166
1379.98	o 36537
1379.98	c 6162
1395.44	o 36555
1395.44	c 6144
1396.81	o 36557
1396.81	c 6142
1398.14	o 36559
1398.14	c 6140
1400.77	o 36560
1400.77	c 6139
1402.13	o 36565
1402.13	c 6134
1404.80	o 36567
1404.80	c 6132
1407.53	o 36570
1407.53	c 6129
1408.96	o 36575
1408.96	c 6124
1410.27	o 36578
1410.27	c 6121
1411.60	o 36580
1411.60	c 6119
1412.93	o 36585
1412.93	c 6114
1414.21	o 36589
1414.22	c 6110
1415.15	o 36592
1415.15	c 6107
1416.45	o 36598
1416.45	c 6101
1417.75	o 36600
1417.75	c 6099
1419.11	o 36602
1419.11	c 6097
1427.25	o 36604
1427.25	c 6095
1428.53	o 36607
1428.53	c 6092
1429.86	o 36608
1429.86	c 6091
1431.24	o 36612
1431.24	c 6087
1432.55	o 36614
1432.55	c 6085
1433.85	o 36615
1433.85	c 6084
1435.17	o 36618
1435.17	c 6081
1436.57	o 36620
1436.57	c 6079
1437.96	o 36624
1437.96	c 6075
1439.29	o 36629
1439.29	c 6070
1440.68	o 36631
1440.68	c 6068
1442.20	o 36634
1442.20	c 6065
1452.17	o 36645
1452.17	c 6054
1453.68	o 36652
1453.68	c 6047
1455.14	o 36654
1455.14	c 6045
1457.97	o 36657
1457.97	c 6042
1460.65	o 36663
1460.65	c 6036
1461.97	o 36664
1461.97	c 6035
1463.34	o 36666
1463.34	c 6033
1464.76	o 36670
1464.76	c 6029
1466.21	o 36675
1466.21	c 6024
1467.57	o 36676
1467.57	c 6023
1469.01	o 36682
1469.01	c 6017
1472.00	o 36683
1472.00	c 6016
1473.53	o 36684
1473.53	c 6015
1475.09	o 36691
1475.09	c 6008
1476.57	o 36697
1476.57	c 6002
1479.54	o 36700
1479.54	c 5999
1482.61	o 36701
1482.61	c 5998
1484.15	o 36703
1484.15	c 5996
1497.07	o 36706
1497.07	c 5993
1498.31	o 36711
1498.31	c 5988
1499.75	o 36715
1499.75	c 5984
1501.15	o 36717
1501.15	c 5982
1504.07	o 36718
1504.07	c 5981
1505.52	o 36723
1505.52	c 5976
1508.52	o 36726
1508.52	c 5973
1513.08	o 36727
1513.08	c 5972
1514.62	o 36728
1514.62	c 5971
1519.24	o 36731
1519.24	c 5968
1520.84	o 36734
1520.84	c 5965
1522.35	o 36747
1522.35	c 5952
1523.90	o 36751
1523.90	c 5948
1525.46	o 36769
1525.46	c 5930
1527.09	o 36772
1527.09	c 5927
1528.57	o 36777
1528.57	c 5922
1530.08	o 36781
1530.08	c 5918
1531.59	o 36783
1531.59	c 5916
1533.09	o 36787
1533.09	c 5912
1534.56	o 36789
1534.56	c 5910
1536.11	o 36791
1536.11	c 5908
1537.62	o 36795
1537.62	c 5904
1540.62	o 36797
1540.62	c 5902
1542.12	o 36798
1542.12	c 5901
1543.66	o 36802
1543.66	c 5897
1545.19	o 36804
1545.19	c 5895
1546.72	o 36809
1546.73	c 5890
1548.28	o 36814
1548.28	c 5885
1559.41	o 36817
1559.41	c 5882
1560.91	o 36819
1560.91	c 5880
1562.48	o 36820
1562.48	c 5879
1564.13	o 36822
1564.13	c 5877
1565.74	o 36828
1565.74	c 5871
1569.05	o 36831
1569.05	c 5868
1570.30	o 36835
1570.30	c 5864
1571.89	o 36837
1571.89	c 5862
1573.48	o 36854
1573.48	c 5845
1575.10	o 36855
1575.10	c 5844
1576.75	o 36859
1576.75	c 5840
1578.31	o 36864
1578.31	c 5835
1587.89	o 36865
1587.89	c 5834
1589.58	o 36870
1589.58	c 5829
1591.23	o 36875
1591.23	c 5824
1592.78	o 36876
1592.78	c 5823
1596.13	o 36877
1596.13	c 5822
1597.83	o 36879
1597.83	c 5820
1599.58	o 36880
1599.58	c 5819
1622.69	o 36882
1622.69	c 5817
1624.27	o 36886
1624.27	c 5813
1625.95	o 36889
1625.95	c 5810
1627.64	o 36894
1627.64	c 5805
1629.26	o 36897
1629.26	c 5802
1630.98	o 36905
1630.98	c 5794
1632.67	o 36910
1632.67	c 5789
1634.24	o 36913
1634.24	c 5786
1635.86	o 36917
1635.86	c 5782
1637.41	o 36920
1637.41	c 5779
1638.97	o 36922
1638.97	c 5777
1640.64	o 36939
1640.64	c 5760
1642.17	o 36947
1642.17	c 5752
1645.14	o 36950
1645.14	c 5749
1648.21	o 36955
1648.21	c 5744
1649.74	o 36959
1649.74	c 5740
1650.71	o 36962
1650.71	c 5737
1652.24	o 36965
1652.24	c 5734
1653.87	o 36966
1653.87	c 5733
1655.40	o 36971
1655.40	c 5728
1656.80	o 36975
1656.81	c 5724
1658.33	o 36979
1658.33	c 5720
1659.90	o 36982
1659.90	c 5717
1661.19	o 36986
1661.19	c 5713
1662.76	o 36990
1662.76	c 5709
1664.32	o 36993
1664.32	c 5706
1665.92	o 36994
1665.92	c 5705
1667.52	o 36995
1667.52	c 5704
1669.17	o 36998
1669.17	c 5701
1670.73	o 37002
1670.73	c 5697
1675.56	o 37004
1675.56	c 5695
1678.65	o 37022
1678.65	c 5677
1680.17	o 37023
1680.17	c 5676
1681.79	o 37024
1681.79	c 5675
1683.36	o 37028
1683.36	c 5671
1685.00	o 37031
1685.00	c 5668
1689.77	o 37036
1689.77	c 5663
1691.35	o 37041
1691.35	c 5658
1692.99	o 37043
1692.99	c 5656
1696.27	o 37047
1696.27	c 5652
1697.94	o 37049
1697.94	c 5650
1699.50	o 37052
1699.50	c 5647
1701.25	o 37057
1701.25	c 5642
1702.82	o 37065
1702.82	c 5634
1704.32	o 37069
1704.32	c 5630
1705.92	o 37071
1705.92	c 5628
1707.53	o 37072
1707.53	c 5627
1709.11	o 37073
1709.11	c 5626
1721.53	o 37075
1721.53	c 5624
1723.16	o 37076
1723.16	c 5623
1726.37	o 37077
1726.37	c 5622
1729.67	o 37080
1729.67	c 5619
1739.67	o 37082
1739.67	c 5617
1742.34	o 37086
1742.34	c 5613
1743.71	o 37089
1743.71	c 5610
1745.05	o 37092
1745.05	c 5607
1746.42	o 37096
1746.42	c 5603
1747.87	o 37101
1747.87	c 5598
1755.03	o 37102
1755.03	c 5597
1756.50	o 37106
1756.50	c 5593
1758.02	o 37107
1758.02	c 5592
1762.67	o 37108
1762.67	c 5591
1764.26	o 37109
1764.26	c 5590
1765.77	o 37110
1765.77	c 5589
1767.32	o 37114
1767.32	c 5585
1768.80	o 37121
1768.80	c 5578
1771.81	o 37125
1771.81	c 5574
1774.83	o 37129
1774.83	c 5570
1776.35	o 37132
1776.35	c 5567
1777.82	o 37134
1777.82	c 5565
1779.29	o 37140
1779.29	c 5559
1780.90	o 37141
1780.90	c 5558
1782.45	o 37147
1782.45	c 5552
1783.97	o 37154
1783.97	c 5545
1785.46	o 37156
1785.47	c 5543
1787.00	o 37160
1787.00	c 5539
1793.21	o 37167
1793.22	c 5532
1794.74	o 37171
1794.74	c 5528
1796.47	o 37174
1796.47	c 5525
1798.04	o 37179
1798.04	c 5520
1802.01	o 37181
1802.01	c 5518
1803.67	o 37184
1803.67	c 5515
1805.36	o 37189
1805.36	c 5510
1806.68	o 37190
1806.68	c 5509
1810.22	o 37191
1810.22	c 5508
1811.88	o 37194
1811.88	c 5505
1813.58	o 37197
1813.58	c 5502
1815.29	o 37201
1815.29	c 5498
1817.15	o 37206
1817.15	c 5493
1818.82	o 37207
1818.82	c 5492
1820.62	o 37212
1820.62	c 5487
1822.32	o 37215
1822.32	c 5484
1824.11	o 37219
1824.11	c 5480
1827.76	o 37222
1827.76	c 5477
1829.58	o 37225
1829.58	c 5474
1831.34	o 37227
1831.34	c 5472
1832.81	o 37231
1832.81	c 5468
1836.16	o 37235
1836.16	c 5464
1837.88	o 37239
1837.88	c 5460
1839.69	o 37241
1839.69	c 5458
1841.55	o 37242
1841.55	c 5457
1843.34	o 37243
1843.34	c 5456
1845.12	o 37244
1845.12	c 5455
1852.71	o 37247
1852.71	c 5452
1854.58	o 37249
1854.59	c 5450
1856.53	o 37250
1856.53	c 5449
1858.44	o 37253
1858.44	c 5446
1875.61	o 37255
1875.61	c 5444
1877.60	o 37257
1877.60	c 5442
1879.51	o 37260
1879.51	c 5439
1881.46	o 37262
1881.46	c 5437
1883.52	o 37266
1883.52	c 5433
1885.43	o 37267
1885.43	c 5432
1887.46	o 37268
1887.46	c 5431
1889.40	o 37269
1889.40	c 5430
1891.38	o 37270
1891.38	c 5429
1893.33	o 37272
1893.33	c 5427
1895.33	o 37273
1895.33	c 5426
1897.36	o 37277
1897.36	c 5422
1899.47	o 37281
1899.47	c 5418
1901.54	o 37289
1901.54	c 5410
1919.31	o 37291
1919.31	c 5408
1927.06	o 37293
1927.06	c 5406
1929.01	o 37301
1929.01	c 5398
1932.90	o 37307
1932.90	c 5392
1934.79	o 37325
1934.79	c 5374
1936.65	o 37329
1936.65	c 5370
1938.49	o 37332
1938.49	c 5367
1942.30	o 37335
1942.30	c 5364
1944.10	o 37337
1944.10	c 5362
1947.52	o 37341
1947.52	c 5358
1949.31	o 37344
1949.31	c 5355
1951.25	o 37348
1951.25	c 5351
1953.23	o 37349
1953.23	c 5350
1955.13	o 37352
1955.13	c 5347
1957.11	o 37356
1957.11	c 5343
1959.06	o 37360
1959.06	c 5339
1960.96	o 37362
1960.96	c 5337
1968.84	o 37366
1968.84	c 5333
1970.84	o 37370
1970.84	c 5329
1972.85	o 37375
1972.85	c 5324
1976.85	o 37377
1976.85	c 5322
1990.89	o 37378
1990.89	c 5321
1996.79	o 37379
1996.79	c 5320
2002.28	o 37381
2002.28	c 5318
2004.22	o 37384
2004.22	c 5315
2005.95	o 37391
2005.95	c 5308
2008.02	o 37394
2008.02	c 5305
2010.02	o 37396
2010.02	c 5303
2012.02	o 37401
2012.02	c 5298
2014.12	o 37407
2014.12	c 5292
2021.46	o 37412
2021.46	c 5287
2027.04	o 37415
2027.04	c 5284
2028.96	o 37418
2028.96	c 5281
2032.77	o 37423
2032.77	c 5276
2034.55	o 37424
2034.55	c 5275
2038.33	o 37428
2038.33	c 5271
2040.25	o 37435
2040.25	c 5264
2044.04	o 37436
2044.04	c 5263
2046.06	o 37437
2046.06	c 5262
2047.93	o 37439
2047.93	c 5260
2049.42	o 37445
2049.42	c 5254
2051.38	o 37451
2051.39	c 5248
2053.36	o 37456
2053.36	c 5243
2055.34	o 37462
2055.34	c 5237
2056.02	o 37465
2056.02	c 5234
2057.95	o 37470
2057.95	c 5229
2061.96	o 37471
2061.96	c 5228
2063.88	o 37475
2063.88	c 5224
2065.93	o 37476
2065.93	c 5223
2067.91	o 37481
2067.91	c 5218
2069.89	o 37483
2069.89	c 5216
2101.68	   
2101.68	   search
2101.68	     run=0  nbConstraintChecks=3430416148  nbAssignments=1863
2101.68	       =>  wckTime=2035.719  cpuTime=2016.82  mem=115M600
2101.68	   
2101.68	   global
2101.68	     nbConstraintChecks=3430416148  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2101.68	     solvingWckTime=2035.682  solvingCpuTime=2016.78  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2101.68	     globalCpuTime=2080.32
2101.68	       =>  wckTime=2101.373  cpuTime=2080.27  mem=115M600
2101.68	   
2101.68	   solver IterativeSystematicSolver being built... 
2103.39	       =>  wckTime=2103.081  cpuTime=2081.07  mem=491M138
2422.69	v -3572 2992 -2568 2544 2892 -4092 2472 3940 2200 3960 2212 -4000 -3480 2168 4060 3240 -3116 -3296 4100 2440 -2424 2540 2460 2372 -4012 -4004 3596 2484 -3248 -2644 2348 -2140 2900 2892 4000 3828 -3776 2236 2880 2780 2576 -3160 2492 3536 3536 -2516 -2228 3824 3404 2376 4020 3684 4112 -2344 2612 -3196 -4124 -3984 2572 3740 -3524 2548 2160 2160 2788 -4012 -3608 -2708 2508 -3444 3136 4060 2488 -2268 3336 3448 -2496 -2276 -2376 -2488 2480 3468 3812 -3704 -2168 2432 -3956 -3000 2560 -4092 -2920 -3532 2192 3648 -4012 4056 -3936 2160 2456 -2384 -2184 2356 4012 2688 3640 3380 -3552 2196 -4024 2148 -2144 -3692 -3300 -3776 3568 2524 -3012 2224 3968 3212 3148 -2760 -2264 2248 2268 -3432 3176 -2848 -3996 -2656 3704 -3832 -3552 -2824 3628 3960 2456 -2644 3984 2408 -2688 -3368 -2640 -3112 -4000 2468 3980 -2256 3352 -3184 3520 -4128 3108 -2208 4032 3320 -2412 -3676 -3684 -2648 2700 3956 3900 -2308 2248 2932 3612 3208 -3248 -4128 -2612 2548 -2308 2556 -3944 3536 2460 -3608 2216 3332 -2180 4012 4116 3980 -2944 -2840 3176 -2544 -3108 2728 3712 -2932 -4032 -2456 -3980 -4012 -4012 -3996 2368 -2376 4096 3368 2152 2548 -2676 -2876 -2948 3348 3960 -2960 -4100 3976 -2612 3336 3092 2408 -3552 3352 -3992 -3764 2528 4104 -3320 3936 4024 -3472 -2260 3084 4060 2376 -3988 2352 -3436 -2656 2900 -2500 3324 2164 3596 3848 2176 -3144 2496 -4004 3936 -2212 2404 3852 2396 3240 -4012 -2224 -2232 3120 -3228 -4064 -4096 -4040 -4052 2628 -2348 2544 -2348 -3188 4012 3956 -3984 4000 3992 3052 2992 -2788 -2228 -3984 2384 2520 -2480 3332 2308 2864 2176 -3708 3992 -4084 -3156 -3900 -2912 -4004 -3612 -3332 -3376 -2216 4068 -3512 3808 2156 -3508 -2368 -4056 -3968 -4124 -2780 2252 3616 -2628 3496 3312 2760 -2648 2584 2816 -3980 3924 4000 -3944 2144 3996 -3268 -3880 3124 -2140 -2292 -3384 -2196 2156 2140 2296 4132 3592 -2412 2216 -2456 -2672 -3812 -3432 -3744 3660 3912 2424 -3940 -3276 -3416 3924 4128 -2936 3516 -4028 -2504 -2536 4044 -2464 -4064 2564 -2528 -2348 -3656 -3924 2224 -3548 -2504 2544 3956 2908 -2184 2468 3468 -3972 -3984 2184 3508 -2476 -2144 2228 -2992 2916 3184 2364 -3428 4072 2172 2372 -2692 -4008 -2196 -2216 -3796 2200 -3860 -2540 2592 2196 3984 2780 -3376 2444 2280 -3140 -4132 3532 2232 3860 2840 3000 -3480 -4016 3060 -2304 2156 -3144 2400 -3972 2404 3080 -2472 -2704 2852 -3392 2528 -2172 3008 3036 -2300 -2488 -3992 -3676 3364 -2224 -3868 4000 4128 3544 2496 2668 3980 3316 -3808 -3708 2172 4012 -3680 2172 3432 4044 -2180 -3960 3816 -2260 2256 3364 3824 -2352 4076 2140 3500 -2504 3520 -3312 -2388 -3904 -3412 -2148 -3768 -4084 2500 -2596 3420 2720 2524 -2200 -2572 4000 2540 -4032 -2524 2312 -4036 -2188 -2184 -2480 -2460 -3956 -3948 -2144 4000 2712 3276 3424 3744 2744 -2428 -4120 3500 -3652 3020 -2212 -2144 3988 -2452 -2792 -3552 -2504 2444 3548 3984 2140 3876 -3472 -2644 -2192 4088 4048 4020 -2176 3948 2812 -2172 2492 -3560 -2868 -2612 -2192 2276 3992 -2200 -4108 -2248 -4016 -3924 -4048 2448 3080 2288 -2364 -3592 3336 -3984 2692 3672 -2140 2504 -2160 -3528 -3948 2948 -3668 -2744 -2524 -4012 3512 -3936 -4052 3132 3948 -3980 3996 -3360 -3256 2592 3104 -3936 2836 2872 3044 3968 3908 2600 3588 2244 -2644 3784 -2184 2932 2616 -2140 3928 3372 3856 3592 3688 2920 -3952 2140 -4016 -3840 -2808 -3120 -3160 -3616 -3628 -3444 3408 -3756 -3396 4032 4056 -4012 -3832 -2720 3004 -2560 2196 2352 -3952 3976 -3756 3676 4008 2244 -3344 -3536 -3964 3032 4024 -2148 -2172 -2672 -2200 2956 -2540 -3388 2140 -4020 -4096 -3320 3424 2488 3964 3596 -3568 -3096 3708 2160 2688 -2248 2468 -2536 -2520 2516 3572 -3640 -2500 -2312 -4040 -3712 -3768 -4036 3968 -3188 2728 -3180 -3996 -3952 -2992 3584 -2688 -2452 -2500 4080 2152 -2452 3988 2296 3388 3456 2472 3940 2396 -2204 -3360 -4028 3024 3956 -2616 2428 3532 -2168 4112 -2524 3068 -3136 -2256 2620 2212 2532 -2508 2200 3944 4120 -3252 3640 4020 -3028 3312 -3716 -3332 2276 -4012 2536 -2656 -3356 3872 4132 2716 2956 -2304 -2616 3248 2664 -3900 2788 -2428 4116 -2968 -4116 3248 3996 2392 -4016 4124 2328 -2636 -3996 -2780 2388 -3792 4032 -2760 -3356 -2160 2476 2816 3472 -4056 -4004 -3816 -4112 2256 -2616 3112 2540 -3080 2368 4100 3880 4004 -3936 -2528 4112 -3992 -2388 -2220 2460 -4076 -3956 -2920 3668 2244 -4000 -3852 4072 4060 -2516 -3700 2432 3956 2468 -4032 2820 -2336 -4052 4044 3952 2352 4088 -2664 2640 3940 4080 3980 2144 4048 2216 2412 -2140 -3952 3584 3464 -2516 2152 2488 -4120 4076 3636 -2848 3360 3700 -2652 2540 -2388 -2840 -3976 3756 -3404 -2140 -3608 2496 2172 4012 -2140 -2640 -3816 2148 3124 3612 -4028 2612 -2204 2144 -4104 2288 -2660 -3944 2708 2192 2388 -3280 3364 4048 -2212 -3944 2780 -2180 -3592 -2620 -2440 4100 -3740 2784 -3948 -2276 3920 3588 -3976 -3344 -3740 4064 3584 2996 -3784 3984 -2472 2572 2368 2152 -2896 -4128 3572 2172 -3172 3960 -4084 2460 -2192 4088 -3736 -3412 -2188 -2168 2416 3560 3188 3660 -3560 2156 -2152 -2296 -4028 -2460 -2892 -4076 3940 -2236 4036 3792 -2188 -4100 4116 4024 2552 2832 -3556 2584 3912 3932 3940 -3456 3600 -3372 3736 -2460 2964 -2416 2668 4008 3572 -3732 2712 3696 -4088 2648 -3348 3628 -4088 -2932 2340 -2632 -4084 -4028 2676 3640 2472 -3964 3648 -2364 4088 -2384 2196 2144 -3596 -2464 2256 3992 -3932 -3508 3980 2796 -2156 3960 2492 -2644 -2508 -3692 4008 -4128 4036 3692 2992 3864 -3688 3988 2852 3388 3416 -2212 -2696 -2432 -2848 -2828 -2156 -2348 2484 -3332 2784 2144 4044 -2180 4032 2428 -3336 -3420 -3160 -2144 -3796 -2212 4048 4112 -2484 -2172 -3948 -3816 -3944 4008 -2332 -2540 4088 -3356 -3416 -3968 4016 2984 3952 -2180 3016 3908 3956 4124 -2664 3972 2536 3496 2716 -2328 -2604 -2144 -3796 -3224 2356 3308 3284 2748 3832 -3636 4036 -3984 3976 -2156 2184 3884 3984 -3924 3312 2684 -2480 -2340 -2308 -3348 -3780 3972 -3156 4008 -3696 3312 -3404 -2388 3972 -2532 -3500 -2140 -2344 4112 -2364 3640 3692 -3336 3728 3960 -2536 2500 3140 -3892 2528 3120 -3268 2460 -2632 3164 -3876 3472 3544 2820 -3940 2296 -3624 4048 3972 -4116 2880 2616 -2568 -4048 -2512 -3476 -2524 -3296 2188 3832 4036 3628 3192 3712 -2604 2360 -3948 4112 4116 -2240 4080 -3452 2448 -3616 -2416 -3392 3692 -3964 2536 -2512 -4088 -2320 -2188 2184 2620 2852 3180 3996 -3948 -2344 3720 2232 -3384 2284 2876 -4040 3316 3340 -3836 2204 3640 -4108 3632 2140 3728 -3780 3992 -3792 -3408 2488 -2512 4008 -2168 -2444 -3780 -3796 3408 2908 4012 -3948 2884 2260 -4004 3772 -2184 2864 -3068 -3772 3724 -3164 -4048 4068 4032 -2512 -2148 3620 4000 -2660 3732 4036 4112 2240 3956 3600 -2512 -3940 2216 2804 -4052 -3872 2652 3048 4020 -3988 -3964 -3980 -2764 3320 2192 -4052 3968 4104 -3796 -2488 3136 2972 2160 -2168 4012 -2660 -2572 2148 -3848 2576 2248 3380 -3360 -4128 3316 -4012 -2352 -4036 4028 4064 2228 -4072 -3348 2180 -2392 3084 -2568 -3984 -3504 2284 -2172 -4124 2204 -2140 3756 -4000 -3952 3588 2456 3680 -3992 -2924 -4012 -3380 -3800 -3784 -2216 3392 -3680 4108 4120 -3148 2180 -2272 -3188 3724 -4040 2140 -4068 -3328 2908 -2732 -2652 -3952 2864 3716 -3256 2724 3512 3680 3560 4052 -4132 -2356 -2416 3360 3916 -2152 2372 4032 -2596 -3960 3672 -3928 -2816 2764 -2456 2528 -3560 3992 -2816 -2896 -2236 4028 4088 3964 3708 2296 3940 -3992 2224 -4000 -3996 -2544 2192 3996 3628 -3988 4080 -2724 -2288 -2524 -4064 -3312 3980 3960 -2316 2320 -2472 -2540 -4020 4028 -2152 2408 -2600 -3992 -2772 -3964 -3968 4088 -3960 3316 -4008 -3712 -3732 4104 3024 4032 -3920 2520 -3952 2544 2608 -2920 4132 -3944 4060 3840 -4076 -2248 -3612 3356 -3580 -2500 -3348 -2520 2800 -2464 2316 3740 3636 -2180 -3996 2348 -2228 -3996 2560 3388 4008 3360 2800 2244 -2180 -2324 -3624 2684 -3976 4092 2872 2160 -4000 -2308 2192 2488 -4132 3536 -4000 -3592 -2256 3680 -3736 -3980 -2172 -3592 -3376 -4028 2492 -4012 2320 2460 -4092 -4004 3952 2148 -2180 -2740 -3404 -3200 -2564 -3320 3060 -3328 3872 2680 3604 -3936 2160 -2200 4116 2704 3680 2824 -2364 2320 -3488 2184 3988 -3816 3364 3584 4076 3984 -2536 2648 3196 -3372 2304 -3796 -2284 -3704 -3360 2828 -4044 2528 2168 -2184 -2696 4032 -2688 -3116 4124 3972 -3332 -2152 -3388 4108 3584 -3396 -4132 -3668 -4116 3276 -2312 2212 3156 -3164 3988 2164 3056 -4116 -2872 3772 -3212 -2348 -4024 2180 -4044 -4100 3376 3968 -3984 3992 2516 3960 4004 -4104 2500 -2856 -2176 4008 2804 4004 2172 3312 2256 2216 3692 4092 -2308 -3484 -2248 -3384 3444 -3440 -3452 -3896 -2784 -3892 -4104 -4072 2616 2192 3492 2888 2484 3856 3496 3424 2616 -4000 -3156 -3968 -3728 2180 2792 -3964 4128 -2828 2356 2176 -2792 2624 -2276 2864 4012 -3004 3856 -4032 -2140 -3716 3392 -2496 -3140 -2832 -2216 -3584 2208 -3996 2464 4068 3952 2504 3964 2748 3340 -3996 2892 3392 2552 3820 -2460 -2280 -3396 2504 2288 2720 -3960 4068 -3432 -3976 -3460 -3852 2320 3788 -3948 2508 -3652 -2208 -2184 4024 2168 -2184 -2436 4048 2340 3900 -3364 4072 3676 4076 -3484 3980 4056 4128 4008 -2188 2476 2352 2600 -3952 2488 -3936 3268 3040 -3856 -2652 -3176 3588 2800 -2432 3948 3968 3888 -2604 3392 3908 2224 3636 -3700 3032 2356 -3384 -3940 3836 -4076 3508 2864 3688 -4092 3364 -4032 2396 4048 -2580 2256 -4016 -2416 2512 -2560 2392 2192 3976 -2548 2552 3524 3692 2764 -3504 -3836 -2532 4088 -2820 2352 -3968 -2176 3992 2872 4052 -3068 3376 3100 3336 3348 -2224 4052 2648 3448 2228 -3984 3844 -3512 3996 -3368 -4088 -2464 2496 -2236 3904 -4076 -4044 -3352 2692 3076 4008 2504 -4112 -3732 -2188 4008 -3056 -3812 -2520 -2512 -3372 -2656 3996 3896 3404 3324 2508 3604 3896 3796 3940 -3652 -3744 -4020 4016 -2516 -4128 -2140 -3972 3932 -3500 -2520 2180 4080 2152 2516 -2512 -3984 -3780 2140 2848 3208 2392 -3892 2240 3972 -2444 -4036 2964 -4112 -2216 3656 -4084 2196 -3352 3968 -2500 -3436 2140 2184 -2864 -3940 -2936 4004 2760 -2836 3140 -3356 -2340 3988 3968 -2384 -2476 -2152 2140 -3336 -2272 -3860 2392 -2360 3992 3520 3348 -3720 -2156 -2144 -3740 -2624 2192 -3964 2176 -4000 -3600 -3376 2140 2212 -4032 4004 -2324 3972 3176 2836 2496 -2656 3100 -3948 2356 -4008 -2732 2696 -2484 -3720 -2940 3900 -3828 -3320 -2424 -4060 -3596 2324 4020 4016 2532 -3980 4016 3944 -2716 -4004 2192 2516 2352 -4056 -3456 2832 -3816 -2472 -2964 2152 4072 2144 3952 -4016 2352 -2212 -3320 2624 -3964 3536 -2932 -3500 -2816 -2208 -2812 2420 -2412 4028 -3116 3976 -2276 4020 -3364 -2184 3280 4132 -3256 -3972 -3804 3816 3496 3376 -4088 -2396 2956 -3684 -3984 2324 3932 -2140 3100 3600 -3980 2624 3928 -3176 2616 -2832 2892 3544 -2440 -3344 3680 -3352 4008 -2488 2140 -4004 -2488 -2512 3324 4064 4132 4012 -2552 -3344 2476 3412 -3968 -4020 2192 2812 -2544 2496 4124 -3392 -3360 -2620 2344 -3764 -4108 2976 -3496 -3308 -2188 -2400 -3228 -3276 2216 -3636 2724 3116 -3396 -3336 3376 -2952 3268 -2972 2180 -4092 -3352 -3564 -4004 -3488 3512 -3336 -2776 -2192 2172 2200 2140 3124 -3552 3156 4020 -2488 3892 2528 3588 4016 -4000 3040 2912 -3896 3596 -3648 -3996 2180 2708 -3668 2528 2504 -3512 3320 3980 -3636 -4132 4080 -2344 3152 2504 -3596 2596 3756 3148 -3932 4036 -4008 -2804 -2824 -2476 -3640 3908 -2836 -2268 -3884 -3356 2140 -2992 4068 -4092 3228 3492 3964 -3332 -4000 3324 -4056 2268 3896 -3336 -3004 4092 -3968 -3832 -2656 -3412 2500 -3716 -2736 2480 4008 3704 -3952 -2168 2332 -3940 -3564 -3160 2472 -2488 -2152 -3136 3928 3204 2300 -2140 -2156 -3204 -2584 -2480 2488 4064 2908 3812 -2232 -2236 3960 2388 3356 -4000 2880 -2532 3844 2520 2200 -2840 -2884 -4044 -2844 -3880 2152 3368 3336 -4092 -3936 -2492 3324 3268 -2256 2176 3140 2496 4092 2436 3032 3988 -4092 2232 3988 -3320 4072 -2680 -4104 3112 2348 -2388 3296 2544 2220 2176 -2152 -2652 4000 -4008 -3676 2384 -3968 -3744 -3944 3540 -4004 3700 -4104 -2160 2176 -2140 3684 2724 4064 2180 -3980 -2200 -4020 -4068 2712 2572 2180 -2476 3364 -2556 -2496 3948 -3884 -3368 -3648 -3044 2296 -3108 -3420 -3868 -3972 3136 -3072 -2432 3296 -3988 -2800 -2612 -4132 -4060 -4084 -3628 3992 3568 -4032 2180 -2768 -3796 -2300 3224 3376 -2140 -2148 -2208 3512 2884 3972 -2412 3340 4024 2748 2432 -2676 3944 -3996 -2508 2500 3036 2524 2964 2356 3724 -2544 -2436 2772 3624 2500 -3464 -3892 -2328 3972 -3628 -2516 -3872 2992 3988 -3296 -4048 -4044 3996 -2504 -3656 2836 -3040 4020 4116 2344 -3992 -2564 -3948 -3132 -4072 2556 2344 3680 -4016 4032 -3836 3652 -4060 3308 -4132 2140 -3988 2320 4104 2684 -4112 4004 4020 -4116 3180 2412 -3348 -3396 -3800 -2480 -3324 -2796 -3484 -3460 -2472 3976 -2160 -4104 2196 4120 -2392 2176 3168 -2868 -2452 2144 -2396 3704 2196 2552 -4112 2796 3552 4088 2732 3196 -4072 -3540 2772 2520 -4108 2536 2140 3968 -3924 -3852 -3676 -4000 3712 2256 3636 2216 -4092 2344 3396 2144 -2164 2184 4032 3340 2808 4108 2512 -3588 3964 2672 -2948 -4012 2572 -3568 3936

Verifier Data (download as text)

5216 unsatisfied constraints, 37483 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/node12/watcher-275595-1169223786 -o ROOT/results/node12/solver-275595-1169223786 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275595-1169223786/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.04 2.01 2.00 4/94 27127
/proc/meminfo: memFree=1389800/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=906644 CPUtime=0.02
/proc/27126/stat : 27126 (java) S 27124 27126 26986 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 270773672 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 226661 1818 1036 14 0 214244 0
[pid=27126/tid=27128] ppid=27124 vsize=906644 CPUtime=0
/proc/27126/task/27128/stat : 27128 (java) R 27124 27126 26986 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 270773676 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.105809 s]
/proc/loadavg: 2.04 2.01 2.00 4/94 27127
/proc/meminfo: memFree=1389800/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=914988 CPUtime=0.09
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 3024 0 1 0 8 1 0 0 17 0 8 0 270773672 936947712 2770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228747 2770 1436 14 0 215242 0
[pid=27126/tid=27128] ppid=27124 vsize=914988 CPUtime=0
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270773676 936947712 2770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51789 s]
/proc/loadavg: 2.04 2.01 2.00 4/94 27127
/proc/meminfo: memFree=1389800/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915332 CPUtime=0.49
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 8035 0 1 0 45 4 0 0 18 0 8 0 270773672 937299968 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228833 7774 2140 14 0 215303 0
[pid=27126/tid=27128] ppid=27124 vsize=915332 CPUtime=0
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270773676 937299968 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33904 s]
/proc/loadavg: 2.04 2.01 2.00 4/101 27134
/proc/meminfo: memFree=1297712/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915604 CPUtime=1.32
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 29308 0 1 0 118 14 0 0 18 0 8 0 270773672 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228901 29045 2161 14 0 215371 0
[pid=27126/tid=27128] ppid=27124 vsize=915604 CPUtime=0.11
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 12752 0 0 0 7 4 0 0 16 0 8 0 270773676 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915604 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270773676 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915604 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915604 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915604 CPUtime=0.16
/proc/27126/task/27132/stat : 27132 (java) R 27124 27126 26986 0 -1 64 406 0 0 0 15 1 0 0 19 0 8 0 270773680 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915604 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915604 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915604

[startup+2.97632 s]
/proc/loadavg: 2.04 2.01 2.00 3/101 27134
/proc/meminfo: memFree=1272368/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915744 CPUtime=2.93
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 32163 0 1 0 277 16 0 0 25 0 8 0 270773672 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228936 31895 2181 14 0 215406 0
[pid=27126/tid=27128] ppid=27124 vsize=915744 CPUtime=0.26
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 15528 0 0 0 21 5 0 0 16 0 8 0 270773676 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915744 CPUtime=0.18
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 418 0 0 0 17 1 0 0 16 0 8 0 270773680 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915744

[startup+6.27592 s]
/proc/loadavg: 2.04 2.01 2.00 3/101 27134
/proc/meminfo: memFree=1270448/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915744 CPUtime=6.2
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 32164 0 1 0 604 16 0 0 25 0 8 0 270773672 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228936 31895 2181 14 0 215406 0
[pid=27126/tid=27128] ppid=27124 vsize=915744 CPUtime=0.26
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 15528 0 0 0 21 5 0 0 16 0 8 0 270773676 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915744 CPUtime=0.19
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 418 0 0 0 18 1 0 0 16 0 8 0 270773680 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937721856 31895 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.7531 s]
/proc/loadavg: 2.03 2.01 2.00 3/101 27134
/proc/meminfo: memFree=1270640/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915744 CPUtime=12.61
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 32166 0 1 0 1245 16 0 0 25 0 8 0 270773672 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228936 31897 2181 14 0 215406 0
[pid=27126/tid=27128] ppid=27124 vsize=915744 CPUtime=0.26
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 15528 0 0 0 21 5 0 0 16 0 8 0 270773676 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915744 CPUtime=0.19
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 420 0 0 0 18 1 0 0 16 0 8 0 270773680 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937721856 31897 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.6164 s]
/proc/loadavg: 2.03 2.01 2.00 3/101 27134
/proc/meminfo: memFree=1264816/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915744 CPUtime=25.37
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 33657 0 1 0 2519 18 0 0 25 0 8 0 270773672 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829029 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228936 33387 2181 14 0 215406 0
[pid=27126/tid=27128] ppid=27124 vsize=915744 CPUtime=0.33
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 17012 0 0 0 27 6 0 0 16 0 8 0 270773676 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915744 CPUtime=0.2
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 426 0 0 0 19 1 0 0 16 0 8 0 270773680 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915744

[startup+51.231 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 27134
/proc/meminfo: memFree=1264752/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915744 CPUtime=50.73
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 33664 0 1 0 5055 18 0 0 25 0 8 0 270773672 937721856 33393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228936 33393 2182 14 0 215406 0
[pid=27126/tid=27128] ppid=27124 vsize=915744 CPUtime=0.33
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 17012 0 0 0 27 6 0 0 16 0 8 0 270773676 937721856 33393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 33393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937721856 33393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937721856 33393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915744 CPUtime=0.21
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 270773680 937721856 33393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937721856 33393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937721856 33393 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.464 s]
/proc/loadavg: 2.01 2.00 2.00 3/101 27134
/proc/meminfo: memFree=1214512/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915744 CPUtime=101.49
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 46600 0 1 0 10124 25 0 0 25 0 8 0 270773672 937721856 46269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228936 46269 2501 14 0 215406 0
[pid=27126/tid=27128] ppid=27124 vsize=915744 CPUtime=1.36
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 29559 0 0 0 126 10 0 0 16 0 8 0 270773676 937721856 46269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270773676 937721856 46269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270773676 937721856 46269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937721856 46269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915744 CPUtime=0.27
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 469 0 0 0 26 1 0 0 15 0 8 0 270773680 937721856 46269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937721856 46269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937721856 46269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915744

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

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

[startup+2084.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 27194
/proc/meminfo: memFree=1194240/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915744 CPUtime=2065.63
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 46614 0 1 0 206497 66 0 0 25 0 8 0 270773672 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228936 46281 2501 14 0 215406 0
[pid=27126/tid=27128] ppid=27124 vsize=915744 CPUtime=1.36
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 29559 0 0 0 126 10 0 0 16 0 8 0 270773676 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270773676 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270773676 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915744 CPUtime=0.3
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 481 0 0 0 29 1 0 0 16 0 8 0 270773680 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915744 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2065.63
Current children cumulated vsize (KiB) 915744

[startup+2145.04 s]
/proc/loadavg: 2.04 2.01 2.00 3/100 27194
/proc/meminfo: memFree=838272/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915980 CPUtime=2125.14
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 135487 0 1 0 212414 100 0 0 25 0 8 0 270773672 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228995 135141 2546 14 0 215465 0
[pid=27126/tid=27128] ppid=27124 vsize=915980 CPUtime=2.15
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 118211 0 0 0 172 43 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915980 CPUtime=0.4
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 592 0 0 0 38 2 0 0 16 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2125.14
Current children cumulated vsize (KiB) 915980

[startup+2205.09 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 27194
/proc/meminfo: memFree=838272/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915980 CPUtime=2184.65
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 135487 0 1 0 218364 101 0 0 25 0 8 0 270773672 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228995 135141 2546 14 0 215465 0
[pid=27126/tid=27128] ppid=27124 vsize=915980 CPUtime=2.15
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 118211 0 0 0 172 43 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915980 CPUtime=0.4
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 592 0 0 0 38 2 0 0 16 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2184.65
Current children cumulated vsize (KiB) 915980

[startup+2265.13 s]
/proc/loadavg: 2.08 2.02 2.00 3/100 27194
/proc/meminfo: memFree=838208/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915980 CPUtime=2244.13
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 135487 0 1 0 224312 101 0 0 25 0 8 0 270773672 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228995 135141 2546 14 0 215465 0
[pid=27126/tid=27128] ppid=27124 vsize=915980 CPUtime=2.15
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 118211 0 0 0 172 43 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915980 CPUtime=0.4
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 592 0 0 0 38 2 0 0 16 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2244.13
Current children cumulated vsize (KiB) 915980

[startup+2325.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/106 27358
/proc/meminfo: memFree=836984/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915980 CPUtime=2303.48
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 135487 0 1 0 230247 101 0 0 25 0 8 0 270773672 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228995 135141 2546 14 0 215465 0
[pid=27126/tid=27128] ppid=27124 vsize=915980 CPUtime=2.15
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 118211 0 0 0 172 43 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915980 CPUtime=0.4
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 592 0 0 0 38 2 0 0 16 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2303.48
Current children cumulated vsize (KiB) 915980

[startup+2385.25 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 27392
/proc/meminfo: memFree=838080/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915980 CPUtime=2362.94
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 135487 0 1 0 236193 101 0 0 25 0 8 0 270773672 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228995 135141 2546 14 0 215465 0
[pid=27126/tid=27128] ppid=27124 vsize=915980 CPUtime=2.15
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 118211 0 0 0 172 43 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915980 CPUtime=0.4
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 592 0 0 0 38 2 0 0 16 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2362.94
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2422.68 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 27392
/proc/meminfo: memFree=838080/2055920 swapFree=4160348/4192956
[pid=27126] ppid=27124 vsize=915980 CPUtime=2400.04
/proc/27126/stat : 27126 (java) R 27124 27126 26986 0 -1 0 135487 0 1 0 239902 102 0 0 25 0 8 0 270773672 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27126/statm: 228995 135141 2546 14 0 215465 0
[pid=27126/tid=27128] ppid=27124 vsize=915980 CPUtime=2.15
/proc/27126/task/27128/stat : 27128 (java) S 27124 27126 26986 0 -1 64 118211 0 0 0 172 43 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27129] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27129/stat : 27129 (java) S 27124 27126 26986 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27130] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27130/stat : 27130 (java) S 27124 27126 26986 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270773676 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27131] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27131/stat : 27131 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27132] ppid=27124 vsize=915980 CPUtime=0.4
/proc/27126/task/27132/stat : 27132 (java) S 27124 27126 26986 0 -1 64 592 0 0 0 38 2 0 0 16 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27133] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27133/stat : 27133 (java) S 27124 27126 26986 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27126/tid=27134] ppid=27124 vsize=915980 CPUtime=0
/proc/27126/task/27134/stat : 27134 (java) S 27124 27126 26986 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270773680 937963520 135141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2422.85
CPU time (s): 2400.2
CPU user time (s): 2399.1
CPU system time (s): 1.10183
CPU usage (%): 99.0651
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.1
system time used= 1.10183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135511
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= 50605
involuntary context switches= 109606

runsolver used 3.47747 s user time and 7.40387 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Fri Jan 19 16:23:06 UTC 2007


IDJOB= 275595
IDBENCH= 4142
IDSOLVER= 69
FILE ID= node12/275595-1169223786

PBS_JOBID= 3588963

Free space on /tmp= 66557 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp37/fapp37-2250-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275595-1169223786/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-275595-1169223786 -o ROOT/results/node12/solver-275595-1169223786 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275595-1169223786/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8be6780779a5eacfdc07014164857344

RANDOM SEED= 638015054

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
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:       1390280 kB
Buffers:         57880 kB
Cached:         490884 kB
SwapCached:       5164 kB
Active:         245636 kB
Inactive:       345764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1390280 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            7596 kB
Writeback:           0 kB
Mapped:          59452 kB
Slab:            58956 kB
Committed_AS:  7404188 kB
PageTables:       2176 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66555 MiB



End job on node12 on Fri Jan 19 17:03:29 UTC 2007