Trace number 1112858

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? 573.146 578.837

General information on the benchmark

Namecsp/fapp/fapp11/
normalized-fapp11-1000-1.xml
MD5SUMbcc19e6f7720c8259d2ed7a295277868
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints37
Best CPU time to get the best result obtained on this benchmark3600.06
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
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.05/0.17	
0.05/0.17	Abscon 112 (May, 2008)
0.20/0.34	
0.20/0.34	   configuration
0.20/0.34	     name=mrdac-ddeg.xml
0.20/0.38	   
0.20/0.38	   instance
0.20/0.38	     name=HOME/instance-1112858-1215874768.xml
0.29/0.42	   
0.29/0.42	   domains being loaded...
0.29/0.47	   
0.29/0.47	   variables being loaded...
0.50/0.64	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362  nbTotalValues=294634
0.50/0.64	       =>  wckTime=0.296  cpuTime=0.21  mem=16M662
0.50/0.64	   
0.50/0.64	   predicates being loaded...
0.59/0.71	   
0.59/0.71	   constraints being loaded...
10.50/10.74	   
10.50/10.74	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 52M383)
13.27/13.56	     nbConstraints=15032  nbConvertedConstraints=344  nbConvertConstraintsChecks=35144650  nbExtensionStructures=312
13.27/13.56	     nbSharedExtensionStructures=96  nbConflictsStructures=876  nbSharedConflictsStructures=222
13.27/13.56	     nbUnbuiltConflictsStructures=5900  nbSharedBinaryRepresentations=172838  nbEvaluationManagers=6464
13.27/13.56	     nbSharedEvaluationManagers=8224  minDegree=7  maxDegree=51  minArity=2  maxArity=2
13.27/13.56	       =>  wckTime=13.213  cpuTime=12.43  mem=45M602
13.57/13.82	   
13.57/13.82	   solver LocalSearchSolver being built... 
13.57/13.87	       =>  wckTime=13.528  cpuTime=12.46  mem=38M290
13.66/13.97	
13.66/13.97	s SATISFIABLE
13.66/13.97	o 3292
13.76/14.04	o 3283
13.76/14.10	o 3273
13.86/14.13	o 3267
13.86/14.16	o 3261
13.86/14.20	o 3256
13.96/14.23	o 3251
13.96/14.25	o 3248
13.96/14.28	o 3239
14.05/14.34	o 3231
14.05/14.36	o 3223
14.05/14.38	o 3216
14.15/14.41	o 3209
14.15/14.43	o 3205
14.15/14.46	o 3203
14.15/14.50	o 3194
14.25/14.53	o 3187
14.25/14.58	o 3181
14.35/14.61	o 3175
14.35/14.64	o 3170
14.35/14.67	o 3165
14.35/14.69	o 3161
14.45/14.72	o 3157
14.45/14.75	o 3154
14.45/14.78	o 3151
14.45/14.79	o 3148
14.55/14.83	o 3145
14.55/14.85	o 3140
14.55/14.88	o 3129
14.65/14.90	o 3121
14.65/14.92	o 3117
14.65/14.95	o 3114
14.65/14.97	o 3111
14.65/14.98	o 3106
14.76/15.00	o 3103
14.76/15.03	o 3096
14.76/15.06	o 3089
14.86/15.10	o 3084
14.86/15.15	o 3079
14.86/15.18	o 3074
14.96/15.22	o 3070
14.96/15.26	o 3066
14.96/15.29	o 3063
15.05/15.33	o 3060
15.05/15.35	o 3057
15.05/15.38	o 3055
15.05/15.40	o 3053
15.15/15.42	o 3052
15.15/15.47	o 3048
15.24/15.50	o 3042
15.24/15.53	o 3039
15.34/15.62	o 3031
15.34/15.63	o 3027
15.34/15.67	o 3019
15.44/15.72	o 3012
15.44/15.76	o 3005
15.54/15.80	o 2998
15.54/15.85	o 2992
15.54/15.88	o 2986
15.64/15.93	o 2981
15.64/15.97	o 2976
15.74/16.00	o 2971
15.74/16.03	o 2967
15.74/16.06	o 2964
15.74/16.09	o 2961
15.84/16.13	o 2958
15.84/16.16	o 2956
15.84/16.19	o 2954
15.94/16.22	o 2952
15.94/16.25	o 2950
16.04/16.35	o 2948
16.04/16.36	o 2947
16.14/16.42	o 2945
16.14/16.44	o 2941
16.23/16.54	o 2937
16.23/16.57	o 2934
16.23/16.58	o 2931
16.33/16.62	o 2925
16.33/16.63	o 2921
16.33/16.67	o 2916
16.33/16.69	o 2912
16.43/16.72	o 2907
16.43/16.73	o 2905
16.43/16.77	o 2903
16.43/16.80	o 2896
16.53/16.83	o 2895
16.53/16.88	o 2890
16.62/16.90	o 2887
16.62/16.95	o 2879
16.72/17.00	o 2873
16.72/17.04	o 2867
16.72/17.09	o 2862
16.83/17.15	o 2857
16.93/17.20	o 2854
16.93/17.25	o 2849
16.93/17.29	o 2844
17.03/17.34	o 2840
17.03/17.37	o 2836
17.13/17.42	o 2833
17.13/17.46	o 2830
17.13/17.49	o 2827
17.23/17.52	o 2821
17.23/17.56	o 2819
17.23/17.60	o 2817
17.32/17.63	o 2815
17.32/17.66	o 2813
17.32/17.69	o 2812
17.42/17.78	o 2805
17.52/17.81	o 2799
17.52/17.83	o 2794
17.52/17.86	o 2792
17.52/17.88	o 2789
17.62/17.91	o 2783
17.62/17.94	o 2777
17.62/17.97	o 2772
17.72/18.00	o 2769
17.72/18.02	o 2762
17.72/18.05	o 2760
17.72/18.07	o 2755
17.72/18.09	o 2753
17.82/18.15	o 2752
17.82/18.20	o 2750
17.92/18.27	o 2748
18.02/18.31	o 2746
18.02/18.34	o 2740
18.02/18.39	o 2735
18.12/18.42	o 2733
18.12/18.46	o 2730
18.12/18.49	o 2728
18.21/18.53	o 2725
18.21/18.56	o 2724
18.21/18.60	o 2720
18.31/18.62	o 2715
18.31/18.67	o 2712
18.41/18.70	o 2710
18.41/18.74	o 2707
18.41/18.77	o 2701
18.50/18.81	o 2695
18.50/18.84	o 2690
18.50/18.87	o 2687
18.60/18.91	o 2684
18.60/18.94	o 2681
18.60/18.98	o 2679
18.70/19.01	o 2677
18.70/19.05	o 2669
18.70/19.08	o 2667
18.80/19.11	o 2666
18.80/19.13	o 2659
18.90/19.25	o 2655
18.90/19.28	o 2651
19.00/19.31	o 2647
19.00/19.33	o 2645
19.00/19.35	o 2641
19.00/19.38	o 2638
19.10/19.41	o 2637
19.10/19.46	o 2636
19.10/19.49	o 2634
19.20/19.53	o 2631
19.20/19.58	o 2627
19.30/19.61	o 2626
19.30/19.65	o 2622
19.40/19.70	o 2620
19.40/19.74	o 2617
19.40/19.77	o 2614
19.49/19.82	o 2612
19.49/19.85	o 2608
19.49/19.88	o 2607
19.59/19.91	o 2606
19.59/19.95	o 2603
19.59/19.99	o 2601
19.69/20.03	o 2598
19.69/20.07	o 2596
19.79/20.19	o 2593
19.89/20.23	o 2590
19.98/20.32	o 2587
19.98/20.35	o 2583
20.08/20.40	o 2580
20.08/20.45	o 2576
20.18/20.50	o 2570
20.18/20.55	o 2567
20.28/20.61	o 2566
20.28/20.66	o 2564
20.38/20.79	o 2561
20.48/20.85	o 2558
20.58/20.90	o 2552
20.58/20.94	o 2546
20.58/20.98	o 2541
20.68/21.03	o 2538
20.68/21.07	o 2534
20.77/21.11	o 2530
20.77/21.15	o 2525
20.77/21.20	o 2524
20.87/21.25	o 2520
20.87/21.29	o 2518
21.18/21.55	o 2516
21.28/21.69	o 2514
21.38/21.75	o 2511
21.48/21.84	o 2510
21.58/21.91	o 2507
21.58/21.95	o 2504
21.68/22.01	o 2500
21.68/22.06	o 2496
21.77/22.10	o 2491
21.77/22.15	o 2490
21.77/22.19	o 2487
21.87/22.24	o 2481
21.87/22.29	o 2479
21.97/22.35	o 2478
22.07/22.40	o 2476
22.07/22.44	o 2473
22.07/22.48	o 2471
22.17/22.52	o 2469
22.17/22.56	o 2466
22.27/22.61	o 2459
22.37/22.73	o 2458
22.37/22.77	o 2453
22.47/22.82	o 2450
22.47/22.87	o 2445
22.57/22.92	o 2443
22.57/22.97	o 2439
22.67/23.02	o 2437
22.67/23.08	o 2434
22.76/23.14	o 2430
22.86/23.29	o 2426
22.96/23.34	o 2422
22.96/23.39	o 2414
23.06/23.45	o 2412
23.16/23.50	o 2408
23.16/23.54	o 2403
23.16/23.58	o 2398
23.26/23.64	o 2395
23.26/23.70	o 2393
23.46/23.80	o 2389
23.46/23.86	o 2388
23.56/23.91	o 2384
23.56/23.97	o 2380
23.66/24.04	o 2377
23.66/24.10	o 2374
23.76/24.17	o 2372
23.85/24.25	o 2366
23.94/24.32	o 2361
24.04/24.47	o 2360
24.14/24.52	o 2359
24.24/24.64	o 2357
24.34/24.77	o 2354
24.54/24.95	o 2352
24.64/25.01	o 2350
24.64/25.07	o 2349
24.84/25.26	o 2347
24.93/25.33	o 2343
25.03/25.45	o 2340
25.13/25.51	o 2334
25.13/25.57	o 2332
25.23/25.63	o 2327
25.33/25.70	o 2326
25.33/25.77	o 2325
25.43/25.84	o 2324
25.43/25.90	o 2322
25.53/25.96	o 2319
25.63/26.08	o 2318
25.73/26.14	o 2316
25.83/26.22	o 2312
25.83/26.26	o 2309
25.93/26.33	o 2307
26.02/26.40	o 2305
26.02/26.46	o 2303
26.11/26.53	o 2300
26.11/26.58	o 2295
26.21/26.65	o 2293
26.31/26.70	o 2287
26.31/26.77	o 2283
26.41/26.84	o 2282
26.51/26.90	o 2278
26.51/26.96	o 2274
26.61/27.01	o 2273
26.61/27.06	o 2268
26.71/27.10	o 2264
26.71/27.15	o 2261
26.71/27.19	o 2259
26.81/27.23	o 2256
26.91/27.31	o 2254
27.02/27.42	o 2251
27.02/27.45	o 2248
27.02/27.50	o 2247
27.11/27.57	o 2241
27.21/27.66	o 2240
27.41/27.80	o 2237
27.51/27.90	o 2235
27.51/27.94	o 2233
27.51/27.98	o 2230
27.61/28.03	o 2228
27.61/28.07	o 2227
27.71/28.10	o 2223
27.71/28.14	o 2220
27.71/28.18	o 2217
27.80/28.24	o 2215
27.80/28.28	o 2213
27.90/28.37	o 2205
28.00/28.44	o 2200
28.10/28.56	o 2198
28.20/28.63	o 2196
28.29/28.71	o 2191
28.29/28.79	o 2186
28.39/28.86	o 2184
28.59/29.00	o 2183
28.59/29.06	o 2180
28.69/29.13	o 2178
28.79/29.25	o 2173
28.89/29.32	o 2169
28.89/29.38	o 2168
28.99/29.46	o 2166
29.09/29.52	o 2165
29.09/29.57	o 2161
29.19/29.67	o 2159
29.29/29.75	o 2156
29.38/29.81	o 2153
29.38/29.89	o 2152
29.58/30.04	o 2149
29.68/30.11	o 2147
29.68/30.17	o 2142
29.78/30.24	o 2141
29.88/30.31	o 2140
30.08/30.58	o 2139
30.18/30.67	o 2136
30.28/30.74	o 2135
30.38/30.83	o 2133
30.38/30.89	o 2132
30.47/30.99	o 2129
30.57/31.06	o 2127
30.67/31.16	o 2124
30.77/31.23	o 2122
30.87/31.30	o 2121
30.87/31.37	o 2116
31.08/31.52	o 2115
31.08/31.59	o 2112
31.18/31.65	o 2111
31.28/31.73	o 2110
31.37/31.82	o 2109
31.37/31.90	o 2105
31.47/31.98	o 2101
31.76/32.23	o 2096
31.76/32.30	o 2092
32.16/32.63	o 2085
32.16/32.70	o 2084
32.46/32.93	o 2081
32.56/33.01	o 2080
32.65/33.17	o 2078
32.95/33.41	o 2073
32.95/33.49	o 2068
33.05/33.57	o 2067
33.15/33.65	o 2062
33.25/33.73	o 2059
33.35/33.81	o 2054
33.45/33.97	o 2052
33.55/34.07	o 2051
33.64/34.15	o 2046
33.73/34.23	o 2044
33.83/34.39	o 2042
33.93/34.46	o 2041
34.03/34.54	o 2038
34.13/34.61	o 2034
34.13/34.67	o 2031
34.23/34.75	o 2030
34.33/34.88	o 2027
34.63/35.17	o 2024
34.72/35.25	o 2017
34.82/35.33	o 2014
34.92/35.47	o 2012
35.02/35.55	o 2011
35.12/35.61	o 2005
35.12/35.68	o 2000
35.22/35.76	o 1999
35.32/35.81	o 1998
35.32/35.88	o 1997
35.42/35.96	o 1996
35.52/36.02	o 1995
35.72/36.21	o 1994
35.72/36.28	o 1993
35.81/36.36	o 1992
35.91/36.43	o 1990
36.01/36.50	o 1986
36.01/36.57	o 1984
36.21/36.73	o 1983
36.31/36.81	o 1980
36.31/36.88	o 1976
36.42/36.95	o 1973
36.52/37.01	o 1968
36.52/37.08	o 1967
36.82/37.31	o 1964
36.82/37.38	o 1962
36.91/37.46	o 1960
37.11/37.68	o 1958
37.21/37.75	o 1955
37.31/37.81	o 1951
37.60/38.11	o 1950
37.60/38.18	o 1947
38.00/38.51	o 1946
38.00/38.59	o 1945
38.09/38.65	o 1943
38.29/38.86	o 1940
38.39/38.94	o 1937
38.49/39.08	o 1934
38.59/39.14	o 1931
38.59/39.19	o 1927
38.69/39.25	o 1926
38.79/39.31	o 1925
38.89/39.44	o 1920
38.99/39.52	o 1918
38.99/39.58	o 1912
39.08/39.63	o 1907
39.18/39.71	o 1905
39.18/39.79	o 1904
39.28/39.86	o 1901
39.38/39.94	o 1898
39.48/40.00	o 1896
39.48/40.07	o 1894
39.58/40.15	o 1890
39.67/40.23	o 1889
39.77/40.32	o 1886
39.77/40.39	o 1883
39.87/40.46	o 1882
39.98/40.53	o 1880
40.08/40.61	o 1879
40.08/40.70	o 1875
40.17/40.78	o 1871
40.37/40.95	o 1869
40.67/41.21	o 1867
40.77/41.31	o 1865
40.87/41.40	o 1863
40.97/41.58	o 1862
41.07/41.67	o 1861
41.17/41.77	o 1859
41.26/41.87	o 1858
41.66/42.23	o 1852
41.66/42.29	o 1847
41.86/42.46	o 1846
41.96/42.55	o 1842
42.06/42.63	o 1841
42.16/42.77	o 1837
42.25/42.84	o 1835
42.35/42.94	o 1832
42.44/43.02	o 1830
42.54/43.10	o 1826
43.04/43.68	o 1825
43.44/44.00	o 1821
43.53/44.18	o 1820
43.63/44.28	o 1818
43.73/44.39	o 1814
43.93/44.51	o 1812
44.52/45.15	o 1811
44.62/45.26	o 1810
44.92/45.50	o 1808
45.02/45.60	o 1806
45.02/45.65	o 1804
45.91/46.51	o 1801
46.01/46.63	o 1795
46.11/46.74	o 1793
46.21/46.83	o 1792
46.51/47.14	o 1790
46.61/47.24	o 1788
46.70/47.35	o 1786
46.80/47.46	o 1784
46.90/47.56	o 1783
47.10/47.78	o 1780
47.20/47.89	o 1777
47.30/47.99	o 1776
47.50/48.10	o 1775
47.60/48.20	o 1773
47.70/48.31	o 1772
47.80/48.42	o 1771
47.99/48.62	o 1768
48.09/48.71	o 1767
48.19/48.81	o 1764
48.39/49.01	o 1761
48.49/49.11	o 1758
48.59/49.21	o 1757
48.69/49.32	o 1755
48.98/49.64	o 1750
49.48/50.18	o 1749
49.58/50.29	o 1744
49.68/50.39	o 1742
49.88/50.51	o 1736
49.97/50.62	o 1735
50.07/50.73	o 1730
50.27/50.93	o 1726
50.66/51.33	o 1725
53.04/53.73	o 1723
53.14/53.86	o 1719
53.24/53.99	o 1717
53.63/54.38	o 1716
53.83/54.50	o 1715
53.93/54.63	o 1711
54.42/55.11	o 1710
54.52/55.23	o 1707
54.62/55.36	o 1703
54.72/55.48	o 1699
55.02/55.74	o 1696
55.12/55.87	o 1694
55.32/56.01	o 1693
55.81/56.52	o 1692
55.91/56.67	o 1689
56.11/56.80	o 1687
56.21/56.93	o 1684
56.50/57.23	o 1681
56.60/57.35	o 1680
56.70/57.41	o 1679
56.80/57.55	o 1675
56.90/57.69	o 1673
57.10/57.84	o 1671
57.20/57.98	o 1669
57.40/58.12	o 1667
57.79/58.57	o 1666
57.99/58.71	o 1665
58.19/58.99	o 1663
58.49/59.27	o 1662
58.68/59.41	o 1661
58.78/59.56	o 1659
58.98/59.71	o 1657
59.08/59.87	o 1656
59.38/60.17	o 1655
59.57/60.32	o 1654
59.67/60.47	o 1651
60.16/60.93	o 1648
60.46/61.24	o 1646
60.66/61.40	o 1645
60.76/61.56	o 1643
60.95/61.73	o 1640
61.06/61.87	o 1635
61.36/62.16	o 1632
61.66/62.45	o 1631
61.86/62.61	o 1623
62.25/63.04	o 1621
62.55/63.31	o 1618
62.65/63.44	o 1611
62.75/63.57	o 1610
62.95/63.71	o 1607
63.05/63.84	o 1606
63.24/64.01	o 1603
63.24/64.07	o 1602
63.44/64.20	o 1595
63.54/64.37	o 1592
63.84/64.65	o 1590
63.94/64.79	o 1586
64.04/64.85	o 1584
64.23/65.01	o 1583
65.13/65.92	o 1582
65.62/66.41	o 1581
65.72/66.54	o 1574
65.82/66.62	o 1569
66.02/66.87	o 1568
66.22/67.01	o 1567
66.31/67.15	o 1565
66.61/67.41	o 1562
66.71/67.53	o 1561
66.81/67.66	o 1560
67.11/67.92	o 1559
67.31/68.17	o 1558
67.90/68.75	o 1556
68.09/68.99	o 1554
68.29/69.11	o 1549
68.39/69.24	o 1541
68.78/69.61	o 1538
69.48/70.34	o 1535
70.27/71.10	o 1534
70.76/71.63	o 1532
70.86/71.75	o 1529
70.96/71.89	o 1528
71.36/72.27	o 1527
71.46/72.39	o 1523
71.66/72.52	o 1520
71.75/72.64	o 1518
71.85/72.75	o 1517
72.65/73.51	o 1514
74.23/75.19	o 1513
74.73/75.61	o 1509
74.83/75.75	o 1506
75.32/76.30	o 1504
75.52/76.45	o 1501
75.62/76.58	o 1499
76.21/77.17	o 1498
76.71/77.61	o 1495
77.01/77.90	o 1493
77.11/78.07	o 1490
77.30/78.22	o 1484
77.40/78.36	o 1482
77.60/78.52	o 1481
77.70/78.66	o 1477
78.99/79.93	o 1476
79.29/80.25	o 1473
79.48/80.42	o 1471
79.58/80.58	o 1468
80.28/81.23	o 1462
80.57/81.56	o 1458
80.77/81.72	o 1457
81.07/82.03	o 1454
83.55/84.56	o 1451
83.74/84.73	o 1449
83.84/84.89	o 1448
84.04/85.06	o 1447
84.24/85.22	o 1443
84.53/85.56	o 1440
84.73/85.73	o 1436
85.02/86.06	o 1434
85.52/86.56	o 1433
85.72/86.73	o 1432
86.91/88.00	o 1431
87.10/88.17	o 1428
87.30/88.35	o 1427
87.50/88.51	o 1426
87.60/88.70	o 1423
87.80/88.85	o 1421
88.00/89.01	o 1418
88.39/89.49	o 1416
88.59/89.65	o 1414
89.18/90.25	o 1413
89.49/90.55	o 1412
89.59/90.69	o 1409
89.89/90.99	o 1408
90.38/91.44	o 1406
90.48/91.59	o 1403
90.97/92.08	o 1400
91.07/92.12	o 1398
91.17/92.29	o 1393
91.37/92.47	o 1390
91.85/92.98	o 1387
92.53/93.66	o 1384
93.03/94.15	o 1383
93.53/94.62	o 1382
94.22/95.36	o 1380
94.62/95.71	o 1378
94.91/96.02	o 1377
95.21/96.36	o 1376
95.41/96.52	o 1372
95.61/96.70	o 1371
95.71/96.87	o 1369
95.90/97.03	o 1367
96.10/97.20	o 1362
96.30/97.45	o 1355
96.80/97.96	o 1353
96.99/98.12	o 1352
97.09/98.27	o 1348
97.59/98.75	o 1346
98.08/99.25	o 1345
98.28/99.40	o 1342
98.78/99.92	o 1341
98.88/100.10	o 1340
99.57/100.76	o 1339
99.77/100.93	o 1337
100.86/102.02	o 1335
103.14/104.33	o 1333
103.43/104.68	o 1330
104.13/105.31	o 1328
104.23/105.48	o 1327
104.42/105.65	o 1326
104.61/105.82	o 1325
105.21/106.47	o 1323
105.60/106.81	o 1321
105.70/106.97	o 1320
105.90/107.14	o 1316
106.79/108.01	o 1314
106.89/108.19	o 1313
107.09/108.37	o 1311
107.29/108.50	o 1306
108.08/109.37	o 1305
108.58/109.87	o 1304
108.97/110.21	o 1303
109.07/110.37	o 1302
109.47/110.72	o 1298
110.16/111.40	o 1295
110.26/111.58	o 1294
110.46/111.74	o 1293
110.67/111.92	o 1292
110.77/112.08	o 1288
110.96/112.26	o 1286
111.16/112.42	o 1285
111.26/112.59	o 1283
111.96/113.29	o 1281
112.15/113.47	o 1279
112.35/113.65	o 1277
115.71/117.09	o 1276
116.01/117.39	o 1275
119.58/120.93	o 1273
119.77/121.16	o 1270
120.67/122.08	o 1268
121.16/122.53	o 1265
121.56/122.98	o 1264
121.85/123.23	o 1261
122.05/123.49	o 1258
122.35/123.71	o 1257
122.55/123.93	o 1255
122.65/124.00	o 1253
124.13/125.58	o 1252
124.33/125.79	o 1248
124.63/126.03	o 1244
124.83/126.23	o 1243
125.03/126.47	o 1241
125.41/126.86	o 1240
125.61/127.07	o 1238
126.01/127.44	o 1233
126.21/127.66	o 1230
126.40/127.87	o 1228
127.80/129.24	o 1227
128.10/129.59	o 1225
128.40/129.83	o 1224
128.59/130.05	o 1222
128.79/130.28	o 1220
129.49/130.97	o 1219
129.78/131.20	o 1218
130.38/131.88	o 1216
134.04/135.59	o 1213
134.64/136.18	o 1210
134.84/136.35	o 1206
135.03/136.53	o 1204
135.23/136.74	o 1202
135.62/137.18	o 1201
135.92/137.40	o 1197
136.11/137.63	o 1192
136.51/138.07	o 1189
137.70/139.22	o 1188
138.39/139.94	o 1186
138.79/140.39	o 1181
139.29/140.85	o 1179
139.68/141.28	o 1177
139.88/141.46	o 1175
140.08/141.66	o 1174
140.28/141.88	o 1170
140.57/142.11	o 1169
140.97/142.55	o 1165
141.17/142.77	o 1164
141.37/142.98	o 1160
142.65/144.22	o 1158
142.85/144.44	o 1156
143.94/145.53	o 1155
144.14/145.77	o 1153
144.83/146.40	o 1152
145.03/146.62	o 1151
145.23/146.84	o 1149
145.43/147.07	o 1147
145.73/147.30	o 1146
147.00/148.61	o 1145
147.20/148.81	o 1143
147.40/149.04	o 1142
148.00/149.64	o 1139
148.19/149.85	o 1136
149.48/151.11	o 1135
149.88/151.55	o 1134
150.08/151.77	o 1132
153.16/154.84	o 1131
153.65/155.40	o 1130
153.95/155.61	o 1128
153.95/155.69	o 1126
154.05/155.78	o 1124
154.25/155.94	o 1123
154.45/156.13	o 1122
154.84/156.54	o 1120
155.33/157.01	o 1119
155.53/157.21	o 1116
155.72/157.41	o 1115
155.92/157.60	o 1113
156.02/157.78	o 1112
157.52/159.28	o 1111
158.10/159.80	o 1109
158.20/159.98	o 1107
158.99/160.74	o 1105
159.19/160.93	o 1102
159.39/161.10	o 1099
160.28/162.00	o 1095
160.28/162.10	o 1092
160.48/162.26	o 1090
161.07/162.87	o 1089
161.47/163.23	o 1088
162.16/163.97	o 1087
162.36/164.16	o 1086
164.54/166.33	o 1083
165.73/167.56	o 1081
165.93/167.77	o 1080
166.13/167.98	o 1079
166.43/168.20	o 1077
166.62/168.42	o 1074
169.29/171.18	o 1072
169.49/171.37	o 1071
172.06/173.99	o 1069
175.23/177.18	o 1067
175.53/177.41	o 1065
175.73/177.64	o 1061
175.93/177.88	o 1056
177.61/179.51	o 1053
178.21/180.16	o 1052
178.50/180.41	o 1050
178.69/180.65	o 1049
179.39/181.39	o 1048
179.68/181.63	o 1047
179.88/181.89	o 1046
180.08/182.08	o 1042
180.18/182.19	o 1040
181.48/183.44	o 1039
182.17/184.17	o 1038
182.27/184.25	o 1035
182.47/184.44	o 1033
184.65/186.62	o 1031
184.85/186.90	o 1030
185.74/187.71	o 1028
186.13/188.14	o 1024
186.33/188.40	o 1023
186.63/188.65	o 1022
186.83/188.81	o 1021
187.03/189.06	o 1020
187.32/189.33	o 1018
187.82/189.84	o 1011
188.02/190.00	o 1009
188.22/190.27	o 1006
188.91/190.90	o 1004
189.10/191.15	o 1002
189.89/191.95	o 999
190.09/192.14	o 998
190.59/192.67	o 997
191.18/193.20	o 996
191.38/193.46	o 995
193.46/195.54	o 994
194.25/196.35	o 993
196.63/198.75	o 989
200.29/202.47	o 987
200.59/202.72	o 985
201.09/203.25	o 983
201.58/203.77	o 982
202.38/204.51	o 974
202.57/204.76	o 973
202.77/204.93	o 972
203.47/205.66	o 971
203.96/206.15	o 969
206.04/208.22	o 968
207.13/209.36	o 967
208.02/210.25	o 966
208.12/210.30	o 963
211.79/214.04	o 962
212.87/215.17	o 960
213.07/215.38	o 956
213.27/215.56	o 954
213.37/215.65	o 952
213.56/215.86	o 951
213.76/216.07	o 950
213.96/216.28	o 946
215.45/217.76	o 944
216.34/218.61	o 942
216.44/218.77	o 940
216.73/219.00	o 937
216.93/219.22	o 935
217.13/219.46	o 931
218.02/220.39	o 929
218.32/220.63	o 928
218.52/220.86	o 926
218.82/221.12	o 925
219.01/221.37	o 924
221.20/223.56	o 923
221.50/223.80	o 921
221.90/224.28	o 920
222.19/224.52	o 919
222.69/225.03	o 918
222.89/225.20	o 917
223.78/226.19	o 916
224.57/226.93	o 915
224.77/227.17	o 914
225.07/227.42	o 913
225.27/227.68	o 912
227.83/230.24	o 909
228.72/231.17	o 907
230.01/232.45	o 906
230.31/232.72	o 905
231.50/233.93	o 903
231.80/234.21	o 902
231.99/234.42	o 901
232.39/234.89	o 900
234.67/237.19	o 899
234.87/237.40	o 893
235.66/238.16	o 889
235.96/238.42	o 888
236.45/238.96	o 886
236.85/239.32	o 883
237.34/239.84	o 882
237.53/240.09	o 880
237.83/240.34	o 879
238.13/240.60	o 878
242.19/244.79	o 875
243.48/246.07	o 873
243.58/246.12	o 868
243.78/246.37	o 865
243.97/246.57	o 861
244.47/247.05	o 859
244.67/247.29	o 856
245.26/247.81	o 855
245.46/248.06	o 854
245.76/248.32	o 853
245.96/248.59	o 852
246.25/248.86	o 851
246.55/249.12	o 850
246.75/249.38	o 848
248.43/251.06	o 847
253.29/255.97	o 846
253.59/256.25	o 843
253.78/256.49	o 840
253.98/256.67	o 837
254.58/257.21	o 836
263.40/266.13	o 833
264.28/267.00	o 832
264.58/267.31	o 831
270.52/273.35	o 828
270.82/273.63	o 826
271.12/273.94	o 822
272.01/274.83	o 820
272.30/275.12	o 819
277.17/280.07	o 818
278.46/281.36	o 817
278.75/281.67	o 813
281.22/284.13	o 812
282.11/285.09	o 811
282.51/285.40	o 809
284.69/287.63	o 807
287.27/290.26	o 805
288.16/291.19	o 804
288.56/291.53	o 802
289.05/292.05	o 801
289.55/292.55	o 796
289.84/292.80	o 793
290.34/293.36	o 792
290.64/293.66	o 791
291.92/294.91	o 790
292.22/295.21	o 787
292.72/295.73	o 784
293.01/296.04	o 783
293.61/296.65	o 780
293.91/296.94	o 778
294.10/297.16	o 776
295.00/298.01	o 775
295.29/298.33	o 774
297.08/300.11	o 773
297.27/300.39	o 771
297.87/300.98	o 768
298.17/301.28	o 766
300.94/304.00	o 764
301.24/304.33	o 762
301.54/304.64	o 761
301.83/304.96	o 760
302.13/305.27	o 758
302.43/305.58	o 757
303.11/306.21	o 756
304.00/307.14	o 754
315.99/319.26	o 752
316.29/319.54	o 751
316.59/319.83	o 749
316.88/320.14	o 748
317.18/320.46	o 746
317.78/321.05	o 744
324.21/327.52	o 743
333.53/336.98	o 742
333.83/337.28	o 740
334.82/338.26	o 739
335.12/338.58	o 737
340.67/344.19	o 736
341.06/344.52	o 735
341.66/345.18	o 734
342.95/346.48	o 733
347.89/351.40	o 732
348.68/352.26	o 730
349.38/352.91	o 729
349.97/353.60	o 728
350.37/353.91	o 725
350.96/354.57	o 724
351.26/354.88	o 722
351.75/355.37	o 720
352.75/356.34	o 716
352.94/356.51	o 715
353.54/357.17	o 713
353.84/357.47	o 711
354.13/357.80	o 710
354.53/358.19	o 709
355.12/358.77	o 708
355.42/359.02	o 707
358.38/362.02	o 706
358.68/362.35	o 705
358.98/362.67	o 704
359.28/363.00	o 703
359.67/363.33	o 702
359.97/363.65	o 701
360.66/364.32	o 699
363.44/367.13	o 697
371.17/374.97	o 696
372.16/375.96	o 695
372.45/376.30	o 694
372.75/376.55	o 692
373.05/376.85	o 690
373.35/377.18	o 685
373.54/377.34	o 683
373.84/377.66	o 681
374.14/377.96	o 679
374.84/378.61	o 678
375.14/378.94	o 675
376.02/379.87	o 674
376.32/380.17	o 673
376.72/380.51	o 671
379.19/383.06	o 668
380.38/384.25	o 667
380.58/384.48	o 664
380.78/384.66	o 661
382.07/385.93	o 659
382.76/386.62	o 657
382.96/386.80	o 654
387.81/391.79	o 651
388.01/391.90	o 649
388.31/392.20	o 648
388.99/392.95	o 645
389.29/393.26	o 644
390.58/394.54	o 643
390.88/394.85	o 641
391.77/395.75	o 639
392.07/396.06	o 638
392.36/396.39	o 637
393.06/397.02	o 635
395.34/399.34	o 633
398.31/402.30	o 632
398.60/402.61	o 630
400.39/404.41	o 628
403.86/407.91	o 626
404.15/408.22	o 623
404.45/408.53	o 622
404.75/408.85	o 621
405.05/409.18	o 619
405.45/409.51	o 617
407.83/411.93	o 615
408.12/412.23	o 613
408.42/412.54	o 612
408.61/412.76	o 611
419.51/423.75	o 610
420.11/424.35	o 609
421.00/425.23	o 606
421.30/425.55	o 605
422.09/426.30	o 603
422.19/426.44	o 600
422.98/427.27	o 599
423.18/427.46	o 598
423.76/428.05	o 597
424.06/428.34	o 596
424.85/429.19	o 593
425.75/430.05	o 591
427.33/431.62	o 590
427.63/431.91	o 587
428.22/432.58	o 586
428.82/433.17	o 584
436.84/441.25	o 583
437.14/441.56	o 582
437.74/442.14	o 581
440.31/444.73	o 579
440.71/445.19	o 578
441.79/446.29	o 577
442.09/446.58	o 576
442.68/447.17	o 574
443.28/447.75	o 573
448.03/452.52	o 566
448.33/452.81	o 565
448.92/453.41	o 564
449.22/453.70	o 563
450.42/454.92	o 562
456.46/461.04	o 559
456.76/461.38	o 558
457.16/461.71	o 557
458.05/462.68	o 555
458.34/462.97	o 554
466.46/471.16	o 552
466.86/471.50	o 551
467.35/472.02	o 549
467.65/472.36	o 546
468.05/472.71	o 545
475.47/480.26	o 544
476.26/481.02	o 543
476.56/481.39	o 541
481.12/485.96	o 540
481.91/486.74	o 539
482.70/487.52	o 538
483.50/488.32	o 537
491.73/496.69	o 536
492.13/497.02	o 535
494.50/499.42	o 533
495.29/500.20	o 531
495.69/500.62	o 530
498.76/503.73	o 529
499.05/504.08	o 528
500.14/505.13	o 527
500.44/505.44	o 526
500.84/505.82	o 523
501.23/506.21	o 521
501.43/506.42	o 519
501.63/506.68	o 518
502.03/507.06	o 517
503.41/508.46	o 514
504.11/509.10	o 513
504.50/509.50	o 512
505.39/510.49	o 510
506.19/511.23	o 509
506.58/511.61	o 508
507.08/512.13	o 507
507.48/512.51	o 505
508.86/513.96	o 504
509.26/514.33	o 500
509.45/514.51	o 498
510.14/515.25	o 497
510.74/515.81	o 495
511.03/516.19	o 494
511.43/516.56	o 493
512.12/517.28	o 492
514.30/519.40	o 489
515.10/520.28	o 487
516.58/521.71	o 483
516.88/522.02	o 482
517.08/522.29	o 480
520.55/525.76	o 479
520.95/526.13	o 476
521.35/526.50	o 475
521.55/526.74	o 473
526.30/531.53	o 472
526.60/531.88	o 471
526.99/532.24	o 470
527.28/532.55	o 469
537.19/542.58	o 467
567.41/573.01	   
567.41/573.01	   search
567.41/573.01	     run=0  nbConstraintChecks=1259164321  nbAssignments=2704
567.41/573.01	       =>  wckTime=559.14  cpuTime=553.75  mem=39M322
567.41/573.01	   
567.41/573.01	   global
567.41/573.01	     nbConstraintChecks=1259164321  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
567.41/573.01	     solvingWckTime=559.133  solvingCpuTime=553.74  expiredTime=no  totalExploration=no  nbFoundSolutions=0
567.41/573.01	     globalCpuTime=566.25
567.41/573.01	       =>  wckTime=572.667  cpuTime=566.21  mem=39M322
567.41/573.01	   
567.41/573.01	   solver DecomposerSolver being built... 
572.95/578.67	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-1112858-1215874768/watcher-1112858-1215874768 -o /tmp/evaluation-result-1112858-1215874768/solver-1112858-1215874768 -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-1112858-1215874768.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.03 3.17 3.14 4/80 19529
/proc/meminfo: memFree=1852056/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=18572 CPUtime=0
/proc/19529/stat : 19529 (runsolver) R 19527 19529 19260 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44174735 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 237947645223 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19529/statm: 4643 292 257 25 0 2626 0

[startup+0.071718 s]
/proc/loadavg: 3.03 3.17 3.14 4/80 19529
/proc/meminfo: memFree=1852056/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=861876 CPUtime=0.03
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 2299 0 1 0 2 1 0 0 18 0 5 0 44174735 882561024 1900 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 215469 1900 871 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.102722 s]
/proc/loadavg: 3.03 3.17 3.14 4/80 19529
/proc/meminfo: memFree=1852056/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=864076 CPUtime=0.05
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 2807 0 1 0 3 2 0 0 18 0 9 0 44174735 884813824 2345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216019 2345 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076

[startup+0.301929 s]
/proc/loadavg: 3.03 3.17 3.14 4/80 19529
/proc/meminfo: memFree=1852056/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=866016 CPUtime=0.2
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 4832 0 1 0 16 4 0 0 18 0 9 0 44174735 886800384 4260 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216504 4260 1863 9 0 211052 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 866016

[startup+0.701959 s]
/proc/loadavg: 3.03 3.17 3.14 4/80 19529
/proc/meminfo: memFree=1852056/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867140 CPUtime=0.59
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 9504 0 1 0 52 7 0 0 18 0 9 0 44174735 887951360 8866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216785 8866 1998 9 0 211291 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 867140

[startup+1.50102 s]
/proc/loadavg: 2.95 3.15 3.14 4/89 19538
/proc/meminfo: memFree=1811536/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867660 CPUtime=1.38
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 19959 0 1 0 126 12 0 0 18 0 9 0 44174735 888483840 19295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216915 19295 2004 9 0 211443 0
[pid=19529/tid=19531] ppid=19527 vsize=867660 CPUtime=1.11
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15770 0 1 0 101 10 0 0 19 0 9 0 44174739 888483840 19295 996147200 134512640 134550740 4294955952 18446744073709551615 4126522869 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867660 CPUtime=0.08
/proc/19529/task/19532/stat : 19532 (java) S 19527 19529 19260 0 -1 64 2854 0 0 0 7 1 0 0 17 0 9 0 44174741 888483840 19295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888483840 19295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44174741 888483840 19295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888483840 19295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867660 CPUtime=0.16
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 638 0 0 0 16 0 0 0 16 0 9 0 44174743 888483840 19295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888483840 19295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888483840 19295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 867660

[startup+3.10115 s]
/proc/loadavg: 2.95 3.15 3.14 3/89 19538
/proc/meminfo: memFree=1782224/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867660 CPUtime=2.97
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 20012 0 1 0 284 13 0 0 18 0 9 0 44174735 888483840 19345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216915 19345 2006 9 0 211443 0
[pid=19529/tid=19531] ppid=19527 vsize=867660 CPUtime=2.67
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15803 0 1 0 257 10 0 0 25 0 9 0 44174739 888483840 19345 996147200 134512640 134550740 4294955952 18446744073709551615 4126903511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867660 CPUtime=0.08
/proc/19529/task/19532/stat : 19532 (java) S 19527 19529 19260 0 -1 64 2854 0 0 0 7 1 0 0 17 0 9 0 44174741 888483840 19345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888483840 19345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44174741 888483840 19345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888483840 19345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867660 CPUtime=0.18
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 658 0 0 0 18 0 0 0 15 0 9 0 44174743 888483840 19345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888483840 19345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888483840 19345 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 867660

[startup+6.3024 s]
/proc/loadavg: 2.95 3.15 3.14 4/89 19538
/proc/meminfo: memFree=1781904/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867660 CPUtime=6.14
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 20036 0 1 0 601 13 0 0 18 0 9 0 44174735 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216915 19365 2006 9 0 211443 0
[pid=19529/tid=19531] ppid=19527 vsize=867660 CPUtime=5.83
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15807 0 1 0 572 11 0 0 17 0 9 0 44174739 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4126903447 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867660 CPUtime=0.08
/proc/19529/task/19532/stat : 19532 (java) S 19527 19529 19260 0 -1 64 2854 0 0 0 7 1 0 0 16 0 9 0 44174741 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44174741 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867660 CPUtime=0.21
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 678 0 0 0 21 0 0 0 16 0 9 0 44174743 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 867660

[startup+12.7029 s]
/proc/loadavg: 2.95 3.14 3.13 3/89 19538
/proc/meminfo: memFree=1767824/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867660 CPUtime=12.48
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 24991 0 1 0 1231 17 0 0 18 0 9 0 44174735 888483840 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216915 24316 2007 9 0 211443 0
[pid=19529/tid=19531] ppid=19527 vsize=867660 CPUtime=11.9
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15815 0 1 0 1178 12 0 0 25 0 9 0 44174739 888483840 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4126879521 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867660 CPUtime=0.28
/proc/19529/task/19532/stat : 19532 (java) S 19527 19529 19260 0 -1 64 7775 0 0 0 26 2 0 0 17 0 9 0 44174741 888483840 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888483840 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44174741 888483840 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888483840 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867660 CPUtime=0.26
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 704 0 0 0 25 1 0 0 15 0 9 0 44174743 888483840 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888483840 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867660 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888483840 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 867660

[startup+25.5019 s]
/proc/loadavg: 2.95 3.14 3.13 4/89 19538
/proc/meminfo: memFree=1747664/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867716 CPUtime=25.13
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 29365 0 1 0 2492 21 0 0 18 0 9 0 44174735 888541184 28496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216929 28496 2640 9 0 211435 0
[pid=19529/tid=19531] ppid=19527 vsize=867716 CPUtime=24.13
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15879 0 1 0 2398 15 0 0 25 0 9 0 44174739 888541184 28496 996147200 134512640 134550740 4294955952 18446744073709551615 4126457635 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867716 CPUtime=0.65
/proc/19529/task/19532/stat : 19532 (java) S 19527 19529 19260 0 -1 64 12059 0 0 0 62 3 0 0 16 0 9 0 44174741 888541184 28496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888541184 28496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44174741 888541184 28496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888541184 28496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867716 CPUtime=0.31
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 730 0 0 0 30 1 0 0 16 0 9 0 44174743 888541184 28496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888541184 28496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888541184 28496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 867716

[startup+51.102 s]
/proc/loadavg: 2.82 3.09 3.12 4/89 19538
/proc/meminfo: memFree=1747664/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867716 CPUtime=50.46
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 29367 0 1 0 5020 26 0 0 18 0 9 0 44174735 888541184 28497 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216929 28497 2640 9 0 211435 0
[pid=19529/tid=19531] ppid=19527 vsize=867716 CPUtime=49.46
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15880 0 1 0 4926 20 0 0 25 0 9 0 44174739 888541184 28497 996147200 134512640 134550740 4294955952 18446744073709551615 4126875762 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867716 CPUtime=0.65
/proc/19529/task/19532/stat : 19532 (java) S 19527 19529 19260 0 -1 64 12059 0 0 0 62 3 0 0 16 0 9 0 44174741 888541184 28497 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888541184 28497 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44174741 888541184 28497 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888541184 28497 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867716 CPUtime=0.31
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 731 0 0 0 30 1 0 0 15 0 9 0 44174743 888541184 28497 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867716 CPUtime=0

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

/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44174741 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867716 CPUtime=0.33
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 743 0 0 0 32 1 0 0 17 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 557.6
Current children cumulated vsize (KiB) 867716

[startup+569.503 s]
/proc/loadavg: 2.73 2.72 2.90 4/89 19544
/proc/meminfo: memFree=1746640/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867716 CPUtime=563.94
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 29381 0 1 0 56351 43 0 0 18 0 9 0 44174735 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216929 28508 2640 9 0 211435 0
[pid=19529/tid=19531] ppid=19527 vsize=867716 CPUtime=562.92
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15882 0 1 0 56255 37 0 0 25 0 9 0 44174739 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4127050848 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867716 CPUtime=0.65
/proc/19529/task/19532/stat : 19532 (java) S 19527 19529 19260 0 -1 64 12059 0 0 0 62 3 0 0 16 0 9 0 44174741 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44174741 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867716 CPUtime=0.33
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 743 0 0 0 32 1 0 0 17 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.94
Current children cumulated vsize (KiB) 867716

[startup+572.703 s]
/proc/loadavg: 2.75 2.73 2.90 4/89 19544
/proc/meminfo: memFree=1746640/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867716 CPUtime=567.11
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 29381 0 1 0 56667 44 0 0 18 0 9 0 44174735 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216929 28508 2640 9 0 211435 0
[pid=19529/tid=19531] ppid=19527 vsize=867716 CPUtime=566.09
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15882 0 1 0 56571 38 0 0 25 0 9 0 44174739 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4126880055 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867716 CPUtime=0.65
/proc/19529/task/19532/stat : 19532 (java) S 19527 19529 19260 0 -1 64 12059 0 0 0 62 3 0 0 16 0 9 0 44174741 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44174741 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867716 CPUtime=0.33
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 743 0 0 0 32 1 0 0 17 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867716 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888541184 28508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 567.11
Current children cumulated vsize (KiB) 867716

[startup+575.902 s]
/proc/loadavg: 2.75 2.73 2.90 4/89 19544
/proc/meminfo: memFree=1113872/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867628 CPUtime=570.27
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 200424 0 1 0 56922 105 0 0 18 0 9 0 44174735 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216907 199469 2618 9 0 211435 0
[pid=19529/tid=19531] ppid=19527 vsize=867628 CPUtime=567.12
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15972 0 1 0 56674 38 0 0 25 0 9 0 44174739 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867628 CPUtime=2.74
/proc/19529/task/19532/stat : 19532 (java) R 19527 19529 19260 0 -1 64 182972 0 0 0 210 64 0 0 16 0 9 0 44174741 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 102469617 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44174741 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867628 CPUtime=0.37
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 765 0 0 0 36 1 0 0 15 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 570.27
Current children cumulated vsize (KiB) 867628

[startup+577.506 s]
/proc/loadavg: 2.85 2.75 2.90 5/89 19544
/proc/meminfo: memFree=1061328/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867628 CPUtime=571.86
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 200426 0 1 0 57081 105 0 0 18 0 9 0 44174735 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216907 199469 2618 9 0 211435 0
[pid=19529/tid=19531] ppid=19527 vsize=867628 CPUtime=567.13
/proc/19529/task/19531/stat : 19531 (java) R 19527 19529 19260 0 -1 64 15974 0 1 0 56675 38 0 0 24 0 9 0 44174739 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867628 CPUtime=4.32
/proc/19529/task/19532/stat : 19532 (java) R 19527 19529 19260 0 -1 64 182972 0 0 0 368 64 0 0 18 0 9 0 44174741 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44174741 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867628 CPUtime=0.37
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 765 0 0 0 36 1 0 0 15 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 571.86
Current children cumulated vsize (KiB) 867628

[startup+578.302 s]
/proc/loadavg: 2.85 2.75 2.90 5/89 19544
/proc/meminfo: memFree=1061328/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867628 CPUtime=572.65
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 200426 0 1 0 57160 105 0 0 18 0 9 0 44174735 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216907 199469 2618 9 0 211435 0
[pid=19529/tid=19531] ppid=19527 vsize=867628 CPUtime=567.13
/proc/19529/task/19531/stat : 19531 (java) S 19527 19529 19260 0 -1 64 15974 0 1 0 56675 38 0 0 24 0 9 0 44174739 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867628 CPUtime=5.12
/proc/19529/task/19532/stat : 19532 (java) R 19527 19529 19260 0 -1 64 182972 0 0 0 448 64 0 0 19 0 9 0 44174741 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44174741 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867628 CPUtime=0.37
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 765 0 0 0 36 1 0 0 15 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 572.65
Current children cumulated vsize (KiB) 867628

[startup+578.702 s]
/proc/loadavg: 2.85 2.75 2.90 3/89 19544
/proc/meminfo: memFree=1061328/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=867628 CPUtime=573.02
/proc/19529/stat : 19529 (java) S 19527 19529 19260 0 -1 0 200429 0 1 0 57197 105 0 0 18 0 9 0 44174735 888451072 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 216907 199470 2618 9 0 211435 0
[pid=19529/tid=19531] ppid=19527 vsize=867628 CPUtime=567.13
/proc/19529/task/19531/stat : 19531 (java) S 19527 19529 19260 0 -1 64 15977 0 1 0 56675 38 0 0 23 0 9 0 44174739 888451072 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19532] ppid=19527 vsize=867628 CPUtime=5.48
/proc/19529/task/19532/stat : 19532 (java) S 19527 19529 19260 0 -1 64 182972 0 0 0 484 64 0 0 19 0 9 0 44174741 888451072 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19533] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19533/stat : 19533 (java) S 19527 19529 19260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44174741 888451072 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19534] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19534/stat : 19534 (java) S 19527 19529 19260 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44174741 888451072 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19535] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19535/stat : 19535 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44174743 888451072 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19536] ppid=19527 vsize=867628 CPUtime=0.37
/proc/19529/task/19536/stat : 19536 (java) S 19527 19529 19260 0 -1 64 765 0 0 0 36 1 0 0 15 0 9 0 44174743 888451072 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19529/tid=19537] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19537/stat : 19537 (java) S 19527 19529 19260 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44174743 888451072 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19529/tid=19538] ppid=19527 vsize=867628 CPUtime=0
/proc/19529/task/19538/stat : 19538 (java) S 19527 19529 19260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44174743 888451072 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 573.02
Current children cumulated vsize (KiB) 867628

[startup+578.802 s]
/proc/loadavg: 2.85 2.75 2.90 3/89 19544
/proc/meminfo: memFree=1061328/2055920 swapFree=4180240/4192956
[pid=19529] ppid=19527 vsize=0 CPUtime=573.1
/proc/19529/stat : 19529 (java) Z 19527 19529 19260 0 -1 12 200434 0 1 0 57197 113 0 0 16 0 2 0 44174735 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19529/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 573.1
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 578.837
CPU time (s): 573.146
CPU user time (s): 571.973
CPU system time (s): 1.17282
CPU usage (%): 99.0168
Max. virtual memory (cumulated for all children) (KiB): 867748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 571.973
system time used= 1.17282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200434
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= 13710
involuntary context switches= 28427

runsolver used 0.561914 second user time and 2.18667 second system time

The end

Launcher Data (download as text)

Begin job on node69 at 2008-07-12 16:59:28
IDJOB=1112858
IDBENCH=61486
IDSOLVER=360
FILE ID=node69/1112858-1215874768
PBS_JOBID= 7903540
Free space on /tmp= 66476 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp11/normalized-fapp11-1000-1.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-1112858-1215874768/watcher-1112858-1215874768 -o /tmp/evaluation-result-1112858-1215874768/solver-1112858-1215874768 -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-1112858-1215874768.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= bcc19e6f7720c8259d2ed7a295277868
RANDOM SEED=930074596

node69.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.233
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.233
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:       1852536 kB
Buffers:         11128 kB
Cached:          46384 kB
SwapCached:       6476 kB
Active:         125884 kB
Inactive:        15960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852536 kB
SwapTotal:     4192956 kB
SwapFree:      4180240 kB
Dirty:            4080 kB
Writeback:           0 kB
Mapped:         100600 kB
Slab:            46536 kB
Committed_AS:  1038792 kB
PageTables:       2104 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= 66472 MiB
End job on node69 at 2008-07-12 17:09:07