Trace number 275594

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.18 2419.83

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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275594-1169223771/unknown.xml
0.37	   
0.37	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.89	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998
0.89	       =>  wckTime=0.576  cpuTime=0.39  mem=46M738
0.89	   
0.89	   predicates being loaded...
0.89	   
0.89	   constraints being loaded...
61.49	   
61.49	   INFO : Stopping converting binary constraints (cpu=60.16, mem = 108M447)
65.49	     nbConstraints=42699  nbConvertedConstraints=329  nbConvertConstraintsChecks=187446772  nbExtensionStructures=315
65.49	     nbSharedExtensionStructures=14  nbConflictsStructures=315  nbSharedConflictsStructures=14
65.49	     nbSharedBinaryRepresentations=395825  nbEvaluationManagers=20960  nbSharedEvaluationManagers=21410  maxDegree=136
65.49	     maxArity=2
65.49	       =>  wckTime=65.174  cpuTime=63.4  mem=144M152
65.92	   
65.92	   solver LocalSearchSolver being built... 
65.96	       =>  wckTime=65.652  cpuTime=63.45  mem=115M675
67.67	
67.67	s SATISFIABLE
67.67	o 31249
67.67	c 11450
68.80	o 31261
68.80	c 11438
69.44	o 31279
69.44	c 11420
69.91	o 31292
69.91	c 11407
70.41	o 31308
70.41	c 11391
71.07	o 31324
71.07	c 11375
71.42	o 31340
71.42	c 11359
71.64	o 31357
71.64	c 11342
71.95	o 31371
71.95	c 11328
72.25	o 31379
72.25	c 11320
72.45	o 31395
72.45	c 11304
72.73	o 31405
72.73	c 11294
73.08	o 31420
73.08	c 11279
73.53	o 31428
73.53	c 11271
73.89	o 31440
73.89	c 11259
74.24	o 31458
74.24	c 11241
74.49	o 31470
74.49	c 11229
74.82	o 31476
74.82	c 11223
75.21	o 31482
75.21	c 11217
75.62	o 31498
75.62	c 11201
75.93	o 31514
75.93	c 11185
76.39	o 31517
76.39	c 11182
76.87	o 31532
76.87	c 11167
77.25	o 31548
77.25	c 11151
77.74	o 31563
77.74	c 11136
78.12	o 31572
78.12	c 11127
78.48	o 31574
78.48	c 11125
78.66	o 31590
78.66	c 11109
79.15	o 31606
79.15	c 11093
79.30	o 31623
79.30	c 11076
79.74	o 31643
79.74	c 11056
79.96	o 31649
79.96	c 11050
80.35	o 31659
80.35	c 11040
80.63	o 31670
80.63	c 11029
80.98	o 31685
80.98	c 11014
81.23	o 31696
81.23	c 11003
81.85	o 31706
81.85	c 10993
82.32	o 31719
82.32	c 10980
82.64	o 31731
82.64	c 10968
83.02	o 31742
83.02	c 10957
83.33	o 31751
83.33	c 10948
83.58	o 31754
83.58	c 10945
83.91	o 31767
83.91	c 10932
84.36	o 31773
84.36	c 10926
84.73	o 31782
84.73	c 10917
84.91	o 31794
84.91	c 10905
85.17	o 31809
85.17	c 10890
85.32	o 31817
85.32	c 10882
85.86	o 31820
85.86	c 10879
86.18	o 31832
86.18	c 10867
86.41	o 31837
86.41	c 10862
86.83	o 31845
86.83	c 10854
87.02	o 31864
87.02	c 10835
87.26	o 31866
87.26	c 10833
87.48	o 31880
87.48	c 10819
87.63	o 31886
87.63	c 10813
87.95	o 31895
87.95	c 10804
88.18	o 31902
88.18	c 10797
88.53	o 31912
88.53	c 10787
88.70	o 31923
88.70	c 10776
88.91	o 31930
88.91	c 10769
89.20	o 31933
89.20	c 10766
89.60	o 31946
89.60	c 10753
89.95	o 31963
89.95	c 10736
90.27	o 31964
90.27	c 10735
90.62	o 31976
90.62	c 10723
90.84	o 31987
90.84	c 10712
91.08	o 32001
91.08	c 10698
91.34	o 32004
91.34	c 10695
91.64	o 32005
91.64	c 10694
92.06	o 32013
92.06	c 10686
92.83	o 32020
92.83	c 10679
93.12	o 32026
93.12	c 10673
93.54	o 32036
93.54	c 10663
93.95	o 32041
93.95	c 10658
94.31	o 32046
94.31	c 10653
94.86	o 32062
94.86	c 10637
95.51	o 32071
95.51	c 10628
95.97	o 32080
95.97	c 10619
96.23	o 32084
96.23	c 10615
96.48	o 32092
96.48	c 10607
97.00	o 32099
97.00	c 10600
97.49	o 32105
97.49	c 10594
97.91	o 32114
97.91	c 10585
98.33	o 32115
98.33	c 10584
98.65	o 32117
98.65	c 10582
98.93	o 32125
98.93	c 10574
99.69	o 32132
99.69	c 10567
100.31	o 32133
100.31	c 10566
100.76	o 32147
100.76	c 10552
101.24	o 32151
101.24	c 10548
101.59	o 32156
101.59	c 10543
102.09	o 32161
102.09	c 10538
102.51	o 32163
102.51	c 10536
103.68	o 32167
103.68	c 10532
103.99	o 32187
103.99	c 10512
104.37	o 32195
104.37	c 10504
104.59	o 32205
104.59	c 10494
105.10	o 32207
105.10	c 10492
105.89	o 32219
105.89	c 10480
106.59	o 32220
106.59	c 10479
107.09	o 32239
107.09	c 10460
107.56	o 32247
107.56	c 10452
108.76	o 32257
108.76	c 10442
109.35	o 32258
109.35	c 10441
109.91	o 32269
109.91	c 10430
110.51	o 32271
110.51	c 10428
111.07	o 32277
111.07	c 10422
113.31	o 32282
113.31	c 10417
113.96	o 32293
113.96	c 10406
114.34	o 32294
114.34	c 10405
114.89	o 32297
114.89	c 10402
115.31	o 32309
115.31	c 10390
115.96	o 32316
115.96	c 10383
116.40	o 32330
116.40	c 10369
116.91	o 32336
116.91	c 10363
117.29	o 32343
117.29	c 10356
117.72	o 32344
117.72	c 10355
118.13	o 32348
118.13	c 10351
119.59	o 32351
119.59	c 10348
120.20	o 32358
120.20	c 10341
120.62	o 32375
120.62	c 10324
121.09	o 32378
121.09	c 10321
121.85	o 32380
121.85	c 10319
122.35	o 32381
122.35	c 10318
122.91	o 32386
122.91	c 10313
123.30	o 32399
123.30	c 10300
123.59	o 32409
123.59	c 10290
123.89	o 32420
123.89	c 10279
124.12	o 32431
124.12	c 10268
124.75	o 32432
124.75	c 10267
125.21	o 32445
125.21	c 10254
125.56	o 32457
125.56	c 10242
125.96	o 32460
125.96	c 10239
126.21	o 32464
126.21	c 10235
126.55	o 32473
126.55	c 10226
126.82	o 32482
126.82	c 10217
127.15	o 32489
127.15	c 10210
127.48	o 32494
127.48	c 10205
127.89	o 32495
127.89	c 10204
128.23	o 32496
128.23	c 10203
128.62	o 32510
128.62	c 10189
129.05	o 32523
129.05	c 10176
129.30	o 32526
129.30	c 10173
129.69	o 32539
129.69	c 10160
130.16	o 32547
130.16	c 10152
130.73	o 32548
130.73	c 10151
131.60	o 32551
131.60	c 10148
132.07	o 32553
132.07	c 10146
132.64	o 32562
132.64	c 10137
133.10	o 32567
133.10	c 10132
133.56	o 32580
133.56	c 10119
134.04	o 32591
134.04	c 10108
134.49	o 32606
134.49	c 10093
134.93	o 32614
134.93	c 10085
135.33	o 32625
135.33	c 10074
135.74	o 32627
135.74	c 10072
136.19	o 32637
136.19	c 10062
136.54	o 32649
136.54	c 10050
136.94	o 32656
136.94	c 10043
137.23	o 32666
137.23	c 10033
137.58	o 32672
137.58	c 10027
137.83	o 32684
137.83	c 10015
138.10	o 32693
138.10	c 10006
138.45	o 32702
138.45	c 9997
138.81	o 32709
138.81	c 9990
139.11	o 32715
139.11	c 9984
139.49	o 32717
139.49	c 9982
139.81	o 32719
139.81	c 9980
140.12	o 32720
140.12	c 9979
140.45	o 32722
140.45	c 9977
140.75	o 32723
140.75	c 9976
141.17	o 32724
141.17	c 9975
142.25	o 32731
142.25	c 9968
143.09	o 32733
143.09	c 9966
143.51	o 32740
143.51	c 9959
143.98	o 32748
143.98	c 9951
144.42	o 32765
144.42	c 9934
144.76	o 32775
144.76	c 9924
145.21	o 32783
145.21	c 9916
145.59	o 32790
145.59	c 9909
146.02	o 32794
146.02	c 9905
146.38	o 32798
146.38	c 9901
146.66	o 32799
146.66	c 9900
147.01	o 32807
147.01	c 9892
147.24	o 32814
147.24	c 9885
147.52	o 32826
147.52	c 9873
147.90	o 32838
147.90	c 9861
148.30	o 32849
148.30	c 9850
148.67	o 32858
148.67	c 9841
149.08	o 32867
149.08	c 9832
149.46	o 32875
149.46	c 9824
149.86	o 32883
149.86	c 9816
150.29	o 32890
150.29	c 9809
150.64	o 32894
150.64	c 9805
150.96	o 32895
150.96	c 9804
151.37	o 32898
151.37	c 9801
151.74	o 32905
151.74	c 9794
152.09	o 32912
152.09	c 9787
152.42	o 32931
152.42	c 9768
152.81	o 32938
152.81	c 9761
153.19	o 32944
153.19	c 9755
153.62	o 32947
153.62	c 9752
154.00	o 32951
154.00	c 9748
154.34	o 32955
154.34	c 9744
154.72	o 32959
154.72	c 9740
155.14	o 32963
155.14	c 9736
155.49	o 32964
155.49	c 9735
155.87	o 32967
155.87	c 9732
156.21	o 32976
156.21	c 9723
156.58	o 32979
156.58	c 9720
157.00	o 32981
157.00	c 9718
157.40	o 32983
157.40	c 9716
157.92	o 32985
157.92	c 9714
158.46	o 32987
158.46	c 9712
158.81	o 32989
158.81	c 9710
159.19	o 32991
159.19	c 9708
159.53	o 32992
159.53	c 9707
159.90	o 32993
159.90	c 9706
160.38	o 32994
160.38	c 9705
160.77	o 32995
160.77	c 9704
161.25	o 32996
161.25	c 9703
162.93	o 33008
162.93	c 9691
163.31	o 33016
163.31	c 9683
163.88	o 33019
163.88	c 9680
164.36	o 33027
164.36	c 9672
164.82	o 33040
164.82	c 9659
165.25	o 33056
165.25	c 9643
165.71	o 33061
165.71	c 9638
166.67	o 33068
166.67	c 9631
167.21	o 33075
167.21	c 9624
167.73	o 33079
167.73	c 9620
168.34	o 33088
168.34	c 9611
168.83	o 33096
168.83	c 9603
169.32	o 33107
169.32	c 9592
170.15	o 33112
170.15	c 9587
170.56	o 33124
170.56	c 9575
170.90	o 33126
170.90	c 9573
171.30	o 33130
171.30	c 9569
171.75	o 33134
171.75	c 9565
172.23	o 33147
172.23	c 9552
173.04	o 33148
173.04	c 9551
173.47	o 33155
173.47	c 9544
173.95	o 33161
173.95	c 9538
174.79	o 33166
174.79	c 9533
175.23	o 33172
175.23	c 9527
175.64	o 33177
175.64	c 9522
176.43	o 33182
176.43	c 9517
176.84	o 33203
176.84	c 9496
177.28	o 33208
177.28	c 9491
177.71	o 33214
177.71	c 9485
178.14	o 33218
178.14	c 9481
178.51	o 33221
178.51	c 9478
178.87	o 33224
178.87	c 9475
179.25	o 33227
179.25	c 9472
179.65	o 33230
179.65	c 9469
180.07	o 33233
180.07	c 9466
180.46	o 33235
180.46	c 9464
180.87	o 33237
180.87	c 9462
181.32	o 33239
181.32	c 9460
181.78	o 33241
181.78	c 9458
182.24	o 33242
182.24	c 9457
182.78	o 33243
182.78	c 9456
183.20	o 33244
183.20	c 9455
183.70	o 33245
183.70	c 9454
184.14	o 33254
184.14	c 9445
187.33	o 33260
187.33	c 9439
187.78	o 33263
187.78	c 9436
188.28	o 33277
188.28	c 9422
189.16	o 33286
189.16	c 9413
190.09	o 33292
190.09	c 9407
190.53	o 33299
190.53	c 9400
191.05	o 33305
191.05	c 9394
191.48	o 33308
191.48	c 9391
191.94	o 33310
191.94	c 9389
192.38	o 33319
192.38	c 9380
193.54	o 33328
193.54	c 9371
194.12	o 33336
194.12	c 9363
195.76	o 33337
195.76	c 9362
196.23	o 33340
196.23	c 9359
196.71	o 33349
196.71	c 9350
197.19	o 33360
197.19	c 9339
197.75	o 33361
197.75	c 9338
198.27	o 33370
198.27	c 9329
198.77	o 33381
198.77	c 9318
199.29	o 33389
199.29	c 9310
199.86	o 33394
199.86	c 9305
200.47	o 33399
200.47	c 9300
201.03	o 33403
201.03	c 9296
201.61	o 33407
201.61	c 9292
202.22	o 33411
202.22	c 9288
202.81	o 33412
202.81	c 9287
203.41	o 33416
203.41	c 9283
203.97	o 33420
203.97	c 9279
204.57	o 33424
204.57	c 9275
205.16	o 33427
205.16	c 9272
205.74	o 33430
205.74	c 9269
206.36	o 33433
206.36	c 9266
206.98	o 33435
206.98	c 9264
207.61	o 33437
207.61	c 9262
208.19	o 33439
208.19	c 9260
208.71	o 33445
208.71	c 9254
209.31	o 33452
209.31	c 9247
209.82	o 33462
209.82	c 9237
210.83	o 33465
210.83	c 9234
211.29	o 33467
211.29	c 9232
211.83	o 33469
211.83	c 9230
212.28	o 33470
212.28	c 9229
212.74	o 33471
212.74	c 9228
215.53	o 33474
215.53	c 9225
216.00	o 33490
216.00	c 9209
216.55	o 33493
216.55	c 9206
217.12	o 33494
217.12	c 9205
217.62	o 33504
217.62	c 9195
218.06	o 33510
218.06	c 9189
218.63	o 33523
218.63	c 9176
219.11	o 33525
219.11	c 9174
219.64	o 33528
219.64	c 9171
221.29	o 33529
221.29	c 9170
222.39	o 33536
222.39	c 9163
222.88	o 33539
222.88	c 9160
224.68	o 33540
224.68	c 9159
225.34	o 33554
225.34	c 9145
225.85	o 33562
225.85	c 9137
226.41	o 33566
226.41	c 9133
226.91	o 33567
226.91	c 9132
227.39	o 33570
227.39	c 9129
227.97	o 33573
227.97	c 9126
228.59	o 33578
228.59	c 9121
229.22	o 33583
229.22	c 9116
231.60	o 33585
231.60	c 9114
232.22	o 33593
232.23	c 9106
232.84	o 33600
232.84	c 9099
233.46	o 33607
233.46	c 9092
234.06	o 33610
234.06	c 9089
234.69	o 33616
234.69	c 9083
235.94	o 33621
235.94	c 9078
236.57	o 33626
236.57	c 9073
237.19	o 33629
237.19	c 9070
237.82	o 33634
237.82	c 9065
238.47	o 33638
238.47	c 9061
239.10	o 33642
239.10	c 9057
239.78	o 33650
239.78	c 9049
240.38	o 33654
240.38	c 9045
241.09	o 33663
241.09	c 9036
241.80	o 33667
241.80	c 9032
242.43	o 33670
242.43	c 9029
243.09	o 33673
243.09	c 9026
243.75	o 33675
243.75	c 9024
244.41	o 33677
244.41	c 9022
245.06	o 33679
245.06	c 9020
246.32	o 33681
246.32	c 9018
246.96	o 33683
246.96	c 9016
247.64	o 33692
247.64	c 9007
248.26	o 33695
248.26	c 9004
248.88	o 33697
248.88	c 9002
249.40	o 33702
249.40	c 8997
249.89	o 33704
249.89	c 8995
250.38	o 33706
250.38	c 8993
250.91	o 33708
250.91	c 8991
251.49	o 33709
251.49	c 8990
251.99	o 33710
251.99	c 8989
252.57	o 33716
252.57	c 8983
252.97	o 33721
252.97	c 8978
253.33	o 33728
253.33	c 8971
253.69	o 33736
253.69	c 8963
254.09	o 33737
254.09	c 8962
254.51	o 33738
254.51	c 8961
254.88	o 33739
254.88	c 8960
255.34	o 33740
255.34	c 8959
255.87	o 33741
255.87	c 8958
256.34	o 33742
256.34	c 8957
256.75	o 33743
256.75	c 8956
260.47	o 33747
260.47	c 8952
260.93	o 33754
260.93	c 8945
261.50	o 33758
261.50	c 8941
262.04	o 33762
262.04	c 8937
262.62	o 33770
262.62	c 8929
263.21	o 33782
263.21	c 8917
263.83	o 33789
263.83	c 8910
264.38	o 33800
264.38	c 8899
264.90	o 33811
264.90	c 8888
265.47	o 33825
265.47	c 8874
266.07	o 33832
266.07	c 8867
266.68	o 33839
266.68	c 8860
267.30	o 33844
267.30	c 8855
268.57	o 33845
268.57	c 8854
269.18	o 33850
269.18	c 8849
269.85	o 33857
269.85	c 8842
270.50	o 33861
270.50	c 8838
271.80	o 33868
271.80	c 8831
273.05	o 33873
273.05	c 8826
273.63	o 33879
273.63	c 8820
274.24	o 33882
274.24	c 8817
274.85	o 33891
274.85	c 8808
275.35	o 33899
275.35	c 8800
276.40	o 33909
276.40	c 8790
276.86	o 33918
276.86	c 8781
277.34	o 33919
277.34	c 8780
277.83	o 33929
277.83	c 8770
278.36	o 33933
278.36	c 8766
278.86	o 33942
278.86	c 8757
279.39	o 33949
279.39	c 8750
279.86	o 33958
279.86	c 8741
280.27	o 33963
280.27	c 8736
280.67	o 33965
280.67	c 8734
281.06	o 33969
281.06	c 8730
281.99	o 33970
281.99	c 8729
282.44	o 33975
282.44	c 8724
282.87	o 33983
282.87	c 8716
283.32	o 33985
283.32	c 8714
283.76	o 34003
283.76	c 8696
284.72	o 34007
284.72	c 8692
285.13	o 34008
285.13	c 8691
285.64	o 34012
285.64	c 8687
286.17	o 34015
286.17	c 8684
286.72	o 34016
286.72	c 8683
287.22	o 34020
287.22	c 8679
288.28	o 34022
288.28	c 8677
288.84	o 34033
288.84	c 8666
289.42	o 34040
289.42	c 8659
289.95	o 34052
289.95	c 8647
290.90	o 34058
290.90	c 8641
291.45	o 34059
291.45	c 8640
291.97	o 34065
291.97	c 8634
292.94	o 34071
292.94	c 8628
293.46	o 34072
293.46	c 8627
294.01	o 34076
294.01	c 8623
294.51	o 34080
294.51	c 8619
295.04	o 34087
295.05	c 8612
296.18	o 34093
296.18	c 8606
296.71	o 34098
296.71	c 8601
297.22	o 34102
297.22	c 8597
297.83	o 34106
297.83	c 8593
298.50	o 34109
298.50	c 8590
299.03	o 34112
299.03	c 8587
299.60	o 34114
299.60	c 8585
300.22	o 34116
300.22	c 8583
300.81	o 34118
300.81	c 8581
301.42	o 34120
301.42	c 8579
302.53	o 34121
302.53	c 8578
304.06	o 34122
304.06	c 8577
304.61	o 34123
304.61	c 8576
305.27	o 34124
305.27	c 8575
305.77	o 34125
305.77	c 8574
306.33	o 34126
306.33	c 8573
306.92	o 34127
306.92	c 8572
309.75	o 34131
309.75	c 8568
311.03	o 34133
311.03	c 8566
311.66	o 34153
311.66	c 8546
312.90	o 34154
312.90	c 8545
313.51	o 34156
313.51	c 8543
314.22	o 34163
314.22	c 8536
314.84	o 34168
314.84	c 8531
315.46	o 34169
315.46	c 8530
316.70	o 34172
316.70	c 8527
317.25	o 34184
317.25	c 8515
317.82	o 34194
317.82	c 8505
318.36	o 34199
318.36	c 8500
318.90	o 34207
318.90	c 8492
319.44	o 34209
319.44	c 8490
319.96	o 34212
319.96	c 8487
322.61	o 34215
322.61	c 8484
323.22	o 34218
323.22	c 8481
323.74	o 34224
323.74	c 8475
324.35	o 34225
324.35	c 8474
324.89	o 34238
324.89	c 8461
325.95	o 34239
325.95	c 8460
326.57	o 34243
326.57	c 8456
327.22	o 34252
327.22	c 8447
328.43	o 34254
328.43	c 8445
328.98	o 34256
328.98	c 8443
329.51	o 34261
329.51	c 8438
330.11	o 34265
330.11	c 8434
330.72	o 34268
330.72	c 8431
331.94	o 34270
331.94	c 8429
332.52	o 34273
332.52	c 8426
334.91	o 34274
334.91	c 8425
335.61	o 34279
335.61	c 8420
336.28	o 34280
336.28	c 8419
336.98	o 34285
336.98	c 8414
337.62	o 34288
337.62	c 8411
338.34	o 34292
338.34	c 8407
339.11	o 34293
339.11	c 8406
339.84	o 34296
339.84	c 8403
340.61	o 34301
340.61	c 8398
341.38	o 34308
341.38	c 8391
342.16	o 34311
342.16	c 8388
342.92	o 34312
342.92	c 8387
343.72	o 34314
343.72	c 8385
344.47	o 34322
344.47	c 8377
345.23	o 34329
345.23	c 8370
346.04	o 34331
346.04	c 8368
346.85	o 34334
346.85	c 8365
347.61	o 34336
347.61	c 8363
349.18	o 34342
349.18	c 8357
349.96	o 34343
349.96	c 8356
351.51	o 34344
351.51	c 8355
352.35	o 34347
352.35	c 8352
353.18	o 34350
353.18	c 8349
354.03	o 34351
354.03	c 8348
355.66	o 34354
355.66	c 8345
356.51	o 34355
356.51	c 8344
359.14	o 34357
359.14	c 8342
360.99	o 34359
360.99	c 8340
361.96	o 34361
361.96	c 8338
362.91	o 34363
362.91	c 8336
363.83	o 34365
363.83	c 8334
364.79	o 34367
364.79	c 8332
366.62	o 34368
366.62	c 8331
367.60	o 34369
367.60	c 8330
368.55	o 34370
368.55	c 8329
369.48	o 34371
369.48	c 8328
374.13	o 34374
374.13	c 8325
375.00	o 34383
375.00	c 8316
376.86	o 34385
376.86	c 8314
379.46	o 34394
379.46	c 8305
380.47	o 34403
380.47	c 8296
381.34	o 34404
381.34	c 8295
384.04	o 34409
384.04	c 8290
385.02	o 34416
385.02	c 8283
385.84	o 34423
385.84	c 8276
386.60	o 34424
386.60	c 8275
387.55	o 34427
387.55	c 8272
388.30	o 34428
388.30	c 8271
389.08	o 34434
389.08	c 8265
389.94	o 34438
389.94	c 8261
390.78	o 34443
390.78	c 8256
391.58	o 34446
391.58	c 8253
393.24	o 34450
393.24	c 8249
394.11	o 34454
394.11	c 8245
397.44	o 34458
397.44	c 8241
398.20	o 34465
398.20	c 8234
401.56	o 34466
401.56	c 8233
402.38	o 34467
402.38	c 8232
403.21	o 34472
403.21	c 8227
403.96	o 34473
403.96	c 8226
404.80	o 34475
404.80	c 8224
405.58	o 34480
405.58	c 8219
406.39	o 34484
406.39	c 8215
407.20	o 34491
407.20	c 8208
408.04	o 34492
408.04	c 8207
410.58	o 34495
410.58	c 8204
411.34	o 34500
411.34	c 8199
411.98	o 34506
411.98	c 8193
412.77	o 34511
412.77	c 8188
414.33	o 34517
414.33	c 8182
415.13	o 34519
415.13	c 8180
416.69	o 34524
416.69	c 8175
419.83	o 34527
419.83	c 8172
420.56	o 34528
420.56	c 8171
421.27	o 34533
421.27	c 8166
422.69	o 34540
422.69	c 8159
423.42	o 34548
423.42	c 8151
424.31	o 34549
424.31	c 8150
425.18	o 34550
425.18	c 8149
426.00	o 34558
426.00	c 8141
426.81	o 34560
426.81	c 8139
430.22	o 34567
430.22	c 8132
434.35	o 34572
434.35	c 8127
436.14	o 34573
436.14	c 8126
437.04	o 34578
437.04	c 8121
438.68	o 34580
438.68	c 8119
439.48	o 34583
439.48	c 8116
440.38	o 34589
440.38	c 8110
442.20	o 34591
442.20	c 8108
443.07	o 34594
443.07	c 8105
444.80	o 34596
444.80	c 8103
445.61	o 34600
445.61	c 8099
446.55	o 34605
446.55	c 8094
447.51	o 34606
447.51	c 8093
448.50	o 34610
448.50	c 8089
449.47	o 34611
449.47	c 8088
450.49	o 34618
450.49	c 8081
451.47	o 34623
451.47	c 8076
452.54	o 34629
452.54	c 8070
453.55	o 34632
453.55	c 8067
454.64	o 34637
454.64	c 8062
455.81	o 34642
455.81	c 8057
456.91	o 34646
456.91	c 8053
457.99	o 34650
457.99	c 8049
459.12	o 34654
459.12	c 8045
460.24	o 34657
460.24	c 8042
461.37	o 34659
461.37	c 8040
462.54	o 34661
462.54	c 8038
463.68	o 34663
463.68	c 8036
464.84	o 34665
464.84	c 8034
465.96	o 34666
465.96	c 8033
467.08	o 34683
467.08	c 8016
468.14	o 34685
468.14	c 8014
469.26	o 34686
469.26	c 8013
471.51	o 34689
471.51	c 8010
472.69	o 34691
472.69	c 8008
473.75	o 34697
473.75	c 8002
481.09	o 34699
481.09	c 8000
484.40	o 34702
484.40	c 7997
487.63	o 34705
487.63	c 7994
488.82	o 34706
488.82	c 7993
489.96	o 34712
489.96	c 7987
491.08	o 34719
491.08	c 7980
492.08	o 34728
492.08	c 7971
493.10	o 34730
493.10	c 7969
494.17	o 34734
494.17	c 7965
495.18	o 34738
495.18	c 7961
510.91	o 34743
510.91	c 7956
511.92	o 34746
511.92	c 7953
512.90	o 34751
512.90	c 7948
513.88	o 34754
513.88	c 7945
514.85	o 34765
514.85	c 7934
521.54	o 34768
521.54	c 7931
522.43	o 34770
522.43	c 7929
523.30	o 34775
523.30	c 7924
524.17	o 34779
524.17	c 7920
526.08	o 34787
526.08	c 7912
531.39	o 34788
531.39	c 7911
533.05	o 34790
533.05	c 7909
533.89	o 34791
533.89	c 7908
534.78	o 34801
534.78	c 7898
535.71	o 34805
535.71	c 7894
537.40	o 34808
537.40	c 7891
538.26	o 34822
538.26	c 7877
539.14	o 34825
539.14	c 7874
544.45	o 34830
544.45	c 7869
545.34	o 34837
545.34	c 7862
546.35	o 34845
546.35	c 7854
547.33	o 34846
547.33	c 7853
548.19	o 34850
548.19	c 7849
549.09	o 34856
549.09	c 7843
552.08	o 34857
552.08	c 7842
553.05	o 34860
553.05	c 7839
554.01	o 34861
554.01	c 7838
554.99	o 34866
554.99	c 7833
555.93	o 34870
555.93	c 7829
556.88	o 34876
556.88	c 7823
557.82	o 34877
557.82	c 7822
558.76	o 34888
558.76	c 7811
560.73	o 34890
560.73	c 7809
569.21	o 34894
569.21	c 7805
570.23	o 34895
570.23	c 7804
575.22	o 34897
575.22	c 7802
576.26	o 34900
576.26	c 7799
577.32	o 34902
577.32	c 7797
578.35	o 34906
578.35	c 7793
579.32	o 34912
579.32	c 7787
580.37	o 34917
580.37	c 7782
581.41	o 34919
581.41	c 7780
582.46	o 34925
582.46	c 7774
584.52	o 34929
584.52	c 7770
585.62	o 34934
585.62	c 7765
587.73	o 34941
587.73	c 7758
588.88	o 34943
588.88	c 7756
589.99	o 34946
590.00	c 7753
591.16	o 34952
591.16	c 7747
592.37	o 34954
592.37	c 7745
593.60	o 34959
593.60	c 7740
595.83	o 34962
595.83	c 7737
596.92	o 34966
596.92	c 7733
599.14	o 34967
599.14	c 7732
600.28	o 34974
600.28	c 7725
602.63	o 34980
602.63	c 7719
604.94	o 34981
604.94	c 7718
606.13	o 34985
606.13	c 7714
607.32	o 34991
607.32	c 7708
609.81	o 34994
609.81	c 7705
611.06	o 35003
611.06	c 7696
616.63	o 35004
616.63	c 7695
617.71	o 35012
617.71	c 7687
618.80	o 35017
618.80	c 7682
621.78	o 35018
621.78	c 7681
622.81	o 35021
622.81	c 7678
623.94	o 35022
623.94	c 7677
624.95	o 35024
624.95	c 7675
625.97	o 35025
625.97	c 7674
636.27	o 35028
636.27	c 7671
637.10	o 35033
637.10	c 7666
637.95	o 35035
637.95	c 7664
639.66	o 35038
639.66	c 7661
643.15	o 35041
643.15	c 7658
644.02	o 35045
644.02	c 7654
644.79	o 35052
644.79	c 7647
645.72	o 35054
645.72	c 7645
646.56	o 35058
646.56	c 7641
647.40	o 35070
647.40	c 7629
648.23	o 35073
648.23	c 7626
649.02	o 35078
649.02	c 7621
650.71	o 35079
650.71	c 7620
651.58	o 35081
651.58	c 7618
652.45	o 35085
652.45	c 7614
654.23	o 35089
654.23	c 7610
671.09	o 35090
671.09	c 7609
672.07	o 35097
672.07	c 7602
673.04	o 35101
673.04	c 7598
673.98	o 35102
673.98	c 7597
674.93	o 35105
674.93	c 7594
675.89	o 35106
675.89	c 7593
676.89	o 35108
676.89	c 7591
677.88	o 35113
677.88	c 7586
680.90	o 35119
680.90	c 7580
681.95	o 35121
681.95	c 7578
682.92	o 35123
682.92	c 7576
683.79	o 35127
683.79	c 7572
684.74	o 35131
684.74	c 7568
685.72	o 35132
685.72	c 7567
686.68	o 35139
686.68	c 7560
687.62	o 35141
687.62	c 7558
688.44	o 35148
688.44	c 7551
689.37	o 35157
689.37	c 7542
690.43	o 35162
690.43	c 7537
692.55	o 35166
692.55	c 7533
694.47	o 35169
694.47	c 7530
695.40	o 35173
695.40	c 7526
696.36	o 35179
696.36	c 7520
697.31	o 35183
697.31	c 7516
698.26	o 35184
698.26	c 7515
699.29	o 35187
699.29	c 7512
704.57	o 35202
704.57	c 7497
705.60	o 35206
705.60	c 7493
706.63	o 35212
706.63	c 7487
707.67	o 35215
707.67	c 7484
708.77	o 35219
708.77	c 7480
709.87	o 35224
709.87	c 7475
710.94	o 35231
710.94	c 7468
712.04	o 35233
712.04	c 7466
713.14	o 35234
713.14	c 7465
714.18	o 35239
714.18	c 7460
716.28	o 35245
716.28	c 7454
717.31	o 35248
717.31	c 7451
719.72	o 35253
719.72	c 7446
720.86	o 35256
720.86	c 7443
722.11	o 35265
722.11	c 7434
723.29	o 35272
723.29	c 7427
727.86	o 35274
727.86	c 7425
729.17	o 35276
729.17	c 7423
730.35	o 35277
730.35	c 7422
731.50	o 35282
731.50	c 7417
732.58	o 35288
732.58	c 7411
733.80	o 35294
733.80	c 7405
737.22	o 35295
737.22	c 7404
738.34	o 35296
738.34	c 7403
739.46	o 35299
739.46	c 7400
740.61	o 35300
740.61	c 7399
741.74	o 35304
741.74	c 7395
742.88	o 35305
742.88	c 7394
744.07	o 35310
744.07	c 7389
746.37	o 35311
746.37	c 7388
747.56	o 35313
747.56	c 7386
748.73	o 35316
748.73	c 7383
749.96	o 35321
749.96	c 7378
751.09	o 35326
751.09	c 7373
752.22	o 35329
752.22	c 7370
754.63	o 35332
754.63	c 7367
755.67	o 35338
755.67	c 7361
756.79	o 35342
756.79	c 7357
757.92	o 35348
757.92	c 7351
760.23	o 35351
760.23	c 7348
761.44	o 35356
761.44	c 7343
767.15	o 35371
767.15	c 7328
768.29	o 35372
768.29	c 7327
769.41	o 35373
769.41	c 7326
770.55	o 35376
770.55	c 7323
771.70	o 35380
771.71	c 7319
772.82	o 35387
772.82	c 7312
781.66	o 35390
781.66	c 7309
782.75	o 35391
782.75	c 7308
783.92	o 35393
783.92	c 7306
785.08	o 35400
785.08	c 7299
787.40	o 35402
787.40	c 7297
788.60	o 35406
788.60	c 7293
789.76	o 35412
789.76	c 7287
790.88	o 35420
790.88	c 7279
792.14	o 35424
792.14	c 7275
793.23	o 35430
793.23	c 7269
794.46	o 35433
794.46	c 7266
795.57	o 35435
795.57	c 7264
798.86	o 35436
798.86	c 7263
799.99	o 35437
799.99	c 7262
801.12	o 35442
801.12	c 7257
802.40	o 35445
802.40	c 7254
803.54	o 35448
803.54	c 7251
805.95	o 35449
805.95	c 7250
807.15	o 35452
807.15	c 7247
808.37	o 35453
808.37	c 7246
809.63	o 35475
809.63	c 7224
810.80	o 35481
810.80	c 7218
812.03	o 35486
812.03	c 7213
813.29	o 35487
813.29	c 7212
814.52	o 35488
814.52	c 7211
815.81	o 35489
815.81	c 7210
820.69	o 35490
820.69	c 7209
823.29	o 35505
823.29	c 7194
824.48	o 35506
824.48	c 7193
825.81	o 35509
825.81	c 7190
827.10	o 35512
827.10	c 7187
829.65	o 35516
829.65	c 7183
832.15	o 35520
832.15	c 7179
833.34	o 35521
833.34	c 7178
834.56	o 35528
834.56	c 7171
835.73	o 35543
835.73	c 7156
836.89	o 35547
836.89	c 7152
838.00	o 35550
838.00	c 7149
839.16	o 35555
839.16	c 7144
840.41	o 35556
840.41	c 7143
842.72	o 35562
842.72	c 7137
846.28	o 35563
846.28	c 7136
847.56	o 35566
847.56	c 7133
848.74	o 35569
848.74	c 7130
849.92	o 35576
849.92	c 7123
852.36	o 35577
852.36	c 7122
853.50	o 35579
853.50	c 7120
854.65	o 35597
854.65	c 7102
855.80	o 35601
855.80	c 7098
856.90	o 35602
856.91	c 7097
857.96	o 35604
857.96	c 7095
859.15	o 35605
859.15	c 7094
860.23	o 35612
860.23	c 7087
866.58	o 35614
866.58	c 7085
867.64	o 35615
867.64	c 7084
868.80	o 35623
868.80	c 7076
869.85	o 35628
869.85	c 7071
872.10	o 35630
872.10	c 7069
874.42	o 35635
874.42	c 7064
875.49	o 35636
875.49	c 7063
876.63	o 35637
876.63	c 7062
877.81	o 35640
877.81	c 7059
879.01	o 35641
879.01	c 7058
880.37	o 35645
880.37	c 7054
881.46	o 35651
881.46	c 7048
882.74	o 35653
882.74	c 7046
883.95	o 35654
883.95	c 7045
885.11	o 35655
885.11	c 7044
886.32	o 35656
886.32	c 7043
887.59	o 35659
887.59	c 7040
895.87	o 35664
895.87	c 7035
897.05	o 35667
897.05	c 7032
898.21	o 35669
898.21	c 7030
899.49	o 35671
899.49	c 7028
902.97	o 35673
902.97	c 7026
906.43	o 35674
906.43	c 7025
907.67	o 35678
907.67	c 7021
908.63	o 35680
908.63	c 7019
909.85	o 35687
909.85	c 7012
910.98	o 35692
910.98	c 7007
912.26	o 35694
912.26	c 7005
913.42	o 35695
913.42	c 7004
914.77	o 35700
914.77	c 6999
916.03	o 35704
916.03	c 6995
917.25	o 35707
917.25	c 6992
919.64	o 35712
919.64	c 6987
920.82	o 35717
920.82	c 6982
923.21	o 35720
923.21	c 6979
924.41	o 35727
924.41	c 6972
925.62	o 35729
925.62	c 6970
926.92	o 35732
926.92	c 6967
928.22	o 35737
928.22	c 6962
929.52	o 35744
929.52	c 6955
930.83	o 35751
930.83	c 6948
937.18	o 35754
937.18	c 6945
938.41	o 35774
938.41	c 6925
939.60	o 35780
939.60	c 6919
940.78	o 35782
940.78	c 6917
943.32	o 35784
943.32	c 6915
944.65	o 35789
944.65	c 6910
945.89	o 35790
945.89	c 6909
948.56	o 35795
948.56	c 6904
949.86	o 35799
949.86	c 6900
951.13	o 35801
951.13	c 6898
952.44	o 35803
952.44	c 6896
953.85	o 35804
953.85	c 6895
955.19	o 35807
955.19	c 6892
960.64	o 35811
960.64	c 6888
962.02	o 35814
962.02	c 6885
964.72	o 35818
964.72	c 6881
966.09	o 35821
966.09	c 6878
969.07	o 35823
969.07	c 6876
970.20	o 35826
970.20	c 6873
971.70	o 35830
971.70	c 6869
974.73	o 35833
974.73	c 6866
976.19	o 35834
976.19	c 6865
977.65	o 35835
977.65	c 6864
979.15	o 35839
979.15	c 6860
982.25	o 35842
982.25	c 6857
983.75	o 35847
983.75	c 6852
985.23	o 35854
985.23	c 6845
986.73	o 35859
986.73	c 6840
988.34	o 35861
988.34	c 6838
989.90	o 35864
989.90	c 6835
991.55	o 35866
991.55	c 6833
993.07	o 35875
993.07	c 6824
994.52	o 35878
994.52	c 6821
996.06	o 35881
996.06	c 6818
997.57	o 35884
997.57	c 6815
999.08	o 35888
999.08	c 6811
1000.66	o 35891
1000.66	c 6808
1003.61	o 35896
1003.61	c 6803
1007.75	o 35911
1007.75	c 6788
1009.08	o 35920
1009.08	c 6779
1010.42	o 35926
1010.42	c 6773
1012.88	o 35927
1012.88	c 6772
1014.24	o 35929
1014.24	c 6770
1016.96	o 35933
1016.96	c 6766
1018.32	o 35938
1018.32	c 6761
1019.74	o 35944
1019.74	c 6755
1021.13	o 35949
1021.13	c 6750
1022.55	o 35951
1022.55	c 6748
1025.48	o 35953
1025.48	c 6746
1030.05	o 35955
1030.05	c 6744
1034.68	o 35959
1034.68	c 6740
1037.75	o 35960
1037.75	c 6739
1042.58	o 35962
1042.58	c 6737
1044.22	o 35969
1044.22	c 6730
1045.93	o 35973
1045.93	c 6726
1047.52	o 35974
1047.52	c 6725
1049.12	o 35975
1049.12	c 6724
1050.10	o 35983
1050.10	c 6716
1051.86	o 35989
1051.86	c 6710
1056.97	o 35990
1056.97	c 6709
1058.67	o 35994
1058.67	c 6705
1060.42	o 35999
1060.42	c 6700
1062.31	o 36015
1062.31	c 6684
1064.14	o 36019
1064.14	c 6680
1065.95	o 36023
1065.96	c 6676
1067.77	o 36030
1067.77	c 6669
1069.60	o 36033
1069.60	c 6666
1072.62	o 36038
1072.62	c 6661
1075.98	o 36041
1075.98	c 6658
1077.71	o 36047
1077.71	c 6652
1079.51	o 36050
1079.51	c 6649
1081.30	o 36054
1081.30	c 6645
1083.15	o 36057
1083.15	c 6642
1084.97	o 36061
1084.97	c 6638
1088.66	o 36068
1088.66	c 6631
1090.53	o 36076
1090.53	c 6623
1092.42	o 36081
1092.42	c 6618
1094.32	o 36086
1094.32	c 6613
1096.19	o 36091
1096.19	c 6608
1098.03	o 36094
1098.03	c 6605
1101.73	o 36100
1101.73	c 6599
1133.26	o 36116
1133.26	c 6583
1147.70	o 36126
1147.70	c 6573
1149.38	o 36131
1149.38	c 6568
1151.13	o 36139
1151.13	c 6560
1152.83	o 36141
1152.83	c 6558
1154.64	o 36146
1154.64	c 6553
1158.09	o 36151
1158.09	c 6548
1159.84	o 36156
1159.84	c 6543
1161.59	o 36159
1161.59	c 6540
1163.29	o 36162
1163.29	c 6537
1165.08	o 36164
1165.08	c 6535
1166.86	o 36168
1166.86	c 6531
1168.69	o 36169
1168.69	c 6530
1170.46	o 36172
1170.46	c 6527
1172.27	o 36176
1172.27	c 6523
1174.11	o 36181
1174.11	c 6518
1175.88	o 36185
1175.88	c 6514
1177.67	o 36189
1177.67	c 6510
1179.48	o 36192
1179.48	c 6507
1181.26	o 36193
1181.26	c 6506
1183.01	o 36199
1183.01	c 6500
1184.78	o 36206
1184.78	c 6493
1186.61	o 36208
1186.61	c 6491
1188.47	o 36211
1188.47	c 6488
1195.96	o 36216
1195.96	c 6483
1199.53	o 36217
1199.53	c 6482
1203.22	o 36220
1203.22	c 6479
1205.10	o 36227
1205.10	c 6472
1207.00	o 36229
1207.00	c 6470
1208.83	o 36233
1208.83	c 6466
1210.62	o 36237
1210.62	c 6462
1212.52	o 36238
1212.52	c 6461
1225.68	o 36250
1225.68	c 6449
1227.49	o 36253
1227.49	c 6446
1231.12	o 36254
1231.12	c 6445
1232.80	o 36262
1232.80	c 6437
1234.52	o 36265
1234.52	c 6434
1236.36	o 36267
1236.36	c 6432
1238.08	o 36268
1238.08	c 6431
1239.83	o 36270
1239.83	c 6429
1241.61	o 36275
1241.61	c 6424
1243.44	o 36289
1243.44	c 6410
1245.25	o 36292
1245.25	c 6407
1246.99	o 36294
1246.99	c 6405
1248.76	o 36299
1248.76	c 6400
1252.47	o 36304
1252.47	c 6395
1254.29	o 36306
1254.29	c 6393
1256.13	o 36317
1256.13	c 6382
1265.98	o 36319
1265.98	c 6380
1267.80	o 36321
1267.80	c 6378
1271.23	o 36322
1271.23	c 6377
1272.93	o 36323
1272.93	c 6376
1274.60	o 36325
1274.60	c 6374
1276.30	o 36328
1276.30	c 6371
1281.42	o 36334
1281.42	c 6365
1283.12	o 36338
1283.12	c 6361
1284.53	o 36347
1284.53	c 6352
1286.24	o 36352
1286.24	c 6347
1287.91	o 36354
1287.91	c 6345
1291.23	o 36357
1291.23	c 6342
1292.75	o 36362
1292.75	c 6337
1294.29	o 36371
1294.29	c 6328
1295.89	o 36373
1295.89	c 6326
1297.53	o 36377
1297.53	c 6322
1298.40	o 36383
1298.40	c 6316
1300.09	o 36389
1300.09	c 6310
1301.71	o 36393
1301.71	c 6306
1303.29	o 36394
1303.29	c 6305
1304.84	o 36397
1304.84	c 6302
1306.45	o 36402
1306.45	c 6297
1308.06	o 36404
1308.06	c 6295
1309.66	o 36424
1309.66	c 6275
1314.37	o 36428
1314.37	c 6271
1315.88	o 36432
1315.88	c 6267
1317.38	o 36435
1317.38	c 6264
1318.84	o 36439
1318.84	c 6260
1320.30	o 36443
1320.30	c 6256
1321.82	o 36447
1321.83	c 6252
1328.17	o 36450
1328.17	c 6249
1329.68	o 36451
1329.68	c 6248
1331.20	o 36455
1331.20	c 6244
1332.72	o 36459
1332.72	c 6240
1334.24	o 36463
1334.24	c 6236
1335.81	o 36466
1335.81	c 6233
1337.36	o 36467
1337.36	c 6232
1338.94	o 36471
1338.94	c 6228
1340.55	o 36477
1340.55	c 6222
1344.77	o 36478
1344.77	c 6221
1346.29	o 36483
1346.29	c 6216
1347.82	o 36488
1347.82	c 6211
1350.87	o 36491
1350.87	c 6208
1352.42	o 36495
1352.42	c 6204
1353.98	o 36500
1353.98	c 6199
1355.49	o 36502
1355.49	c 6197
1357.04	o 36509
1357.04	c 6190
1358.14	o 36516
1358.14	c 6183
1359.74	o 36519
1359.74	c 6180
1362.77	o 36525
1362.77	c 6174
1364.26	o 36529
1364.26	c 6170
1365.77	o 36533
1365.77	c 6166
1367.37	o 36537
1367.37	c 6162
1382.65	o 36555
1382.65	c 6144
1384.00	o 36557
1384.00	c 6142
1385.33	o 36559
1385.33	c 6140
1387.96	o 36560
1387.96	c 6139
1389.32	o 36565
1389.32	c 6134
1391.98	o 36567
1391.98	c 6132
1394.69	o 36570
1394.69	c 6129
1396.08	o 36575
1396.08	c 6124
1397.37	o 36578
1397.37	c 6121
1398.67	o 36580
1398.67	c 6119
1399.97	o 36585
1399.97	c 6114
1401.24	o 36589
1401.24	c 6110
1402.15	o 36592
1402.15	c 6107
1403.44	o 36598
1403.44	c 6101
1404.74	o 36600
1404.74	c 6099
1406.10	o 36602
1406.10	c 6097
1414.21	o 36604
1414.21	c 6095
1415.46	o 36607
1415.46	c 6092
1416.75	o 36608
1416.75	c 6091
1418.11	o 36612
1418.11	c 6087
1419.41	o 36614
1419.41	c 6085
1420.68	o 36615
1420.68	c 6084
1421.98	o 36618
1421.98	c 6081
1423.35	o 36620
1423.35	c 6079
1424.74	o 36624
1424.74	c 6075
1426.06	o 36629
1426.06	c 6070
1427.46	o 36631
1427.46	c 6068
1428.97	o 36634
1428.97	c 6065
1438.83	o 36645
1438.83	c 6054
1440.30	o 36652
1440.30	c 6047
1441.73	o 36654
1441.73	c 6045
1444.54	o 36657
1444.54	c 6042
1447.22	o 36663
1447.22	c 6036
1448.54	o 36664
1448.54	c 6035
1449.91	o 36666
1449.91	c 6033
1451.33	o 36670
1451.33	c 6029
1452.77	o 36675
1452.77	c 6024
1454.11	o 36676
1454.11	c 6023
1455.53	o 36682
1455.53	c 6017
1458.46	o 36683
1458.46	c 6016
1459.96	o 36684
1459.96	c 6015
1461.49	o 36691
1461.49	c 6008
1462.95	o 36697
1462.95	c 6002
1465.90	o 36700
1465.90	c 5999
1468.97	o 36701
1468.97	c 5998
1470.51	o 36703
1470.51	c 5996
1483.23	o 36706
1483.23	c 5993
1484.46	o 36711
1484.46	c 5988
1485.89	o 36715
1485.89	c 5984
1487.29	o 36717
1487.29	c 5982
1490.21	o 36718
1490.21	c 5981
1491.65	o 36723
1491.65	c 5976
1494.63	o 36726
1494.63	c 5973
1499.10	o 36727
1499.10	c 5972
1500.60	o 36728
1500.60	c 5971
1505.17	o 36731
1505.17	c 5968
1506.78	o 36734
1506.78	c 5965
1508.28	o 36747
1508.28	c 5952
1509.83	o 36751
1509.83	c 5948
1511.40	o 36769
1511.40	c 5930
1513.00	o 36772
1513.00	c 5927
1514.47	o 36777
1514.47	c 5922
1515.95	o 36781
1515.95	c 5918
1517.42	o 36783
1517.42	c 5916
1518.89	o 36787
1518.89	c 5912
1520.34	o 36789
1520.34	c 5910
1521.86	o 36791
1521.86	c 5908
1523.35	o 36795
1523.35	c 5904
1526.34	o 36797
1526.34	c 5902
1527.84	o 36798
1527.84	c 5901
1529.39	o 36802
1529.39	c 5897
1530.92	o 36804
1530.92	c 5895
1532.43	o 36809
1532.43	c 5890
1533.98	o 36814
1533.98	c 5885
1544.93	o 36817
1544.93	c 5882
1546.53	o 36819
1546.53	c 5880
1548.09	o 36820
1548.09	c 5879
1549.75	o 36822
1549.75	c 5877
1551.34	o 36828
1551.34	c 5871
1554.62	o 36831
1554.62	c 5868
1555.84	o 36835
1555.84	c 5864
1557.41	o 36837
1557.41	c 5862
1558.97	o 36854
1558.97	c 5845
1560.56	o 36855
1560.56	c 5844
1562.20	o 36859
1562.20	c 5840
1563.74	o 36864
1563.74	c 5835
1573.29	o 36865
1573.29	c 5834
1574.96	o 36870
1574.96	c 5829
1576.58	o 36875
1576.58	c 5824
1578.10	o 36876
1578.10	c 5823
1581.38	o 36877
1581.38	c 5822
1583.08	o 36879
1583.08	c 5820
1584.82	o 36880
1584.82	c 5819
1607.73	o 36882
1607.73	c 5817
1609.31	o 36886
1609.31	c 5813
1610.99	o 36889
1610.99	c 5810
1612.66	o 36894
1612.66	c 5805
1614.27	o 36897
1614.27	c 5802
1615.96	o 36905
1615.96	c 5794
1617.60	o 36910
1617.60	c 5789
1619.16	o 36913
1619.16	c 5786
1620.74	o 36917
1620.74	c 5782
1622.28	o 36920
1622.28	c 5779
1623.82	o 36922
1623.82	c 5777
1625.48	o 36939
1625.48	c 5760
1627.02	o 36947
1627.02	c 5752
1629.98	o 36950
1629.98	c 5749
1633.02	o 36955
1633.02	c 5744
1634.54	o 36959
1634.54	c 5740
1635.50	o 36962
1635.50	c 5737
1637.00	o 36965
1637.00	c 5734
1638.60	o 36966
1638.60	c 5733
1640.10	o 36971
1640.10	c 5728
1641.50	o 36975
1641.50	c 5724
1643.01	o 36979
1643.01	c 5720
1644.56	o 36982
1644.56	c 5717
1645.85	o 36986
1645.85	c 5713
1647.42	o 36990
1647.42	c 5709
1648.98	o 36993
1648.98	c 5706
1650.58	o 36994
1650.58	c 5705
1652.17	o 36995
1652.17	c 5704
1653.79	o 36998
1653.79	c 5701
1655.33	o 37002
1655.33	c 5697
1660.07	o 37004
1660.07	c 5695
1663.14	o 37022
1663.14	c 5677
1664.65	o 37023
1664.65	c 5676
1666.27	o 37024
1666.27	c 5675
1667.84	o 37028
1667.84	c 5671
1669.48	o 37031
1669.48	c 5668
1674.21	o 37036
1674.21	c 5663
1675.76	o 37041
1675.76	c 5658
1677.37	o 37043
1677.37	c 5656
1680.61	o 37047
1680.61	c 5652
1682.26	o 37049
1682.26	c 5650
1683.81	o 37052
1683.81	c 5647
1685.54	o 37057
1685.54	c 5642
1687.12	o 37065
1687.12	c 5634
1688.62	o 37069
1688.62	c 5630
1690.21	o 37071
1690.21	c 5628
1691.82	o 37072
1691.82	c 5627
1693.37	o 37073
1693.37	c 5626
1705.66	o 37075
1705.66	c 5624
1707.29	o 37076
1707.29	c 5623
1710.48	o 37077
1710.48	c 5622
1713.75	o 37080
1713.75	c 5619
1723.62	o 37082
1723.62	c 5617
1726.28	o 37086
1726.28	c 5613
1727.66	o 37089
1727.66	c 5610
1729.00	o 37092
1729.00	c 5607
1730.36	o 37096
1730.36	c 5603
1731.79	o 37101
1731.79	c 5598
1738.85	o 37102
1738.85	c 5597
1740.31	o 37106
1740.31	c 5593
1741.81	o 37107
1741.81	c 5592
1746.44	o 37108
1746.44	c 5591
1748.04	o 37109
1748.04	c 5590
1749.54	o 37110
1749.54	c 5589
1751.07	o 37114
1751.07	c 5585
1752.55	o 37121
1752.55	c 5578
1755.51	o 37125
1755.51	c 5574
1758.49	o 37129
1758.49	c 5570
1759.98	o 37132
1759.98	c 5567
1761.44	o 37134
1761.44	c 5565
1762.90	o 37140
1762.90	c 5559
1764.50	o 37141
1764.50	c 5558
1766.04	o 37147
1766.04	c 5552
1767.56	o 37154
1767.56	c 5545
1769.06	o 37156
1769.06	c 5543
1770.59	o 37160
1770.59	c 5539
1776.71	o 37167
1776.71	c 5532
1778.21	o 37171
1778.21	c 5528
1779.92	o 37174
1779.92	c 5525
1781.47	o 37179
1781.47	c 5520
1785.42	o 37181
1785.42	c 5518
1787.08	o 37184
1787.08	c 5515
1788.76	o 37189
1788.76	c 5510
1790.08	o 37190
1790.08	c 5509
1793.59	o 37191
1793.59	c 5508
1795.22	o 37194
1795.22	c 5505
1796.89	o 37197
1796.89	c 5502
1798.57	o 37201
1798.57	c 5498
1800.41	o 37206
1800.41	c 5493
1802.07	o 37207
1802.07	c 5492
1803.85	o 37212
1803.85	c 5487
1805.53	o 37215
1805.53	c 5484
1807.34	o 37219
1807.34	c 5480
1810.96	o 37222
1810.96	c 5477
1812.76	o 37225
1812.76	c 5474
1814.49	o 37227
1814.49	c 5472
1815.95	o 37231
1815.95	c 5468
1819.23	o 37235
1819.23	c 5464
1820.95	o 37239
1820.95	c 5460
1822.74	o 37241
1822.74	c 5458
1824.58	o 37242
1824.58	c 5457
1826.38	o 37243
1826.38	c 5456
1828.15	o 37244
1828.15	c 5455
1835.67	o 37247
1835.67	c 5452
1837.51	o 37249
1837.51	c 5450
1839.42	o 37250
1839.42	c 5449
1841.32	o 37253
1841.32	c 5446
1858.32	o 37255
1858.32	c 5444
1860.29	o 37257
1860.29	c 5442
1862.18	o 37260
1862.18	c 5439
1864.12	o 37262
1864.12	c 5437
1866.17	o 37266
1866.17	c 5433
1868.10	o 37267
1868.10	c 5432
1870.09	o 37268
1870.09	c 5431
1872.02	o 37269
1872.02	c 5430
1873.98	o 37270
1873.98	c 5429
1875.91	o 37272
1875.91	c 5427
1877.86	o 37273
1877.86	c 5426
1879.87	o 37277
1879.87	c 5422
1881.96	o 37281
1881.96	c 5418
1884.01	o 37289
1884.01	c 5410
1901.62	o 37291
1901.62	c 5408
1909.32	o 37293
1909.32	c 5406
1911.25	o 37301
1911.25	c 5398
1915.10	o 37307
1915.10	c 5392
1916.95	o 37325
1916.95	c 5374
1918.78	o 37329
1918.78	c 5370
1920.61	o 37332
1920.61	c 5367
1924.37	o 37335
1924.37	c 5364
1926.19	o 37337
1926.19	c 5362
1929.58	o 37341
1929.58	c 5358
1931.35	o 37344
1931.35	c 5355
1933.28	o 37348
1933.28	c 5351
1935.24	o 37349
1935.24	c 5350
1937.09	o 37352
1937.09	c 5347
1939.06	o 37356
1939.06	c 5343
1940.99	o 37360
1940.99	c 5339
1942.87	o 37362
1942.87	c 5337
1950.71	o 37366
1950.71	c 5333
1952.68	o 37370
1952.68	c 5329
1954.67	o 37375
1954.67	c 5324
1958.61	o 37377
1958.61	c 5322
1972.57	o 37378
1972.57	c 5321
1978.38	o 37379
1978.38	c 5320
1983.81	o 37381
1983.81	c 5318
1985.75	o 37384
1985.75	c 5315
1987.47	o 37391
1987.47	c 5308
1989.53	o 37394
1989.53	c 5305
1991.52	o 37396
1991.52	c 5303
1993.50	o 37401
1993.50	c 5298
1995.57	o 37407
1995.57	c 5292
2002.84	o 37412
2002.84	c 5287
2008.38	o 37415
2008.38	c 5284
2010.27	o 37418
2010.27	c 5281
2014.05	o 37423
2014.05	c 5276
2015.80	o 37424
2015.80	c 5275
2019.53	o 37428
2019.54	c 5271
2021.44	o 37435
2021.44	c 5264
2025.20	o 37436
2025.20	c 5263
2027.22	o 37437
2027.22	c 5262
2029.06	o 37439
2029.06	c 5260
2030.55	o 37445
2030.55	c 5254
2032.49	o 37451
2032.49	c 5248
2034.43	o 37456
2034.43	c 5243
2036.38	o 37462
2036.38	c 5237
2037.05	o 37465
2037.05	c 5234
2038.96	o 37470
2038.96	c 5229
2042.94	o 37471
2042.94	c 5228
2044.84	o 37475
2044.84	c 5224
2046.89	o 37476
2046.89	c 5223
2048.84	o 37481
2048.84	c 5218
2050.81	o 37483
2050.81	c 5216
2082.28	   
2082.28	   search
2082.28	     run=0  nbConstraintChecks=3430416148  nbAssignments=1863
2082.28	       =>  wckTime=2016.321  cpuTime=1997.81  mem=115M675
2082.29	   
2082.29	   global
2082.29	     nbConstraintChecks=3430416148  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2082.29	     solvingWckTime=2016.284  solvingCpuTime=1997.78  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2082.29	     globalCpuTime=2061.32
2082.29	       =>  wckTime=2081.974  cpuTime=2061.26  mem=115M675
2082.29	   
2082.29	   solver IterativeSystematicSolver being built... 
2083.99	       =>  wckTime=2083.68  cpuTime=2062.07  mem=491M164
2419.74	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/node17/watcher-275594-1169223771 -o ROOT/results/node17/solver-275594-1169223771 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275594-1169223771/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.93 1.97 1.98 5/94 6177
/proc/meminfo: memFree=1381624/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=47892 CPUtime=0
/proc/6176/stat : 6176 (java) D 6174 6176 6108 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 270771883 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/6176/statm: 11994 972 769 14 0 1707 0

[startup+0.103712 s]
/proc/loadavg: 1.93 1.97 1.98 5/94 6177
/proc/meminfo: memFree=1381624/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=914988 CPUtime=0.08
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 270771883 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511755 s]
/proc/loadavg: 1.93 1.97 1.98 5/94 6177
/proc/meminfo: memFree=1381624/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915332 CPUtime=0.49
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 7740 0 1 0 44 5 0 0 18 0 8 0 270771883 937299968 7479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073584814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228833 7479 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33484 s]
/proc/loadavg: 1.94 1.97 1.98 3/101 6184
/proc/meminfo: memFree=1289536/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915604 CPUtime=1.3
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 29313 0 1 0 116 14 0 0 23 0 8 0 270771883 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073553857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228901 29050 2164 14 0 215371 0
[pid=6176/tid=6178] ppid=6174 vsize=915604 CPUtime=0.11
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 12751 0 0 0 7 4 0 0 16 0 8 0 270771887 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915604 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915604 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915604 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915604 CPUtime=0.15
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 270771891 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915604 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915604 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915604

[startup+2.98801 s]
/proc/loadavg: 1.94 1.97 1.98 3/101 6184
/proc/meminfo: memFree=1264128/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915744 CPUtime=2.94
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 32168 0 1 0 279 15 0 0 25 0 8 0 270771883 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228936 31900 2184 14 0 215406 0
[pid=6176/tid=6178] ppid=6174 vsize=915744 CPUtime=0.25
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 15527 0 0 0 20 5 0 0 16 0 8 0 270771887 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915744 CPUtime=0.17
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 416 0 0 0 17 0 0 0 16 0 8 0 270771891 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915744

[startup+6.27135 s]
/proc/loadavg: 1.94 1.97 1.98 3/101 6184
/proc/meminfo: memFree=1262208/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915744 CPUtime=6.19
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 32169 0 1 0 604 15 0 0 25 0 8 0 270771883 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228936 31900 2184 14 0 215406 0
[pid=6176/tid=6178] ppid=6174 vsize=915744 CPUtime=0.25
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 15527 0 0 0 20 5 0 0 16 0 8 0 270771887 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915744 CPUtime=0.18
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 416 0 0 0 17 1 0 0 16 0 8 0 270771891 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915744

[startup+12.76 s]
/proc/loadavg: 1.95 1.97 1.98 3/101 6184
/proc/meminfo: memFree=1262336/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915744 CPUtime=12.62
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 32171 0 1 0 1247 15 0 0 25 0 8 0 270771883 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228936 31902 2184 14 0 215406 0
[pid=6176/tid=6178] ppid=6174 vsize=915744 CPUtime=0.25
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 15527 0 0 0 20 5 0 0 16 0 8 0 270771887 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915744 CPUtime=0.19
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 418 0 0 0 18 1 0 0 16 0 8 0 270771891 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915744

[startup+25.5994 s]
/proc/loadavg: 2.03 1.99 1.99 3/101 6184
/proc/meminfo: memFree=1256576/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915744 CPUtime=25.34
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 33657 0 1 0 2517 17 0 0 25 0 8 0 270771883 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228936 33387 2184 14 0 215406 0
[pid=6176/tid=6178] ppid=6174 vsize=915744 CPUtime=0.33
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 17005 0 0 0 27 6 0 0 16 0 8 0 270771887 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915744 CPUtime=0.2
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 425 0 0 0 19 1 0 0 16 0 8 0 270771891 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937721856 33387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 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.34
Current children cumulated vsize (KiB) 915744

[startup+51.2091 s]
/proc/loadavg: 2.02 1.99 1.99 3/101 6184
/proc/meminfo: memFree=1256576/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915744 CPUtime=50.72
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 33663 0 1 0 5054 18 0 0 25 0 8 0 270771883 937721856 33392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834636 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228936 33392 2185 14 0 215406 0
[pid=6176/tid=6178] ppid=6174 vsize=915744 CPUtime=0.33
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 17005 0 0 0 27 6 0 0 16 0 8 0 270771887 937721856 33392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937721856 33392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937721856 33392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937721856 33392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915744 CPUtime=0.21
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 429 0 0 0 20 1 0 0 16 0 8 0 270771891 937721856 33392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937721856 33392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937721856 33392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915744

[startup+102.435 s]
/proc/loadavg: 2.01 1.99 1.99 3/101 6184
/proc/meminfo: memFree=1206272/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915744 CPUtime=101.46
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 46603 0 1 0 10120 26 0 0 25 0 8 0 270771883 937721856 46272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228936 46272 2504 14 0 215406 0
[pid=6176/tid=6178] ppid=6174 vsize=915744 CPUtime=1.35
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 29562 0 0 0 124 11 0 0 16 0 8 0 270771887 937721856 46272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937721856 46272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270771888 937721856 46272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937721856 46272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915744 CPUtime=0.28
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 461 0 0 0 27 1 0 0 15 0 8 0 270771891 937721856 46272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937721856 46272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915744 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937721856 46272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915744

[startup+162.537 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 6184
/proc/meminfo: memFree=1206272/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915744 CPUtime=161.01
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 46605 0 1 0 16073 28 0 0 25 0 8 0 270771883 937721856 46273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.73 s]
/proc/loadavg: 2.04 2.04 2.00 3/101 6184
/proc/meminfo: memFree=849984/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915980 CPUtime=2065.63
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 135501 0 1 0 206461 102 0 0 25 0 8 0 270771883 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6176/statm: 228995 135157 2551 14 0 215465 0
[pid=6176/tid=6178] ppid=6174 vsize=915980 CPUtime=2.16
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 118221 0 0 0 171 45 0 0 16 0 8 0 270771887 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915980 CPUtime=0.41
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 576 0 0 0 39 2 0 0 15 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2065.63
Current children cumulated vsize (KiB) 915980

[startup+2144.75 s]
/proc/loadavg: 2.01 2.03 2.00 3/101 6258
/proc/meminfo: memFree=831928/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915980 CPUtime=2125.46
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 135503 0 1 0 212444 102 0 0 25 0 8 0 270771883 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832146 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6176/statm: 228995 135157 2551 14 0 215465 0
[pid=6176/tid=6178] ppid=6174 vsize=915980 CPUtime=2.16
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 118221 0 0 0 171 45 0 0 16 0 8 0 270771887 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915980 CPUtime=0.41
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 577 0 0 0 39 2 0 0 16 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.46
Current children cumulated vsize (KiB) 915980

[startup+2204.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/101 6258
/proc/meminfo: memFree=831288/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915980 CPUtime=2185.43
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 135503 0 1 0 218441 102 0 0 25 0 8 0 270771883 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832208 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6176/statm: 228995 135157 2551 14 0 215465 0
[pid=6176/tid=6178] ppid=6174 vsize=915980 CPUtime=2.16
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 118221 0 0 0 171 45 0 0 16 0 8 0 270771887 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915980 CPUtime=0.41
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 577 0 0 0 39 2 0 0 16 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.43
Current children cumulated vsize (KiB) 915980

[startup+2264.85 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 6258
/proc/meminfo: memFree=831032/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915980 CPUtime=2245.44
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 135503 0 1 0 224441 103 0 0 25 0 8 0 270771883 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6176/statm: 228995 135157 2551 14 0 215465 0
[pid=6176/tid=6178] ppid=6174 vsize=915980 CPUtime=2.16
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 118221 0 0 0 171 45 0 0 16 0 8 0 270771887 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915980 CPUtime=0.41
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 577 0 0 0 39 2 0 0 16 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2245.44
Current children cumulated vsize (KiB) 915980

[startup+2324.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/107 6382
/proc/meminfo: memFree=829056/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915980 CPUtime=2305.37
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 135503 0 1 0 230429 108 0 0 25 0 8 0 270771883 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6176/statm: 228995 135157 2551 14 0 215465 0
[pid=6176/tid=6178] ppid=6174 vsize=915980 CPUtime=2.16
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 118221 0 0 0 171 45 0 0 16 0 8 0 270771887 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915980 CPUtime=0.41
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 577 0 0 0 39 2 0 0 16 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2305.37
Current children cumulated vsize (KiB) 915980

[startup+2384.93 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 6456
/proc/meminfo: memFree=829624/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915980 CPUtime=2365.3
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 135503 0 1 0 236418 112 0 0 25 0 8 0 270771883 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6176/statm: 228995 135157 2551 14 0 215465 0
[pid=6176/tid=6178] ppid=6174 vsize=915980 CPUtime=2.16
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 118221 0 0 0 171 45 0 0 16 0 8 0 270771887 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915980 CPUtime=0.41
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 577 0 0 0 39 2 0 0 16 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2365.3
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2419.73 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 6456
/proc/meminfo: memFree=829304/2055920 swapFree=4192812/4192956
[pid=6176] ppid=6174 vsize=915980 CPUtime=2400.09
/proc/6176/stat : 6176 (java) R 6174 6176 6108 0 -1 0 135503 0 1 0 239897 112 0 0 25 0 8 0 270771883 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6176/statm: 228995 135157 2551 14 0 215465 0
[pid=6176/tid=6178] ppid=6174 vsize=915980 CPUtime=2.16
/proc/6176/task/6178/stat : 6178 (java) S 6174 6176 6108 0 -1 64 118221 0 0 0 171 45 0 0 16 0 8 0 270771887 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6179/stat : 6179 (java) S 6174 6176 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6180] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6180/stat : 6180 (java) S 6174 6176 6108 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771888 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6181] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6181/stat : 6181 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6182] ppid=6174 vsize=915980 CPUtime=0.41
/proc/6176/task/6182/stat : 6182 (java) S 6174 6176 6108 0 -1 64 577 0 0 0 39 2 0 0 16 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6176/tid=6183] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6183/stat : 6183 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6176/tid=6184] ppid=6174 vsize=915980 CPUtime=0
/proc/6176/task/6184/stat : 6184 (java) S 6174 6176 6108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771891 937963520 135157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2419.83
CPU time (s): 2400.18
CPU user time (s): 2398.98
CPU system time (s): 1.20482
CPU usage (%): 99.1882
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.98
system time used= 1.20482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135527
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= 50651
involuntary context switches= 136432

runsolver used 3.39548 s user time and 7.70583 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Fri Jan 19 16:22:51 UTC 2007


IDJOB= 275594
IDBENCH= 4142
IDSOLVER= 68
FILE ID= node17/275594-1169223771

PBS_JOBID= 3588965

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8be6780779a5eacfdc07014164857344

RANDOM SEED= 875264342

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.236
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.236
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:       1382040 kB
Buffers:         44640 kB
Cached:         487596 kB
SwapCached:          0 kB
Active:         242448 kB
Inactive:       356240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1382040 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7792 kB
Writeback:           0 kB
Mapped:          93012 kB
Slab:            59812 kB
Committed_AS:  7778484 kB
PageTables:       2344 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= 66557 MiB



End job on node17 on Fri Jan 19 17:03:11 UTC 2007