Trace number 1112822

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? 399.332 441.2

General information on the benchmark

Namecsp/fapp/fapp10/
normalized-fapp10-0900-0.xml
MD5SUM6c0f6900ea5b66ed7e32c3099d9a431e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints95
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints11381
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11381
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.01/0.37	
0.01/0.37	Abscon 112 (May, 2008)
0.20/0.52	
0.20/0.52	   configuration
0.20/0.52	     name=mrdac-ddeg.xml
0.20/0.57	   
0.20/0.57	   instance
0.20/0.57	     name=HOME/instance-1112822-1215874355.xml
0.30/0.61	   
0.30/0.62	   domains being loaded...
0.40/0.70	   
0.40/0.70	   variables being loaded...
0.59/1.00	     nbVariables=900  nbDomainTypes=28  minDomainSize=42  maxDomainSize=362  nbTotalValues=197665
0.59/1.00	       =>  wckTime=0.471  cpuTime=0.39  mem=14M693
0.59/1.00	   
0.59/1.00	   predicates being loaded...
0.80/1.11	   
0.80/1.11	   constraints being loaded...
10.55/10.92	   
10.55/10.92	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 41M637)
14.51/14.98	     nbConstraints=11381  nbConvertedConstraints=639  nbConvertConstraintsChecks=40849822  nbExtensionStructures=606
14.51/14.98	     nbSharedExtensionStructures=87  nbConflictsStructures=2220  nbSharedConflictsStructures=238
14.51/14.98	     nbUnbuiltConflictsStructures=5464  nbSharedBinaryRepresentations=224906  nbEvaluationManagers=7078
14.51/14.98	     nbSharedEvaluationManagers=3664  minDegree=5  maxDegree=55  minArity=2  maxArity=2
14.51/14.98	       =>  wckTime=14.455  cpuTime=13.81  mem=63M236
14.82/15.23	   
14.82/15.23	   solver LocalSearchSolver being built... 
14.82/15.28	       =>  wckTime=14.752  cpuTime=13.85  mem=34M271
14.92/15.37	
14.92/15.37	s SATISFIABLE
14.92/15.37	o 2949
15.02/15.41	o 2941
15.02/15.44	o 2933
15.02/15.46	o 2925
15.02/15.48	o 2919
15.11/15.51	o 2915
15.11/15.54	o 2911
15.11/15.55	o 2908
15.11/15.57	o 2903
15.11/15.59	o 2899
15.22/15.61	o 2895
15.22/15.62	o 2892
15.22/15.64	o 2891
15.32/15.70	o 2883
15.32/15.75	o 2880
15.32/15.78	o 2872
15.41/15.80	o 2866
15.41/15.82	o 2861
15.41/15.84	o 2856
15.41/15.86	o 2851
15.41/15.88	o 2847
15.41/15.89	o 2843
15.51/15.92	o 2840
15.51/15.93	o 2837
15.51/15.95	o 2835
15.51/15.96	o 2834
15.51/15.98	o 2833
15.51/15.99	o 2829
15.62/16.01	o 2827
15.62/16.04	o 2821
15.62/16.05	o 2815
15.62/16.07	o 2809
15.62/16.09	o 2804
15.71/16.11	o 2800
15.71/16.12	o 2796
15.71/16.13	o 2794
15.71/16.15	o 2791
15.71/16.17	o 2788
15.71/16.18	o 2786
15.81/16.21	o 2783
15.81/16.22	o 2779
15.81/16.24	o 2776
15.81/16.25	o 2772
15.81/16.27	o 2766
15.81/16.29	o 2762
15.91/16.30	o 2757
15.91/16.32	o 2748
15.91/16.35	o 2740
15.91/16.37	o 2737
15.91/16.40	o 2732
16.01/16.43	o 2727
16.01/16.46	o 2719
16.01/16.49	o 2715
16.11/16.52	o 2711
16.11/16.56	o 2707
16.11/16.59	o 2704
16.21/16.63	o 2701
16.21/16.66	o 2697
16.21/16.69	o 2687
16.30/16.73	o 2685
16.30/16.75	o 2683
16.30/16.77	o 2681
16.30/16.80	o 2679
16.41/16.82	o 2677
16.41/16.85	o 2676
16.41/16.90	o 2675
16.51/16.93	o 2669
16.51/16.96	o 2667
16.51/16.99	o 2660
16.61/17.02	o 2657
16.61/17.08	o 2651
16.71/17.10	o 2645
16.71/17.12	o 2638
16.71/17.14	o 2631
16.71/17.15	o 2629
16.71/17.16	o 2626
16.71/17.18	o 2619
16.71/17.19	o 2613
16.81/17.20	o 2612
16.81/17.22	o 2603
16.81/17.23	o 2598
16.81/17.24	o 2595
16.81/17.25	o 2587
16.81/17.28	o 2582
16.81/17.29	o 2579
16.91/17.31	o 2572
16.91/17.33	o 2565
16.91/17.35	o 2561
16.91/17.37	o 2556
16.91/17.38	o 2555
17.01/17.40	o 2551
17.01/17.42	o 2548
17.01/17.43	o 2545
17.01/17.44	o 2542
17.01/17.46	o 2539
17.01/17.48	o 2537
17.01/17.50	o 2535
17.11/17.51	o 2533
17.11/17.53	o 2531
17.11/17.54	o 2530
17.11/17.56	o 2529
17.11/17.59	o 2528
17.21/17.62	o 2524
17.21/17.64	o 2523
17.21/17.66	o 2522
17.21/17.69	o 2519
17.30/17.70	o 2513
17.30/17.72	o 2504
17.30/17.74	o 2503
17.30/17.77	o 2497
17.30/17.78	o 2494
17.40/17.81	o 2488
17.40/17.83	o 2483
17.40/17.85	o 2479
17.51/17.95	o 2474
17.51/17.97	o 2473
17.51/17.99	o 2472
17.61/18.03	o 2468
17.61/18.06	o 2462
17.61/18.09	o 2456
17.70/18.12	o 2450
17.70/18.16	o 2446
17.80/18.20	o 2444
17.80/18.24	o 2441
17.80/18.28	o 2439
17.90/18.31	o 2437
17.90/18.34	o 2436
17.90/18.36	o 2435
17.90/18.38	o 2434
18.00/18.41	o 2433
18.00/18.43	o 2432
18.00/18.45	o 2431
18.10/18.50	o 2425
18.10/18.59	o 2423
18.20/18.62	o 2418
18.20/18.64	o 2416
18.20/18.67	o 2415
18.20/18.69	o 2410
18.29/18.71	o 2407
18.29/18.74	o 2405
18.29/18.76	o 2403
18.29/18.79	o 2395
18.39/18.83	o 2394
18.39/18.85	o 2389
18.39/18.87	o 2386
18.39/18.89	o 2382
18.49/18.92	o 2380
18.49/18.97	o 2379
18.49/18.98	o 2375
18.59/19.00	o 2374
18.59/19.03	o 2373
18.59/19.09	o 2372
18.69/19.11	o 2370
18.69/19.13	o 2365
18.69/19.15	o 2359
18.69/19.17	o 2356
18.69/19.20	o 2352
18.79/19.22	o 2349
18.79/19.24	o 2348
18.79/19.27	o 2347
18.79/19.28	o 2345
18.79/19.30	o 2340
18.89/19.31	o 2339
18.89/19.32	o 2334
18.89/19.34	o 2331
18.89/19.37	o 2328
18.89/19.39	o 2326
18.99/19.42	o 2324
18.99/19.45	o 2317
18.99/19.48	o 2315
19.09/19.50	o 2313
19.09/19.52	o 2312
19.09/19.53	o 2311
19.09/19.56	o 2310
19.19/19.66	o 2309
19.19/19.68	o 2307
19.19/19.69	o 2303
19.29/19.72	o 2298
19.29/19.73	o 2295
19.29/19.75	o 2293
19.29/19.78	o 2289
19.29/19.80	o 2287
19.38/19.82	o 2279
19.38/19.84	o 2275
19.38/19.86	o 2274
19.38/19.89	o 2272
19.48/19.92	o 2268
19.48/19.96	o 2264
19.48/19.98	o 2262
19.58/20.01	o 2261
19.58/20.06	o 2259
19.58/20.09	o 2254
19.68/20.11	o 2250
19.68/20.15	o 2248
19.68/20.18	o 2246
19.77/20.21	o 2243
19.77/20.23	o 2241
19.77/20.25	o 2239
19.77/20.27	o 2237
19.87/20.31	o 2235
19.87/20.34	o 2232
19.87/20.37	o 2230
19.97/20.40	o 2223
19.97/20.44	o 2220
19.97/20.48	o 2216
20.07/20.52	o 2213
20.07/20.56	o 2208
20.17/20.60	o 2207
20.17/20.64	o 2205
20.17/20.68	o 2203
20.27/20.70	o 2201
20.27/20.74	o 2200
20.27/20.77	o 2198
20.37/20.80	o 2197
20.37/20.83	o 2196
20.37/20.87	o 2192
20.47/20.91	o 2186
20.47/20.95	o 2184
20.47/20.99	o 2181
20.57/21.02	o 2178
20.57/21.07	o 2175
20.67/21.11	o 2172
20.67/21.15	o 2169
20.77/21.20	o 2167
20.77/21.25	o 2166
20.87/21.31	o 2165
21.27/21.77	o 2159
21.37/21.81	o 2156
21.37/21.86	o 2155
21.47/21.91	o 2153
21.47/21.95	o 2147
21.47/22.00	o 2144
21.57/22.04	o 2141
21.57/22.08	o 2140
21.67/22.12	o 2138
21.77/22.25	o 2136
21.77/22.29	o 2133
21.87/22.33	o 2131
21.87/22.38	o 2130
21.97/22.42	o 2129
21.97/22.47	o 2128
22.07/22.51	o 2126
22.07/22.59	o 2123
22.16/22.64	o 2118
22.16/22.68	o 2116
22.26/22.73	o 2115
22.26/22.79	o 2112
22.36/22.83	o 2106
22.36/22.89	o 2105
22.46/22.95	o 2097
22.56/23.01	o 2095
22.56/23.06	o 2094
22.66/23.11	o 2090
22.66/23.16	o 2086
22.76/23.22	o 2082
22.76/23.26	o 2080
22.86/23.32	o 2077
22.86/23.36	o 2076
22.96/23.41	o 2072
22.96/23.45	o 2071
22.96/23.48	o 2069
23.06/23.52	o 2067
23.16/23.60	o 2062
23.16/23.65	o 2061
23.16/23.69	o 2058
23.26/23.73	o 2056
23.35/23.81	o 2055
23.35/23.86	o 2053
23.45/23.90	o 2052
23.55/24.08	o 2049
23.65/24.12	o 2047
23.65/24.16	o 2044
23.65/24.20	o 2042
23.75/24.24	o 2036
23.75/24.28	o 2034
23.85/24.33	o 2032
23.95/24.43	o 2030
23.95/24.47	o 2027
24.25/24.71	o 2025
24.25/24.75	o 2022
24.35/24.83	o 2021
24.35/24.87	o 2019
24.45/25.00	o 2018
24.55/25.03	o 2016
24.55/25.07	o 2015
24.65/25.10	o 2014
24.65/25.13	o 2011
24.65/25.16	o 2010
24.65/25.18	o 2004
24.76/25.22	o 2002
24.76/25.25	o 2000
24.76/25.28	o 1998
24.85/25.31	o 1996
24.85/25.35	o 1994
24.95/25.41	o 1991
24.95/25.43	o 1988
25.05/25.55	o 1987
25.05/25.58	o 1985
25.15/25.61	o 1984
25.15/25.65	o 1981
25.15/25.68	o 1979
25.25/25.71	o 1978
25.25/25.74	o 1975
25.25/25.78	o 1973
25.34/25.82	o 1968
25.34/25.85	o 1966
25.34/25.89	o 1965
25.44/25.93	o 1961
25.44/25.98	o 1957
25.54/26.02	o 1954
25.54/26.07	o 1950
25.64/26.13	o 1948
25.64/26.17	o 1947
25.74/26.22	o 1944
25.74/26.26	o 1940
25.74/26.29	o 1936
25.84/26.34	o 1935
25.84/26.39	o 1933
25.94/26.44	o 1931
25.94/26.48	o 1928
26.03/26.53	o 1926
26.03/26.58	o 1923
26.13/26.64	o 1920
26.13/26.68	o 1919
26.23/26.72	o 1915
26.23/26.77	o 1913
26.33/26.82	o 1909
26.33/26.88	o 1905
26.43/26.94	o 1904
26.54/27.00	o 1902
26.54/27.04	o 1901
26.54/27.10	o 1893
26.64/27.14	o 1888
26.64/27.19	o 1886
26.74/27.24	o 1882
26.94/27.44	o 1879
27.04/27.54	o 1877
27.13/27.65	o 1871
27.23/27.70	o 1867
27.33/27.83	o 1864
27.33/27.88	o 1861
27.43/27.95	o 1859
27.53/28.01	o 1857
27.53/28.08	o 1855
27.63/28.15	o 1853
27.73/28.23	o 1851
27.73/28.29	o 1850
27.83/28.37	o 1849
27.93/28.44	o 1848
28.03/28.58	o 1846
28.13/28.65	o 1843
28.52/29.00	o 1842
28.62/29.13	o 1841
28.62/29.19	o 1837
28.72/29.27	o 1836
28.82/29.34	o 1834
28.93/29.41	o 1832
28.93/29.48	o 1830
29.02/29.54	o 1828
29.12/29.63	o 1827
29.12/29.69	o 1825
29.22/29.77	o 1823
29.32/29.85	o 1822
29.42/29.93	o 1818
29.52/30.02	o 1815
29.62/30.10	o 1814
29.62/30.17	o 1813
29.72/30.24	o 1809
29.82/30.31	o 1804
29.82/30.39	o 1802
29.92/30.48	o 1798
30.02/30.55	o 1796
30.22/30.79	o 1793
30.32/30.87	o 1789
30.41/30.95	o 1786
30.51/31.02	o 1784
30.51/31.09	o 1783
30.61/31.16	o 1782
30.71/31.22	o 1779
30.91/31.40	o 1777
30.91/31.46	o 1776
31.01/31.52	o 1773
31.01/31.57	o 1772
31.11/31.64	o 1769
31.20/31.71	o 1766
31.40/31.92	o 1765
31.40/31.99	o 1762
31.50/32.06	o 1761
31.60/32.14	o 1755
31.70/32.28	o 1754
31.80/32.35	o 1752
31.90/32.43	o 1750
31.90/32.50	o 1748
32.10/32.69	o 1747
32.50/33.05	o 1744
32.59/33.11	o 1743
32.59/33.17	o 1740
32.70/33.24	o 1737
32.80/33.36	o 1734
32.90/33.42	o 1731
32.99/33.55	o 1729
33.09/33.68	o 1727
33.19/33.74	o 1725
33.29/33.81	o 1724
33.29/33.88	o 1721
33.59/34.15	o 1720
33.69/34.21	o 1717
33.69/34.29	o 1716
33.79/34.36	o 1714
33.89/34.45	o 1710
33.99/34.51	o 1708
33.99/34.58	o 1704
34.09/34.66	o 1701
34.19/34.73	o 1699
34.29/34.81	o 1696
34.29/34.88	o 1694
34.39/34.96	o 1693
34.68/35.26	o 1689
34.78/35.33	o 1687
34.88/35.40	o 1684
34.88/35.47	o 1679
34.98/35.53	o 1678
34.98/35.60	o 1676
35.08/35.66	o 1675
35.18/35.74	o 1672
35.28/35.81	o 1671
35.48/36.02	o 1668
35.48/36.09	o 1667
35.58/36.15	o 1663
35.68/36.24	o 1658
35.78/36.30	o 1655
35.78/36.38	o 1653
35.97/36.50	o 1652
36.17/36.78	o 1649
36.27/36.85	o 1648
36.37/36.92	o 1647
36.37/36.98	o 1645
36.47/37.04	o 1641
36.57/37.17	o 1636
36.67/37.24	o 1633
36.77/37.32	o 1632
36.77/37.38	o 1630
36.87/37.45	o 1629
36.97/37.52	o 1626
36.97/37.59	o 1625
37.06/37.66	o 1624
37.16/37.73	o 1621
37.26/37.87	o 1619
37.36/37.94	o 1617
37.46/38.01	o 1614
37.46/38.08	o 1613
37.76/38.33	o 1610
37.86/38.46	o 1607
38.05/38.60	o 1606
38.15/38.74	o 1605
38.25/38.81	o 1604
38.25/38.88	o 1600
38.35/38.95	o 1593
38.45/39.02	o 1590
38.45/39.09	o 1586
38.55/39.16	o 1583
38.75/39.39	o 1582
38.86/39.47	o 1580
38.96/39.55	o 1575
39.06/39.65	o 1574
39.25/39.83	o 1573
39.35/39.91	o 1570
39.45/40.04	o 1568
39.55/40.11	o 1567
39.55/40.18	o 1564
39.65/40.26	o 1563
39.75/40.34	o 1562
39.95/40.51	o 1556
40.06/40.67	o 1554
40.16/40.75	o 1552
40.25/40.83	o 1550
40.35/40.91	o 1547
40.45/41.08	o 1546
40.55/41.16	o 1541
40.65/41.23	o 1537
40.75/41.30	o 1530
40.75/41.37	o 1528
40.85/41.45	o 1526
40.95/41.59	o 1524
41.05/41.66	o 1522
41.15/41.74	o 1519
41.25/41.81	o 1518
41.25/41.87	o 1515
41.35/41.94	o 1511
41.45/42.01	o 1509
41.75/42.38	o 1508
41.85/42.46	o 1505
42.15/42.73	o 1503
42.15/42.79	o 1500
42.25/42.86	o 1496
42.35/42.92	o 1492
42.64/43.24	o 1491
42.64/43.30	o 1489
42.74/43.36	o 1488
42.84/43.42	o 1486
42.94/43.54	o 1484
43.04/43.60	o 1480
43.04/43.66	o 1476
43.14/43.73	o 1474
43.24/43.86	o 1470
43.35/43.92	o 1468
43.45/44.05	o 1466
43.54/44.12	o 1464
43.54/44.18	o 1463
43.64/44.24	o 1461
43.64/44.28	o 1459
43.74/44.35	o 1457
43.84/44.46	o 1455
44.14/44.70	o 1453
44.14/44.76	o 1451
44.24/44.83	o 1448
44.34/44.96	o 1447
44.44/45.03	o 1446
44.53/45.17	o 1444
44.63/45.24	o 1441
44.73/45.35	o 1439
44.83/45.47	o 1437
44.93/45.55	o 1436
45.03/45.61	o 1434
45.03/45.68	o 1432
45.13/45.74	o 1429
45.23/45.87	o 1427
45.43/46.01	o 1425
45.43/46.07	o 1422
45.52/46.20	o 1419
45.62/46.26	o 1418
45.72/46.33	o 1414
46.22/46.81	o 1411
46.32/46.96	o 1406
46.41/47.03	o 1402
46.51/47.10	o 1401
46.61/47.24	o 1400
46.91/47.53	o 1399
47.01/47.65	o 1398
47.12/47.72	o 1397
47.12/47.78	o 1396
47.22/47.84	o 1395
47.22/47.89	o 1393
47.32/47.96	o 1391
47.42/48.03	o 1388
47.42/48.09	o 1384
47.52/48.16	o 1380
47.61/48.22	o 1378
47.71/48.33	o 1376
47.71/48.38	o 1372
47.81/48.45	o 1370
47.91/48.51	o 1369
47.91/48.57	o 1368
48.01/48.62	o 1365
48.01/48.68	o 1363
48.11/48.74	o 1361
48.11/48.79	o 1358
48.21/48.84	o 1355
48.41/49.08	o 1352
48.61/49.21	o 1351
48.81/49.40	o 1350
48.81/49.48	o 1349
48.91/49.54	o 1348
49.00/49.61	o 1345
49.10/49.74	o 1344
49.20/49.81	o 1343
49.20/49.88	o 1339
49.30/49.95	o 1337
49.60/50.23	o 1335
49.70/50.30	o 1332
49.70/50.37	o 1330
49.90/50.52	o 1329
49.90/50.59	o 1323
50.00/50.67	o 1319
50.39/51.04	o 1317
50.49/51.12	o 1313
50.69/51.31	o 1310
50.69/51.39	o 1308
50.99/51.67	o 1307
51.09/51.73	o 1304
51.29/51.92	o 1302
51.39/52.09	o 1298
51.59/52.28	o 1297
51.69/52.36	o 1295
51.79/52.43	o 1291
51.79/52.50	o 1289
51.89/52.56	o 1286
52.09/52.76	o 1283
52.19/52.89	o 1279
52.28/52.96	o 1277
52.48/53.19	o 1273
52.58/53.27	o 1270
52.68/53.35	o 1268
52.78/53.44	o 1267
52.88/53.54	o 1266
52.98/53.62	o 1264
53.87/54.52	o 1262
53.97/54.60	o 1259
53.97/54.68	o 1258
54.07/54.75	o 1257
54.17/54.83	o 1256
54.27/54.91	o 1255
54.27/54.98	o 1251
54.37/55.06	o 1250
54.57/55.23	o 1248
54.67/55.31	o 1247
54.78/55.48	o 1246
54.87/55.57	o 1244
54.97/55.66	o 1243
55.08/55.75	o 1241
55.18/55.84	o 1239
55.28/55.93	o 1236
55.47/56.12	o 1234
55.57/56.21	o 1232
55.87/56.51	o 1229
55.97/56.70	o 1227
56.37/57.09	o 1224
56.47/57.19	o 1222
56.57/57.29	o 1220
56.67/57.40	o 1217
56.76/57.50	o 1216
56.96/57.68	o 1214
57.56/58.24	o 1212
58.36/59.04	o 1207
58.76/59.46	o 1206
58.95/59.67	o 1205
59.05/59.77	o 1201
59.25/59.98	o 1200
59.35/60.09	o 1198
59.55/60.21	o 1196
59.65/60.32	o 1195
59.85/60.52	o 1193
59.94/60.62	o 1189
60.14/60.81	o 1187
60.24/60.91	o 1186
60.54/61.21	o 1185
60.64/61.31	o 1184
60.74/61.41	o 1182
60.84/61.51	o 1178
60.94/61.62	o 1176
61.04/61.73	o 1174
61.24/61.94	o 1172
62.04/62.71	o 1171
62.23/62.93	o 1169
62.33/63.04	o 1168
63.03/63.73	o 1166
63.13/63.82	o 1165
63.22/63.92	o 1164
63.52/64.23	o 1162
63.62/64.32	o 1158
63.72/64.40	o 1155
64.22/64.94	o 1154
64.41/65.16	o 1152
64.51/65.27	o 1151
64.81/65.51	o 1150
65.01/65.74	o 1148
65.12/65.86	o 1147
65.32/66.09	o 1145
65.52/66.21	o 1144
65.62/66.32	o 1140
65.92/66.67	o 1139
66.31/67.04	o 1137
66.41/67.16	o 1136
67.21/67.92	o 1135
68.30/69.03	o 1134
68.40/69.14	o 1130
68.50/69.25	o 1128
68.60/69.33	o 1126
68.79/69.57	o 1122
68.89/69.67	o 1121
68.99/69.77	o 1119
69.09/69.88	o 1115
69.19/69.99	o 1113
69.39/70.11	o 1112
69.59/70.33	o 1111
69.89/70.65	o 1110
70.19/70.98	o 1109
70.49/71.20	o 1108
70.59/71.32	o 1106
70.69/71.43	o 1104
70.79/71.54	o 1102
70.88/71.65	o 1100
71.18/71.98	o 1099
71.28/72.08	o 1097
71.48/72.20	o 1095
71.68/72.44	o 1094
71.78/72.58	o 1093
71.88/72.70	o 1091
72.18/72.94	o 1089
72.28/73.06	o 1086
72.58/73.30	o 1084
72.68/73.42	o 1081
72.77/73.53	o 1080
72.87/73.65	o 1078
72.97/73.77	o 1077
73.27/74.02	o 1074
73.37/74.15	o 1073
73.57/74.35	o 1072
73.67/74.47	o 1069
73.98/74.71	o 1068
74.17/74.95	o 1067
74.47/75.30	o 1061
74.87/75.64	o 1059
76.07/76.84	o 1057
76.17/76.95	o 1054
76.46/77.27	o 1050
76.56/77.37	o 1047
76.66/77.49	o 1046
77.06/77.82	o 1043
77.26/78.04	o 1042
77.55/78.37	o 1041
77.65/78.49	o 1039
77.95/78.72	o 1037
78.05/78.84	o 1033
78.15/78.96	o 1031
78.25/79.08	o 1030
78.64/79.45	o 1029
78.94/79.70	o 1027
78.94/79.78	o 1023
79.14/79.90	o 1021
79.24/80.04	o 1019
79.34/80.15	o 1018
79.44/80.28	o 1017
79.63/80.40	o 1014
79.93/80.78	o 1012
80.53/81.33	o 1011
80.63/81.45	o 1010
84.70/85.53	o 1009
85.10/85.99	o 1006
85.30/86.16	o 1004
85.80/86.65	o 1003
86.00/86.82	o 1002
86.10/86.98	o 1001
86.29/87.16	o 1000
86.49/87.33	o 996
86.59/87.45	o 995
88.09/88.92	o 993
88.19/89.09	o 992
88.58/89.42	o 991
88.88/89.74	o 990
89.87/90.71	o 989
90.17/91.04	o 988
90.27/91.19	o 987
90.67/91.51	o 986
90.77/91.68	o 982
92.36/93.28	o 981
92.56/93.45	o 979
93.05/93.97	o 977
93.25/94.15	o 974
93.45/94.35	o 973
93.84/94.75	o 972
94.04/94.95	o 971
94.24/95.15	o 970
94.44/95.36	o 969
94.85/95.79	o 968
96.93/97.87	o 965
97.13/98.07	o 964
97.54/98.45	o 963
110.07/111.04	o 961
110.26/111.27	o 959
110.46/111.49	o 958
110.76/111.72	o 957
111.16/112.18	o 956
111.86/112.90	o 950
112.16/113.13	o 948
112.26/113.29	o 947
112.55/113.53	o 946
112.75/113.76	o 945
113.25/114.24	o 944
113.35/114.39	o 942
113.84/114.85	o 940
114.04/115.07	o 939
114.44/115.47	o 937
114.74/115.70	o 936
115.14/116.16	o 934
115.64/116.62	o 930
117.13/118.15	o 929
117.33/118.37	o 926
119.11/120.19	o 924
119.52/120.51	o 922
119.92/120.93	o 921
120.31/121.37	o 919
120.51/121.59	o 918
120.81/121.81	o 917
121.20/122.24	o 916
121.80/122.90	o 913
122.49/123.55	o 912
122.89/123.92	o 911
123.68/124.73	o 910
124.08/125.15	o 909
124.29/125.37	o 908
124.78/125.81	o 907
125.18/126.25	o 906
125.38/126.47	o 905
126.07/127.16	o 903
126.57/127.70	o 902
127.06/128.12	o 899
127.46/128.56	o 897
127.95/129.01	o 896
128.16/129.24	o 895
128.36/129.46	o 894
128.56/129.68	o 893
128.85/129.90	o 891
130.45/131.57	o 889
130.65/131.78	o 886
131.54/132.64	o 885
131.64/132.71	o 883
132.04/133.17	o 881
132.24/133.37	o 880
132.43/133.59	o 879
132.63/133.79	o 878
133.72/134.84	o 877
133.92/135.04	o 872
134.32/135.42	o 870
134.52/135.63	o 869
138.69/139.82	o 865
139.49/140.63	o 861
139.89/141.07	o 860
140.29/141.46	o 859
140.49/141.63	o 856
140.69/141.86	o 855
141.59/142.72	o 853
141.98/143.19	o 847
142.48/143.61	o 846
143.37/144.52	o 844
145.76/146.99	o 841
145.96/147.15	o 840
146.06/147.26	o 838
146.26/147.43	o 835
146.36/147.59	o 834
146.56/147.78	o 830
146.76/147.90	o 828
146.86/148.08	o 826
147.06/148.26	o 824
147.26/148.44	o 823
147.45/148.62	o 821
147.75/148.98	o 820
147.95/149.17	o 817
148.15/149.35	o 815
148.35/149.54	o 813
148.54/149.74	o 812
148.74/149.93	o 810
149.14/150.34	o 807
149.34/150.55	o 806
149.94/151.18	o 802
150.83/152.03	o 801
151.23/152.46	o 799
151.63/152.88	o 798
152.73/153.91	o 797
152.92/154.12	o 796
153.12/154.31	o 794
153.22/154.43	o 793
153.92/155.14	o 790
154.11/155.32	o 787
154.31/155.51	o 786
154.41/155.63	o 783
154.51/155.77	o 782
154.61/155.89	o 781
154.81/156.04	o 778
156.00/157.24	o 777
156.69/157.92	o 774
156.89/158.10	o 772
157.19/158.44	o 770
158.09/159.35	o 769
162.06/163.33	o 768
162.26/163.51	o 767
162.36/163.65	o 765
162.56/163.88	o 764
162.95/164.21	o 763
163.05/164.38	o 761
163.25/164.55	o 760
163.45/164.71	o 759
163.55/164.88	o 758
165.24/166.57	o 756
165.45/166.75	o 753
165.75/167.09	o 752
166.44/167.78	o 751
166.64/167.93	o 748
166.84/168.10	o 746
167.13/168.47	o 745
168.22/169.56	o 742
168.42/169.74	o 741
168.62/169.94	o 740
169.12/170.49	o 739
169.72/171.06	o 738
169.92/171.25	o 737
170.71/172.02	o 736
172.20/173.57	o 734
172.40/173.76	o 733
172.60/173.96	o 732
172.80/174.15	o 729
173.00/174.35	o 728
176.78/178.15	o 726
177.18/178.50	o 723
177.77/179.18	o 722
177.97/179.35	o 721
178.16/179.52	o 720
179.86/181.21	o 719
180.36/181.74	o 718
180.56/181.91	o 715
180.86/182.27	o 713
181.06/182.44	o 711
181.45/182.85	o 708
184.34/185.71	o 707
185.14/186.57	o 706
185.34/186.74	o 704
185.54/186.92	o 703
196.57/198.03	o 700
197.07/198.57	o 699
197.28/198.74	o 698
198.86/200.38	o 693
199.06/200.57	o 690
199.86/201.35	o 687
200.45/201.92	o 685
205.03/206.56	o 684
205.72/207.23	o 683
205.92/207.46	o 681
206.12/207.64	o 679
206.32/207.84	o 677
208.01/209.57	o 676
208.91/210.43	o 675
209.11/210.66	o 673
209.60/211.12	o 672
209.80/211.34	o 671
210.00/211.55	o 670
210.20/211.77	o 669
218.46/220.05	o 667
218.65/220.26	o 664
218.85/220.48	o 663
219.15/220.71	o 662
221.94/223.58	o 661
224.21/225.82	o 659
225.91/227.56	o 658
226.11/227.74	o 657
226.60/228.21	o 656
227.00/228.66	o 654
227.30/228.90	o 652
227.50/229.13	o 651
228.39/230.04	o 649
230.68/232.32	o 648
231.08/232.77	o 647
231.38/233.00	o 646
231.77/233.46	o 645
232.67/234.40	o 644
233.97/235.62	o 643
234.47/236.10	o 638
234.67/236.34	o 637
234.87/236.59	o 635
235.16/236.83	o 633
240.43/242.13	o 630
240.62/242.36	o 628
241.02/242.79	o 627
241.91/243.63	o 626
245.29/247.07	o 625
245.79/247.53	o 624
245.99/247.76	o 623
246.49/248.24	o 622
255.44/257.21	o 620
255.74/257.51	o 618
255.93/257.74	o 617
256.14/257.98	o 616
256.44/258.21	o 615
256.83/258.70	o 613
257.13/258.93	o 612
257.62/259.42	o 609
258.11/259.90	o 608
258.51/260.39	o 607
258.81/260.63	o 606
258.91/260.73	o 601
260.10/261.90	o 599
260.20/262.03	o 597
260.40/262.27	o 596
264.18/266.00	o 594
267.75/269.61	o 593
268.15/270.05	o 592
269.94/271.85	o 590
270.54/272.47	o 588
270.74/272.68	o 587
270.94/272.88	o 584
271.14/273.04	o 583
271.33/273.25	o 582
271.53/273.47	o 579
271.73/273.65	o 577
272.13/274.07	o 575
273.03/274.93	o 574
275.22/277.12	o 573
276.01/278.00	o 572
276.51/278.44	o 571
277.40/279.34	o 566
277.90/279.80	o 565
293.33/295.40	o 563
293.53/295.59	o 562
293.73/295.78	o 561
293.93/295.99	o 559
294.22/296.25	o 556
294.42/296.49	o 554
295.31/297.38	o 553
296.11/298.17	o 552
296.81/298.84	o 551
309.84/311.94	o 549
316.50/318.61	o 548
318.48/320.64	o 547
319.47/321.67	o 545
319.77/321.93	o 544
322.16/324.37	o 543
330.12/332.37	o 542
330.41/332.66	o 541
330.61/332.86	o 540
330.91/333.11	o 539
335.87/338.10	o 536
336.87/339.12	o 534
337.37/339.68	o 533
339.16/341.45	o 532
339.75/342.05	o 529
369.79/372.26	   
369.79/372.26	   search
369.79/372.26	     run=0  nbConstraintChecks=920443239  nbAssignments=2426
369.79/372.26	       =>  wckTime=356.981  cpuTime=354.91  mem=34M271
369.79/372.26	   
369.79/372.26	   global
369.79/372.26	     nbConstraintChecks=920443239  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
369.79/372.26	     solvingWckTime=356.975  solvingCpuTime=354.9  expiredTime=no  totalExploration=no  nbFoundSolutions=0
369.79/372.26	     globalCpuTime=368.8
369.79/372.26	       =>  wckTime=371.733  cpuTime=368.75  mem=34M271
369.79/372.26	   
369.79/372.26	   solver DecomposerSolver being built... 
372.10/413.82	       =>  wckTime=413.297  cpuTime=369.44  mem=770M512
398.85/440.72	   
398.85/440.72	   preprocessing
398.85/440.72	     nbConstraintChecks=85951958  nbValidityChecks=317049  nbPropagations=900  nbRevisions=18009
398.85/440.72	     nbUselessRevisions=18004  nbRemovedValues=236  detectedInconsistency=no
398.85/440.72	       =>  wckTime=26.894  cpuTime=26.73  mem=770M512
399.16/441.04	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-1112822-1215874355/watcher-1112822-1215874355 -o /tmp/evaluation-result-1112822-1215874355/solver-1112822-1215874355 -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-1112822-1215874355.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.45 2.53 2.55 2/81 20542
/proc/meminfo: memFree=1776872/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=18572 CPUtime=0
/proc/20542/stat : 20542 (runsolver) R 20540 20542 19410 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44134614 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 250968861991 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20542/statm: 4643 292 257 25 0 2626 0

[startup+0.0785419 s]
/proc/loadavg: 2.45 2.53 2.55 2/81 20542
/proc/meminfo: memFree=1776872/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=200 CPUtime=0
/proc/20542/stat : 20542 (java) R 20540 20542 19410 0 -1 0 46 0 0 0 0 0 0 0 19 0 1 0 44134614 204800 31 996147200 134512640 134550740 4294956128 18446744073709551615 11894532 0 0 4096 0 0 0 0 17 0 0 0
/proc/20542/statm: 50 31 24 9 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 200

[startup+0.101546 s]
/proc/loadavg: 2.45 2.53 2.55 2/81 20542
/proc/meminfo: memFree=1776872/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=1644 CPUtime=0
/proc/20542/stat : 20542 (java) R 20540 20542 19410 0 -1 0 158 0 0 0 0 0 0 0 19 0 1 0 44134614 1683456 131 996147200 134512640 134550740 4294956128 18446744073709551615 11895941 0 0 4096 0 0 0 0 17 0 0 0
/proc/20542/statm: 411 131 105 9 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1644

[startup+0.301584 s]
/proc/loadavg: 2.45 2.53 2.55 2/81 20542
/proc/meminfo: memFree=1776872/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=44480 CPUtime=0.01
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 913 0 1 0 0 1 0 0 19 0 2 0 44134614 45547520 663 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 11120 663 358 9 0 9518 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 44480

[startup+0.701647 s]
/proc/loadavg: 2.45 2.53 2.55 2/81 20542
/proc/meminfo: memFree=1776872/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=866236 CPUtime=0.4
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 6134 0 1 0 36 4 0 0 19 0 9 0 44134614 887025664 5505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216559 5505 1956 9 0 211087 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 866236

[startup+1.5028 s]
/proc/loadavg: 2.50 2.54 2.55 4/90 20551
/proc/meminfo: memFree=1754144/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867728 CPUtime=1.19
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 12921 0 1 0 112 7 0 0 19 0 9 0 44134614 888553472 12281 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216932 12282 2013 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867728 CPUtime=1.01
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 11568 0 1 0 95 6 0 0 18 0 9 0 44134630 888553472 12282 996147200 134512640 134550740 4294955952 18446744073709551615 4126551063 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44134645 888553472 12283 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 44134645 888553472 12284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 44134645 888553472 12284 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888553472 12285 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867728 CPUtime=0.16
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 657 0 0 0 16 0 0 0 16 0 9 0 44134647 888553472 12285 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888553472 12286 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888553472 12287 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 867728

[startup+3.10109 s]
/proc/loadavg: 2.50 2.54 2.55 3/90 20551
/proc/meminfo: memFree=1708512/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867640 CPUtime=2.78
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 19631 0 1 0 268 10 0 0 19 0 9 0 44134614 888463360 18964 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216910 18964 2006 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867640 CPUtime=2.48
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15792 0 1 0 240 8 0 0 25 0 9 0 44134630 888463360 18964 996147200 134512640 134550740 4294955952 18446744073709551615 4126913793 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867640 CPUtime=0.08
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 2466 0 0 0 8 0 0 0 17 0 9 0 44134645 888463360 18964 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 18964 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 18964 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888463360 18964 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867640 CPUtime=0.19
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 677 0 0 0 19 0 0 0 16 0 9 0 44134647 888463360 18964 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888463360 18964 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888463360 18964 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 867640

[startup+6.30266 s]
/proc/loadavg: 2.46 2.53 2.54 3/90 20551
/proc/meminfo: memFree=1708256/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867640 CPUtime=5.96
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 19655 0 1 0 585 11 0 0 19 0 9 0 44134614 888463360 18985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216910 18985 2006 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867640 CPUtime=5.64
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15795 0 1 0 555 9 0 0 25 0 9 0 44134630 888463360 18985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867640 CPUtime=0.08
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 2466 0 0 0 8 0 0 0 17 0 9 0 44134645 888463360 18985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 18985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 18985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888463360 18985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867640 CPUtime=0.21
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 698 0 0 0 21 0 0 0 15 0 9 0 44134647 888463360 18985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888463360 18985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888463360 18985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 867640

[startup+12.7018 s]
/proc/loadavg: 2.42 2.52 2.54 3/90 20551
/proc/meminfo: memFree=1694432/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867640 CPUtime=12.32
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 23094 0 1 0 1217 15 0 0 19 0 9 0 44134614 888463360 22418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216910 22418 2007 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867640 CPUtime=11.86
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15805 0 1 0 1175 11 0 0 25 0 9 0 44134630 888463360 22418 996147200 134512640 134550740 4294955952 18446744073709551615 4127015164 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867640 CPUtime=0.17
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 5869 0 0 0 15 2 0 0 16 0 9 0 44134645 888463360 22418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 22418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 22418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888463360 22418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867640 CPUtime=0.26
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 724 0 0 0 26 0 0 0 15 0 9 0 44134647 888463360 22418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888463360 22418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888463360 22418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 867640

[startup+25.5021 s]
/proc/loadavg: 2.54 2.54 2.55 3/80 20563
/proc/meminfo: memFree=1813368/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867728 CPUtime=25.05
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 28191 0 1 0 2482 23 0 0 19 0 9 0 44134614 888553472 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216932 27321 2640 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867728 CPUtime=24.19
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15870 0 1 0 2402 17 0 0 25 0 9 0 44134630 888553472 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4127193027 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867728 CPUtime=0.52
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 10879 0 0 0 49 3 0 0 16 0 9 0 44134645 888553472 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888553472 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44134645 888553472 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888553472 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867728 CPUtime=0.3
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 746 0 0 0 29 1 0 0 16 0 9 0 44134647 888553472 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888553472 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888553472 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 867728

[startup+51.1026 s]
/proc/loadavg: 2.37 2.50 2.53 4/92 20635
/proc/meminfo: memFree=1793432/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867728 CPUtime=50.49
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 28197 0 1 0 5020 29 0 0 19 0 9 0 44134614 888553472 27326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216932 27326 2640 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867728 CPUtime=49.63
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15871 0 1 0 4940 23 0 0 25 0 9 0 44134630 888553472 27326 996147200 134512640 134550740 4294955952 18446744073709551615 4126887350 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867728 CPUtime=0.52
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 10879 0 0 0 49 3 0 0 16 0 9 0 44134645 888553472 27326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888553472 27326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44134645 888553472 27326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888553472 27326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867728 CPUtime=0.31
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 751 0 0 0 30 1 0 0 16 0 9 0 44134647 888553472 27326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867728 CPUtime=0

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

/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 44134645 888553472 29366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888553472 29366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867728 CPUtime=0.34
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 768 0 0 0 33 1 0 0 16 0 9 0 44134647 888553472 29366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888553472 29366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867728 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888553472 29366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 370.15
Current children cumulated vsize (KiB) 867728

[startup+422.503 s]
/proc/loadavg: 8.64 5.55 3.73 2/86 20653
/proc/meminfo: memFree=362504/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867640 CPUtime=380.77
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 200422 0 1 0 37942 135 0 0 19 0 9 0 44134614 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216910 199473 2618 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867640 CPUtime=378.28
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15958 0 1 0 37759 69 0 0 25 0 9 0 44134630 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4126891165 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867640 CPUtime=2.1
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 182973 0 0 0 146 64 0 0 17 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 21 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867640 CPUtime=0.36
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 779 0 0 0 35 1 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 380.77
Current children cumulated vsize (KiB) 867640

[startup+428.903 s]
/proc/loadavg: 8.67 5.61 3.76 2/86 20653
/proc/meminfo: memFree=385160/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867640 CPUtime=387.13
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 200422 0 1 0 38577 136 0 0 19 0 9 0 44134614 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216910 199473 2618 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867640 CPUtime=384.64
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15958 0 1 0 38394 70 0 0 25 0 9 0 44134630 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4127066242 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867640 CPUtime=2.1
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 182973 0 0 0 146 64 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 21 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867640 CPUtime=0.36
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 779 0 0 0 35 1 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 387.13
Current children cumulated vsize (KiB) 867640

[startup+435.302 s]
/proc/loadavg: 8.69 5.66 3.79 2/86 20653
/proc/meminfo: memFree=409480/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867640 CPUtime=393.49
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 200422 0 1 0 39213 136 0 0 19 0 9 0 44134614 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216910 199473 2618 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867640 CPUtime=391
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15958 0 1 0 39030 70 0 0 25 0 9 0 44134630 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4127195130 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867640 CPUtime=2.1
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 182973 0 0 0 146 64 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 21 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867640 CPUtime=0.36
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 779 0 0 0 35 1 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 393.49
Current children cumulated vsize (KiB) 867640

[startup+438.503 s]
/proc/loadavg: 8.72 5.72 3.82 2/87 20654
/proc/meminfo: memFree=423872/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867640 CPUtime=396.67
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 200422 0 1 0 39531 136 0 0 19 0 9 0 44134614 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216910 199473 2618 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867640 CPUtime=394.18
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15958 0 1 0 39348 70 0 0 25 0 9 0 44134630 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4126622343 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867640 CPUtime=2.1
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 182973 0 0 0 146 64 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 21 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867640 CPUtime=0.36
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 779 0 0 0 35 1 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 396.67
Current children cumulated vsize (KiB) 867640

[startup+440.102 s]
/proc/loadavg: 8.72 5.72 3.82 2/87 20654
/proc/meminfo: memFree=434304/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867640 CPUtime=398.26
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 200422 0 1 0 39690 136 0 0 19 0 9 0 44134614 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216910 199473 2618 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867640 CPUtime=395.77
/proc/20542/task/20544/stat : 20544 (java) R 20540 20542 19410 0 -1 64 15958 0 1 0 39507 70 0 0 25 0 9 0 44134630 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4126891703 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867640 CPUtime=2.1
/proc/20542/task/20545/stat : 20545 (java) S 20540 20542 19410 0 -1 64 182973 0 0 0 146 64 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 21 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867640 CPUtime=0.36
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 779 0 0 0 35 1 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.26
Current children cumulated vsize (KiB) 867640

[startup+440.902 s]
/proc/loadavg: 8.72 5.72 3.82 2/87 20654
/proc/meminfo: memFree=434304/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=867640 CPUtime=399.06
/proc/20542/stat : 20542 (java) S 20540 20542 19410 0 -1 0 200424 0 1 0 39769 137 0 0 19 0 9 0 44134614 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 216910 199473 2618 9 0 211438 0
[pid=20542/tid=20544] ppid=20540 vsize=867640 CPUtime=396.39
/proc/20542/task/20544/stat : 20544 (java) S 20540 20542 19410 0 -1 64 15960 0 1 0 39569 70 0 0 25 0 9 0 44134630 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20545] ppid=20540 vsize=867640 CPUtime=2.27
/proc/20542/task/20545/stat : 20545 (java) R 20540 20542 19410 0 -1 64 182973 0 0 0 163 64 0 0 17 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20546] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20546/stat : 20546 (java) S 20540 20542 19410 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20547] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20547/stat : 20547 (java) S 20540 20542 19410 0 -1 64 21 0 0 0 0 0 0 0 16 0 9 0 44134645 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20548] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20548/stat : 20548 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20549] ppid=20540 vsize=867640 CPUtime=0.36
/proc/20542/task/20549/stat : 20549 (java) S 20540 20542 19410 0 -1 64 779 0 0 0 35 1 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20542/tid=20550] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20550/stat : 20550 (java) S 20540 20542 19410 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20542/tid=20551] ppid=20540 vsize=867640 CPUtime=0
/proc/20542/task/20551/stat : 20551 (java) S 20540 20542 19410 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44134647 888463360 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.06
Current children cumulated vsize (KiB) 867640

[startup+441.102 s]
/proc/loadavg: 8.72 5.72 3.82 2/87 20654
/proc/meminfo: memFree=434304/2055920 swapFree=4192812/4192956
[pid=20542] ppid=20540 vsize=0 CPUtime=399.23
/proc/20542/stat : 20542 (java) Z 20540 20542 19410 0 -1 12 200431 0 1 0 39784 139 0 0 16 0 2 0 44134614 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20542/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 399.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 441.2
CPU time (s): 399.332
CPU user time (s): 397.842
CPU system time (s): 1.49077
CPU usage (%): 90.5105
Max. virtual memory (cumulated for all children) (KiB): 867732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.842
system time used= 1.49077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200431
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= 10240
involuntary context switches= 16832

runsolver used 0.562914 second user time and 1.54876 second system time

The end

Launcher Data (download as text)

Begin job on node56 at 2008-07-12 16:52:36
IDJOB=1112822
IDBENCH=61480
IDSOLVER=360
FILE ID=node56/1112822-1215874355
PBS_JOBID= 7903482
Free space on /tmp= 103236 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp10/normalized-fapp10-0900-0.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-1112822-1215874355/watcher-1112822-1215874355 -o /tmp/evaluation-result-1112822-1215874355/solver-1112822-1215874355 -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-1112822-1215874355.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 6c0f6900ea5b66ed7e32c3099d9a431e
RANDOM SEED=1397400238

node56.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.272
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.272
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:       1777352 kB
Buffers:          7100 kB
Cached:          46348 kB
SwapCached:          0 kB
Active:         216376 kB
Inactive:        11548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1777352 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3504 kB
Writeback:           0 kB
Mapped:         193292 kB
Slab:            35564 kB
Committed_AS:  1053264 kB
PageTables:       2264 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= 101020 MiB
End job on node56 at 2008-07-12 16:59:57