Trace number 1112900

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-d? 2028.6 2044.7

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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.27/0.32	   
0.27/0.32	   instance
0.27/0.32	     name=HOME/instance-1112900-1215875303.xml
0.27/0.36	   
0.27/0.36	   domains being loaded...
0.37/0.46	   
0.37/0.46	   variables being loaded...
0.67/0.79	     nbVariables=1500  nbDomainTypes=17  minDomainSize=90  maxDomainSize=698  nbTotalValues=844907
0.67/0.79	       =>  wckTime=0.552  cpuTime=0.4  mem=32M288
0.67/0.79	   
0.67/0.79	   predicates being loaded...
0.77/0.86	   
0.77/0.86	   constraints being loaded...
10.57/10.79	   
10.57/10.79	   INFO : Stopping converting binary constraints (cpu=10.12, mem = 51M850)
13.15/13.39	     nbConstraints=22067  nbConvertedConstraints=66  nbConvertConstraintsChecks=31021964  nbExtensionStructures=65
13.15/13.39	     nbSharedExtensionStructures=2  nbConflictsStructures=113  nbSharedConflictsStructures=111
13.15/13.39	     nbUnbuiltConflictsStructures=6859  nbSharedBinaryRepresentations=66550  nbEvaluationManagers=6907
13.15/13.39	     nbSharedEvaluationManagers=15094  minDegree=5  maxDegree=92  minArity=2  maxArity=2
13.15/13.39	       =>  wckTime=13.148  cpuTime=12.2  mem=83M336
13.54/13.75	   
13.54/13.75	   solver LocalSearchSolver being built... 
13.64/13.80	       =>  wckTime=13.56  cpuTime=12.25  mem=59M861
14.14/14.32	
14.14/14.32	s SATISFIABLE
14.14/14.32	o 5988
14.23/14.45	o 5976
14.33/14.58	o 5967
14.44/14.67	o 5956
14.64/14.81	o 5943
14.74/14.97	o 5931
15.04/15.21	o 5924
15.04/15.29	o 5913
15.24/15.42	o 5905
15.24/15.48	o 5898
15.43/15.62	o 5894
15.53/15.75	o 5893
15.73/15.91	o 5888
15.82/16.04	o 5885
15.92/16.17	o 5882
16.12/16.34	o 5878
16.22/16.45	o 5870
16.32/16.53	o 5861
16.42/16.60	o 5852
16.52/16.72	o 5843
16.52/16.78	o 5835
16.71/16.92	o 5830
16.81/17.00	o 5828
16.91/17.11	o 5823
16.91/17.19	o 5813
17.31/17.57	o 5808
17.41/17.62	o 5806
17.41/17.67	o 5797
17.60/17.80	o 5795
17.90/18.12	o 5793
18.00/18.27	o 5786
18.20/18.42	o 5782
18.40/18.60	o 5779
18.50/18.76	o 5777
18.69/18.95	o 5766
18.89/19.13	o 5759
18.99/19.28	o 5757
19.19/19.40	o 5750
19.39/19.66	o 5746
19.68/20.00	o 5743
19.88/20.16	o 5735
20.38/20.66	o 5729
20.48/20.77	o 5728
20.67/20.97	o 5719
20.77/21.10	o 5717
20.87/21.17	o 5708
20.97/21.29	o 5706
21.16/21.42	o 5703
21.26/21.57	o 5699
21.36/21.67	o 5698
21.46/21.80	o 5696
21.76/22.04	o 5692
21.86/22.11	o 5687
22.25/22.60	o 5685
22.45/22.77	o 5680
22.55/22.87	o 5679
22.86/23.14	o 5675
22.95/23.27	o 5672
23.15/23.42	o 5670
23.25/23.59	o 5666
23.45/23.73	o 5657
23.65/23.97	o 5655
23.85/24.19	o 5654
24.04/24.34	o 5648
24.14/24.46	o 5635
24.54/24.84	o 5628
24.94/25.30	o 5624
25.13/25.47	o 5623
25.33/25.67	o 5614
25.53/25.82	o 5608
25.93/26.24	o 5607
26.03/26.37	o 5603
26.13/26.47	o 5602
26.42/26.76	o 5600
26.52/26.87	o 5595
26.72/27.00	o 5591
26.82/27.17	o 5589
27.02/27.35	o 5585
27.21/27.52	o 5577
27.31/27.65	o 5575
27.41/27.76	o 5574
27.60/27.97	o 5570
27.70/28.08	o 5559
27.90/28.27	o 5551
28.10/28.44	o 5548
28.30/28.65	o 5546
28.69/29.02	o 5543
28.79/29.14	o 5540
28.89/29.29	o 5536
29.09/29.42	o 5528
29.19/29.56	o 5526
29.49/29.87	o 5523
29.59/29.98	o 5518
29.78/30.11	o 5515
29.88/30.22	o 5510
29.98/30.34	o 5509
30.08/30.45	o 5502
30.18/30.53	o 5496
30.28/30.65	o 5489
30.48/30.80	o 5484
30.68/31.04	o 5482
30.87/31.23	o 5478
31.07/31.41	o 5474
31.17/31.55	o 5471
31.37/31.71	o 5468
31.47/31.86	o 5466
31.66/32.05	o 5465
32.16/32.53	o 5459
32.36/32.74	o 5457
32.75/33.18	o 5448
32.95/33.37	o 5444
33.44/33.83	o 5440
33.74/34.17	o 5438
33.94/34.33	o 5437
34.33/34.71	o 5435
34.53/34.98	o 5430
34.83/35.23	o 5425
35.03/35.50	o 5421
35.32/35.76	o 5417
35.62/36.03	o 5413
35.92/36.32	o 5409
36.22/36.61	o 5405
36.41/36.90	o 5401
36.81/37.23	o 5398
37.11/37.52	o 5395
37.40/37.85	o 5393
37.70/38.17	o 5385
38.00/38.46	o 5376
38.30/38.74	o 5367
38.49/38.99	o 5359
38.79/39.25	o 5353
38.99/39.50	o 5351
39.29/39.72	o 5349
39.49/39.94	o 5345
39.68/40.19	o 5343
39.98/40.45	o 5341
40.18/40.69	o 5337
40.47/40.92	o 5335
40.67/41.15	o 5333
40.87/41.39	o 5332
41.66/42.11	o 5325
42.16/42.64	o 5324
43.45/43.94	o 5316
43.84/44.40	o 5315
44.04/44.57	o 5303
44.55/45.01	o 5296
45.53/46.09	o 5289
45.73/46.29	o 5286
46.03/46.51	o 5283
46.22/46.75	o 5276
46.52/47.04	o 5270
47.02/47.56	o 5264
47.31/47.83	o 5263
47.61/48.11	o 5257
47.81/48.35	o 5251
48.11/48.62	o 5250
48.30/48.88	o 5246
48.60/49.10	o 5241
48.80/49.38	o 5236
49.10/49.67	o 5231
49.39/49.95	o 5226
49.69/50.22	o 5220
49.89/50.48	o 5216
50.18/50.77	o 5212
50.58/51.10	o 5209
50.78/51.39	o 5207
51.08/51.68	o 5204
51.37/51.94	o 5201
51.67/52.27	o 5199
51.97/52.53	o 5196
52.17/52.79	o 5193
52.46/53.03	o 5191
52.76/53.30	o 5189
52.95/53.59	o 5187
53.25/53.85	o 5183
53.55/54.10	o 5181
53.74/54.35	o 5179
53.94/54.59	o 5172
54.24/54.82	o 5167
54.44/55.06	o 5163
54.64/55.29	o 5160
54.93/55.55	o 5158
55.13/55.79	o 5157
55.43/56.08	o 5156
55.72/56.33	o 5155
56.42/57.07	o 5149
56.71/57.30	o 5147
56.91/57.58	o 5143
57.21/57.85	o 5141
57.41/58.08	o 5139
57.71/58.33	o 5132
57.90/58.58	o 5130
58.20/58.86	o 5129
58.39/59.06	o 5123
58.69/59.31	o 5122
58.89/59.54	o 5120
59.09/59.76	o 5117
59.38/60.01	o 5113
59.58/60.22	o 5108
59.88/60.51	o 5102
60.08/60.72	o 5096
60.27/60.96	o 5095
60.57/61.24	o 5094
61.36/62.01	o 5093
61.56/62.26	o 5089
62.75/63.42	o 5085
63.05/63.72	o 5078
63.35/64.03	o 5074
63.85/64.59	o 5065
64.25/64.93	o 5059
64.84/65.51	o 5054
65.14/65.84	o 5049
65.43/66.18	o 5044
65.73/66.49	o 5039
66.13/66.81	o 5034
66.43/67.12	o 5032
66.72/67.42	o 5030
66.92/67.70	o 5024
67.22/67.95	o 5020
67.52/68.22	o 5019
67.91/68.69	o 5017
68.20/68.96	o 5014
68.50/69.24	o 5011
68.80/69.54	o 5009
69.09/69.82	o 5007
69.29/70.09	o 5005
69.59/70.33	o 5000
69.79/70.57	o 4998
70.08/70.83	o 4996
70.28/71.09	o 4994
70.58/71.35	o 4993
70.78/71.57	o 4992
71.08/71.84	o 4991
71.37/72.11	o 4990
71.57/72.36	o 4988
71.87/72.61	o 4982
72.76/73.56	o 4981
72.96/73.77	o 4979
73.25/74.02	o 4978
73.55/74.31	o 4974
73.75/74.57	o 4968
74.05/74.82	o 4959
74.24/75.09	o 4953
74.64/75.41	o 4950
74.83/75.66	o 4944
75.03/75.89	o 4939
75.33/76.16	o 4936
75.62/76.40	o 4933
75.92/76.80	o 4929
76.12/76.99	o 4925
76.42/77.20	o 4922
76.61/77.42	o 4921
76.81/77.62	o 4916
77.01/77.87	o 4913
77.31/78.13	o 4910
77.50/78.37	o 4905
78.00/78.82	o 4901
78.20/79.08	o 4900
78.79/79.62	o 4898
78.99/79.86	o 4895
79.30/80.10	o 4890
79.79/80.61	o 4887
79.99/80.84	o 4884
80.19/81.08	o 4881
80.59/81.49	o 4876
80.88/81.75	o 4875
81.17/82.03	o 4874
81.37/82.28	o 4872
81.67/82.56	o 4869
81.97/82.83	o 4860
82.16/83.07	o 4856
82.46/83.31	o 4855
82.66/83.56	o 4854
82.86/83.79	o 4852
83.15/84.09	o 4850
83.45/84.36	o 4849
83.75/84.60	o 4838
84.24/85.10	o 4832
84.44/85.30	o 4830
84.64/85.52	o 4829
84.84/85.79	o 4820
85.14/86.05	o 4814
85.43/86.33	o 4809
85.73/86.61	o 4808
85.93/86.88	o 4804
86.22/87.14	o 4800
86.52/87.43	o 4796
86.72/87.68	o 4792
87.02/87.99	o 4788
87.31/88.29	o 4784
87.61/88.57	o 4781
87.91/88.84	o 4778
88.21/89.15	o 4775
88.50/89.41	o 4772
88.70/89.67	o 4769
88.90/89.90	o 4766
89.20/90.17	o 4763
89.49/90.43	o 4761
89.79/90.71	o 4759
89.99/90.96	o 4757
90.29/91.21	o 4755
90.48/91.47	o 4753
90.77/91.73	o 4751
90.97/91.98	o 4749
91.27/92.23	o 4747
91.47/92.49	o 4745
91.77/92.77	o 4740
92.06/93.06	o 4738
92.36/93.37	o 4737
92.65/93.64	o 4736
92.95/93.94	o 4735
93.25/94.22	o 4728
93.45/94.49	o 4727
93.74/94.75	o 4726
94.04/95.01	o 4725
95.03/96.04	o 4724
95.33/96.31	o 4723
95.64/96.60	o 4713
95.84/96.85	o 4712
96.83/97.85	o 4704
97.41/98.49	o 4698
97.71/98.75	o 4695
97.91/98.97	o 4685
98.11/99.12	o 4684
98.31/99.34	o 4680
98.40/99.47	o 4679
98.60/99.68	o 4677
99.00/100.04	o 4669
99.20/100.26	o 4661
99.59/100.66	o 4655
99.89/100.91	o 4647
100.09/101.11	o 4641
100.28/101.38	o 4637
100.58/101.64	o 4632
100.78/101.89	o 4630
101.08/102.10	o 4624
101.28/102.36	o 4623
101.57/102.60	o 4622
101.77/102.87	o 4620
102.07/103.16	o 4619
102.37/103.41	o 4618
102.56/103.67	o 4617
102.85/103.92	o 4613
103.05/104.18	o 4607
103.35/104.42	o 4601
103.56/104.67	o 4595
103.85/104.95	o 4591
104.15/105.21	o 4588
104.45/105.54	o 4581
104.65/105.79	o 4572
104.94/106.05	o 4568
105.24/106.35	o 4566
105.54/106.63	o 4563
105.84/106.91	o 4556
106.13/107.23	o 4547
106.33/107.49	o 4546
106.63/107.77	o 4540
106.92/108.03	o 4537
107.52/108.63	o 4535
107.82/108.91	o 4533
108.01/109.17	o 4529
108.31/109.44	o 4526
108.51/109.68	o 4525
108.81/109.96	o 4519
109.10/110.23	o 4518
109.40/110.52	o 4513
109.70/110.84	o 4508
110.29/111.43	o 4507
110.59/111.77	o 4503
110.89/112.06	o 4499
111.78/112.90	o 4498
111.97/113.20	o 4496
112.37/113.50	o 4494
112.66/113.82	o 4492
112.96/114.10	o 4489
113.26/114.40	o 4488
113.56/114.71	o 4487
113.85/115.04	o 4486
114.15/115.34	o 4485
116.13/117.34	o 4483
116.43/117.66	o 4479
116.73/118.00	o 4472
117.12/118.35	o 4467
117.42/118.67	o 4462
118.11/119.34	o 4458
118.31/119.58	o 4455
118.90/120.12	o 4453
119.10/120.39	o 4445
119.40/120.65	o 4443
119.70/120.94	o 4441
120.19/121.48	o 4439
120.49/121.70	o 4436
120.69/121.93	o 4430
120.89/122.14	o 4429
121.18/122.40	o 4427
121.37/122.66	o 4426
121.67/122.91	o 4418
121.87/123.19	o 4416
122.17/123.45	o 4415
122.46/123.77	o 4413
122.76/124.09	o 4410
123.45/124.75	o 4405
123.75/125.04	o 4403
124.54/125.87	o 4399
124.94/126.21	o 4395
125.24/126.53	o 4391
125.54/126.81	o 4388
125.73/127.10	o 4385
126.03/127.39	o 4382
126.33/127.70	o 4376
126.72/128.03	o 4370
127.02/128.36	o 4367
127.32/128.67	o 4366
127.71/129.00	o 4361
128.01/129.36	o 4353
128.32/129.67	o 4350
128.61/130.00	o 4347
129.61/130.98	o 4344
130.00/131.33	o 4339
130.30/131.66	o 4337
131.19/132.57	o 4336
131.79/133.15	o 4334
132.08/133.47	o 4327
132.78/134.16	o 4324
133.17/134.53	o 4323
133.56/134.92	o 4319
133.86/135.29	o 4312
134.26/135.67	o 4308
134.55/135.95	o 4306
134.85/136.27	o 4303
135.25/136.60	o 4301
135.54/136.94	o 4292
135.84/137.26	o 4287
136.24/137.62	o 4284
136.53/137.95	o 4280
136.83/138.29	o 4276
137.23/138.65	o 4270
137.53/138.99	o 4266
137.92/139.34	o 4261
138.61/140.04	o 4260
139.31/140.79	o 4259
139.70/141.14	o 4258
140.00/141.49	o 4256
140.69/142.18	o 4254
141.09/142.52	o 4251
141.68/143.11	o 4247
141.98/143.43	o 4242
142.28/143.72	o 4235
142.58/144.02	o 4234
142.87/144.32	o 4231
143.17/144.65	o 4224
143.47/144.97	o 4223
143.86/145.30	o 4218
144.16/145.63	o 4212
144.45/145.98	o 4207
144.85/146.34	o 4203
145.24/146.72	o 4199
145.64/147.10	o 4195
145.94/147.46	o 4188
146.33/147.83	o 4186
146.63/148.18	o 4183
147.03/148.54	o 4180
147.42/148.92	o 4178
147.82/149.32	o 4173
148.12/149.68	o 4171
148.51/150.03	o 4170
148.81/150.40	o 4169
149.21/150.75	o 4167
149.60/151.11	o 4165
149.90/151.48	o 4161
150.30/151.83	o 4160
150.60/152.17	o 4159
150.99/152.53	o 4151
151.29/152.87	o 4150
151.68/153.20	o 4149
152.38/153.91	o 4147
152.68/154.26	o 4140
153.07/154.66	o 4137
153.47/155.01	o 4134
153.87/155.41	o 4129
154.26/155.81	o 4127
154.56/156.17	o 4126
154.96/156.55	o 4124
155.75/157.31	o 4120
156.14/157.74	o 4115
156.54/158.10	o 4113
157.23/158.85	o 4108
157.53/159.18	o 4104
157.93/159.52	o 4102
158.23/159.89	o 4100
159.02/160.61	o 4097
159.32/160.98	o 4096
159.81/161.42	o 4092
160.21/161.80	o 4091
160.60/162.21	o 4086
160.90/162.59	o 4083
161.29/162.99	o 4081
161.79/163.40	o 4075
162.09/163.79	o 4070
162.48/164.15	o 4064
163.28/164.97	o 4058
163.67/165.33	o 4057
164.47/166.16	o 4050
164.86/166.56	o 4047
165.26/166.97	o 4043
165.75/167.41	o 4041
166.94/168.64	o 4038
167.34/169.05	o 4037
167.74/169.48	o 4033
168.13/169.86	o 4031
168.92/170.62	o 4030
169.32/171.02	o 4028
170.11/171.85	o 4024
170.51/172.27	o 4017
171.30/173.07	o 4015
171.69/173.46	o 4014
172.88/174.62	o 4013
173.18/174.98	o 4010
173.57/175.37	o 4007
173.97/175.76	o 3999
174.37/176.12	o 3998
174.76/176.52	o 3994
175.16/176.91	o 3990
175.56/177.32	o 3982
175.95/177.74	o 3981
176.35/178.19	o 3974
176.84/178.65	o 3973
177.34/179.13	o 3971
178.23/180.02	o 3965
179.02/180.89	o 3963
179.52/181.34	o 3957
179.91/181.77	o 3954
180.41/182.23	o 3950
180.81/182.65	o 3948
181.20/183.08	o 3947
181.70/183.53	o 3944
182.10/183.97	o 3934
183.78/185.61	o 3930
184.08/185.98	o 3929
184.47/186.35	o 3927
184.87/186.73	o 3921
185.17/187.08	o 3916
185.56/187.47	o 3914
186.35/188.24	o 3910
186.75/188.62	o 3905
187.05/188.97	o 3903
187.44/189.34	o 3901
187.84/189.72	o 3897
188.53/190.42	o 3896
189.22/191.19	o 3895
190.01/191.92	o 3893
190.31/192.29	o 3889
190.71/192.67	o 3883
191.60/193.56	o 3882
192.00/193.98	o 3880
192.49/194.41	o 3875
192.89/194.81	o 3874
194.57/196.59	o 3872
195.56/197.56	o 3870
196.06/198.03	o 3866
196.55/198.51	o 3865
196.95/198.97	o 3864
197.45/199.46	o 3861
197.94/199.93	o 3859
198.34/200.39	o 3857
198.84/200.88	o 3855
199.83/201.82	o 3850
202.40/204.47	o 3849
202.90/204.90	o 3848
203.29/205.37	o 3847
203.79/205.81	o 3846
204.98/207.05	o 3842
205.77/207.83	o 3841
208.44/210.60	o 3839
209.24/211.38	o 3838
209.63/211.77	o 3834
210.03/212.18	o 3833
210.43/212.59	o 3829
210.92/213.00	o 3826
211.71/213.83	o 3822
212.01/214.15	o 3821
212.41/214.54	o 3820
212.80/214.91	o 3819
213.10/215.28	o 3814
213.50/215.68	o 3810
213.69/215.83	o 3807
214.09/216.24	o 3805
215.68/217.83	o 3804
216.07/218.23	o 3802
216.47/218.60	o 3799
216.86/219.00	o 3796
217.26/219.40	o 3793
217.55/219.78	o 3790
218.05/220.20	o 3786
219.24/221.49	o 3784
219.63/221.89	o 3780
220.13/222.31	o 3777
220.92/223.14	o 3775
221.81/224.01	o 3773
222.60/224.89	o 3769
223.50/225.77	o 3767
223.89/226.18	o 3765
224.39/226.64	o 3764
224.78/227.07	o 3763
225.67/227.90	o 3761
226.07/228.32	o 3758
226.47/228.74	o 3757
226.86/229.13	o 3752
227.66/229.95	o 3748
228.05/230.37	o 3747
228.45/230.76	o 3744
228.84/231.18	o 3741
229.24/231.59	o 3740
229.73/232.02	o 3738
230.13/232.42	o 3737
230.52/232.86	o 3732
230.92/233.29	o 3729
231.41/233.73	o 3725
231.81/234.15	o 3722
232.70/235.01	o 3721
233.10/235.44	o 3720
233.49/235.86	o 3716
233.89/236.25	o 3709
234.29/236.65	o 3707
234.68/237.09	o 3704
235.18/237.51	o 3702
235.97/238.36	o 3701
236.46/238.84	o 3695
237.36/239.74	o 3693
237.84/240.22	o 3689
238.25/240.63	o 3688
238.64/241.08	o 3687
239.14/241.52	o 3686
239.53/241.97	o 3684
240.03/242.44	o 3683
240.43/242.89	o 3679
242.70/245.16	o 3677
243.19/245.61	o 3674
244.08/246.56	o 3673
244.58/247.08	o 3670
245.07/247.59	o 3666
245.57/248.07	o 3663
246.06/248.58	o 3662
246.56/249.09	o 3660
247.55/250.09	o 3657
248.14/250.60	o 3654
248.54/251.08	o 3648
249.04/251.56	o 3647
249.52/252.05	o 3645
250.02/252.55	o 3641
251.51/254.01	o 3638
253.40/255.96	o 3632
253.89/256.43	o 3629
254.78/257.31	o 3628
255.18/257.79	o 3627
256.17/258.77	o 3626
256.67/259.24	o 3625
257.06/259.67	o 3623
257.56/260.11	o 3622
258.35/261.00	o 3619
258.85/261.46	o 3617
259.14/261.72	o 3613
259.54/262.14	o 3612
260.33/262.98	o 3609
260.83/263.44	o 3604
261.23/263.86	o 3600
262.51/265.17	o 3596
263.00/265.61	o 3595
263.40/266.06	o 3590
264.29/266.93	o 3588
265.08/267.70	o 3586
265.48/268.11	o 3579
265.87/268.52	o 3576
266.27/268.97	o 3573
266.67/269.36	o 3571
267.46/270.15	o 3568
268.25/270.96	o 3566
268.65/271.38	o 3558
269.04/271.78	o 3555
269.34/272.06	o 3552
269.73/272.45	o 3550
270.52/273.22	o 3548
270.82/273.59	o 3546
271.61/274.33	o 3545
272.01/274.71	o 3542
272.31/275.08	o 3539
272.70/275.45	o 3536
273.10/275.86	o 3533
273.49/276.24	o 3531
273.89/276.61	o 3526
274.68/277.43	o 3523
277.06/279.81	o 3521
277.85/280.65	o 3520
278.16/280.94	o 3517
278.55/281.34	o 3515
278.94/281.76	o 3513
279.34/282.16	o 3511
279.74/282.58	o 3510
280.23/283.01	o 3508
280.63/283.42	o 3507
281.02/283.82	o 3506
283.50/286.33	o 3503
283.90/286.75	o 3499
284.29/287.18	o 3498
285.68/288.51	o 3497
286.57/289.42	o 3494
286.96/289.87	o 3493
287.46/290.33	o 3490
288.45/291.30	o 3488
288.84/291.78	o 3487
290.33/293.24	o 3485
290.73/293.64	o 3483
291.22/294.10	o 3482
292.11/295.06	o 3480
292.61/295.57	o 3477
293.11/296.08	o 3472
293.61/296.53	o 3464
294.00/296.96	o 3459
294.50/297.43	o 3455
295.00/297.90	o 3450
295.88/298.83	o 3448
297.56/300.59	o 3444
301.03/304.08	o 3438
301.43/304.49	o 3435
301.92/304.92	o 3432
302.72/305.76	o 3430
304.50/307.52	o 3428
304.89/307.94	o 3425
305.39/308.43	o 3421
305.79/308.85	o 3417
306.28/309.30	o 3415
306.68/309.72	o 3414
307.07/310.18	o 3409
307.97/311.09	o 3407
308.46/311.55	o 3404
308.96/312.04	o 3403
309.35/312.47	o 3402
310.73/313.87	o 3401
313.41/316.56	o 3400
314.40/317.50	o 3399
314.79/317.98	o 3396
315.29/318.47	o 3392
319.26/322.41	o 3391
319.66/322.89	o 3387
320.25/323.43	o 3377
320.75/323.95	o 3376
321.24/324.46	o 3375
321.73/324.99	o 3374
322.33/325.52	o 3369
322.82/326.04	o 3365
323.32/326.55	o 3364
324.31/327.57	o 3359
324.90/328.13	o 3356
325.40/328.68	o 3354
325.99/329.20	o 3353
326.49/329.72	o 3349
326.98/330.23	o 3348
327.48/330.75	o 3344
331.44/334.76	o 3343
331.93/335.27	o 3341
332.52/335.82	o 3340
332.92/336.29	o 3336
333.51/336.80	o 3331
333.91/337.24	o 3329
334.41/337.74	o 3328
334.90/338.20	o 3325
335.30/338.68	o 3324
336.29/339.65	o 3321
336.98/340.40	o 3319
337.57/340.94	o 3316
338.66/342.02	o 3310
339.16/342.53	o 3308
339.67/343.03	o 3306
340.16/343.56	o 3304
340.76/344.11	o 3301
341.25/344.67	o 3297
341.75/345.19	o 3294
342.74/346.16	o 3292
343.73/347.14	o 3291
344.22/347.62	o 3290
344.71/348.11	o 3286
346.99/350.48	o 3284
347.49/350.95	o 3283
350.36/353.87	o 3282
350.85/354.38	o 3280
351.35/354.85	o 3275
351.84/355.33	o 3272
352.34/355.82	o 3268
352.83/356.32	o 3266
353.33/356.84	o 3264
353.83/357.34	o 3257
354.32/357.83	o 3255
355.90/359.41	o 3253
356.29/359.88	o 3250
357.09/360.68	o 3246
357.58/361.18	o 3244
358.08/361.70	o 3233
359.57/363.17	o 3229
360.07/363.70	o 3227
360.66/364.21	o 3226
361.65/365.25	o 3225
362.74/366.34	o 3222
363.23/366.89	o 3218
364.32/367.98	o 3215
365.91/369.60	o 3213
367.00/370.65	o 3210
368.09/371.70	o 3209
369.08/372.72	o 3205
369.57/373.23	o 3204
370.56/374.21	o 3198
370.96/374.67	o 3197
371.46/375.15	o 3194
371.95/375.61	o 3192
372.35/376.06	o 3190
372.84/376.52	o 3186
373.24/376.97	o 3185
373.73/377.42	o 3183
374.13/377.88	o 3181
375.12/378.80	o 3179
376.01/379.75	o 3178
376.51/380.22	o 3176
376.90/380.68	o 3171
377.40/381.14	o 3170
377.89/381.63	o 3166
378.29/382.09	o 3165
378.79/382.56	o 3161
379.28/383.05	o 3159
379.78/383.55	o 3157
380.27/384.04	o 3155
380.76/384.53	o 3151
381.26/385.04	o 3150
381.75/385.55	o 3149
382.25/386.04	o 3146
386.21/390.02	o 3142
386.61/390.48	o 3140
387.11/390.93	o 3137
387.51/391.38	o 3132
388.50/392.38	o 3130
389.49/393.34	o 3128
389.98/393.82	o 3125
390.38/394.29	o 3122
391.37/395.25	o 3120
391.87/395.73	o 3119
392.86/396.75	o 3116
393.75/397.63	o 3112
394.73/398.63	o 3108
395.23/399.14	o 3105
395.72/399.66	o 3101
396.22/400.18	o 3098
396.71/400.69	o 3097
397.31/401.22	o 3096
397.80/401.76	o 3094
398.30/402.27	o 3093
398.79/402.78	o 3091
400.87/404.85	o 3090
401.96/405.91	o 3086
402.26/406.28	o 3084
403.25/407.23	o 3083
403.75/407.73	o 3081
406.32/410.37	o 3079
407.41/411.49	o 3078
408.00/412.05	o 3074
409.09/413.15	o 3072
409.59/413.66	o 3069
409.98/414.05	o 3065
411.47/415.55	o 3064
411.96/416.09	o 3062
412.56/416.61	o 3060
413.05/417.13	o 3057
413.55/417.62	o 3054
414.44/418.59	o 3051
414.93/419.10	o 3047
415.53/419.62	o 3046
416.02/420.13	o 3045
416.52/420.65	o 3044
417.61/421.74	o 3042
418.11/422.26	o 3040
418.70/422.81	o 3037
419.20/423.35	o 3034
419.79/423.95	o 3031
421.87/426.09	o 3028
422.56/426.71	o 3022
423.06/427.20	o 3011
423.56/427.71	o 3003
423.75/427.99	o 3001
424.74/428.97	o 3000
425.24/429.44	o 2999
425.73/429.95	o 2998
426.73/430.96	o 2995
427.22/431.48	o 2992
428.80/433.02	o 2989
429.00/433.29	o 2987
431.09/435.38	o 2986
431.58/435.87	o 2982
432.08/436.36	o 2980
432.57/436.87	o 2979
433.07/437.37	o 2978
435.15/439.42	o 2977
437.23/441.51	o 2974
437.73/442.05	o 2973
438.22/442.59	o 2970
439.31/443.67	o 2969
440.89/445.27	o 2965
441.38/445.76	o 2960
441.98/446.32	o 2959
442.47/446.84	o 2957
442.97/447.31	o 2954
443.46/447.83	o 2953
443.86/448.23	o 2950
444.36/448.73	o 2947
444.85/449.22	o 2944
445.35/449.76	o 2942
445.85/450.26	o 2941
446.35/450.79	o 2938
446.94/451.30	o 2937
449.32/453.74	o 2936
449.81/454.27	o 2935
450.40/454.80	o 2933
450.90/455.37	o 2928
452.38/456.83	o 2924
452.88/457.31	o 2923
453.27/457.79	o 2918
454.36/458.80	o 2914
454.86/459.31	o 2913
456.35/460.83	o 2910
456.84/461.33	o 2906
457.34/461.83	o 2904
457.73/462.20	o 2900
458.23/462.70	o 2898
458.62/463.18	o 2896
460.61/465.14	o 2895
461.10/465.63	o 2894
461.60/466.10	o 2890
463.67/468.20	o 2889
464.16/468.73	o 2887
464.66/469.27	o 2880
465.16/469.78	o 2879
466.25/470.84	o 2876
466.84/471.40	o 2875
469.61/474.24	o 2872
470.21/474.86	o 2866
470.80/475.43	o 2864
471.89/476.55	o 2860
472.78/477.43	o 2854
473.28/477.95	o 2852
478.63/483.38	o 2851
479.33/484.01	o 2848
481.80/486.57	o 2847
482.50/487.24	o 2843
483.19/487.91	o 2840
483.78/488.56	o 2834
484.38/489.13	o 2820
484.97/489.77	o 2817
485.67/490.40	o 2814
486.86/491.65	o 2810
487.85/492.64	o 2807
490.72/495.58	o 2804
491.41/496.22	o 2803
493.20/498.01	o 2801
493.69/498.57	o 2798
494.28/499.17	o 2795
494.87/499.77	o 2794
496.76/501.68	o 2792
497.35/502.28	o 2789
498.54/503.44	o 2786
499.73/504.67	o 2781
501.51/506.46	o 2779
502.70/507.70	o 2778
503.29/508.29	o 2775
507.16/512.12	o 2771
509.33/514.39	o 2770
509.92/514.96	o 2768
510.52/515.51	o 2767
511.01/516.08	o 2764
511.61/516.62	o 2762
512.10/517.16	o 2760
512.40/517.47	o 2757
512.90/517.97	o 2753
513.39/518.46	o 2749
514.99/520.08	o 2748
515.58/520.65	o 2745
516.77/521.81	o 2743
519.05/524.12	o 2739
519.54/524.69	o 2737
520.13/525.28	o 2735
521.32/526.47	o 2732
521.91/527.08	o 2729
522.31/527.48	o 2724
522.61/527.76	o 2721
523.10/528.28	o 2718
523.70/528.87	o 2714
524.29/529.43	o 2712
526.47/531.66	o 2708
526.87/532.08	o 2704
527.36/532.57	o 2703
527.96/533.13	o 2700
528.55/533.70	o 2694
529.05/534.29	o 2690
530.93/536.12	o 2689
532.71/537.91	o 2687
533.89/539.12	o 2686
535.08/540.33	o 2685
535.68/540.94	o 2682
536.27/541.55	o 2679
538.65/544.00	o 2677
539.34/544.63	o 2675
541.42/546.70	o 2670
541.92/547.29	o 2668
543.80/549.14	o 2664
546.18/551.52	o 2662
547.37/552.71	o 2661
547.96/553.32	o 2660
548.56/553.93	o 2656
549.05/554.46	o 2647
549.65/555.04	o 2645
550.83/556.23	o 2642
553.91/559.31	o 2640
554.41/559.89	o 2639
555.00/560.48	o 2638
556.29/561.72	o 2636
556.88/562.31	o 2635
557.87/563.37	o 2634
559.76/565.26	o 2632
560.94/566.50	o 2630
561.64/567.11	o 2629
562.83/568.38	o 2627
563.42/568.99	o 2625
564.12/569.69	o 2622
567.38/572.99	o 2620
568.07/573.63	o 2617
568.67/574.29	o 2616
569.36/574.94	o 2614
569.95/575.59	o 2612
570.65/576.29	o 2610
571.34/576.95	o 2607
571.94/577.54	o 2606
573.82/579.43	o 2603
574.51/580.11	o 2599
575.10/580.73	o 2597
575.70/581.40	o 2595
576.39/582.04	o 2593
578.97/584.66	o 2592
579.66/585.32	o 2591
580.26/585.98	o 2590
580.95/586.63	o 2588
581.55/587.28	o 2587
585.90/591.66	o 2584
587.09/592.90	o 2581
587.68/593.46	o 2580
588.08/593.89	o 2577
588.67/594.47	o 2576
589.27/595.05	o 2572
589.86/595.64	o 2571
590.36/596.16	o 2569
593.62/599.47	o 2568
594.81/600.61	o 2565
595.31/601.16	o 2561
595.90/601.75	o 2560
596.40/602.28	o 2554
596.89/602.79	o 2550
600.96/606.83	o 2549
601.45/607.39	o 2547
609.17/615.17	o 2546
609.77/615.75	o 2545
610.36/616.35	o 2544
612.14/618.18	o 2541
612.75/618.79	o 2540
616.42/622.45	o 2535
619.38/625.46	o 2534
620.57/626.62	o 2530
621.16/627.22	o 2529
621.76/627.83	o 2528
622.35/628.43	o 2525
622.95/629.09	o 2523
623.54/629.69	o 2522
624.24/630.33	o 2520
624.83/630.95	o 2519
625.42/631.58	o 2518
626.12/632.22	o 2516
626.71/632.84	o 2508
627.31/633.47	o 2505
628.49/634.69	o 2498
629.19/635.30	o 2495
630.38/636.58	o 2493
631.07/637.22	o 2492
631.67/637.87	o 2488
632.36/638.54	o 2487
632.95/639.18	o 2486
633.64/639.85	o 2483
634.23/640.50	o 2482
634.93/641.14	o 2481
636.22/642.41	o 2480
636.81/643.04	o 2479
638.10/644.35	o 2477
638.79/645.00	o 2475
640.67/646.92	o 2474
641.27/647.55	o 2473
641.86/648.18	o 2470
642.56/648.82	o 2464
643.15/649.46	o 2463
643.74/650.10	o 2462
644.34/650.67	o 2458
645.03/651.34	o 2457
645.62/651.96	o 2456
646.31/652.62	o 2453
648.20/654.58	o 2450
648.79/655.19	o 2446
649.48/655.82	o 2444
656.23/662.68	o 2443
656.92/663.36	o 2435
657.22/663.66	o 2433
657.91/664.31	o 2432
658.51/664.93	o 2426
659.80/666.21	o 2425
664.35/670.84	o 2423
664.94/671.46	o 2422
665.54/672.08	o 2420
667.32/673.85	o 2416
669.70/676.20	o 2415
670.19/676.78	o 2413
670.79/677.39	o 2409
671.48/678.01	o 2408
672.67/679.23	o 2401
673.26/679.84	o 2398
676.14/682.75	o 2395
677.23/683.89	o 2392
684.16/690.86	o 2391
684.75/691.40	o 2388
687.53/694.24	o 2387
693.77/700.56	o 2384
694.46/701.20	o 2380
695.06/701.85	o 2378
695.65/702.47	o 2375
696.24/703.08	o 2374
697.53/704.33	o 2373
698.82/705.67	o 2371
699.51/706.34	o 2369
700.80/707.63	o 2365
701.40/708.27	o 2362
702.09/708.92	o 2360
703.38/710.28	o 2357
705.95/712.86	o 2355
707.34/714.26	o 2353
709.42/716.37	o 2351
710.21/717.10	o 2348
717.54/724.54	o 2346
718.23/725.22	o 2344
721.50/728.58	o 2342
722.20/729.26	o 2341
722.89/729.93	o 2338
723.48/730.57	o 2336
724.18/731.23	o 2335
724.87/731.91	o 2334
725.47/732.58	o 2332
726.85/733.97	o 2330
727.35/734.50	o 2329
728.14/735.20	o 2328
733.28/740.49	o 2327
733.99/741.17	o 2325
734.68/741.80	o 2323
735.28/742.48	o 2322
735.97/743.19	o 2320
738.05/745.26	o 2319
738.74/745.95	o 2316
739.44/746.62	o 2313
740.13/747.32	o 2311
740.82/748.01	o 2308
741.42/748.68	o 2305
742.01/749.26	o 2304
743.40/750.66	o 2303
744.09/751.37	o 2300
749.83/757.12	o 2297
750.53/757.86	o 2296
751.22/758.53	o 2294
751.91/759.27	o 2290
753.40/760.77	o 2289
754.19/761.55	o 2288
754.99/762.33	o 2287
756.27/763.66	o 2285
757.07/764.41	o 2282
757.76/765.17	o 2274
759.94/767.35	o 2272
760.63/768.07	o 2271
763.41/770.86	o 2269
764.10/771.54	o 2266
766.78/774.21	o 2265
768.86/776.30	o 2264
769.45/776.99	o 2262
770.24/777.71	o 2261
770.93/778.41	o 2259
771.52/779.09	o 2258
772.02/779.54	o 2256
772.71/780.23	o 2252
773.31/780.87	o 2250
774.69/782.24	o 2248
777.47/785.04	o 2246
778.76/786.34	o 2241
779.55/787.10	o 2239
780.24/787.89	o 2238
780.94/788.56	o 2236
782.42/790.01	o 2235
783.12/790.79	o 2233
783.91/791.54	o 2230
790.74/798.44	o 2229
795.99/803.79	o 2227
796.78/804.59	o 2225
797.57/805.37	o 2224
798.37/806.13	o 2223
799.16/806.91	o 2222
800.75/808.51	o 2220
801.44/809.28	o 2219
802.23/810.07	o 2218
803.82/811.69	o 2216
804.61/812.50	o 2215
806.29/814.15	o 2214
807.09/814.96	o 2213
808.77/816.60	o 2210
809.46/817.40	o 2209
810.36/818.28	o 2207
814.61/822.54	o 2206
815.40/823.39	o 2205
816.29/824.26	o 2203
840.57/848.73	o 2200
841.26/849.47	o 2196
843.05/851.29	o 2195
844.83/853.08	o 2184
845.62/853.84	o 2182
846.52/854.71	o 2181
848.20/856.49	o 2179
849.09/857.36	o 2177
852.66/860.96	o 2175
853.45/861.78	o 2174
854.34/862.67	o 2173
856.22/864.50	o 2172
858.80/867.18	o 2171
860.19/868.51	o 2167
861.87/870.26	o 2165
862.76/871.15	o 2164
864.54/872.92	o 2163
866.22/874.67	o 2161
868.11/876.50	o 2160
868.90/877.39	o 2158
869.89/878.30	o 2155
870.78/879.21	o 2154
871.67/880.12	o 2153
872.27/880.79	o 2149
873.06/881.50	o 2147
873.85/882.36	o 2143
874.74/883.25	o 2141
879.00/887.51	o 2140
881.67/890.25	o 2139
882.56/891.14	o 2137
884.25/892.87	o 2136
885.14/893.73	o 2134
885.93/894.59	o 2131
887.62/896.28	o 2129
888.51/897.10	o 2125
889.00/897.61	o 2120
889.69/898.34	o 2119
894.65/903.36	o 2118
895.45/904.17	o 2115
896.34/905.01	o 2114
899.71/908.44	o 2112
904.36/913.18	o 2109
906.94/915.75	o 2108
907.73/916.59	o 2106
910.89/919.70	o 2103
911.69/920.55	o 2099
913.47/922.32	o 2094
914.26/923.19	o 2091
914.76/923.62	o 2089
915.55/924.49	o 2087
916.44/925.37	o 2082
919.91/928.88	o 2079
920.80/929.73	o 2077
921.50/930.47	o 2074
922.19/931.19	o 2072
922.59/931.56	o 2069
927.84/936.89	o 2066
928.53/937.53	o 2064
929.42/938.40	o 2062
930.31/939.32	o 2061
931.99/941.07	o 2059
932.78/941.80	o 2058
933.48/942.57	o 2057
935.26/944.37	o 2053
936.15/945.26	o 2051
937.94/947.07	o 2049
938.53/947.61	o 2047
939.22/948.39	o 2045
940.02/949.19	o 2043
940.91/950.01	o 2042
942.49/951.69	o 2041
943.38/952.53	o 2040
947.65/956.84	o 2038
958.05/967.38	o 2037
959.93/969.20	o 2035
960.83/970.11	o 2032
966.18/975.54	o 2031
967.07/976.45	o 2028
967.96/977.31	o 2026
968.75/978.17	o 2025
971.33/980.80	o 2022
973.21/982.66	o 2020
974.19/983.62	o 2017
975.09/984.51	o 2015
980.44/990.00	o 2014
981.43/990.94	o 2013
983.31/992.82	o 2011
988.76/998.32	o 2008
994.70/1004.36	o 2006
997.38/1007.06	o 2003
999.16/1008.89	o 2000
1008.87/1018.66	o 1999
1009.77/1019.57	o 1996
1010.76/1020.53	o 1994
1011.65/1021.42	o 1993
1012.44/1022.30	o 1991
1013.43/1023.20	o 1988
1014.82/1024.64	o 1987
1023.43/1033.33	o 1986
1024.22/1034.17	o 1985
1025.11/1035.02	o 1983
1025.91/1035.86	o 1982
1030.07/1040.06	o 1979
1032.55/1042.51	o 1978
1033.34/1043.36	o 1976
1034.23/1044.22	o 1975
1035.02/1045.05	o 1974
1035.81/1045.88	o 1971
1036.70/1046.75	o 1968
1037.59/1047.62	o 1966
1042.35/1052.41	o 1964
1046.51/1056.64	o 1961
1049.08/1059.21	o 1958
1050.77/1060.92	o 1957
1051.36/1061.50	o 1955
1052.16/1062.32	o 1951
1053.83/1064.03	o 1950
1054.63/1064.88	o 1947
1055.52/1065.75	o 1945
1057.31/1067.50	o 1944
1059.09/1069.33	o 1941
1059.89/1070.18	o 1940
1060.78/1071.01	o 1938
1061.57/1071.86	o 1936
1064.15/1074.45	o 1934
1066.72/1077.06	o 1933
1075.63/1086.04	o 1932
1076.52/1086.96	o 1930
1080.88/1091.35	o 1926
1081.48/1091.99	o 1925
1082.47/1093.00	o 1923
1085.34/1095.81	o 1922
1086.13/1096.70	o 1921
1086.83/1097.39	o 1919
1087.72/1098.29	o 1918
1090.40/1100.97	o 1915
1095.94/1106.54	o 1913
1096.33/1106.93	o 1911
1097.13/1107.76	o 1908
1098.02/1108.70	o 1907
1099.01/1109.62	o 1905
1100.79/1111.45	o 1904
1101.68/1112.37	o 1903
1115.65/1126.49	o 1901
1116.54/1127.39	o 1898
1121.19/1132.00	o 1896
1137.15/1148.18	o 1890
1139.03/1150.04	o 1887
1140.91/1151.90	o 1883
1142.70/1153.74	o 1879
1143.59/1154.65	o 1870
1144.48/1155.58	o 1869
1148.25/1159.32	o 1868
1149.14/1160.22	o 1858
1150.03/1161.12	o 1856
1154.39/1165.54	o 1855
1155.28/1166.46	o 1853
1156.17/1167.37	o 1851
1157.06/1168.29	o 1850
1157.96/1169.19	o 1849
1158.94/1170.15	o 1848
1161.71/1172.97	o 1847
1162.70/1173.95	o 1846
1163.50/1174.80	o 1844
1164.39/1175.68	o 1843
1173.21/1184.60	o 1841
1175.09/1186.42	o 1838
1175.58/1186.93	o 1834
1178.35/1189.77	o 1833
1181.82/1193.24	o 1828
1185.78/1197.28	o 1827
1186.67/1198.19	o 1825
1189.35/1200.84	o 1824
1190.24/1201.76	o 1823
1191.23/1202.71	o 1820
1193.11/1204.65	o 1819
1194.00/1205.59	o 1816
1197.57/1209.11	o 1814
1205.69/1217.38	o 1810
1206.39/1218.03	o 1808
1207.28/1218.96	o 1806
1211.74/1223.45	o 1803
1212.63/1224.39	o 1800
1214.51/1226.21	o 1798
1215.11/1226.83	o 1792
1215.71/1227.40	o 1789
1216.40/1228.17	o 1788
1217.29/1229.07	o 1782
1221.64/1233.48	o 1780
1226.40/1238.26	o 1779
1228.18/1240.09	o 1778
1229.96/1241.88	o 1776
1230.86/1242.79	o 1775
1231.85/1243.70	o 1774
1233.63/1245.57	o 1773
1234.52/1246.49	o 1769
1234.92/1246.88	o 1767
1236.80/1248.76	o 1766
1237.79/1249.70	o 1765
1243.94/1255.96	o 1763
1246.31/1258.31	o 1762
1248.39/1260.47	o 1760
1267.01/1279.23	o 1758
1267.91/1280.11	o 1756
1268.70/1280.95	o 1755
1271.86/1284.17	o 1754
1278.01/1290.35	o 1744
1278.90/1291.25	o 1742
1280.78/1293.11	o 1740
1285.24/1297.64	o 1739
1285.44/1297.82	o 1737
1286.33/1298.72	o 1735
1287.22/1299.63	o 1734
1288.11/1300.55	o 1733
1289.99/1302.43	o 1731
1290.88/1303.37	o 1730
1293.75/1306.23	o 1728
1305.65/1318.30	o 1726
1306.54/1319.18	o 1723
1320.50/1333.22	o 1719
1321.40/1334.16	o 1718
1322.29/1335.09	o 1717
1323.28/1336.05	o 1714
1326.64/1339.44	o 1713
1329.41/1342.23	o 1712
1331.89/1344.74	o 1711
1333.78/1346.60	o 1708
1334.68/1347.53	o 1707
1335.57/1348.44	o 1702
1346.76/1359.76	o 1698
1348.54/1361.58	o 1695
1348.93/1361.98	o 1694
1350.82/1363.81	o 1693
1353.49/1366.59	o 1692
1357.26/1370.38	o 1689
1358.15/1371.24	o 1687
1359.04/1372.19	o 1684
1359.63/1372.79	o 1682
1361.32/1374.44	o 1680
1362.71/1375.83	o 1678
1375.08/1388.38	o 1676
1377.87/1391.15	o 1673
1380.64/1393.94	o 1671
1381.43/1394.77	o 1670
1382.43/1395.72	o 1669
1391.43/1404.86	o 1666
1392.92/1406.40	o 1664
1393.71/1407.10	o 1662
1394.61/1408.04	o 1661
1395.50/1408.94	o 1657
1396.39/1409.84	o 1656
1397.08/1410.55	o 1654
1401.14/1414.65	o 1653
1402.04/1415.54	o 1647
1413.72/1427.39	o 1646
1414.71/1428.36	o 1644
1415.60/1429.30	o 1642
1417.58/1431.25	o 1639
1419.47/1433.17	o 1637
1420.36/1434.09	o 1636
1425.21/1438.93	o 1635
1429.28/1443.09	o 1634
1430.27/1444.07	o 1632
1431.06/1444.86	o 1630
1432.04/1445.87	o 1629
1436.01/1449.86	o 1628
1436.90/1450.78	o 1627
1437.89/1451.74	o 1626
1438.88/1452.74	o 1624
1442.94/1456.88	o 1623
1443.93/1457.86	o 1622
1444.92/1458.86	o 1621
1445.91/1459.86	o 1619
1447.99/1461.92	o 1618
1452.06/1466.06	o 1617
1453.64/1467.69	o 1608
1454.72/1468.73	o 1606
1463.84/1477.92	o 1603
1465.92/1480.04	o 1601
1471.17/1485.34	o 1600
1472.26/1486.42	o 1597
1472.76/1486.98	o 1595
1476.51/1490.79	o 1592
1483.66/1497.97	o 1591
1486.83/1501.12	o 1589
1487.82/1502.15	o 1587
1488.91/1503.21	o 1586
1496.03/1510.49	o 1585
1498.21/1512.66	o 1583
1502.28/1516.76	o 1580
1506.34/1520.87	o 1579
1511.39/1525.92	o 1578
1514.46/1529.04	o 1577
1517.53/1532.16	o 1576
1518.62/1533.25	o 1574
1520.70/1535.32	o 1573
1521.79/1536.41	o 1571
1522.78/1537.48	o 1570
1528.23/1543.00	o 1569
1530.51/1545.24	o 1568
1532.59/1547.39	o 1563
1533.48/1548.27	o 1562
1540.12/1554.94	o 1556
1568.05/1583.12	o 1553
1569.24/1584.31	o 1552
1572.51/1587.62	o 1549
1573.60/1588.78	o 1546
1574.79/1589.92	o 1543
1579.25/1594.43	o 1535
1590.64/1606.00	o 1533
1603.52/1618.91	o 1532
1604.51/1619.99	o 1530
1605.71/1621.16	o 1527
1612.63/1628.13	o 1526
1613.62/1629.12	o 1524
1619.07/1634.64	o 1521
1619.97/1635.53	o 1520
1622.15/1637.71	o 1519
1624.12/1639.78	o 1518
1624.91/1640.53	o 1516
1626.00/1641.63	o 1514
1626.70/1642.38	o 1511
1627.88/1643.50	o 1508
1628.68/1644.34	o 1507
1631.85/1647.55	o 1505
1632.94/1648.63	o 1503
1637.00/1652.79	o 1502
1638.09/1653.87	o 1501
1639.18/1654.94	o 1499
1641.46/1657.25	o 1496
1643.54/1659.37	o 1495
1645.62/1661.48	o 1494
1646.02/1661.81	o 1491
1648.10/1663.96	o 1489
1654.03/1669.93	o 1488
1657.21/1673.18	o 1487
1658.20/1674.20	o 1486
1659.19/1675.20	o 1482
1660.19/1676.19	o 1481
1668.19/1684.12	o 1478
1671.98/1687.99	o 1477
1681.58/1697.58	o 1476
1683.28/1699.21	o 1462
1688.18/1704.11	o 1461
1688.98/1704.95	o 1460
1697.58/1713.54	o 1458
1701.68/1717.67	o 1457
1702.68/1718.62	o 1456
1703.58/1719.58	o 1455
1707.58/1723.51	o 1452
1708.47/1724.49	o 1451
1710.47/1726.49	o 1450
1713.47/1729.40	o 1449
1713.77/1729.79	o 1446
1714.77/1730.76	o 1445
1715.77/1731.73	o 1443
1716.67/1732.67	o 1441
1719.57/1735.57	o 1440
1721.57/1737.52	o 1437
1722.47/1738.49	o 1436
1723.47/1739.44	o 1435
1726.37/1742.37	o 1434
1727.36/1743.35	o 1433
1728.36/1744.31	o 1432
1729.26/1745.26	o 1430
1730.26/1746.20	o 1429
1730.76/1746.76	o 1427
1737.46/1753.43	o 1424
1740.96/1756.91	o 1423
1741.86/1757.87	o 1422
1752.45/1768.42	o 1421
1753.15/1769.17	o 1419
1754.15/1770.16	o 1416
1754.55/1770.59	o 1414
1755.55/1771.56	o 1412
1758.45/1774.47	o 1411
1759.45/1775.44	o 1409
1762.34/1778.31	o 1406
1763.24/1779.29	o 1404
1764.24/1780.26	o 1402
1766.24/1782.25	o 1399
1767.24/1783.24	o 1396
1770.14/1786.17	o 1393
1771.14/1787.15	o 1391
1772.15/1788.15	o 1390
1777.05/1793.02	o 1389
1784.94/1800.98	o 1386
1785.94/1801.98	o 1384
1794.64/1810.66	o 1383
1795.43/1811.42	o 1382
1796.33/1812.36	o 1380
1797.23/1813.25	o 1377
1798.13/1814.17	o 1376
1819.72/1835.73	o 1373
1820.72/1836.76	o 1372
1821.82/1837.81	o 1370
1822.83/1838.83	o 1369
1826.03/1842.00	o 1368
1826.83/1842.88	o 1367
1829.62/1845.64	o 1365
1831.12/1847.17	o 1364
1832.12/1848.16	o 1360
1836.92/1852.94	o 1359
1837.92/1853.97	o 1357
1840.91/1856.99	o 1355
1841.92/1857.99	o 1353
1844.01/1860.03	o 1351
1845.00/1861.05	o 1350
1846.00/1862.02	o 1348
1849.70/1865.72	o 1347
1850.71/1866.73	o 1346
1851.81/1867.81	o 1344
1855.60/1871.63	o 1343
1870.79/1886.82	o 1341
1871.79/1887.87	o 1339
1877.39/1893.49	o 1336
1879.49/1895.58	o 1335
1882.69/1898.70	o 1334
1886.89/1902.92	o 1333
1890.08/1906.10	o 1331
1892.18/1908.21	o 1330
1893.18/1909.27	o 1329
1898.58/1914.64	o 1326
1899.08/1915.17	o 1325
1900.18/1916.24	o 1323
1901.18/1917.25	o 1322
1905.47/1921.56	o 1320
1906.47/1922.60	o 1319
1907.57/1923.66	o 1318
1909.67/1925.76	o 1316
1925.47/1941.53	o 1314
1926.36/1942.48	o 1312
1945.86/1961.98	o 1311
1946.96/1963.07	o 1310
1947.96/1964.01	o 1308
1949.06/1965.10	o 1305
1951.26/1967.31	o 1303
1953.46/1969.51	o 1298
1954.45/1970.58	o 1296
1955.65/1971.71	o 1294
1956.65/1972.75	o 1293
1959.95/1976.05	o 1292
1961.05/1977.20	o 1291
1962.25/1978.36	o 1286
1971.24/1987.38	o 1284
1990.64/2006.78	o 1283
1991.74/2007.88	o 1282
2022.73/2038.82	   
2022.73/2038.82	   search
2022.73/2038.82	     run=0  nbConstraintChecks=4318405326  nbAssignments=3140
2022.73/2038.82	       =>  wckTime=2025.025  cpuTime=2009.05  mem=60M888
2022.73/2038.83	   
2022.73/2038.83	   global
2022.73/2038.83	     nbConstraintChecks=4318405326  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2022.73/2038.83	     solvingWckTime=2025.01  solvingCpuTime=2009.04  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2022.73/2038.83	     globalCpuTime=2021.35
2022.73/2038.83	       =>  wckTime=2038.585  cpuTime=2021.3  mem=60M888
2022.73/2038.83	   
2022.73/2038.83	   solver DecomposerSolver being built... 
2028.42/2044.55	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-1112900-1215875303/watcher-1112900-1215875303 -o /tmp/evaluation-result-1112900-1215875303/solver-1112900-1215875303 -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-ddeg.xml 1 XSax HOME/instance-1112900-1215875303.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.19 2.37 4/80 17890
/proc/meminfo: memFree=1846296/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=18572 CPUtime=0
/proc/17890/stat : 17890 (runsolver) R 17888 17890 17586 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44233621 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17890/statm: 4643 292 257 25 0 2626 0

[startup+0.0967861 s]
/proc/loadavg: 2.00 2.19 2.37 4/80 17890
/proc/meminfo: memFree=1846296/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=865984 CPUtime=0.07
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 3680 0 1 0 6 1 0 0 18 0 9 0 44233621 886767616 3155 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216496 3155 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984

[startup+0.101782 s]
/proc/loadavg: 2.00 2.19 2.37 4/80 17890
/proc/meminfo: memFree=1846296/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=865984 CPUtime=0.08
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 3700 0 1 0 7 1 0 0 18 0 9 0 44233621 886767616 3173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216496 3173 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.30181 s]
/proc/loadavg: 2.00 2.19 2.37 4/80 17890
/proc/meminfo: memFree=1846296/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=866156 CPUtime=0.27
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 5620 0 1 0 25 2 0 0 18 0 9 0 44233621 886943744 5035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216539 5035 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866156

[startup+0.701858 s]
/proc/loadavg: 2.00 2.19 2.37 4/80 17890
/proc/meminfo: memFree=1846296/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=866980 CPUtime=0.67
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 10255 0 1 0 62 5 0 0 18 0 9 0 44233621 887787520 9626 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216745 9626 1968 9 0 211273 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866980

[startup+1.50194 s]
/proc/loadavg: 2.00 2.19 2.37 3/89 17899
/proc/meminfo: memFree=1798288/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867412 CPUtime=1.46
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 22135 0 1 0 135 11 0 0 18 0 9 0 44233621 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216853 21471 2004 9 0 211381 0
[pid=17890/tid=17892] ppid=17888 vsize=867412 CPUtime=1.19
/proc/17890/task/17892/stat : 17892 (java) R 17888 17890 17586 0 -1 64 15767 0 1 0 111 8 0 0 25 0 9 0 44233622 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4126628408 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867412 CPUtime=0.06
/proc/17890/task/17893/stat : 17893 (java) S 17888 17890 17586 0 -1 64 5067 0 0 0 5 1 0 0 16 0 9 0 44233624 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233624 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867412 CPUtime=0.17
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 604 0 0 0 17 0 0 0 16 0 9 0 44233626 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888229888 21471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 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.46
Current children cumulated vsize (KiB) 867412

[startup+3.10212 s]
/proc/loadavg: 2.00 2.19 2.37 3/89 17899
/proc/meminfo: memFree=1754384/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867412 CPUtime=3.04
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 25518 0 1 0 291 13 0 0 18 0 9 0 44233621 888229888 24851 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216853 24851 2006 9 0 211381 0
[pid=17890/tid=17892] ppid=17888 vsize=867412 CPUtime=2.65
/proc/17890/task/17892/stat : 17892 (java) R 17888 17890 17586 0 -1 64 15803 0 1 0 256 9 0 0 25 0 9 0 44233622 888229888 24851 996147200 134512640 134550740 4294955952 18446744073709551615 4126893486 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867412 CPUtime=0.18
/proc/17890/task/17893/stat : 17893 (java) S 17888 17890 17586 0 -1 64 8402 0 0 0 15 3 0 0 17 0 9 0 44233624 888229888 24851 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888229888 24851 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233624 888229888 24851 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888229888 24851 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867412 CPUtime=0.19
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 616 0 0 0 19 0 0 0 16 0 9 0 44233626 888229888 24851 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888229888 24851 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888229888 24851 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867412

[startup+6.30248 s]
/proc/loadavg: 2.00 2.19 2.37 3/89 17899
/proc/meminfo: memFree=1754000/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867412 CPUtime=6.22
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 25526 0 1 0 608 14 0 0 18 0 9 0 44233621 888229888 24856 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216853 24856 2006 9 0 211381 0
[pid=17890/tid=17892] ppid=17888 vsize=867412 CPUtime=5.82
/proc/17890/task/17892/stat : 17892 (java) R 17888 17890 17586 0 -1 64 15809 0 1 0 573 9 0 0 25 0 9 0 44233622 888229888 24856 996147200 134512640 134550740 4294955952 18446744073709551615 4126897845 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867412 CPUtime=0.18
/proc/17890/task/17893/stat : 17893 (java) S 17888 17890 17586 0 -1 64 8402 0 0 0 15 3 0 0 16 0 9 0 44233624 888229888 24856 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888229888 24856 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233624 888229888 24856 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888229888 24856 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867412 CPUtime=0.19
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 618 0 0 0 19 0 0 0 16 0 9 0 44233626 888229888 24856 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888229888 24856 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888229888 24856 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.08 2.20 2.37 3/89 17899
/proc/meminfo: memFree=1745296/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867412 CPUtime=12.55
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 29139 0 1 0 1240 15 0 0 18 0 9 0 44233621 888229888 28464 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216853 28464 2007 9 0 211381 0
[pid=17890/tid=17892] ppid=17888 vsize=867412 CPUtime=11.86
/proc/17890/task/17892/stat : 17892 (java) R 17888 17890 17586 0 -1 64 15817 0 1 0 1176 10 0 0 25 0 9 0 44233622 888229888 28464 996147200 134512640 134550740 4294955952 18446744073709551615 4126930757 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867412 CPUtime=0.41
/proc/17890/task/17893/stat : 17893 (java) S 17888 17890 17586 0 -1 64 11958 0 0 0 37 4 0 0 17 0 9 0 44233624 888229888 28464 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888229888 28464 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233624 888229888 28464 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888229888 28464 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867412 CPUtime=0.26
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 667 0 0 0 26 0 0 0 15 0 9 0 44233626 888229888 28464 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888229888 28464 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867412 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888229888 28464 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867412

[startup+25.5016 s]
/proc/loadavg: 2.07 2.19 2.37 4/89 17899
/proc/meminfo: memFree=1721616/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867500 CPUtime=25.23
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 34407 0 1 0 2504 19 0 0 18 0 9 0 44233621 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216875 33538 2640 9 0 211381 0
[pid=17890/tid=17892] ppid=17888 vsize=867500 CPUtime=24
/proc/17890/task/17892/stat : 17892 (java) R 17888 17890 17586 0 -1 64 15882 0 1 0 2389 11 0 0 25 0 9 0 44233622 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4126893480 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867500 CPUtime=0.88
/proc/17890/task/17893/stat : 17893 (java) S 17888 17890 17586 0 -1 64 17133 0 0 0 82 6 0 0 16 0 9 0 44233624 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233624 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867500 CPUtime=0.31
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 695 0 0 0 31 0 0 0 16 0 9 0 44233626 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888320000 33538 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.1015 s]
/proc/loadavg: 2.04 2.17 2.36 3/89 17899
/proc/meminfo: memFree=1721552/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867500 CPUtime=50.58
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 34407 0 1 0 5038 20 0 0 18 0 9 0 44233621 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216875 33538 2640 9 0 211381 0
[pid=17890/tid=17892] ppid=17888 vsize=867500 CPUtime=49.35
/proc/17890/task/17892/stat : 17892 (java) R 17888 17890 17586 0 -1 64 15882 0 1 0 4923 12 0 0 25 0 9 0 44233622 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4127238005 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867500 CPUtime=0.88
/proc/17890/task/17893/stat : 17893 (java) S 17888 17890 17586 0 -1 64 17133 0 0 0 82 6 0 0 16 0 9 0 44233624 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233624 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867500 CPUtime=0.31
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 695 0 0 0 31 0 0 0 16 0 9 0 44233626 888320000 33538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867500 CPUtime=0

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

/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867500 CPUtime=0.34
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1946.27
Current children cumulated vsize (KiB) 867500

[startup+2022.3 s]
/proc/loadavg: 2.02 2.16 2.15 3/89 18006
/proc/meminfo: memFree=1689936/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867500 CPUtime=2006.24
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 34425 0 1 0 200560 64 0 0 18 0 9 0 44233621 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216875 33552 2640 9 0 211381 0
[pid=17890/tid=17892] ppid=17888 vsize=867500 CPUtime=2004.98
/proc/17890/task/17892/stat : 17892 (java) R 17888 17890 17586 0 -1 64 15885 0 1 0 200442 56 0 0 25 0 9 0 44233622 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4126893440 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867500 CPUtime=0.88
/proc/17890/task/17893/stat : 17893 (java) S 17888 17890 17586 0 -1 64 17133 0 0 0 82 6 0 0 16 0 9 0 44233624 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233624 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867500 CPUtime=0.34
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2006.24
Current children cumulated vsize (KiB) 867500

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

[startup+2035.1 s]
/proc/loadavg: 2.02 2.16 2.15 3/89 18006
/proc/meminfo: memFree=1689936/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867500 CPUtime=2019.03
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 34425 0 1 0 201839 64 0 0 18 0 9 0 44233621 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216875 33552 2640 9 0 211381 0
[pid=17890/tid=17892] ppid=17888 vsize=867500 CPUtime=2017.77
/proc/17890/task/17892/stat : 17892 (java) R 17888 17890 17586 0 -1 64 15885 0 1 0 201721 56 0 0 25 0 9 0 44233622 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4126893405 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867500 CPUtime=0.88
/proc/17890/task/17893/stat : 17893 (java) S 17888 17890 17586 0 -1 64 17133 0 0 0 82 6 0 0 16 0 9 0 44233624 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44233624 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867500 CPUtime=0.34
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867500 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888320000 33552 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2019.03
Current children cumulated vsize (KiB) 867500

[startup+2041.5 s]
/proc/loadavg: 2.09 2.17 2.15 4/89 18006
/proc/meminfo: memFree=1024784/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867752 CPUtime=2025.43
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 200502 0 1 0 202419 124 0 0 18 0 9 0 44233621 888578048 199532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216938 199532 2640 9 0 211444 0
[pid=17890/tid=17892] ppid=17888 vsize=867752 CPUtime=2022.28
/proc/17890/task/17892/stat : 17892 (java) R 17888 17890 17586 0 -1 64 15954 0 1 0 202171 57 0 0 20 0 9 0 44233622 888578048 199532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867752 CPUtime=2.73
/proc/17890/task/17893/stat : 17893 (java) R 17888 17890 17586 0 -1 64 183098 0 0 0 208 65 0 0 16 0 9 0 44233624 888578048 199532 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867752 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888578048 199532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867752 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 44233624 888578048 199532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867752 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888578048 199532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867752 CPUtime=0.4
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 740 0 0 0 39 1 0 0 16 0 9 0 44233626 888578048 199532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867752 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888578048 199532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867752 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888578048 199532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2025.43
Current children cumulated vsize (KiB) 867752

[startup+2043.1 s]
/proc/loadavg: 2.09 2.17 2.15 4/89 18006
/proc/meminfo: memFree=1024784/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867664 CPUtime=2027.02
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 200630 0 1 0 202578 124 0 0 18 0 9 0 44233621 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216916 199510 2618 9 0 211444 0
[pid=17890/tid=17892] ppid=17888 vsize=867664 CPUtime=2022.29
/proc/17890/task/17892/stat : 17892 (java) S 17888 17890 17586 0 -1 64 15956 0 1 0 202172 57 0 0 20 0 9 0 44233622 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867664 CPUtime=4.31
/proc/17890/task/17893/stat : 17893 (java) R 17888 17890 17586 0 -1 64 183224 0 0 0 366 65 0 0 18 0 9 0 44233624 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 18 0 0 0 0 0 0 0 15 0 9 0 44233624 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867664 CPUtime=0.4
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 740 0 0 0 39 1 0 0 16 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2027.02
Current children cumulated vsize (KiB) 867664

[startup+2043.9 s]
/proc/loadavg: 2.09 2.17 2.15 3/89 18006
/proc/meminfo: memFree=1024784/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867664 CPUtime=2027.82
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 200756 0 1 0 202658 124 0 0 18 0 9 0 44233621 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216916 199510 2618 9 0 211444 0
[pid=17890/tid=17892] ppid=17888 vsize=867664 CPUtime=2022.29
/proc/17890/task/17892/stat : 17892 (java) S 17888 17890 17586 0 -1 64 15956 0 1 0 202172 57 0 0 16 0 9 0 44233622 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867664 CPUtime=5.11
/proc/17890/task/17893/stat : 17893 (java) R 17888 17890 17586 0 -1 64 183350 0 0 0 446 65 0 0 19 0 9 0 44233624 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 18 0 0 0 0 0 0 0 15 0 9 0 44233624 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867664 CPUtime=0.4
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 740 0 0 0 39 1 0 0 16 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2027.82
Current children cumulated vsize (KiB) 867664

[startup+2044.3 s]
/proc/loadavg: 2.09 2.17 2.15 3/89 18006
/proc/meminfo: memFree=1024784/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=867664 CPUtime=2028.22
/proc/17890/stat : 17890 (java) S 17888 17890 17586 0 -1 0 200756 0 1 0 202698 124 0 0 18 0 9 0 44233621 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 216916 199510 2618 9 0 211444 0
[pid=17890/tid=17892] ppid=17888 vsize=867664 CPUtime=2022.29
/proc/17890/task/17892/stat : 17892 (java) S 17888 17890 17586 0 -1 64 15956 0 1 0 202172 57 0 0 16 0 9 0 44233622 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17888 vsize=867664 CPUtime=5.51
/proc/17890/task/17893/stat : 17893 (java) R 17888 17890 17586 0 -1 64 183350 0 0 0 486 65 0 0 20 0 9 0 44233624 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17888 17890 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44233624 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17888 17890 17586 0 -1 64 18 0 0 0 0 0 0 0 15 0 9 0 44233624 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17896] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17896/stat : 17896 (java) S 17888 17890 17586 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17888 vsize=867664 CPUtime=0.4
/proc/17890/task/17897/stat : 17897 (java) S 17888 17890 17586 0 -1 64 740 0 0 0 39 1 0 0 16 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17888 17890 17586 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17888 vsize=867664 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17888 17890 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44233626 888487936 199510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2028.22
Current children cumulated vsize (KiB) 867664

[startup+2044.7 s]
/proc/loadavg: 2.09 2.17 2.15 3/89 18006
/proc/meminfo: memFree=1024784/2055920 swapFree=4181156/4192956
[pid=17890] ppid=17888 vsize=0 CPUtime=2028.59
/proc/17890/stat : 17890 (java) Z 17888 17890 17586 0 -1 12 200829 0 1 0 202724 135 0 0 16 0 2 0 44233621 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17890/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2028.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2044.7
CPU time (s): 2028.6
CPU user time (s): 2027.24
CPU system time (s): 1.36079
CPU usage (%): 99.2124
Max. virtual memory (cumulated for all children) (KiB): 867752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2027.24
system time used= 1.36079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200829
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= 43202
involuntary context switches= 79244

runsolver used 2.6026 second user time and 6.88295 second system time

The end

Launcher Data (download as text)

Begin job on node5 at 2008-07-12 17:08:23
IDJOB=1112900
IDBENCH=61493
IDSOLVER=360
FILE ID=node5/1112900-1215875303
PBS_JOBID= 7903577
Free space on /tmp= 66532 MiB

SOLVER NAME= AbsconMax 112 pc-d
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-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112900-1215875303/watcher-1112900-1215875303 -o /tmp/evaluation-result-1112900-1215875303/solver-1112900-1215875303 -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-ddeg.xml 1 XSax HOME/instance-1112900-1215875303.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e300dafa26bcab4445d58a8b5c31c7b7
RANDOM SEED=1763727857

node5.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.212
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.212
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:       1846712 kB
Buffers:          6884 kB
Cached:          48412 kB
SwapCached:       5904 kB
Active:         141948 kB
Inactive:        16468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846712 kB
SwapTotal:     4192956 kB
SwapFree:      4181156 kB
Dirty:            5020 kB
Writeback:           0 kB
Mapped:         119024 kB
Slab:            35912 kB
Committed_AS:  1040904 kB
PageTables:       2028 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= 66528 MiB
End job on node5 at 2008-07-12 17:42:28