Trace number 275597

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.19 2411.37

General information on the benchmark

Namefapp/fapp36-40/fapp37/
fapp37-2250-2.xml
MD5SUMbac99f9958b80c8ec534e72953bba797
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints37163
Best CPU time to get the best result obtained on this benchmark2400.19
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/275597-1169223811/unknown.xml
0.38	   
0.38	   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.4  mem=46M738
0.89	   
0.89	   predicates being loaded...
0.89	   
0.89	   constraints being loaded...
61.28	   
61.28	   INFO : Stopping converting binary constraints (cpu=60.1, mem = 108M439)
65.22	     nbConstraints=42699  nbConvertedConstraints=325  nbConvertConstraintsChecks=187108336  nbExtensionStructures=312
65.22	     nbSharedExtensionStructures=13  nbConflictsStructures=312  nbSharedConflictsStructures=13
65.22	     nbSharedBinaryRepresentations=394553  nbEvaluationManagers=21013  nbSharedEvaluationManagers=21361  maxDegree=136
65.22	     maxArity=2
65.22	       =>  wckTime=64.906  cpuTime=63.34  mem=144M13
65.65	   
65.65	   solver LocalSearchSolver being built... 
65.69	       =>  wckTime=65.383  cpuTime=63.38  mem=115M557
67.47	
67.47	s SATISFIABLE
67.47	o 31169
67.47	c 11530
68.21	o 31185
68.21	c 11514
68.86	o 31195
68.86	c 11504
69.43	o 31209
69.43	c 11490
69.96	o 31225
69.96	c 11474
70.31	o 31244
70.31	c 11455
70.81	o 31260
70.81	c 11439
71.22	o 31276
71.22	c 11423
71.60	o 31281
71.60	c 11418
72.16	o 31289
72.16	c 11410
72.57	o 31304
72.57	c 11395
72.86	o 31318
72.86	c 11381
73.25	o 31336
73.25	c 11363
73.67	o 31344
73.67	c 11355
74.01	o 31357
74.01	c 11342
74.29	o 31369
74.29	c 11330
74.54	o 31387
74.54	c 11312
74.91	o 31396
74.91	c 11303
75.14	o 31411
75.14	c 11288
75.47	o 31418
75.47	c 11281
75.67	o 31430
75.67	c 11269
75.87	o 31446
75.87	c 11253
76.41	o 31456
76.41	c 11243
76.65	o 31471
76.65	c 11228
76.95	o 31488
76.95	c 11211
77.29	o 31504
77.29	c 11195
77.62	o 31519
77.62	c 11180
77.91	o 31521
77.91	c 11178
78.29	o 31537
78.29	c 11162
78.47	o 31549
78.47	c 11150
78.79	o 31566
78.79	c 11133
79.02	o 31572
79.02	c 11127
79.31	o 31582
79.31	c 11117
79.74	o 31593
79.74	c 11106
80.30	o 31607
80.30	c 11092
80.61	o 31608
80.61	c 11091
80.97	o 31611
80.97	c 11088
81.25	o 31612
81.25	c 11087
81.56	o 31625
81.56	c 11074
81.94	o 31637
81.94	c 11062
82.19	o 31649
82.20	c 11050
82.35	o 31656
82.35	c 11043
82.70	o 31668
82.70	c 11031
82.92	o 31670
82.92	c 11029
83.24	o 31676
83.24	c 11023
83.73	o 31678
83.73	c 11021
83.97	o 31682
83.97	c 11017
84.37	o 31692
84.37	c 11007
84.73	o 31697
84.73	c 11002
85.55	o 31707
85.55	c 10992
85.91	o 31709
85.91	c 10990
86.23	o 31724
86.23	c 10975
86.44	o 31731
86.44	c 10968
86.78	o 31742
86.78	c 10957
86.99	o 31757
86.99	c 10942
87.43	o 31772
87.43	c 10927
87.67	o 31781
87.67	c 10918
87.85	o 31790
87.85	c 10909
88.36	o 31797
88.36	c 10902
88.76	o 31798
88.76	c 10901
89.10	o 31806
89.10	c 10893
89.60	o 31807
89.60	c 10892
90.11	o 31823
90.11	c 10876
90.35	o 31839
90.35	c 10860
90.72	o 31840
90.72	c 10859
91.08	o 31852
91.08	c 10847
91.50	o 31856
91.50	c 10843
91.86	o 31859
91.86	c 10840
92.25	o 31866
92.25	c 10833
92.57	o 31882
92.57	c 10817
93.06	o 31890
93.06	c 10809
93.59	o 31900
93.59	c 10799
93.99	o 31909
93.99	c 10790
94.47	o 31923
94.47	c 10776
94.88	o 31929
94.88	c 10770
95.25	o 31935
95.25	c 10764
95.71	o 31942
95.71	c 10757
95.98	o 31954
95.98	c 10745
96.31	o 31965
96.31	c 10734
96.67	o 31974
96.67	c 10725
97.26	o 31986
97.26	c 10713
97.61	o 31996
97.61	c 10703
97.90	o 32001
97.90	c 10698
98.24	o 32006
98.24	c 10693
98.54	o 32014
98.54	c 10685
98.96	o 32021
98.96	c 10678
99.36	o 32029
99.36	c 10670
100.00	o 32032
100.00	c 10667
100.61	o 32040
100.61	c 10659
101.28	o 32049
101.28	c 10650
102.10	o 32056
102.10	c 10643
102.71	o 32057
102.71	c 10642
103.33	o 32059
103.33	c 10640
103.95	o 32065
103.95	c 10634
104.45	o 32075
104.45	c 10624
104.95	o 32083
104.95	c 10616
106.11	o 32093
106.11	c 10606
106.86	o 32094
106.86	c 10605
107.38	o 32096
107.38	c 10603
108.10	o 32098
108.10	c 10601
108.56	o 32099
108.56	c 10600
109.13	o 32101
109.13	c 10598
109.84	o 32111
109.84	c 10588
111.04	o 32113
111.04	c 10586
111.81	o 32114
111.81	c 10585
112.82	o 32127
112.82	c 10572
113.22	o 32134
113.22	c 10565
113.85	o 32142
113.85	c 10557
114.78	o 32148
114.78	c 10551
115.36	o 32149
115.36	c 10550
115.91	o 32163
115.91	c 10536
116.30	o 32185
116.30	c 10514
116.70	o 32191
116.70	c 10508
117.12	o 32192
117.12	c 10507
117.52	o 32197
117.52	c 10502
117.85	o 32204
117.85	c 10495
118.92	o 32206
118.92	c 10493
119.21	o 32224
119.21	c 10475
119.59	o 32230
119.59	c 10469
119.91	o 32250
119.91	c 10449
120.27	o 32253
120.27	c 10446
120.74	o 32265
120.74	c 10434
121.03	o 32270
121.03	c 10429
121.48	o 32273
121.48	c 10426
122.08	o 32276
122.08	c 10423
122.50	o 32281
122.50	c 10418
122.95	o 32284
122.95	c 10415
123.37	o 32290
123.37	c 10409
123.75	o 32298
123.75	c 10401
124.26	o 32306
124.26	c 10393
124.86	o 32311
124.86	c 10388
125.28	o 32321
125.28	c 10378
125.69	o 32322
125.69	c 10377
126.12	o 32335
126.12	c 10364
126.43	o 32348
126.43	c 10351
126.80	o 32363
126.80	c 10336
127.43	o 32373
127.44	c 10326
127.79	o 32376
127.79	c 10323
128.15	o 32383
128.15	c 10316
128.42	o 32393
128.42	c 10306
128.72	o 32402
128.72	c 10297
129.24	o 32409
129.24	c 10290
129.57	o 32414
129.57	c 10285
130.77	o 32415
130.77	c 10284
131.29	o 32416
131.29	c 10283
132.69	o 32420
132.69	c 10279
133.33	o 32431
133.33	c 10268
134.12	o 32437
134.12	c 10262
134.70	o 32443
134.70	c 10256
135.18	o 32452
135.18	c 10247
135.70	o 32458
135.70	c 10241
136.22	o 32468
136.22	c 10231
136.68	o 32475
136.68	c 10224
137.57	o 32487
137.57	c 10212
138.24	o 32496
138.24	c 10203
138.75	o 32503
138.75	c 10196
139.22	o 32505
139.22	c 10194
139.65	o 32508
139.65	c 10191
140.12	o 32510
140.12	c 10189
140.50	o 32516
140.50	c 10183
141.00	o 32524
141.00	c 10175
141.45	o 32526
141.45	c 10173
141.94	o 32528
141.94	c 10171
143.17	o 32530
143.17	c 10169
143.60	o 32531
143.60	c 10168
144.12	o 32532
144.12	c 10167
144.55	o 32545
144.55	c 10154
145.01	o 32546
145.01	c 10153
146.42	o 32554
146.42	c 10145
146.95	o 32555
146.95	c 10144
147.65	o 32556
147.65	c 10143
148.39	o 32565
148.39	c 10134
149.21	o 32570
149.21	c 10129
149.85	o 32577
149.85	c 10122
150.54	o 32579
150.54	c 10120
151.39	o 32580
151.39	c 10119
152.20	o 32591
152.20	c 10108
153.03	o 32602
153.03	c 10097
154.72	o 32607
154.72	c 10092
156.96	o 32614
156.96	c 10085
157.61	o 32622
157.61	c 10077
158.20	o 32623
158.20	c 10076
158.69	o 32631
158.69	c 10068
159.13	o 32641
159.13	c 10058
159.62	o 32649
159.62	c 10050
160.13	o 32658
160.13	c 10041
160.68	o 32667
160.68	c 10032
161.23	o 32676
161.23	c 10023
161.76	o 32678
161.76	c 10021
162.28	o 32686
162.28	c 10013
162.84	o 32693
162.84	c 10006
163.39	o 32700
163.39	c 9999
163.93	o 32707
163.93	c 9992
164.49	o 32714
164.49	c 9985
165.03	o 32721
165.03	c 9978
165.55	o 32727
165.55	c 9972
166.08	o 32733
166.08	c 9966
166.66	o 32737
166.66	c 9962
167.25	o 32741
167.25	c 9958
167.88	o 32745
167.88	c 9954
168.54	o 32749
168.54	c 9950
169.19	o 32760
169.19	c 9939
169.80	o 32761
169.80	c 9938
170.44	o 32764
170.44	c 9935
171.53	o 32775
171.53	c 9924
172.03	o 32778
172.03	c 9921
172.56	o 32787
172.56	c 9912
173.07	o 32799
173.07	c 9900
173.60	o 32801
173.60	c 9898
174.11	o 32803
174.11	c 9896
174.67	o 32805
174.67	c 9894
175.22	o 32807
175.22	c 9892
175.76	o 32809
175.76	c 9890
176.29	o 32810
176.29	c 9889
176.87	o 32811
176.87	c 9888
177.39	o 32812
177.39	c 9887
177.91	o 32813
177.91	c 9886
178.48	o 32814
178.48	c 9885
178.97	o 32815
178.97	c 9884
179.50	o 32816
179.50	c 9883
180.10	o 32821
180.10	c 9878
180.61	o 32822
180.61	c 9877
182.99	o 32827
182.99	c 9872
183.62	o 32829
183.62	c 9870
184.30	o 32830
184.30	c 9869
184.89	o 32839
184.89	c 9860
185.43	o 32847
185.43	c 9852
186.03	o 32854
186.03	c 9845
187.81	o 32857
187.81	c 9842
188.38	o 32864
188.38	c 9835
188.92	o 32868
188.92	c 9831
189.45	o 32878
189.45	c 9821
189.98	o 32886
189.98	c 9813
191.53	o 32888
191.53	c 9811
192.04	o 32893
192.04	c 9806
192.52	o 32895
192.52	c 9804
194.71	o 32898
194.71	c 9801
195.90	o 32899
195.90	c 9800
196.50	o 32903
196.50	c 9796
197.11	o 32909
197.11	c 9790
197.66	o 32918
197.66	c 9781
198.16	o 32932
198.16	c 9767
199.17	o 32935
199.17	c 9764
199.72	o 32942
199.72	c 9757
200.28	o 32948
200.28	c 9751
200.80	o 32954
200.80	c 9745
201.40	o 32960
201.40	c 9739
201.97	o 32965
201.97	c 9734
202.56	o 32970
202.56	c 9729
203.07	o 32983
203.07	c 9716
205.89	o 32985
205.89	c 9714
206.34	o 32987
206.34	c 9712
206.86	o 32989
206.86	c 9710
207.34	o 32991
207.34	c 9708
207.82	o 32993
207.82	c 9706
208.31	o 32994
208.31	c 9705
208.81	o 33000
208.81	c 9699
209.20	o 33001
209.20	c 9698
209.61	o 33010
209.61	c 9689
210.00	o 33011
210.00	c 9688
210.43	o 33014
210.43	c 9685
210.97	o 33015
210.97	c 9684
211.36	o 33024
211.36	c 9675
212.08	o 33025
212.08	c 9674
213.70	o 33028
213.70	c 9671
214.74	o 33041
214.74	c 9658
215.80	o 33047
215.80	c 9652
216.27	o 33054
216.27	c 9645
219.42	o 33056
219.42	c 9643
220.01	o 33061
220.01	c 9638
220.65	o 33070
220.65	c 9629
221.24	o 33073
221.24	c 9626
221.95	o 33081
221.95	c 9618
222.59	o 33084
222.59	c 9615
223.20	o 33089
223.20	c 9610
223.84	o 33091
223.84	c 9608
225.12	o 33102
225.12	c 9597
225.81	o 33110
225.81	c 9589
226.49	o 33115
226.49	c 9584
228.56	o 33119
228.56	c 9580
229.23	o 33123
229.23	c 9576
229.99	o 33127
229.99	c 9572
230.59	o 33135
230.59	c 9564
231.18	o 33137
231.18	c 9562
231.78	o 33141
231.78	c 9558
232.43	o 33145
232.43	c 9554
233.06	o 33149
233.06	c 9550
233.69	o 33152
233.69	c 9547
234.30	o 33155
234.30	c 9544
234.92	o 33158
234.92	c 9541
235.48	o 33163
235.48	c 9536
236.16	o 33165
236.16	c 9534
236.78	o 33167
236.78	c 9532
237.37	o 33172
237.37	c 9527
238.03	o 33174
238.03	c 9525
238.69	o 33176
238.69	c 9523
239.91	o 33181
239.91	c 9518
240.51	o 33186
240.51	c 9513
241.08	o 33188
241.08	c 9511
241.67	o 33190
241.67	c 9509
242.34	o 33191
242.34	c 9508
242.92	o 33200
242.92	c 9499
243.54	o 33201
243.54	c 9498
244.13	o 33202
244.13	c 9497
245.28	o 33208
245.28	c 9491
246.01	o 33224
246.01	c 9475
246.50	o 33230
246.50	c 9469
247.10	o 33232
247.10	c 9467
250.32	o 33248
250.32	c 9451
250.88	o 33257
250.88	c 9442
251.98	o 33258
251.98	c 9441
252.41	o 33260
252.41	c 9439
252.96	o 33263
252.96	c 9436
253.46	o 33270
253.46	c 9429
254.05	o 33272
254.05	c 9427
254.57	o 33278
254.57	c 9421
255.20	o 33289
255.20	c 9410
255.78	o 33292
255.78	c 9407
256.91	o 33301
256.91	c 9398
257.44	o 33309
257.44	c 9390
257.92	o 33316
257.92	c 9383
259.57	o 33327
259.57	c 9372
260.20	o 33335
260.20	c 9364
260.72	o 33336
260.72	c 9363
261.37	o 33339
261.37	c 9360
261.92	o 33342
261.92	c 9357
262.49	o 33356
262.49	c 9343
263.06	o 33364
263.06	c 9335
265.11	o 33366
265.11	c 9333
266.44	o 33369
266.44	c 9330
267.03	o 33373
267.03	c 9326
268.11	o 33375
268.11	c 9324
268.65	o 33381
268.65	c 9318
269.19	o 33389
269.19	c 9310
269.70	o 33390
269.70	c 9309
270.21	o 33398
270.21	c 9301
270.80	o 33407
270.80	c 9292
271.30	o 33415
271.30	c 9284
271.81	o 33422
271.81	c 9277
272.32	o 33429
272.32	c 9270
272.87	o 33434
272.87	c 9265
273.48	o 33439
273.48	c 9260
274.02	o 33446
274.02	c 9253
274.57	o 33451
274.57	c 9248
275.09	o 33460
275.09	c 9239
275.67	o 33464
275.67	c 9235
276.21	o 33468
276.21	c 9231
276.81	o 33471
276.81	c 9228
277.37	o 33474
277.37	c 9225
277.96	o 33477
277.96	c 9222
278.52	o 33479
278.52	c 9220
279.07	o 33481
279.07	c 9218
279.66	o 33483
279.66	c 9216
280.22	o 33485
280.22	c 9214
280.90	o 33487
280.90	c 9212
281.65	o 33489
281.65	c 9210
282.29	o 33495
282.29	c 9204
282.83	o 33499
282.83	c 9200
283.50	o 33512
283.50	c 9187
284.08	o 33514
284.08	c 9185
284.62	o 33516
284.62	c 9183
285.18	o 33518
285.18	c 9181
285.85	o 33519
285.85	c 9180
286.45	o 33520
286.45	c 9179
287.05	o 33521
287.05	c 9178
287.67	o 33522
287.67	c 9177
288.26	o 33536
288.26	c 9163
288.88	o 33537
288.88	c 9162
293.25	o 33543
293.25	c 9156
295.02	o 33547
295.02	c 9152
295.78	o 33549
295.78	c 9150
296.29	o 33553
296.29	c 9146
296.94	o 33564
296.94	c 9135
297.49	o 33567
297.49	c 9132
298.06	o 33569
298.06	c 9130
298.72	o 33570
298.72	c 9129
299.88	o 33573
299.88	c 9126
300.44	o 33585
300.44	c 9114
301.08	o 33595
301.08	c 9104
301.68	o 33597
301.68	c 9102
302.23	o 33602
302.23	c 9097
303.51	o 33608
303.51	c 9091
304.03	o 33631
304.03	c 9068
304.60	o 33633
304.60	c 9066
305.20	o 33641
305.20	c 9058
305.87	o 33645
305.87	c 9054
306.46	o 33646
306.46	c 9053
307.20	o 33656
307.20	c 9043
308.40	o 33657
308.40	c 9042
310.28	o 33663
310.28	c 9036
310.93	o 33666
310.93	c 9033
312.27	o 33678
312.27	c 9021
313.25	o 33688
313.25	c 9011
313.83	o 33689
313.83	c 9010
314.54	o 33694
314.54	c 9005
315.23	o 33699
315.23	c 9000
315.84	o 33703
315.84	c 8996
316.49	o 33710
316.49	c 8989
319.50	o 33714
319.50	c 8985
320.03	o 33716
320.03	c 8983
320.63	o 33723
320.63	c 8976
321.19	o 33726
321.19	c 8973
321.76	o 33733
321.76	c 8966
322.90	o 33735
322.90	c 8964
323.47	o 33739
323.47	c 8960
324.04	o 33743
324.04	c 8956
324.66	o 33751
324.66	c 8948
325.32	o 33752
325.32	c 8947
325.96	o 33762
325.96	c 8937
326.51	o 33768
326.51	c 8931
327.04	o 33777
327.04	c 8922
327.59	o 33778
327.59	c 8921
328.12	o 33781
328.12	c 8918
329.15	o 33796
329.15	c 8903
329.65	o 33800
329.65	c 8899
330.16	o 33804
330.16	c 8895
330.71	o 33807
330.71	c 8892
331.31	o 33813
331.31	c 8886
331.81	o 33819
331.81	c 8880
332.41	o 33820
332.41	c 8879
333.03	o 33824
333.03	c 8875
333.65	o 33825
333.65	c 8874
334.87	o 33831
334.87	c 8868
335.46	o 33833
335.46	c 8866
336.02	o 33840
336.02	c 8859
336.72	o 33844
336.72	c 8855
337.40	o 33851
337.40	c 8848
338.08	o 33857
338.08	c 8842
338.78	o 33862
338.78	c 8837
339.46	o 33867
339.46	c 8832
340.16	o 33879
340.16	c 8820
340.79	o 33883
340.79	c 8816
342.06	o 33890
342.06	c 8809
342.65	o 33894
342.65	c 8805
343.37	o 33897
343.37	c 8802
344.02	o 33900
344.02	c 8799
344.69	o 33901
344.70	c 8798
345.28	o 33904
345.28	c 8795
345.88	o 33907
345.88	c 8792
346.52	o 33909
346.52	c 8790
347.12	o 33911
347.12	c 8788
347.75	o 33913
347.75	c 8786
348.37	o 33915
348.37	c 8784
348.96	o 33916
348.96	c 8783
349.56	o 33917
349.56	c 8782
350.20	o 33922
350.20	c 8777
350.84	o 33923
350.84	c 8776
351.54	o 33924
351.54	c 8775
352.28	o 33925
352.28	c 8774
352.87	o 33926
352.87	c 8773
353.53	o 33938
353.53	c 8761
354.16	o 33939
354.16	c 8760
356.86	o 33950
356.86	c 8749
358.16	o 33951
358.16	c 8748
358.86	o 33955
358.86	c 8744
359.50	o 33957
359.50	c 8742
360.17	o 33967
360.17	c 8732
364.16	o 33970
364.16	c 8729
364.73	o 33976
364.74	c 8723
365.36	o 33981
365.36	c 8718
366.59	o 33982
366.59	c 8717
367.23	o 33990
367.23	c 8709
367.89	o 33999
367.89	c 8700
368.56	o 34004
368.56	c 8695
369.94	o 34012
369.94	c 8687
370.57	o 34016
370.57	c 8683
371.18	o 34022
371.18	c 8677
371.82	o 34025
371.82	c 8674
372.40	o 34026
372.40	c 8673
373.01	o 34029
373.01	c 8670
374.15	o 34031
374.15	c 8668
375.32	o 34037
375.32	c 8662
375.91	o 34051
375.91	c 8648
377.20	o 34056
377.20	c 8643
377.80	o 34058
377.80	c 8641
378.42	o 34063
378.42	c 8636
379.03	o 34069
379.03	c 8630
379.61	o 34073
379.61	c 8626
380.21	o 34076
380.21	c 8623
380.83	o 34085
380.83	c 8614
381.40	o 34086
381.40	c 8613
382.12	o 34087
382.12	c 8612
383.32	o 34092
383.32	c 8607
383.90	o 34094
383.90	c 8605
384.55	o 34096
384.55	c 8603
385.14	o 34098
385.14	c 8601
385.76	o 34101
385.76	c 8598
386.43	o 34103
386.43	c 8596
387.62	o 34105
387.62	c 8594
388.27	o 34109
388.27	c 8590
388.86	o 34113
388.86	c 8586
389.58	o 34115
389.58	c 8584
390.20	o 34118
390.20	c 8581
390.87	o 34120
390.87	c 8579
391.55	o 34125
391.55	c 8574
392.25	o 34126
392.25	c 8573
392.95	o 34135
392.95	c 8564
393.65	o 34142
393.65	c 8557
394.28	o 34143
394.28	c 8556
394.95	o 34145
394.95	c 8554
396.98	o 34148
396.98	c 8551
399.71	o 34150
399.71	c 8549
400.55	o 34153
400.55	c 8546
401.38	o 34154
401.38	c 8545
402.36	o 34155
402.36	c 8544
403.98	o 34159
403.98	c 8540
405.81	o 34160
405.81	c 8539
407.62	o 34163
407.62	c 8536
408.49	o 34165
408.49	c 8534
409.43	o 34167
409.43	c 8532
410.45	o 34170
410.45	c 8529
411.40	o 34172
411.40	c 8527
412.35	o 34173
412.35	c 8526
413.32	o 34174
413.32	c 8525
414.25	o 34180
414.25	c 8519
415.23	o 34181
415.23	c 8518
416.19	o 34182
416.19	c 8517
418.12	o 34185
418.12	c 8514
419.07	o 34186
419.07	c 8513
424.97	o 34195
424.97	c 8504
425.99	o 34201
425.99	c 8498
427.01	o 34202
427.01	c 8497
430.32	o 34207
430.33	c 8492
431.07	o 34213
431.07	c 8486
432.08	o 34214
432.08	c 8485
433.11	o 34222
433.11	c 8477
434.11	o 34227
434.11	c 8472
435.11	o 34229
435.11	c 8470
436.11	o 34243
436.11	c 8456
438.10	o 34244
438.10	c 8455
439.06	o 34245
439.06	c 8454
440.06	o 34246
440.06	c 8453
442.12	o 34249
442.12	c 8450
443.13	o 34254
443.13	c 8445
444.06	o 34262
444.06	c 8437
445.06	o 34263
445.06	c 8436
445.97	o 34274
445.97	c 8425
448.69	o 34281
448.70	c 8418
449.54	o 34288
449.54	c 8411
451.20	o 34291
451.20	c 8408
452.07	o 34292
452.07	c 8407
452.92	o 34295
452.92	c 8404
453.75	o 34298
453.75	c 8401
454.60	o 34311
454.60	c 8388
457.03	o 34320
457.03	c 8379
457.87	o 34321
457.87	c 8378
459.62	o 34334
459.62	c 8365
460.43	o 34336
460.43	c 8363
461.28	o 34343
461.28	c 8356
462.13	o 34345
462.13	c 8354
463.81	o 34349
463.81	c 8350
464.69	o 34354
464.69	c 8345
465.72	o 34355
465.72	c 8344
466.68	o 34363
466.68	c 8336
467.62	o 34366
467.62	c 8333
468.62	o 34368
468.62	c 8331
469.65	o 34370
469.65	c 8329
470.52	o 34382
470.52	c 8317
471.41	o 34387
471.41	c 8312
472.23	o 34402
472.23	c 8297
473.99	o 34409
473.99	c 8290
474.87	o 34417
474.87	c 8282
475.82	o 34425
475.82	c 8274
476.68	o 34428
476.68	c 8271
479.38	o 34435
479.38	c 8264
480.43	o 34442
480.43	c 8257
481.34	o 34447
481.34	c 8252
482.24	o 34448
482.24	c 8251
490.05	o 34450
490.05	c 8249
493.16	o 34453
493.16	c 8246
495.27	o 34454
495.27	c 8245
496.25	o 34457
496.25	c 8242
497.18	o 34458
497.18	c 8241
498.12	o 34464
498.12	c 8235
499.08	o 34467
499.08	c 8232
500.01	o 34470
500.01	c 8229
500.92	o 34473
500.92	c 8226
501.80	o 34476
501.80	c 8223
502.78	o 34481
502.78	c 8218
504.68	o 34487
504.68	c 8212
506.42	o 34491
506.42	c 8208
507.26	o 34493
507.26	c 8206
508.19	o 34498
508.19	c 8201
509.09	o 34499
509.09	c 8200
509.96	o 34500
509.96	c 8199
510.83	o 34501
510.83	c 8198
511.70	o 34508
511.70	c 8191
512.64	o 34509
512.64	c 8190
514.61	o 34513
514.61	c 8186
515.59	o 34519
515.59	c 8180
516.52	o 34527
516.52	c 8172
517.40	o 34528
517.40	c 8171
518.33	o 34532
518.33	c 8167
519.30	o 34534
519.30	c 8165
520.34	o 34537
520.34	c 8162
521.38	o 34539
521.38	c 8160
522.41	o 34542
522.41	c 8157
523.37	o 34544
523.37	c 8155
524.33	o 34551
524.33	c 8148
524.96	o 34559
524.96	c 8140
525.98	o 34562
525.98	c 8137
526.92	o 34565
526.92	c 8134
527.85	o 34567
527.85	c 8132
528.78	o 34569
528.78	c 8130
529.74	o 34571
529.74	c 8128
530.65	o 34573
530.65	c 8126
531.57	o 34574
531.57	c 8125
532.57	o 34581
532.57	c 8118
533.55	o 34582
533.55	c 8117
534.54	o 34583
534.54	c 8116
535.49	o 34584
535.49	c 8115
536.45	o 34585
536.45	c 8114
537.46	o 34586
537.46	c 8113
538.40	o 34587
538.40	c 8112
539.45	o 34588
539.45	c 8111
542.19	o 34591
542.19	c 8108
543.04	o 34601
543.04	c 8098
543.89	o 34602
543.89	c 8097
544.77	o 34606
544.77	c 8093
545.70	o 34611
545.70	c 8088
546.61	o 34612
546.61	c 8087
547.50	o 34617
547.50	c 8082
548.43	o 34619
548.43	c 8080
549.42	o 34625
549.42	c 8074
550.35	o 34627
550.35	c 8072
551.24	o 34634
551.24	c 8065
552.22	o 34635
552.22	c 8064
553.15	o 34637
553.15	c 8062
554.16	o 34638
554.16	c 8061
555.15	o 34639
555.15	c 8060
568.50	o 34642
568.50	c 8057
569.40	o 34643
569.40	c 8056
571.28	o 34646
571.28	c 8053
572.19	o 34647
572.19	c 8052
573.09	o 34648
573.09	c 8051
574.84	o 34649
574.84	c 8050
575.68	o 34655
575.68	c 8044
576.55	o 34659
576.55	c 8040
577.42	o 34660
577.42	c 8039
578.28	o 34661
578.28	c 8038
579.15	o 34662
579.15	c 8037
580.17	o 34666
580.17	c 8033
581.15	o 34669
581.15	c 8030
582.16	o 34673
582.16	c 8026
583.20	o 34676
583.20	c 8023
584.17	o 34682
584.17	c 8017
585.03	o 34686
585.03	c 8013
586.12	o 34688
586.12	c 8011
587.12	o 34690
587.12	c 8009
588.94	o 34696
588.94	c 8003
590.92	o 34702
590.92	c 7997
591.94	o 34706
591.94	c 7993
593.02	o 34707
593.02	c 7992
594.00	o 34708
594.00	c 7991
595.02	o 34709
595.02	c 7990
596.03	o 34713
596.03	c 7986
598.96	o 34719
598.96	c 7980
599.86	o 34720
599.86	c 7979
600.90	o 34721
600.90	c 7978
601.93	o 34727
601.93	c 7972
602.98	o 34729
602.98	c 7970
604.07	o 34735
604.07	c 7964
605.17	o 34742
605.17	c 7957
606.26	o 34745
606.26	c 7954
607.39	o 34747
607.39	c 7952
611.93	o 34751
611.93	c 7948
614.10	o 34753
614.10	c 7946
615.35	o 34756
615.35	c 7943
618.84	o 34761
618.84	c 7938
623.37	o 34764
623.37	c 7935
624.56	o 34769
624.56	c 7930
625.57	o 34773
625.57	c 7926
626.75	o 34774
626.75	c 7925
627.96	o 34779
627.96	c 7920
629.12	o 34785
629.12	c 7914
634.46	o 34787
634.46	c 7912
635.55	o 34799
635.55	c 7900
636.55	o 34803
636.55	c 7896
638.52	o 34809
638.52	c 7890
640.59	o 34811
640.59	c 7888
641.68	o 34817
641.68	c 7882
642.80	o 34824
642.80	c 7875
643.84	o 34825
643.84	c 7874
647.12	o 34829
647.12	c 7870
648.24	o 34834
648.24	c 7865
649.36	o 34835
649.36	c 7864
650.45	o 34842
650.45	c 7857
651.46	o 34843
651.46	c 7856
652.49	o 34849
652.49	c 7850
653.48	o 34854
653.48	c 7845
654.42	o 34856
654.42	c 7843
655.46	o 34863
655.46	c 7836
656.54	o 34870
656.54	c 7829
657.57	o 34874
657.57	c 7825
658.50	o 34877
658.50	c 7822
659.48	o 34882
659.48	c 7817
661.42	o 34883
661.42	c 7816
664.78	o 34884
664.78	c 7815
665.88	o 34885
665.88	c 7814
666.95	o 34887
666.95	c 7812
668.04	o 34888
668.04	c 7811
669.17	o 34891
669.17	c 7808
670.24	o 34895
670.24	c 7804
677.64	o 34896
677.64	c 7803
678.68	o 34898
678.68	c 7801
679.88	o 34902
679.88	c 7797
685.26	o 34906
685.26	c 7793
686.35	o 34908
686.35	c 7791
687.46	o 34912
687.46	c 7787
688.59	o 34914
688.59	c 7785
689.63	o 34916
689.63	c 7783
691.86	o 34920
691.86	c 7779
692.97	o 34921
692.97	c 7778
697.15	o 34923
697.15	c 7776
698.16	o 34926
698.16	c 7773
699.27	o 34929
699.27	c 7770
700.36	o 34936
700.36	c 7763
701.46	o 34940
701.46	c 7759
705.06	o 34946
705.06	c 7753
706.28	o 34950
706.28	c 7749
707.48	o 34955
707.48	c 7744
708.78	o 34957
708.78	c 7742
709.98	o 34958
709.98	c 7741
712.48	o 34965
712.48	c 7734
713.72	o 34968
713.72	c 7731
718.72	o 34969
718.72	c 7730
719.87	o 34975
719.87	c 7724
720.97	o 34977
720.98	c 7722
722.06	o 34980
722.06	c 7719
723.12	o 34989
723.13	c 7710
724.24	o 34997
724.24	c 7702
725.28	o 34999
725.28	c 7700
726.45	o 35004
726.45	c 7695
727.58	o 35008
727.58	c 7691
728.63	o 35010
728.63	c 7689
729.74	o 35012
729.74	c 7687
730.86	o 35014
730.86	c 7685
733.15	o 35020
733.15	c 7679
735.71	o 35024
735.71	c 7675
739.20	o 35026
739.20	c 7673
740.38	o 35030
740.38	c 7669
741.61	o 35033
741.61	c 7666
742.74	o 35035
742.74	c 7664
743.96	o 35037
743.96	c 7662
745.20	o 35039
745.20	c 7660
746.45	o 35041
746.45	c 7658
748.82	o 35045
748.82	c 7654
750.05	o 35046
750.05	c 7653
752.47	o 35048
752.47	c 7651
753.73	o 35053
753.73	c 7646
754.99	o 35059
754.99	c 7640
758.83	o 35064
758.83	c 7635
761.29	o 35070
761.29	c 7629
763.78	o 35077
763.79	c 7622
765.07	o 35084
765.07	c 7615
766.31	o 35091
766.31	c 7608
767.57	o 35092
767.57	c 7607
768.82	o 35097
768.82	c 7602
771.35	o 35098
771.35	c 7601
772.65	o 35101
772.65	c 7598
773.98	o 35103
773.98	c 7596
775.27	o 35105
775.27	c 7594
777.89	o 35112
777.89	c 7587
779.23	o 35117
779.23	c 7582
780.56	o 35120
780.56	c 7579
781.89	o 35127
781.89	c 7572
783.23	o 35128
783.23	c 7571
784.64	o 35130
784.64	c 7569
788.64	o 35131
788.64	c 7568
789.91	o 35132
789.91	c 7567
791.22	o 35134
791.22	c 7565
793.86	o 35137
793.86	c 7562
796.58	o 35140
796.58	c 7559
797.92	o 35143
797.92	c 7556
799.19	o 35146
799.19	c 7553
800.58	o 35147
800.58	c 7552
808.73	o 35159
808.73	c 7540
809.90	o 35164
809.90	c 7535
810.64	o 35174
810.64	c 7525
811.62	o 35181
811.62	c 7518
812.87	o 35182
812.87	c 7517
815.38	o 35186
815.38	c 7513
816.68	o 35187
816.68	c 7512
817.91	o 35188
817.91	c 7511
819.21	o 35190
819.21	c 7509
820.47	o 35197
820.47	c 7502
821.79	o 35200
821.79	c 7499
823.03	o 35201
823.03	c 7498
825.54	o 35207
825.54	c 7492
826.79	o 35212
826.79	c 7487
828.03	o 35218
828.03	c 7481
829.42	o 35219
829.42	c 7480
830.69	o 35220
830.69	c 7479
832.00	o 35224
832.00	c 7475
833.29	o 35228
833.29	c 7471
834.57	o 35231
834.57	c 7468
835.87	o 35236
835.87	c 7463
837.20	o 35240
837.20	c 7459
838.57	o 35241
838.57	c 7458
839.94	o 35246
839.94	c 7453
852.91	o 35252
852.91	c 7447
854.27	o 35253
854.27	c 7446
855.55	o 35255
855.55	c 7444
858.21	o 35260
858.21	c 7439
860.83	o 35264
860.83	c 7435
863.56	o 35268
863.56	c 7431
864.93	o 35276
864.93	c 7423
867.50	o 35277
867.50	c 7422
870.12	o 35284
870.12	c 7415
871.52	o 35290
871.52	c 7409
872.77	o 35292
872.77	c 7407
874.01	o 35297
874.01	c 7402
876.69	o 35303
876.69	c 7396
877.95	o 35305
877.95	c 7394
879.30	o 35306
879.30	c 7393
880.60	o 35314
880.60	c 7385
891.92	o 35315
891.92	c 7384
893.17	o 35316
893.17	c 7383
894.42	o 35317
894.42	c 7382
899.33	o 35318
899.33	c 7381
901.77	o 35320
901.78	c 7379
903.06	o 35325
903.06	c 7374
905.69	o 35327
905.69	c 7372
907.01	o 35328
907.01	c 7371
911.08	o 35334
911.08	c 7365
912.42	o 35335
912.42	c 7364
915.13	o 35337
915.13	c 7362
916.37	o 35341
916.37	c 7358
917.68	o 35346
917.68	c 7353
918.93	o 35350
918.93	c 7349
920.24	o 35356
920.24	c 7343
921.52	o 35361
921.52	c 7338
922.82	o 35362
922.82	c 7337
924.11	o 35366
924.11	c 7333
925.53	o 35372
925.53	c 7327
926.88	o 35374
926.88	c 7325
928.20	o 35376
928.20	c 7323
937.39	o 35377
937.39	c 7322
938.84	o 35379
938.84	c 7320
940.23	o 35381
940.23	c 7318
941.62	o 35391
941.62	c 7308
944.37	o 35398
944.37	c 7301
945.71	o 35400
945.71	c 7299
947.02	o 35403
947.02	c 7296
948.19	o 35409
948.19	c 7290
952.23	o 35411
952.23	c 7288
953.58	o 35413
953.58	c 7286
957.87	o 35416
957.87	c 7283
959.26	o 35422
959.26	c 7277
960.57	o 35423
960.58	c 7276
961.92	o 35424
961.92	c 7275
963.14	o 35429
963.14	c 7270
965.60	o 35433
965.60	c 7266
967.02	o 35437
967.02	c 7262
969.67	o 35439
969.67	c 7260
970.88	o 35441
970.88	c 7258
972.08	o 35442
972.08	c 7257
973.37	o 35443
973.37	c 7256
974.59	o 35448
974.59	c 7251
975.90	o 35455
975.90	c 7244
977.21	o 35462
977.21	c 7237
979.81	o 35466
979.81	c 7233
982.36	o 35474
982.36	c 7225
985.00	o 35480
985.00	c 7219
986.37	o 35485
986.37	c 7214
987.70	o 35487
987.70	c 7212
990.51	o 35490
990.51	c 7209
991.91	o 35492
991.91	c 7207
993.38	o 35493
993.38	c 7206
996.18	o 35496
996.18	c 7203
997.66	o 35499
997.66	c 7200
1003.21	o 35510
1003.21	c 7189
1004.59	o 35514
1004.59	c 7185
1005.95	o 35515
1005.95	c 7184
1007.31	o 35519
1007.31	c 7180
1008.58	o 35534
1008.58	c 7165
1009.91	o 35537
1009.91	c 7162
1011.26	o 35543
1011.26	c 7156
1012.58	o 35546
1012.58	c 7153
1013.97	o 35549
1013.97	c 7150
1015.24	o 35551
1015.24	c 7148
1016.55	o 35555
1016.55	c 7144
1017.88	o 35562
1017.88	c 7137
1019.18	o 35568
1019.18	c 7131
1020.50	o 35571
1020.50	c 7128
1024.46	o 35575
1024.46	c 7124
1025.80	o 35581
1025.80	c 7118
1027.08	o 35582
1027.08	c 7117
1028.48	o 35595
1028.48	c 7104
1029.84	o 35598
1029.84	c 7101
1033.87	o 35603
1033.87	c 7096
1035.20	o 35605
1035.20	c 7094
1036.55	o 35608
1036.55	c 7091
1037.81	o 35612
1037.81	c 7087
1039.10	o 35617
1039.10	c 7082
1041.63	o 35618
1041.63	c 7081
1044.26	o 35627
1044.26	c 7072
1045.61	o 35629
1045.61	c 7070
1049.99	o 35635
1049.99	c 7064
1051.37	o 35636
1051.37	c 7063
1054.32	o 35643
1054.32	c 7056
1055.77	o 35645
1055.77	c 7054
1073.53	o 35648
1073.53	c 7051
1074.93	o 35650
1074.93	c 7049
1076.40	o 35656
1076.40	c 7043
1093.93	o 35657
1093.93	c 7042
1095.18	o 35661
1095.18	c 7038
1096.43	o 35664
1096.43	c 7035
1097.71	o 35666
1097.71	c 7033
1098.95	o 35673
1098.95	c 7026
1100.20	o 35679
1100.20	c 7020
1101.57	o 35683
1101.57	c 7016
1102.91	o 35687
1102.91	c 7012
1104.18	o 35697
1104.18	c 7002
1105.41	o 35698
1105.41	c 7001
1107.85	o 35700
1107.85	c 6999
1111.54	o 35704
1111.54	c 6995
1112.77	o 35710
1112.77	c 6989
1113.96	o 35713
1113.96	c 6986
1115.21	o 35715
1115.21	c 6984
1116.38	o 35723
1116.38	c 6976
1118.92	o 35724
1118.92	c 6975
1120.20	o 35727
1120.20	c 6972
1121.49	o 35729
1121.49	c 6970
1122.82	o 35734
1122.82	c 6965
1124.20	o 35736
1124.20	c 6963
1125.50	o 35740
1125.50	c 6959
1126.86	o 35743
1126.86	c 6956
1128.22	o 35746
1128.22	c 6953
1129.62	o 35747
1129.62	c 6952
1130.96	o 35754
1130.96	c 6945
1132.30	o 35759
1132.30	c 6940
1135.10	o 35765
1135.10	c 6934
1136.56	o 35767
1136.56	c 6932
1138.00	o 35772
1138.00	c 6927
1139.33	o 35773
1139.33	c 6926
1142.13	o 35779
1142.13	c 6920
1143.55	o 35781
1143.55	c 6918
1147.81	o 35782
1147.81	c 6917
1150.68	o 35785
1150.68	c 6914
1153.65	o 35786
1153.65	c 6913
1155.18	o 35790
1155.18	c 6909
1156.75	o 35797
1156.75	c 6902
1158.30	o 35803
1158.30	c 6896
1159.87	o 35806
1159.87	c 6893
1161.44	o 35809
1161.44	c 6890
1164.57	o 35814
1164.57	c 6885
1167.67	o 35817
1167.67	c 6882
1169.18	o 35820
1169.18	c 6879
1170.79	o 35824
1170.79	c 6875
1172.42	o 35831
1172.42	c 6868
1174.14	o 35843
1174.14	c 6856
1175.67	o 35847
1175.67	c 6852
1187.78	o 35848
1187.78	c 6851
1189.20	o 35852
1189.20	c 6847
1190.75	o 35858
1190.75	c 6841
1192.28	o 35861
1192.28	c 6838
1193.91	o 35864
1193.91	c 6835
1195.49	o 35867
1195.49	c 6832
1203.46	o 35868
1203.46	c 6831
1205.13	o 35872
1205.13	c 6827
1206.86	o 35877
1206.86	c 6822
1213.89	o 35882
1213.92	c 6817
1215.49	o 35887
1215.49	c 6812
1217.24	o 35893
1217.24	c 6806
1218.96	o 35895
1218.96	c 6804
1220.67	o 35899
1220.67	c 6800
1224.05	o 35903
1224.05	c 6796
1225.65	o 35904
1225.65	c 6795
1227.28	o 35909
1227.28	c 6790
1229.00	o 35910
1229.00	c 6789
1230.76	o 35914
1230.76	c 6785
1237.57	o 35934
1237.57	c 6765
1239.27	o 35938
1239.27	c 6761
1240.89	o 35940
1240.89	c 6759
1242.55	o 35944
1242.55	c 6755
1244.30	o 35946
1244.30	c 6753
1246.04	o 35948
1246.04	c 6751
1247.50	o 35952
1247.50	c 6747
1249.16	o 35958
1249.16	c 6741
1250.87	o 35978
1250.87	c 6721
1254.10	o 35982
1254.10	c 6717
1255.71	o 35986
1255.71	c 6713
1263.77	o 35988
1263.77	c 6711
1265.39	o 35990
1265.39	c 6709
1268.70	o 35996
1268.70	c 6703
1270.35	o 35997
1270.35	c 6702
1272.00	o 36002
1272.00	c 6697
1273.68	o 36004
1273.68	c 6695
1277.01	o 36007
1277.01	c 6692
1278.72	o 36008
1278.72	c 6691
1281.94	o 36013
1281.94	c 6686
1285.12	o 36017
1285.12	c 6682
1286.78	o 36020
1286.78	c 6679
1290.05	o 36021
1290.05	c 6678
1291.72	o 36025
1291.72	c 6674
1293.41	o 36031
1293.41	c 6668
1295.09	o 36032
1295.09	c 6667
1296.73	o 36036
1296.73	c 6663
1298.50	o 36041
1298.50	c 6658
1300.18	o 36042
1300.18	c 6657
1301.85	o 36043
1301.85	c 6656
1303.55	o 36045
1303.55	c 6654
1305.29	o 36048
1305.29	c 6651
1310.56	o 36049
1310.56	c 6650
1314.24	o 36054
1314.24	c 6645
1315.99	o 36057
1315.99	c 6642
1317.66	o 36060
1317.66	c 6639
1319.47	o 36066
1319.47	c 6633
1321.22	o 36072
1321.22	c 6627
1322.97	o 36077
1322.97	c 6622
1326.42	o 36084
1326.42	c 6615
1328.16	o 36085
1328.16	c 6614
1329.83	o 36089
1329.83	c 6610
1331.61	o 36096
1331.61	c 6603
1334.45	o 36097
1334.45	c 6602
1335.85	o 36098
1335.85	c 6601
1337.46	o 36102
1337.46	c 6597
1339.02	o 36107
1339.02	c 6592
1340.57	o 36124
1340.57	c 6575
1342.09	o 36126
1342.09	c 6573
1343.60	o 36129
1343.60	c 6570
1345.13	o 36133
1345.13	c 6566
1346.70	o 36135
1346.70	c 6564
1348.27	o 36137
1348.27	c 6562
1349.86	o 36139
1349.86	c 6560
1351.50	o 36142
1351.50	c 6557
1353.07	o 36150
1353.07	c 6549
1360.99	o 36153
1360.99	c 6546
1362.59	o 36154
1362.59	c 6545
1364.21	o 36155
1364.21	c 6544
1365.88	o 36156
1365.88	c 6543
1367.56	o 36160
1367.56	c 6539
1369.22	o 36161
1369.22	c 6538
1370.86	o 36163
1370.86	c 6536
1372.54	o 36166
1372.54	c 6533
1375.96	o 36171
1375.96	c 6528
1377.68	o 36176
1377.68	c 6523
1379.45	o 36179
1379.45	c 6520
1381.17	o 36180
1381.17	c 6519
1386.09	o 36182
1386.09	c 6517
1387.73	o 36192
1387.73	c 6507
1389.37	o 36195
1389.37	c 6504
1390.95	o 36198
1390.95	c 6501
1392.55	o 36200
1392.55	c 6499
1394.22	o 36201
1394.22	c 6498
1395.99	o 36204
1395.99	c 6495
1397.65	o 36208
1397.65	c 6491
1399.18	o 36212
1399.18	c 6487
1400.79	o 36218
1400.79	c 6481
1402.19	o 36221
1402.19	c 6478
1403.84	o 36222
1403.84	c 6477
1405.49	o 36226
1405.49	c 6473
1407.20	o 36228
1407.20	c 6471
1408.89	o 36231
1408.89	c 6468
1410.68	o 36234
1410.68	c 6465
1412.41	o 36238
1412.41	c 6461
1417.51	o 36242
1417.51	c 6457
1419.21	o 36246
1419.21	c 6453
1420.92	o 36249
1420.92	c 6450
1435.92	o 36251
1435.92	c 6448
1437.55	o 36253
1437.55	c 6446
1439.11	o 36259
1439.11	c 6440
1440.76	o 36260
1440.76	c 6439
1442.33	o 36266
1442.33	c 6433
1443.99	o 36267
1443.99	c 6432
1445.69	o 36272
1445.69	c 6427
1447.08	o 36276
1447.08	c 6423
1448.74	o 36279
1448.74	c 6420
1450.44	o 36281
1450.44	c 6418
1452.09	o 36282
1452.09	c 6417
1453.83	o 36286
1453.83	c 6413
1455.40	o 36290
1455.40	c 6409
1457.02	o 36294
1457.02	c 6405
1458.73	o 36296
1458.73	c 6403
1460.38	o 36299
1460.38	c 6400
1463.61	o 36302
1463.61	c 6397
1465.19	o 36306
1465.19	c 6393
1466.78	o 36311
1466.78	c 6388
1468.35	o 36314
1468.35	c 6385
1469.62	o 36315
1469.62	c 6384
1471.17	o 36320
1471.17	c 6379
1472.67	o 36322
1472.67	c 6377
1474.18	o 36327
1474.18	c 6372
1475.70	o 36332
1475.70	c 6367
1481.99	o 36336
1481.99	c 6363
1483.57	o 36338
1483.57	c 6361
1486.83	o 36340
1486.83	c 6359
1488.46	o 36344
1488.46	c 6355
1490.04	o 36347
1490.04	c 6352
1491.64	o 36349
1491.64	c 6350
1493.26	o 36352
1493.26	c 6347
1494.93	o 36354
1494.93	c 6345
1496.58	o 36373
1496.58	c 6326
1499.80	o 36375
1499.80	c 6324
1501.00	o 36379
1501.00	c 6320
1502.52	o 36382
1502.52	c 6317
1504.04	o 36386
1504.04	c 6313
1505.70	o 36390
1505.70	c 6309
1507.32	o 36396
1507.32	c 6303
1509.06	o 36402
1509.06	c 6297
1510.26	o 36409
1510.26	c 6290
1511.88	o 36415
1511.88	c 6284
1513.53	o 36417
1513.53	c 6282
1515.18	o 36422
1515.18	c 6277
1516.83	o 36428
1516.83	c 6271
1527.82	o 36429
1527.82	c 6270
1528.93	o 36431
1528.93	c 6268
1530.37	o 36432
1530.37	c 6267
1533.32	o 36434
1533.32	c 6265
1543.40	o 36437
1543.40	c 6262
1544.84	o 36442
1544.84	c 6257
1546.34	o 36447
1546.34	c 6252
1547.86	o 36454
1547.86	c 6245
1549.36	o 36457
1549.37	c 6242
1550.94	o 36461
1550.94	c 6238
1552.55	o 36464
1552.55	c 6235
1554.16	o 36465
1554.16	c 6234
1555.46	o 36466
1555.46	c 6233
1558.47	o 36468
1558.47	c 6231
1560.01	o 36473
1560.01	c 6226
1561.47	o 36479
1561.47	c 6220
1562.97	o 36493
1562.97	c 6206
1564.44	o 36495
1564.44	c 6204
1565.93	o 36500
1565.93	c 6199
1567.43	o 36503
1567.43	c 6196
1568.97	o 36506
1568.97	c 6193
1570.52	o 36510
1570.52	c 6189
1573.59	o 36512
1573.59	c 6187
1575.18	o 36518
1575.18	c 6181
1576.76	o 36524
1576.76	c 6175
1578.39	o 36529
1578.39	c 6170
1579.85	o 36530
1579.85	c 6169
1581.42	o 36550
1581.42	c 6149
1582.90	o 36552
1582.90	c 6147
1584.45	o 36553
1584.45	c 6146
1587.59	o 36554
1587.59	c 6145
1590.82	o 36555
1590.82	c 6144
1592.39	o 36558
1592.39	c 6141
1593.95	o 36560
1593.95	c 6139
1595.56	o 36567
1595.56	c 6132
1597.18	o 36571
1597.18	c 6128
1603.24	o 36573
1603.24	c 6126
1606.27	o 36575
1606.27	c 6124
1607.77	o 36580
1607.77	c 6119
1609.27	o 36585
1609.27	c 6114
1612.43	o 36588
1612.43	c 6111
1615.57	o 36600
1615.57	c 6099
1617.09	o 36605
1617.09	c 6094
1639.23	o 36607
1639.23	c 6092
1644.34	o 36608
1644.34	c 6091
1646.08	o 36612
1646.08	c 6087
1647.84	o 36614
1647.84	c 6085
1649.54	o 36615
1649.54	c 6084
1651.16	o 36622
1651.16	c 6077
1652.86	o 36624
1652.86	c 6075
1654.53	o 36626
1654.53	c 6073
1656.24	o 36630
1656.24	c 6069
1657.91	o 36634
1657.91	c 6065
1659.21	o 36636
1659.21	c 6063
1660.83	o 36639
1660.83	c 6060
1677.14	o 36640
1677.14	c 6059
1678.83	o 36641
1678.83	c 6058
1680.24	o 36645
1680.24	c 6054
1683.54	o 36647
1683.54	c 6052
1685.22	o 36652
1685.22	c 6047
1686.19	o 36657
1686.19	c 6042
1687.94	o 36658
1687.94	c 6041
1689.68	o 36662
1689.68	c 6037
1691.47	o 36667
1691.47	c 6032
1693.15	o 36673
1693.15	c 6026
1694.75	o 36675
1694.75	c 6024
1696.35	o 36677
1696.35	c 6022
1697.47	o 36681
1697.47	c 6018
1699.00	o 36685
1699.00	c 6014
1700.56	o 36691
1700.56	c 6008
1702.12	o 36694
1702.12	c 6005
1703.67	o 36696
1703.67	c 6003
1705.24	o 36698
1705.24	c 6001
1711.50	o 36700
1711.50	c 5999
1713.05	o 36708
1713.05	c 5991
1714.71	o 36713
1714.71	c 5986
1716.29	o 36716
1716.29	c 5983
1717.91	o 36721
1717.91	c 5978
1719.48	o 36737
1719.48	c 5962
1721.11	o 36741
1721.11	c 5958
1722.67	o 36745
1722.67	c 5954
1724.27	o 36753
1724.27	c 5946
1725.88	o 36755
1725.88	c 5944
1727.50	o 36758
1727.50	c 5941
1729.09	o 36760
1729.09	c 5939
1730.70	o 36764
1730.70	c 5935
1735.44	o 36772
1735.44	c 5927
1737.15	o 36778
1737.15	c 5921
1738.76	o 36781
1738.76	c 5918
1740.42	o 36782
1740.42	c 5917
1742.06	o 36788
1742.06	c 5911
1743.80	o 36792
1743.80	c 5907
1745.39	o 36805
1745.39	c 5894
1746.99	o 36810
1746.99	c 5889
1748.57	o 36811
1748.57	c 5888
1750.27	o 36815
1750.27	c 5884
1751.88	o 36820
1751.88	c 5879
1753.60	o 36826
1753.60	c 5873
1755.17	o 36831
1755.17	c 5868
1756.74	o 36836
1756.74	c 5863
1758.33	o 36839
1758.33	c 5860
1759.95	o 36841
1759.95	c 5858
1763.18	o 36845
1763.18	c 5854
1764.74	o 36855
1764.74	c 5844
1766.28	o 36857
1766.28	c 5842
1767.85	o 36869
1767.85	c 5830
1771.03	o 36874
1771.03	c 5825
1772.60	o 36879
1772.60	c 5820
1774.15	o 36883
1774.15	c 5816
1775.71	o 36887
1775.71	c 5812
1797.08	o 36891
1797.08	c 5808
1798.57	o 36892
1798.57	c 5807
1801.73	o 36897
1801.73	c 5802
1803.26	o 36898
1803.26	c 5801
1804.77	o 36900
1804.77	c 5799
1807.84	o 36903
1807.84	c 5796
1809.15	o 36904
1809.15	c 5795
1810.75	o 36905
1810.75	c 5794
1811.61	o 36911
1811.61	c 5788
1813.13	o 36913
1813.13	c 5786
1814.64	o 36918
1814.64	c 5781
1816.14	o 36920
1816.14	c 5779
1817.71	o 36927
1817.71	c 5772
1820.83	o 36928
1820.83	c 5771
1828.59	o 36929
1828.59	c 5770
1830.13	o 36931
1830.13	c 5768
1831.68	o 36932
1831.68	c 5767
1833.21	o 36936
1833.21	c 5763
1834.76	o 36940
1834.76	c 5759
1836.25	o 36944
1836.25	c 5755
1837.84	o 36946
1837.84	c 5753
1840.95	o 36947
1840.95	c 5752
1842.48	o 36949
1842.48	c 5750
1845.61	o 36958
1845.61	c 5741
1847.22	o 36960
1847.22	c 5739
1848.77	o 36963
1848.77	c 5736
1850.41	o 36964
1850.41	c 5735
1855.26	o 36966
1855.26	c 5733
1857.00	o 36970
1857.00	c 5729
1860.34	o 36974
1860.34	c 5725
1863.76	o 36979
1863.76	c 5720
1865.37	o 36982
1865.37	c 5717
1867.00	o 36984
1867.00	c 5715
1868.69	o 36987
1868.69	c 5712
1872.04	o 36992
1872.04	c 5707
1873.74	o 36995
1873.74	c 5704
1875.37	o 36998
1875.37	c 5701
1882.08	o 37002
1882.08	c 5697
1883.72	o 37004
1883.72	c 5695
1885.50	o 37007
1885.50	c 5692
1892.55	o 37012
1892.55	c 5687
1894.35	o 37013
1894.35	c 5686
1896.09	o 37016
1896.10	c 5683
1897.90	o 37020
1897.90	c 5679
1904.73	o 37023
1904.73	c 5676
1908.17	o 37024
1908.17	c 5675
1909.94	o 37028
1909.94	c 5671
1911.76	o 37036
1911.76	c 5663
1915.40	o 37038
1915.40	c 5661
1917.22	o 37040
1917.22	c 5659
1920.99	o 37043
1920.99	c 5656
1922.89	o 37044
1922.89	c 5655
1926.54	o 37046
1926.54	c 5653
1928.39	o 37053
1928.39	c 5646
1930.31	o 37055
1930.31	c 5644
1933.97	o 37060
1933.97	c 5639
1937.70	o 37061
1937.70	c 5638
1939.41	o 37062
1939.41	c 5637
1943.05	o 37066
1943.05	c 5633
1944.96	o 37071
1944.96	c 5628
1946.81	o 37077
1946.81	c 5622
1948.73	o 37085
1948.73	c 5614
1950.67	o 37086
1950.67	c 5613
1952.54	o 37090
1952.54	c 5609
1956.36	o 37091
1956.36	c 5608
1972.68	o 37096
1972.68	c 5603
1973.68	o 37098
1973.68	c 5601
1975.52	o 37101
1975.52	c 5598
1977.39	o 37104
1977.39	c 5595
1981.18	o 37108
1981.18	c 5591
1983.12	o 37110
1983.12	c 5589
1984.95	o 37119
1984.95	c 5580
1986.73	o 37124
1986.73	c 5575
1988.54	o 37126
1988.54	c 5573
1990.14	o 37130
1990.14	c 5569
1991.81	o 37132
1991.81	c 5567
1993.53	o 37134
1993.53	c 5565
1996.89	o 37135
1996.89	c 5564
1998.66	o 37138
1998.66	c 5561
2000.40	o 37143
2000.40	c 5556
2003.04	o 37144
2003.04	c 5555
2004.77	o 37148
2004.77	c 5551
2006.50	o 37150
2006.50	c 5549
2008.10	o 37151
2008.10	c 5548
2009.74	o 37160
2009.74	c 5539
2025.52	o 37161
2025.52	c 5538
2027.17	o 37162
2027.17	c 5537
2032.25	o 37163
2032.25	c 5536
2063.48	   
2063.48	   search
2063.48	     run=0  nbConstraintChecks=3412352451  nbAssignments=1828
2063.48	       =>  wckTime=1997.784  cpuTime=1988.24  mem=115M557
2063.48	   
2063.48	   global
2063.48	     nbConstraintChecks=3412352451  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2063.48	     solvingWckTime=1997.748  solvingCpuTime=1988.2  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2063.48	     globalCpuTime=2051.67
2063.48	       =>  wckTime=2063.168  cpuTime=2051.62  mem=115M557
2063.48	   
2063.48	   solver IterativeSystematicSolver being built... 
2065.20	       =>  wckTime=2064.884  cpuTime=2052.44  mem=491M59
2411.23	v -3572 -2948 -2560 2544 -3892 2252 2392 3940 2188 3960 2192 -4000 -3480 2168 3848 -3288 -3116 -3296 -2220 -2660 -2424 2620 -2460 2372 4012 -4004 3596 -2496 -3248 -2644 2388 3900 2900 2892 2880 -3036 3856 2224 -2860 2780 2576 -3160 2492 4112 3536 -2516 3868 -3832 -3496 2376 3952 2304 4112 -3844 2668 -3196 2380 -3984 2572 3740 -3604 4064 2152 2192 2788 -4012 -3608 -2700 2512 -2692 3140 4060 2488 -2280 3416 3448 -2496 -2296 -2376 -2480 2480 3468 2316 3652 -2148 2432 -3956 -3000 2564 -4032 -2920 -3472 2160 3684 -3972 4044 -3936 2148 2536 -2384 4100 2360 4012 2608 2636 3380 -3552 2196 3980 -2168 2156 -3684 -3300 -3776 -3388 2520 3304 2160 3968 3212 3676 -2760 -2264 2224 2268 2372 3176 3576 -3996 -2656 3784 -3832 2588 -2824 -3724 -4028 2456 -4064 3984 2408 -2688 -3368 3772 -3112 3116 2468 3980 -2256 -3656 -3264 3520 -2196 -3156 -2208 4032 3320 -2164 -3676 3184 2728 2700 3956 3900 2312 -4056 3316 3612 -2576 4076 -2728 -2612 -4064 -2308 2556 -3944 3000 2460 -3520 2216 3332 2788 4072 -4132 -3932 -3740 -2840 3176 -2544 -3108 2648 3712 -2932 -4032 -2456 -3968 -4012 -4012 -3996 2368 -2376 -4080 -2728 2140 2548 -2668 -2876 3988 3348 3960 2960 -4044 3976 -2616 3336 3172 2408 -3552 3400 -3992 -3880 2528 -2148 -3320 3936 -3964 4072 -2260 -2968 3980 2376 -3988 2352 -2928 -2652 -3388 -2500 3324 2160 3596 3848 -4096 -3144 2496 -4004 3856 -2156 2388 3852 2400 3240 -4012 -2212 2200 3148 3304 -3724 -4112 -4040 -4052 2620 -2380 2140 -2344 -3188 4012 3956 -3984 4000 3992 3052 2992 2812 3708 -3984 2384 2520 -2524 3376 2308 2864 2176 -3708 3992 -4084 -3316 -3900 2936 3972 -3612 3324 -3376 -2216 -3800 -3436 -3144 2156 -3572 2404 -4064 -3968 2196 -2780 2252 3616 -2668 3496 3312 2760 -2648 2536 2816 -3980 3924 4000 -3944 2140 3996 -3268 2264 2928 -4084 -2292 -3384 -2192 2152 2176 2296 4128 4028 -2412 2140 -2456 -2672 2924 -3432 -3744 3660 3992 2424 -4020 -3276 -3416 3924 4128 2796 3532 -3840 -2504 -2536 4044 -2464 -4064 -2916 4108 -2436 -3656 2156 -2144 -3548 -4132 2496 3956 2908 -2184 -2472 -3456 -3964 -3984 4092 3508 -2476 -4000 2184 -2992 2916 -2896 -2364 -3508 4072 2140 2372 -2716 -4008 -2196 -2204 -2652 2200 -3860 -2540 2592 2180 3968 2776 -3376 2444 2256 -3140 4132 3452 2232 3860 3720 -3360 -3480 3460 3060 3884 2236 -3144 2400 -3968 2404 3080 -2484 -2668 2852 -3392 -3728 -2152 -3068 3036 -2220 -2488 -3992 2568 3368 3184 -3868 -4000 4132 3544 -3296 2668 3980 3316 -3808 -3708 2172 4012 3692 2144 3432 4044 4124 -3960 -2484 -2260 3816 3364 -3660 -2432 4076 2144 3500 -2504 3520 -3312 -2396 -3948 -3412 -2144 -3768 -4004 -2156 -2716 3420 -2672 2524 -2204 -2572 4000 2540 3940 -2524 4080 -4036 -4092 -2264 -2452 -2460 -3956 -3948 -4060 4000 2712 3284 3444 -3776 2744 -2420 2916 3500 -2536 3020 -2212 -2156 3988 -2452 2852 -3552 -2504 2364 3548 3984 2140 3876 -3472 2660 -2272 4088 4048 4020 -2176 3948 2836 -2172 2496 3888 2612 -2636 -2232 2196 -3968 -2200 -4104 -4092 -4016 -3928 -2144 -3904 3108 -3636 -2284 -3592 -3092 -3984 -2176 3672 -2224 2504 -2160 -3528 -3948 2948 2212 -3364 2456 -4012 3512 -4056 3820 2204 -3960 -3980 3996 2144 -3256 -2368 3104 -3936 2836 2872 -2352 3968 3880 2660 3588 2244 2604 3784 -2184 -2932 2616 -2164 3932 -3348 3856 2628 -2312 2920 -3952 -2140 -4016 -3840 -2728 -3076 2788 -3640 2780 3416 3408 -3756 -3396 4032 -3480 3992 -4032 -2720 2924 2364 2208 2392 -3940 3976 -3756 3504 4008 2212 3312 -3536 -3964 3032 4024 2684 2332 -2672 2532 -2908 -2540 3924 -2144 -4020 -4104 -3400 -3400 2488 3964 3596 -3652 -3096 3628 2144 2688 -2248 2456 3336 -2520 2516 3572 -3640 -2500 -2312 -4040 2564 2940 2840 3968 -3188 2728 -3100 -3996 -3952 -3072 3584 2852 -3848 2484 -2716 2176 -2452 3988 2296 3388 3456 2472 3940 2412 -2204 -3360 -4028 -2800 3956 -2628 2428 3532 -2168 4112 -2524 3068 -3136 4056 3728 2212 2532 4024 2200 3984 4120 -3252 2904 4020 -2308 3312 -3676 -3332 2276 -4012 2536 -2656 -3356 3880 -3188 2716 2956 -2304 -2616 3348 2712 -4004 3692 -4132 4116 3028 -4116 3248 3996 2344 -4016 4132 2328 -2628 3988 -2780 2388 -3792 4032 -2840 3384 -2160 2476 2816 3552 3644 3948 -3816 -2172 2244 -3772 3112 2540 -3080 2184 3808 3880 4004 -3936 -2528 -2212 -3992 2340 -2220 2460 -4004 3912 -2960 3668 2244 -4000 -3852 4072 4060 -2516 -3700 2432 3956 2468 -4032 2820 -2140 4032 4044 3952 2352 3960 -3664 2612 -3928 4068 3980 2144 4076 2236 4016 -2140 2476 3584 3388 -2516 4112 2488 -4108 -2900 3644 -2848 -3332 3700 -2676 2540 -2388 -2840 -3976 3756 -3404 -2140 -3608 2496 2188 4036 -4092 -2640 -3816 2188 3124 -3604 4068 2612 -2172 3912 -3684 2288 2824 -3944 2628 2180 2764 -3116 3364 4044 -2212 -3944 2780 -2180 3600 2196 -2164 4100 -3740 2720 -3948 -2756 -4000 3588 -3976 -3344 -4124 2212 3584 -3028 2180 3984 -3704 2572 -2396 2272 -2896 4100 -3588 -2892 -3172 4028 -2148 2460 -2192 3832 4000 -3492 -2188 -2168 2276 -2680 3032 3660 -3624 2180 -2240 4020 -4028 -2460 3356 4132 3940 -2240 4036 4040 2684 -4100 4076 4024 2552 2832 3532 -3664 3972 -3940 3940 -3456 -3460 -3372 3736 -2460 2964 -2416 3108 4008 3572 -3732 2632 -3960 3816 2648 -3348 3628 -4116 -2932 2340 -2620 -2184 -4028 2676 3640 2472 -3964 3648 -2348 -4128 -2380 2196 2168 -3596 -2464 -4060 3992 -3932 -3508 3980 2796 -2156 3960 2492 -2644 -2508 -3692 4008 -3776 4036 3612 3012 -2184 3644 3988 2920 3308 3416 -2212 -3020 -2432 2724 -2872 -2156 -2372 2484 -3324 -3404 2260 4044 -2152 4032 2428 -3336 -3904 -3260 2200 -3800 -2212 4048 4112 -2484 -2172 -3948 2348 -2888 4008 -2332 -2420 4112 -3356 -3436 -3968 -3428 2984 3952 -2204 3016 3908 3956 3872 -2628 -3944 2536 3496 2716 -2328 -2604 -4132 -3796 -3224 -2372 3308 3284 -3544 3832 -2340 -2280 -3984 -3500 -2168 -2200 3884 -4016 2348 -3420 2684 -2480 -2412 -2308 4120 -3780 3972 -3156 4008 -3696 3312 -3412 -2348 3972 -2532 -3500 -2192 -2344 3608 -2348 3640 3692 -3336 2336 -2816 -2536 2500 4076 -4068 -2528 -3060 -3268 2460 -2628 3164 -3876 3472 3544 2820 -3932 -2296 -3624 4056 3972 -2704 2880 -3636 -3688 -4048 -2504 -3476 2524 3300 2188 3832 4036 3628 3192 -3232 2572 3576 -3948 -4024 2340 3428 4080 -3452 2448 -3616 2444 -3404 -2576 -3964 2536 -2512 2216 -2140 -2188 2184 2628 2852 -2884 3996 -3948 -2352 3720 2264 -3384 2284 2876 -4040 -3380 2636 -3756 2204 3640 2756 3632 -4128 3728 3020 3992 -3792 -2768 2488 -2512 -4008 3732 -2444 -3780 -3796 3408 2908 3904 -3948 3376 2156 -4004 4108 -2196 2864 3116 -3772 -3224 -3140 -4048 -2892 4032 -2512 -2148 3948 -3964 3664 3732 4036 4112 2240 3956 3680 -2512 -3940 2188 2804 -3240 -4032 -2216 3048 4020 -3988 -3964 -3980 -2764 3320 4132 -4052 -3992 2172 -3796 -2488 3136 2972 2160 -2172 -2420 -2660 -2572 2148 -3848 -4076 2248 3380 3376 4124 -3396 -4012 -2352 -4036 4028 2436 2228 -4072 3576 -2260 -2392 3084 2348 -3984 2916 2284 -2172 -2524 2168 2152 4056 -4000 2144 3588 2456 3680 -4112 -2924 -4012 -3380 2172 -3852 -2256 3392 -3600 4128 4124 -3148 2180 2980 -3636 3724 -4040 4132 -2228 -3328 2928 -2732 -2644 -3952 2944 3716 -3336 2804 3432 3216 3660 3984 -2212 -2356 -2208 -3336 3916 -2148 2372 4032 -2596 3936 -3748 2148 -2816 2764 -2456 2608 -3560 2184 -3896 -2896 -2236 3948 2236 3964 3708 2140 3940 3868 -2144 -2140 -3996 2352 2156 3996 3628 -3988 4080 4076 -2288 2508 -3956 -3312 3980 3960 -4116 2292 -2472 -2540 -4020 4028 -2200 3708 -2600 -4072 3800 -3964 -3968 4084 -3960 3316 -4008 3716 -3732 -2396 3028 -3752 -3840 3688 -3952 2544 3612 -2920 -3980 -3944 4060 3840 -4112 -2248 -3612 3356 -2388 -2500 -3356 -2440 2800 -2464 2396 3740 -3028 -2180 3952 -2552 4132 -4004 2560 3388 4008 3132 2672 2244 -2180 -2324 3676 -4036 -3556 4092 2872 2328 -4000 -2308 2192 3456 -4104 3428 -4000 -3592 -2256 2644 -3736 3980 -2144 -3592 -3308 -4028 2492 -4012 -2272 2460 -2192 -4004 3952 -2356 -4100 -2740 -3380 2532 -2564 3340 2648 3328 -3844 2692 3604 -3936 3492 -2152 4112 2704 3600 2788 2364 2320 -3488 2184 -3988 -3816 -3308 -3568 -3700 3904 -2536 2648 3196 -3372 2304 -3796 -2220 -3704 -3360 2828 -4044 2528 2144 -2160 -2616 4032 -2688 -3116 4084 3864 -3332 -2448 -3388 4128 3632 -3396 -2244 -3668 -2356 3320 -2312 3856 3156 3808 3044 -2564 3076 4128 -3300 3772 -3208 2352 -4024 4084 2188 -4100 3376 3968 -3984 3992 2516 3960 4004 2176 2660 -2856 -2148 4008 -3292 -3960 2172 3312 2164 -2940 -3464 -4100 -2388 -3484 -2248 3352 3452 -3440 -3452 -3884 -2704 3980 -4124 -4072 4116 2204 3492 3536 2484 2388 3496 3428 2612 -4000 -3208 -3968 -2352 2180 2780 -3964 -2176 -2828 2348 2176 -2792 2624 -2264 2828 4004 -3004 -3812 -4032 -4088 -3716 3336 -2496 -3140 -2832 2216 -3892 -2192 -3996 2464 -2476 4012 2504 3964 2748 -3336 -3996 2884 -3392 2520 3820 -2460 -2284 3396 2504 2288 2720 -3960 -2752 -3432 -3976 -2908 2304 2244 -3752 -3948 -2524 -3652 -2208 -2252 4024 -4008 -2172 -2436 4048 -2560 -4032 -3364 4076 3684 -2744 3632 3980 4056 2216 4008 3792 2460 2348 -2152 -3952 2648 -3936 2896 3040 -3856 -2652 -3180 3588 2800 -2432 3948 3968 3896 -2684 2332 3908 2224 3636 -3708 3032 2356 3388 4044 2288 -4132 3508 -2800 3688 -2432 3364 4032 2396 -3692 -2596 3784 -4016 2488 2480 -2552 2472 2180 3976 -2532 2552 -3524 3692 -3632 -3504 3836 -2532 4056 3596 2352 -3952 -2152 3992 2872 2460 -3068 -3376 3100 3336 3348 -2224 -3572 2648 3448 2144 -3984 3844 -3512 3432 3356 2184 -2496 -2480 -2236 3944 -4112 3980 -3352 2692 3076 4008 2504 -4116 -3732 -2184 4008 -3136 -3812 -2520 -2532 3372 -2656 3996 -4076 3412 3324 3104 -3604 3896 3796 3940 -3652 -3824 3644 4000 -2516 -3968 2140 -3972 3932 -3500 -2520 2180 4080 -2292 -2148 -2512 -3984 3700 2148 2780 3208 2392 2168 2240 3972 -2344 -4036 3120 -4128 -2216 3656 4124 -4008 3360 3968 -2500 -3748 2148 4040 -2784 -3940 4064 4084 -3396 2852 -2924 -3356 -2252 3988 -3660 -2416 -2432 4032 -2148 -3336 4132 -3860 2388 -2340 3992 3520 3348 3740 -2156 3620 -3692 -2624 4072 3824 -3088 -4000 -3600 2324 -2140 2212 -4032 4004 2324 3972 3176 2848 -2496 -2656 3100 -3948 2356 -4008 -2144 2696 2480 3124 3428 3900 -3792 3364 -2448 -4060 -2988 -2892 -3956 4016 2532 3972 3952 3864 2692 -4004 -2488 2460 2368 -4048 -3456 3340 -2624 -2472 -2964 -4092 -2732 2152 3952 -4020 2376 -2176 -3320 2624 2572 3532 -2932 -3500 -2736 -2208 -2812 2420 -2412 4028 3108 3976 4116 4020 -3364 -2196 3280 2152 3340 -3972 -3804 3816 3496 -3376 -4088 -2424 2956 -3692 -3984 2324 3936 -2364 2688 3600 -3980 2616 2692 -3176 2616 -2812 2892 3672 -2440 -3344 3680 -2956 4008 -2488 2140 -4004 4068 -2512 -3352 -2188 2188 4012 -2552 -3324 2476 3412 -3968 -4020 2216 -3760 2140 2496 4124 -3368 -3360 -2620 2352 3336 -4060 2976 -3416 -3308 -2188 -2400 -3228 -3276 2156 -3684 -3992 3940 3336 -3336 3376 -2952 3268 -2972 4084 2184 -3352 -3564 -4004 -3488 3512 -2988 -2776 4124 2232 2200 2144 3124 -3552 3156 4020 -2488 3892 2520 3588 4016 -4000 3040 -2896 -3896 3596 3680 3996 2216 2708 3668 2528 2424 3912 3320 3980 -3636 -4088 -2192 2144 -3152 2504 -3596 -3244 3756 -3452 -2144 4036 -3928 -2804 -2824 -2476 -3640 3908 -2824 -3992 -3884 -3356 2144 -2992 4064 -4128 -3780 3492 -2388 -3332 -4000 3324 -4092 2348 3896 3360 -3004 2148 -3968 -4000 -2656 3960 2500 -3796 3948 2480 4008 3704 -3952 -2180 -3952 -3940 -3564 -3160 2472 -2488 2244 -3136 2272 -3076 2316 -4060 -2440 3876 -2584 -2480 2488 4064 2908 -4132 -4008 -4064 -3156 2380 3356 -4000 2880 -2532 3844 2520 4032 -2840 -2884 -4032 3416 -3880 2140 3368 -3372 3264 -3936 -2492 3440 3268 -2256 2192 3140 3536 4092 2464 3032 3988 3984 2152 3988 -3320 4112 -2652 -4104 3112 2348 -2360 3296 2504 -2140 2196 -2196 -2688 4000 -3992 -3520 2384 3976 -3744 -4020 -4016 -4004 3700 -4104 -3048 2316 -2140 3684 2724 4064 2180 -3980 -2268 4020 -4068 2712 2572 4132 -2476 3364 -2556 -2496 3948 -3884 -3448 -3648 -3044 2296 -3108 -3432 -3868 -4012 -3216 -3072 -3744 3376 3988 2556 -2612 2144 -4060 2148 -3628 3992 3568 -4032 2180 -2768 -3796 -2300 3224 3320 -2140 -2148 -2208 3512 2884 3984 -2412 3340 4024 3732 2432 -2676 4008 -3996 -2508 2500 -3240 2524 2964 4120 3724 -2544 2248 2772 3624 2500 4056 -3892 2328 3972 -3628 -2516 -3872 2992 3988 -3296 4128 -3964 3996 2456 3680 -2948 -3040 4008 4120 -2720 -4032 -2564 -3948 -3132 -4072 2556 2344 3680 -3988 4060 -3836 3652 -4060 3308 -4072 2428 4120 3616 4104 -4104 -4104 -3960 -2644 -4116 3180 2412 -3348 -3388 2212 -2480 3328 -2808 -3484 -3460 -2472 3976 4072 -4104 -2144 4128 -2392 2232 -2900 -2868 2372 2164 4080 3704 2196 2552 4088 2796 3552 4088 -3916 3196 -4092 2384 2184 2520 -4080 2536 2140 3988 -3924 -4108 -3676 -4000 3716 2140 -3480 -2204 -4116 2344 3396 -2144 -2164 -4128 -4032 3340 2820 -4120 2512 -3588 2196 -2672 -2948 -4012 2572 3580 3936

Verifier Data (download as text)

5536 unsatisfied constraints, 37163 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/node18/watcher-275597-1169223811 -o ROOT/results/node18/solver-275597-1169223811 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275597-1169223811/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.90 1.96 1.98 4/87 1380
/proc/meminfo: memFree=1179856/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=11868 CPUtime=0
/proc/1379/stat : 1379 (java) D 1377 1379 1311 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 270775774 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/1379/statm: 2967 515 425 14 0 1602 0

[startup+0.104198 s]
/proc/loadavg: 1.90 1.96 1.98 4/87 1380
/proc/meminfo: memFree=1179856/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=914988 CPUtime=0.08
/proc/1379/stat : 1379 (java) S 1377 1379 1311 0 -1 0 2998 0 1 0 7 1 0 0 18 0 8 0 270775774 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512239 s]
/proc/loadavg: 1.90 1.96 1.98 4/87 1380
/proc/meminfo: memFree=1179856/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915332 CPUtime=0.49
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 7790 0 1 0 44 5 0 0 18 0 8 0 270775774 937299968 7529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073594208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228833 7529 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33532 s]
/proc/loadavg: 1.90 1.96 1.98 3/94 1387
/proc/meminfo: memFree=1087896/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915604 CPUtime=1.3
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 29313 0 1 0 117 13 0 0 23 0 8 0 270775774 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228901 29050 2164 14 0 215371 0
[pid=1379/tid=1381] ppid=1377 vsize=915604 CPUtime=0.11
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 12752 0 0 0 8 3 0 0 16 0 8 0 270775778 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915604 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915604 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915604 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915604 CPUtime=0.15
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 405 0 0 0 15 0 0 0 16 0 8 0 270775782 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915604 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915604 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 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.98847 s]
/proc/loadavg: 1.91 1.96 1.98 3/94 1387
/proc/meminfo: memFree=1062552/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915744 CPUtime=2.94
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 32168 0 1 0 279 15 0 0 25 0 8 0 270775774 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228936 31900 2184 14 0 215406 0
[pid=1379/tid=1381] ppid=1377 vsize=915744 CPUtime=0.26
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 15528 0 0 0 22 4 0 0 16 0 8 0 270775778 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915744 CPUtime=0.17
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 417 0 0 0 17 0 0 0 16 0 8 0 270775782 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 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.28679 s]
/proc/loadavg: 1.91 1.96 1.98 3/94 1387
/proc/meminfo: memFree=1060376/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915744 CPUtime=6.2
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 32169 0 1 0 605 15 0 0 25 0 8 0 270775774 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228936 31900 2184 14 0 215406 0
[pid=1379/tid=1381] ppid=1377 vsize=915744 CPUtime=0.26
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 15528 0 0 0 22 4 0 0 16 0 8 0 270775778 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915744 CPUtime=0.18
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 417 0 0 0 18 0 0 0 16 0 8 0 270775782 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 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.2
Current children cumulated vsize (KiB) 915744

[startup+12.7694 s]
/proc/loadavg: 1.92 1.96 1.98 3/94 1387
/proc/meminfo: memFree=1060576/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915744 CPUtime=12.62
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 32171 0 1 0 1247 15 0 0 25 0 8 0 270775774 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228936 31902 2184 14 0 215406 0
[pid=1379/tid=1381] ppid=1377 vsize=915744 CPUtime=0.26
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 15528 0 0 0 22 4 0 0 16 0 8 0 270775778 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915744 CPUtime=0.18
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 419 0 0 0 18 0 0 0 16 0 8 0 270775782 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 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.6137 s]
/proc/loadavg: 1.93 1.96 1.98 3/94 1387
/proc/meminfo: memFree=1054752/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915744 CPUtime=25.37
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 33697 0 1 0 2520 17 0 0 25 0 8 0 270775774 937721856 33427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228936 33427 2184 14 0 215406 0
[pid=1379/tid=1381] ppid=1377 vsize=915744 CPUtime=0.33
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 17046 0 0 0 28 5 0 0 16 0 8 0 270775778 937721856 33427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937721856 33427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937721856 33427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937721856 33427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915744 CPUtime=0.19
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 426 0 0 0 19 0 0 0 16 0 8 0 270775782 937721856 33427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937721856 33427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937721856 33427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915744

[startup+51.2281 s]
/proc/loadavg: 2.03 1.98 1.99 3/94 1387
/proc/meminfo: memFree=1054816/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915744 CPUtime=50.85
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 33703 0 1 0 5068 17 0 0 25 0 8 0 270775774 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228936 33432 2185 14 0 215406 0
[pid=1379/tid=1381] ppid=1377 vsize=915744 CPUtime=0.33
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 17046 0 0 0 28 5 0 0 16 0 8 0 270775778 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915744 CPUtime=0.2
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 430 0 0 0 20 0 0 0 16 0 8 0 270775782 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915744

[startup+102.462 s]
/proc/loadavg: 2.01 1.98 1.99 3/94 1387
/proc/meminfo: memFree=1004768/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915744 CPUtime=101.83
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 46573 0 1 0 10158 25 0 0 25 0 8 0 270775774 937721856 46243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228936 46243 2504 14 0 215406 0
[pid=1379/tid=1381] ppid=1377 vsize=915744 CPUtime=1.36
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 29530 0 0 0 126 10 0 0 16 0 8 0 270775778 937721856 46243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937721856 46243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270775778 937721856 46243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937721856 46243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915744 CPUtime=0.27
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 465 0 0 0 26 1 0 0 16 0 8 0 270775782 937721856 46243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937721856 46243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915744 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937721856 46243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 915744

[startup+162.548 s]
/proc/loadavg: 2.00 1.98 1.99 3/94 1387
/proc/meminfo: memFree=1004832/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915744 CPUtime=161.63
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 46574 0 1 0 16135 28 0 0 25 0 8 0 270775774 937721856 46244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074004918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2085.43 s]
/proc/loadavg: 2.06 2.02 2.00 3/94 1387
/proc/meminfo: memFree=648608/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915980 CPUtime=2075.39
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 135476 0 1 0 207439 100 0 0 25 0 8 0 270775774 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228995 135131 2551 14 0 215465 0
[pid=1379/tid=1381] ppid=1377 vsize=915980 CPUtime=2.16
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 118192 0 0 0 173 43 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915980 CPUtime=0.39
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 581 0 0 0 37 2 0 0 16 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2075.39
Current children cumulated vsize (KiB) 915980

[startup+2145.48 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 1387
/proc/meminfo: memFree=648608/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915980 CPUtime=2135.16
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 135476 0 1 0 213416 100 0 0 25 0 8 0 270775774 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228995 135131 2551 14 0 215465 0
[pid=1379/tid=1381] ppid=1377 vsize=915980 CPUtime=2.16
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 118192 0 0 0 173 43 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915980 CPUtime=0.39
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 581 0 0 0 37 2 0 0 16 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2135.16
Current children cumulated vsize (KiB) 915980

[startup+2205.53 s]
/proc/loadavg: 2.09 2.02 2.01 3/94 1387
/proc/meminfo: memFree=648608/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915980 CPUtime=2194.93
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 135476 0 1 0 219392 101 0 0 25 0 8 0 270775774 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829063 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228995 135131 2551 14 0 215465 0
[pid=1379/tid=1381] ppid=1377 vsize=915980 CPUtime=2.16
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 118192 0 0 0 173 43 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915980 CPUtime=0.39
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 581 0 0 0 37 2 0 0 16 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.93
Current children cumulated vsize (KiB) 915980

[startup+2265.59 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 1461
/proc/meminfo: memFree=647368/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915980 CPUtime=2254.63
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 135476 0 1 0 225362 101 0 0 25 0 8 0 270775774 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1379/statm: 228995 135131 2551 14 0 215465 0
[pid=1379/tid=1381] ppid=1377 vsize=915980 CPUtime=2.16
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 118192 0 0 0 173 43 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915980 CPUtime=0.39
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 581 0 0 0 37 2 0 0 16 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.63
Current children cumulated vsize (KiB) 915980

[startup+2325.65 s]
/proc/loadavg: 1.97 2.00 1.99 3/101 1660
/proc/meminfo: memFree=713624/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915980 CPUtime=2314.54
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 135476 0 1 0 231345 109 0 0 25 0 8 0 270775774 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1379/statm: 228995 135131 2551 14 0 215465 0
[pid=1379/tid=1381] ppid=1377 vsize=915980 CPUtime=2.16
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 118192 0 0 0 173 43 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915980 CPUtime=0.39
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 581 0 0 0 37 2 0 0 16 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.54
Current children cumulated vsize (KiB) 915980

[startup+2385.68 s]
/proc/loadavg: 2.03 2.01 2.00 3/101 1660
/proc/meminfo: memFree=686296/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915980 CPUtime=2374.5
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 135476 0 1 0 237341 109 0 0 25 0 8 0 270775774 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1379/statm: 228995 135131 2551 14 0 215465 0
[pid=1379/tid=1381] ppid=1377 vsize=915980 CPUtime=2.16
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 118192 0 0 0 173 43 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915980 CPUtime=0.39
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 581 0 0 0 37 2 0 0 16 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.5
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.23 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 1660
/proc/meminfo: memFree=670104/2055920 swapFree=4192812/4192956
[pid=1379] ppid=1377 vsize=915980 CPUtime=2400.04
/proc/1379/stat : 1379 (java) R 1377 1379 1311 0 -1 0 135476 0 1 0 239895 109 0 0 25 0 8 0 270775774 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1379/statm: 228995 135131 2551 14 0 215465 0
[pid=1379/tid=1381] ppid=1377 vsize=915980 CPUtime=2.16
/proc/1379/task/1381/stat : 1381 (java) S 1377 1379 1311 0 -1 64 118192 0 0 0 173 43 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1382] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1382/stat : 1382 (java) S 1377 1379 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1383] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1383/stat : 1383 (java) S 1377 1379 1311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270775778 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1384] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1384/stat : 1384 (java) S 1377 1379 1311 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1385] ppid=1377 vsize=915980 CPUtime=0.39
/proc/1379/task/1385/stat : 1385 (java) S 1377 1379 1311 0 -1 64 581 0 0 0 37 2 0 0 16 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1386] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1386/stat : 1386 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1379/tid=1387] ppid=1377 vsize=915980 CPUtime=0
/proc/1379/task/1387/stat : 1387 (java) S 1377 1379 1311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270775782 937963520 135131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2411.37
CPU time (s): 2400.19
CPU user time (s): 2399.01
CPU system time (s): 1.17782
CPU usage (%): 99.5361
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.01
system time used= 1.17782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135501
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= 50545
involuntary context switches= 81548

runsolver used 2.75358 s user time and 8.04678 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Fri Jan 19 16:23:31 UTC 2007


IDJOB= 275597
IDBENCH= 4145
IDSOLVER= 68
FILE ID= node18/275597-1169223811

PBS_JOBID= 3588966

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bac99f9958b80c8ec534e72953bba797

RANDOM SEED= 743666565

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.231
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.231
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:       1180336 kB
Buffers:         49724 kB
Cached:         541944 kB
SwapCached:          0 kB
Active:         364024 kB
Inactive:       431712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1180336 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7780 kB
Writeback:           0 kB
Mapped:         224204 kB
Slab:            64520 kB
Committed_AS:  8054544 kB
PageTables:       2356 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= 66551 MiB



End job on node18 on Fri Jan 19 17:03:42 UTC 2007