Trace number 1112899

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 2100.06 2120.36

General information on the benchmark

Namecsp/fapp/fapp35/
normalized-fapp35-1500-3.xml
MD5SUMe300dafa26bcab4445d58a8b5c31c7b7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints439
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints22067
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension22067
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.03/0.09	
0.03/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-wdeg.xml
0.28/0.33	   
0.28/0.33	   instance
0.28/0.33	     name=HOME/instance-1112899-1215875302.xml
0.28/0.37	   
0.28/0.37	   domains being loaded...
0.37/0.47	   
0.37/0.47	   variables being loaded...
0.77/0.80	     nbVariables=1500  nbDomainTypes=17  minDomainSize=90  maxDomainSize=698  nbTotalValues=844907
0.77/0.80	       =>  wckTime=0.555  cpuTime=0.4  mem=32M288
0.77/0.80	   
0.77/0.80	   predicates being loaded...
0.77/0.87	   
0.77/0.87	   constraints being loaded...
10.68/10.89	   
10.68/10.89	   INFO : Stopping converting binary constraints (cpu=10.2, mem = 48M895)
13.25/13.47	     nbConstraints=22067  nbConvertedConstraints=50  nbConvertConstraintsChecks=23226700  nbExtensionStructures=49
13.25/13.47	     nbSharedExtensionStructures=2  nbConflictsStructures=97  nbSharedConflictsStructures=111
13.25/13.47	     nbUnbuiltConflictsStructures=6859  nbSharedBinaryRepresentations=48393  nbEvaluationManagers=6907
13.25/13.47	     nbSharedEvaluationManagers=15110  minDegree=5  maxDegree=92  minArity=2  maxArity=2
13.25/13.47	       =>  wckTime=13.225  cpuTime=12.25  mem=80M882
13.64/13.84	   
13.64/13.84	   solver LocalSearchSolver being built... 
13.64/13.89	       =>  wckTime=13.64  cpuTime=12.3  mem=59M78
14.24/14.41	
14.24/14.41	s SATISFIABLE
14.24/14.41	o 5988
14.34/14.55	o 5976
14.44/14.68	o 5967
14.54/14.78	o 5956
14.73/14.92	o 5943
14.83/15.08	o 5931
15.13/15.33	o 5924
15.23/15.41	o 5913
15.33/15.55	o 5905
15.43/15.61	o 5898
15.53/15.75	o 5894
15.63/15.89	o 5893
15.82/16.04	o 5888
15.92/16.18	o 5885
16.12/16.32	o 5882
16.22/16.49	o 5878
16.42/16.60	o 5870
16.42/16.69	o 5861
16.52/16.77	o 5852
16.62/16.89	o 5843
16.72/16.95	o 5835
16.82/17.09	o 5830
16.92/17.17	o 5828
17.02/17.29	o 5823
17.12/17.37	o 5813
17.51/17.77	o 5808
17.61/17.82	o 5806
17.61/17.87	o 5797
17.81/18.01	o 5795
18.11/18.34	o 5793
18.21/18.49	o 5786
18.41/18.65	o 5782
18.60/18.84	o 5779
18.80/19.00	o 5777
18.99/19.20	o 5766
19.09/19.38	o 5759
19.29/19.54	o 5757
19.39/19.66	o 5750
19.69/19.94	o 5746
19.99/20.29	o 5743
20.18/20.46	o 5735
20.68/20.97	o 5729
20.78/21.09	o 5728
20.98/21.29	o 5719
21.17/21.43	o 5717
21.27/21.51	o 5708
21.37/21.62	o 5706
21.47/21.76	o 5703
21.67/21.91	o 5699
21.77/22.01	o 5698
21.87/22.15	o 5696
22.17/22.40	o 5692
22.17/22.47	o 5687
22.66/22.97	o 5685
22.86/23.15	o 5680
22.95/23.27	o 5679
23.25/23.53	o 5675
23.35/23.67	o 5672
23.55/23.82	o 5670
23.75/24.00	o 5666
23.85/24.15	o 5657
24.04/24.39	o 5655
24.34/24.61	o 5654
24.44/24.77	o 5648
24.54/24.90	o 5635
24.94/25.28	o 5628
25.43/25.75	o 5624
25.63/25.92	o 5623
25.83/26.12	o 5614
25.93/26.27	o 5608
26.42/26.71	o 5607
26.52/26.84	o 5603
26.61/26.94	o 5602
26.91/27.23	o 5600
27.01/27.35	o 5595
27.11/27.48	o 5591
27.32/27.66	o 5589
27.52/27.84	o 5585
27.71/28.01	o 5577
27.81/28.14	o 5575
27.91/28.26	o 5574
28.11/28.47	o 5570
28.21/28.58	o 5559
28.40/28.78	o 5551
28.60/28.94	o 5548
28.80/29.16	o 5546
29.20/29.53	o 5543
29.30/29.66	o 5540
29.49/29.82	o 5536
29.59/29.94	o 5528
29.69/30.09	o 5526
30.09/30.40	o 5523
30.19/30.51	o 5518
30.29/30.64	o 5515
30.39/30.75	o 5510
30.49/30.87	o 5509
30.58/30.98	o 5502
30.68/31.07	o 5496
30.78/31.19	o 5489
30.98/31.34	o 5484
31.18/31.58	o 5482
31.38/31.77	o 5478
31.57/31.96	o 5474
31.67/32.10	o 5471
31.87/32.26	o 5468
32.06/32.41	o 5466
32.26/32.61	o 5465
32.66/33.09	o 5459
32.96/33.30	o 5457
33.35/33.76	o 5448
33.55/33.95	o 5444
34.04/34.42	o 5440
34.34/34.77	o 5438
34.54/34.94	o 5437
34.94/35.34	o 5435
35.24/35.61	o 5430
35.43/35.88	o 5425
35.73/36.15	o 5421
36.03/36.43	o 5417
36.33/36.71	o 5413
36.62/37.01	o 5409
36.92/37.31	o 5405
37.22/37.61	o 5401
37.51/37.96	o 5398
37.81/38.26	o 5395
38.21/38.60	o 5393
38.51/38.93	o 5385
38.80/39.23	o 5376
39.10/39.53	o 5367
39.30/39.79	o 5359
39.60/40.06	o 5353
39.89/40.31	o 5351
40.09/40.53	o 5349
40.29/40.77	o 5345
40.58/41.03	o 5343
40.88/41.30	o 5341
41.08/41.54	o 5337
41.28/41.79	o 5335
41.57/42.02	o 5333
41.77/42.28	o 5332
42.56/43.03	o 5325
43.06/43.59	o 5324
44.44/44.92	o 5316
44.84/45.39	o 5315
45.04/45.57	o 5303
45.53/46.01	o 5296
46.62/47.12	o 5289
46.82/47.32	o 5286
47.02/47.54	o 5283
47.22/47.79	o 5276
47.51/48.08	o 5270
48.11/48.60	o 5264
48.31/48.88	o 5263
48.60/49.16	o 5257
48.90/49.41	o 5251
49.09/49.68	o 5250
49.39/49.94	o 5246
49.59/50.16	o 5241
49.89/50.44	o 5236
50.18/50.74	o 5231
50.48/51.01	o 5226
50.68/51.29	o 5220
50.98/51.55	o 5216
51.27/51.85	o 5212
51.57/52.18	o 5209
51.87/52.48	o 5207
52.17/52.77	o 5204
52.46/53.03	o 5201
52.75/53.36	o 5199
53.05/53.63	o 5196
53.26/53.89	o 5193
53.56/54.14	o 5191
53.85/54.42	o 5189
54.15/54.71	o 5187
54.35/54.98	o 5183
54.65/55.24	o 5181
54.85/55.49	o 5179
55.14/55.74	o 5172
55.34/55.98	o 5167
55.64/56.23	o 5163
55.83/56.47	o 5160
56.13/56.74	o 5158
56.33/56.99	o 5157
56.63/57.28	o 5156
56.92/57.54	o 5155
57.72/58.31	o 5149
57.91/58.55	o 5147
58.21/58.84	o 5143
58.51/59.12	o 5141
58.71/59.36	o 5139
59.00/59.61	o 5132
59.20/59.88	o 5130
59.49/60.16	o 5129
59.69/60.37	o 5123
59.99/60.63	o 5122
60.19/60.86	o 5120
60.48/61.10	o 5117
60.68/61.35	o 5113
60.88/61.57	o 5108
61.18/61.86	o 5102
61.38/62.09	o 5096
61.67/62.33	o 5095
61.97/62.63	o 5094
62.76/63.42	o 5093
62.96/63.68	o 5089
64.15/64.88	o 5085
64.44/65.17	o 5078
64.74/65.49	o 5074
65.34/66.07	o 5065
65.73/66.40	o 5059
66.23/66.98	o 5054
66.62/67.32	o 5049
66.92/67.68	o 5044
67.22/67.99	o 5039
67.61/68.32	o 5034
67.91/68.62	o 5032
68.20/68.93	o 5030
68.50/69.21	o 5024
68.70/69.46	o 5020
69.00/69.74	o 5019
69.49/70.22	o 5017
69.69/70.49	o 5014
69.99/70.77	o 5011
70.29/71.08	o 5009
70.59/71.36	o 5007
70.88/71.63	o 5005
71.08/71.87	o 5000
71.38/72.12	o 4998
71.58/72.38	o 4996
71.87/72.65	o 4994
72.17/72.91	o 4993
72.37/73.14	o 4992
72.66/73.41	o 4991
72.86/73.68	o 4990
73.16/73.94	o 4988
73.36/74.19	o 4982
74.35/75.17	o 4981
74.54/75.38	o 4979
74.84/75.64	o 4978
75.14/75.94	o 4974
75.44/76.21	o 4968
75.63/76.47	o 4959
75.93/76.75	o 4953
76.23/77.08	o 4950
76.53/77.34	o 4944
76.72/77.58	o 4939
77.02/77.86	o 4936
77.32/78.11	o 4933
77.72/78.52	o 4929
77.91/78.72	o 4925
78.11/78.94	o 4922
78.31/79.16	o 4921
78.51/79.37	o 4916
78.81/79.64	o 4913
79.10/79.90	o 4910
79.30/80.15	o 4905
79.79/80.61	o 4901
79.99/80.88	o 4900
80.59/81.43	o 4898
80.78/81.69	o 4895
81.08/81.93	o 4890
81.58/82.46	o 4887
81.77/82.69	o 4884
82.07/82.95	o 4881
82.47/83.36	o 4876
82.77/83.64	o 4875
83.06/83.92	o 4874
83.26/84.18	o 4872
83.56/84.46	o 4869
83.85/84.75	o 4860
84.05/84.98	o 4856
84.34/85.24	o 4855
84.54/85.48	o 4854
84.84/85.72	o 4852
85.14/86.02	o 4850
85.34/86.29	o 4849
85.63/86.54	o 4838
86.13/87.04	o 4832
86.33/87.24	o 4830
86.52/87.47	o 4829
86.82/87.73	o 4820
87.12/88.00	o 4814
87.32/88.28	o 4809
87.61/88.57	o 4808
87.92/88.84	o 4804
88.22/89.11	o 4800
88.41/89.39	o 4796
88.71/89.66	o 4792
89.01/89.96	o 4788
89.31/90.28	o 4784
89.60/90.55	o 4781
89.90/90.83	o 4778
90.20/91.14	o 4775
90.49/91.41	o 4772
90.69/91.66	o 4769
90.98/91.90	o 4766
91.18/92.17	o 4763
91.48/92.45	o 4761
91.78/92.72	o 4759
91.97/92.98	o 4757
92.27/93.23	o 4755
92.47/93.50	o 4753
92.77/93.75	o 4751
93.06/94.02	o 4749
93.26/94.27	o 4747
93.56/94.53	o 4745
93.86/94.82	o 4740
94.15/95.12	o 4738
94.45/95.43	o 4737
94.75/95.72	o 4736
95.04/96.02	o 4735
95.34/96.32	o 4728
95.64/96.60	o 4727
95.84/96.86	o 4726
96.13/97.13	o 4725
97.22/98.20	o 4724
97.42/98.49	o 4723
97.72/98.78	o 4713
98.02/99.04	o 4712
99.01/100.07	o 4704
99.70/100.74	o 4698
99.99/101.01	o 4695
100.19/101.23	o 4685
100.29/101.38	o 4684
100.59/101.61	o 4680
100.68/101.75	o 4679
100.88/101.97	o 4677
101.28/102.34	o 4669
101.48/102.57	o 4661
101.87/102.98	o 4655
102.17/103.24	o 4647
102.37/103.45	o 4641
102.67/103.72	o 4637
102.86/103.99	o 4632
103.16/104.25	o 4630
103.36/104.47	o 4624
103.66/104.74	o 4623
103.86/104.99	o 4622
104.15/105.25	o 4620
104.45/105.55	o 4619
104.75/105.80	o 4618
104.95/106.07	o 4617
105.24/106.32	o 4613
105.44/106.58	o 4607
105.73/106.83	o 4601
105.93/107.07	o 4595
106.23/107.36	o 4591
106.53/107.62	o 4588
106.82/107.96	o 4581
107.12/108.21	o 4572
107.32/108.47	o 4568
107.62/108.78	o 4566
107.91/109.06	o 4563
108.21/109.35	o 4556
108.51/109.66	o 4547
108.81/109.93	o 4546
109.10/110.21	o 4540
109.30/110.48	o 4537
109.89/111.09	o 4535
110.19/111.37	o 4533
110.48/111.64	o 4529
110.78/111.90	o 4526
110.98/112.15	o 4525
111.28/112.43	o 4519
111.57/112.71	o 4518
111.87/113.00	o 4513
112.17/113.32	o 4508
112.76/113.93	o 4507
113.06/114.27	o 4503
113.36/114.56	o 4499
114.25/115.42	o 4498
114.54/115.72	o 4496
114.84/116.03	o 4494
115.14/116.36	o 4492
115.44/116.66	o 4489
115.73/116.96	o 4488
116.03/117.29	o 4487
116.43/117.62	o 4486
116.72/117.94	o 4485
118.71/119.99	o 4483
119.10/120.32	o 4479
119.39/120.67	o 4472
119.79/121.03	o 4467
120.09/121.36	o 4462
120.78/122.05	o 4458
121.08/122.30	o 4455
121.57/122.86	o 4453
121.87/123.14	o 4445
122.16/123.41	o 4443
122.46/123.71	o 4441
122.96/124.26	o 4439
123.15/124.49	o 4436
123.45/124.72	o 4430
123.66/124.94	o 4429
123.96/125.21	o 4427
124.16/125.47	o 4426
124.45/125.72	o 4418
124.75/126.01	o 4416
124.95/126.27	o 4415
125.34/126.60	o 4413
125.64/126.92	o 4410
126.23/127.58	o 4405
126.53/127.87	o 4403
127.42/128.72	o 4399
127.72/129.06	o 4395
128.01/129.38	o 4391
128.31/129.66	o 4388
128.61/129.95	o 4385
128.90/130.25	o 4382
129.20/130.56	o 4376
129.50/130.89	o 4370
129.89/131.23	o 4367
130.19/131.54	o 4366
130.49/131.87	o 4361
130.88/132.23	o 4353
131.18/132.55	o 4350
131.48/132.88	o 4347
132.47/133.88	o 4344
132.87/134.23	o 4339
133.16/134.56	o 4337
134.05/135.48	o 4336
134.64/136.08	o 4334
135.04/136.41	o 4327
135.73/137.12	o 4324
136.13/137.51	o 4323
136.53/137.91	o 4319
136.82/138.28	o 4312
137.22/138.68	o 4308
137.52/138.96	o 4306
137.81/139.30	o 4303
138.21/139.64	o 4301
138.51/139.98	o 4292
138.90/140.32	o 4287
139.20/140.69	o 4284
139.59/141.02	o 4280
139.89/141.38	o 4276
140.29/141.74	o 4270
140.68/142.10	o 4266
140.98/142.46	o 4261
141.67/143.18	o 4260
142.47/143.95	o 4259
142.86/144.31	o 4258
143.16/144.68	o 4256
143.85/145.39	o 4254
144.25/145.73	o 4251
144.85/146.33	o 4247
145.14/146.65	o 4242
145.43/146.95	o 4235
145.73/147.24	o 4234
146.03/147.55	o 4231
146.33/147.88	o 4224
146.72/148.21	o 4223
147.02/148.54	o 4218
147.32/148.87	o 4212
147.71/149.22	o 4207
148.01/149.59	o 4203
148.41/149.97	o 4199
148.80/150.36	o 4195
149.21/150.72	o 4188
149.50/151.09	o 4186
149.90/151.45	o 4183
150.30/151.82	o 4180
150.69/152.20	o 4178
151.09/152.61	o 4173
151.39/152.97	o 4171
151.78/153.32	o 4170
152.07/153.70	o 4169
152.47/154.05	o 4167
152.87/154.41	o 4165
153.16/154.79	o 4161
153.56/155.15	o 4160
153.86/155.49	o 4159
154.25/155.86	o 4151
154.65/156.21	o 4150
154.95/156.55	o 4149
155.64/157.28	o 4147
156.03/157.64	o 4140
156.43/158.06	o 4137
156.83/158.42	o 4134
157.22/158.84	o 4129
157.62/159.24	o 4127
158.01/159.61	o 4126
158.41/160.01	o 4124
159.10/160.79	o 4120
159.60/161.23	o 4115
160.00/161.61	o 4113
160.69/162.37	o 4108
161.08/162.71	o 4104
161.38/163.06	o 4102
161.77/163.44	o 4100
162.47/164.18	o 4097
162.86/164.57	o 4096
163.36/165.02	o 4092
163.76/165.41	o 4091
164.15/165.82	o 4086
164.54/166.21	o 4083
164.94/166.62	o 4081
165.34/167.02	o 4075
165.73/167.43	o 4070
166.03/167.79	o 4064
166.92/168.61	o 4058
167.22/168.98	o 4057
168.11/169.81	o 4050
168.51/170.21	o 4047
168.90/170.64	o 4043
169.30/171.08	o 4041
170.59/172.32	o 4038
170.99/172.73	o 4037
171.38/173.17	o 4033
171.78/173.55	o 4031
172.58/174.32	o 4030
172.98/174.72	o 4028
173.77/175.57	o 4024
174.17/176.00	o 4017
175.05/176.82	o 4015
175.45/177.22	o 4014
176.64/178.41	o 4013
176.93/178.78	o 4010
177.33/179.18	o 4007
177.73/179.58	o 3999
178.12/179.96	o 3998
178.52/180.37	o 3994
178.92/180.77	o 3990
179.31/181.20	o 3982
179.80/181.63	o 3981
180.20/182.09	o 3974
180.70/182.57	o 3973
181.19/183.07	o 3971
182.08/183.98	o 3965
182.98/184.88	o 3963
183.47/185.34	o 3957
183.87/185.77	o 3954
184.36/186.24	o 3950
184.75/186.67	o 3948
185.25/187.11	o 3947
185.64/187.57	o 3944
186.14/188.02	o 3934
187.73/189.67	o 3930
188.12/190.04	o 3929
188.52/190.41	o 3927
188.91/190.80	o 3921
189.21/191.15	o 3916
189.60/191.54	o 3914
190.40/192.30	o 3910
190.69/192.68	o 3905
191.09/193.03	o 3903
191.49/193.40	o 3901
191.78/193.79	o 3897
192.48/194.49	o 3896
193.27/195.28	o 3895
194.06/196.02	o 3893
194.46/196.40	o 3889
194.85/196.80	o 3883
195.74/197.71	o 3882
196.14/198.15	o 3880
196.53/198.59	o 3875
197.03/199.01	o 3874
198.81/200.84	o 3872
199.80/201.84	o 3870
200.30/202.33	o 3866
200.80/202.81	o 3865
201.29/203.30	o 3864
201.79/203.80	o 3861
202.18/204.29	o 3859
202.68/204.76	o 3857
203.18/205.26	o 3855
204.17/206.23	o 3850
206.85/208.92	o 3849
207.24/209.35	o 3848
207.73/209.82	o 3847
208.13/210.27	o 3846
209.42/211.52	o 3842
210.21/212.31	o 3841
212.98/215.12	o 3839
213.78/215.93	o 3838
214.17/216.33	o 3834
214.57/216.75	o 3833
214.97/217.18	o 3829
215.36/217.59	o 3826
216.25/218.45	o 3822
216.55/218.79	o 3821
216.94/219.19	o 3820
217.34/219.57	o 3819
217.74/219.95	o 3814
218.13/220.36	o 3810
218.33/220.53	o 3807
218.73/220.94	o 3805
220.31/222.59	o 3804
220.80/223.00	o 3802
221.11/223.39	o 3799
221.60/223.80	o 3796
222.00/224.21	o 3793
222.40/224.61	o 3790
222.79/225.04	o 3786
224.08/226.36	o 3784
224.48/226.77	o 3780
224.87/227.19	o 3777
225.76/228.03	o 3775
226.65/228.91	o 3773
227.55/229.80	o 3769
228.34/230.69	o 3767
228.83/231.11	o 3765
229.23/231.57	o 3764
229.73/232.00	o 3763
230.52/232.85	o 3761
230.92/233.28	o 3758
231.31/233.69	o 3757
231.70/234.09	o 3752
232.60/234.92	o 3748
233.00/235.34	o 3747
233.39/235.75	o 3744
233.78/236.18	o 3741
234.28/236.60	o 3740
234.67/237.04	o 3738
235.07/237.45	o 3737
235.57/237.91	o 3732
235.96/238.35	o 3729
236.46/238.80	o 3725
236.85/239.24	o 3722
237.75/240.12	o 3721
238.14/240.57	o 3720
238.63/241.00	o 3716
239.03/241.40	o 3709
239.43/241.82	o 3707
239.82/242.26	o 3704
240.32/242.70	o 3702
241.11/243.59	o 3701
241.61/244.08	o 3695
242.50/244.99	o 3693
242.99/245.49	o 3689
243.49/245.94	o 3688
243.88/246.40	o 3687
244.38/246.85	o 3686
244.87/247.30	o 3684
245.27/247.78	o 3683
245.76/248.24	o 3679
248.04/250.52	o 3677
248.44/250.98	o 3674
249.43/251.94	o 3673
249.92/252.47	o 3670
250.42/252.98	o 3666
250.91/253.47	o 3663
251.41/253.97	o 3662
251.90/254.49	o 3660
253.00/255.51	o 3657
253.49/256.04	o 3654
253.99/256.52	o 3648
254.48/257.02	o 3647
254.97/257.51	o 3645
255.47/258.02	o 3641
256.96/259.51	o 3638
258.94/261.52	o 3632
259.33/261.99	o 3629
260.33/262.90	o 3628
260.82/263.40	o 3627
261.81/264.40	o 3626
262.20/264.89	o 3625
262.70/265.33	o 3623
263.10/265.78	o 3622
263.99/266.68	o 3619
264.48/267.15	o 3617
264.78/267.40	o 3613
265.17/267.84	o 3612
265.97/268.68	o 3609
266.46/269.15	o 3604
266.86/269.58	o 3600
268.15/270.89	o 3596
268.64/271.34	o 3595
269.14/271.80	o 3590
269.93/272.68	o 3588
270.72/273.45	o 3586
271.12/273.87	o 3579
271.51/274.28	o 3576
272.02/274.74	o 3573
272.41/275.13	o 3571
273.21/275.94	o 3568
274.00/276.77	o 3566
274.40/277.20	o 3558
274.89/277.60	o 3555
275.09/277.89	o 3552
275.49/278.30	o 3550
276.27/279.08	o 3548
276.67/279.47	o 3546
277.46/280.23	o 3545
277.86/280.63	o 3542
278.25/281.01	o 3539
278.55/281.39	o 3536
279.04/281.81	o 3533
279.44/282.20	o 3531
279.74/282.59	o 3526
280.63/283.43	o 3523
283.01/285.88	o 3521
283.90/286.74	o 3520
284.20/287.04	o 3517
284.59/287.45	o 3515
284.98/287.87	o 3513
285.38/288.29	o 3511
285.87/288.72	o 3510
286.27/289.15	o 3508
286.66/289.57	o 3507
287.06/289.97	o 3506
289.64/292.52	o 3503
290.03/292.95	o 3499
290.43/293.38	o 3498
291.82/294.73	o 3497
292.71/295.65	o 3494
293.20/296.12	o 3493
293.60/296.58	o 3490
294.59/297.60	o 3488
295.09/298.07	o 3487
296.57/299.58	o 3485
296.96/299.99	o 3483
297.46/300.46	o 3482
298.45/301.46	o 3480
298.94/301.99	o 3477
299.54/302.51	o 3472
299.94/302.98	o 3464
300.43/303.42	o 3459
300.93/303.90	o 3455
301.32/304.39	o 3450
302.31/305.34	o 3448
304.10/307.14	o 3444
307.57/310.69	o 3438
308.07/311.11	o 3435
308.46/311.53	o 3432
309.25/312.38	o 3430
311.03/314.16	o 3428
311.43/314.58	o 3425
311.93/315.08	o 3421
312.42/315.50	o 3417
312.82/315.97	o 3415
313.21/316.39	o 3414
313.71/316.87	o 3409
314.60/317.79	o 3407
315.10/318.26	o 3404
315.59/318.76	o 3403
316.08/319.20	o 3402
317.47/320.65	o 3401
320.25/323.42	o 3400
321.13/324.39	o 3399
321.63/324.88	o 3396
322.12/325.38	o 3392
326.09/329.40	o 3391
326.58/329.88	o 3387
327.18/330.43	o 3377
327.67/330.95	o 3376
328.17/331.46	o 3375
328.66/332.00	o 3374
329.26/332.53	o 3369
329.75/333.06	o 3365
330.24/333.57	o 3364
331.33/334.61	o 3359
331.83/335.17	o 3356
332.42/335.73	o 3354
332.92/336.27	o 3353
333.52/336.80	o 3349
334.02/337.32	o 3348
334.51/337.86	o 3344
338.57/341.97	o 3343
339.17/342.50	o 3341
339.66/343.07	o 3340
340.16/343.56	o 3336
340.65/344.08	o 3331
341.15/344.54	o 3329
341.64/345.05	o 3328
342.13/345.53	o 3325
342.63/346.01	o 3324
343.62/347.01	o 3321
344.31/347.76	o 3319
344.91/348.31	o 3316
346.00/349.42	o 3310
346.49/349.93	o 3308
346.98/350.45	o 3306
347.48/350.98	o 3304
348.08/351.54	o 3301
348.67/352.11	o 3297
349.16/352.63	o 3294
350.15/353.62	o 3292
351.15/354.61	o 3291
351.54/355.09	o 3290
352.04/355.59	o 3286
354.51/358.03	o 3284
355.01/358.51	o 3283
357.98/361.51	o 3282
358.47/362.04	o 3280
358.97/362.52	o 3275
359.47/363.01	o 3272
359.96/363.52	o 3268
360.46/364.04	o 3266
360.95/364.58	o 3264
361.44/365.09	o 3257
361.94/365.58	o 3255
363.62/367.20	o 3253
364.02/367.67	o 3250
364.81/368.50	o 3246
365.40/369.01	o 3244
365.90/369.54	o 3233
367.39/371.02	o 3229
367.88/371.56	o 3227
368.38/372.07	o 3226
369.46/373.12	o 3225
370.55/374.23	o 3222
371.05/374.79	o 3218
372.14/375.90	o 3215
373.82/377.55	o 3213
374.91/378.62	o 3210
376.00/379.70	o 3209
376.99/380.74	o 3205
377.48/381.27	o 3204
378.47/382.28	o 3198
378.97/382.76	o 3197
379.47/383.24	o 3194
379.97/383.72	o 3192
380.36/384.18	o 3190
380.86/384.66	o 3186
381.35/385.13	o 3185
381.75/385.59	o 3183
382.25/386.05	o 3181
383.14/386.99	o 3179
384.13/387.95	o 3178
384.62/388.43	o 3176
385.11/388.90	o 3171
385.51/389.38	o 3170
386.01/389.87	o 3166
386.50/390.34	o 3165
387.00/390.82	o 3161
387.49/391.31	o 3159
387.99/391.83	o 3157
388.48/392.32	o 3155
388.98/392.82	o 3151
389.47/393.33	o 3150
389.97/393.85	o 3149
390.46/394.34	o 3146
394.53/398.42	o 3142
394.92/398.88	o 3140
395.42/399.35	o 3137
395.91/399.81	o 3132
396.90/400.84	o 3130
397.89/401.82	o 3128
398.39/402.31	o 3125
398.88/402.80	o 3122
399.77/403.79	o 3120
400.26/404.29	o 3119
401.35/405.34	o 3116
402.24/406.23	o 3112
403.23/407.25	o 3108
403.73/407.77	o 3105
404.32/408.30	o 3101
404.82/408.84	o 3098
405.31/409.36	o 3097
405.91/409.90	o 3096
406.40/410.44	o 3094
406.90/410.97	o 3093
407.40/411.49	o 3091
409.48/413.58	o 3090
410.57/414.66	o 3086
410.96/415.03	o 3084
411.95/416.00	o 3083
412.44/416.52	o 3081
415.12/419.23	o 3079
416.21/420.38	o 3078
416.80/420.96	o 3074
417.89/422.08	o 3072
418.48/422.61	o 3069
418.89/423.01	o 3065
420.38/424.57	o 3064
420.97/425.12	o 3062
421.47/425.65	o 3060
421.96/426.18	o 3057
422.46/426.68	o 3054
423.45/427.67	o 3051
423.94/428.18	o 3047
424.53/428.71	o 3046
425.03/429.23	o 3045
425.52/429.77	o 3044
426.61/430.88	o 3042
427.21/431.42	o 3040
427.70/431.97	o 3037
428.29/432.51	o 3034
428.89/433.13	o 3031
431.07/435.30	o 3028
431.66/435.92	o 3022
432.16/436.44	o 3011
432.65/436.96	o 3003
432.95/437.24	o 3001
433.94/438.25	o 3000
434.44/438.74	o 2999
434.93/439.26	o 2998
436.02/440.30	o 2995
436.51/440.83	o 2992
438.10/442.41	o 2989
438.30/442.69	o 2987
440.47/444.86	o 2986
440.97/445.36	o 2982
441.46/445.86	o 2980
441.96/446.38	o 2979
442.45/446.89	o 2978
444.54/448.98	o 2977
446.72/451.11	o 2974
447.21/451.66	o 2973
447.81/452.21	o 2970
448.90/453.30	o 2969
450.48/454.93	o 2965
450.98/455.43	o 2960
451.57/456.00	o 2959
452.07/456.54	o 2957
452.56/457.02	o 2954
453.06/457.55	o 2953
453.46/457.96	o 2950
453.95/458.47	o 2947
454.45/458.98	o 2944
455.04/459.53	o 2942
455.53/460.04	o 2941
456.03/460.59	o 2938
456.62/461.11	o 2937
459.10/463.63	o 2936
459.60/464.17	o 2935
460.19/464.72	o 2933
460.68/465.30	o 2928
462.17/466.78	o 2924
462.66/467.29	o 2923
463.15/467.77	o 2918
464.14/468.80	o 2914
464.74/469.32	o 2913
466.23/470.86	o 2910
466.72/471.38	o 2906
467.22/471.88	o 2904
467.61/472.26	o 2900
468.11/472.77	o 2898
468.60/473.25	o 2896
470.59/475.23	o 2895
471.08/475.73	o 2894
471.57/476.22	o 2890
473.65/478.37	o 2889
474.25/478.90	o 2887
474.74/479.46	o 2880
475.24/479.98	o 2879
476.33/481.07	o 2876
476.92/481.64	o 2875
479.79/484.56	o 2872
480.48/485.20	o 2866
480.98/485.78	o 2864
482.18/486.93	o 2860
483.06/487.81	o 2854
483.56/488.36	o 2852
489.01/493.88	o 2851
489.70/494.51	o 2848
492.28/497.13	o 2847
492.97/497.81	o 2843
493.56/498.49	o 2840
494.26/499.16	o 2834
494.85/499.74	o 2820
495.45/500.40	o 2817
496.14/501.05	o 2814
497.42/502.31	o 2810
498.41/503.33	o 2807
501.39/506.36	o 2804
501.98/506.99	o 2803
503.86/508.83	o 2801
504.46/509.40	o 2798
505.05/510.02	o 2795
505.65/510.63	o 2794
507.53/512.57	o 2792
508.12/513.18	o 2789
509.31/514.37	o 2786
510.60/515.61	o 2781
512.38/517.45	o 2779
513.67/518.72	o 2778
514.26/519.33	o 2775
518.13/523.25	o 2771
520.41/525.58	o 2770
521.00/526.16	o 2768
521.60/526.72	o 2767
522.19/527.30	o 2764
522.69/527.85	o 2762
523.18/528.40	o 2760
523.58/528.72	o 2757
524.07/529.23	o 2753
524.57/529.73	o 2749
526.16/531.38	o 2748
526.74/531.96	o 2745
527.93/533.14	o 2743
530.21/535.48	o 2739
530.81/536.05	o 2737
531.40/536.67	o 2735
532.59/537.89	o 2732
533.28/538.51	o 2729
533.68/538.92	o 2724
533.97/539.21	o 2721
534.47/539.73	o 2718
535.06/540.34	o 2714
535.66/540.91	o 2712
537.83/543.19	o 2708
538.33/543.64	o 2704
538.82/544.13	o 2703
539.42/544.70	o 2700
539.91/545.29	o 2694
540.61/545.90	o 2690
542.39/547.76	o 2689
544.17/549.59	o 2687
545.46/550.81	o 2686
546.65/552.05	o 2685
547.24/552.68	o 2682
547.84/553.30	o 2679
550.31/555.79	o 2677
551.01/556.44	o 2675
553.08/558.56	o 2670
553.68/559.17	o 2668
555.56/561.06	o 2664
557.93/563.50	o 2662
559.23/564.72	o 2661
559.83/565.35	o 2660
560.42/565.97	o 2656
561.02/566.51	o 2647
561.61/567.10	o 2645
562.80/568.31	o 2642
565.87/571.45	o 2640
566.46/572.04	o 2639
567.05/572.64	o 2638
568.34/573.90	o 2636
568.84/574.49	o 2635
569.93/575.57	o 2634
571.91/577.51	o 2632
573.10/578.78	o 2630
573.79/579.41	o 2629
575.08/580.72	o 2627
575.67/581.34	o 2625
576.36/582.05	o 2622
579.73/585.43	o 2620
580.32/586.09	o 2617
581.02/586.76	o 2616
581.71/587.42	o 2614
582.30/588.08	o 2612
583.09/588.80	o 2610
583.69/589.47	o 2607
584.28/590.07	o 2606
586.16/591.99	o 2603
586.86/592.68	o 2599
587.55/593.32	o 2597
588.24/594.00	o 2595
588.83/594.65	o 2593
591.51/597.34	o 2592
592.20/598.01	o 2591
592.79/598.69	o 2590
593.49/599.35	o 2588
594.18/600.02	o 2587
598.64/604.51	o 2584
599.83/605.77	o 2581
600.42/606.35	o 2580
600.81/606.79	o 2577
601.41/607.38	o 2576
602.00/607.97	o 2572
602.60/608.56	o 2571
603.09/609.09	o 2569
606.46/612.47	o 2568
607.65/613.63	o 2565
608.25/614.20	o 2561
608.74/614.79	o 2560
609.34/615.34	o 2554
609.83/615.86	o 2550
614.00/620.00	o 2549
614.49/620.57	o 2547
622.42/628.52	o 2546
623.01/629.12	o 2545
623.60/629.73	o 2544
625.39/631.58	o 2541
626.08/632.20	o 2540
629.75/635.94	o 2535
632.82/639.04	o 2534
634.01/640.21	o 2530
634.60/640.83	o 2529
635.19/641.45	o 2528
635.78/642.06	o 2525
636.48/642.74	o 2523
637.07/643.36	o 2522
637.76/644.01	o 2520
638.36/644.65	o 2519
638.95/645.29	o 2518
639.64/645.94	o 2516
640.24/646.57	o 2508
640.93/647.21	o 2505
642.12/648.45	o 2498
642.72/649.08	o 2495
644.00/650.38	o 2493
644.69/651.02	o 2492
645.29/651.69	o 2488
645.98/652.37	o 2487
646.67/653.02	o 2486
647.37/653.71	o 2483
647.96/654.36	o 2482
648.65/655.03	o 2481
649.94/656.33	o 2480
650.54/656.98	o 2479
651.92/658.32	o 2477
652.53/658.99	o 2475
654.51/660.95	o 2474
655.20/661.61	o 2473
655.80/662.25	o 2470
656.49/662.91	o 2464
657.08/663.56	o 2463
657.77/664.21	o 2462
658.37/664.80	o 2458
658.96/665.48	o 2457
659.65/666.12	o 2456
660.25/666.77	o 2453
662.23/668.76	o 2450
662.82/669.38	o 2446
663.52/670.02	o 2444
670.45/677.03	o 2443
671.14/677.71	o 2435
671.44/678.03	o 2433
672.04/678.69	o 2432
672.73/679.33	o 2426
674.02/680.63	o 2425
678.67/685.37	o 2423
679.36/686.00	o 2422
679.96/686.62	o 2420
681.74/688.42	o 2416
684.12/690.82	o 2415
684.61/691.40	o 2413
685.31/692.03	o 2409
685.90/692.65	o 2408
687.09/693.90	o 2401
687.78/694.51	o 2398
690.75/697.50	o 2395
691.84/698.67	o 2392
698.87/705.79	o 2391
699.47/706.33	o 2388
702.34/709.21	o 2387
708.68/715.64	o 2384
709.37/716.30	o 2380
709.97/716.96	o 2378
710.66/717.61	o 2375
711.26/718.23	o 2374
712.54/719.51	o 2373
713.83/720.88	o 2371
714.52/721.57	o 2369
715.81/722.88	o 2365
716.50/723.54	o 2362
717.20/724.20	o 2360
718.58/725.60	o 2357
721.16/728.20	o 2355
722.55/729.62	o 2353
724.62/731.77	o 2351
725.42/732.52	o 2348
732.95/740.14	o 2346
733.64/740.84	o 2344
737.01/744.28	o 2342
737.70/744.96	o 2341
738.39/745.65	o 2338
738.99/746.30	o 2336
739.68/746.97	o 2335
740.37/747.65	o 2334
741.07/748.32	o 2332
742.45/749.74	o 2330
742.95/750.28	o 2329
743.65/750.99	o 2328
749.00/756.38	o 2327
749.69/757.09	o 2325
750.38/757.74	o 2323
751.07/758.43	o 2322
751.77/759.17	o 2320
753.85/761.29	o 2319
754.54/761.99	o 2316
755.24/762.68	o 2313
755.93/763.39	o 2311
756.62/764.09	o 2308
757.32/764.79	o 2305
757.91/765.37	o 2304
759.30/766.78	o 2303
759.98/767.49	o 2300
765.83/773.34	o 2297
766.52/774.09	o 2296
767.22/774.78	o 2294
768.01/775.54	o 2290
769.49/777.08	o 2289
770.28/777.88	o 2288
771.08/778.68	o 2287
772.46/780.04	o 2285
773.26/780.81	o 2282
773.94/781.60	o 2274
776.23/783.83	o 2272
776.92/784.56	o 2271
779.80/787.41	o 2269
780.39/788.09	o 2266
783.07/790.80	o 2265
785.25/792.93	o 2264
785.94/793.63	o 2262
786.63/794.37	o 2261
787.33/795.07	o 2259
788.02/795.78	o 2258
788.51/796.24	o 2256
789.20/796.96	o 2252
789.90/797.61	o 2250
791.29/799.03	o 2248
794.06/801.90	o 2246
795.44/803.24	o 2241
796.24/804.02	o 2239
797.03/804.83	o 2238
797.72/805.51	o 2236
799.11/806.97	o 2235
799.90/807.77	o 2233
800.69/808.54	o 2230
807.63/815.57	o 2229
813.07/821.10	o 2227
813.96/821.90	o 2225
814.76/822.71	o 2224
815.45/823.49	o 2223
816.24/824.29	o 2222
817.93/825.92	o 2220
818.71/826.71	o 2219
819.51/827.51	o 2218
821.10/829.15	o 2216
821.88/829.97	o 2215
823.57/831.65	o 2214
824.36/832.48	o 2213
826.05/834.15	o 2210
826.84/834.96	o 2209
827.73/835.87	o 2207
832.09/840.27	o 2206
832.98/841.14	o 2205
833.86/842.03	o 2203
858.64/867.05	o 2200
859.33/867.79	o 2196
861.21/869.64	o 2195
863.00/871.45	o 2184
863.79/872.22	o 2182
864.68/873.11	o 2181
866.46/874.92	o 2179
867.35/875.81	o 2177
871.02/879.53	o 2175
871.81/880.37	o 2174
872.70/881.29	o 2173
874.58/883.17	o 2172
877.36/885.91	o 2171
878.64/887.26	o 2167
880.42/889.03	o 2165
881.32/889.93	o 2164
883.10/891.72	o 2163
884.88/893.51	o 2161
886.66/895.38	o 2160
887.55/896.29	o 2158
888.54/897.23	o 2155
889.43/898.17	o 2154
890.43/899.10	o 2153
891.12/899.80	o 2149
891.81/900.53	o 2147
892.70/901.42	o 2143
893.59/902.32	o 2141
897.85/906.69	o 2140
900.64/909.47	o 2139
901.53/910.36	o 2137
903.31/912.11	o 2136
904.10/913.00	o 2134
904.99/913.87	o 2131
906.68/915.60	o 2129
907.57/916.45	o 2125
908.06/916.97	o 2120
908.86/917.72	o 2119
913.91/922.90	o 2118
914.80/923.73	o 2115
915.68/924.60	o 2114
919.05/928.07	o 2112
923.81/932.86	o 2109
926.39/935.49	o 2108
927.28/936.35	o 2106
930.44/939.56	o 2103
931.34/940.44	o 2099
933.12/942.26	o 2094
934.01/943.15	o 2091
934.41/943.60	o 2089
935.30/944.49	o 2087
936.19/945.39	o 2082
939.75/948.94	o 2079
940.64/949.80	o 2077
941.34/950.55	o 2074
942.03/951.28	o 2072
942.43/951.65	o 2069
947.78/957.10	o 2066
948.47/957.75	o 2064
949.36/958.65	o 2062
950.25/959.59	o 2061
952.04/961.40	o 2059
952.83/962.16	o 2058
953.62/962.96	o 2057
955.50/964.80	o 2053
956.39/965.70	o 2051
958.17/967.53	o 2049
958.67/968.08	o 2047
959.46/968.87	o 2045
960.25/969.68	o 2043
961.15/970.51	o 2042
962.83/972.21	o 2041
963.62/973.05	o 2040
967.98/977.46	o 2038
978.68/988.26	o 2037
980.56/990.11	o 2035
981.45/991.02	o 2032
986.90/996.56	o 2031
987.79/997.50	o 2028
988.68/998.38	o 2026
989.57/999.27	o 2025
992.26/1001.98	o 2022
994.24/1003.91	o 2020
995.13/1004.90	o 2017
996.02/1005.79	o 2015
1001.56/1011.36	o 2014
1002.56/1012.31	o 2013
1004.44/1014.22	o 2011
1009.98/1019.88	o 2008
1016.12/1026.09	o 2006
1018.90/1028.82	o 2003
1020.68/1030.67	o 2000
1030.59/1040.65	o 1999
1031.48/1041.60	o 1996
1032.47/1042.58	o 1994
1033.45/1043.50	o 1993
1034.34/1044.41	o 1991
1035.24/1045.34	o 1988
1036.72/1046.80	o 1987
1045.34/1055.59	o 1986
1046.23/1056.46	o 1985
1047.12/1057.33	o 1983
1048.01/1058.21	o 1982
1052.27/1062.54	o 1979
1054.75/1065.07	o 1978
1055.64/1065.93	o 1976
1056.53/1066.80	o 1975
1057.32/1067.64	o 1974
1058.12/1068.48	o 1971
1059.00/1069.36	o 1968
1059.90/1070.24	o 1966
1064.65/1075.09	o 1964
1069.02/1079.44	o 1961
1071.59/1082.07	o 1958
1073.37/1083.85	o 1957
1073.97/1084.44	o 1955
1074.76/1085.29	o 1951
1076.54/1087.02	o 1950
1077.34/1087.88	o 1947
1078.23/1088.76	o 1945
1080.01/1090.54	o 1944
1081.79/1092.38	o 1941
1082.68/1093.24	o 1940
1083.47/1094.08	o 1938
1084.37/1094.95	o 1936
1086.94/1097.59	o 1934
1089.62/1100.28	o 1933
1098.72/1109.47	o 1932
1099.62/1110.40	o 1930
1104.07/1114.84	o 1926
1104.77/1115.50	o 1925
1105.76/1116.53	o 1923
1108.63/1119.42	o 1922
1109.52/1120.33	o 1921
1110.21/1121.05	o 1919
1111.11/1121.97	o 1918
1113.88/1124.73	o 1915
1119.42/1130.39	o 1913
1119.82/1130.79	o 1911
1120.71/1131.62	o 1908
1121.60/1132.57	o 1907
1122.59/1133.51	o 1905
1124.38/1135.36	o 1904
1125.27/1136.30	o 1903
1139.63/1150.75	o 1901
1140.52/1151.66	o 1898
1145.18/1156.33	o 1896
1161.53/1172.88	o 1890
1163.41/1174.76	o 1887
1165.29/1176.66	o 1883
1167.17/1178.56	o 1879
1168.06/1179.49	o 1870
1169.05/1180.45	o 1869
1172.91/1184.31	o 1868
1173.80/1185.24	o 1858
1174.70/1186.16	o 1856
1179.16/1190.65	o 1855
1180.05/1191.58	o 1853
1180.94/1192.50	o 1851
1181.93/1193.43	o 1850
1182.82/1194.34	o 1849
1183.81/1195.32	o 1848
1186.68/1198.20	o 1847
1187.67/1199.21	o 1846
1188.47/1200.08	o 1844
1189.36/1200.99	o 1843
1198.47/1210.12	o 1841
1200.25/1211.96	o 1838
1200.74/1212.47	o 1834
1203.62/1215.35	o 1833
1207.18/1218.90	o 1828
1211.25/1223.06	o 1827
1212.24/1224.00	o 1825
1214.92/1226.72	o 1824
1215.81/1227.65	o 1823
1216.80/1228.62	o 1820
1218.68/1230.58	o 1819
1219.67/1231.53	o 1816
1223.13/1235.08	o 1814
1231.55/1243.57	o 1810
1232.24/1244.25	o 1808
1233.24/1245.20	o 1806
1237.69/1249.77	o 1803
1238.69/1250.73	o 1800
1240.47/1252.56	o 1798
1241.06/1253.18	o 1792
1241.65/1253.77	o 1789
1242.44/1254.55	o 1788
1243.34/1255.44	o 1782
1247.80/1259.96	o 1780
1252.65/1264.89	o 1779
1254.53/1266.76	o 1778
1256.31/1268.58	o 1776
1257.30/1269.52	o 1775
1258.20/1270.44	o 1774
1260.08/1272.32	o 1773
1260.97/1273.25	o 1769
1261.36/1273.65	o 1767
1263.24/1275.55	o 1766
1264.23/1276.52	o 1765
1270.58/1282.95	o 1763
1272.95/1285.37	o 1762
1275.13/1287.58	o 1760
1294.15/1306.75	o 1758
1295.04/1307.65	o 1756
1295.93/1308.51	o 1755
1299.10/1311.78	o 1754
1305.34/1318.05	o 1744
1306.24/1318.99	o 1742
1308.11/1320.89	o 1740
1312.77/1325.57	o 1739
1312.96/1325.75	o 1737
1313.86/1326.67	o 1735
1314.75/1327.59	o 1734
1315.74/1328.53	o 1733
1317.62/1330.44	o 1731
1318.61/1331.40	o 1730
1321.39/1334.29	o 1728
1333.67/1346.65	o 1726
1334.56/1347.55	o 1723
1348.72/1361.86	o 1719
1349.71/1362.83	o 1718
1350.70/1363.80	o 1717
1351.59/1364.79	o 1714
1355.06/1368.26	o 1713
1357.83/1371.09	o 1712
1360.41/1373.64	o 1711
1362.29/1375.52	o 1708
1363.18/1376.47	o 1707
1364.17/1377.41	o 1702
1375.67/1389.01	o 1698
1377.46/1390.87	o 1695
1377.85/1391.27	o 1694
1379.73/1393.14	o 1693
1382.51/1395.96	o 1692
1386.37/1399.85	o 1689
1387.26/1400.73	o 1687
1388.15/1401.70	o 1684
1388.85/1402.30	o 1682
1390.53/1404.01	o 1680
1391.91/1405.45	o 1678
1404.59/1418.22	o 1676
1407.37/1421.06	o 1673
1410.23/1423.93	o 1671
1411.03/1424.78	o 1670
1412.02/1425.76	o 1669
1421.23/1435.06	o 1666
1422.82/1436.63	o 1664
1423.51/1437.35	o 1662
1424.50/1438.31	o 1661
1425.39/1439.24	o 1657
1426.28/1440.16	o 1656
1426.98/1440.88	o 1654
1431.13/1445.09	o 1653
1432.12/1446.01	o 1647
1444.00/1458.07	o 1646
1445.00/1459.07	o 1644
1445.99/1460.03	o 1642
1447.97/1462.02	o 1639
1449.85/1463.99	o 1637
1450.84/1464.95	o 1636
1455.69/1469.88	o 1635
1459.95/1474.12	o 1634
1460.95/1475.12	o 1632
1461.74/1475.92	o 1630
1462.72/1476.95	o 1629
1466.79/1481.03	o 1628
1467.68/1481.98	o 1627
1468.67/1482.96	o 1626
1469.66/1483.98	o 1624
1473.92/1488.22	o 1623
1474.91/1489.21	o 1622
1475.90/1490.23	o 1621
1476.89/1491.24	o 1619
1478.97/1493.34	o 1618
1483.14/1497.58	o 1617
1484.82/1499.25	o 1608
1485.81/1500.30	o 1606
1495.22/1509.71	o 1603
1497.30/1511.87	o 1601
1502.65/1517.27	o 1600
1503.74/1518.38	o 1597
1504.33/1518.96	o 1595
1508.19/1522.86	o 1592
1515.42/1530.19	o 1591
1518.69/1533.41	o 1589
1519.68/1534.45	o 1587
1520.77/1535.54	o 1586
1528.10/1542.99	o 1585
1530.38/1545.21	o 1583
1534.53/1549.40	o 1580
1538.60/1553.59	o 1579
1543.75/1558.75	o 1578
1546.92/1561.95	o 1577
1550.09/1565.16	o 1576
1551.18/1566.26	o 1574
1553.25/1568.37	o 1573
1554.34/1569.49	o 1571
1555.43/1570.58	o 1570
1561.08/1576.21	o 1569
1563.36/1578.52	o 1568
1565.55/1580.72	o 1563
1566.44/1581.62	o 1562
1573.18/1588.43	o 1556
1601.70/1617.24	o 1553
1602.89/1618.45	o 1552
1606.26/1621.86	o 1549
1607.44/1623.04	o 1546
1608.63/1624.21	o 1543
1613.19/1628.81	o 1535
1624.87/1640.64	o 1533
1637.95/1653.83	o 1532
1639.03/1654.92	o 1530
1640.22/1656.13	o 1527
1647.26/1663.27	o 1526
1648.25/1664.29	o 1524
1653.89/1669.90	o 1521
1654.79/1670.81	o 1520
1656.98/1673.04	o 1519
1659.05/1675.15	o 1518
1659.84/1675.91	o 1516
1660.93/1677.05	o 1514
1661.73/1677.81	o 1511
1662.82/1678.96	o 1508
1663.71/1679.83	o 1507
1666.97/1683.13	o 1505
1668.06/1684.23	o 1503
1672.23/1688.46	o 1502
1673.32/1689.56	o 1501
1674.41/1690.65	o 1499
1676.78/1693.00	o 1496
1678.86/1695.16	o 1495
1681.04/1697.34	o 1494
1681.34/1697.68	o 1491
1683.52/1699.89	o 1489
1689.56/1705.94	o 1488
1692.73/1709.15	o 1487
1693.82/1710.23	o 1486
1694.91/1711.33	o 1482
1695.99/1712.44	o 1481
1704.71/1721.28	o 1478
1709.07/1725.64	o 1477
1719.66/1736.31	o 1476
1721.45/1738.13	o 1462
1726.89/1743.62	o 1461
1727.79/1744.58	o 1460
1737.30/1754.15	o 1458
1741.86/1758.75	o 1457
1742.95/1759.81	o 1456
1743.94/1760.89	o 1455
1748.29/1765.29	o 1452
1749.38/1766.38	o 1451
1751.66/1768.61	o 1450
1754.83/1771.85	o 1449
1755.23/1772.28	o 1446
1756.32/1773.37	o 1445
1757.40/1774.44	o 1443
1758.40/1775.49	o 1441
1761.67/1778.74	o 1440
1763.85/1780.92	o 1437
1764.93/1782.00	o 1436
1765.92/1783.07	o 1435
1769.19/1786.34	o 1434
1770.28/1787.43	o 1433
1771.27/1788.49	o 1432
1772.36/1789.54	o 1430
1773.35/1790.59	o 1429
1774.05/1791.21	o 1427
1781.37/1798.67	o 1424
1785.23/1802.57	o 1423
1786.32/1803.65	o 1422
1797.91/1815.38	o 1421
1798.80/1816.22	o 1419
1799.89/1817.34	o 1416
1800.39/1817.83	o 1414
1801.48/1818.91	o 1412
1804.65/1822.19	o 1411
1805.74/1823.28	o 1409
1808.91/1826.49	o 1406
1810.00/1827.57	o 1404
1811.09/1828.65	o 1402
1813.28/1830.85	o 1399
1814.37/1831.95	o 1396
1817.63/1835.20	o 1393
1818.72/1836.30	o 1391
1819.81/1837.43	o 1390
1825.26/1842.92	o 1389
1833.97/1851.78	o 1386
1835.06/1852.89	o 1384
1844.77/1862.64	o 1383
1845.66/1863.50	o 1382
1846.65/1864.56	o 1380
1847.64/1865.56	o 1377
1848.63/1866.58	o 1376
1872.50/1890.67	o 1373
1873.69/1891.81	o 1372
1874.78/1892.97	o 1370
1875.87/1894.10	o 1369
1879.43/1897.64	o 1368
1880.43/1898.62	o 1367
1883.50/1901.74	o 1365
1885.18/1903.46	o 1364
1886.27/1904.58	o 1360
1891.62/1909.91	o 1359
1892.71/1911.05	o 1357
1896.08/1914.40	o 1355
1897.17/1915.51	o 1353
1899.35/1917.78	o 1351
1900.53/1918.92	o 1350
1901.62/1920.01	o 1348
1905.68/1924.17	o 1347
1906.88/1925.31	o 1346
1908.07/1926.52	o 1344
1912.22/1930.78	o 1343
1929.06/1947.75	o 1341
1930.25/1948.92	o 1339
1936.39/1955.19	o 1336
1938.77/1957.52	o 1335
1942.24/1961.01	o 1334
1946.89/1965.74	o 1333
1950.36/1969.29	o 1331
1952.73/1971.64	o 1330
1953.92/1972.82	o 1329
1959.87/1978.83	o 1326
1960.46/1979.42	o 1325
1961.64/1980.62	o 1323
1962.73/1981.75	o 1322
1967.49/1986.57	o 1320
1968.68/1987.72	o 1319
1969.87/1988.90	o 1318
1972.14/1991.24	o 1316
1989.58/2008.87	o 1314
1990.67/2009.93	o 1312
2012.26/2031.71	o 1311
2013.45/2032.92	o 1310
2014.44/2033.96	o 1308
2015.63/2035.18	o 1305
2018.11/2037.66	o 1303
2020.58/2040.14	o 1298
2021.77/2041.35	o 1296
2023.06/2042.64	o 1294
2024.25/2043.80	o 1293
2027.81/2047.49	o 1292
2029.10/2048.76	o 1291
2030.39/2050.05	o 1286
2040.40/2060.11	o 1284
2061.89/2081.81	o 1283
2063.08/2083.06	o 1282
2093.59/2113.81	   
2093.59/2113.81	   search
2093.59/2113.81	     run=0  nbConstraintChecks=4310425384  nbAssignments=3137
2093.59/2113.81	       =>  wckTime=2099.924  cpuTime=2079.8  mem=60M106
2093.59/2113.81	   
2093.59/2113.81	   global
2093.59/2113.81	     nbConstraintChecks=4310425384  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2093.59/2113.81	     solvingWckTime=2099.907  solvingCpuTime=2079.79  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2093.59/2113.81	     globalCpuTime=2092.16
2093.59/2113.81	       =>  wckTime=2113.565  cpuTime=2092.1  mem=60M106
2093.59/2113.81	   
2093.59/2113.81	   solver DecomposerSolver being built... 
2099.92/2120.20	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112899-1215875302/watcher-1112899-1215875302 -o /tmp/evaluation-result-1112899-1215875302/solver-1112899-1215875302 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112899-1215875302.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.20 4/81 16598
/proc/meminfo: memFree=1426688/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=18572 CPUtime=0
/proc/16598/stat : 16598 (runsolver) R 16596 16598 15666 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44233764 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16598/statm: 4643 292 257 25 0 2626 0

[startup+0.053178 s]
/proc/loadavg: 2.00 2.02 2.20 4/81 16598
/proc/meminfo: memFree=1426688/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=861876 CPUtime=0.03
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 2362 0 1 0 2 1 0 0 18 0 5 0 44233764 882561024 1949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 215469 1950 898 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.102905 s]
/proc/loadavg: 2.00 2.02 2.20 4/81 16598
/proc/meminfo: memFree=1426688/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=865984 CPUtime=0.08
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 3694 0 1 0 6 2 0 0 18 0 9 0 44233764 886767616 3169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216496 3169 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301945 s]
/proc/loadavg: 2.00 2.02 2.20 4/81 16598
/proc/meminfo: memFree=1426688/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=866156 CPUtime=0.28
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 5594 0 1 0 25 3 0 0 18 0 9 0 44233764 886943744 5009 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216539 5009 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.702021 s]
/proc/loadavg: 2.00 2.02 2.20 4/81 16598
/proc/meminfo: memFree=1426688/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=866980 CPUtime=0.67
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 9999 0 1 0 61 6 0 0 18 0 9 0 44233764 887787520 9370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216745 9370 1968 9 0 211273 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866980

[startup+1.50217 s]
/proc/loadavg: 2.00 2.02 2.20 3/90 16607
/proc/meminfo: memFree=1379256/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867412 CPUtime=1.47
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 22135 0 1 0 134 13 0 0 18 0 9 0 44233764 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216853 21471 2004 9 0 211381 0
[pid=16598/tid=16600] ppid=16596 vsize=867412 CPUtime=1.2
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15768 0 1 0 110 10 0 0 25 0 9 0 44233766 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867412 CPUtime=0.07
/proc/16598/task/16601/stat : 16601 (java) S 16596 16598 15666 0 -1 64 5068 0 0 0 6 1 0 0 16 0 9 0 44233767 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233767 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867412 CPUtime=0.17
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 603 0 0 0 17 0 0 0 16 0 9 0 44233770 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867412

[startup+3.10245 s]
/proc/loadavg: 2.00 2.01 2.19 3/90 16607
/proc/meminfo: memFree=1334840/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867412 CPUtime=3.06
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 25517 0 1 0 290 16 0 0 18 0 9 0 44233764 888229888 24850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216853 24850 2006 9 0 211381 0
[pid=16598/tid=16600] ppid=16596 vsize=867412 CPUtime=2.65
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15804 0 1 0 254 11 0 0 25 0 9 0 44233766 888229888 24850 996147200 134512640 134550740 4294955952 18446744073709551615 4126893440 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867412 CPUtime=0.19
/proc/16598/task/16601/stat : 16601 (java) S 16596 16598 15666 0 -1 64 8403 0 0 0 16 3 0 0 17 0 9 0 44233767 888229888 24850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888229888 24850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233767 888229888 24850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888229888 24850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867412 CPUtime=0.19
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 614 0 0 0 19 0 0 0 16 0 9 0 44233770 888229888 24850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888229888 24850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888229888 24850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867412

[startup+6.30104 s]
/proc/loadavg: 2.00 2.01 2.19 3/90 16607
/proc/meminfo: memFree=1334264/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867412 CPUtime=6.22
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 25524 0 1 0 606 16 0 0 18 0 9 0 44233764 888229888 24854 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216853 24854 2006 9 0 211381 0
[pid=16598/tid=16600] ppid=16596 vsize=867412 CPUtime=5.81
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15809 0 1 0 570 11 0 0 25 0 9 0 44233766 888229888 24854 996147200 134512640 134550740 4294955952 18446744073709551615 4126897849 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867412 CPUtime=0.19
/proc/16598/task/16601/stat : 16601 (java) S 16596 16598 15666 0 -1 64 8403 0 0 0 16 3 0 0 16 0 9 0 44233767 888229888 24854 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888229888 24854 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233767 888229888 24854 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888229888 24854 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867412 CPUtime=0.19
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 616 0 0 0 19 0 0 0 16 0 9 0 44233770 888229888 24854 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888229888 24854 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888229888 24854 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867412

[startup+12.7022 s]
/proc/loadavg: 2.00 2.01 2.19 3/90 16607
/proc/meminfo: memFree=1326264/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867412 CPUtime=12.56
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 29027 0 1 0 1238 18 0 0 18 0 9 0 44233764 888229888 28353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216853 28353 2007 9 0 211381 0
[pid=16598/tid=16600] ppid=16596 vsize=867412 CPUtime=11.85
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15817 0 1 0 1173 12 0 0 25 0 9 0 44233766 888229888 28353 996147200 134512640 134550740 4294955952 18446744073709551615 102887885 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867412 CPUtime=0.42
/proc/16598/task/16601/stat : 16601 (java) S 16596 16598 15666 0 -1 64 11849 0 0 0 38 4 0 0 17 0 9 0 44233767 888229888 28353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888229888 28353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233767 888229888 28353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888229888 28353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867412 CPUtime=0.26
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 665 0 0 0 26 0 0 0 15 0 9 0 44233770 888229888 28353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888229888 28353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888229888 28353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867412

[startup+25.5016 s]
/proc/loadavg: 2.00 2.01 2.19 3/90 16607
/proc/meminfo: memFree=1302840/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867500 CPUtime=25.23
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 34215 0 1 0 2502 21 0 0 18 0 9 0 44233764 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216875 33347 2640 9 0 211381 0
[pid=16598/tid=16600] ppid=16596 vsize=867500 CPUtime=24
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15882 0 1 0 2387 13 0 0 25 0 9 0 44233766 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4126897873 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867500 CPUtime=0.89
/proc/16598/task/16601/stat : 16601 (java) S 16596 16598 15666 0 -1 64 16943 0 0 0 83 6 0 0 16 0 9 0 44233767 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233767 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867500 CPUtime=0.31
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 694 0 0 0 31 0 0 0 16 0 9 0 44233770 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867500

[startup+51.1012 s]
/proc/loadavg: 2.00 2.01 2.18 3/90 16607
/proc/meminfo: memFree=1302840/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867500 CPUtime=50.58
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 34215 0 1 0 5035 23 0 0 18 0 9 0 44233764 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216875 33347 2640 9 0 211381 0
[pid=16598/tid=16600] ppid=16596 vsize=867500 CPUtime=49.34
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15882 0 1 0 4919 15 0 0 25 0 9 0 44233766 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4126896755 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867500 CPUtime=0.89
/proc/16598/task/16601/stat : 16601 (java) S 16596 16598 15666 0 -1 64 16943 0 0 0 83 6 0 0 16 0 9 0 44233767 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233767 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867500 CPUtime=0.31
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 694 0 0 0 31 0 0 0 16 0 9 0 44233770 888320000 33347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867500 CPUtime=0

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

/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867500 CPUtime=0.35
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 707 0 0 0 34 1 0 0 16 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2062.39
Current children cumulated vsize (KiB) 867500

Solver just ended. Dumping a history of the last processes samples

[startup+2099.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/90 16609
/proc/meminfo: memFree=1299000/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867500 CPUtime=2079.03
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 34233 0 1 0 207845 58 0 0 18 0 9 0 44233764 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216875 33360 2640 9 0 211381 0
[pid=16598/tid=16600] ppid=16596 vsize=867500 CPUtime=2077.75
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15887 0 1 0 207726 49 0 0 25 0 9 0 44233766 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4127063408 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867500 CPUtime=0.89
/proc/16598/task/16601/stat : 16601 (java) S 16596 16598 15666 0 -1 64 16943 0 0 0 83 6 0 0 16 0 9 0 44233767 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233767 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867500 CPUtime=0.35
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 707 0 0 0 34 1 0 0 16 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.03
Current children cumulated vsize (KiB) 867500

[startup+2111.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 16609
/proc/meminfo: memFree=1299000/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867500 CPUtime=2091.71
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 34233 0 1 0 209113 58 0 0 18 0 9 0 44233764 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216875 33360 2640 9 0 211381 0
[pid=16598/tid=16600] ppid=16596 vsize=867500 CPUtime=2090.43
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15887 0 1 0 208994 49 0 0 25 0 9 0 44233766 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4127063485 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867500 CPUtime=0.89
/proc/16598/task/16601/stat : 16601 (java) S 16596 16598 15666 0 -1 64 16943 0 0 0 83 6 0 0 16 0 9 0 44233767 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233767 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867500 CPUtime=0.35
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 707 0 0 0 34 1 0 0 16 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867500 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) R 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888320000 33360 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2091.71
Current children cumulated vsize (KiB) 867500

[startup+2115.1 s]
/proc/loadavg: 2.05 2.01 2.00 4/90 16609
/proc/meminfo: memFree=1265336/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867412 CPUtime=2094.87
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 106599 0 1 0 209398 89 0 0 18 0 9 0 44233764 888229888 105654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216853 105654 2619 9 0 211381 0
[pid=16598/tid=16600] ppid=16596 vsize=867412 CPUtime=2092.91
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15968 0 1 0 209241 50 0 0 25 0 9 0 44233766 888229888 105654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867412 CPUtime=1.54
/proc/16598/task/16601/stat : 16601 (java) R 16596 16598 15666 0 -1 64 89180 0 0 0 117 37 0 0 16 0 9 0 44233767 888229888 105654 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888229888 105654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44233767 888229888 105654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888229888 105654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867412 CPUtime=0.4
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 737 0 0 0 39 1 0 0 16 0 9 0 44233770 888229888 105654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888229888 105654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867412 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888229888 105654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2094.87
Current children cumulated vsize (KiB) 867412

[startup+2118.3 s]
/proc/loadavg: 2.13 2.03 2.01 4/90 16609
/proc/meminfo: memFree=633016/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867664 CPUtime=2098.04
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 200655 0 1 0 209677 127 0 0 18 0 9 0 44233764 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216916 199509 2618 9 0 211444 0
[pid=16598/tid=16600] ppid=16596 vsize=867664 CPUtime=2093.21
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15979 0 1 0 209271 50 0 0 24 0 9 0 44233766 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867664 CPUtime=4.4
/proc/16598/task/16601/stat : 16601 (java) R 16596 16598 15666 0 -1 64 183225 0 0 0 366 74 0 0 18 0 9 0 44233767 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44233767 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867664 CPUtime=0.4
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 737 0 0 0 39 1 0 0 16 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2098.04
Current children cumulated vsize (KiB) 867664

[startup+2119.1 s]
/proc/loadavg: 2.13 2.03 2.01 4/90 16609
/proc/meminfo: memFree=633016/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867664 CPUtime=2098.83
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 200782 0 1 0 209756 127 0 0 18 0 9 0 44233764 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216916 199509 2618 9 0 211444 0
[pid=16598/tid=16600] ppid=16596 vsize=867664 CPUtime=2093.21
/proc/16598/task/16600/stat : 16600 (java) R 16596 16598 15666 0 -1 64 15980 0 1 0 209271 50 0 0 24 0 9 0 44233766 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867664 CPUtime=5.2
/proc/16598/task/16601/stat : 16601 (java) R 16596 16598 15666 0 -1 64 183351 0 0 0 445 75 0 0 18 0 9 0 44233767 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 102469633 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44233767 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867664 CPUtime=0.4
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 737 0 0 0 39 1 0 0 16 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2098.83
Current children cumulated vsize (KiB) 867664

[startup+2119.9 s]
/proc/loadavg: 2.13 2.03 2.01 3/90 16609
/proc/meminfo: memFree=633016/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=867664 CPUtime=2099.63
/proc/16598/stat : 16598 (java) S 16596 16598 15666 0 -1 0 200782 0 1 0 209836 127 0 0 18 0 9 0 44233764 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 216916 199509 2618 9 0 211444 0
[pid=16598/tid=16600] ppid=16596 vsize=867664 CPUtime=2093.21
/proc/16598/task/16600/stat : 16600 (java) S 16596 16598 15666 0 -1 64 15980 0 1 0 209271 50 0 0 24 0 9 0 44233766 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16601] ppid=16596 vsize=867664 CPUtime=5.99
/proc/16598/task/16601/stat : 16601 (java) R 16596 16598 15666 0 -1 64 183351 0 0 0 524 75 0 0 20 0 9 0 44233767 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16602] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16602/stat : 16602 (java) S 16596 16598 15666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233767 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16603] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16603/stat : 16603 (java) S 16596 16598 15666 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44233767 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16604] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16604/stat : 16604 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16605] ppid=16596 vsize=867664 CPUtime=0.4
/proc/16598/task/16605/stat : 16605 (java) S 16596 16598 15666 0 -1 64 737 0 0 0 39 1 0 0 16 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16606] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16606/stat : 16606 (java) S 16596 16598 15666 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16598/tid=16607] ppid=16596 vsize=867664 CPUtime=0
/proc/16598/task/16607/stat : 16607 (java) S 16596 16598 15666 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44233770 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2099.63
Current children cumulated vsize (KiB) 867664

[startup+2120.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/90 16609
/proc/meminfo: memFree=633016/2055920 swapFree=4181172/4192956
[pid=16598] ppid=16596 vsize=0 CPUtime=2099.99
/proc/16598/stat : 16598 (java) Z 16596 16598 15666 0 -1 12 200853 0 1 0 209866 133 0 0 16 0 2 0 44233764 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16598/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2099.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2120.36
CPU time (s): 2100.06
CPU user time (s): 2098.66
CPU system time (s): 1.39379
CPU usage (%): 99.0425
Max. virtual memory (cumulated for all children) (KiB): 867664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2098.66
system time used= 1.39379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200853
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= 44725
involuntary context switches= 93613

runsolver used 2.76258 second user time and 7.05593 second system time

The end

Launcher Data (download as text)

Begin job on node2 at 2008-07-12 17:08:23
IDJOB=1112899
IDBENCH=61493
IDSOLVER=359
FILE ID=node2/1112899-1215875302
PBS_JOBID= 7903495
Free space on /tmp= 66508 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp35/normalized-fapp35-1500-3.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112899-1215875302/watcher-1112899-1215875302 -o /tmp/evaluation-result-1112899-1215875302/solver-1112899-1215875302 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112899-1215875302.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e300dafa26bcab4445d58a8b5c31c7b7
RANDOM SEED=123555203

node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1427168 kB
Buffers:         11620 kB
Cached:          46120 kB
SwapCached:       5568 kB
Active:         561484 kB
Inactive:        13480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1427168 kB
SwapTotal:     4192956 kB
SwapFree:      4181172 kB
Dirty:            5060 kB
Writeback:           0 kB
Mapped:         533336 kB
Slab:            37880 kB
Committed_AS:  1000588 kB
PageTables:       3020 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= 66504 MiB
End job on node2 at 2008-07-12 17:43:43