Trace number 1112870

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? 1763.39 1775.33

General information on the benchmark

Namecsp/fapp/fapp37/
normalized-fapp37-2250-2.xml
MD5SUMf8718ebaf51fd44c6f84abcaca826b6a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best Number of falsified constraints
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2250
Number of constraints42699
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension42699
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1112870-1215874820.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.69/0.78	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998  nbTotalValues=1531733
0.69/0.78	       =>  wckTime=0.54  cpuTime=0.36  mem=33M502
0.69/0.78	   
0.69/0.78	   predicates being loaded...
0.78/0.84	   
0.78/0.84	   constraints being loaded...
10.99/11.01	   
10.99/11.01	   INFO : Stopping converting binary constraints (cpu=10.24, mem = 67M258)
16.77/16.82	     nbConstraints=42699  nbConvertedConstraints=45  nbConvertConstraintsChecks=34871284  nbExtensionStructures=43
16.77/16.82	     nbSharedExtensionStructures=4  nbConflictsStructures=1227  nbSharedConflictsStructures=959
16.77/16.82	     nbUnbuiltConflictsStructures=18948  nbSharedBinaryRepresentations=55629  nbEvaluationManagers=20132
16.77/16.82	     nbSharedEvaluationManagers=22522  minDegree=5  maxDegree=136  minArity=2  maxArity=2
16.77/16.82	       =>  wckTime=16.581  cpuTime=15.17  mem=125M160
17.28/17.39	   
17.28/17.39	   solver LocalSearchSolver being built... 
17.38/17.44	       =>  wckTime=17.197  cpuTime=15.22  mem=107M684
18.88/18.99	
18.88/18.99	s SATISFIABLE
18.88/18.99	o 11530
19.58/19.66	o 11514
20.18/20.24	o 11504
20.68/20.73	o 11490
21.17/21.21	o 11474
21.47/21.53	o 11455
21.88/21.99	o 11439
22.27/22.36	o 11423
22.57/22.68	o 11418
23.08/23.18	o 11410
23.47/23.55	o 11395
23.77/23.85	o 11381
24.17/24.22	o 11363
24.57/24.60	o 11355
24.87/24.92	o 11342
25.07/25.18	o 11330
25.37/25.42	o 11312
25.67/25.77	o 11303
25.87/25.99	o 11288
26.17/26.30	o 11281
26.47/26.51	o 11269
26.66/26.70	o 11253
27.06/27.15	o 11243
27.26/27.39	o 11228
27.56/27.69	o 11211
27.86/27.99	o 11195
28.16/28.28	o 11180
28.46/28.53	o 11178
28.76/28.88	o 11162
28.96/29.03	o 11150
29.16/29.28	o 11133
29.46/29.51	o 11127
29.66/29.76	o 11117
30.06/30.16	o 11106
30.66/30.72	o 11092
30.96/31.00	o 11091
31.26/31.34	o 11088
31.56/31.68	o 11087
31.96/32.00	o 11074
32.26/32.37	o 11062
32.57/32.60	o 11050
32.67/32.77	o 11043
32.97/33.08	o 11031
33.16/33.28	o 11029
33.56/33.61	o 11023
33.96/34.09	o 11021
34.26/34.34	o 11017
34.66/34.73	o 11007
34.96/35.07	o 11002
35.76/35.80	o 10992
35.96/36.09	o 10990
36.26/36.35	o 10975
36.46/36.53	o 10968
36.76/36.83	o 10957
36.96/37.02	o 10942
37.36/37.42	o 10927
37.56/37.64	o 10918
37.76/37.81	o 10909
38.16/38.29	o 10902
38.55/38.67	o 10901
38.95/39.03	o 10893
39.35/39.50	o 10892
39.85/39.97	o 10876
40.15/40.21	o 10860
40.45/40.53	o 10859
40.75/40.86	o 10847
41.15/41.26	o 10843
41.55/41.60	o 10840
41.85/41.96	o 10833
42.15/42.21	o 10817
42.45/42.59	o 10809
42.85/42.99	o 10799
43.15/43.30	o 10790
43.55/43.68	o 10776
43.85/44.00	o 10770
44.14/44.28	o 10764
44.54/44.64	o 10757
44.74/44.86	o 10745
45.05/45.12	o 10734
45.24/45.39	o 10725
45.84/45.90	o 10713
46.05/46.20	o 10703
46.34/46.47	o 10698
46.65/46.77	o 10693
46.95/47.02	o 10685
47.35/47.42	o 10678
47.65/47.79	o 10670
48.25/48.35	o 10667
48.75/48.85	o 10659
49.35/49.42	o 10650
49.95/50.08	o 10643
50.45/50.60	o 10642
51.05/51.11	o 10640
51.55/51.64	o 10634
51.95/52.07	o 10624
52.45/52.53	o 10616
53.44/53.52	o 10606
54.14/54.21	o 10605
54.54/54.68	o 10603
55.14/55.29	o 10601
55.64/55.70	o 10600
56.05/56.18	o 10598
56.64/56.78	o 10588
57.64/57.78	o 10586
58.34/58.41	o 10585
59.14/59.27	o 10572
59.54/59.65	o 10565
60.04/60.16	o 10557
60.84/60.99	o 10551
61.34/61.49	o 10550
61.94/62.01	o 10536
62.24/62.36	o 10514
62.64/62.72	o 10508
63.04/63.10	o 10507
63.34/63.45	o 10502
63.64/63.74	o 10495
64.53/64.68	o 10493
64.84/64.96	o 10475
65.23/65.30	o 10469
65.53/65.61	o 10449
65.84/65.97	o 10446
66.24/66.40	o 10434
66.54/66.67	o 10429
66.94/67.08	o 10426
67.54/67.64	o 10423
67.94/68.00	o 10418
68.34/68.41	o 10415
68.64/68.77	o 10409
69.04/69.14	o 10401
69.54/69.61	o 10393
70.04/70.13	o 10388
70.34/70.49	o 10378
70.74/70.83	o 10377
71.14/71.21	o 10364
71.34/71.49	o 10351
71.74/71.82	o 10336
72.24/72.38	o 10326
72.54/72.69	o 10323
72.83/72.97	o 10316
73.13/73.20	o 10306
73.33/73.45	o 10297
73.73/73.84	o 10290
74.03/74.12	o 10285
75.03/75.12	o 10284
75.43/75.55	o 10283
76.53/76.65	o 10279
77.03/77.17	o 10268
77.63/77.77	o 10262
78.13/78.24	o 10256
78.53/78.61	o 10247
78.93/79.05	o 10241
79.32/79.47	o 10231
79.72/79.86	o 10224
80.52/80.62	o 10212
81.02/81.18	o 10203
81.52/81.63	o 10196
81.92/82.05	o 10194
82.33/82.46	o 10191
82.82/82.92	o 10189
83.22/83.31	o 10183
83.62/83.76	o 10175
84.12/84.20	o 10173
84.53/84.68	o 10171
85.82/85.93	o 10169
86.22/86.36	o 10168
86.73/86.86	o 10167
87.22/87.30	o 10154
87.62/87.73	o 10153
88.82/88.96	o 10145
89.22/89.38	o 10144
89.82/90.00	o 10143
90.52/90.64	o 10134
91.22/91.30	o 10129
91.72/91.84	o 10122
92.32/92.42	o 10120
93.02/93.14	o 10119
93.72/93.82	o 10108
94.42/94.52	o 10097
95.82/95.96	o 10092
97.62/97.79	o 10085
98.22/98.34	o 10077
98.72/98.84	o 10076
99.11/99.26	o 10068
99.51/99.61	o 10058
99.92/100.00	o 10050
100.31/100.42	o 10041
100.71/100.88	o 10032
101.21/101.32	o 10023
101.61/101.75	o 10021
102.01/102.18	o 10013
102.51/102.64	o 10006
102.91/103.09	o 9999
103.41/103.55	o 9992
103.91/104.01	o 9985
104.31/104.45	o 9978
104.71/104.89	o 9972
105.21/105.33	o 9966
105.71/105.81	o 9962
106.20/106.32	o 9958
106.71/106.83	o 9954
107.21/107.39	o 9950
107.80/107.93	o 9939
108.30/108.45	o 9938
108.81/108.98	o 9935
109.80/109.93	o 9924
110.20/110.35	o 9921
110.70/110.82	o 9912
111.10/111.23	o 9900
111.50/111.64	o 9898
111.90/112.07	o 9896
112.40/112.51	o 9894
112.80/112.96	o 9892
113.30/113.40	o 9890
113.71/113.82	o 9889
114.11/114.30	o 9888
114.61/114.72	o 9887
115.01/115.13	o 9886
115.41/115.59	o 9885
115.81/115.99	o 9884
116.30/116.44	o 9883
116.80/116.92	o 9878
117.21/117.32	o 9877
119.00/119.15	o 9872
119.50/119.60	o 9870
120.00/120.12	o 9869
120.40/120.58	o 9860
120.90/121.02	o 9852
121.40/121.52	o 9845
122.80/122.95	o 9842
123.20/123.39	o 9835
123.70/123.83	o 9831
124.10/124.26	o 9821
124.50/124.70	o 9813
125.79/125.94	o 9811
126.19/126.36	o 9806
126.59/126.74	o 9804
128.29/128.41	o 9801
129.19/129.31	o 9800
129.60/129.76	o 9796
129.99/130.20	o 9790
130.49/130.61	o 9781
130.79/130.96	o 9767
131.59/131.72	o 9764
131.99/132.15	o 9757
132.39/132.57	o 9751
132.79/132.97	o 9745
133.29/133.41	o 9739
133.69/133.83	o 9734
134.09/134.26	o 9729
134.49/134.63	o 9716
136.88/137.00	o 9714
137.18/137.39	o 9712
137.68/137.84	o 9710
138.08/138.24	o 9708
138.49/138.63	o 9706
138.88/139.02	o 9705
139.28/139.44	o 9699
139.59/139.75	o 9698
139.88/140.07	o 9689
140.18/140.40	o 9688
140.58/140.79	o 9685
141.08/141.24	o 9684
141.38/141.56	o 9675
141.98/142.18	o 9674
143.39/143.56	o 9671
144.29/144.41	o 9658
145.09/145.21	o 9652
145.38/145.55	o 9645
147.78/147.93	o 9643
148.18/148.35	o 9638
148.68/148.83	o 9629
149.08/149.27	o 9626
149.68/149.82	o 9618
150.18/150.30	o 9615
150.59/150.75	o 9610
151.08/151.25	o 9608
152.08/152.20	o 9597
152.58/152.75	o 9589
153.08/153.27	o 9584
154.68/154.86	o 9580
155.18/155.38	o 9576
155.78/155.97	o 9572
156.28/156.42	o 9564
156.68/156.86	o 9562
157.18/157.31	o 9558
157.58/157.79	o 9554
158.08/158.27	o 9550
158.58/158.73	o 9547
158.98/159.18	o 9544
159.48/159.64	o 9541
159.88/160.05	o 9536
160.38/160.55	o 9534
160.78/160.98	o 9532
161.27/161.40	o 9527
161.77/161.90	o 9525
162.17/162.38	o 9523
163.07/163.30	o 9518
163.57/163.74	o 9513
163.97/164.15	o 9511
164.37/164.59	o 9509
164.87/165.07	o 9508
165.27/165.48	o 9499
165.77/165.96	o 9498
166.27/166.41	o 9497
167.07/167.28	o 9491
167.67/167.87	o 9475
168.07/168.23	o 9469
168.57/168.71	o 9467
170.96/171.19	o 9451
171.47/171.64	o 9442
172.36/172.50	o 9441
172.66/172.83	o 9439
173.06/173.27	o 9436
173.46/173.65	o 9429
173.96/174.10	o 9427
174.26/174.50	o 9421
174.77/174.98	o 9410
175.26/175.43	o 9407
176.16/176.32	o 9398
176.56/176.74	o 9390
176.96/177.15	o 9383
178.36/178.56	o 9372
178.96/179.11	o 9364
179.36/179.57	o 9363
179.96/180.13	o 9360
180.46/180.63	o 9357
180.96/181.13	o 9343
181.46/181.65	o 9335
183.26/183.46	o 9333
184.45/184.66	o 9330
184.95/185.19	o 9326
185.95/186.17	o 9324
186.45/186.66	o 9318
186.95/187.16	o 9310
187.36/187.59	o 9309
187.86/188.04	o 9301
188.36/188.54	o 9292
188.76/188.97	o 9284
189.26/189.41	o 9277
189.66/189.84	o 9270
190.06/190.29	o 9265
190.66/190.82	o 9260
191.05/191.28	o 9253
191.55/191.75	o 9248
191.95/192.19	o 9239
192.45/192.70	o 9235
192.95/193.16	o 9231
193.45/193.69	o 9228
193.95/194.16	o 9225
194.45/194.65	o 9222
194.95/195.12	o 9220
195.35/195.59	o 9218
195.85/196.09	o 9216
196.35/196.58	o 9214
196.95/197.18	o 9212
197.65/197.82	o 9210
198.15/198.35	o 9204
198.65/198.83	o 9200
199.25/199.40	o 9187
199.65/199.88	o 9185
200.15/200.33	o 9183
200.55/200.80	o 9181
201.15/201.30	o 9180
201.54/201.79	o 9179
202.04/202.27	o 9178
202.54/202.77	o 9177
203.04/203.26	o 9163
203.54/203.76	o 9162
207.14/207.39	o 9156
208.63/208.84	o 9152
209.23/209.45	o 9150
209.63/209.88	o 9146
210.23/210.41	o 9135
210.63/210.84	o 9132
211.03/211.30	o 9130
211.63/211.80	o 9129
212.52/212.71	o 9126
212.92/213.15	o 9114
213.43/213.66	o 9104
213.93/214.17	o 9102
214.43/214.62	o 9097
215.43/215.66	o 9091
215.83/216.08	o 9068
216.32/216.57	o 9066
216.82/217.08	o 9058
217.43/217.63	o 9054
217.93/218.12	o 9053
218.53/218.74	o 9043
219.53/219.70	o 9042
221.03/221.26	o 9036
221.53/221.78	o 9033
222.63/222.88	o 9021
223.43/223.63	o 9011
223.83/224.08	o 9010
224.42/224.64	o 9005
224.92/225.19	o 9000
225.42/225.66	o 8996
225.92/226.17	o 8989
228.32/228.59	o 8985
228.82/229.03	o 8983
229.32/229.52	o 8976
229.82/230.01	o 8973
230.22/230.49	o 8966
231.22/231.50	o 8964
231.72/231.98	o 8960
232.22/232.46	o 8956
232.71/232.99	o 8948
233.31/233.55	o 8947
233.81/234.09	o 8937
234.31/234.55	o 8931
234.71/234.95	o 8922
235.12/235.35	o 8921
235.51/235.74	o 8918
236.32/236.56	o 8903
236.71/236.97	o 8899
237.21/237.41	o 8895
237.61/237.85	o 8892
238.11/238.35	o 8886
238.51/238.75	o 8880
239.01/239.28	o 8879
239.51/239.78	o 8875
240.01/240.28	o 8874
241.01/241.30	o 8868
241.51/241.78	o 8866
242.01/242.24	o 8859
242.51/242.79	o 8855
243.10/243.33	o 8848
243.60/243.87	o 8842
244.20/244.42	o 8837
244.70/244.95	o 8832
245.30/245.50	o 8820
245.70/245.99	o 8816
246.70/246.98	o 8809
247.21/247.43	o 8805
247.80/248.02	o 8802
248.31/248.54	o 8799
248.80/249.08	o 8798
249.30/249.53	o 8795
249.80/250.01	o 8792
250.30/250.51	o 8790
250.70/250.99	o 8788
251.20/251.46	o 8786
251.70/251.94	o 8784
252.10/252.40	o 8783
252.60/252.86	o 8782
253.09/253.35	o 8777
253.59/253.84	o 8776
254.09/254.36	o 8775
254.69/254.96	o 8774
255.19/255.42	o 8773
255.69/255.93	o 8761
256.19/256.42	o 8760
258.19/258.50	o 8749
259.29/259.52	o 8748
259.79/260.06	o 8744
260.29/260.56	o 8742
260.79/261.08	o 8732
263.89/264.17	o 8729
264.39/264.65	o 8723
264.89/265.12	o 8718
265.79/266.03	o 8717
266.19/266.48	o 8709
266.69/266.98	o 8700
267.18/267.48	o 8695
268.28/268.52	o 8687
268.78/269.02	o 8683
269.19/269.49	o 8677
269.68/269.99	o 8674
270.18/270.44	o 8673
270.58/270.90	o 8670
271.49/271.79	o 8668
272.48/272.74	o 8662
272.98/273.22	o 8648
273.98/274.28	o 8643
274.48/274.78	o 8641
274.99/275.30	o 8636
275.59/275.82	o 8630
276.09/276.31	o 8626
276.59/276.84	o 8623
277.08/277.37	o 8614
277.58/277.88	o 8613
278.18/278.49	o 8612
279.28/279.57	o 8607
279.78/280.09	o 8605
280.38/280.63	o 8603
280.88/281.14	o 8601
281.39/281.68	o 8598
281.98/282.24	o 8596
282.98/283.25	o 8594
283.58/283.82	o 8590
284.08/284.35	o 8586
284.68/284.97	o 8584
285.28/285.53	o 8581
285.88/286.13	o 8579
286.48/286.72	o 8574
287.08/287.32	o 8573
287.68/287.91	o 8564
288.27/288.50	o 8557
288.77/289.05	o 8556
289.37/289.63	o 8554
291.07/291.34	o 8551
293.37/293.62	o 8549
294.07/294.35	o 8546
294.77/295.05	o 8545
295.58/295.87	o 8544
296.97/297.26	o 8540
298.46/298.79	o 8539
300.07/300.31	o 8536
300.77/301.03	o 8534
301.57/301.80	o 8532
302.37/302.61	o 8529
303.06/303.38	o 8527
303.86/304.15	o 8526
304.66/304.95	o 8525
305.47/305.71	o 8519
306.26/306.50	o 8518
306.96/307.28	o 8517
308.56/308.84	o 8514
309.36/309.63	o 8513
314.05/314.32	o 8504
314.85/315.14	o 8498
315.65/315.92	o 8497
318.25/318.56	o 8492
318.85/319.15	o 8486
319.65/319.93	o 8485
320.45/320.72	o 8477
321.25/321.51	o 8472
321.96/322.29	o 8470
322.76/323.07	o 8456
324.36/324.68	o 8455
325.16/325.49	o 8454
326.05/326.32	o 8453
327.75/328.01	o 8450
328.56/328.83	o 8445
329.25/329.59	o 8437
330.15/330.41	o 8436
330.86/331.16	o 8425
333.15/333.41	o 8418
333.85/334.14	o 8411
335.25/335.51	o 8408
335.95/336.23	o 8407
336.65/336.92	o 8404
337.25/337.60	o 8401
337.95/338.28	o 8388
339.94/340.22	o 8379
340.65/340.92	o 8378
342.04/342.34	o 8365
342.74/343.02	o 8363
343.44/343.71	o 8356
344.13/344.42	o 8354
345.43/345.80	o 8350
346.14/346.50	o 8345
347.03/347.37	o 8344
347.83/348.15	o 8336
348.63/348.93	o 8333
349.43/349.73	o 8331
350.23/350.56	o 8329
350.93/351.26	o 8317
351.63/351.98	o 8312
352.33/352.63	o 8297
353.73/354.03	o 8290
354.43/354.73	o 8282
355.23/355.50	o 8274
355.83/356.17	o 8271
358.03/358.40	o 8264
358.92/359.26	o 8257
359.72/360.03	o 8252
360.43/360.78	o 8251
367.03/367.32	o 8249
369.52/369.84	o 8246
371.22/371.51	o 8245
371.92/372.30	o 8242
372.72/373.10	o 8241
373.52/373.90	o 8235
374.41/374.74	o 8232
375.21/375.52	o 8229
375.92/376.29	o 8226
376.71/377.05	o 8223
377.51/377.85	o 8218
379.12/379.47	o 8212
380.61/380.96	o 8208
381.32/381.69	o 8206
382.22/382.50	o 8201
382.92/383.28	o 8200
383.72/384.04	o 8199
384.52/384.82	o 8198
385.22/385.57	o 8191
386.02/386.39	o 8190
387.71/388.07	o 8186
388.51/388.87	o 8180
389.31/389.66	o 8172
390.01/390.40	o 8171
390.81/391.17	o 8167
391.61/391.98	o 8165
392.51/392.83	o 8162
393.31/393.69	o 8160
394.21/394.53	o 8157
395.01/395.33	o 8155
395.80/396.13	o 8148
396.31/396.67	o 8140
397.21/397.51	o 8137
397.91/398.29	o 8134
398.71/399.06	o 8132
399.50/399.82	o 8130
400.30/400.61	o 8128
401.00/401.37	o 8126
401.80/402.13	o 8125
402.60/402.94	o 8118
403.41/403.73	o 8117
404.10/404.50	o 8116
404.90/405.25	o 8115
405.70/406.03	o 8114
406.50/406.86	o 8113
407.30/407.61	o 8112
408.10/408.43	o 8111
410.29/410.64	o 8108
411.00/411.32	o 8098
411.70/412.02	o 8097
412.40/412.74	o 8093
413.20/413.51	o 8088
413.90/414.24	o 8087
414.59/414.97	o 8082
415.40/415.74	o 8080
416.19/416.58	o 8074
416.99/417.33	o 8072
417.70/418.06	o 8065
418.49/418.88	o 8064
419.29/419.64	o 8062
420.09/420.48	o 8061
421.00/421.30	o 8060
432.09/432.42	o 8057
432.78/433.18	o 8056
434.38/434.76	o 8053
435.18/435.53	o 8052
435.88/436.28	o 8051
437.38/437.74	o 8050
438.08/438.45	o 8044
438.78/439.16	o 8040
439.48/439.89	o 8039
440.27/440.64	o 8038
440.97/441.37	o 8037
441.88/442.22	o 8033
442.67/443.05	o 8030
443.47/443.89	o 8026
444.37/444.76	o 8023
445.18/445.58	o 8017
445.97/446.32	o 8013
446.77/447.18	o 8011
447.57/447.98	o 8009
449.07/449.50	o 8003
450.67/451.07	o 7997
451.58/451.90	o 7993
452.37/452.75	o 7992
453.17/453.55	o 7991
453.98/454.37	o 7990
454.77/455.19	o 7986
457.17/457.56	o 7980
457.97/458.32	o 7979
458.77/459.18	o 7978
459.67/460.04	o 7972
460.47/460.90	o 7970
461.36/461.78	o 7964
462.27/462.69	o 7957
463.17/463.59	o 7954
464.16/464.52	o 7952
467.76/468.15	o 7948
469.46/469.84	o 7946
470.46/470.82	o 7943
473.26/473.63	o 7938
476.85/477.25	o 7935
477.75/478.19	o 7930
478.55/478.99	o 7926
479.55/479.94	o 7925
480.55/480.90	o 7920
481.45/481.85	o 7914
485.75/486.13	o 7912
486.65/487.00	o 7900
487.45/487.80	o 7896
488.95/489.38	o 7890
490.64/491.01	o 7888
491.44/491.87	o 7882
492.34/492.74	o 7875
493.14/493.55	o 7874
495.74/496.11	o 7870
496.54/496.96	o 7865
497.44/497.82	o 7864
498.24/498.67	o 7857
499.04/499.47	o 7856
499.84/500.29	o 7850
500.64/501.07	o 7845
501.43/501.82	o 7843
502.24/502.64	o 7836
503.13/503.51	o 7829
503.93/504.35	o 7825
504.73/505.10	o 7822
505.44/505.88	o 7817
506.94/507.36	o 7816
509.44/509.84	o 7815
510.24/510.68	o 7814
511.04/511.46	o 7812
511.84/512.25	o 7811
512.64/513.07	o 7808
513.44/513.86	o 7804
518.93/519.31	o 7803
519.63/520.08	o 7801
520.53/520.99	o 7797
524.92/525.31	o 7793
525.82/526.24	o 7791
526.72/527.17	o 7787
527.62/528.09	o 7785
528.52/528.96	o 7783
530.42/530.83	o 7779
531.32/531.73	o 7778
534.72/535.18	o 7776
535.62/536.04	o 7773
536.51/536.96	o 7770
537.42/537.86	o 7763
538.31/538.76	o 7759
541.31/541.70	o 7753
542.21/542.69	o 7749
543.21/543.68	o 7744
544.31/544.76	o 7742
545.31/545.74	o 7741
547.31/547.80	o 7734
548.41/548.81	o 7731
552.50/552.92	o 7730
553.41/553.86	o 7724
554.31/554.77	o 7722
555.21/555.66	o 7719
556.11/556.53	o 7710
557.01/557.44	o 7702
557.90/558.32	o 7700
558.91/559.32	o 7695
559.80/560.27	o 7691
560.70/561.15	o 7689
561.61/562.10	o 7687
562.60/563.06	o 7685
564.60/565.02	o 7679
566.69/567.19	o 7675
569.78/570.29	o 7673
570.87/571.34	o 7669
571.95/572.43	o 7666
572.94/573.42	o 7664
573.93/574.47	o 7662
575.02/575.56	o 7660
576.11/576.63	o 7658
578.19/578.72	o 7654
579.18/579.79	o 7653
581.36/581.94	o 7651
582.45/583.07	o 7646
583.54/584.17	o 7640
586.91/587.59	o 7635
589.19/589.81	o 7629
591.37/592.07	o 7622
592.56/593.22	o 7615
593.65/594.33	o 7608
594.74/595.44	o 7607
595.83/596.54	o 7602
598.01/598.79	o 7601
599.19/599.94	o 7598
600.28/601.08	o 7596
601.47/602.21	o 7594
603.75/604.52	o 7587
604.94/605.72	o 7582
606.03/606.89	o 7579
607.22/608.08	o 7572
608.41/609.27	o 7571
609.69/610.53	o 7569
613.15/614.06	o 7568
614.35/615.21	o 7567
615.44/616.38	o 7565
617.81/618.71	o 7562
620.09/621.05	o 7559
621.28/622.24	o 7556
622.37/623.36	o 7553
623.56/624.59	o 7552
630.69/631.79	o 7540
631.78/632.83	o 7535
632.47/633.51	o 7525
633.26/634.33	o 7518
634.35/635.43	o 7517
636.53/637.64	o 7513
637.62/638.77	o 7512
638.71/639.85	o 7511
639.81/640.96	o 7509
640.90/642.06	o 7502
641.99/643.17	o 7499
643.08/644.25	o 7498
645.26/646.44	o 7492
646.35/647.51	o 7487
647.34/648.59	o 7481
648.53/649.72	o 7480
649.61/650.80	o 7479
650.70/651.92	o 7475
651.79/653.02	o 7471
652.88/654.11	o 7468
653.97/655.24	o 7463
655.06/656.40	o 7459
656.25/657.58	o 7458
657.44/658.75	o 7453
668.33/669.71	o 7447
669.42/670.87	o 7446
670.52/671.96	o 7444
672.79/674.24	o 7439
674.97/676.49	o 7435
677.34/678.85	o 7431
678.53/680.02	o 7423
680.71/682.20	o 7422
682.79/684.39	o 7415
683.98/685.54	o 7409
685.07/686.60	o 7407
686.06/687.63	o 7402
688.23/689.88	o 7396
689.32/690.98	o 7394
690.51/692.15	o 7393
691.60/693.24	o 7385
701.41/703.16	o 7384
702.50/704.22	o 7383
703.59/705.32	o 7382
707.84/709.68	o 7381
710.03/711.85	o 7379
711.11/712.99	o 7374
713.39/715.29	o 7372
714.58/716.48	o 7371
718.15/720.04	o 7365
719.35/721.20	o 7364
721.73/723.62	o 7362
722.72/724.69	o 7358
723.90/725.85	o 7353
724.99/726.93	o 7349
726.08/728.07	o 7343
727.27/729.21	o 7338
728.36/730.35	o 7337
729.45/731.47	o 7333
730.73/732.72	o 7327
731.82/733.89	o 7325
733.01/735.04	o 7323
740.54/742.67	o 7322
741.83/743.91	o 7320
742.91/745.08	o 7318
744.10/746.24	o 7308
746.38/748.57	o 7301
747.57/749.72	o 7299
748.66/750.85	o 7296
749.65/751.81	o 7290
753.02/755.27	o 7288
754.21/756.43	o 7286
757.77/760.07	o 7283
758.96/761.26	o 7277
760.05/762.37	o 7276
761.24/763.50	o 7275
762.23/764.57	o 7270
764.41/766.72	o 7266
765.59/767.97	o 7262
767.87/770.28	o 7260
768.96/771.33	o 7258
770.05/772.41	o 7257
771.14/773.56	o 7256
772.23/774.65	o 7251
773.42/775.82	o 7244
774.51/776.98	o 7237
776.79/779.27	o 7233
779.07/781.52	o 7225
781.35/783.89	o 7219
782.64/785.13	o 7214
783.83/786.32	o 7212
786.20/788.80	o 7209
787.49/790.04	o 7207
788.78/791.38	o 7206
791.26/793.86	o 7203
792.54/795.19	o 7200
797.49/800.10	o 7189
798.58/801.28	o 7185
799.87/802.51	o 7184
800.96/803.69	o 7180
802.05/804.79	o 7165
803.23/805.92	o 7162
804.32/807.07	o 7156
805.51/808.23	o 7153
806.60/809.38	o 7150
807.70/810.46	o 7148
808.79/811.59	o 7144
809.98/812.71	o 7137
811.07/813.84	o 7131
812.16/814.98	o 7128
815.52/818.38	o 7124
816.71/819.53	o 7118
817.80/820.62	o 7117
818.99/821.81	o 7104
820.08/822.96	o 7101
823.44/826.38	o 7096
824.63/827.53	o 7094
825.72/828.66	o 7091
826.81/829.74	o 7087
827.90/830.83	o 7082
829.98/832.99	o 7081
832.26/835.25	o 7072
833.45/836.42	o 7070
837.12/840.16	o 7064
838.31/841.32	o 7063
840.78/843.88	o 7056
842.07/845.13	o 7054
857.42/860.61	o 7051
858.60/861.82	o 7049
859.79/863.08	o 7043
874.85/878.29	o 7042
875.94/879.37	o 7038
877.02/880.48	o 7035
878.21/881.61	o 7033
879.31/882.72	o 7026
880.40/883.81	o 7020
881.49/885.00	o 7016
882.78/886.20	o 7012
883.87/887.34	o 7002
884.96/888.44	o 7001
887.14/890.65	o 6999
890.41/893.99	o 6995
891.60/895.11	o 6989
892.69/896.20	o 6986
893.77/897.35	o 6984
894.86/898.42	o 6976
897.14/900.71	o 6975
898.23/901.87	o 6972
899.41/903.07	o 6970
900.60/904.26	o 6965
901.89/905.52	o 6963
903.08/906.71	o 6959
904.26/907.99	o 6956
905.55/909.24	o 6953
906.84/910.54	o 6952
908.13/911.82	o 6945
909.32/913.08	o 6940
911.99/915.72	o 6934
913.28/917.08	o 6932
914.67/918.50	o 6927
915.95/919.76	o 6926
918.63/922.40	o 6920
919.92/923.71	o 6918
923.87/927.77	o 6917
926.55/930.45	o 6914
929.32/933.24	o 6913
930.71/934.69	o 6909
932.19/936.14	o 6902
933.68/937.64	o 6896
935.16/939.16	o 6893
936.65/940.69	o 6890
939.63/943.63	o 6885
942.50/946.53	o 6882
943.89/947.94	o 6879
945.37/949.46	o 6875
946.96/951.01	o 6868
948.54/952.61	o 6856
949.92/954.08	o 6852
961.51/965.79	o 6851
962.90/967.18	o 6847
964.38/968.68	o 6841
965.87/970.17	o 6838
967.45/971.72	o 6835
968.94/973.24	o 6832
976.57/980.93	o 6831
978.15/982.54	o 6827
979.84/984.21	o 6822
986.48/990.96	o 6817
987.96/992.48	o 6812
989.65/994.16	o 6806
991.33/995.81	o 6804
992.92/997.46	o 6800
996.09/1000.67	o 6796
997.67/1002.23	o 6795
999.16/1003.77	o 6790
1000.84/1005.40	o 6789
1002.43/1007.09	o 6785
1008.96/1013.60	o 6765
1010.55/1015.25	o 6761
1012.13/1016.85	o 6759
1013.72/1018.46	o 6755
1015.40/1020.17	o 6753
1017.08/1021.87	o 6751
1018.47/1023.30	o 6747
1020.06/1024.89	o 6741
1021.74/1026.51	o 6721
1024.81/1029.63	o 6717
1026.29/1031.17	o 6713
1033.92/1038.86	o 6711
1035.51/1040.40	o 6709
1038.58/1043.57	o 6703
1040.15/1045.16	o 6702
1041.74/1046.75	o 6697
1043.33/1048.38	o 6695
1046.60/1051.62	o 6692
1048.19/1053.28	o 6691
1051.35/1056.43	o 6686
1054.42/1059.55	o 6682
1056.01/1061.15	o 6679
1059.18/1064.31	o 6678
1060.76/1065.93	o 6674
1062.35/1067.55	o 6668
1063.93/1069.19	o 6667
1065.51/1070.78	o 6663
1067.30/1072.50	o 6658
1068.88/1074.15	o 6657
1070.57/1075.81	o 6656
1072.15/1077.47	o 6654
1073.83/1079.17	o 6651
1078.89/1084.25	o 6650
1082.36/1087.75	o 6645
1084.04/1089.44	o 6642
1085.62/1091.08	o 6639
1087.40/1092.82	o 6633
1089.09/1094.51	o 6627
1090.67/1096.16	o 6622
1093.95/1099.41	o 6615
1095.53/1101.04	o 6614
1097.12/1102.61	o 6610
1098.71/1104.23	o 6603
1101.38/1106.93	o 6602
1102.67/1108.27	o 6601
1104.16/1109.79	o 6597
1105.63/1111.27	o 6592
1107.12/1112.70	o 6575
1108.51/1114.14	o 6573
1109.89/1115.53	o 6570
1111.28/1116.95	o 6566
1112.67/1118.39	o 6564
1114.16/1119.82	o 6562
1115.54/1121.27	o 6560
1117.03/1122.75	o 6557
1118.41/1124.20	o 6549
1125.74/1131.52	o 6546
1127.22/1133.04	o 6545
1128.71/1134.54	o 6544
1130.30/1136.10	o 6543
1131.78/1137.66	o 6539
1133.27/1139.16	o 6538
1134.75/1140.65	o 6536
1136.23/1142.18	o 6533
1139.30/1145.28	o 6528
1140.89/1146.82	o 6523
1142.48/1148.42	o 6520
1143.96/1149.96	o 6519
1148.52/1154.54	o 6517
1150.00/1156.06	o 6507
1151.49/1157.56	o 6504
1152.88/1159.00	o 6501
1154.37/1160.47	o 6499
1155.85/1161.95	o 6498
1157.34/1163.49	o 6495
1158.82/1164.99	o 6491
1160.21/1166.38	o 6487
1161.70/1167.84	o 6481
1162.89/1169.08	o 6478
1164.37/1170.57	o 6477
1165.85/1172.06	o 6473
1167.34/1173.59	o 6471
1168.82/1175.09	o 6468
1170.41/1176.64	o 6465
1171.89/1178.17	o 6461
1176.35/1182.67	o 6457
1177.84/1184.17	o 6453
1179.32/1185.67	o 6450
1192.59/1199.01	o 6448
1193.98/1200.48	o 6446
1195.37/1201.89	o 6440
1196.85/1203.37	o 6439
1198.23/1204.78	o 6433
1199.72/1206.25	o 6432
1201.21/1207.76	o 6427
1202.49/1209.05	o 6423
1203.98/1210.52	o 6420
1205.47/1212.02	o 6418
1206.95/1213.50	o 6417
1208.45/1215.03	o 6413
1209.84/1216.42	o 6409
1211.22/1217.87	o 6405
1212.80/1219.40	o 6403
1214.19/1220.86	o 6400
1217.06/1223.73	o 6397
1218.45/1225.15	o 6393
1219.83/1226.57	o 6388
1221.22/1227.96	o 6385
1222.41/1229.12	o 6384
1223.70/1230.50	o 6379
1225.08/1231.85	o 6377
1226.46/1233.22	o 6372
1227.85/1234.60	o 6367
1233.40/1240.23	o 6363
1234.79/1241.63	o 6361
1237.66/1244.50	o 6359
1239.05/1245.93	o 6355
1240.44/1247.31	o 6352
1241.82/1248.72	o 6350
1243.21/1250.15	o 6347
1244.70/1251.62	o 6345
1246.08/1253.07	o 6326
1248.96/1255.92	o 6324
1249.95/1256.98	o 6320
1251.33/1258.34	o 6317
1252.61/1259.68	o 6313
1254.10/1261.12	o 6309
1255.49/1262.52	o 6303
1256.97/1264.02	o 6297
1257.97/1265.05	o 6290
1259.35/1266.43	o 6284
1260.74/1267.85	o 6282
1262.13/1269.28	o 6277
1263.61/1270.72	o 6271
1273.31/1280.59	o 6270
1274.30/1281.58	o 6268
1275.69/1282.90	o 6267
1278.37/1285.61	o 6265
1287.68/1295.05	o 6262
1289.07/1296.40	o 6257
1290.46/1297.82	o 6252
1291.84/1299.26	o 6245
1293.22/1300.65	o 6242
1294.71/1302.13	o 6238
1296.19/1303.60	o 6235
1297.58/1305.09	o 6234
1298.77/1306.23	o 6233
1301.55/1309.04	o 6231
1302.93/1310.47	o 6226
1304.32/1311.85	o 6220
1305.71/1313.27	o 6206
1307.09/1314.64	o 6204
1308.48/1316.03	o 6199
1309.87/1317.43	o 6196
1311.25/1318.84	o 6193
1312.63/1320.27	o 6189
1315.42/1323.07	o 6187
1316.89/1324.54	o 6181
1318.28/1325.99	o 6175
1319.77/1327.49	o 6170
1321.15/1328.84	o 6169
1322.54/1330.29	o 6149
1323.93/1331.66	o 6147
1325.31/1333.07	o 6146
1328.18/1335.92	o 6145
1331.05/1338.81	o 6144
1332.44/1340.22	o 6141
1333.83/1341.62	o 6139
1335.22/1343.08	o 6132
1336.71/1344.54	o 6128
1342.15/1350.04	o 6126
1344.93/1352.87	o 6124
1346.31/1354.28	o 6119
1347.70/1355.67	o 6114
1350.57/1358.58	o 6111
1353.45/1361.45	o 6099
1354.83/1362.85	o 6094
1374.64/1382.84	o 6092
1379.19/1387.46	o 6091
1380.78/1389.01	o 6087
1382.26/1390.59	o 6085
1383.85/1392.11	o 6084
1385.24/1393.58	o 6077
1386.82/1395.14	o 6075
1388.31/1396.65	o 6073
1389.79/1398.19	o 6069
1391.28/1399.70	o 6065
1392.47/1400.88	o 6063
1393.96/1402.33	o 6060
1408.71/1417.23	o 6059
1410.20/1418.79	o 6058
1411.49/1420.09	o 6054
1414.57/1423.14	o 6052
1416.05/1424.67	o 6047
1416.94/1425.54	o 6042
1418.52/1427.11	o 6041
1420.01/1428.67	o 6037
1421.59/1430.28	o 6032
1423.18/1431.84	o 6026
1424.66/1433.32	o 6024
1426.15/1434.80	o 6022
1427.14/1435.80	o 6018
1428.53/1437.23	o 6014
1429.92/1438.66	o 6008
1431.29/1440.10	o 6005
1432.78/1441.51	o 6003
1434.17/1442.95	o 6001
1439.82/1448.69	o 5999
1441.30/1450.11	o 5991
1442.79/1451.61	o 5986
1444.17/1453.08	o 5983
1445.66/1454.58	o 5978
1447.15/1456.05	o 5962
1448.63/1457.57	o 5958
1450.11/1459.02	o 5954
1451.60/1460.50	o 5946
1452.99/1461.98	o 5944
1454.48/1463.47	o 5941
1455.97/1464.91	o 5939
1457.35/1466.38	o 5935
1461.71/1470.73	o 5927
1463.20/1472.29	o 5921
1464.69/1473.76	o 5918
1466.17/1475.27	o 5917
1467.65/1476.78	o 5911
1469.34/1478.42	o 5907
1470.72/1479.87	o 5894
1472.21/1481.32	o 5889
1473.60/1482.73	o 5888
1475.08/1484.23	o 5884
1476.47/1485.67	o 5879
1478.05/1487.21	o 5873
1479.44/1488.63	o 5868
1480.83/1490.05	o 5863
1482.31/1491.52	o 5860
1483.70/1492.99	o 5858
1486.67/1495.95	o 5854
1488.05/1497.37	o 5844
1489.44/1498.79	o 5842
1490.93/1500.26	o 5830
1493.80/1503.10	o 5825
1495.19/1504.51	o 5820
1496.57/1505.92	o 5816
1497.96/1507.33	o 5812
1517.67/1527.26	o 5808
1519.06/1528.64	o 5807
1521.93/1531.59	o 5802
1523.41/1533.03	o 5801
1524.80/1534.46	o 5799
1527.67/1537.32	o 5796
1528.86/1538.56	o 5795
1530.35/1540.03	o 5794
1531.14/1540.82	o 5788
1532.43/1542.17	o 5786
1533.81/1543.56	o 5781
1535.20/1544.93	o 5779
1536.59/1546.36	o 5772
1539.46/1549.26	o 5771
1546.59/1556.42	o 5770
1547.97/1557.85	o 5768
1549.37/1559.26	o 5767
1550.76/1560.65	o 5763
1552.14/1562.05	o 5759
1553.42/1563.39	o 5755
1554.91/1564.82	o 5753
1557.68/1567.69	o 5752
1559.07/1569.09	o 5750
1561.95/1571.96	o 5741
1563.43/1573.41	o 5739
1564.82/1574.82	o 5736
1566.20/1576.29	o 5735
1570.56/1580.64	o 5733
1572.14/1582.21	o 5729
1575.02/1585.19	o 5725
1578.09/1588.21	o 5720
1579.47/1589.64	o 5717
1580.96/1591.10	o 5715
1582.35/1592.58	o 5712
1585.32/1595.55	o 5707
1586.81/1597.09	o 5704
1588.28/1598.55	o 5701
1594.03/1604.39	o 5697
1595.52/1605.81	o 5695
1597.00/1607.36	o 5692
1603.06/1613.43	o 5687
1604.54/1614.97	o 5686
1606.03/1616.45	o 5683
1607.52/1617.98	o 5679
1613.45/1623.93	o 5676
1616.42/1626.91	o 5675
1617.91/1628.42	o 5671
1619.40/1629.99	o 5663
1622.67/1633.24	o 5661
1624.24/1634.87	o 5659
1627.61/1638.22	o 5656
1629.20/1639.87	o 5655
1632.37/1643.08	o 5653
1634.05/1644.72	o 5646
1635.64/1646.37	o 5644
1638.80/1649.59	o 5639
1642.08/1652.86	o 5638
1643.66/1654.42	o 5637
1646.83/1657.66	o 5633
1648.51/1659.33	o 5628
1650.09/1660.95	o 5622
1651.78/1662.61	o 5614
1653.46/1664.30	o 5613
1655.04/1665.95	o 5609
1658.31/1669.27	o 5608
1672.69/1683.70	o 5603
1673.48/1684.59	o 5601
1675.06/1686.19	o 5598
1676.74/1687.82	o 5595
1680.01/1691.16	o 5591
1681.70/1692.87	o 5589
1683.28/1694.49	o 5580
1684.87/1696.05	o 5575
1686.45/1697.62	o 5573
1687.74/1698.99	o 5569
1689.22/1700.46	o 5567
1690.70/1701.96	o 5565
1693.68/1704.92	o 5564
1695.16/1706.46	o 5561
1696.65/1707.97	o 5556
1699.03/1710.34	o 5555
1700.51/1711.90	o 5551
1702.10/1713.45	o 5549
1703.48/1714.87	o 5548
1704.96/1716.32	o 5539
1719.03/1730.57	o 5538
1720.52/1732.08	o 5537
1725.08/1736.67	o 5536
1755.58/1767.42	   
1755.58/1767.42	   search
1755.58/1767.42	     run=0  nbConstraintChecks=3397856682  nbAssignments=1830
1755.58/1767.42	       =>  wckTime=1749.987  cpuTime=1738.15  mem=107M684
1755.58/1767.43	   
1755.58/1767.43	   global
1755.58/1767.43	     nbConstraintChecks=3397856682  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1755.58/1767.43	     solvingWckTime=1749.964  solvingCpuTime=1738.13  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1755.58/1767.43	     globalCpuTime=1753.41
1755.58/1767.43	       =>  wckTime=1767.184  cpuTime=1753.37  mem=107M684
1755.58/1767.43	   
1755.58/1767.43	   solver DecomposerSolver being built... 
1763.21/1775.15	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-1112870-1215874820/watcher-1112870-1215874820 -o /tmp/evaluation-result-1112870-1215874820/solver-1112870-1215874820 -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-1112870-1215874820.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.13 1.79 0.96 4/80 11553
/proc/meminfo: memFree=1841832/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=152 CPUtime=0
/proc/11553/stat : 11553 (java) R 11551 11553 11351 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 44180074 155648 26 996147200 134512640 134550740 4294955952 18446744073709551615 9838891 0 0 4096 0 0 0 0 17 0 0 0
/proc/11553/statm: 38 26 19 9 0 4 0

[startup+0.0961509 s]
/proc/loadavg: 2.13 1.79 0.96 4/80 11553
/proc/meminfo: memFree=1841832/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=866016 CPUtime=0.08
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 3718 0 1 0 6 2 0 0 18 0 9 0 44180074 886800384 3193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216504 3193 1687 9 0 211059 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 866016

[startup+0.10115 s]
/proc/loadavg: 2.13 1.79 0.96 4/80 11553
/proc/meminfo: memFree=1841832/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=866016 CPUtime=0.09
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 3783 0 1 0 7 2 0 0 18 0 9 0 44180074 886800384 3243 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216504 3243 1709 9 0 211059 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866016

[startup+0.301194 s]
/proc/loadavg: 2.13 1.79 0.96 4/80 11553
/proc/meminfo: memFree=1841832/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=866412 CPUtime=0.28
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 5897 0 1 0 24 4 0 0 18 0 9 0 44180074 887205888 5272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216603 5272 1957 9 0 211131 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866412

[startup+0.701271 s]
/proc/loadavg: 2.13 1.79 0.96 4/80 11553
/proc/meminfo: memFree=1841832/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867328 CPUtime=0.69
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 16395 0 1 0 60 9 0 0 18 0 9 0 44180074 888143872 15766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216832 15770 1972 9 0 211360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867328

[startup+1.50243 s]
/proc/loadavg: 2.13 1.79 0.96 3/89 11562
/proc/meminfo: memFree=1752608/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867556 CPUtime=1.49
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 24796 0 1 0 137 12 0 0 18 0 9 0 44180074 888377344 24155 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216889 24155 2025 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867556 CPUtime=1.23
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15763 0 1 0 115 8 0 0 25 0 9 0 44180075 888377344 24155 996147200 134512640 134550740 4294955952 18446744073709551615 4126856056 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867556 CPUtime=0.05
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 11351 0 -1 64 7722 0 0 0 4 1 0 0 16 0 9 0 44180076 888377344 24155 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 24155 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44180076 888377344 24155 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888377344 24155 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867556 CPUtime=0.16
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 614 0 0 0 16 0 0 0 16 0 9 0 44180078 888377344 24155 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888377344 24155 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888377344 24155 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867556

[startup+3.10175 s]
/proc/loadavg: 2.13 1.79 0.96 3/89 11562
/proc/meminfo: memFree=1738592/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867468 CPUtime=3.08
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 30217 0 1 0 294 14 0 0 18 0 9 0 44180074 888287232 29551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216867 29551 2004 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867468 CPUtime=2.58
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15766 0 1 0 249 9 0 0 25 0 9 0 44180075 888287232 29551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867468 CPUtime=0.31
/proc/11553/task/11556/stat : 11556 (java) R 11551 11553 11351 0 -1 64 13139 0 0 0 27 4 0 0 16 0 9 0 44180076 888287232 29551 996147200 134512640 134550740 4294955952 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 29551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 29551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888287232 29551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867468 CPUtime=0.16
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 615 0 0 0 16 0 0 0 16 0 9 0 44180078 888287232 29551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888287232 29551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888287232 29551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867468

[startup+6.30237 s]
/proc/loadavg: 2.12 1.79 0.97 3/89 11562
/proc/meminfo: memFree=1723296/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867468 CPUtime=6.28
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 32071 0 1 0 613 15 0 0 18 0 9 0 44180074 888287232 31402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216867 31402 2006 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867468 CPUtime=5.68
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15800 0 1 0 559 9 0 0 25 0 9 0 44180075 888287232 31402 996147200 134512640 134550740 4294955952 18446744073709551615 4126893825 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867468 CPUtime=0.4
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 11351 0 -1 64 14946 0 0 0 35 5 0 0 16 0 9 0 44180076 888287232 31402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 31402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 31402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888287232 31402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867468 CPUtime=0.18
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 628 0 0 0 18 0 0 0 15 0 9 0 44180078 888287232 31402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888287232 31402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888287232 31402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867468

[startup+12.7026 s]
/proc/loadavg: 2.11 1.79 0.97 3/89 11562
/proc/meminfo: memFree=1716256/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867468 CPUtime=12.68
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 35321 0 1 0 1250 18 0 0 18 0 9 0 44180074 888287232 34647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216867 34647 2007 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867468 CPUtime=11.8
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15808 0 1 0 1171 9 0 0 25 0 9 0 44180075 888287232 34647 996147200 134512640 134550740 4294955952 18446744073709551615 102689651 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867468 CPUtime=0.59
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 11351 0 -1 64 18141 0 0 0 53 6 0 0 16 0 9 0 44180076 888287232 34647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 34647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 34647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888287232 34647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867468 CPUtime=0.26
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 675 0 0 0 25 1 0 0 16 0 9 0 44180078 888287232 34647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888287232 34647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888287232 34647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867468

[startup+25.5012 s]
/proc/loadavg: 2.08 1.80 0.99 3/89 11562
/proc/meminfo: memFree=1671712/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867556 CPUtime=25.47
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 45765 0 1 0 2524 23 0 0 18 0 9 0 44180074 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216889 44893 2640 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867556 CPUtime=23.43
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15876 0 1 0 2333 10 0 0 25 0 9 0 44180075 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4126899191 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867556 CPUtime=1.71
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 11351 0 -1 64 28486 0 0 0 160 11 0 0 16 0 9 0 44180076 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867556 CPUtime=0.31
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 706 0 0 0 30 1 0 0 16 0 9 0 44180078 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 867556

[startup+51.1012 s]
/proc/loadavg: 2.05 1.82 1.02 3/89 11568
/proc/meminfo: memFree=1670752/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867556 CPUtime=51.05
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 45765 0 1 0 5080 25 0 0 18 0 9 0 44180074 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216889 44893 2640 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867556 CPUtime=49.01
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15876 0 1 0 4889 12 0 0 25 0 9 0 44180075 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4127216220 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867556 CPUtime=1.71
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 11351 0 -1 64 28486 0 0 0 160 11 0 0 16 0 9 0 44180076 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867556 CPUtime=0.31
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 706 0 0 0 30 1 0 0 16 0 9 0 44180078 888377344 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867556 CPUtime=0

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

/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867556 CPUtime=0.33
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 719 0 0 0 32 1 0 0 16 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1729.14
Current children cumulated vsize (KiB) 867556

[startup+1753.5 s]
/proc/loadavg: 2.00 1.98 1.81 3/89 11605
/proc/meminfo: memFree=1567776/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867556 CPUtime=1741.81
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 45782 0 1 0 174123 58 0 0 18 0 9 0 44180074 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216889 44905 2640 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867556 CPUtime=1739.75
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15880 0 1 0 173930 45 0 0 25 0 9 0 44180075 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4126892476 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867556 CPUtime=1.71
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 11351 0 -1 64 28486 0 0 0 160 11 0 0 16 0 9 0 44180076 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867556 CPUtime=0.33
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 719 0 0 0 32 1 0 0 16 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1741.81
Current children cumulated vsize (KiB) 867556

[startup+1766.3 s]
/proc/loadavg: 2.00 1.98 1.81 3/89 11605
/proc/meminfo: memFree=1567712/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867556 CPUtime=1754.49
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 45782 0 1 0 175391 58 0 0 18 0 9 0 44180074 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216889 44905 2640 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867556 CPUtime=1752.44
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15880 0 1 0 175199 45 0 0 25 0 9 0 44180075 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4127024024 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867556 CPUtime=1.71
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 11351 0 -1 64 28486 0 0 0 160 11 0 0 16 0 9 0 44180076 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44180076 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867556 CPUtime=0.33
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 719 0 0 0 32 1 0 0 16 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867556 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888377344 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1754.49
Current children cumulated vsize (KiB) 867556

[startup+1769.5 s]
/proc/loadavg: 2.00 1.98 1.81 3/89 11605
/proc/meminfo: memFree=1312992/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867468 CPUtime=1757.66
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 181683 0 1 0 175657 109 0 0 18 0 9 0 44180074 888287232 180726 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216867 180726 2619 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867468 CPUtime=1754.45
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15969 0 1 0 175400 45 0 0 25 0 9 0 44180075 888287232 180726 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867468 CPUtime=2.8
/proc/11553/task/11556/stat : 11556 (java) R 11551 11553 11351 0 -1 64 164250 0 0 0 219 61 0 0 16 0 9 0 44180076 888287232 180726 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 180726 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 180726 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888287232 180726 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867468 CPUtime=0.38
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 749 0 0 0 37 1 0 0 15 0 9 0 44180078 888287232 180726 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888287232 180726 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888287232 180726 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1757.66
Current children cumulated vsize (KiB) 867468

[startup+1772.7 s]
/proc/loadavg: 2.00 1.98 1.81 3/89 11605
/proc/meminfo: memFree=947616/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867972 CPUtime=1760.83
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 200915 0 1 0 175966 117 0 0 18 0 9 0 44180074 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216993 199574 2618 9 0 211521 0
[pid=11553/tid=11555] ppid=11551 vsize=867972 CPUtime=1754.53
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 11351 0 -1 64 15974 0 1 0 175408 45 0 0 24 0 9 0 44180075 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867972 CPUtime=5.89
/proc/11553/task/11556/stat : 11556 (java) R 11551 11553 11351 0 -1 64 183477 0 0 0 520 69 0 0 18 0 9 0 44180076 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 104181400 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44180076 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867972 CPUtime=0.38
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 749 0 0 0 37 1 0 0 15 0 9 0 44180078 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1760.83
Current children cumulated vsize (KiB) 867972

[startup+1774.31 s]
/proc/loadavg: 2.00 1.98 1.81 3/89 11605
/proc/meminfo: memFree=947552/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867972 CPUtime=1762.41
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 201168 0 1 0 176124 117 0 0 18 0 9 0 44180074 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216993 199574 2618 9 0 211521 0
[pid=11553/tid=11555] ppid=11551 vsize=867972 CPUtime=1754.53
/proc/11553/task/11555/stat : 11555 (java) S 11551 11553 11351 0 -1 64 15975 0 1 0 175408 45 0 0 24 0 9 0 44180075 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867972 CPUtime=7.47
/proc/11553/task/11556/stat : 11556 (java) R 11551 11553 11351 0 -1 64 183729 0 0 0 678 69 0 0 21 0 9 0 44180076 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44180076 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867972 CPUtime=0.38
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 749 0 0 0 37 1 0 0 15 0 9 0 44180078 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867972 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1762.41
Current children cumulated vsize (KiB) 867972

[startup+1775.1 s]
/proc/loadavg: 2.00 1.98 1.81 3/89 11605
/proc/meminfo: memFree=947552/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=867468 CPUtime=1763.21
/proc/11553/stat : 11553 (java) S 11551 11553 11351 0 -1 0 201168 0 1 0 176204 117 0 0 18 0 9 0 44180074 888287232 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 216867 199448 2618 9 0 211395 0
[pid=11553/tid=11555] ppid=11551 vsize=867468 CPUtime=1754.53
/proc/11553/task/11555/stat : 11555 (java) S 11551 11553 11351 0 -1 64 15975 0 1 0 175408 45 0 0 16 0 9 0 44180075 888287232 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=867468 CPUtime=8.27
/proc/11553/task/11556/stat : 11556 (java) R 11551 11553 11351 0 -1 64 183729 0 0 0 758 69 0 0 25 0 9 0 44180076 888287232 199448 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11557] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 11351 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 11351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44180076 888287232 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44180078 888287232 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=867468 CPUtime=0.38
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 11351 0 -1 64 749 0 0 0 37 1 0 0 15 0 9 0 44180078 888287232 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 11351 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44180078 888287232 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=867468 CPUtime=0
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44180078 888287232 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1763.21
Current children cumulated vsize (KiB) 867468

[startup+1775.3 s]
/proc/loadavg: 2.00 1.98 1.81 3/82 11605
/proc/meminfo: memFree=1622880/2055920 swapFree=4180696/4192956
[pid=11553] ppid=11551 vsize=0 CPUtime=1763.36
/proc/11553/stat : 11553 (java) Z 11551 11553 11351 0 -1 12 201176 0 1 0 176209 127 0 0 16 0 2 0 44180074 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1763.36
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1775.33
CPU time (s): 1763.39
CPU user time (s): 1762.1
CPU system time (s): 1.2958
CPU usage (%): 99.3277
Max. virtual memory (cumulated for all children) (KiB): 867972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.1
system time used= 1.2958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201176
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= 38080
involuntary context switches= 53462

runsolver used 2.38864 second user time and 5.81912 second system time

The end

Launcher Data (download as text)

Begin job on node66 at 2008-07-12 17:00:21
IDJOB=1112870
IDBENCH=61488
IDSOLVER=360
FILE ID=node66/1112870-1215874820
PBS_JOBID= 7903592
Free space on /tmp= 66416 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp37/normalized-fapp37-2250-2.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-1112870-1215874820/watcher-1112870-1215874820 -o /tmp/evaluation-result-1112870-1215874820/solver-1112870-1215874820 -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-1112870-1215874820.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= f8718ebaf51fd44c6f84abcaca826b6a
RANDOM SEED=978190787

node66.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.259
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.259
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:       1842312 kB
Buffers:          3396 kB
Cached:          48548 kB
SwapCached:       5992 kB
Active:         157504 kB
Inactive:         8128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842312 kB
SwapTotal:     4192956 kB
SwapFree:      4180696 kB
Dirty:           12236 kB
Writeback:           0 kB
Mapped:         129912 kB
Slab:            33124 kB
Committed_AS:   915136 kB
PageTables:       1932 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= 66404 MiB
End job on node66 at 2008-07-12 17:29:56