Trace number 275598

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.24 2403.94

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=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275598-1169223831/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.573  cpuTime=0.38  mem=46M736
0.89	   
0.89	   predicates being loaded...
0.89	   
0.89	   constraints being loaded...
61.12	   
61.12	   INFO : Stopping converting binary constraints (cpu=60.16, mem = 110M484)
64.95	     nbConstraints=42699  nbConvertedConstraints=340  nbConvertConstraintsChecks=194919324  nbExtensionStructures=327
64.95	     nbSharedExtensionStructures=13  nbConflictsStructures=327  nbSharedConflictsStructures=13
64.95	     nbSharedBinaryRepresentations=412062  nbEvaluationManagers=21007  nbSharedEvaluationManagers=21352  maxDegree=136
64.95	     maxArity=2
64.95	       =>  wckTime=64.631  cpuTime=63.25  mem=146M928
65.40	   
65.40	   solver LocalSearchSolver being built... 
65.44	       =>  wckTime=65.125  cpuTime=63.3  mem=116M119
67.10	
67.10	s SATISFIABLE
67.10	o 31169
67.10	c 11530
67.79	o 31185
67.79	c 11514
68.40	o 31195
68.40	c 11504
68.93	o 31209
68.93	c 11490
69.43	o 31225
69.43	c 11474
69.75	o 31244
69.75	c 11455
70.21	o 31260
70.21	c 11439
70.61	o 31276
70.61	c 11423
70.95	o 31281
70.95	c 11418
71.48	o 31289
71.48	c 11410
71.85	o 31304
71.85	c 11395
72.13	o 31318
72.13	c 11381
72.50	o 31336
72.50	c 11363
72.90	o 31344
72.90	c 11355
73.24	o 31357
73.24	c 11342
73.50	o 31369
73.50	c 11330
73.75	o 31387
73.75	c 11312
74.09	o 31396
74.09	c 11303
74.31	o 31411
74.31	c 11288
74.61	o 31418
74.61	c 11281
74.80	o 31430
74.80	c 11269
74.98	o 31446
74.98	c 11253
75.48	o 31456
75.48	c 11243
75.71	o 31471
75.71	c 11228
75.99	o 31488
75.99	c 11211
76.31	o 31504
76.31	c 11195
76.62	o 31519
76.62	c 11180
76.90	o 31521
76.90	c 11178
77.27	o 31537
77.27	c 11162
77.43	o 31549
77.43	c 11150
77.73	o 31566
77.73	c 11133
77.95	o 31572
77.95	c 11127
78.22	o 31582
78.22	c 11117
78.62	o 31593
78.62	c 11106
79.15	o 31607
79.15	c 11092
79.44	o 31608
79.44	c 11091
79.79	o 31611
79.79	c 11088
80.05	o 31612
80.05	c 11087
80.35	o 31625
80.35	c 11074
80.71	o 31637
80.71	c 11062
80.95	o 31649
80.95	c 11050
81.09	o 31656
81.09	c 11043
81.42	o 31668
81.42	c 11031
81.63	o 31670
81.63	c 11029
81.93	o 31676
81.93	c 11023
82.40	o 31678
82.40	c 11021
82.62	o 31682
82.62	c 11017
83.01	o 31692
83.01	c 11007
83.35	o 31697
83.35	c 11002
84.12	o 31707
84.13	c 10992
84.47	o 31709
84.47	c 10990
84.76	o 31724
84.76	c 10975
84.97	o 31731
84.97	c 10968
85.29	o 31742
85.29	c 10957
85.50	o 31757
85.50	c 10942
85.91	o 31772
85.91	c 10927
86.14	o 31781
86.14	c 10918
86.31	o 31790
86.31	c 10909
86.80	o 31797
86.80	c 10902
87.17	o 31798
87.17	c 10901
87.51	o 31806
87.51	c 10893
87.98	o 31807
87.98	c 10892
88.47	o 31823
88.47	c 10876
88.70	o 31839
88.70	c 10860
89.05	o 31840
89.05	c 10859
89.39	o 31852
89.39	c 10847
89.79	o 31856
89.79	c 10843
90.14	o 31859
90.14	c 10840
90.51	o 31866
90.51	c 10833
90.81	o 31882
90.81	c 10817
91.27	o 31890
91.27	c 10809
91.78	o 31900
91.78	c 10799
92.16	o 31909
92.16	c 10790
92.62	o 31923
92.62	c 10776
93.01	o 31929
93.01	c 10770
93.37	o 31935
93.37	c 10764
93.81	o 31942
93.81	c 10757
94.07	o 31954
94.07	c 10745
94.38	o 31965
94.38	c 10734
94.73	o 31974
94.73	c 10725
95.30	o 31986
95.30	c 10713
95.63	o 31996
95.63	c 10703
95.91	o 32001
95.91	c 10698
96.23	o 32006
96.23	c 10693
96.52	o 32014
96.52	c 10685
96.91	o 32021
96.91	c 10678
97.30	o 32029
97.30	c 10670
97.91	o 32032
97.91	c 10667
98.49	o 32040
98.49	c 10659
99.13	o 32049
99.13	c 10650
99.89	o 32056
99.89	c 10643
100.46	o 32057
100.46	c 10642
101.09	o 32059
101.09	c 10640
101.67	o 32065
101.67	c 10634
102.14	o 32075
102.14	c 10624
102.60	o 32083
102.60	c 10616
103.67	o 32093
103.67	c 10606
104.37	o 32094
104.37	c 10605
104.85	o 32096
104.85	c 10603
105.52	o 32098
105.52	c 10601
105.94	o 32099
105.94	c 10600
106.47	o 32101
106.47	c 10598
107.12	o 32111
107.12	c 10588
108.23	o 32113
108.23	c 10586
108.94	o 32114
108.94	c 10585
109.90	o 32127
109.90	c 10572
110.26	o 32134
110.26	c 10565
110.85	o 32142
110.85	c 10557
111.70	o 32148
111.70	c 10551
112.24	o 32149
112.24	c 10550
112.75	o 32163
112.75	c 10536
113.10	o 32185
113.10	c 10514
113.47	o 32191
113.47	c 10508
113.87	o 32192
113.87	c 10507
114.24	o 32197
114.24	c 10502
114.55	o 32204
114.55	c 10495
115.54	o 32206
115.54	c 10493
115.81	o 32224
115.81	c 10475
116.16	o 32230
116.16	c 10469
116.46	o 32250
116.46	c 10449
116.78	o 32253
116.78	c 10446
117.22	o 32265
117.22	c 10434
117.49	o 32270
117.49	c 10429
117.90	o 32273
117.90	c 10426
118.46	o 32276
118.46	c 10423
118.84	o 32281
118.84	c 10418
119.28	o 32284
119.28	c 10415
119.66	o 32290
119.66	c 10409
120.02	o 32298
120.02	c 10401
120.49	o 32306
120.49	c 10393
121.04	o 32311
121.04	c 10388
121.43	o 32321
121.43	c 10378
121.80	o 32322
121.80	c 10377
122.21	o 32335
122.21	c 10364
122.49	o 32348
122.49	c 10351
122.82	o 32363
122.82	c 10336
123.41	o 32373
123.41	c 10326
123.74	o 32376
123.74	c 10323
124.06	o 32383
124.06	c 10316
124.32	o 32393
124.32	c 10306
124.59	o 32402
124.59	c 10297
125.06	o 32409
125.06	c 10290
125.38	o 32414
125.38	c 10285
126.48	o 32415
126.48	c 10284
126.96	o 32416
126.96	c 10283
128.26	o 32420
128.26	c 10279
128.86	o 32431
128.86	c 10268
129.58	o 32437
129.58	c 10262
130.12	o 32443
130.12	c 10256
130.57	o 32452
130.57	c 10247
131.05	o 32458
131.05	c 10241
131.53	o 32468
131.53	c 10231
131.96	o 32475
131.96	c 10224
132.79	o 32487
132.79	c 10212
133.41	o 32496
133.41	c 10203
133.89	o 32503
133.89	c 10196
134.33	o 32505
134.33	c 10194
134.73	o 32508
134.73	c 10191
135.17	o 32510
135.17	c 10189
135.52	o 32516
135.52	c 10183
135.98	o 32524
135.98	c 10175
136.40	o 32526
136.40	c 10173
136.85	o 32528
136.85	c 10171
137.99	o 32530
137.99	c 10169
138.39	o 32531
138.39	c 10168
138.86	o 32532
138.86	c 10167
139.26	o 32545
139.26	c 10154
139.68	o 32546
139.68	c 10153
140.98	o 32554
140.98	c 10145
141.47	o 32555
141.47	c 10144
142.12	o 32556
142.12	c 10143
142.79	o 32565
142.79	c 10134
143.54	o 32570
143.54	c 10129
144.12	o 32577
144.12	c 10122
144.76	o 32579
144.76	c 10120
145.55	o 32580
145.55	c 10119
146.30	o 32591
146.30	c 10108
147.06	o 32602
147.06	c 10097
148.62	o 32607
148.62	c 10092
150.70	o 32614
150.70	c 10085
151.30	o 32622
151.30	c 10077
151.85	o 32623
151.85	c 10076
152.31	o 32631
152.31	c 10068
152.72	o 32641
152.72	c 10058
153.18	o 32649
153.18	c 10050
153.66	o 32658
153.66	c 10041
154.20	o 32667
154.20	c 10032
154.70	o 32676
154.70	c 10023
155.20	o 32678
155.20	c 10021
155.68	o 32686
155.68	c 10013
156.20	o 32693
156.20	c 10006
156.70	o 32700
156.70	c 9999
157.20	o 32707
157.20	c 9992
157.72	o 32714
157.72	c 9985
158.22	o 32721
158.22	c 9978
158.70	o 32727
158.70	c 9972
159.20	o 32733
159.20	c 9966
159.72	o 32737
159.72	c 9962
160.27	o 32741
160.27	c 9958
160.84	o 32745
160.84	c 9954
161.45	o 32749
161.45	c 9950
162.05	o 32760
162.05	c 9939
162.61	o 32761
162.61	c 9938
163.19	o 32764
163.19	c 9935
164.20	o 32775
164.20	c 9924
164.66	o 32778
164.66	c 9921
165.15	o 32787
165.15	c 9912
165.64	o 32799
165.64	c 9900
166.13	o 32801
166.13	c 9898
166.61	o 32803
166.61	c 9896
167.12	o 32805
167.12	c 9894
167.64	o 32807
167.64	c 9892
168.14	o 32809
168.14	c 9890
168.63	o 32810
168.63	c 9889
169.16	o 32811
169.16	c 9888
169.65	o 32812
169.65	c 9887
170.14	o 32813
170.14	c 9886
170.67	o 32814
170.67	c 9885
171.12	o 32815
171.12	c 9884
171.62	o 32816
171.62	c 9883
172.18	o 32821
172.18	c 9878
172.66	o 32822
172.66	c 9877
174.89	o 32827
174.89	c 9872
175.47	o 32829
175.47	c 9870
176.10	o 32830
176.10	c 9869
176.65	o 32839
176.65	c 9860
177.15	o 32847
177.15	c 9852
177.71	o 32854
177.71	c 9845
179.35	o 32857
179.35	c 9842
179.87	o 32864
179.87	c 9835
180.37	o 32868
180.37	c 9831
180.85	o 32878
180.85	c 9821
181.34	o 32886
181.34	c 9813
182.76	o 32888
182.76	c 9811
183.23	o 32893
183.23	c 9806
183.66	o 32895
183.66	c 9804
185.68	o 32898
185.68	c 9801
186.78	o 32899
186.78	c 9800
187.33	o 32903
187.34	c 9796
187.91	o 32909
187.91	c 9790
188.42	o 32918
188.42	c 9781
188.88	o 32932
188.88	c 9767
189.83	o 32935
189.83	c 9764
190.34	o 32942
190.34	c 9757
190.86	o 32948
190.86	c 9751
191.35	o 32954
191.35	c 9745
191.91	o 32960
191.91	c 9739
192.45	o 32965
192.45	c 9734
192.99	o 32970
192.99	c 9729
193.48	o 32983
193.48	c 9716
196.09	o 32985
196.09	c 9714
196.51	o 32987
196.51	c 9712
196.99	o 32989
196.99	c 9710
197.43	o 32991
197.43	c 9708
197.87	o 32993
197.87	c 9706
198.32	o 32994
198.32	c 9705
198.78	o 33000
198.78	c 9699
199.14	o 33001
199.14	c 9698
199.50	o 33010
199.50	c 9689
199.89	o 33011
199.89	c 9688
200.29	o 33014
200.29	c 9685
200.78	o 33015
200.78	c 9684
201.14	o 33024
201.14	c 9675
201.80	o 33025
201.80	c 9674
203.28	o 33028
203.28	c 9671
204.24	o 33041
204.24	c 9658
205.22	o 33047
205.22	c 9652
205.64	o 33054
205.64	c 9645
208.58	o 33056
208.58	c 9643
209.14	o 33061
209.14	c 9638
209.73	o 33070
209.73	c 9629
210.28	o 33073
210.28	c 9626
210.94	o 33081
210.94	c 9618
211.54	o 33084
211.54	c 9615
212.11	o 33089
212.11	c 9610
212.71	o 33091
212.71	c 9608
213.91	o 33102
213.91	c 9597
214.56	o 33110
214.56	c 9589
215.19	o 33115
215.19	c 9584
217.09	o 33119
217.09	c 9580
217.71	o 33123
217.71	c 9576
218.41	o 33127
218.41	c 9572
218.96	o 33135
218.96	c 9564
219.50	o 33137
219.50	c 9562
220.06	o 33141
220.06	c 9558
220.65	o 33145
220.65	c 9554
221.23	o 33149
221.23	c 9550
221.81	o 33152
221.81	c 9547
222.37	o 33155
222.37	c 9544
222.94	o 33158
222.94	c 9541
223.45	o 33163
223.45	c 9536
224.08	o 33165
224.08	c 9534
224.65	o 33167
224.65	c 9532
225.20	o 33172
225.20	c 9527
225.82	o 33174
225.82	c 9525
226.43	o 33176
226.43	c 9523
227.58	o 33181
227.58	c 9518
228.13	o 33186
228.13	c 9513
228.67	o 33188
228.67	c 9511
229.22	o 33190
229.22	c 9509
229.85	o 33191
229.85	c 9508
230.38	o 33200
230.39	c 9499
230.96	o 33201
230.96	c 9498
231.52	o 33202
231.52	c 9497
232.59	o 33208
232.59	c 9491
233.27	o 33224
233.27	c 9475
233.73	o 33230
233.73	c 9469
234.28	o 33232
234.28	c 9467
237.25	o 33248
237.25	c 9451
237.77	o 33257
237.77	c 9442
238.77	o 33258
238.77	c 9441
239.17	o 33260
239.17	c 9439
239.68	o 33263
239.68	c 9436
240.14	o 33270
240.14	c 9429
240.67	o 33272
240.67	c 9427
241.16	o 33278
241.16	c 9421
241.73	o 33289
241.73	c 9410
242.26	o 33292
242.26	c 9407
243.30	o 33301
243.30	c 9398
243.79	o 33309
243.79	c 9390
244.24	o 33316
244.24	c 9383
245.78	o 33327
245.78	c 9372
246.37	o 33335
246.38	c 9364
246.86	o 33336
246.86	c 9363
247.46	o 33339
247.46	c 9360
247.97	o 33342
247.97	c 9357
248.50	o 33356
248.50	c 9343
249.03	o 33364
249.03	c 9335
250.94	o 33366
250.94	c 9333
252.18	o 33369
252.18	c 9330
252.73	o 33373
252.73	c 9326
253.73	o 33375
253.74	c 9324
254.23	o 33381
254.23	c 9318
254.73	o 33389
254.73	c 9310
255.20	o 33390
255.20	c 9309
255.67	o 33398
255.67	c 9301
256.21	o 33407
256.21	c 9292
256.66	o 33415
256.66	c 9284
257.13	o 33422
257.13	c 9277
257.61	o 33429
257.61	c 9270
258.10	o 33434
258.10	c 9265
258.66	o 33439
258.66	c 9260
259.16	o 33446
259.16	c 9253
259.67	o 33451
259.67	c 9248
260.13	o 33460
260.13	c 9239
260.67	o 33464
260.67	c 9235
261.16	o 33468
261.16	c 9231
261.71	o 33471
261.72	c 9228
262.22	o 33474
262.22	c 9225
262.77	o 33477
262.77	c 9222
263.29	o 33479
263.29	c 9220
263.79	o 33481
263.79	c 9218
264.34	o 33483
264.34	c 9216
264.86	o 33485
264.86	c 9214
265.48	o 33487
265.48	c 9212
266.19	o 33489
266.19	c 9210
266.78	o 33495
266.78	c 9204
267.29	o 33499
267.29	c 9200
267.91	o 33512
267.91	c 9187
268.45	o 33514
268.45	c 9185
268.95	o 33516
268.95	c 9183
269.47	o 33518
269.47	c 9181
270.09	o 33519
270.09	c 9180
270.65	o 33520
270.65	c 9179
271.20	o 33521
271.20	c 9178
271.77	o 33522
271.77	c 9177
272.32	o 33536
272.32	c 9163
272.89	o 33537
272.89	c 9162
276.91	o 33543
276.91	c 9156
278.54	o 33547
278.54	c 9152
279.23	o 33549
279.23	c 9150
279.70	o 33553
279.70	c 9146
280.29	o 33564
280.29	c 9135
280.80	o 33567
280.80	c 9132
281.33	o 33569
281.33	c 9130
281.94	o 33570
281.94	c 9129
283.01	o 33573
283.01	c 9126
283.53	o 33585
283.53	c 9114
284.11	o 33595
284.11	c 9104
284.67	o 33597
284.67	c 9102
285.17	o 33602
285.17	c 9097
286.37	o 33608
286.37	c 9091
286.85	o 33631
286.85	c 9068
287.38	o 33633
287.38	c 9066
287.94	o 33641
287.94	c 9058
288.56	o 33645
288.56	c 9054
289.11	o 33646
289.11	c 9053
289.81	o 33656
289.81	c 9043
290.92	o 33657
290.92	c 9042
292.65	o 33663
292.65	c 9036
293.26	o 33666
293.26	c 9033
294.50	o 33678
294.50	c 9021
295.39	o 33688
295.39	c 9011
295.92	o 33689
295.92	c 9010
296.58	o 33694
296.58	c 9005
297.20	o 33699
297.20	c 9000
297.76	o 33703
297.76	c 8996
298.35	o 33710
298.35	c 8989
301.13	o 33714
301.13	c 8985
301.62	o 33716
301.62	c 8983
302.17	o 33723
302.17	c 8976
302.70	o 33726
302.70	c 8973
303.22	o 33733
303.22	c 8966
304.29	o 33735
304.29	c 8964
304.82	o 33739
304.82	c 8960
305.35	o 33743
305.35	c 8956
305.92	o 33751
305.92	c 8948
306.54	o 33752
306.54	c 8947
307.14	o 33762
307.14	c 8937
307.65	o 33768
307.65	c 8931
308.14	o 33777
308.14	c 8922
308.65	o 33778
308.65	c 8921
309.14	o 33781
309.14	c 8918
310.09	o 33796
310.09	c 8903
310.56	o 33800
310.56	c 8899
311.03	o 33804
311.03	c 8895
311.53	o 33807
311.53	c 8892
312.10	o 33813
312.10	c 8886
312.56	o 33819
312.56	c 8880
313.12	o 33820
313.12	c 8879
313.69	o 33824
313.69	c 8875
314.27	o 33825
314.27	c 8874
315.39	o 33831
315.39	c 8868
315.93	o 33833
315.93	c 8866
316.45	o 33840
316.45	c 8859
317.09	o 33844
317.09	c 8855
317.72	o 33851
317.72	c 8848
318.35	o 33857
318.35	c 8842
319.00	o 33862
319.00	c 8837
319.63	o 33867
319.63	c 8832
320.27	o 33879
320.27	c 8820
320.85	o 33883
320.85	c 8816
322.03	o 33890
322.03	c 8809
322.58	o 33894
322.58	c 8805
323.24	o 33897
323.24	c 8802
323.85	o 33900
323.85	c 8799
324.47	o 33901
324.47	c 8798
325.01	o 33904
325.01	c 8795
325.58	o 33907
325.58	c 8792
326.17	o 33909
326.17	c 8790
326.73	o 33911
326.73	c 8788
327.31	o 33913
327.31	c 8786
327.88	o 33915
327.88	c 8784
328.43	o 33916
328.43	c 8783
328.98	o 33917
328.98	c 8782
329.57	o 33922
329.57	c 8777
330.16	o 33923
330.16	c 8776
330.81	o 33924
330.81	c 8775
331.50	o 33925
331.50	c 8774
332.04	o 33926
332.04	c 8773
332.65	o 33938
332.65	c 8761
333.24	o 33939
333.24	c 8760
335.76	o 33950
335.76	c 8749
336.95	o 33951
336.95	c 8748
337.59	o 33955
337.59	c 8744
338.19	o 33957
338.19	c 8742
338.81	o 33967
338.81	c 8732
342.51	o 33970
342.51	c 8729
343.04	o 33976
343.04	c 8723
343.62	o 33981
343.62	c 8718
344.76	o 33982
344.76	c 8717
345.34	o 33990
345.34	c 8709
345.96	o 33999
345.96	c 8700
346.58	o 34004
346.58	c 8695
347.86	o 34012
347.86	c 8687
348.44	o 34016
348.44	c 8683
349.01	o 34022
349.01	c 8677
349.61	o 34025
349.61	c 8674
350.15	o 34026
350.15	c 8673
350.72	o 34029
350.72	c 8670
351.77	o 34031
351.77	c 8668
352.85	o 34037
352.85	c 8662
353.40	o 34051
353.40	c 8648
354.60	o 34056
354.60	c 8643
355.16	o 34058
355.16	c 8641
355.74	o 34063
355.74	c 8636
356.30	o 34069
356.30	c 8630
356.84	o 34073
356.84	c 8626
357.40	o 34076
357.40	c 8623
357.97	o 34085
357.97	c 8614
358.50	o 34086
358.50	c 8613
359.16	o 34087
359.16	c 8612
360.27	o 34092
360.27	c 8607
360.81	o 34094
360.81	c 8605
361.41	o 34096
361.41	c 8603
361.95	o 34098
361.95	c 8601
362.53	o 34101
362.53	c 8598
363.15	o 34103
363.15	c 8596
364.24	o 34105
364.24	c 8594
364.83	o 34109
364.83	c 8590
365.38	o 34113
365.38	c 8586
366.04	o 34115
366.04	c 8584
366.62	o 34118
366.62	c 8581
367.24	o 34120
367.24	c 8579
367.86	o 34125
367.86	c 8574
368.52	o 34126
368.52	c 8573
369.16	o 34135
369.16	c 8564
369.80	o 34142
369.81	c 8557
370.39	o 34143
370.39	c 8556
371.01	o 34145
371.01	c 8554
372.90	o 34148
372.90	c 8551
375.44	o 34150
375.44	c 8549
376.22	o 34153
376.22	c 8546
376.99	o 34154
376.99	c 8545
377.89	o 34155
377.89	c 8544
379.42	o 34159
379.42	c 8540
381.10	o 34160
381.10	c 8539
382.77	o 34163
382.77	c 8536
383.57	o 34165
383.57	c 8534
384.43	o 34167
384.43	c 8532
385.37	o 34170
385.37	c 8529
386.25	o 34172
386.25	c 8527
387.13	o 34173
387.13	c 8526
388.03	o 34174
388.03	c 8525
388.89	o 34180
388.89	c 8519
389.79	o 34181
389.79	c 8518
390.68	o 34182
390.68	c 8517
392.47	o 34185
392.47	c 8514
393.36	o 34186
393.36	c 8513
398.83	o 34195
398.83	c 8504
399.77	o 34201
399.77	c 8498
400.71	o 34202
400.71	c 8497
403.74	o 34207
403.74	c 8492
404.43	o 34213
404.43	c 8486
405.36	o 34214
405.36	c 8485
406.31	o 34222
406.31	c 8477
407.23	o 34227
407.23	c 8472
408.16	o 34229
408.16	c 8470
409.08	o 34243
409.08	c 8456
410.94	o 34244
410.94	c 8455
411.84	o 34245
411.84	c 8454
412.76	o 34246
412.76	c 8453
414.68	o 34249
414.68	c 8450
415.62	o 34254
415.62	c 8445
416.48	o 34262
416.48	c 8437
417.40	o 34263
417.40	c 8436
418.24	o 34274
418.24	c 8425
420.75	o 34281
420.75	c 8418
421.53	o 34288
421.53	c 8411
423.05	o 34291
423.05	c 8408
423.85	o 34292
423.85	c 8407
424.64	o 34295
424.64	c 8404
425.42	o 34298
425.42	c 8401
426.20	o 34311
426.20	c 8388
428.44	o 34320
428.44	c 8379
429.22	o 34321
429.22	c 8378
430.85	o 34334
430.85	c 8365
431.61	o 34336
431.61	c 8363
432.41	o 34343
432.41	c 8356
433.20	o 34345
433.20	c 8354
434.77	o 34349
434.77	c 8350
435.58	o 34354
435.58	c 8345
436.52	o 34355
436.52	c 8344
437.41	o 34363
437.41	c 8336
438.28	o 34366
438.28	c 8333
439.19	o 34368
439.19	c 8331
440.14	o 34370
440.14	c 8329
440.94	o 34382
440.94	c 8317
441.76	o 34387
441.76	c 8312
442.51	o 34402
442.51	c 8297
444.13	o 34409
444.13	c 8290
444.94	o 34417
444.94	c 8282
445.81	o 34425
445.81	c 8274
446.61	o 34428
446.61	c 8271
449.14	o 34435
449.14	c 8264
450.12	o 34442
450.12	c 8257
450.96	o 34447
450.96	c 8252
451.80	o 34448
451.80	c 8251
459.03	o 34450
459.03	c 8249
461.90	o 34453
461.90	c 8246
463.83	o 34454
463.83	c 8245
464.72	o 34457
464.72	c 8242
465.58	o 34458
465.58	c 8241
466.46	o 34464
466.46	c 8235
467.36	o 34467
467.37	c 8232
468.22	o 34470
468.22	c 8229
469.07	o 34473
469.07	c 8226
469.92	o 34476
469.92	c 8223
470.83	o 34481
470.83	c 8218
472.61	o 34487
472.61	c 8212
474.24	o 34491
474.24	c 8208
475.02	o 34493
475.02	c 8206
475.87	o 34498
475.87	c 8201
476.70	o 34499
476.70	c 8200
477.49	o 34500
477.49	c 8199
478.29	o 34501
478.29	c 8198
479.09	o 34508
479.09	c 8191
479.95	o 34509
479.95	c 8190
481.76	o 34513
481.76	c 8186
482.65	o 34519
482.65	c 8180
483.51	o 34527
483.51	c 8172
484.32	o 34528
484.32	c 8171
485.18	o 34532
485.18	c 8167
486.08	o 34534
486.08	c 8165
487.04	o 34537
487.04	c 8162
488.02	o 34539
488.02	c 8160
488.98	o 34542
488.98	c 8157
489.88	o 34544
489.88	c 8155
490.78	o 34551
490.78	c 8148
491.36	o 34559
491.36	c 8140
492.31	o 34562
492.31	c 8137
493.19	o 34565
493.19	c 8134
494.04	o 34567
494.04	c 8132
494.91	o 34569
494.91	c 8130
495.78	o 34571
495.78	c 8128
496.62	o 34573
496.62	c 8126
497.47	o 34574
497.47	c 8125
498.39	o 34581
498.39	c 8118
499.27	o 34582
499.27	c 8117
500.19	o 34583
500.19	c 8116
501.05	o 34584
501.05	c 8115
501.94	o 34585
501.94	c 8114
502.87	o 34586
502.87	c 8113
503.74	o 34587
503.74	c 8112
504.72	o 34588
504.72	c 8111
507.26	o 34591
507.26	c 8108
508.06	o 34601
508.06	c 8098
508.85	o 34602
508.85	c 8097
509.66	o 34606
509.66	c 8093
510.54	o 34611
510.54	c 8088
511.39	o 34612
511.39	c 8087
512.21	o 34617
512.21	c 8082
513.07	o 34619
513.07	c 8080
513.99	o 34625
513.99	c 8074
514.87	o 34627
514.87	c 8072
515.69	o 34634
515.69	c 8065
516.59	o 34635
516.59	c 8064
517.44	o 34637
517.44	c 8062
518.37	o 34638
518.37	c 8061
519.28	o 34639
519.28	c 8060
531.66	o 34642
531.66	c 8057
532.50	o 34643
532.50	c 8056
534.24	o 34646
534.24	c 8053
535.09	o 34647
535.09	c 8052
535.91	o 34648
535.91	c 8051
537.52	o 34649
537.52	c 8050
538.29	o 34655
538.29	c 8044
539.09	o 34659
539.09	c 8040
539.89	o 34660
539.89	c 8039
540.70	o 34661
540.70	c 8038
541.50	o 34662
541.50	c 8037
542.44	o 34666
542.44	c 8033
543.35	o 34669
543.35	c 8030
544.28	o 34673
544.28	c 8026
545.25	o 34676
545.25	c 8023
546.15	o 34682
546.15	c 8017
546.96	o 34686
546.96	c 8013
547.98	o 34688
547.98	c 8011
548.91	o 34690
548.91	c 8009
550.59	o 34696
550.59	c 8003
552.43	o 34702
552.43	c 7997
553.38	o 34706
553.38	c 7993
554.38	o 34707
554.38	c 7992
555.29	o 34708
555.29	c 7991
556.23	o 34709
556.23	c 7990
557.16	o 34713
557.16	c 7986
559.88	o 34719
559.88	c 7980
560.72	o 34720
560.72	c 7979
561.69	o 34721
561.69	c 7978
562.63	o 34727
562.63	c 7972
563.61	o 34729
563.61	c 7970
564.62	o 34735
564.62	c 7964
565.65	o 34742
565.65	c 7957
566.67	o 34745
566.67	c 7954
567.71	o 34747
567.71	c 7952
571.91	o 34751
571.91	c 7948
573.93	o 34753
573.93	c 7946
575.08	o 34756
575.08	c 7943
578.31	o 34761
578.31	c 7938
582.51	o 34764
582.51	c 7935
583.62	o 34769
583.62	c 7930
584.55	o 34773
584.55	c 7926
585.65	o 34774
585.65	c 7925
586.77	o 34779
586.77	c 7920
587.84	o 34785
587.84	c 7914
592.78	o 34787
592.78	c 7912
593.79	o 34799
593.79	c 7900
594.71	o 34803
594.71	c 7896
596.54	o 34809
596.54	c 7890
598.46	o 34811
598.46	c 7888
599.47	o 34817
599.47	c 7882
600.52	o 34824
600.52	c 7875
601.48	o 34825
601.48	c 7874
604.53	o 34829
604.53	c 7870
605.57	o 34834
605.57	c 7865
606.60	o 34835
606.60	c 7864
607.62	o 34842
607.62	c 7857
608.55	o 34843
608.55	c 7856
609.50	o 34849
609.50	c 7850
610.42	o 34854
610.42	c 7845
611.29	o 34856
611.29	c 7843
612.26	o 34863
612.26	c 7836
613.26	o 34870
613.26	c 7829
614.22	o 34874
614.22	c 7825
615.09	o 34877
615.09	c 7822
616.00	o 34882
616.00	c 7817
617.79	o 34883
617.79	c 7816
620.91	o 34884
620.91	c 7815
621.92	o 34885
621.92	c 7814
622.91	o 34887
622.91	c 7812
623.91	o 34888
623.91	c 7811
624.95	o 34891
624.95	c 7808
625.94	o 34895
625.94	c 7804
632.81	o 34896
632.81	c 7803
633.78	o 34898
633.78	c 7801
634.90	o 34902
634.90	c 7797
639.88	o 34906
639.88	c 7793
640.89	o 34908
640.89	c 7791
641.91	o 34912
641.91	c 7787
642.94	o 34914
642.94	c 7785
643.90	o 34916
643.90	c 7783
645.95	o 34920
645.95	c 7779
646.98	o 34921
646.98	c 7778
650.88	o 34923
650.88	c 7776
651.83	o 34926
651.83	c 7773
652.86	o 34929
652.86	c 7770
653.89	o 34936
653.89	c 7763
654.90	o 34940
654.90	c 7759
658.24	o 34946
658.24	c 7753
659.36	o 34950
659.36	c 7749
660.47	o 34955
660.47	c 7744
661.66	o 34957
661.66	c 7742
662.76	o 34958
662.76	c 7741
665.06	o 34965
665.06	c 7734
666.20	o 34968
666.20	c 7731
670.82	o 34969
670.83	c 7730
671.91	o 34975
671.91	c 7724
672.94	o 34977
672.94	c 7722
673.96	o 34980
673.96	c 7719
674.95	o 34989
674.95	c 7710
675.99	o 34997
675.99	c 7702
676.94	o 34999
676.94	c 7700
678.03	o 35004
678.03	c 7695
679.07	o 35008
679.07	c 7691
680.03	o 35010
680.03	c 7689
681.05	o 35012
681.05	c 7687
682.07	o 35014
682.07	c 7685
684.17	o 35020
684.17	c 7679
686.53	o 35024
686.53	c 7675
689.78	o 35026
689.78	c 7673
690.88	o 35030
690.88	c 7669
692.02	o 35033
692.02	c 7666
693.08	o 35035
693.08	c 7664
694.22	o 35037
694.22	c 7662
695.39	o 35039
695.39	c 7660
696.56	o 35041
696.56	c 7658
698.73	o 35045
698.73	c 7654
699.86	o 35046
699.86	c 7653
702.09	o 35048
702.09	c 7651
703.24	o 35053
703.24	c 7646
704.40	o 35059
704.40	c 7640
707.96	o 35064
707.96	c 7635
710.25	o 35070
710.25	c 7629
712.59	o 35077
712.59	c 7622
713.79	o 35084
713.79	c 7615
714.94	o 35091
714.94	c 7608
716.10	o 35092
716.10	c 7607
717.25	o 35097
717.25	c 7602
719.59	o 35098
719.59	c 7601
720.78	o 35101
720.78	c 7598
721.99	o 35103
721.99	c 7596
723.18	o 35105
723.18	c 7594
725.59	o 35112
725.59	c 7587
726.84	o 35117
726.84	c 7582
728.08	o 35120
728.08	c 7579
729.32	o 35127
729.32	c 7572
730.56	o 35128
730.56	c 7571
731.88	o 35130
731.88	c 7569
735.59	o 35131
735.59	c 7568
736.76	o 35132
736.76	c 7567
737.96	o 35134
737.96	c 7565
740.40	o 35137
740.40	c 7562
742.89	o 35140
742.89	c 7559
744.12	o 35143
744.12	c 7556
745.30	o 35146
745.30	c 7553
746.59	o 35147
746.59	c 7552
754.16	o 35159
754.16	c 7540
755.25	o 35164
755.25	c 7535
755.93	o 35174
755.93	c 7525
756.82	o 35181
756.82	c 7518
757.97	o 35182
757.97	c 7517
760.26	o 35186
760.26	c 7513
761.46	o 35187
761.46	c 7512
762.59	o 35188
762.59	c 7511
763.81	o 35190
763.81	c 7509
764.97	o 35197
764.97	c 7502
766.19	o 35200
766.19	c 7499
767.35	o 35201
767.35	c 7498
769.69	o 35207
769.69	c 7492
770.85	o 35212
770.85	c 7487
772.00	o 35218
772.00	c 7481
773.28	o 35219
773.28	c 7480
774.45	o 35220
774.45	c 7479
775.65	o 35224
775.65	c 7475
776.84	o 35228
776.84	c 7471
778.01	o 35231
778.01	c 7468
779.21	o 35236
779.21	c 7463
780.43	o 35240
780.43	c 7459
781.70	o 35241
781.70	c 7458
782.96	o 35246
782.96	c 7453
795.00	o 35252
795.00	c 7447
796.25	o 35253
796.25	c 7446
797.42	o 35255
797.42	c 7444
799.86	o 35260
799.86	c 7439
802.28	o 35264
802.28	c 7435
804.79	o 35268
804.79	c 7431
806.07	o 35276
806.07	c 7423
808.46	o 35277
808.46	c 7422
810.89	o 35284
810.89	c 7415
812.18	o 35290
812.18	c 7409
813.34	o 35292
813.34	c 7407
814.48	o 35297
814.48	c 7402
816.95	o 35303
816.95	c 7396
818.11	o 35305
818.11	c 7394
819.36	o 35306
819.36	c 7393
820.55	o 35314
820.55	c 7385
831.04	o 35315
831.04	c 7384
832.19	o 35316
832.19	c 7383
833.35	o 35317
833.35	c 7382
837.89	o 35318
837.89	c 7381
840.15	o 35320
840.15	c 7379
841.33	o 35325
841.33	c 7374
843.76	o 35327
843.76	c 7372
844.98	o 35328
844.98	c 7371
848.74	o 35334
848.74	c 7365
849.98	o 35335
849.98	c 7364
852.48	o 35337
852.48	c 7362
853.63	o 35341
853.63	c 7358
854.85	o 35346
854.85	c 7353
856.02	o 35350
856.02	c 7349
857.22	o 35356
857.22	c 7343
858.41	o 35361
858.41	c 7338
859.61	o 35362
859.61	c 7337
860.80	o 35366
860.81	c 7333
862.12	o 35372
862.12	c 7327
863.36	o 35374
863.36	c 7325
864.57	o 35376
864.57	c 7323
873.07	o 35377
873.07	c 7322
874.44	o 35379
874.44	c 7320
875.74	o 35381
875.74	c 7318
877.02	o 35391
877.02	c 7308
879.56	o 35398
879.56	c 7301
880.80	o 35400
880.80	c 7299
882.01	o 35403
882.01	c 7296
883.09	o 35409
883.09	c 7290
886.79	o 35411
886.79	c 7288
888.04	o 35413
888.04	c 7286
892.00	o 35416
892.00	c 7283
893.30	o 35422
893.30	c 7277
894.53	o 35423
894.53	c 7276
895.78	o 35424
895.78	c 7275
896.91	o 35429
896.91	c 7270
899.18	o 35433
899.18	c 7266
900.48	o 35437
900.48	c 7262
902.92	o 35439
902.92	c 7260
904.03	o 35441
904.03	c 7258
905.13	o 35442
905.13	c 7257
906.32	o 35443
906.32	c 7256
907.44	o 35448
907.44	c 7251
908.65	o 35455
908.65	c 7244
909.87	o 35462
909.87	c 7237
912.29	o 35466
912.29	c 7233
914.66	o 35474
914.66	c 7225
917.10	o 35480
917.10	c 7219
918.37	o 35485
918.37	c 7214
919.61	o 35487
919.61	c 7212
922.17	o 35490
922.17	c 7209
923.46	o 35492
923.46	c 7207
924.81	o 35493
924.81	c 7206
927.38	o 35496
927.38	c 7203
928.76	o 35499
928.76	c 7200
933.93	o 35510
933.93	c 7189
935.22	o 35514
935.22	c 7185
936.48	o 35515
936.48	c 7184
937.72	o 35519
937.72	c 7180
938.89	o 35534
938.89	c 7165
940.10	o 35537
940.10	c 7162
941.34	o 35543
941.34	c 7156
942.55	o 35546
942.55	c 7153
943.82	o 35549
943.82	c 7150
944.98	o 35551
944.98	c 7148
946.19	o 35555
946.19	c 7144
947.43	o 35562
947.43	c 7137
948.65	o 35568
948.65	c 7131
949.87	o 35571
949.87	c 7128
953.55	o 35575
953.55	c 7124
954.80	o 35581
954.80	c 7118
955.99	o 35582
955.99	c 7117
957.26	o 35595
957.26	c 7104
958.51	o 35598
958.51	c 7101
962.20	o 35603
962.20	c 7096
963.42	o 35605
963.42	c 7094
964.67	o 35608
964.67	c 7091
965.84	o 35612
965.84	c 7087
967.04	o 35617
967.04	c 7082
969.40	o 35618
969.40	c 7081
971.84	o 35627
971.84	c 7072
973.11	o 35629
973.11	c 7070
977.15	o 35635
977.15	c 7064
978.41	o 35636
978.41	c 7063
981.11	o 35643
981.11	c 7056
982.43	o 35645
982.43	c 7054
998.86	o 35648
998.87	c 7051
1000.16	o 35650
1000.16	c 7049
1001.50	o 35656
1001.50	c 7043
1017.74	o 35657
1017.74	c 7042
1018.88	o 35661
1018.88	c 7038
1020.03	o 35664
1020.03	c 7035
1021.21	o 35666
1021.21	c 7033
1022.36	o 35673
1022.36	c 7026
1023.51	o 35679
1023.51	c 7020
1024.78	o 35683
1024.78	c 7016
1026.02	o 35687
1026.02	c 7012
1027.21	o 35697
1027.21	c 7002
1028.35	o 35698
1028.35	c 7001
1030.62	o 35700
1030.62	c 6999
1034.02	o 35704
1034.02	c 6995
1035.16	o 35710
1035.16	c 6989
1036.26	o 35713
1036.26	c 6986
1037.40	o 35715
1037.40	c 6984
1038.47	o 35723
1038.47	c 6976
1040.82	o 35724
1040.82	c 6975
1042.01	o 35727
1042.01	c 6972
1043.20	o 35729
1043.20	c 6970
1044.43	o 35734
1044.43	c 6965
1045.70	o 35736
1045.70	c 6963
1046.91	o 35740
1046.91	c 6959
1048.18	o 35743
1048.18	c 6956
1049.44	o 35746
1049.44	c 6953
1050.72	o 35747
1050.72	c 6952
1051.97	o 35754
1051.97	c 6945
1053.20	o 35759
1053.20	c 6940
1055.81	o 35765
1055.81	c 6934
1057.14	o 35767
1057.14	c 6932
1058.48	o 35772
1058.48	c 6927
1059.70	o 35773
1059.70	c 6926
1062.29	o 35779
1062.29	c 6920
1063.61	o 35781
1063.61	c 6918
1067.55	o 35782
1067.55	c 6917
1070.21	o 35785
1070.21	c 6914
1072.95	o 35786
1072.95	c 6913
1074.36	o 35790
1074.36	c 6909
1075.81	o 35797
1075.81	c 6902
1077.24	o 35803
1077.24	c 6896
1078.69	o 35806
1078.69	c 6893
1080.15	o 35809
1080.15	c 6890
1083.04	o 35814
1083.04	c 6885
1085.91	o 35817
1085.91	c 6882
1087.30	o 35820
1087.30	c 6879
1088.79	o 35824
1088.79	c 6875
1090.29	o 35831
1090.29	c 6868
1091.88	o 35843
1091.88	c 6856
1093.29	o 35847
1093.30	c 6852
1104.50	o 35848
1104.50	c 6851
1105.81	o 35852
1105.81	c 6847
1107.24	o 35858
1107.24	c 6841
1108.65	o 35861
1108.65	c 6838
1110.16	o 35864
1110.16	c 6835
1111.61	o 35867
1111.61	c 6832
1118.99	o 35868
1118.99	c 6831
1120.53	o 35872
1120.53	c 6827
1122.13	o 35877
1122.13	c 6822
1128.61	o 35882
1128.61	c 6817
1130.08	o 35887
1130.08	c 6812
1131.71	o 35893
1131.71	c 6806
1133.31	o 35895
1133.31	c 6804
1134.90	o 35899
1134.90	c 6800
1138.03	o 35903
1138.03	c 6796
1139.51	o 35904
1139.51	c 6795
1141.01	o 35909
1141.01	c 6790
1142.58	o 35910
1142.58	c 6789
1144.19	o 35914
1144.19	c 6785
1150.51	o 35934
1150.51	c 6765
1152.09	o 35938
1152.09	c 6761
1153.60	o 35940
1153.60	c 6759
1155.15	o 35944
1155.15	c 6755
1156.76	o 35946
1156.76	c 6753
1158.37	o 35948
1158.37	c 6751
1159.71	o 35952
1159.71	c 6747
1161.23	o 35958
1161.23	c 6741
1162.79	o 35978
1162.79	c 6721
1165.76	o 35982
1165.76	c 6717
1167.24	o 35986
1167.24	c 6713
1174.74	o 35988
1174.74	c 6711
1176.24	o 35990
1176.24	c 6709
1179.30	o 35996
1179.30	c 6703
1180.81	o 35997
1180.81	c 6702
1182.33	o 36002
1182.33	c 6697
1183.86	o 36004
1183.86	c 6695
1186.93	o 36007
1186.93	c 6692
1188.52	o 36008
1188.52	c 6691
1191.54	o 36013
1191.54	c 6686
1194.50	o 36017
1194.50	c 6682
1196.05	o 36020
1196.05	c 6679
1199.04	o 36021
1199.04	c 6678
1200.57	o 36025
1200.57	c 6674
1202.12	o 36031
1202.12	c 6668
1203.66	o 36032
1203.66	c 6667
1205.16	o 36036
1205.16	c 6663
1206.80	o 36041
1206.80	c 6658
1208.37	o 36042
1208.37	c 6657
1209.92	o 36043
1209.92	c 6656
1211.51	o 36045
1211.51	c 6654
1213.12	o 36048
1213.12	c 6651
1217.98	o 36049
1217.98	c 6650
1221.35	o 36054
1221.35	c 6645
1222.95	o 36057
1222.95	c 6642
1224.50	o 36060
1224.50	c 6639
1226.18	o 36066
1226.18	c 6633
1227.80	o 36072
1227.80	c 6627
1229.44	o 36077
1229.44	c 6622
1232.65	o 36084
1232.65	c 6615
1234.26	o 36085
1234.26	c 6614
1235.82	o 36089
1235.82	c 6610
1237.44	o 36096
1237.44	c 6603
1240.05	o 36097
1240.05	c 6602
1241.33	o 36098
1241.33	c 6601
1242.81	o 36102
1242.81	c 6597
1244.25	o 36107
1244.25	c 6592
1245.69	o 36124
1245.69	c 6575
1247.11	o 36126
1247.11	c 6573
1248.51	o 36129
1248.51	c 6570
1249.93	o 36133
1249.93	c 6566
1251.39	o 36135
1251.39	c 6564
1252.86	o 36137
1252.86	c 6562
1254.33	o 36139
1254.33	c 6560
1255.84	o 36142
1255.84	c 6557
1257.28	o 36150
1257.28	c 6549
1264.57	o 36153
1264.57	c 6546
1266.06	o 36154
1266.06	c 6545
1267.56	o 36155
1267.56	c 6544
1269.13	o 36156
1269.13	c 6543
1270.69	o 36160
1270.69	c 6539
1272.23	o 36161
1272.23	c 6538
1273.74	o 36163
1273.74	c 6536
1275.29	o 36166
1275.29	c 6533
1278.44	o 36171
1278.44	c 6528
1280.03	o 36176
1280.03	c 6523
1281.68	o 36179
1281.68	c 6520
1283.26	o 36180
1283.26	c 6519
1287.83	o 36182
1287.83	c 6517
1289.35	o 36192
1289.35	c 6507
1290.86	o 36195
1290.86	c 6504
1292.32	o 36198
1292.32	c 6501
1293.80	o 36200
1293.80	c 6499
1295.34	o 36201
1295.34	c 6498
1296.96	o 36204
1296.96	c 6495
1298.49	o 36208
1298.49	c 6491
1299.91	o 36212
1299.91	c 6487
1301.40	o 36218
1301.40	c 6481
1302.70	o 36221
1302.70	c 6478
1304.22	o 36222
1304.22	c 6477
1305.75	o 36226
1305.75	c 6473
1307.33	o 36228
1307.33	c 6471
1308.91	o 36231
1308.91	c 6468
1310.55	o 36234
1310.55	c 6465
1312.16	o 36238
1312.16	c 6461
1316.88	o 36242
1316.88	c 6457
1318.45	o 36246
1318.45	c 6453
1320.03	o 36249
1320.03	c 6450
1333.94	o 36251
1333.94	c 6448
1335.45	o 36253
1335.45	c 6446
1336.90	o 36259
1336.90	c 6440
1338.43	o 36260
1338.43	c 6439
1339.88	o 36266
1339.88	c 6433
1341.41	o 36267
1341.41	c 6432
1342.98	o 36272
1342.98	c 6427
1344.27	o 36276
1344.27	c 6423
1345.79	o 36279
1345.79	c 6420
1347.36	o 36281
1347.36	c 6418
1348.89	o 36282
1348.89	c 6417
1350.49	o 36286
1350.49	c 6413
1351.95	o 36290
1351.95	c 6409
1353.45	o 36294
1353.45	c 6405
1355.04	o 36296
1355.04	c 6403
1356.58	o 36299
1356.58	c 6400
1359.56	o 36302
1359.56	c 6397
1361.02	o 36306
1361.02	c 6393
1362.50	o 36311
1362.50	c 6388
1363.94	o 36314
1363.94	c 6385
1365.11	o 36315
1365.11	c 6384
1366.54	o 36320
1366.54	c 6379
1367.93	o 36322
1367.93	c 6377
1369.35	o 36327
1369.35	c 6372
1370.75	o 36332
1370.75	c 6367
1376.60	o 36336
1376.60	c 6363
1378.06	o 36338
1378.06	c 6361
1381.08	o 36340
1381.08	c 6359
1382.57	o 36344
1382.57	c 6355
1384.02	o 36347
1384.02	c 6352
1385.49	o 36349
1385.49	c 6350
1386.99	o 36352
1386.99	c 6347
1388.54	o 36354
1388.54	c 6345
1390.06	o 36373
1390.06	c 6326
1393.05	o 36375
1393.05	c 6324
1394.17	o 36379
1394.17	c 6320
1395.59	o 36382
1395.59	c 6317
1397.00	o 36386
1397.00	c 6313
1398.53	o 36390
1398.53	c 6309
1400.02	o 36396
1400.02	c 6303
1401.62	o 36402
1401.62	c 6297
1402.71	o 36409
1402.71	c 6290
1404.20	o 36415
1404.20	c 6284
1405.71	o 36417
1405.71	c 6282
1407.24	o 36422
1407.24	c 6277
1408.77	o 36428
1408.77	c 6271
1419.00	o 36429
1419.00	c 6270
1420.01	o 36431
1420.01	c 6268
1421.33	o 36432
1421.33	c 6267
1424.03	o 36434
1424.03	c 6265
1433.38	o 36437
1433.38	c 6262
1434.72	o 36442
1434.72	c 6257
1436.12	o 36447
1436.12	c 6252
1437.52	o 36454
1437.52	c 6245
1438.90	o 36457
1438.90	c 6242
1440.34	o 36461
1440.34	c 6238
1441.82	o 36464
1441.82	c 6235
1443.29	o 36465
1443.29	c 6234
1444.48	o 36466
1444.48	c 6233
1447.28	o 36468
1447.28	c 6231
1448.70	o 36473
1448.70	c 6226
1450.07	o 36479
1450.07	c 6220
1451.47	o 36493
1451.47	c 6206
1452.83	o 36495
1452.83	c 6204
1454.23	o 36500
1454.23	c 6199
1455.63	o 36503
1455.63	c 6196
1457.04	o 36506
1457.04	c 6193
1458.46	o 36510
1458.46	c 6189
1461.30	o 36512
1461.30	c 6187
1462.76	o 36518
1462.76	c 6181
1464.20	o 36524
1464.20	c 6175
1465.72	o 36529
1465.72	c 6170
1467.08	o 36530
1467.08	c 6169
1468.54	o 36550
1468.54	c 6149
1469.92	o 36552
1469.92	c 6147
1471.37	o 36553
1471.37	c 6146
1474.29	o 36554
1474.29	c 6145
1477.27	o 36555
1477.27	c 6144
1478.71	o 36558
1478.71	c 6141
1480.14	o 36560
1480.14	c 6139
1481.62	o 36567
1481.62	c 6132
1483.10	o 36571
1483.10	c 6128
1488.73	o 36573
1488.73	c 6126
1491.55	o 36575
1491.55	c 6124
1492.95	o 36580
1492.95	c 6119
1494.34	o 36585
1494.34	c 6114
1497.24	o 36588
1497.24	c 6111
1500.13	o 36600
1500.13	c 6099
1501.53	o 36605
1501.53	c 6094
1522.02	o 36607
1522.02	c 6092
1526.76	o 36608
1526.76	c 6091
1528.38	o 36612
1528.38	c 6087
1530.02	o 36614
1530.02	c 6085
1531.58	o 36615
1531.58	c 6084
1533.08	o 36622
1533.08	c 6077
1534.65	o 36624
1534.65	c 6075
1536.19	o 36626
1536.19	c 6073
1537.76	o 36630
1537.76	c 6069
1539.30	o 36634
1539.30	c 6065
1540.50	o 36636
1540.50	c 6063
1542.00	o 36639
1542.00	c 6060
1557.11	o 36640
1557.11	c 6059
1558.67	o 36641
1558.67	c 6058
1559.97	o 36645
1559.97	c 6054
1563.02	o 36647
1563.02	c 6052
1564.57	o 36652
1564.57	c 6047
1565.47	o 36657
1565.47	c 6042
1567.09	o 36658
1567.09	c 6041
1568.70	o 36662
1568.70	c 6037
1570.36	o 36667
1570.36	c 6032
1571.91	o 36673
1571.91	c 6026
1573.38	o 36675
1573.38	c 6024
1574.86	o 36677
1574.86	c 6022
1575.90	o 36681
1575.90	c 6018
1577.31	o 36685
1577.31	c 6014
1578.75	o 36691
1578.75	c 6008
1580.20	o 36694
1580.20	c 6005
1581.63	o 36696
1581.63	c 6003
1583.07	o 36698
1583.07	c 6001
1588.85	o 36700
1588.85	c 5999
1590.28	o 36708
1590.28	c 5991
1591.82	o 36713
1591.82	c 5986
1593.29	o 36716
1593.29	c 5983
1594.81	o 36721
1594.81	c 5978
1596.27	o 36737
1596.27	c 5962
1597.77	o 36741
1597.78	c 5958
1599.22	o 36745
1599.22	c 5954
1600.70	o 36753
1600.70	c 5946
1602.19	o 36755
1602.19	c 5944
1603.69	o 36758
1603.69	c 5941
1605.14	o 36760
1605.14	c 5939
1606.62	o 36764
1606.62	c 5935
1611.01	o 36772
1611.01	c 5927
1612.59	o 36778
1612.59	c 5921
1614.10	o 36781
1614.10	c 5918
1615.65	o 36782
1615.65	c 5917
1617.16	o 36788
1617.16	c 5911
1618.78	o 36792
1618.78	c 5907
1620.24	o 36805
1620.24	c 5894
1621.73	o 36810
1621.73	c 5889
1623.17	o 36811
1623.17	c 5888
1624.74	o 36815
1624.74	c 5884
1626.22	o 36820
1626.22	c 5879
1627.81	o 36826
1627.81	c 5873
1629.26	o 36831
1629.26	c 5868
1630.71	o 36836
1630.71	c 5863
1632.19	o 36839
1632.19	c 5860
1633.71	o 36841
1633.71	c 5858
1636.71	o 36845
1636.71	c 5854
1638.16	o 36855
1638.16	c 5844
1639.60	o 36857
1639.60	c 5842
1641.05	o 36869
1641.05	c 5830
1643.97	o 36874
1643.97	c 5825
1645.40	o 36879
1645.40	c 5820
1646.83	o 36883
1646.83	c 5816
1648.28	o 36887
1648.28	c 5812
1668.03	o 36891
1668.03	c 5808
1669.42	o 36892
1669.42	c 5807
1672.37	o 36897
1672.37	c 5802
1673.79	o 36898
1673.79	c 5801
1675.19	o 36900
1675.19	c 5799
1678.03	o 36903
1678.03	c 5796
1679.23	o 36904
1679.23	c 5795
1680.70	o 36905
1680.70	c 5794
1681.49	o 36911
1681.49	c 5788
1682.88	o 36913
1682.88	c 5786
1684.28	o 36918
1684.28	c 5781
1685.67	o 36920
1685.67	c 5779
1687.13	o 36927
1687.13	c 5772
1690.04	o 36928
1690.04	c 5771
1697.25	o 36929
1697.25	c 5770
1698.67	o 36931
1698.67	c 5768
1700.08	o 36932
1700.08	c 5767
1701.49	o 36936
1701.49	c 5763
1702.90	o 36940
1702.91	c 5759
1704.27	o 36944
1704.27	c 5755
1705.73	o 36946
1705.74	c 5753
1708.63	o 36947
1708.63	c 5752
1710.06	o 36949
1710.06	c 5750
1712.97	o 36958
1712.97	c 5741
1714.47	o 36960
1714.47	c 5739
1715.91	o 36963
1715.91	c 5736
1717.41	o 36964
1717.41	c 5735
1721.86	o 36966
1721.86	c 5733
1723.45	o 36970
1723.45	c 5729
1726.55	o 36974
1726.55	c 5725
1729.77	o 36979
1729.77	c 5720
1731.26	o 36982
1731.26	c 5717
1732.79	o 36984
1732.79	c 5715
1734.35	o 36987
1734.35	c 5712
1737.43	o 36992
1737.43	c 5707
1738.99	o 36995
1738.99	c 5704
1740.49	o 36998
1740.49	c 5701
1746.69	o 37002
1746.69	c 5697
1748.22	o 37004
1748.22	c 5695
1749.88	o 37007
1749.88	c 5692
1756.41	o 37012
1756.41	c 5687
1758.06	o 37013
1758.07	c 5686
1759.66	o 37016
1759.66	c 5683
1761.32	o 37020
1761.32	c 5679
1767.67	o 37023
1767.67	c 5676
1770.87	o 37024
1770.87	c 5675
1772.51	o 37028
1772.51	c 5671
1774.18	o 37036
1774.18	c 5663
1777.57	o 37038
1777.57	c 5661
1779.25	o 37040
1779.25	c 5659
1782.74	o 37043
1782.74	c 5656
1784.50	o 37044
1784.50	c 5655
1787.89	o 37046
1787.89	c 5653
1789.61	o 37053
1789.61	c 5646
1791.38	o 37055
1791.38	c 5644
1794.77	o 37060
1794.77	c 5639
1798.20	o 37061
1798.20	c 5638
1799.79	o 37062
1799.79	c 5637
1803.16	o 37066
1803.16	c 5633
1804.92	o 37071
1804.92	c 5628
1806.64	o 37077
1806.64	c 5622
1808.43	o 37085
1808.43	c 5614
1810.22	o 37086
1810.22	c 5613
1811.95	o 37090
1811.95	c 5609
1815.48	o 37091
1815.48	c 5608
1830.61	o 37096
1830.61	c 5603
1831.53	o 37098
1831.53	c 5601
1833.23	o 37101
1833.23	c 5598
1834.97	o 37104
1834.97	c 5595
1838.48	o 37108
1838.48	c 5591
1840.27	o 37110
1840.27	c 5589
1841.97	o 37119
1841.97	c 5580
1843.61	o 37124
1843.61	c 5575
1845.28	o 37126
1845.28	c 5573
1846.75	o 37130
1846.75	c 5569
1848.30	o 37132
1848.30	c 5567
1849.90	o 37134
1849.90	c 5565
1853.01	o 37135
1853.01	c 5564
1854.66	o 37138
1854.66	c 5561
1856.27	o 37143
1856.27	c 5556
1858.72	o 37144
1858.72	c 5555
1860.32	o 37148
1860.32	c 5551
1861.92	o 37150
1861.92	c 5549
1863.40	o 37151
1863.40	c 5548
1864.90	o 37160
1864.90	c 5539
1879.56	o 37161
1879.56	c 5538
1881.09	o 37162
1881.09	c 5537
1885.76	o 37163
1885.76	c 5536
1916.26	   
1916.26	   search
1916.26	     run=0  nbConstraintChecks=3415202025  nbAssignments=1829
1916.26	       =>  wckTime=1850.822  cpuTime=1848.71  mem=116M119
1916.26	   
1916.26	   global
1916.26	     nbConstraintChecks=3415202025  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1916.26	     solvingWckTime=1850.786  solvingCpuTime=1848.67  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1916.26	     globalCpuTime=1912.07
1916.26	       =>  wckTime=1915.947  cpuTime=1912.01  mem=116M119
1916.26	   
1916.26	   solver IterativeSystematicSolver being built... 
1917.88	       =>  wckTime=1917.567  cpuTime=1912.79  mem=491M521
2403.80	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/node14/watcher-275598-1169223831 -o ROOT/results/node14/solver-275598-1169223831 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275598-1169223831/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.91 1.97 1.98 4/86 17553
/proc/meminfo: memFree=1332120/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=18540 CPUtime=0
/proc/17552/stat : 17552 (runsolver) R 17550 17552 17426 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 270778070 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17552/statm: 4635 279 244 17 0 2626 0

[startup+0.108773 s]
/proc/loadavg: 1.91 1.97 1.98 4/86 17553
/proc/meminfo: memFree=1332120/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=914988 CPUtime=0.09
/proc/17552/stat : 17552 (java) S 17550 17552 17426 0 -1 0 2995 0 1 0 7 2 0 0 17 0 8 0 270778070 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17552/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.520814 s]
/proc/loadavg: 1.91 1.97 1.98 4/86 17553
/proc/meminfo: memFree=1332120/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915332 CPUtime=0.49
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 7986 0 1 0 44 5 0 0 18 0 8 0 270778070 937299968 7725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17552/statm: 228833 7725 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34589 s]
/proc/loadavg: 1.91 1.97 1.98 3/93 17560
/proc/meminfo: memFree=1240160/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915604 CPUtime=1.32
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 29308 0 1 0 117 15 0 0 23 0 8 0 270778070 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17552/statm: 228901 29045 2161 14 0 215371 0
[pid=17552/tid=17554] ppid=17550 vsize=915604 CPUtime=0.11
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 12751 0 0 0 6 5 0 0 16 0 8 0 270778074 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915604 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915604 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915604 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915604 CPUtime=0.17
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 406 0 0 0 16 1 0 0 16 0 8 0 270778078 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915604 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915604 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915604

[startup+2.98304 s]
/proc/loadavg: 1.91 1.97 1.98 3/93 17560
/proc/meminfo: memFree=1214752/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915744 CPUtime=2.95
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 32163 0 1 0 278 17 0 0 25 0 8 0 270778070 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17552/statm: 228936 31895 2181 14 0 215406 0
[pid=17552/tid=17554] ppid=17550 vsize=915744 CPUtime=0.26
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 15527 0 0 0 20 6 0 0 16 0 8 0 270778074 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915744 CPUtime=0.19
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 418 0 0 0 18 1 0 0 16 0 8 0 270778078 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915744

[startup+6.26235 s]
/proc/loadavg: 1.91 1.97 1.98 3/93 17560
/proc/meminfo: memFree=1212768/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915744 CPUtime=6.21
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 32164 0 1 0 604 17 0 0 25 0 8 0 270778070 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17552/statm: 228936 31895 2181 14 0 215406 0
[pid=17552/tid=17554] ppid=17550 vsize=915744 CPUtime=0.26
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 15527 0 0 0 20 6 0 0 16 0 8 0 270778074 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915744 CPUtime=0.19
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 418 0 0 0 18 1 0 0 16 0 8 0 270778078 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915744

[startup+12.751 s]
/proc/loadavg: 1.92 1.97 1.98 3/93 17560
/proc/meminfo: memFree=1212832/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915744 CPUtime=12.66
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 32166 0 1 0 1249 17 0 0 25 0 8 0 270778070 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17552/statm: 228936 31897 2181 14 0 215406 0
[pid=17552/tid=17554] ppid=17550 vsize=915744 CPUtime=0.26
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 15527 0 0 0 20 6 0 0 16 0 8 0 270778074 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915744 CPUtime=0.19
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 420 0 0 0 18 1 0 0 16 0 8 0 270778078 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915744

[startup+25.6112 s]
/proc/loadavg: 1.94 1.97 1.98 3/93 17560
/proc/meminfo: memFree=1206944/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915744 CPUtime=25.47
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 33696 0 1 0 2529 18 0 0 25 0 8 0 270778070 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17552/statm: 228936 33426 2181 14 0 215406 0
[pid=17552/tid=17554] ppid=17550 vsize=915744 CPUtime=0.33
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 17050 0 0 0 27 6 0 0 16 0 8 0 270778074 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915744 CPUtime=0.2
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 426 0 0 0 19 1 0 0 16 0 8 0 270778078 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915744

[startup+51.2926 s]
/proc/loadavg: 1.96 1.97 1.98 4/101 17669
/proc/meminfo: memFree=810472/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915744 CPUtime=51.09
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 33703 0 1 0 5087 22 0 0 25 0 8 0 270778070 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17552/statm: 228936 33432 2182 14 0 215406 0
[pid=17552/tid=17554] ppid=17550 vsize=915744 CPUtime=0.33
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 17050 0 0 0 27 6 0 0 16 0 8 0 270778074 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915744 CPUtime=0.21
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 431 0 0 0 20 1 0 0 17 0 8 0 270778078 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937721856 33432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 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) 51.09
Current children cumulated vsize (KiB) 915744

[startup+102.574 s]
/proc/loadavg: 2.25 2.05 2.00 3/100 17727
/proc/meminfo: memFree=1050352/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915744 CPUtime=102.27
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 46703 0 1 0 10194 33 0 0 25 0 8 0 270778070 937721856 46372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17552/statm: 228936 46372 2501 14 0 215406 0
[pid=17552/tid=17554] ppid=17550 vsize=915744 CPUtime=1.37
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 29661 0 0 0 126 11 0 0 16 0 8 0 270778074 937721856 46372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937721856 46372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270778075 937721856 46372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937721856 46372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915744 CPUtime=0.26
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 469 0 0 0 25 1 0 0 16 0 8 0 270778078 937721856 46372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937721856 46372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915744 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937721856 46372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 915744

[startup+162.637 s]
/proc/loadavg: 2.09 2.04 2.00 3/100 17727
/proc/meminfo: memFree=1005040/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915744 CPUtime=162.25
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 46705 0 1 0 16190 35 0 0 25 0 8 0 270778070 937721856 46373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2085.52 s]
/proc/loadavg: 2.11 2.03 2.01 3/100 17727
/proc/meminfo: memFree=601712/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915980 CPUtime=2083.07
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 135580 0 1 0 208215 92 0 0 25 0 8 0 270778070 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17552/statm: 228995 135234 2546 14 0 215465 0
[pid=17552/tid=17554] ppid=17550 vsize=915980 CPUtime=2.15
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 118303 0 0 0 173 42 0 0 16 0 8 0 270778074 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915980 CPUtime=0.39
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 584 0 0 0 37 2 0 0 16 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2083.07
Current children cumulated vsize (KiB) 915980

[startup+2145.62 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 17727
/proc/meminfo: memFree=601648/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915980 CPUtime=2143.08
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 135580 0 1 0 214216 92 0 0 25 0 8 0 270778070 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830210 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17552/statm: 228995 135234 2546 14 0 215465 0
[pid=17552/tid=17554] ppid=17550 vsize=915980 CPUtime=2.15
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 118303 0 0 0 173 42 0 0 16 0 8 0 270778074 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915980 CPUtime=0.39
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 584 0 0 0 37 2 0 0 16 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2143.08
Current children cumulated vsize (KiB) 915980

[startup+2205.71 s]
/proc/loadavg: 2.08 2.03 2.00 3/100 17727
/proc/meminfo: memFree=601584/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915980 CPUtime=2203.06
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 135580 0 1 0 220214 92 0 0 25 0 8 0 270778070 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17552/statm: 228995 135234 2546 14 0 215465 0
[pid=17552/tid=17554] ppid=17550 vsize=915980 CPUtime=2.15
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 118303 0 0 0 173 42 0 0 16 0 8 0 270778074 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915980 CPUtime=0.39
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 584 0 0 0 37 2 0 0 16 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2203.06
Current children cumulated vsize (KiB) 915980

[startup+2265.72 s]
/proc/loadavg: 2.03 2.03 2.00 3/106 17851
/proc/meminfo: memFree=600368/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915980 CPUtime=2262.71
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 135580 0 1 0 226172 99 0 0 25 0 8 0 270778070 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828883 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17552/statm: 228995 135234 2546 14 0 215465 0
[pid=17552/tid=17554] ppid=17550 vsize=915980 CPUtime=2.15
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 118303 0 0 0 173 42 0 0 16 0 8 0 270778074 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915980 CPUtime=0.39
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 584 0 0 0 37 2 0 0 16 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.71
Current children cumulated vsize (KiB) 915980

[startup+2325.73 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 17925
/proc/meminfo: memFree=601328/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915980 CPUtime=2322.36
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 135580 0 1 0 232134 102 0 0 25 0 8 0 270778070 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828909 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17552/statm: 228995 135234 2546 14 0 215465 0
[pid=17552/tid=17554] ppid=17550 vsize=915980 CPUtime=2.15
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 118303 0 0 0 173 42 0 0 16 0 8 0 270778074 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915980 CPUtime=0.39
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 584 0 0 0 37 2 0 0 16 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 915980

[startup+2385.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 17925
/proc/meminfo: memFree=224176/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915980 CPUtime=2382.16
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 135580 0 1 0 238113 103 0 0 25 0 8 0 270778070 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834599 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17552/statm: 228995 135234 2546 14 0 215465 0
[pid=17552/tid=17554] ppid=17550 vsize=915980 CPUtime=2.15
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 118303 0 0 0 173 42 0 0 16 0 8 0 270778074 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915980 CPUtime=0.39
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 584 0 0 0 37 2 0 0 16 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.16
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2403.8 s]
/proc/loadavg: 2.06 2.03 2.00 3/100 17925
/proc/meminfo: memFree=224176/2055920 swapFree=4158792/4192956
[pid=17552] ppid=17550 vsize=915980 CPUtime=2400.09
/proc/17552/stat : 17552 (java) R 17550 17552 17426 0 -1 0 135580 0 1 0 239906 103 0 0 25 0 8 0 270778070 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849143 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17552/statm: 228995 135234 2546 14 0 215465 0
[pid=17552/tid=17554] ppid=17550 vsize=915980 CPUtime=2.15
/proc/17552/task/17554/stat : 17554 (java) S 17550 17552 17426 0 -1 64 118303 0 0 0 173 42 0 0 16 0 8 0 270778074 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17555] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17555/stat : 17555 (java) S 17550 17552 17426 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17556] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17556/stat : 17556 (java) S 17550 17552 17426 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270778075 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17557] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17557/stat : 17557 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17558] ppid=17550 vsize=915980 CPUtime=0.39
/proc/17552/task/17558/stat : 17558 (java) S 17550 17552 17426 0 -1 64 584 0 0 0 37 2 0 0 16 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17552/tid=17559] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17559/stat : 17559 (java) S 17550 17552 17426 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17552/tid=17560] ppid=17550 vsize=915980 CPUtime=0
/proc/17552/task/17560/stat : 17560 (java) S 17550 17552 17426 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270778078 937963520 135234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2403.94
CPU time (s): 2400.24
CPU user time (s): 2399.13
CPU system time (s): 1.10983
CPU usage (%): 99.8457
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.13
system time used= 1.10983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135604
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= 50346
involuntary context switches= 62672

runsolver used 3.3105 s user time and 7.46486 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Fri Jan 19 16:23:51 UTC 2007


IDJOB= 275598
IDBENCH= 4145
IDSOLVER= 69
FILE ID= node14/275598-1169223831

PBS_JOBID= 3588959

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bac99f9958b80c8ec534e72953bba797

RANDOM SEED= 744675126

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.227
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.227
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:       1332600 kB
Buffers:         49972 kB
Cached:         563856 kB
SwapCached:       3272 kB
Active:         164008 kB
Inactive:       482952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1332600 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            7660 kB
Writeback:           0 kB
Mapped:          42128 kB
Slab:            61292 kB
Committed_AS:  8599740 kB
PageTables:       2136 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= 66548 MiB



End job on node14 on Fri Jan 19 17:03:55 UTC 2007