Trace number 1112857

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? 542.742 545.86

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.02/0.17	
0.02/0.17	Abscon 112 (May, 2008)
0.25/0.41	
0.25/0.41	   configuration
0.25/0.41	     name=mrdac-wdeg.xml
0.25/0.49	   
0.25/0.49	   instance
0.25/0.49	     name=HOME/instance-1112857-1215874743.xml
0.31/0.53	   
0.31/0.54	   domains being loaded...
0.31/0.58	   
0.31/0.58	   variables being loaded...
0.51/0.74	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362  nbTotalValues=294634
0.51/0.74	       =>  wckTime=0.327  cpuTime=0.21  mem=16M662
0.51/0.74	   
0.51/0.74	   predicates being loaded...
0.61/0.81	   
0.61/0.81	   constraints being loaded...
10.46/10.79	   
10.46/10.79	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 53M377)
13.14/13.45	     nbConstraints=15032  nbConvertedConstraints=363  nbConvertConstraintsChecks=37343438  nbExtensionStructures=329
13.14/13.45	     nbSharedExtensionStructures=108  nbConflictsStructures=893  nbSharedConflictsStructures=234
13.14/13.45	     nbUnbuiltConflictsStructures=5900  nbSharedBinaryRepresentations=184502  nbEvaluationManagers=6464
13.14/13.45	     nbSharedEvaluationManagers=8205  minDegree=7  maxDegree=51  minArity=2  maxArity=2
13.14/13.45	       =>  wckTime=13.035  cpuTime=12.28  mem=46M360
13.44/13.71	   
13.44/13.71	   solver LocalSearchSolver being built... 
13.44/13.76	       =>  wckTime=13.345  cpuTime=12.32  mem=39M241
13.54/13.85	
13.54/13.85	s SATISFIABLE
13.54/13.85	o 3292
13.64/13.92	o 3283
13.64/13.98	o 3273
13.74/14.01	o 3267
13.74/14.03	o 3261
13.74/14.07	o 3256
13.74/14.09	o 3251
13.84/14.12	o 3248
13.84/14.15	o 3239
13.84/14.20	o 3231
13.94/14.22	o 3223
13.94/14.24	o 3216
13.94/14.27	o 3209
13.94/14.29	o 3205
14.03/14.32	o 3203
14.03/14.35	o 3194
14.03/14.38	o 3187
14.13/14.43	o 3181
14.13/14.45	o 3175
14.13/14.49	o 3170
14.23/14.51	o 3165
14.23/14.54	o 3161
14.23/14.56	o 3157
14.23/14.59	o 3154
14.33/14.62	o 3151
14.33/14.63	o 3148
14.33/14.66	o 3145
14.33/14.69	o 3140
14.43/14.72	o 3129
14.43/14.73	o 3121
14.43/14.75	o 3117
14.43/14.78	o 3114
14.53/14.80	o 3111
14.53/14.81	o 3106
14.53/14.83	o 3103
14.53/14.86	o 3096
14.53/14.89	o 3089
14.63/14.92	o 3084
14.63/14.97	o 3079
14.73/15.00	o 3074
14.73/15.04	o 3070
14.73/15.07	o 3066
14.83/15.11	o 3063
14.83/15.14	o 3060
14.83/15.16	o 3057
14.83/15.18	o 3055
14.93/15.20	o 3053
14.93/15.22	o 3052
14.93/15.27	o 3048
14.93/15.29	o 3042
15.03/15.33	o 3039
15.13/15.41	o 3031
15.13/15.42	o 3027
15.13/15.46	o 3019
15.22/15.50	o 3012
15.22/15.55	o 3005
15.22/15.58	o 2998
15.32/15.62	o 2992
15.32/15.66	o 2986
15.42/15.70	o 2981
15.42/15.74	o 2976
15.42/15.77	o 2971
15.52/15.80	o 2967
15.52/15.83	o 2964
15.52/15.86	o 2961
15.52/15.89	o 2958
15.62/15.93	o 2956
15.62/15.96	o 2954
15.62/15.98	o 2952
15.72/16.01	o 2950
15.82/16.10	o 2948
15.82/16.12	o 2947
15.82/16.17	o 2945
15.82/16.19	o 2941
15.92/16.28	o 2937
16.03/16.30	o 2934
16.03/16.32	o 2931
16.03/16.35	o 2925
16.03/16.36	o 2921
16.03/16.40	o 2916
16.12/16.42	o 2912
16.12/16.45	o 2907
16.12/16.47	o 2905
16.12/16.50	o 2903
16.22/16.52	o 2896
16.22/16.55	o 2895
16.32/16.60	o 2890
16.32/16.63	o 2887
16.32/16.67	o 2879
16.42/16.72	o 2873
16.42/16.76	o 2867
16.52/16.80	o 2862
16.52/16.86	o 2857
16.62/16.91	o 2854
16.62/16.95	o 2849
16.62/16.99	o 2844
16.72/17.04	o 2840
16.72/17.07	o 2836
16.82/17.11	o 2833
16.82/17.15	o 2830
16.82/17.19	o 2827
16.92/17.21	o 2821
16.92/17.25	o 2819
16.92/17.28	o 2817
17.01/17.31	o 2815
17.01/17.34	o 2813
17.01/17.37	o 2812
17.11/17.45	o 2805
17.11/17.48	o 2799
17.21/17.51	o 2794
17.21/17.53	o 2792
17.21/17.55	o 2789
17.21/17.58	o 2783
17.31/17.61	o 2777
17.31/17.63	o 2772
17.31/17.66	o 2769
17.31/17.69	o 2762
17.41/17.71	o 2760
17.41/17.73	o 2755
17.41/17.75	o 2753
17.51/17.81	o 2752
17.51/17.85	o 2750
17.61/17.93	o 2748
17.61/17.96	o 2746
17.61/17.99	o 2740
17.71/18.03	o 2735
17.71/18.06	o 2733
17.80/18.11	o 2730
17.80/18.13	o 2728
17.80/18.17	o 2725
17.80/18.19	o 2724
17.90/18.23	o 2720
17.90/18.25	o 2715
17.90/18.29	o 2712
18.00/18.32	o 2710
18.00/18.35	o 2707
18.00/18.39	o 2701
18.10/18.43	o 2695
18.10/18.46	o 2690
18.10/18.48	o 2687
18.20/18.52	o 2684
18.20/18.55	o 2681
18.20/18.58	o 2679
18.30/18.62	o 2677
18.30/18.66	o 2669
18.30/18.68	o 2667
18.40/18.71	o 2666
18.40/18.73	o 2659
18.49/18.84	o 2655
18.49/18.87	o 2651
18.59/18.90	o 2647
18.59/18.93	o 2645
18.59/18.95	o 2641
18.59/18.97	o 2638
18.69/19.00	o 2637
18.69/19.04	o 2636
18.69/19.07	o 2634
18.79/19.11	o 2631
18.79/19.16	o 2627
18.79/19.19	o 2626
18.89/19.22	o 2622
18.89/19.27	o 2620
18.99/19.30	o 2617
18.99/19.33	o 2614
18.99/19.37	o 2612
19.09/19.40	o 2608
19.09/19.44	o 2607
19.09/19.46	o 2606
19.09/19.50	o 2603
19.19/19.53	o 2601
19.19/19.57	o 2598
19.29/19.62	o 2596
19.39/19.74	o 2593
19.39/19.77	o 2590
19.49/19.85	o 2587
19.49/19.89	o 2583
19.58/19.93	o 2580
19.58/19.98	o 2576
19.68/20.03	o 2570
19.68/20.07	o 2567
19.79/20.13	o 2566
19.79/20.17	o 2564
19.99/20.30	o 2561
19.99/20.35	o 2558
19.99/20.40	o 2552
20.09/20.43	o 2546
20.09/20.47	o 2541
20.19/20.51	o 2538
20.19/20.55	o 2534
20.19/20.59	o 2530
20.29/20.63	o 2525
20.29/20.67	o 2524
20.39/20.72	o 2520
20.39/20.76	o 2518
20.68/21.01	o 2516
20.78/21.15	o 2514
20.78/21.20	o 2511
20.88/21.28	o 2510
20.98/21.34	o 2507
20.98/21.38	o 2504
21.08/21.43	o 2500
21.08/21.48	o 2496
21.18/21.52	o 2491
21.18/21.57	o 2490
21.28/21.61	o 2487
21.28/21.65	o 2481
21.38/21.70	o 2479
21.38/21.75	o 2478
21.48/21.80	o 2476
21.48/21.84	o 2473
21.48/21.87	o 2471
21.58/21.92	o 2469
21.58/21.96	o 2466
21.68/22.00	o 2459
21.77/22.12	o 2458
21.77/22.16	o 2453
21.87/22.21	o 2450
21.87/22.25	o 2445
21.97/22.30	o 2443
21.97/22.35	o 2439
21.97/22.39	o 2437
22.07/22.45	o 2434
22.17/22.50	o 2430
22.27/22.65	o 2426
22.37/22.70	o 2422
22.37/22.75	o 2414
22.37/22.80	o 2412
22.47/22.85	o 2408
22.47/22.89	o 2403
22.57/22.93	o 2398
22.57/22.99	o 2395
22.67/23.04	o 2393
22.77/23.14	o 2389
22.77/23.20	o 2388
22.86/23.25	o 2384
22.96/23.30	o 2380
22.96/23.37	o 2377
23.06/23.42	o 2374
23.06/23.49	o 2372
23.16/23.56	o 2366
23.26/23.63	o 2361
23.36/23.76	o 2360
23.46/23.82	o 2359
23.56/23.93	o 2357
23.66/24.05	o 2354
23.86/24.23	o 2352
23.86/24.28	o 2350
23.95/24.34	o 2349
24.15/24.52	o 2347
24.15/24.57	o 2343
24.25/24.69	o 2340
24.35/24.74	o 2334
24.45/24.80	o 2332
24.45/24.86	o 2327
24.55/24.93	o 2326
24.55/24.99	o 2325
24.65/25.06	o 2324
24.75/25.11	o 2322
24.75/25.16	o 2319
24.85/25.29	o 2318
24.95/25.35	o 2316
25.04/25.42	o 2312
25.04/25.46	o 2309
25.14/25.52	o 2307
25.14/25.58	o 2305
25.24/25.64	o 2303
25.35/25.70	o 2300
25.35/25.75	o 2295
25.45/25.82	o 2293
25.45/25.87	o 2287
25.55/25.93	o 2283
25.55/25.99	o 2282
25.65/26.06	o 2278
25.75/26.11	o 2274
25.75/26.16	o 2273
25.85/26.21	o 2268
25.85/26.25	o 2264
25.85/26.29	o 2261
25.95/26.33	o 2259
25.95/26.37	o 2256
26.05/26.45	o 2254
26.14/26.54	o 2251
26.14/26.58	o 2248
26.24/26.61	o 2247
26.24/26.68	o 2241
26.34/26.77	o 2240
26.54/26.91	o 2237
26.64/27.00	o 2235
26.64/27.04	o 2233
26.64/27.08	o 2230
26.74/27.12	o 2228
26.74/27.16	o 2227
26.74/27.19	o 2223
26.84/27.23	o 2220
26.84/27.26	o 2217
26.94/27.32	o 2215
26.94/27.35	o 2213
27.04/27.45	o 2205
27.13/27.51	o 2200
27.23/27.62	o 2198
27.23/27.68	o 2196
27.33/27.75	o 2191
27.43/27.83	o 2186
27.43/27.90	o 2184
27.63/28.04	o 2183
27.63/28.09	o 2180
27.73/28.15	o 2178
27.83/28.27	o 2173
27.93/28.34	o 2169
27.93/28.39	o 2168
28.03/28.46	o 2166
28.13/28.53	o 2165
28.13/28.58	o 2161
28.23/28.66	o 2159
28.32/28.73	o 2156
28.32/28.79	o 2153
28.42/28.87	o 2152
28.62/29.01	o 2149
28.62/29.08	o 2147
28.72/29.14	o 2142
28.82/29.21	o 2141
28.82/29.27	o 2140
29.13/29.53	o 2139
29.23/29.61	o 2136
29.23/29.68	o 2135
29.33/29.75	o 2133
29.42/29.81	o 2132
29.52/29.91	o 2129
29.52/29.97	o 2127
29.62/30.06	o 2124
29.72/30.14	o 2122
29.82/30.20	o 2121
29.82/30.27	o 2116
30.02/30.40	o 2115
30.02/30.47	o 2112
30.12/30.53	o 2111
30.22/30.60	o 2110
30.22/30.69	o 2109
30.32/30.76	o 2105
30.42/30.84	o 2101
30.61/31.07	o 2096
30.71/31.14	o 2092
31.01/31.45	o 2085
31.11/31.52	o 2084
31.31/31.73	o 2081
31.41/31.81	o 2080
31.51/31.96	o 2078
31.70/32.18	o 2073
31.80/32.25	o 2068
31.90/32.33	o 2067
32.00/32.40	o 2062
32.00/32.48	o 2059
32.10/32.55	o 2054
32.30/32.71	o 2052
32.30/32.79	o 2051
32.40/32.87	o 2046
32.50/32.95	o 2044
32.70/33.10	o 2042
32.70/33.17	o 2041
32.79/33.24	o 2038
32.89/33.31	o 2034
32.89/33.37	o 2031
32.99/33.44	o 2030
33.09/33.56	o 2027
33.40/33.84	o 2024
33.50/33.90	o 2017
33.50/33.98	o 2014
33.70/34.11	o 2012
33.70/34.19	o 2011
33.79/34.25	o 2005
33.89/34.32	o 2000
33.89/34.39	o 1999
33.99/34.44	o 1998
34.09/34.51	o 1997
34.09/34.58	o 1996
34.19/34.63	o 1995
34.39/34.81	o 1994
34.39/34.88	o 1993
34.49/34.95	o 1992
34.59/35.01	o 1990
34.59/35.08	o 1986
34.69/35.15	o 1984
34.88/35.31	o 1983
34.88/35.38	o 1980
34.98/35.44	o 1976
35.08/35.52	o 1973
35.08/35.57	o 1968
35.18/35.63	o 1967
35.38/35.85	o 1964
35.48/35.92	o 1962
35.48/35.99	o 1960
35.68/36.20	o 1958
35.78/36.27	o 1955
35.88/36.33	o 1951
36.18/36.61	o 1950
36.18/36.67	o 1947
36.48/36.98	o 1946
36.58/37.05	o 1945
36.68/37.11	o 1943
36.87/37.32	o 1940
36.87/37.39	o 1937
37.07/37.52	o 1934
37.07/37.57	o 1931
37.17/37.63	o 1927
37.17/37.68	o 1926
37.27/37.73	o 1925
37.37/37.86	o 1920
37.47/37.93	o 1918
37.47/37.99	o 1912
37.57/38.04	o 1907
37.67/38.11	o 1905
37.67/38.18	o 1904
37.77/38.25	o 1901
37.87/38.32	o 1898
37.87/38.38	o 1896
37.98/38.45	o 1894
38.08/38.53	o 1890
38.17/38.60	o 1889
38.17/38.68	o 1886
38.27/38.75	o 1883
38.37/38.82	o 1882
38.37/38.88	o 1880
38.47/38.95	o 1879
38.57/39.03	o 1875
38.67/39.11	o 1871
38.77/39.27	o 1869
39.07/39.52	o 1867
39.17/39.61	o 1865
39.26/39.70	o 1863
39.36/39.87	o 1862
39.46/39.95	o 1861
39.56/40.04	o 1859
39.66/40.13	o 1858
39.96/40.48	o 1852
40.06/40.53	o 1847
40.16/40.70	o 1846
40.26/40.78	o 1842
40.36/40.86	o 1841
40.45/40.99	o 1837
40.55/41.05	o 1835
40.65/41.14	o 1832
40.75/41.22	o 1830
40.75/41.29	o 1826
41.35/41.85	o 1825
41.65/42.14	o 1821
41.84/42.31	o 1820
41.94/42.41	o 1818
42.04/42.51	o 1814
42.14/42.63	o 1812
42.74/43.22	o 1811
42.84/43.33	o 1810
43.04/43.55	o 1808
43.14/43.65	o 1806
43.14/43.69	o 1804
44.03/44.50	o 1801
44.13/44.62	o 1795
44.23/44.71	o 1793
44.33/44.81	o 1792
44.53/45.09	o 1790
44.63/45.19	o 1788
44.72/45.29	o 1786
44.82/45.39	o 1784
44.92/45.49	o 1783
45.12/45.69	o 1780
45.22/45.79	o 1777
45.32/45.89	o 1776
45.42/46.00	o 1775
45.52/46.09	o 1773
45.62/46.19	o 1772
45.72/46.29	o 1771
45.92/46.48	o 1768
46.02/46.57	o 1767
46.12/46.66	o 1764
46.32/46.85	o 1761
46.42/46.94	o 1758
46.52/47.04	o 1757
46.62/47.13	o 1755
46.91/47.44	o 1750
47.41/47.94	o 1749
47.51/48.05	o 1744
47.62/48.14	o 1742
47.72/48.25	o 1736
47.82/48.36	o 1735
47.92/48.46	o 1730
48.11/48.65	o 1726
48.51/49.03	o 1725
50.70/51.28	o 1723
50.80/51.39	o 1719
51.00/51.52	o 1717
51.29/51.89	o 1716
51.49/52.00	o 1715
51.59/52.11	o 1711
51.99/52.56	o 1710
52.09/52.67	o 1707
52.19/52.79	o 1703
52.39/52.92	o 1699
52.59/53.16	o 1696
52.69/53.29	o 1694
52.89/53.41	o 1693
53.29/53.89	o 1692
53.48/54.03	o 1689
53.58/54.15	o 1687
53.69/54.28	o 1684
53.99/54.55	o 1681
54.09/54.67	o 1680
54.19/54.72	o 1679
54.29/54.85	o 1675
54.39/54.99	o 1673
54.58/55.13	o 1671
54.68/55.27	o 1669
54.78/55.40	o 1667
55.28/55.81	o 1666
55.38/55.95	o 1665
55.67/56.21	o 1663
55.87/56.48	o 1662
56.07/56.60	o 1661
56.17/56.75	o 1659
56.27/56.89	o 1657
56.47/57.03	o 1656
56.77/57.32	o 1655
56.87/57.46	o 1654
57.07/57.61	o 1651
57.47/58.04	o 1648
57.76/58.33	o 1646
57.86/58.48	o 1645
58.06/58.63	o 1643
58.16/58.78	o 1640
58.36/58.92	o 1635
58.56/59.19	o 1632
58.85/59.47	o 1631
59.05/59.62	o 1623
59.45/60.02	o 1621
59.65/60.28	o 1618
59.85/60.40	o 1611
59.95/60.53	o 1610
60.04/60.65	o 1607
60.14/60.78	o 1606
60.34/60.93	o 1603
60.34/60.99	o 1602
60.54/61.12	o 1595
60.64/61.27	o 1592
60.94/61.54	o 1590
61.04/61.67	o 1586
61.13/61.73	o 1584
61.24/61.87	o 1583
62.14/62.72	o 1582
62.54/63.19	o 1581
62.74/63.31	o 1574
62.74/63.39	o 1569
63.04/63.62	o 1568
63.14/63.76	o 1567
63.24/63.88	o 1565
63.53/64.12	o 1562
63.63/64.24	o 1561
63.73/64.36	o 1560
64.03/64.61	o 1559
64.22/64.84	o 1558
64.72/65.39	o 1556
65.02/65.61	o 1554
65.12/65.72	o 1549
65.22/65.84	o 1541
65.51/66.19	o 1538
66.21/66.87	o 1535
66.91/67.59	o 1534
67.41/68.08	o 1532
67.51/68.20	o 1529
67.70/68.33	o 1528
68.00/68.69	o 1527
68.20/68.80	o 1523
68.30/68.92	o 1520
68.40/69.04	o 1518
68.50/69.13	o 1517
69.19/69.86	o 1514
70.78/71.44	o 1513
71.18/71.85	o 1509
71.28/71.98	o 1506
71.78/72.49	o 1504
71.98/72.64	o 1501
72.08/72.76	o 1499
72.68/73.31	o 1498
73.08/73.73	o 1495
73.38/74.01	o 1493
73.48/74.16	o 1490
73.57/74.29	o 1484
73.77/74.43	o 1482
73.87/74.58	o 1481
74.07/74.72	o 1477
75.27/75.91	o 1476
75.56/76.21	o 1473
75.66/76.36	o 1471
75.86/76.51	o 1468
76.46/77.13	o 1462
76.76/77.43	o 1458
76.86/77.58	o 1457
77.16/77.88	o 1454
79.54/80.26	o 1451
79.74/80.41	o 1449
79.84/80.56	o 1448
80.04/80.72	o 1447
80.14/80.87	o 1443
80.44/81.18	o 1440
80.64/81.34	o 1436
80.93/81.65	o 1434
81.43/82.12	o 1433
81.53/82.28	o 1432
82.73/83.46	o 1431
82.93/83.62	o 1428
83.02/83.80	o 1427
83.22/83.95	o 1426
83.42/84.12	o 1423
83.52/84.27	o 1421
83.72/84.42	o 1418
84.11/84.86	o 1416
84.31/85.01	o 1414
84.81/85.57	o 1413
85.11/85.85	o 1412
85.21/85.99	o 1409
85.51/86.27	o 1408
85.91/86.69	o 1406
86.11/86.84	o 1403
86.50/87.30	o 1400
86.60/87.33	o 1398
86.70/87.49	o 1393
86.90/87.65	o 1390
87.40/88.12	o 1387
88.00/88.75	o 1384
88.49/89.21	o 1383
88.90/89.66	o 1382
89.59/90.37	o 1380
89.89/90.68	o 1378
90.19/90.98	o 1377
90.59/91.30	o 1376
90.69/91.46	o 1372
90.89/91.63	o 1371
90.99/91.78	o 1369
91.19/91.94	o 1367
91.29/92.10	o 1362
91.59/92.34	o 1355
92.08/92.81	o 1353
92.18/92.96	o 1352
92.38/93.10	o 1348
92.78/93.55	o 1346
93.27/94.02	o 1345
93.37/94.16	o 1342
93.87/94.65	o 1341
94.07/94.81	o 1340
94.66/95.44	o 1339
94.76/95.59	o 1337
95.86/96.62	o 1335
97.95/98.78	o 1333
98.34/99.11	o 1330
98.84/99.69	o 1328
99.04/99.85	o 1327
99.25/100.00	o 1326
99.34/100.16	o 1325
99.94/100.77	o 1323
100.24/101.07	o 1321
100.44/101.23	o 1320
100.53/101.39	o 1316
101.44/102.20	o 1314
101.53/102.37	o 1313
101.73/102.54	o 1311
101.83/102.66	o 1306
102.63/103.47	o 1305
103.12/103.95	o 1304
103.42/104.26	o 1303
103.62/104.42	o 1302
103.92/104.74	o 1298
104.51/105.37	o 1295
104.71/105.54	o 1294
104.81/105.69	o 1293
105.01/105.87	o 1292
105.21/106.02	o 1288
105.31/106.18	o 1286
105.51/106.33	o 1285
105.61/106.49	o 1283
106.30/107.15	o 1281
106.50/107.31	o 1279
106.60/107.48	o 1277
109.89/110.73	o 1276
110.19/111.03	o 1275
113.47/114.35	o 1273
113.66/114.56	o 1270
114.56/115.42	o 1268
114.96/115.84	o 1265
115.36/116.27	o 1264
115.56/116.49	o 1261
115.85/116.74	o 1258
116.05/116.95	o 1257
116.25/117.16	o 1255
116.34/117.24	o 1253
117.82/118.72	o 1252
118.01/118.92	o 1248
118.21/119.14	o 1244
118.41/119.33	o 1243
118.61/119.55	o 1241
119.01/119.91	o 1240
119.21/120.11	o 1238
119.51/120.45	o 1233
119.71/120.65	o 1230
119.91/120.84	o 1228
121.20/122.12	o 1227
121.50/122.45	o 1225
121.70/122.67	o 1224
121.90/122.88	o 1222
122.10/123.09	o 1220
122.79/123.73	o 1219
122.99/123.95	o 1218
123.59/124.59	o 1216
127.07/128.07	o 1213
127.67/128.63	o 1210
127.77/128.79	o 1206
127.97/128.95	o 1204
128.17/129.15	o 1202
128.57/129.57	o 1201
128.77/129.78	o 1197
128.96/129.99	o 1192
129.46/130.41	o 1189
130.45/131.49	o 1188
131.15/132.17	o 1186
131.65/132.60	o 1181
132.05/133.02	o 1179
132.44/133.43	o 1177
132.54/133.59	o 1175
132.74/133.78	o 1174
132.94/133.99	o 1170
133.14/134.20	o 1169
133.63/134.61	o 1165
133.83/134.83	o 1164
134.03/135.02	o 1160
135.12/136.17	o 1158
135.32/136.38	o 1156
136.32/137.39	o 1155
136.61/137.61	o 1153
137.11/138.19	o 1152
137.42/138.40	o 1151
137.62/138.60	o 1149
137.81/138.82	o 1147
138.01/139.04	o 1146
139.21/140.24	o 1145
139.40/140.43	o 1143
139.60/140.64	o 1142
140.10/141.20	o 1139
140.30/141.40	o 1136
141.49/142.57	o 1135
141.89/142.99	o 1134
142.08/143.19	o 1132
144.97/146.08	o 1131
145.56/146.60	o 1130
145.76/146.80	o 1128
145.76/146.88	o 1126
145.86/146.96	o 1124
146.06/147.11	o 1123
146.16/147.29	o 1122
146.56/147.68	o 1120
147.06/148.13	o 1119
147.27/148.31	o 1116
147.47/148.51	o 1115
147.56/148.69	o 1113
147.76/148.86	o 1112
149.15/150.28	o 1111
149.65/150.78	o 1109
149.85/150.95	o 1107
150.55/151.67	o 1105
150.75/151.84	o 1102
150.94/152.01	o 1099
151.74/152.86	o 1095
151.84/152.95	o 1092
152.03/153.11	o 1090
152.53/153.67	o 1089
152.93/154.01	o 1088
153.63/154.70	o 1087
153.73/154.88	o 1086
155.81/156.90	o 1083
156.91/158.04	o 1081
157.11/158.24	o 1080
157.31/158.45	o 1079
157.51/158.65	o 1077
157.71/158.84	o 1074
160.29/161.42	o 1072
160.39/161.59	o 1071
162.87/164.05	o 1069
165.86/167.07	o 1067
166.06/167.29	o 1065
166.35/167.51	o 1061
166.55/167.74	o 1056
168.06/169.27	o 1053
168.75/169.91	o 1052
168.95/170.13	o 1050
169.15/170.36	o 1049
169.84/171.06	o 1048
170.04/171.29	o 1047
170.34/171.54	o 1046
170.54/171.72	o 1042
170.64/171.82	o 1040
171.83/173.00	o 1039
172.43/173.68	o 1038
172.53/173.76	o 1035
172.72/173.93	o 1033
174.72/175.96	o 1031
175.01/176.22	o 1030
175.71/176.97	o 1028
176.11/177.36	o 1024
176.41/177.60	o 1023
176.61/177.84	o 1022
176.71/177.99	o 1021
177.01/178.23	o 1020
177.20/178.47	o 1018
177.70/178.95	o 1011
177.90/179.10	o 1009
178.10/179.35	o 1006
178.70/179.93	o 1004
178.89/180.17	o 1002
179.69/180.91	o 999
179.79/181.09	o 998
180.29/181.58	o 997
180.78/182.07	o 996
181.08/182.32	o 995
182.97/184.28	o 994
183.77/185.05	o 993
186.05/187.32	o 989
189.54/190.83	o 987
189.73/191.07	o 985
190.23/191.59	o 983
190.73/192.07	o 982
191.42/192.76	o 974
191.62/192.99	o 973
191.82/193.15	o 972
192.52/193.83	o 971
192.91/194.29	o 969
194.90/196.21	o 968
195.89/197.27	o 967
196.79/198.10	o 966
196.79/198.14	o 963
200.28/201.62	o 962
201.27/202.68	o 960
201.47/202.88	o 956
201.67/203.04	o 954
201.77/203.13	o 952
201.97/203.33	o 951
202.17/203.53	o 950
202.37/203.73	o 946
203.76/205.13	o 944
204.56/205.93	o 942
204.66/206.08	o 940
204.85/206.29	o 937
205.15/206.50	o 935
205.35/206.73	o 931
206.25/207.61	o 929
206.45/207.84	o 928
206.64/208.06	o 926
206.94/208.30	o 925
207.14/208.53	o 924
209.23/210.61	o 923
209.43/210.83	o 921
209.83/211.30	o 920
210.12/211.51	o 919
210.52/211.99	o 918
210.72/212.15	o 917
211.61/213.07	o 916
212.31/213.76	o 915
212.51/213.98	o 914
212.81/214.21	o 913
213.01/214.46	o 912
215.39/216.83	o 909
216.19/217.69	o 907
217.39/218.89	o 906
217.68/219.14	o 905
218.78/220.26	o 903
219.08/220.52	o 902
219.28/220.72	o 901
219.68/221.17	o 900
221.87/223.33	o 899
222.07/223.53	o 893
222.77/224.25	o 889
222.97/224.50	o 888
223.56/225.00	o 886
223.86/225.34	o 883
224.35/225.83	o 882
224.55/226.07	o 880
224.85/226.31	o 879
225.05/226.56	o 878
229.03/230.51	o 875
230.22/231.72	o 873
230.22/231.77	o 868
230.42/232.00	o 865
230.62/232.19	o 861
231.12/232.63	o 859
231.32/232.86	o 856
231.81/233.34	o 855
232.01/233.57	o 854
232.31/233.82	o 853
232.51/234.06	o 852
232.81/234.32	o 851
233.00/234.56	o 850
233.30/234.80	o 848
234.80/236.35	o 847
239.38/240.96	o 846
239.67/241.22	o 843
239.87/241.44	o 840
240.07/241.60	o 837
240.57/242.12	o 836
248.93/250.54	o 833
249.72/251.36	o 832
250.02/251.64	o 831
255.59/257.25	o 828
255.88/257.52	o 826
256.18/257.80	o 822
256.98/258.64	o 820
257.27/258.91	o 819
261.86/263.57	o 818
263.06/264.78	o 817
263.36/265.08	o 813
265.74/267.41	o 812
266.64/268.31	o 811
266.93/268.60	o 809
268.92/270.68	o 807
271.41/273.14	o 805
272.30/274.02	o 804
272.60/274.32	o 802
273.10/274.81	o 801
273.50/275.28	o 796
273.80/275.50	o 793
274.30/276.03	o 792
274.59/276.31	o 791
275.69/277.47	o 790
275.98/277.75	o 787
276.48/278.24	o 784
276.78/278.53	o 783
277.38/279.10	o 780
277.58/279.38	o 778
277.77/279.58	o 776
278.57/280.38	o 775
278.87/280.67	o 774
280.56/282.36	o 773
280.86/282.61	o 771
281.36/283.18	o 768
281.66/283.46	o 766
284.25/286.04	o 764
284.54/286.35	o 762
284.84/286.63	o 761
285.14/286.93	o 760
285.44/287.23	o 758
285.73/287.52	o 757
286.33/288.11	o 756
287.13/288.97	o 754
298.37/300.29	o 752
298.67/300.56	o 751
298.97/300.83	o 749
299.27/301.12	o 748
299.57/301.42	o 746
300.06/301.98	o 744
306.13/308.06	o 743
314.98/316.90	o 742
315.18/317.18	o 740
316.18/318.10	o 739
316.47/318.40	o 737
321.66/323.68	o 736
321.96/323.98	o 735
322.65/324.61	o 734
323.85/325.81	o 733
328.42/330.42	o 732
329.21/331.23	o 730
329.81/331.84	o 729
330.41/332.48	o 728
330.71/332.77	o 725
331.30/333.38	o 724
331.60/333.68	o 722
332.10/334.13	o 720
332.99/335.04	o 716
333.19/335.20	o 715
333.79/335.83	o 713
334.09/336.11	o 711
334.39/336.40	o 710
334.68/336.78	o 709
335.28/337.31	o 708
335.48/337.55	o 707
338.27/340.35	o 706
338.56/340.66	o 705
338.87/340.97	o 704
339.16/341.27	o 703
339.46/341.58	o 702
339.76/341.88	o 701
340.45/342.51	o 699
343.04/345.14	o 697
350.30/352.47	o 696
351.30/353.40	o 695
351.60/353.71	o 694
351.80/353.95	o 692
352.10/354.24	o 690
352.40/354.55	o 685
352.50/354.69	o 683
352.80/354.99	o 681
353.10/355.27	o 679
353.69/355.87	o 678
353.99/356.18	o 675
354.89/357.06	o 674
355.19/357.34	o 673
355.48/357.66	o 671
357.87/360.04	o 668
358.96/361.16	o 667
359.16/361.37	o 664
359.36/361.54	o 661
360.56/362.73	o 659
361.15/363.37	o 657
361.35/363.53	o 654
365.93/368.19	o 651
366.03/368.29	o 649
366.33/368.58	o 648
367.02/369.27	o 645
367.32/369.56	o 644
368.51/370.77	o 643
368.81/371.06	o 641
369.70/371.91	o 639
369.90/372.19	o 638
370.30/372.50	o 637
370.90/373.10	o 635
372.98/375.26	o 633
375.77/378.04	o 632
376.07/378.33	o 630
377.76/380.01	o 628
380.94/383.27	o 626
381.24/383.55	o 623
381.54/383.85	o 622
381.84/384.14	o 621
382.13/384.45	o 619
382.43/384.75	o 617
384.73/387.02	o 615
385.03/387.31	o 613
385.23/387.59	o 612
385.43/387.79	o 611
395.78/398.11	o 610
396.27/398.66	o 609
397.06/399.48	o 606
397.36/399.78	o 605
398.06/400.47	o 603
398.26/400.60	o 600
398.96/401.36	o 599
399.16/401.55	o 598
399.65/402.09	o 597
399.95/402.36	o 596
400.75/403.15	o 593
401.54/403.95	o 591
403.03/405.41	o 590
403.23/405.69	o 587
403.92/406.31	o 586
404.42/406.86	o 584
412.00/414.44	o 583
412.29/414.73	o 582
412.79/415.27	o 581
415.18/417.69	o 579
415.67/418.11	o 578
416.67/419.13	o 577
416.96/419.40	o 576
417.46/419.94	o 574
417.95/420.47	o 573
422.43/424.91	o 566
422.63/425.18	o 565
423.23/425.73	o 564
423.52/426.01	o 563
424.62/427.15	o 562
430.39/432.92	o 559
430.69/433.23	o 558
430.98/433.55	o 557
431.88/434.45	o 555
432.18/434.72	o 554
439.75/442.31	o 552
440.05/442.63	o 551
440.55/443.11	o 549
440.84/443.44	o 546
441.14/443.77	o 545
448.21/450.89	o 544
449.00/451.60	o 543
449.30/451.96	o 541
453.58/456.21	o 540
454.27/456.93	o 539
454.97/457.66	o 538
455.67/458.40	o 537
463.53/466.21	o 536
463.82/466.53	o 535
466.01/468.79	o 533
466.81/469.53	o 531
467.20/469.93	o 530
470.09/472.86	o 529
470.39/473.19	o 528
471.38/474.16	o 527
471.68/474.45	o 526
472.08/474.81	o 523
472.38/475.17	o 521
472.57/475.36	o 519
472.87/475.61	o 518
473.17/475.95	o 517
474.46/477.25	o 514
475.06/477.86	o 513
475.46/478.22	o 512
476.35/479.14	o 510
477.05/479.83	o 509
477.35/480.18	o 508
477.85/480.66	o 507
478.24/481.02	o 505
479.53/482.37	o 504
479.93/482.71	o 500
480.03/482.89	o 498
480.73/483.58	o 497
481.32/484.11	o 495
481.62/484.46	o 494
482.02/484.82	o 493
482.62/485.49	o 492
484.71/487.50	o 489
485.52/488.33	o 487
486.80/489.68	o 483
487.10/489.98	o 482
487.40/490.24	o 480
490.59/493.49	o 479
490.98/493.84	o 476
491.28/494.18	o 475
491.58/494.41	o 473
495.96/498.85	o 472
496.26/499.17	o 471
496.65/499.51	o 470
496.85/499.79	o 469
506.30/509.25	o 467
536.45/539.55	   
536.45/539.55	   search
536.45/539.55	     run=0  nbConstraintChecks=1263735276  nbAssignments=2709
536.45/539.55	       =>  wckTime=525.792  cpuTime=522.96  mem=39M241
536.45/539.55	   
536.45/539.55	   global
536.45/539.55	     nbConstraintChecks=1263735276  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
536.45/539.55	     solvingWckTime=525.785  solvingCpuTime=522.95  expiredTime=no  totalExploration=no  nbFoundSolutions=0
536.45/539.55	     globalCpuTime=535.31
536.45/539.55	       =>  wckTime=539.137  cpuTime=535.27  mem=39M241
536.45/539.55	   
536.45/539.55	   solver DecomposerSolver being built... 
542.62/545.70	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-1112857-1215874743/watcher-1112857-1215874743 -o /tmp/evaluation-result-1112857-1215874743/solver-1112857-1215874743 -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-1112857-1215874743.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.67 2.64 2.57 4/81 16118
/proc/meminfo: memFree=1691672/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=18572 CPUtime=0
/proc/16118/stat : 16118 (runsolver) R 16116 16118 15521 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 44176567 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 273952472035 0 0 4096 24578 0 0 0 17 0 0 0
/proc/16118/statm: 4643 292 257 25 0 2626 0

[startup+0.0954109 s]
/proc/loadavg: 2.67 2.64 2.57 4/81 16118
/proc/meminfo: memFree=1691672/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=860580 CPUtime=0.01
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 1576 0 1 0 1 0 0 0 19 0 2 0 44176567 881233920 1298 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 215145 1298 510 9 0 210124 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860580

[startup+0.101402 s]
/proc/loadavg: 2.67 2.64 2.57 4/81 16118
/proc/meminfo: memFree=1691672/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=861880 CPUtime=0.02
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 1899 0 1 0 1 1 0 0 19 0 5 0 44176567 882565120 1584 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 215470 1584 703 9 0 210449 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861880

[startup+0.302443 s]
/proc/loadavg: 2.67 2.64 2.57 4/81 16118
/proc/meminfo: memFree=1691672/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=866016 CPUtime=0.17
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 4297 0 10 0 13 4 0 0 19 0 9 0 44176567 886800384 3742 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216504 3742 1841 9 0 211052 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 866016

[startup+0.701524 s]
/proc/loadavg: 2.67 2.64 2.57 4/81 16118
/proc/meminfo: memFree=1691672/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=866928 CPUtime=0.51
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 8197 0 22 0 43 8 0 0 19 0 9 0 44176567 887734272 7589 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216732 7589 1967 9 0 211260 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 866928

[startup+1.50268 s]
/proc/loadavg: 2.67 2.64 2.57 3/90 16127
/proc/meminfo: memFree=1649360/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867660 CPUtime=1.31
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 19937 0 22 0 116 15 0 0 19 0 9 0 44176567 888483840 19294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216915 19294 2004 9 0 211443 0
[pid=16118/tid=16120] ppid=16116 vsize=867660 CPUtime=1.03
/proc/16118/task/16120/stat : 16120 (java) R 16116 16118 15521 0 -1 64 15748 0 22 0 90 13 0 0 25 0 9 0 44176571 888483840 19294 996147200 134512640 134550740 4294955952 18446744073709551615 102887925 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867660 CPUtime=0.07
/proc/16118/task/16121/stat : 16121 (java) S 16116 16118 15521 0 -1 64 2855 0 0 0 7 0 0 0 16 0 9 0 44176577 888483840 19294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888483840 19294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44176577 888483840 19294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888483840 19294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867660 CPUtime=0.16
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 638 0 0 0 16 0 0 0 16 0 9 0 44176580 888483840 19294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888483840 19294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 888483840 19294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 867660

[startup+3.10199 s]
/proc/loadavg: 2.67 2.64 2.57 3/90 16127
/proc/meminfo: memFree=1614800/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867660 CPUtime=2.9
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 19991 0 23 0 274 16 0 0 19 0 9 0 44176567 888483840 19346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216915 19346 2006 9 0 211443 0
[pid=16118/tid=16120] ppid=16116 vsize=867660 CPUtime=2.6
/proc/16118/task/16120/stat : 16120 (java) R 16116 16118 15521 0 -1 64 15781 0 23 0 247 13 0 0 25 0 9 0 44176571 888483840 19346 996147200 134512640 134550740 4294955952 18446744073709551615 4126903447 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867660 CPUtime=0.07
/proc/16118/task/16121/stat : 16121 (java) S 16116 16118 15521 0 -1 64 2855 0 0 0 7 0 0 0 17 0 9 0 44176577 888483840 19346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888483840 19346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44176577 888483840 19346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888483840 19346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867660 CPUtime=0.19
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 659 0 0 0 19 0 0 0 16 0 9 0 44176580 888483840 19346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888483840 19346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 888483840 19346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 867660

[startup+6.30262 s]
/proc/loadavg: 2.62 2.63 2.57 3/90 16127
/proc/meminfo: memFree=1614480/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867660 CPUtime=6.08
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 20013 0 23 0 592 16 0 0 19 0 9 0 44176567 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216915 19365 2006 9 0 211443 0
[pid=16118/tid=16120] ppid=16116 vsize=867660 CPUtime=5.76
/proc/16118/task/16120/stat : 16120 (java) R 16116 16118 15521 0 -1 64 15784 0 23 0 562 14 0 0 25 0 9 0 44176571 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4126903447 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867660 CPUtime=0.07
/proc/16118/task/16121/stat : 16121 (java) S 16116 16118 15521 0 -1 64 2855 0 0 0 7 0 0 0 16 0 9 0 44176577 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44176577 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867660 CPUtime=0.21
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 678 0 0 0 21 0 0 0 16 0 9 0 44176580 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888483840 19365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 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.08
Current children cumulated vsize (KiB) 867660

[startup+12.7029 s]
/proc/loadavg: 2.57 2.62 2.57 3/90 16127
/proc/meminfo: memFree=1600592/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867660 CPUtime=12.44
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 24970 0 23 0 1225 19 0 0 19 0 9 0 44176567 888483840 24317 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216915 24317 2007 9 0 211443 0
[pid=16118/tid=16120] ppid=16116 vsize=867660 CPUtime=11.88
/proc/16118/task/16120/stat : 16120 (java) R 16116 16118 15521 0 -1 64 15793 0 23 0 1173 15 0 0 25 0 9 0 44176571 888483840 24317 996147200 134512640 134550740 4294955952 18446744073709551615 103778109 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867660 CPUtime=0.29
/proc/16118/task/16121/stat : 16121 (java) S 16116 16118 15521 0 -1 64 7776 0 0 0 26 3 0 0 18 0 9 0 44176577 888483840 24317 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888483840 24317 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44176577 888483840 24317 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888483840 24317 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867660 CPUtime=0.25
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 705 0 0 0 25 0 0 0 15 0 9 0 44176580 888483840 24317 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888483840 24317 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867660 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 888483840 24317 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 867660

[startup+25.5014 s]
/proc/loadavg: 2.51 2.61 2.56 3/90 16127
/proc/meminfo: memFree=1580432/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867716 CPUtime=25.14
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 29367 0 23 0 2490 24 0 0 19 0 9 0 44176567 888541184 28520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216929 28520 2640 9 0 211435 0
[pid=16118/tid=16120] ppid=16116 vsize=867716 CPUtime=24.16
/proc/16118/task/16120/stat : 16120 (java) R 16116 16118 15521 0 -1 64 15857 0 23 0 2398 18 0 0 25 0 9 0 44176571 888541184 28520 996147200 134512640 134550740 4294955952 18446744073709551615 4127193915 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867716 CPUtime=0.66
/proc/16118/task/16121/stat : 16121 (java) S 16116 16118 15521 0 -1 64 12084 0 0 0 62 4 0 0 16 0 9 0 44176577 888541184 28520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888541184 28520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44176577 888541184 28520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888541184 28520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867716 CPUtime=0.3
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 730 0 0 0 29 1 0 0 16 0 9 0 44176580 888541184 28520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888541184 28520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 888541184 28520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 867716

[startup+51.1014 s]
/proc/loadavg: 2.33 2.56 2.54 4/90 16127
/proc/meminfo: memFree=1580432/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867716 CPUtime=50.6
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 29373 0 23 0 5031 29 0 0 19 0 9 0 44176567 888541184 28525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216929 28525 2640 9 0 211435 0
[pid=16118/tid=16120] ppid=16116 vsize=867716 CPUtime=49.59
/proc/16118/task/16120/stat : 16120 (java) R 16116 16118 15521 0 -1 64 15858 0 23 0 4937 22 0 0 25 0 9 0 44176571 888541184 28525 996147200 134512640 134550740 4294955952 18446744073709551615 4127187395 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867716 CPUtime=0.66
/proc/16118/task/16121/stat : 16121 (java) S 16116 16118 15521 0 -1 64 12084 0 0 0 62 4 0 0 16 0 9 0 44176577 888541184 28525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888541184 28525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44176577 888541184 28525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888541184 28525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867716 CPUtime=0.31
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 735 0 0 0 30 1 0 0 16 0 9 0 44176580 888541184 28525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867716 CPUtime=0

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

/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44176577 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867716 CPUtime=0.32
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 742 0 0 0 31 1 0 0 17 0 9 0 44176580 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 521.72
Current children cumulated vsize (KiB) 867716

[startup+537.502 s]
/proc/loadavg: 2.00 2.10 2.31 3/90 16133
/proc/meminfo: memFree=1578576/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867716 CPUtime=534.46
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 29383 0 23 0 53395 51 0 0 19 0 9 0 44176567 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216929 28532 2640 9 0 211435 0
[pid=16118/tid=16120] ppid=16116 vsize=867716 CPUtime=533.44
/proc/16118/task/16120/stat : 16120 (java) R 16116 16118 15521 0 -1 64 15861 0 23 0 53300 44 0 0 25 0 9 0 44176571 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4127188540 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867716 CPUtime=0.66
/proc/16118/task/16121/stat : 16121 (java) S 16116 16118 15521 0 -1 64 12084 0 0 0 62 4 0 0 16 0 9 0 44176577 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44176577 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867716 CPUtime=0.32
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 742 0 0 0 31 1 0 0 17 0 9 0 44176580 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867716 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 888541184 28532 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 534.46
Current children cumulated vsize (KiB) 867716

[startup+540.708 s]
/proc/loadavg: 2.00 2.10 2.30 3/90 16133
/proc/meminfo: memFree=1549264/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867628 CPUtime=537.64
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 93133 0 23 0 53687 77 0 0 19 0 9 0 44176567 888451072 92211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216907 92211 2619 9 0 211435 0
[pid=16118/tid=16120] ppid=16116 vsize=867628 CPUtime=536
/proc/16118/task/16120/stat : 16120 (java) R 16116 16118 15521 0 -1 64 15941 0 23 0 53555 45 0 0 25 0 9 0 44176571 888451072 92211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867628 CPUtime=1.25
/proc/16118/task/16121/stat : 16121 (java) R 16116 16118 15521 0 -1 64 75714 0 0 0 95 30 0 0 16 0 9 0 44176577 888451072 92211 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888451072 92211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44176577 888451072 92211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888451072 92211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867628 CPUtime=0.36
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 764 0 0 0 35 1 0 0 15 0 9 0 44176580 888451072 92211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888451072 92211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 888451072 92211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 537.64
Current children cumulated vsize (KiB) 867628

[startup+543.902 s]
/proc/loadavg: 2.00 2.10 2.30 4/90 16133
/proc/meminfo: memFree=893392/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867628 CPUtime=540.83
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 200402 0 23 0 53960 123 0 0 19 0 9 0 44176567 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216907 199469 2618 9 0 211435 0
[pid=16118/tid=16120] ppid=16116 vsize=867628 CPUtime=536.38
/proc/16118/task/16120/stat : 16120 (java) R 16116 16118 15521 0 -1 64 15951 0 23 0 53593 45 0 0 25 0 9 0 44176571 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867628 CPUtime=4.05
/proc/16118/task/16121/stat : 16121 (java) R 16116 16118 15521 0 -1 64 182973 0 0 0 330 75 0 0 17 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867628 CPUtime=0.36
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 764 0 0 0 35 1 0 0 15 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 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) 540.83
Current children cumulated vsize (KiB) 867628

[startup+544.702 s]
/proc/loadavg: 2.08 2.11 2.31 3/90 16133
/proc/meminfo: memFree=893392/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867628 CPUtime=541.62
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 200403 0 23 0 54039 123 0 0 19 0 9 0 44176567 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216907 199469 2618 9 0 211435 0
[pid=16118/tid=16120] ppid=16116 vsize=867628 CPUtime=536.39
/proc/16118/task/16120/stat : 16120 (java) S 16116 16118 15521 0 -1 64 15952 0 23 0 53594 45 0 0 25 0 9 0 44176571 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867628 CPUtime=4.84
/proc/16118/task/16121/stat : 16121 (java) R 16116 16118 15521 0 -1 64 182973 0 0 0 409 75 0 0 18 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867628 CPUtime=0.36
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 764 0 0 0 35 1 0 0 15 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 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) 541.62
Current children cumulated vsize (KiB) 867628

[startup+545.503 s]
/proc/loadavg: 2.08 2.11 2.31 3/90 16133
/proc/meminfo: memFree=893392/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867628 CPUtime=542.42
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 200403 0 23 0 54119 123 0 0 19 0 9 0 44176567 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216907 199469 2618 9 0 211435 0
[pid=16118/tid=16120] ppid=16116 vsize=867628 CPUtime=536.39
/proc/16118/task/16120/stat : 16120 (java) S 16116 16118 15521 0 -1 64 15952 0 23 0 53594 45 0 0 16 0 9 0 44176571 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867628 CPUtime=5.64
/proc/16118/task/16121/stat : 16121 (java) R 16116 16118 15521 0 -1 64 182973 0 0 0 489 75 0 0 19 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867628 CPUtime=0.36
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 764 0 0 0 35 1 0 0 15 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 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) 542.42
Current children cumulated vsize (KiB) 867628

[startup+545.703 s]
/proc/loadavg: 2.08 2.11 2.31 3/90 16133
/proc/meminfo: memFree=893392/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=867628 CPUtime=542.62
/proc/16118/stat : 16118 (java) S 16116 16118 15521 0 -1 0 200403 0 23 0 54139 123 0 0 19 0 9 0 44176567 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 216907 199469 2618 9 0 211435 0
[pid=16118/tid=16120] ppid=16116 vsize=867628 CPUtime=536.39
/proc/16118/task/16120/stat : 16120 (java) S 16116 16118 15521 0 -1 64 15952 0 23 0 53594 45 0 0 16 0 9 0 44176571 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16121] ppid=16116 vsize=867628 CPUtime=5.83
/proc/16118/task/16121/stat : 16121 (java) R 16116 16118 15521 0 -1 64 182973 0 0 0 508 75 0 0 20 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 103736889 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16122] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16122/stat : 16122 (java) S 16116 16118 15521 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16123] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16123/stat : 16123 (java) S 16116 16118 15521 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44176577 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16124] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16124/stat : 16124 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16125] ppid=16116 vsize=867628 CPUtime=0.36
/proc/16118/task/16125/stat : 16125 (java) S 16116 16118 15521 0 -1 64 764 0 0 0 35 1 0 0 15 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16126] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16126/stat : 16126 (java) S 16116 16118 15521 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44176580 888451072 199469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16118/tid=16127] ppid=16116 vsize=867628 CPUtime=0
/proc/16118/task/16127/stat : 16127 (java) S 16116 16118 15521 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44176580 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) 542.62
Current children cumulated vsize (KiB) 867628

[startup+545.803 s]
/proc/loadavg: 2.08 2.11 2.31 3/90 16133
/proc/meminfo: memFree=893392/2055920 swapFree=4181128/4192956
[pid=16118] ppid=16116 vsize=0 CPUtime=542.68
/proc/16118/stat : 16118 (java) Z 16116 16118 15521 0 -1 12 200411 0 23 0 54139 129 0 0 16 0 2 0 44176567 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16118/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 542.68
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 545.86
CPU time (s): 542.742
CPU user time (s): 541.395
CPU system time (s): 1.3478
CPU usage (%): 99.4288
Max. virtual memory (cumulated for all children) (KiB): 867748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 541.395
system time used= 1.3478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200411
page faults= 23
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13329
involuntary context switches= 31596

runsolver used 0.773882 second user time and 1.84672 second system time

The end

Launcher Data (download as text)

Begin job on node20 at 2008-07-12 16:59:04
IDJOB=1112857
IDBENCH=61486
IDSOLVER=359
FILE ID=node20/1112857-1215874743
PBS_JOBID= 7903505
Free space on /tmp= 66496 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112857-1215874743/watcher-1112857-1215874743 -o /tmp/evaluation-result-1112857-1215874743/solver-1112857-1215874743 -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-1112857-1215874743.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= bcc19e6f7720c8259d2ed7a295277868
RANDOM SEED=278391746

node20.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.263
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.263
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:       1692216 kB
Buffers:          2328 kB
Cached:          33308 kB
SwapCached:       4484 kB
Active:         301940 kB
Inactive:        11336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1692216 kB
SwapTotal:     4192956 kB
SwapFree:      4181128 kB
Dirty:            4108 kB
Writeback:           0 kB
Mapped:         294824 kB
Slab:            35060 kB
Committed_AS:   598608 kB
PageTables:       2456 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= 66496 MiB
End job on node20 at 2008-07-12 17:08:10