Trace number 1112869

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 1704.03 1712.11

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.07/0.11	
0.07/0.11	Abscon 112 (May, 2008)
0.17/0.27	
0.17/0.27	   configuration
0.17/0.27	     name=mrdac-wdeg.xml
0.26/0.30	   
0.26/0.30	   instance
0.26/0.30	     name=HOME/instance-1112869-1215874818.xml
0.26/0.34	   
0.26/0.34	   domains being loaded...
0.26/0.38	   
0.26/0.38	   variables being loaded...
0.76/0.81	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998  nbTotalValues=1531733
0.76/0.81	       =>  wckTime=0.541  cpuTime=0.36  mem=33M502
0.76/0.81	   
0.76/0.81	   predicates being loaded...
0.76/0.87	   
0.76/0.87	   constraints being loaded...
11.01/11.18	   
11.01/11.18	   INFO : Stopping converting binary constraints (cpu=10.33, mem = 67M258)
16.89/17.05	     nbConstraints=42699  nbConvertedConstraints=45  nbConvertConstraintsChecks=34871284  nbExtensionStructures=43
16.89/17.05	     nbSharedExtensionStructures=4  nbConflictsStructures=1227  nbSharedConflictsStructures=959
16.89/17.05	     nbUnbuiltConflictsStructures=18948  nbSharedBinaryRepresentations=55629  nbEvaluationManagers=20132
16.89/17.05	     nbSharedEvaluationManagers=22522  minDegree=5  maxDegree=136  minArity=2  maxArity=2
16.89/17.05	       =>  wckTime=16.782  cpuTime=15.29  mem=125M160
17.49/17.63	   
17.49/17.63	   solver LocalSearchSolver being built... 
17.49/17.67	       =>  wckTime=17.404  cpuTime=15.33  mem=107M684
19.08/19.23	
19.08/19.23	s SATISFIABLE
19.08/19.23	o 11530
19.77/19.91	o 11514
20.37/20.50	o 11504
20.77/20.99	o 11490
21.27/21.48	o 11474
21.57/21.79	o 11455
22.06/22.26	o 11439
22.46/22.63	o 11423
22.76/22.95	o 11418
23.25/23.47	o 11410
23.65/23.84	o 11395
23.95/24.15	o 11381
24.35/24.51	o 11363
24.75/24.90	o 11355
25.05/25.23	o 11342
25.24/25.49	o 11330
25.54/25.73	o 11312
25.84/26.08	o 11303
26.14/26.31	o 11288
26.44/26.62	o 11281
26.64/26.83	o 11269
26.84/27.02	o 11253
27.24/27.48	o 11243
27.53/27.72	o 11228
27.83/28.02	o 11211
28.13/28.33	o 11195
28.43/28.61	o 11180
28.63/28.87	o 11178
29.02/29.22	o 11162
29.12/29.37	o 11150
29.42/29.63	o 11133
29.62/29.85	o 11127
29.92/30.11	o 11117
30.32/30.52	o 11106
30.82/31.08	o 11092
31.12/31.37	o 11091
31.52/31.70	o 11088
31.81/32.05	o 11087
32.11/32.37	o 11074
32.51/32.74	o 11062
32.71/32.99	o 11050
32.91/33.16	o 11043
33.20/33.47	o 11031
33.40/33.67	o 11029
33.80/34.01	o 11023
34.20/34.48	o 11021
34.50/34.73	o 11017
34.90/35.13	o 11007
35.19/35.48	o 11002
35.99/36.21	o 10992
36.29/36.50	o 10990
36.49/36.76	o 10975
36.69/36.94	o 10968
36.99/37.24	o 10957
37.19/37.44	o 10942
37.58/37.85	o 10927
37.78/38.06	o 10918
37.98/38.23	o 10909
38.48/38.72	o 10902
38.88/39.11	o 10901
39.18/39.46	o 10893
39.67/39.94	o 10892
40.17/40.41	o 10876
40.37/40.66	o 10860
40.67/40.98	o 10859
41.07/41.31	o 10847
41.47/41.72	o 10843
41.77/42.06	o 10840
42.16/42.42	o 10833
42.37/42.68	o 10817
42.76/43.06	o 10809
43.16/43.46	o 10799
43.46/43.77	o 10790
43.86/44.17	o 10776
44.16/44.48	o 10770
44.46/44.76	o 10764
44.86/45.14	o 10757
45.05/45.36	o 10745
45.35/45.61	o 10734
45.55/45.89	o 10725
46.15/46.41	o 10713
46.45/46.71	o 10703
46.65/46.97	o 10698
46.95/47.28	o 10693
47.24/47.54	o 10685
47.64/47.94	o 10678
48.04/48.31	o 10670
48.54/48.87	o 10667
49.04/49.38	o 10659
49.63/49.95	o 10650
50.33/50.61	o 10643
50.83/51.13	o 10642
51.33/51.66	o 10640
51.83/52.19	o 10634
52.33/52.62	o 10624
52.72/53.08	o 10616
53.71/54.08	o 10606
54.41/54.77	o 10605
54.91/55.25	o 10603
55.51/55.86	o 10601
55.90/56.27	o 10600
56.40/56.76	o 10598
57.00/57.36	o 10588
58.00/58.38	o 10586
58.69/59.00	o 10585
59.49/59.87	o 10572
59.89/60.25	o 10565
60.38/60.77	o 10557
61.28/61.61	o 10551
61.78/62.11	o 10550
62.28/62.64	o 10536
62.58/62.99	o 10514
62.98/63.35	o 10508
63.38/63.74	o 10507
63.67/64.09	o 10502
63.97/64.38	o 10495
64.97/65.32	o 10493
65.27/65.60	o 10475
65.57/65.95	o 10469
65.86/66.26	o 10449
66.26/66.62	o 10446
66.66/67.06	o 10434
66.96/67.33	o 10429
67.35/67.74	o 10426
67.95/68.31	o 10423
68.25/68.67	o 10418
68.65/69.08	o 10415
69.04/69.45	o 10409
69.44/69.82	o 10401
69.84/70.29	o 10393
70.44/70.82	o 10388
70.74/71.18	o 10378
71.14/71.53	o 10377
71.53/71.91	o 10364
71.73/72.19	o 10351
72.13/72.52	o 10336
72.63/73.08	o 10326
72.92/73.39	o 10323
73.22/73.68	o 10316
73.52/73.91	o 10306
73.72/74.16	o 10297
74.12/74.55	o 10290
74.42/74.84	o 10285
75.42/75.85	o 10284
75.81/76.28	o 10283
76.91/77.38	o 10279
77.51/77.91	o 10268
78.11/78.52	o 10262
78.51/78.99	o 10256
78.90/79.37	o 10247
79.40/79.81	o 10241
79.80/80.24	o 10231
80.20/80.63	o 10224
80.90/81.39	o 10212
81.49/81.96	o 10203
81.99/82.41	o 10196
82.39/82.84	o 10194
82.79/83.25	o 10191
83.28/83.71	o 10189
83.68/84.10	o 10183
84.08/84.56	o 10175
84.58/85.01	o 10173
84.98/85.48	o 10171
86.27/86.74	o 10169
86.67/87.19	o 10168
87.17/87.69	o 10167
87.66/88.14	o 10154
88.06/88.56	o 10153
89.36/89.80	o 10145
89.76/90.23	o 10144
90.36/90.84	o 10143
90.95/91.49	o 10134
91.65/92.16	o 10129
92.25/92.70	o 10122
92.75/93.28	o 10120
93.54/94.01	o 10119
94.14/94.70	o 10108
94.84/95.40	o 10097
96.33/96.85	o 10092
98.22/98.70	o 10085
98.72/99.26	o 10077
99.21/99.77	o 10076
99.62/100.19	o 10068
100.01/100.55	o 10058
100.41/100.94	o 10050
100.81/101.36	o 10041
101.31/101.82	o 10032
101.71/102.27	o 10023
102.20/102.70	o 10021
102.60/103.13	o 10013
103.10/103.60	o 10006
103.50/104.06	o 9999
104.00/104.52	o 9992
104.39/104.98	o 9985
104.89/105.43	o 9978
105.29/105.87	o 9972
105.79/106.32	o 9966
106.28/106.80	o 9962
106.78/107.31	o 9958
107.28/107.83	o 9954
107.77/108.39	o 9950
108.37/108.94	o 9939
108.87/109.46	o 9938
109.37/109.99	o 9935
110.36/110.95	o 9924
110.76/111.37	o 9921
111.26/111.84	o 9912
111.66/112.26	o 9900
112.05/112.68	o 9898
112.55/113.11	o 9896
112.94/113.56	o 9894
113.44/114.01	o 9892
113.84/114.46	o 9890
114.25/114.87	o 9889
114.75/115.36	o 9888
115.14/115.79	o 9887
115.54/116.19	o 9886
116.04/116.66	o 9885
116.44/117.07	o 9884
116.94/117.51	o 9883
117.34/118.00	o 9878
117.84/118.40	o 9877
119.63/120.26	o 9872
120.13/120.71	o 9870
120.62/121.23	o 9869
121.02/121.69	o 9860
121.52/122.14	o 9852
122.02/122.64	o 9845
123.41/124.08	o 9842
123.91/124.53	o 9835
124.31/124.97	o 9831
124.81/125.40	o 9821
125.20/125.85	o 9813
126.50/127.10	o 9811
126.90/127.53	o 9806
127.29/127.91	o 9804
128.89/129.59	o 9801
129.88/130.50	o 9800
130.28/130.95	o 9796
130.68/131.39	o 9790
131.18/131.81	o 9781
131.47/132.17	o 9767
132.27/132.93	o 9764
132.67/133.37	o 9757
133.07/133.79	o 9751
133.47/134.20	o 9745
133.96/134.64	o 9739
134.36/135.06	o 9734
134.86/135.50	o 9729
135.16/135.87	o 9716
137.55/138.26	o 9714
137.95/138.66	o 9712
138.44/139.12	o 9710
138.84/139.52	o 9708
139.24/139.92	o 9706
139.64/140.32	o 9705
140.04/140.74	o 9699
140.33/141.05	o 9698
140.63/141.37	o 9689
141.03/141.70	o 9688
141.43/142.10	o 9685
141.83/142.55	o 9684
142.13/142.88	o 9675
142.83/143.50	o 9674
144.12/144.89	o 9671
145.02/145.75	o 9658
145.81/146.56	o 9652
146.21/146.90	o 9645
148.50/149.29	o 9643
149.00/149.72	o 9638
149.50/150.20	o 9629
149.90/150.64	o 9626
150.49/151.20	o 9618
150.89/151.68	o 9615
151.39/152.13	o 9610
151.89/152.63	o 9608
152.88/153.60	o 9597
153.38/154.15	o 9589
153.88/154.68	o 9584
155.47/156.28	o 9580
156.07/156.80	o 9576
156.67/157.40	o 9572
157.07/157.86	o 9564
157.56/158.31	o 9562
157.96/158.77	o 9558
158.46/159.26	o 9554
158.95/159.74	o 9550
159.45/160.21	o 9547
159.85/160.66	o 9544
160.35/161.12	o 9541
160.75/161.54	o 9536
161.24/162.04	o 9534
161.64/162.47	o 9532
162.14/162.91	o 9527
162.64/163.41	o 9525
163.04/163.89	o 9523
164.03/164.81	o 9518
164.43/165.26	o 9513
164.83/165.68	o 9511
165.33/166.12	o 9509
165.82/166.60	o 9508
166.22/167.02	o 9499
166.72/167.51	o 9498
167.12/167.95	o 9497
168.02/168.83	o 9491
168.62/169.42	o 9475
168.92/169.79	o 9469
169.42/170.27	o 9467
171.91/172.78	o 9451
172.40/173.23	o 9442
173.30/174.10	o 9441
173.60/174.44	o 9439
174.00/174.87	o 9436
174.39/175.26	o 9429
174.89/175.71	o 9427
175.29/176.12	o 9421
175.79/176.60	o 9410
176.19/177.06	o 9407
177.08/177.95	o 9398
177.48/178.39	o 9390
177.98/178.81	o 9383
179.37/180.23	o 9372
179.87/180.79	o 9364
180.37/181.25	o 9363
180.96/181.82	o 9360
181.46/182.32	o 9357
181.96/182.83	o 9343
182.46/183.36	o 9335
184.25/185.19	o 9333
185.45/186.39	o 9330
186.05/186.93	o 9326
187.04/187.91	o 9324
187.54/188.41	o 9318
188.04/188.91	o 9310
188.43/189.34	o 9309
188.83/189.79	o 9301
189.33/190.30	o 9292
189.82/190.73	o 9284
190.22/191.17	o 9277
190.72/191.61	o 9270
191.12/192.07	o 9265
191.71/192.60	o 9260
192.11/193.06	o 9253
192.61/193.53	o 9248
193.01/193.98	o 9239
193.51/194.48	o 9235
194.01/194.96	o 9231
194.51/195.48	o 9228
195.00/195.96	o 9225
195.50/196.46	o 9222
196.00/196.93	o 9220
196.50/197.40	o 9218
197.00/197.92	o 9216
197.49/198.41	o 9214
198.09/199.02	o 9212
198.69/199.66	o 9210
199.29/200.21	o 9204
199.68/200.68	o 9200
200.28/201.27	o 9187
200.78/201.74	o 9185
201.18/202.19	o 9183
201.67/202.67	o 9181
202.17/203.19	o 9180
202.67/203.68	o 9179
203.17/204.17	o 9178
203.66/204.66	o 9177
204.16/205.16	o 9163
204.66/205.67	o 9162
208.34/209.31	o 9156
209.74/210.77	o 9152
210.33/211.38	o 9150
210.83/211.81	o 9146
211.33/212.35	o 9135
211.73/212.78	o 9132
212.23/213.24	o 9130
212.72/213.75	o 9129
213.62/214.67	o 9126
214.13/215.11	o 9114
214.63/215.63	o 9104
215.12/216.13	o 9102
215.52/216.59	o 9097
216.62/217.63	o 9091
217.01/218.06	o 9068
217.51/218.56	o 9066
218.01/219.08	o 9058
218.61/219.64	o 9054
219.10/220.14	o 9053
219.70/220.76	o 9043
220.70/221.73	o 9042
222.29/223.31	o 9036
222.79/223.83	o 9033
223.88/224.94	o 9021
224.68/225.70	o 9011
225.07/226.14	o 9010
225.67/226.72	o 9005
226.17/227.26	o 9000
226.67/227.74	o 8996
227.16/228.25	o 8989
229.55/230.68	o 8985
230.05/231.12	o 8983
230.55/231.62	o 8976
231.05/232.11	o 8973
231.55/232.60	o 8966
232.54/233.62	o 8964
233.04/234.10	o 8960
233.44/234.59	o 8956
234.04/235.12	o 8948
234.53/235.69	o 8947
235.13/236.23	o 8937
235.63/236.70	o 8931
235.93/237.10	o 8922
236.43/237.50	o 8921
236.83/237.90	o 8918
237.63/238.73	o 8903
238.03/239.15	o 8899
238.43/239.60	o 8895
238.92/240.04	o 8892
239.42/240.54	o 8886
239.82/240.96	o 8880
240.31/241.49	o 8879
240.81/242.00	o 8875
241.31/242.50	o 8874
242.40/243.53	o 8868
242.90/244.01	o 8866
243.30/244.48	o 8859
243.90/245.04	o 8855
244.39/245.57	o 8848
244.99/246.12	o 8842
245.49/246.68	o 8837
246.09/247.22	o 8832
246.59/247.77	o 8820
247.08/248.27	o 8816
248.08/249.26	o 8809
248.58/249.71	o 8805
249.17/250.30	o 8802
249.67/250.83	o 8799
250.17/251.37	o 8798
250.67/251.83	o 8795
251.16/252.31	o 8792
251.66/252.82	o 8790
252.06/253.29	o 8788
252.56/253.78	o 8786
253.06/254.26	o 8784
253.56/254.72	o 8783
253.96/255.18	o 8782
254.45/255.67	o 8777
254.95/256.16	o 8776
255.44/256.69	o 8775
256.04/257.30	o 8774
256.54/257.76	o 8773
257.04/258.27	o 8761
257.53/258.77	o 8760
259.62/260.88	o 8749
260.72/261.92	o 8748
261.22/262.46	o 8744
261.72/262.96	o 8742
262.21/263.49	o 8732
265.40/266.61	o 8729
265.80/267.09	o 8723
266.30/267.57	o 8718
267.20/268.49	o 8717
267.69/268.93	o 8709
268.19/269.44	o 8700
268.69/269.93	o 8695
269.68/270.98	o 8687
270.18/271.48	o 8683
270.68/271.95	o 8677
271.18/272.46	o 8674
271.67/272.92	o 8673
272.08/273.38	o 8670
272.98/274.28	o 8668
273.97/275.24	o 8662
274.47/275.72	o 8648
275.46/276.79	o 8643
276.06/277.30	o 8641
276.56/277.82	o 8636
277.06/278.35	o 8630
277.55/278.85	o 8626
278.05/279.39	o 8623
278.64/279.92	o 8614
279.15/280.44	o 8613
279.74/281.06	o 8612
280.84/282.15	o 8607
281.34/282.67	o 8605
281.93/283.22	o 8603
282.43/283.74	o 8601
282.93/284.27	o 8598
283.53/284.84	o 8596
284.52/285.86	o 8594
285.12/286.44	o 8590
285.62/286.97	o 8586
286.31/287.60	o 8584
286.81/288.17	o 8581
287.40/288.76	o 8579
288.00/289.36	o 8574
288.60/289.96	o 8573
289.20/290.55	o 8564
289.80/291.14	o 8557
290.39/291.70	o 8556
290.89/292.28	o 8554
292.68/294.01	o 8551
294.98/296.31	o 8549
295.68/297.04	o 8546
296.37/297.75	o 8545
297.17/298.58	o 8544
298.56/299.99	o 8540
300.15/301.55	o 8539
301.65/303.07	o 8536
302.45/303.80	o 8534
303.15/304.58	o 8532
303.94/305.40	o 8529
304.74/306.17	o 8527
305.54/306.96	o 8526
306.33/307.76	o 8525
307.13/308.53	o 8519
307.92/309.31	o 8518
308.62/310.08	o 8517
310.21/311.66	o 8514
311.01/312.45	o 8513
315.69/317.19	o 8504
316.59/318.00	o 8498
317.38/318.80	o 8497
319.97/321.48	o 8492
320.57/322.08	o 8486
321.37/322.86	o 8485
322.16/323.66	o 8477
322.96/324.46	o 8472
323.76/325.24	o 8470
324.55/326.03	o 8456
326.15/327.65	o 8455
326.94/328.47	o 8454
327.84/329.30	o 8453
329.43/330.99	o 8450
330.33/331.83	o 8445
331.02/332.59	o 8437
331.92/333.42	o 8436
332.62/334.17	o 8425
334.91/336.44	o 8418
335.61/337.18	o 8411
337.00/338.56	o 8408
337.79/339.30	o 8407
338.49/340.00	o 8404
339.09/340.69	o 8401
339.78/341.39	o 8388
341.77/343.34	o 8379
342.47/344.04	o 8378
343.87/345.48	o 8365
344.56/346.16	o 8363
345.26/346.86	o 8356
345.96/347.58	o 8354
347.35/348.96	o 8350
348.05/349.66	o 8345
348.95/350.52	o 8344
349.74/351.31	o 8336
350.54/352.10	o 8333
351.34/352.90	o 8331
352.13/353.74	o 8329
352.83/354.44	o 8317
353.53/355.17	o 8312
354.22/355.83	o 8297
355.62/357.24	o 8290
356.31/357.94	o 8282
357.11/358.72	o 8274
357.81/359.40	o 8271
360.00/361.67	o 8264
360.90/362.53	o 8257
361.70/363.31	o 8252
362.40/364.07	o 8251
368.97/370.65	o 8249
371.46/373.18	o 8246
373.15/374.87	o 8245
373.95/375.66	o 8242
374.74/376.47	o 8241
375.54/377.27	o 8235
376.44/378.12	o 8232
377.23/378.91	o 8229
378.03/379.70	o 8226
378.73/380.47	o 8223
379.52/381.29	o 8218
381.21/382.92	o 8212
382.70/384.43	o 8208
383.40/385.16	o 8206
384.20/385.98	o 8201
384.99/386.76	o 8200
385.79/387.53	o 8199
386.59/388.32	o 8198
387.28/389.07	o 8191
388.08/389.89	o 8190
389.78/391.57	o 8186
390.57/392.37	o 8180
391.37/393.17	o 8172
392.16/393.92	o 8171
392.86/394.69	o 8167
393.76/395.51	o 8165
394.55/396.37	o 8162
395.45/397.24	o 8160
396.25/398.08	o 8157
397.05/398.89	o 8155
397.94/399.70	o 8148
398.44/400.25	o 8140
399.34/401.11	o 8137
400.03/401.90	o 8134
400.83/402.68	o 8132
401.62/403.45	o 8130
402.42/404.24	o 8128
403.21/405.01	o 8126
403.91/405.77	o 8125
404.71/406.60	o 8118
405.51/407.39	o 8117
406.31/408.17	o 8116
407.10/408.92	o 8115
407.90/409.71	o 8114
408.69/410.54	o 8113
409.39/411.28	o 8112
410.29/412.11	o 8111
412.48/414.33	o 8108
413.17/415.02	o 8098
413.87/415.73	o 8097
414.57/416.46	o 8093
415.37/417.23	o 8088
416.07/417.98	o 8087
416.86/418.71	o 8082
417.56/419.49	o 8080
418.45/420.35	o 8074
419.25/421.11	o 8072
419.95/421.85	o 8065
420.74/422.68	o 8064
421.54/423.45	o 8062
422.44/424.30	o 8061
423.23/425.13	o 8060
434.39/436.33	o 8057
435.08/437.09	o 8056
436.69/438.68	o 8053
437.48/439.47	o 8052
438.28/440.23	o 8051
439.77/441.72	o 8050
440.47/442.43	o 8044
441.17/443.15	o 8040
441.86/443.89	o 8039
442.66/444.65	o 8038
443.36/445.38	o 8037
444.25/446.24	o 8033
445.05/447.08	o 8030
445.94/447.93	o 8026
446.84/448.81	o 8023
447.64/449.63	o 8017
448.33/450.37	o 8013
449.23/451.22	o 8011
450.03/452.03	o 8009
451.52/453.56	o 8003
453.12/455.15	o 7997
453.91/455.99	o 7993
454.81/456.85	o 7992
455.61/457.65	o 7991
456.40/458.48	o 7990
457.30/459.31	o 7986
459.69/461.73	o 7980
460.48/462.50	o 7979
461.28/463.37	o 7978
462.18/464.24	o 7972
463.07/465.11	o 7970
463.97/466.00	o 7964
464.86/466.92	o 7957
465.76/467.83	o 7954
466.65/468.76	o 7952
470.24/472.39	o 7948
472.04/474.11	o 7946
472.93/475.10	o 7943
475.82/477.93	o 7938
479.50/481.61	o 7935
480.40/482.56	o 7930
481.19/483.37	o 7926
482.19/484.33	o 7925
483.19/485.30	o 7920
484.09/486.26	o 7914
488.37/490.56	o 7912
489.26/491.44	o 7900
490.06/492.23	o 7896
491.65/493.82	o 7890
493.25/495.47	o 7888
494.14/496.34	o 7882
495.04/497.21	o 7875
495.84/498.03	o 7874
498.42/500.64	o 7870
499.32/501.50	o 7865
500.11/502.37	o 7864
501.01/503.23	o 7857
501.81/504.04	o 7856
502.61/504.87	o 7850
503.40/505.65	o 7845
504.20/506.41	o 7843
504.99/507.24	o 7836
505.89/508.12	o 7829
506.69/508.95	o 7825
507.48/509.71	o 7822
508.18/510.48	o 7817
509.67/511.96	o 7816
512.17/514.45	o 7815
513.06/515.31	o 7814
513.86/516.10	o 7812
514.56/516.89	o 7811
515.45/517.72	o 7808
516.24/518.52	o 7804
521.72/524.05	o 7803
522.52/524.83	o 7801
523.42/525.75	o 7797
527.69/530.09	o 7793
528.69/531.02	o 7791
529.60/531.94	o 7787
530.49/532.87	o 7785
531.39/533.74	o 7783
533.28/535.63	o 7779
534.18/536.54	o 7778
537.66/540.04	o 7776
538.56/540.91	o 7773
539.45/541.84	o 7770
540.35/542.76	o 7763
541.24/543.67	o 7759
544.24/546.64	o 7753
545.23/547.63	o 7749
546.23/548.63	o 7744
547.32/549.71	o 7742
548.22/550.69	o 7741
550.31/552.75	o 7734
551.31/553.77	o 7731
555.49/557.91	o 7730
556.39/558.86	o 7724
557.28/559.78	o 7722
558.18/560.69	o 7719
559.07/561.58	o 7710
560.07/562.51	o 7702
560.96/563.41	o 7700
561.95/564.42	o 7695
562.85/565.37	o 7691
563.75/566.26	o 7689
564.74/567.20	o 7687
565.64/568.14	o 7685
567.53/570.07	o 7679
569.73/572.21	o 7675
572.52/575.07	o 7673
573.51/576.02	o 7669
574.51/577.02	o 7666
575.40/577.93	o 7664
576.40/578.90	o 7662
577.40/579.91	o 7660
578.30/580.90	o 7658
580.29/582.83	o 7654
581.28/583.83	o 7653
583.27/585.83	o 7651
584.27/586.88	o 7646
585.27/587.88	o 7640
588.45/591.06	o 7635
590.44/593.09	o 7629
592.54/595.16	o 7622
593.63/596.21	o 7615
594.63/597.22	o 7608
595.63/598.24	o 7607
596.62/599.26	o 7602
598.71/601.34	o 7601
599.81/602.41	o 7598
600.80/603.48	o 7596
601.90/604.53	o 7594
603.99/606.69	o 7587
605.19/607.80	o 7582
606.28/608.90	o 7579
607.27/609.99	o 7572
608.37/611.08	o 7571
609.56/612.23	o 7569
612.75/615.47	o 7568
613.85/616.52	o 7567
614.84/617.59	o 7565
617.03/619.75	o 7562
619.22/621.94	o 7559
620.32/623.04	o 7556
621.31/624.09	o 7553
622.51/625.24	o 7552
629.08/631.89	o 7540
630.08/632.84	o 7535
630.68/633.47	o 7525
631.48/634.22	o 7518
632.47/635.23	o 7517
634.46/637.26	o 7513
635.56/638.30	o 7512
636.55/639.30	o 7511
637.55/640.34	o 7509
638.55/641.37	o 7502
639.64/642.41	o 7499
640.64/643.42	o 7498
642.63/645.46	o 7492
643.62/646.46	o 7487
644.62/647.46	o 7481
645.71/648.51	o 7480
646.71/649.50	o 7479
647.71/650.53	o 7475
648.70/651.54	o 7471
649.70/652.54	o 7468
650.69/653.58	o 7463
651.78/654.64	o 7459
652.88/655.72	o 7458
653.97/656.80	o 7453
664.13/667.01	o 7447
665.13/668.08	o 7446
666.12/669.09	o 7444
668.22/671.18	o 7439
670.31/673.25	o 7435
672.50/675.41	o 7431
673.50/676.50	o 7423
675.59/678.51	o 7422
677.58/680.56	o 7415
678.67/681.64	o 7409
679.67/682.62	o 7407
680.56/683.58	o 7402
682.66/685.67	o 7396
683.65/686.68	o 7394
684.75/687.77	o 7393
685.74/688.78	o 7385
694.91/697.91	o 7384
695.90/698.90	o 7383
696.90/699.93	o 7382
700.89/703.99	o 7381
702.98/706.00	o 7379
703.97/707.05	o 7374
706.07/709.18	o 7372
707.16/710.27	o 7371
710.45/713.55	o 7365
711.54/714.63	o 7364
713.73/716.86	o 7362
714.73/717.85	o 7358
715.82/718.92	o 7353
716.82/719.94	o 7349
717.81/720.99	o 7343
718.91/722.04	o 7338
720.00/723.11	o 7337
721.00/724.14	o 7333
722.19/725.30	o 7327
723.19/726.38	o 7325
724.29/727.45	o 7323
731.26/734.50	o 7322
732.45/735.65	o 7320
733.55/736.73	o 7318
734.64/737.81	o 7308
736.73/739.97	o 7301
737.83/741.04	o 7299
738.82/742.09	o 7296
739.72/742.97	o 7290
742.90/746.19	o 7288
744.00/747.26	o 7286
747.38/750.62	o 7283
748.48/751.72	o 7277
749.48/752.75	o 7276
750.47/753.80	o 7275
751.47/754.79	o 7270
753.46/756.77	o 7266
754.66/757.93	o 7262
756.75/760.07	o 7260
757.74/761.04	o 7258
758.74/762.04	o 7257
759.84/763.10	o 7256
760.83/764.11	o 7251
761.83/765.20	o 7244
762.92/766.27	o 7237
765.12/768.40	o 7233
767.11/770.49	o 7225
769.30/772.68	o 7219
770.50/773.82	o 7214
771.59/774.92	o 7212
773.89/777.21	o 7209
774.98/778.34	o 7207
776.18/779.59	o 7206
778.47/781.89	o 7203
779.76/783.12	o 7200
784.25/787.68	o 7189
785.34/788.78	o 7185
786.53/789.92	o 7184
787.62/791.02	o 7180
788.62/792.03	o 7165
789.62/793.07	o 7162
790.71/794.14	o 7156
791.81/795.21	o 7153
792.80/796.26	o 7150
793.80/797.26	o 7148
794.79/798.29	o 7144
795.89/799.33	o 7137
796.88/800.37	o 7131
797.98/801.43	o 7128
801.06/804.58	o 7124
802.16/805.64	o 7118
803.15/806.67	o 7117
804.25/807.78	o 7104
805.35/808.84	o 7101
808.53/812.01	o 7096
809.53/813.08	o 7094
810.63/814.11	o 7091
811.62/815.10	o 7087
812.62/816.11	o 7082
814.51/818.08	o 7081
816.60/820.18	o 7072
817.70/821.26	o 7070
821.18/824.74	o 7064
822.28/825.82	o 7063
824.67/828.21	o 7056
825.77/829.37	o 7054
840.00/843.65	o 7051
841.10/844.79	o 7049
842.30/845.96	o 7043
856.23/859.98	o 7042
857.23/860.99	o 7038
858.33/862.02	o 7035
859.33/863.08	o 7033
860.43/864.11	o 7026
861.42/865.13	o 7020
862.52/866.24	o 7016
863.61/867.36	o 7012
864.71/868.43	o 7002
865.70/869.44	o 7001
867.69/871.47	o 6999
870.78/874.53	o 6995
871.78/875.56	o 6989
872.77/876.56	o 6986
873.87/877.61	o 6984
874.86/878.60	o 6976
876.95/880.74	o 6975
878.05/881.82	o 6972
879.14/882.93	o 6970
880.24/884.04	o 6965
881.43/885.22	o 6963
882.53/886.32	o 6959
883.72/887.52	o 6956
884.82/888.67	o 6953
886.02/889.88	o 6952
887.21/891.04	o 6945
888.31/892.20	o 6940
890.79/894.62	o 6934
891.99/895.87	o 6932
893.29/897.16	o 6927
894.48/898.33	o 6926
896.87/900.79	o 6920
898.17/902.02	o 6918
901.95/905.80	o 6917
904.34/908.27	o 6914
906.93/910.84	o 6913
908.22/912.17	o 6909
909.52/913.49	o 6902
910.91/914.87	o 6896
912.31/916.27	o 6893
913.70/917.68	o 6890
916.49/920.42	o 6885
919.17/923.13	o 6882
920.47/924.44	o 6879
921.86/925.85	o 6875
923.26/927.29	o 6868
924.75/928.75	o 6856
926.15/930.10	o 6852
936.90/940.92	o 6851
938.20/942.22	o 6847
939.59/943.61	o 6841
940.89/944.98	o 6838
942.38/946.42	o 6835
943.77/947.83	o 6832
950.84/954.91	o 6831
952.24/956.39	o 6827
953.83/957.93	o 6822
960.11/964.20	o 6817
961.50/965.60	o 6812
962.99/967.16	o 6806
964.49/968.69	o 6804
966.08/970.21	o 6800
968.97/973.17	o 6796
970.46/974.60	o 6795
971.86/976.03	o 6790
973.36/977.53	o 6789
974.95/979.10	o 6785
980.93/985.13	o 6765
982.42/986.65	o 6761
983.91/988.13	o 6759
985.41/989.61	o 6755
986.90/991.20	o 6753
988.49/992.76	o 6751
989.79/994.08	o 6747
991.28/995.56	o 6741
992.77/997.09	o 6721
995.76/1000.02	o 6717
997.26/1001.55	o 6713
1004.52/1008.86	o 6711
1006.01/1010.32	o 6709
1008.99/1013.32	o 6703
1010.48/1014.81	o 6702
1011.98/1016.31	o 6697
1013.47/1017.84	o 6695
1016.46/1020.89	o 6692
1018.05/1022.46	o 6691
1021.04/1025.46	o 6686
1023.91/1028.39	o 6682
1025.40/1029.88	o 6679
1028.39/1032.81	o 6678
1029.88/1034.30	o 6674
1031.37/1035.80	o 6668
1032.86/1037.31	o 6667
1034.25/1038.77	o 6663
1035.85/1040.36	o 6658
1037.34/1041.89	o 6657
1038.93/1043.42	o 6656
1040.43/1044.97	o 6654
1042.01/1046.54	o 6651
1046.69/1051.26	o 6650
1049.97/1054.52	o 6645
1051.47/1056.07	o 6642
1052.96/1057.58	o 6639
1054.55/1059.18	o 6633
1056.14/1060.74	o 6627
1057.63/1062.26	o 6622
1060.62/1065.28	o 6615
1062.21/1066.80	o 6614
1063.60/1068.26	o 6610
1065.10/1069.76	o 6603
1067.59/1072.25	o 6602
1068.89/1073.51	o 6601
1070.28/1074.91	o 6597
1071.56/1076.27	o 6592
1072.86/1077.59	o 6575
1074.25/1078.91	o 6573
1075.45/1080.20	o 6570
1076.83/1081.51	o 6566
1078.13/1082.85	o 6564
1079.42/1084.18	o 6562
1080.82/1085.53	o 6560
1082.20/1086.91	o 6557
1083.50/1088.26	o 6549
1090.26/1095.01	o 6546
1091.56/1096.39	o 6545
1092.95/1097.77	o 6544
1094.44/1099.22	o 6543
1095.84/1100.65	o 6539
1097.23/1102.05	o 6538
1098.62/1103.44	o 6536
1100.01/1104.87	o 6533
1102.90/1107.76	o 6528
1104.29/1109.20	o 6523
1105.79/1110.67	o 6520
1107.18/1112.08	o 6519
1111.35/1116.29	o 6517
1112.75/1117.68	o 6507
1114.14/1119.06	o 6504
1115.43/1120.40	o 6501
1116.83/1121.76	o 6499
1118.22/1123.15	o 6498
1119.61/1124.59	o 6495
1121.00/1125.98	o 6491
1122.30/1127.29	o 6487
1123.69/1128.65	o 6481
1124.79/1129.79	o 6478
1126.18/1131.16	o 6477
1127.57/1132.52	o 6473
1128.96/1133.93	o 6471
1130.35/1135.31	o 6468
1131.75/1136.73	o 6465
1133.14/1138.12	o 6461
1137.32/1142.32	o 6457
1138.71/1143.72	o 6453
1140.10/1145.12	o 6450
1152.33/1157.42	o 6448
1153.63/1158.78	o 6446
1155.02/1160.10	o 6440
1156.32/1161.47	o 6439
1157.61/1162.79	o 6433
1159.00/1164.17	o 6432
1160.39/1165.58	o 6427
1161.59/1166.77	o 6423
1162.99/1168.13	o 6420
1164.38/1169.53	o 6418
1165.67/1170.87	o 6417
1167.07/1172.28	o 6413
1168.36/1173.56	o 6409
1169.65/1174.89	o 6405
1171.14/1176.30	o 6403
1172.43/1177.65	o 6400
1175.12/1180.33	o 6397
1176.41/1181.65	o 6393
1177.71/1182.97	o 6388
1179.00/1184.27	o 6385
1180.10/1185.34	o 6384
1181.39/1186.62	o 6379
1182.59/1187.87	o 6377
1183.88/1189.14	o 6372
1185.17/1190.40	o 6367
1190.24/1195.59	o 6363
1191.54/1196.89	o 6361
1194.22/1199.56	o 6359
1195.51/1200.89	o 6355
1196.81/1202.17	o 6352
1198.10/1203.48	o 6350
1199.49/1204.81	o 6347
1200.78/1206.17	o 6345
1202.18/1207.50	o 6326
1204.76/1210.14	o 6324
1205.76/1211.12	o 6320
1206.95/1212.36	o 6317
1208.14/1213.59	o 6313
1209.54/1214.93	o 6309
1210.84/1216.23	o 6303
1212.23/1217.62	o 6297
1213.12/1218.56	o 6290
1214.42/1219.86	o 6284
1215.71/1221.18	o 6282
1217.10/1222.50	o 6277
1218.40/1223.83	o 6271
1227.45/1232.95	o 6270
1228.34/1233.87	o 6268
1229.54/1235.10	o 6267
1232.13/1237.61	o 6265
1240.78/1246.36	o 6262
1242.08/1247.60	o 6257
1243.37/1248.92	o 6252
1244.66/1250.24	o 6245
1245.95/1251.53	o 6242
1247.35/1252.91	o 6238
1248.63/1254.26	o 6235
1250.03/1255.64	o 6234
1251.03/1256.69	o 6233
1253.61/1259.29	o 6231
1255.01/1260.62	o 6226
1256.30/1261.90	o 6220
1257.59/1263.21	o 6206
1258.78/1264.48	o 6204
1260.08/1265.77	o 6199
1261.37/1267.06	o 6196
1262.67/1268.37	o 6193
1264.05/1269.70	o 6189
1266.55/1272.30	o 6187
1267.94/1273.65	o 6181
1269.23/1274.99	o 6175
1270.62/1276.39	o 6170
1271.92/1277.63	o 6169
1273.21/1278.96	o 6149
1274.50/1280.23	o 6147
1275.80/1281.54	o 6146
1278.38/1284.17	o 6145
1281.07/1286.85	o 6144
1282.36/1288.17	o 6141
1283.65/1289.47	o 6139
1285.05/1290.82	o 6132
1286.34/1292.17	o 6128
1291.41/1297.26	o 6126
1293.99/1299.87	o 6124
1295.29/1301.17	o 6119
1296.58/1302.47	o 6114
1299.27/1305.15	o 6111
1301.96/1307.84	o 6099
1303.24/1309.13	o 6094
1321.66/1327.64	o 6092
1325.93/1331.93	o 6091
1327.32/1333.36	o 6087
1328.81/1334.81	o 6085
1330.21/1336.21	o 6084
1331.51/1337.56	o 6077
1332.99/1339.01	o 6075
1334.39/1340.40	o 6073
1335.78/1341.82	o 6069
1337.17/1343.23	o 6065
1338.27/1344.34	o 6063
1339.56/1345.69	o 6060
1353.29/1359.45	o 6059
1354.78/1360.91	o 6058
1355.97/1362.11	o 6054
1358.76/1364.96	o 6052
1360.15/1366.39	o 6047
1360.95/1367.20	o 6042
1362.44/1368.67	o 6041
1363.93/1370.12	o 6037
1365.32/1371.59	o 6032
1366.81/1373.03	o 6026
1368.11/1374.39	o 6024
1369.50/1375.76	o 6022
1370.39/1376.68	o 6018
1371.68/1377.99	o 6014
1373.08/1379.31	o 6008
1374.37/1380.65	o 6005
1375.66/1381.97	o 6003
1377.05/1383.32	o 6001
1382.33/1388.67	o 5999
1383.72/1390.05	o 5991
1385.22/1391.54	o 5986
1386.61/1393.00	o 5983
1388.19/1394.50	o 5978
1389.59/1395.96	o 5962
1391.08/1397.46	o 5958
1392.57/1398.91	o 5954
1393.96/1400.39	o 5946
1395.45/1401.86	o 5944
1396.94/1403.34	o 5941
1398.35/1404.77	o 5939
1399.83/1406.24	o 5935
1404.11/1410.55	o 5927
1405.70/1412.11	o 5921
1407.10/1413.57	o 5918
1408.58/1415.06	o 5917
1410.07/1416.57	o 5911
1411.67/1418.19	o 5907
1413.17/1419.64	o 5894
1414.56/1421.10	o 5889
1415.95/1422.49	o 5888
1417.44/1423.98	o 5884
1418.93/1425.43	o 5879
1420.43/1426.95	o 5873
1421.82/1428.36	o 5868
1423.21/1429.78	o 5863
1424.70/1431.22	o 5860
1426.10/1432.69	o 5858
1429.08/1435.63	o 5854
1430.48/1437.05	o 5844
1431.87/1438.47	o 5842
1433.36/1439.93	o 5830
1436.14/1442.76	o 5825
1437.53/1444.16	o 5820
1438.93/1445.56	o 5816
1440.32/1446.96	o 5812
1460.02/1466.79	o 5808
1461.41/1468.17	o 5807
1464.30/1471.08	o 5802
1465.79/1472.52	o 5801
1467.19/1473.94	o 5799
1469.98/1476.78	o 5796
1471.27/1478.02	o 5795
1472.67/1479.49	o 5794
1473.45/1480.28	o 5788
1474.85/1481.62	o 5786
1476.24/1483.00	o 5781
1477.53/1484.36	o 5779
1479.02/1485.80	o 5772
1481.81/1488.66	o 5771
1488.88/1495.79	o 5770
1490.37/1497.20	o 5768
1491.77/1498.62	o 5767
1493.15/1500.01	o 5763
1494.44/1501.39	o 5759
1495.83/1502.73	o 5755
1497.23/1504.15	o 5753
1500.12/1507.01	o 5752
1501.51/1508.40	o 5750
1504.29/1511.24	o 5741
1505.69/1512.69	o 5739
1507.09/1514.09	o 5736
1508.57/1515.56	o 5735
1512.85/1519.88	o 5733
1514.45/1521.46	o 5729
1517.43/1524.42	o 5725
1520.41/1527.42	o 5720
1521.80/1528.83	o 5717
1523.19/1530.29	o 5715
1524.69/1531.76	o 5712
1527.67/1534.72	o 5707
1529.17/1536.25	o 5704
1530.56/1537.69	o 5701
1536.43/1543.52	o 5697
1537.82/1544.94	o 5695
1539.32/1546.49	o 5692
1545.39/1552.53	o 5687
1546.88/1554.07	o 5686
1548.37/1555.55	o 5683
1549.87/1557.07	o 5679
1555.83/1563.03	o 5676
1558.81/1566.01	o 5675
1560.31/1567.53	o 5671
1561.80/1569.09	o 5663
1565.08/1572.33	o 5661
1566.67/1573.96	o 5659
1569.95/1577.30	o 5656
1571.65/1578.96	o 5655
1574.82/1582.19	o 5653
1576.50/1583.84	o 5646
1578.19/1585.50	o 5644
1581.37/1588.72	o 5639
1584.55/1591.99	o 5638
1586.14/1593.53	o 5637
1589.33/1596.76	o 5633
1591.02/1598.43	o 5628
1592.61/1600.05	o 5622
1594.30/1601.73	o 5614
1595.98/1603.42	o 5613
1597.58/1605.07	o 5609
1600.85/1608.38	o 5608
1615.18/1622.74	o 5603
1616.08/1623.62	o 5601
1617.68/1625.22	o 5598
1619.27/1626.85	o 5595
1622.54/1630.19	o 5591
1624.23/1631.89	o 5589
1625.92/1633.51	o 5580
1627.41/1635.06	o 5575
1629.00/1636.64	o 5573
1630.39/1638.01	o 5569
1631.79/1639.47	o 5567
1633.29/1640.96	o 5565
1636.05/1643.77	o 5564
1637.54/1645.23	o 5561
1638.94/1646.65	o 5556
1641.13/1648.86	o 5555
1642.62/1650.30	o 5551
1644.01/1651.74	o 5549
1645.30/1653.05	o 5548
1646.60/1654.40	o 5539
1659.93/1667.77	o 5538
1661.33/1669.19	o 5537
1665.60/1673.45	o 5536
1695.65/1703.65	   
1695.65/1703.65	   search
1695.65/1703.65	     run=0  nbConstraintChecks=3400682480  nbAssignments=1831
1695.65/1703.65	       =>  wckTime=1685.981  cpuTime=1678.11  mem=107M684
1695.65/1703.65	   
1695.65/1703.65	   global
1695.65/1703.65	     nbConstraintChecks=3400682480  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1695.65/1703.65	     solvingWckTime=1685.958  solvingCpuTime=1678.08  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1695.65/1703.65	     globalCpuTime=1693.48
1695.65/1703.65	       =>  wckTime=1703.385  cpuTime=1693.44  mem=107M684
1695.65/1703.65	   
1695.65/1703.65	   solver DecomposerSolver being built... 
1703.85/1711.94	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-1112869-1215874818/watcher-1112869-1215874818 -o /tmp/evaluation-result-1112869-1215874818/solver-1112869-1215874818 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112869-1215874818.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: 3.45 3.34 3.20 3/80 23511
/proc/meminfo: memFree=1808408/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=18572 CPUtime=0
/proc/23511/stat : 23511 (runsolver) R 23509 23511 22351 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44184743 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/23511/statm: 4643 292 257 25 0 2626 0

[startup+0.0761319 s]
/proc/loadavg: 3.45 3.34 3.20 3/80 23511
/proc/meminfo: memFree=1808408/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=863936 CPUtime=0.03
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 2660 0 1 0 2 1 0 0 20 0 9 0 44184743 884670464 2225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 215984 2225 1066 9 0 210941 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863936

[startup+0.102132 s]
/proc/loadavg: 3.45 3.34 3.20 3/80 23511
/proc/meminfo: memFree=1808408/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=865856 CPUtime=0.07
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 3523 0 1 0 5 2 0 0 20 0 9 0 44184743 886636544 3013 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216464 3013 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856

[startup+0.301155 s]
/proc/loadavg: 3.45 3.34 3.20 3/80 23511
/proc/meminfo: memFree=1808408/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=866280 CPUtime=0.26
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 5654 0 1 0 23 3 0 0 20 0 9 0 44184743 887070720 5069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216570 5069 1905 9 0 211118 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866280

[startup+0.702196 s]
/proc/loadavg: 3.45 3.34 3.20 3/80 23511
/proc/meminfo: memFree=1808408/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867360 CPUtime=0.66
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 14960 0 1 0 57 9 0 0 20 0 9 0 44184743 888176640 14331 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216840 14331 1972 9 0 211368 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867360

[startup+1.50228 s]
/proc/loadavg: 3.45 3.34 3.20 3/89 23520
/proc/meminfo: memFree=1719504/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867580 CPUtime=1.46
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 24795 0 1 0 133 13 0 0 20 0 9 0 44184743 888401920 24154 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216895 24154 2025 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867580 CPUtime=1.21
/proc/23511/task/23513/stat : 23513 (java) R 23509 23511 22351 0 -1 64 15764 0 1 0 112 9 0 0 25 0 9 0 44184746 888401920 24154 996147200 134512640 134550740 4294955952 18446744073709551615 4126655569 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867580 CPUtime=0.06
/proc/23511/task/23514/stat : 23514 (java) S 23509 23511 22351 0 -1 64 7723 0 0 0 4 2 0 0 16 0 9 0 44184748 888401920 24154 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 24154 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44184748 888401920 24154 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 24154 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867580 CPUtime=0.16
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 612 0 0 0 16 0 0 0 16 0 9 0 44184750 888401920 24154 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 24154 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888401920 24154 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867580

[startup+3.10144 s]
/proc/loadavg: 3.33 3.31 3.20 4/89 23520
/proc/meminfo: memFree=1705360/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867492 CPUtime=3.05
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 30130 0 1 0 290 15 0 0 20 0 9 0 44184743 888311808 29465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216873 29465 2004 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867492 CPUtime=2.58
/proc/23511/task/23513/stat : 23513 (java) R 23509 23511 22351 0 -1 64 15766 0 1 0 249 9 0 0 25 0 9 0 44184746 888311808 29465 996147200 134512640 134550740 4294955952 18446744073709551615 104454656 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867492 CPUtime=0.28
/proc/23511/task/23514/stat : 23514 (java) S 23509 23511 22351 0 -1 64 13056 0 0 0 24 4 0 0 17 0 9 0 44184748 888311808 29465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 29465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 29465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 29465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867492 CPUtime=0.16
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 612 0 0 0 16 0 0 0 16 0 9 0 44184750 888311808 29465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 29465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888311808 29465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867492

[startup+6.30177 s]
/proc/loadavg: 3.33 3.31 3.20 4/89 23520
/proc/meminfo: memFree=1689936/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867492 CPUtime=6.24
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 32070 0 1 0 608 16 0 0 20 0 9 0 44184743 888311808 31401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216873 31401 2006 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867492 CPUtime=5.61
/proc/23511/task/23513/stat : 23513 (java) R 23509 23511 22351 0 -1 64 15801 0 1 0 552 9 0 0 25 0 9 0 44184746 888311808 31401 996147200 134512640 134550740 4294955952 18446744073709551615 4126920564 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867492 CPUtime=0.39
/proc/23511/task/23514/stat : 23514 (java) S 23509 23511 22351 0 -1 64 14947 0 0 0 35 4 0 0 16 0 9 0 44184748 888311808 31401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 31401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 31401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 31401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867492 CPUtime=0.2
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 626 0 0 0 19 1 0 0 15 0 9 0 44184750 888311808 31401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 31401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888311808 31401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867492

[startup+12.7014 s]
/proc/loadavg: 3.13 3.27 3.18 4/89 23520
/proc/meminfo: memFree=1682960/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867492 CPUtime=12.61
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 34870 0 1 0 1243 18 0 0 20 0 9 0 44184743 888311808 34197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216873 34197 2007 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867492 CPUtime=11.74
/proc/23511/task/23513/stat : 23513 (java) R 23509 23511 22351 0 -1 64 15807 0 1 0 1164 10 0 0 25 0 9 0 44184746 888311808 34197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867492 CPUtime=0.58
/proc/23511/task/23514/stat : 23514 (java) R 23509 23511 22351 0 -1 64 17692 0 0 0 52 6 0 0 16 0 9 0 44184748 888311808 34197 996147200 134512640 134550740 4294955952 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 34197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 34197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 34197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867492 CPUtime=0.26
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 675 0 0 0 25 1 0 0 16 0 9 0 44184750 888311808 34197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 34197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888311808 34197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867492

[startup+25.5028 s]
/proc/loadavg: 3.11 3.26 3.18 3/89 23520
/proc/meminfo: memFree=1638480/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867580 CPUtime=25.34
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 45764 0 1 0 2512 22 0 0 20 0 9 0 44184743 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216895 44893 2640 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867580 CPUtime=23.29
/proc/23511/task/23513/stat : 23513 (java) R 23509 23511 22351 0 -1 64 15875 0 1 0 2319 10 0 0 25 0 9 0 44184746 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4127216223 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867580 CPUtime=1.71
/proc/23511/task/23514/stat : 23514 (java) S 23509 23511 22351 0 -1 64 28487 0 0 0 162 9 0 0 16 0 9 0 44184748 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867580 CPUtime=0.31
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 706 0 0 0 30 1 0 0 16 0 9 0 44184750 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888401920 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.34
Current children cumulated vsize (KiB) 867580

[startup+51.1024 s]
/proc/loadavg: 2.91 3.21 3.16 3/89 23526
/proc/meminfo: memFree=1638480/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867580 CPUtime=50.83
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 45764 0 1 0 5059 24 0 0 20 0 9 0 44184743 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216895 44893 2640 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867580 CPUtime=48.78
/proc/23511/task/23513/stat : 23513 (java) R 23509 23511 22351 0 -1 64 15875 0 1 0 4866 12 0 0 25 0 9 0 44184746 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4127024712 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867580 CPUtime=1.71
/proc/23511/task/23514/stat : 23514 (java) S 23509 23511 22351 0 -1 64 28487 0 0 0 162 9 0 0 16 0 9 0 44184748 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867580 CPUtime=0.31
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 706 0 0 0 30 1 0 0 16 0 9 0 44184750 888401920 44893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867580 CPUtime=0

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

/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867580 CPUtime=0.33
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 719 0 0 0 32 1 0 0 16 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.15
Current children cumulated vsize (KiB) 867580

[startup+1689.5 s]
/proc/loadavg: 2.36 2.36 2.47 3/90 23649
/proc/meminfo: memFree=1745616/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867580 CPUtime=1681.62
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 45780 0 1 0 168057 105 0 0 20 0 9 0 44184743 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216895 44905 2640 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867580 CPUtime=1679.54
/proc/23511/task/23513/stat : 23513 (java) R 23509 23511 22351 0 -1 64 15878 0 1 0 167861 93 0 0 25 0 9 0 44184746 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4127023991 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867580 CPUtime=1.71
/proc/23511/task/23514/stat : 23514 (java) S 23509 23511 22351 0 -1 64 28487 0 0 0 162 9 0 0 16 0 9 0 44184748 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867580 CPUtime=0.33
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 719 0 0 0 32 1 0 0 16 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) R 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1681.62
Current children cumulated vsize (KiB) 867580

[startup+1702.3 s]
/proc/loadavg: 2.28 2.34 2.47 3/90 23649
/proc/meminfo: memFree=1743248/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867580 CPUtime=1694.36
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 45780 0 1 0 169331 105 0 0 20 0 9 0 44184743 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216895 44905 2640 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867580 CPUtime=1692.28
/proc/23511/task/23513/stat : 23513 (java) R 23509 23511 22351 0 -1 64 15878 0 1 0 169135 93 0 0 25 0 9 0 44184746 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4127216280 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867580 CPUtime=1.71
/proc/23511/task/23514/stat : 23514 (java) S 23509 23511 22351 0 -1 64 28487 0 0 0 162 9 0 0 16 0 9 0 44184748 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44184748 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867580 CPUtime=0.33
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 719 0 0 0 32 1 0 0 16 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867580 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888401920 44905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1694.36
Current children cumulated vsize (KiB) 867580

[startup+1708.7 s]
/proc/loadavg: 2.34 2.35 2.47 4/90 23649
/proc/meminfo: memFree=1122000/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867996 CPUtime=1700.67
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 200849 0 1 0 169893 174 0 0 20 0 9 0 44184743 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216999 199574 2618 9 0 211527 0
[pid=23511/tid=23513] ppid=23509 vsize=867996 CPUtime=1694.69
/proc/23511/task/23513/stat : 23513 (java) S 23509 23511 22351 0 -1 64 15972 0 1 0 169375 94 0 0 20 0 9 0 44184746 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867996 CPUtime=5.57
/proc/23511/task/23514/stat : 23514 (java) R 23509 23511 22351 0 -1 64 183415 0 0 0 479 78 0 0 18 0 9 0 44184748 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44184748 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867996 CPUtime=0.38
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 748 0 0 0 37 1 0 0 15 0 9 0 44184750 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1700.67
Current children cumulated vsize (KiB) 867996

[startup+1710.3 s]
/proc/loadavg: 2.34 2.35 2.47 3/90 23649
/proc/meminfo: memFree=1122128/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867492 CPUtime=1702.26
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 201102 0 1 0 170052 174 0 0 20 0 9 0 44184743 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216873 199448 2618 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867492 CPUtime=1694.7
/proc/23511/task/23513/stat : 23513 (java) S 23509 23511 22351 0 -1 64 15973 0 1 0 169376 94 0 0 16 0 9 0 44184746 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867492 CPUtime=7.15
/proc/23511/task/23514/stat : 23514 (java) R 23509 23511 22351 0 -1 64 183667 0 0 0 637 78 0 0 21 0 9 0 44184748 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867492 CPUtime=0.38
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 748 0 0 0 37 1 0 0 15 0 9 0 44184750 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1702.26
Current children cumulated vsize (KiB) 867492

[startup+1711.1 s]
/proc/loadavg: 2.34 2.35 2.47 3/90 23649
/proc/meminfo: memFree=1122000/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867996 CPUtime=1703.06
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 201228 0 1 0 170132 174 0 0 20 0 9 0 44184743 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216999 199574 2618 9 0 211527 0
[pid=23511/tid=23513] ppid=23509 vsize=867996 CPUtime=1694.7
/proc/23511/task/23513/stat : 23513 (java) S 23509 23511 22351 0 -1 64 15973 0 1 0 169376 94 0 0 16 0 9 0 44184746 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867996 CPUtime=7.95
/proc/23511/task/23514/stat : 23514 (java) R 23509 23511 22351 0 -1 64 183793 0 0 0 717 78 0 0 25 0 9 0 44184748 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44184748 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867996 CPUtime=0.38
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 748 0 0 0 37 1 0 0 15 0 9 0 44184750 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867996 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888827904 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1703.06
Current children cumulated vsize (KiB) 867996

[startup+1711.9 s]
/proc/loadavg: 2.31 2.35 2.47 3/90 23649
/proc/meminfo: memFree=1121680/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=867492 CPUtime=1703.85
/proc/23511/stat : 23511 (java) S 23509 23511 22351 0 -1 0 201229 0 1 0 170211 174 0 0 20 0 9 0 44184743 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 216873 199448 2618 9 0 211401 0
[pid=23511/tid=23513] ppid=23509 vsize=867492 CPUtime=1694.7
/proc/23511/task/23513/stat : 23513 (java) S 23509 23511 22351 0 -1 64 15974 0 1 0 169376 94 0 0 17 0 9 0 44184746 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23514] ppid=23509 vsize=867492 CPUtime=8.74
/proc/23511/task/23514/stat : 23514 (java) R 23509 23511 22351 0 -1 64 183793 0 0 0 796 78 0 0 25 0 9 0 44184748 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23515] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23515/stat : 23515 (java) S 23509 23511 22351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23516] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23516/stat : 23516 (java) S 23509 23511 22351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44184748 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23517] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23517/stat : 23517 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23518] ppid=23509 vsize=867492 CPUtime=0.38
/proc/23511/task/23518/stat : 23518 (java) S 23509 23511 22351 0 -1 64 748 0 0 0 37 1 0 0 15 0 9 0 44184750 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23519] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23519/stat : 23519 (java) S 23509 23511 22351 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44184750 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23511/tid=23520] ppid=23509 vsize=867492 CPUtime=0
/proc/23511/task/23520/stat : 23520 (java) S 23509 23511 22351 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44184750 888311808 199448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1703.85
Current children cumulated vsize (KiB) 867492

[startup+1712.1 s]
/proc/loadavg: 2.31 2.35 2.47 3/90 23649
/proc/meminfo: memFree=1121680/2055920 swapFree=4181008/4192956
[pid=23511] ppid=23509 vsize=0 CPUtime=1704.01
/proc/23511/stat : 23511 (java) Z 23509 23511 22351 0 -1 12 201237 0 1 0 170216 185 0 0 16 0 2 0 44184743 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23511/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1704.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1712.11
CPU time (s): 1704.03
CPU user time (s): 1702.16
CPU system time (s): 1.86572
CPU usage (%): 99.528
Max. virtual memory (cumulated for all children) (KiB): 867996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1702.16
system time used= 1.86572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201237
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= 36845
involuntary context switches= 62838

runsolver used 1.9757 second user time and 5.10422 second system time

The end

Launcher Data (download as text)

Begin job on node24 at 2008-07-12 17:00:18
IDJOB=1112869
IDBENCH=61488
IDSOLVER=359
FILE ID=node24/1112869-1215874818
PBS_JOBID= 7903478
Free space on /tmp= 66452 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112869-1215874818/watcher-1112869-1215874818 -o /tmp/evaluation-result-1112869-1215874818/solver-1112869-1215874818 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112869-1215874818.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= f8718ebaf51fd44c6f84abcaca826b6a
RANDOM SEED=1413035756

node24.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.220
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.220
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:       1808888 kB
Buffers:         10620 kB
Cached:          50012 kB
SwapCached:       5532 kB
Active:         180972 kB
Inactive:        13948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808888 kB
SwapTotal:     4192956 kB
SwapFree:      4181008 kB
Dirty:            8108 kB
Writeback:           0 kB
Mapped:         150772 kB
Slab:            37008 kB
Committed_AS:  1079892 kB
PageTables:       2244 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= 66444 MiB
End job on node24 at 2008-07-12 17:28:51