Trace number 1112821

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? 424.144 428.488

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.06/0.22	
0.06/0.22	Abscon 112 (May, 2008)
0.16/0.39	
0.16/0.39	   configuration
0.16/0.39	     name=mrdac-wdeg.xml
0.25/0.43	   
0.25/0.43	   instance
0.25/0.43	     name=HOME/instance-1112821-1215874349.xml
0.25/0.47	   
0.25/0.47	   domains being loaded...
0.36/0.52	   
0.36/0.52	   variables being loaded...
0.45/0.68	     nbVariables=900  nbDomainTypes=28  minDomainSize=42  maxDomainSize=362  nbTotalValues=197665
0.45/0.68	       =>  wckTime=0.282  cpuTime=0.21  mem=14M693
0.45/0.68	   
0.45/0.68	   predicates being loaded...
0.55/0.74	   
0.55/0.74	   constraints being loaded...
10.45/10.77	   
10.45/10.77	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 41M637)
14.61/14.93	     nbConstraints=11381  nbConvertedConstraints=645  nbConvertConstraintsChecks=41423954  nbExtensionStructures=611
14.61/14.93	     nbSharedExtensionStructures=91  nbConflictsStructures=2225  nbSharedConflictsStructures=242
14.61/14.93	     nbUnbuiltConflictsStructures=5463  nbSharedBinaryRepresentations=228302  nbEvaluationManagers=7077
14.61/14.93	     nbSharedEvaluationManagers=3659  minDegree=5  maxDegree=55  minArity=2  maxArity=2
14.61/14.93	       =>  wckTime=14.535  cpuTime=13.89  mem=63M560
14.81/15.19	   
14.81/15.19	   solver LocalSearchSolver being built... 
14.92/15.23	       =>  wckTime=14.838  cpuTime=13.93  mem=34M284
15.02/15.33	
15.02/15.33	s SATISFIABLE
15.02/15.33	o 2949
15.02/15.37	o 2941
15.02/15.40	o 2933
15.12/15.42	o 2925
15.12/15.44	o 2919
15.12/15.48	o 2915
15.21/15.50	o 2911
15.21/15.52	o 2908
15.21/15.54	o 2903
15.21/15.56	o 2899
15.21/15.58	o 2895
15.21/15.59	o 2892
15.31/15.61	o 2891
15.31/15.67	o 2883
15.41/15.72	o 2880
15.41/15.76	o 2872
15.41/15.78	o 2866
15.50/15.81	o 2861
15.50/15.82	o 2856
15.50/15.85	o 2851
15.50/15.86	o 2847
15.50/15.87	o 2843
15.60/15.90	o 2840
15.60/15.91	o 2837
15.60/15.93	o 2835
15.60/15.94	o 2834
15.60/15.96	o 2833
15.60/15.98	o 2829
15.60/16.00	o 2827
15.70/16.02	o 2821
15.70/16.04	o 2815
15.70/16.06	o 2809
15.70/16.07	o 2804
15.70/16.09	o 2800
15.81/16.11	o 2796
15.81/16.12	o 2794
15.81/16.14	o 2791
15.81/16.15	o 2788
15.81/16.17	o 2786
15.81/16.20	o 2783
15.91/16.21	o 2779
15.91/16.23	o 2776
15.91/16.24	o 2772
15.91/16.26	o 2766
15.91/16.28	o 2762
15.91/16.29	o 2757
16.01/16.31	o 2748
16.01/16.34	o 2740
16.01/16.36	o 2737
16.01/16.39	o 2732
16.11/16.42	o 2727
16.11/16.45	o 2719
16.11/16.49	o 2715
16.20/16.52	o 2711
16.20/16.56	o 2707
16.20/16.59	o 2704
16.30/16.63	o 2701
16.30/16.66	o 2697
16.30/16.69	o 2687
16.40/16.73	o 2685
16.40/16.75	o 2683
16.40/16.78	o 2681
16.50/16.80	o 2679
16.50/16.83	o 2677
16.50/16.85	o 2676
16.59/16.91	o 2675
16.59/16.94	o 2669
16.59/16.97	o 2667
16.69/17.00	o 2660
16.69/17.03	o 2657
16.69/17.10	o 2651
16.79/17.12	o 2645
16.79/17.14	o 2638
16.79/17.15	o 2631
16.79/17.16	o 2629
16.79/17.18	o 2626
16.79/17.19	o 2619
16.89/17.21	o 2613
16.89/17.22	o 2612
16.89/17.23	o 2603
16.89/17.25	o 2598
16.89/17.26	o 2595
16.89/17.27	o 2587
16.89/17.29	o 2582
16.99/17.31	o 2579
16.99/17.32	o 2572
16.99/17.35	o 2565
16.99/17.37	o 2561
16.99/17.39	o 2556
17.09/17.40	o 2555
17.09/17.42	o 2551
17.09/17.44	o 2548
17.09/17.45	o 2545
17.09/17.46	o 2542
17.09/17.48	o 2539
17.18/17.50	o 2537
17.18/17.52	o 2535
17.18/17.54	o 2533
17.18/17.55	o 2531
17.18/17.57	o 2530
17.18/17.58	o 2529
17.28/17.61	o 2528
17.28/17.65	o 2524
17.28/17.66	o 2523
17.28/17.69	o 2522
17.38/17.72	o 2519
17.38/17.74	o 2513
17.38/17.76	o 2504
17.38/17.78	o 2503
17.48/17.81	o 2497
17.48/17.83	o 2494
17.48/17.85	o 2488
17.48/17.87	o 2483
17.58/17.90	o 2479
17.68/18.01	o 2474
17.68/18.03	o 2473
17.68/18.05	o 2472
17.68/18.09	o 2468
17.78/18.12	o 2462
17.78/18.16	o 2456
17.78/18.19	o 2450
17.88/18.23	o 2446
17.88/18.27	o 2444
17.97/18.31	o 2441
17.97/18.35	o 2439
17.97/18.38	o 2437
18.07/18.41	o 2436
18.07/18.43	o 2435
18.07/18.46	o 2434
18.07/18.48	o 2433
18.17/18.50	o 2432
18.17/18.53	o 2431
18.17/18.58	o 2425
18.27/18.67	o 2423
18.27/18.70	o 2418
18.37/18.72	o 2416
18.37/18.75	o 2415
18.37/18.77	o 2410
18.47/18.80	o 2407
18.47/18.82	o 2405
18.47/18.85	o 2403
18.47/18.88	o 2395
18.57/18.92	o 2394
18.57/18.94	o 2389
18.57/18.97	o 2386
18.57/18.99	o 2382
18.67/19.01	o 2380
18.67/19.07	o 2379
18.67/19.09	o 2375
18.76/19.11	o 2374
18.76/19.14	o 2373
18.86/19.21	o 2372
18.86/19.22	o 2370
18.86/19.25	o 2365
18.86/19.27	o 2359
18.86/19.29	o 2356
18.96/19.32	o 2352
18.96/19.34	o 2349
18.96/19.37	o 2348
18.96/19.39	o 2347
19.06/19.41	o 2345
19.06/19.42	o 2340
19.06/19.43	o 2339
19.06/19.44	o 2334
19.06/19.47	o 2331
19.16/19.50	o 2328
19.16/19.52	o 2326
19.16/19.55	o 2324
19.16/19.58	o 2317
19.26/19.61	o 2315
19.26/19.64	o 2313
19.26/19.65	o 2312
19.26/19.67	o 2311
19.26/19.69	o 2310
19.36/19.80	o 2309
19.46/19.82	o 2307
19.46/19.84	o 2303
19.46/19.86	o 2298
19.46/19.87	o 2295
19.46/19.89	o 2293
19.55/19.92	o 2289
19.55/19.94	o 2287
19.55/19.96	o 2279
19.55/19.98	o 2275
19.65/20.01	o 2274
19.65/20.03	o 2272
19.65/20.07	o 2268
19.75/20.11	o 2264
19.75/20.13	o 2262
19.75/20.16	o 2261
19.85/20.22	o 2259
19.85/20.25	o 2254
19.85/20.27	o 2250
19.94/20.31	o 2248
19.94/20.35	o 2246
19.94/20.38	o 2243
20.04/20.41	o 2241
20.04/20.43	o 2239
20.04/20.45	o 2237
20.04/20.49	o 2235
20.15/20.52	o 2232
20.15/20.55	o 2230
20.15/20.59	o 2223
20.25/20.63	o 2220
20.25/20.67	o 2216
20.35/20.71	o 2213
20.35/20.76	o 2208
20.35/20.79	o 2207
20.45/20.84	o 2205
20.45/20.88	o 2203
20.55/20.91	o 2201
20.55/20.95	o 2200
20.55/20.98	o 2198
20.64/21.01	o 2197
20.64/21.04	o 2196
20.64/21.08	o 2192
20.74/21.12	o 2186
20.74/21.16	o 2184
20.84/21.20	o 2181
20.84/21.23	o 2178
20.84/21.29	o 2175
20.94/21.33	o 2172
20.94/21.38	o 2169
21.04/21.43	o 2167
21.04/21.49	o 2166
21.14/21.54	o 2165
21.64/22.05	o 2159
21.64/22.09	o 2156
21.73/22.14	o 2155
21.73/22.18	o 2153
21.83/22.23	o 2147
21.83/22.28	o 2144
21.93/22.33	o 2141
21.93/22.37	o 2140
22.02/22.41	o 2138
22.12/22.55	o 2136
22.12/22.59	o 2133
22.22/22.64	o 2131
22.22/22.69	o 2130
22.32/22.74	o 2129
22.32/22.79	o 2128
22.42/22.83	o 2126
22.52/22.92	o 2123
22.52/22.96	o 2118
22.62/23.02	o 2116
22.62/23.07	o 2115
22.72/23.13	o 2112
22.72/23.18	o 2106
22.82/23.24	o 2105
22.92/23.30	o 2097
22.92/23.37	o 2095
23.02/23.42	o 2094
23.02/23.47	o 2090
23.11/23.53	o 2086
23.11/23.59	o 2082
23.21/23.63	o 2080
23.21/23.69	o 2077
23.31/23.74	o 2076
23.31/23.79	o 2072
23.41/23.83	o 2071
23.41/23.87	o 2069
23.51/23.90	o 2067
23.51/24.00	o 2062
23.61/24.04	o 2061
23.61/24.08	o 2058
23.71/24.13	o 2056
23.81/24.22	o 2055
23.81/24.27	o 2053
23.90/24.31	o 2052
24.10/24.51	o 2049
24.10/24.55	o 2047
24.10/24.59	o 2044
24.20/24.63	o 2042
24.20/24.68	o 2036
24.30/24.72	o 2034
24.30/24.77	o 2032
24.40/24.88	o 2030
24.50/24.92	o 2027
24.70/25.17	o 2025
24.80/25.21	o 2022
24.80/25.30	o 2021
24.90/25.34	o 2019
24.99/25.47	o 2018
25.09/25.51	o 2016
25.09/25.54	o 2015
25.09/25.58	o 2014
25.19/25.60	o 2011
25.19/25.64	o 2010
25.19/25.66	o 2004
25.29/25.70	o 2002
25.29/25.74	o 2000
25.29/25.77	o 1998
25.29/25.80	o 1996
25.39/25.84	o 1994
25.49/25.91	o 1991
25.49/25.93	o 1988
25.59/26.05	o 1987
25.59/26.08	o 1985
25.69/26.11	o 1984
25.69/26.15	o 1981
25.69/26.18	o 1979
25.79/26.21	o 1978
25.79/26.25	o 1975
25.79/26.29	o 1973
25.89/26.33	o 1968
25.89/26.37	o 1966
25.99/26.40	o 1965
25.99/26.45	o 1961
25.99/26.50	o 1957
26.08/26.54	o 1954
26.08/26.59	o 1950
26.18/26.65	o 1948
26.28/26.70	o 1947
26.28/26.75	o 1944
26.28/26.79	o 1940
26.38/26.83	o 1936
26.38/26.88	o 1935
26.48/26.93	o 1933
26.48/26.98	o 1931
26.58/27.03	o 1928
26.58/27.08	o 1926
26.68/27.13	o 1923
26.68/27.19	o 1920
26.77/27.24	o 1919
26.77/27.29	o 1915
26.87/27.34	o 1913
26.87/27.39	o 1909
26.97/27.46	o 1905
27.07/27.51	o 1904
27.07/27.57	o 1902
27.17/27.62	o 1901
27.17/27.67	o 1893
27.27/27.72	o 1888
27.27/27.77	o 1886
27.37/27.82	o 1882
27.56/28.02	o 1879
27.66/28.13	o 1877
27.76/28.24	o 1871
27.76/28.30	o 1867
27.96/28.43	o 1864
27.96/28.49	o 1861
28.06/28.56	o 1859
28.16/28.63	o 1857
28.25/28.70	o 1855
28.25/28.77	o 1853
28.35/28.85	o 1851
28.45/28.92	o 1850
28.55/29.00	o 1849
28.55/29.07	o 1848
28.75/29.22	o 1846
28.75/29.29	o 1843
29.15/29.65	o 1842
29.24/29.79	o 1841
29.34/29.85	o 1837
29.44/29.93	o 1836
29.54/30.00	o 1834
29.54/30.08	o 1832
29.63/30.15	o 1830
29.73/30.22	o 1828
29.84/30.30	o 1827
29.84/30.37	o 1825
29.94/30.45	o 1823
30.04/30.53	o 1822
30.14/30.61	o 1818
30.24/30.71	o 1815
30.24/30.80	o 1814
30.34/30.87	o 1813
30.43/30.94	o 1809
30.53/31.01	o 1804
30.63/31.11	o 1802
30.73/31.20	o 1798
30.73/31.27	o 1796
31.03/31.51	o 1793
31.12/31.60	o 1789
31.12/31.68	o 1786
31.22/31.75	o 1784
31.32/31.83	o 1783
31.32/31.90	o 1782
31.42/31.96	o 1779
31.62/32.15	o 1777
31.72/32.21	o 1776
31.72/32.28	o 1773
31.81/32.34	o 1772
31.91/32.41	o 1769
31.91/32.48	o 1766
32.11/32.69	o 1765
32.21/32.76	o 1762
32.31/32.84	o 1761
32.41/32.92	o 1755
32.51/33.07	o 1754
32.60/33.15	o 1752
32.70/33.22	o 1750
32.70/33.29	o 1748
33.00/33.50	o 1747
33.30/33.88	o 1744
33.40/33.94	o 1743
33.50/34.01	o 1740
33.50/34.08	o 1737
33.59/34.20	o 1734
33.69/34.26	o 1731
33.79/34.40	o 1729
33.98/34.54	o 1727
34.08/34.60	o 1725
34.08/34.67	o 1724
34.18/34.74	o 1721
34.48/35.03	o 1720
34.58/35.10	o 1717
34.58/35.18	o 1716
34.68/35.25	o 1714
34.78/35.35	o 1710
34.88/35.42	o 1708
34.88/35.48	o 1704
34.98/35.56	o 1701
35.07/35.64	o 1699
35.17/35.73	o 1696
35.27/35.80	o 1694
35.27/35.88	o 1693
35.57/36.20	o 1689
35.67/36.28	o 1687
35.77/36.36	o 1684
35.87/36.43	o 1679
35.87/36.49	o 1678
35.97/36.56	o 1676
36.07/36.63	o 1675
36.17/36.71	o 1672
36.17/36.79	o 1671
36.47/37.01	o 1668
36.47/37.08	o 1667
36.57/37.15	o 1663
36.67/37.23	o 1658
36.77/37.31	o 1655
36.77/37.38	o 1653
36.96/37.51	o 1652
37.26/37.82	o 1649
37.36/37.90	o 1648
37.36/37.96	o 1647
37.46/38.03	o 1645
37.46/38.09	o 1641
37.66/38.23	o 1636
37.76/38.31	o 1633
37.76/38.38	o 1632
37.86/38.45	o 1630
37.95/38.53	o 1629
38.05/38.60	o 1626
38.05/38.68	o 1625
38.15/38.76	o 1624
38.25/38.83	o 1621
38.34/38.99	o 1619
38.44/39.06	o 1617
38.54/39.14	o 1614
38.64/39.21	o 1613
38.84/39.49	o 1610
39.04/39.63	o 1607
39.14/39.78	o 1606
39.34/39.94	o 1605
39.43/40.01	o 1604
39.43/40.09	o 1600
39.53/40.16	o 1593
39.63/40.24	o 1590
39.73/40.32	o 1586
39.83/40.40	o 1583
40.03/40.65	o 1582
40.13/40.73	o 1580
40.22/40.82	o 1575
40.32/40.92	o 1574
40.52/41.11	o 1573
40.52/41.19	o 1570
40.72/41.32	o 1568
40.72/41.40	o 1567
40.82/41.47	o 1564
40.92/41.55	o 1563
41.02/41.63	o 1562
41.22/41.81	o 1556
41.31/41.97	o 1554
41.41/42.05	o 1552
41.51/42.13	o 1550
41.61/42.22	o 1547
41.71/42.39	o 1546
41.81/42.47	o 1541
41.91/42.54	o 1537
42.01/42.62	o 1530
42.01/42.69	o 1528
42.11/42.77	o 1526
42.31/42.92	o 1524
42.31/42.99	o 1522
42.41/43.06	o 1519
42.51/43.13	o 1518
42.51/43.20	o 1515
42.61/43.28	o 1511
42.70/43.35	o 1509
43.10/43.73	o 1508
43.20/43.80	o 1505
43.40/44.08	o 1503
43.50/44.15	o 1500
43.60/44.22	o 1496
43.60/44.28	o 1492
43.99/44.60	o 1491
43.99/44.66	o 1489
44.09/44.73	o 1488
44.09/44.79	o 1486
44.29/44.90	o 1484
44.29/44.96	o 1480
44.39/45.03	o 1476
44.39/45.10	o 1474
44.59/45.24	o 1470
44.59/45.30	o 1468
44.79/45.43	o 1466
44.88/45.50	o 1464
44.88/45.56	o 1463
44.98/45.63	o 1461
44.98/45.67	o 1459
45.08/45.73	o 1457
45.18/45.85	o 1455
45.38/46.09	o 1453
45.48/46.16	o 1451
45.58/46.22	o 1448
45.67/46.35	o 1447
45.77/46.42	o 1446
45.87/46.55	o 1444
45.97/46.63	o 1441
46.07/46.75	o 1439
46.16/46.88	o 1437
46.26/46.96	o 1436
46.36/47.03	o 1434
46.46/47.10	o 1432
46.46/47.16	o 1429
46.66/47.31	o 1427
46.75/47.47	o 1425
46.85/47.53	o 1422
46.95/47.66	o 1419
47.06/47.73	o 1418
47.16/47.81	o 1414
47.66/48.33	o 1411
47.75/48.48	o 1406
47.85/48.56	o 1402
47.95/48.63	o 1401
48.05/48.78	o 1400
48.44/49.10	o 1399
48.54/49.23	o 1398
48.64/49.30	o 1397
48.64/49.36	o 1396
48.74/49.43	o 1395
48.74/49.49	o 1393
48.84/49.56	o 1391
48.94/49.64	o 1388
49.04/49.70	o 1384
49.04/49.78	o 1380
49.14/49.84	o 1378
49.23/49.96	o 1376
49.33/50.01	o 1372
49.33/50.08	o 1370
49.43/50.15	o 1369
49.53/50.22	o 1368
49.53/50.27	o 1365
49.63/50.33	o 1363
49.63/50.39	o 1361
49.73/50.45	o 1358
49.83/50.51	o 1355
50.02/50.77	o 1352
50.22/50.91	o 1351
50.42/51.11	o 1350
50.42/51.20	o 1349
50.52/51.26	o 1348
50.62/51.33	o 1345
50.72/51.47	o 1344
50.82/51.55	o 1343
50.92/51.62	o 1339
51.01/51.70	o 1337
51.31/52.00	o 1335
51.31/52.07	o 1332
51.40/52.15	o 1330
51.61/52.30	o 1329
51.61/52.39	o 1323
51.71/52.46	o 1319
52.11/52.87	o 1317
52.21/52.95	o 1313
52.41/53.16	o 1310
52.50/53.25	o 1308
52.80/53.54	o 1307
52.90/53.61	o 1304
53.10/53.82	o 1302
53.20/54.00	o 1298
53.49/54.20	o 1297
53.49/54.29	o 1295
53.59/54.36	o 1291
53.69/54.43	o 1289
53.79/54.51	o 1286
53.99/54.71	o 1283
54.08/54.86	o 1279
54.18/54.94	o 1277
54.38/55.18	o 1273
54.48/55.27	o 1270
54.58/55.36	o 1268
54.67/55.45	o 1267
54.77/55.56	o 1266
54.87/55.65	o 1264
55.86/56.63	o 1262
55.96/56.72	o 1259
56.06/56.80	o 1258
56.06/56.88	o 1257
56.16/56.96	o 1256
56.26/57.05	o 1255
56.36/57.13	o 1251
56.46/57.22	o 1250
56.56/57.40	o 1248
56.66/57.48	o 1247
56.85/57.67	o 1246
56.95/57.77	o 1244
57.05/57.87	o 1243
57.15/57.96	o 1241
57.25/58.06	o 1239
57.35/58.16	o 1236
57.55/58.36	o 1234
57.64/58.46	o 1232
57.94/58.78	o 1229
58.14/58.99	o 1227
58.64/59.42	o 1224
58.73/59.53	o 1222
58.83/59.64	o 1220
58.93/59.75	o 1217
59.03/59.87	o 1216
59.23/60.07	o 1214
59.83/60.67	o 1212
60.72/61.56	o 1207
61.21/62.02	o 1206
61.41/62.24	o 1205
61.51/62.35	o 1201
61.71/62.59	o 1200
61.91/62.71	o 1198
62.01/62.83	o 1196
62.11/62.95	o 1195
62.30/63.18	o 1193
62.40/63.29	o 1189
62.60/63.50	o 1187
62.80/63.60	o 1186
63.09/63.94	o 1185
63.19/64.04	o 1184
63.29/64.16	o 1182
63.39/64.26	o 1178
63.49/64.38	o 1176
63.69/64.50	o 1174
63.88/64.73	o 1172
64.67/65.56	o 1171
64.87/65.79	o 1169
65.07/65.91	o 1168
65.76/66.66	o 1166
65.86/66.76	o 1165
65.96/66.86	o 1164
66.36/67.20	o 1162
66.46/67.31	o 1158
66.46/67.39	o 1155
67.05/67.98	o 1154
67.34/68.21	o 1152
67.44/68.33	o 1151
67.64/68.60	o 1150
67.93/68.84	o 1148
68.03/68.97	o 1147
68.33/69.22	o 1145
68.43/69.34	o 1144
68.53/69.47	o 1140
68.92/69.84	o 1139
69.32/70.24	o 1137
69.42/70.37	o 1136
70.22/71.18	o 1135
71.41/72.36	o 1134
71.51/72.48	o 1130
71.61/72.59	o 1128
71.71/72.67	o 1126
72.00/72.93	o 1122
72.10/73.03	o 1121
72.20/73.15	o 1119
72.30/73.26	o 1115
72.40/73.38	o 1113
72.60/73.51	o 1112
72.80/73.74	o 1111
73.09/74.09	o 1110
73.49/74.45	o 1109
73.69/74.69	o 1108
73.88/74.82	o 1106
73.98/74.94	o 1104
74.08/75.05	o 1102
74.18/75.17	o 1100
74.58/75.53	o 1099
74.68/75.65	o 1097
74.78/75.77	o 1095
75.07/76.04	o 1094
75.17/76.18	o 1093
75.37/76.31	o 1091
75.57/76.58	o 1089
75.77/76.71	o 1086
75.97/76.98	o 1084
76.16/77.10	o 1081
76.26/77.21	o 1080
76.36/77.34	o 1078
76.46/77.48	o 1077
76.76/77.74	o 1074
76.86/77.88	o 1073
77.15/78.11	o 1072
77.25/78.24	o 1069
77.45/78.49	o 1068
77.74/78.75	o 1067
78.14/79.13	o 1061
78.54/79.50	o 1059
79.82/80.81	o 1057
79.92/80.93	o 1054
80.22/81.27	o 1050
80.33/81.39	o 1047
80.52/81.52	o 1046
80.82/81.88	o 1043
81.12/82.11	o 1042
81.42/82.48	o 1041
81.61/82.61	o 1039
81.81/82.86	o 1037
81.91/82.99	o 1033
82.11/83.13	o 1031
82.21/83.25	o 1030
82.61/83.66	o 1029
82.90/83.93	o 1027
83.00/84.02	o 1023
83.10/84.15	o 1021
83.30/84.30	o 1019
83.40/84.42	o 1018
83.50/84.56	o 1017
83.60/84.70	o 1014
84.09/85.10	o 1012
84.59/85.69	o 1011
84.79/85.83	o 1010
88.94/90.10	o 1009
89.44/90.55	o 1006
89.63/90.72	o 1004
90.13/91.23	o 1003
90.23/91.39	o 1002
90.42/91.55	o 1001
90.62/91.73	o 1000
90.82/91.90	o 996
90.92/92.02	o 995
92.41/93.52	o 993
92.50/93.69	o 992
92.90/94.05	o 991
93.20/94.39	o 990
94.29/95.44	o 989
94.68/95.80	o 988
94.78/95.96	o 987
95.18/96.31	o 986
95.28/96.49	o 982
97.06/98.23	o 981
97.25/98.41	o 979
97.75/98.98	o 977
97.95/99.17	o 974
98.15/99.38	o 973
98.54/99.78	o 972
98.74/99.98	o 971
98.94/100.19	o 970
99.24/100.41	o 969
99.63/100.84	o 968
101.91/103.12	o 965
102.11/103.34	o 964
102.51/103.76	o 963
116.07/117.45	o 961
116.27/117.69	o 959
116.57/117.94	o 958
116.76/118.18	o 957
117.26/118.69	o 956
118.06/119.47	o 950
118.36/119.72	o 948
118.46/119.90	o 947
118.75/120.16	o 946
119.05/120.41	o 945
119.55/120.93	o 944
119.65/121.09	o 942
120.14/121.59	o 940
120.44/121.83	o 939
120.83/122.27	o 937
121.12/122.52	o 936
121.62/123.01	o 934
122.12/123.51	o 930
123.70/125.17	o 929
124.00/125.42	o 926
125.88/127.34	o 924
126.18/127.69	o 922
126.67/128.15	o 921
127.17/128.63	o 919
127.37/128.86	o 918
127.66/129.10	o 917
128.06/129.56	o 916
128.75/130.28	o 913
129.45/130.98	o 912
129.84/131.38	o 911
130.73/132.25	o 910
131.23/132.70	o 909
131.43/132.92	o 908
131.82/133.35	o 907
132.22/133.79	o 906
132.52/134.01	o 905
133.21/134.72	o 903
133.71/135.26	o 902
134.20/135.70	o 899
134.60/136.14	o 897
135.09/136.60	o 896
135.29/136.83	o 895
135.49/137.06	o 894
135.69/137.28	o 893
135.89/137.50	o 891
137.67/139.25	o 889
137.87/139.48	o 886
138.85/140.41	o 885
138.85/140.49	o 883
139.35/140.98	o 881
139.64/141.21	o 880
139.84/141.44	o 879
140.04/141.66	o 878
141.13/142.79	o 877
141.43/143.02	o 872
141.82/143.42	o 870
142.02/143.65	o 869
146.48/148.19	o 865
147.37/149.06	o 861
147.87/149.54	o 860
148.26/149.96	o 859
148.46/150.15	o 856
148.66/150.39	o 855
149.65/151.33	o 853
150.15/151.84	o 847
150.54/152.29	o 846
151.53/153.28	o 844
154.22/155.93	o 841
154.31/156.10	o 840
154.51/156.21	o 838
154.61/156.38	o 835
154.81/156.56	o 834
155.00/156.76	o 830
155.20/156.90	o 828
155.30/157.09	o 826
155.50/157.29	o 824
155.69/157.48	o 823
155.89/157.68	o 821
156.28/158.08	o 820
156.48/158.28	o 817
156.68/158.48	o 815
156.88/158.68	o 813
157.17/158.91	o 812
157.37/159.11	o 810
157.77/159.56	o 807
157.97/159.78	o 806
158.66/160.46	o 802
159.55/161.39	o 801
160.05/161.87	o 799
160.54/162.32	o 798
161.63/163.45	o 797
161.83/163.66	o 796
162.03/163.87	o 794
162.22/164.00	o 793
162.93/164.76	o 790
163.13/164.96	o 787
163.32/165.16	o 786
163.42/165.29	o 783
163.61/165.45	o 782
163.71/165.57	o 781
163.91/165.73	o 778
165.20/167.00	o 777
165.89/167.74	o 774
166.09/167.93	o 772
166.39/168.30	o 770
167.38/169.27	o 769
171.64/173.59	o 768
171.84/173.78	o 767
172.03/173.93	o 765
172.23/174.19	o 764
172.62/174.54	o 763
172.82/174.72	o 761
173.02/174.91	o 760
173.12/175.09	o 759
173.32/175.28	o 758
175.20/177.13	o 756
175.40/177.32	o 753
175.69/177.70	o 752
176.49/178.44	o 751
176.68/178.61	o 748
176.78/178.79	o 746
177.18/179.18	o 745
178.37/180.37	o 742
178.57/180.57	o 741
178.77/180.78	o 740
179.36/181.38	o 739
180.05/182.01	o 738
180.25/182.21	o 737
181.04/183.05	o 736
182.73/184.74	o 734
182.92/184.94	o 733
183.12/185.15	o 732
183.32/185.36	o 729
183.52/185.57	o 728
187.58/189.67	o 726
187.98/190.05	o 723
188.67/190.79	o 722
188.87/190.97	o 721
189.07/191.15	o 720
190.85/192.99	o 719
191.44/193.56	o 718
191.64/193.74	o 715
192.03/194.14	o 713
192.23/194.32	o 711
192.63/194.77	o 708
195.70/197.89	o 707
196.69/198.84	o 706
196.89/199.03	o 704
197.08/199.22	o 703
208.98/211.22	o 700
209.56/211.80	o 699
209.66/211.99	o 698
211.45/213.75	o 693
211.64/213.96	o 690
212.54/214.80	o 687
213.13/215.42	o 685
218.08/220.47	o 684
218.78/221.19	o 683
219.07/221.44	o 681
219.27/221.63	o 679
219.47/221.84	o 677
221.34/223.72	o 676
222.24/224.65	o 675
222.43/224.90	o 673
222.93/225.38	o 672
223.23/225.62	o 671
223.43/225.84	o 670
223.62/226.08	o 669
232.45/234.98	o 667
232.75/235.21	o 664
232.94/235.45	o 663
233.24/235.70	o 662
236.31/238.82	o 661
238.69/241.24	o 659
240.57/243.14	o 658
240.76/243.34	o 657
241.26/243.84	o 656
241.75/244.34	o 654
241.95/244.59	o 652
242.25/244.83	o 651
243.24/245.81	o 649
245.61/248.25	o 648
246.10/248.74	o 647
246.30/248.99	o 646
246.80/249.48	o 645
247.79/250.48	o 644
249.08/251.80	o 643
249.67/252.31	o 638
249.87/252.57	o 637
250.17/252.83	o 635
250.37/253.09	o 633
256.11/258.84	o 630
256.31/259.09	o 628
256.81/259.56	o 627
257.70/260.47	o 626
261.46/264.21	o 625
261.86/264.69	o 624
262.16/264.94	o 623
262.65/265.45	o 622
272.16/275.08	o 620
272.55/275.40	o 618
272.75/275.65	o 617
273.05/275.90	o 616
273.25/276.16	o 615
273.74/276.67	o 613
274.04/276.93	o 612
274.53/277.46	o 609
275.03/277.98	o 608
275.62/278.51	o 607
275.82/278.77	o 606
275.92/278.88	o 601
277.20/280.15	o 599
277.30/280.29	o 597
277.60/280.55	o 596
281.56/284.59	o 594
285.42/288.46	o 593
285.92/288.93	o 592
287.80/290.87	o 590
288.50/291.53	o 588
288.69/291.75	o 587
288.89/291.97	o 584
289.09/292.14	o 583
289.29/292.37	o 582
289.59/292.61	o 579
289.78/292.80	o 577
290.17/293.25	o 575
291.07/294.18	o 574
293.45/296.55	o 573
294.44/297.51	o 572
294.84/297.98	o 571
295.83/298.97	o 566
296.33/299.47	o 565
313.06/316.34	o 563
313.26/316.55	o 562
313.46/316.76	o 561
313.66/316.98	o 559
313.95/317.26	o 556
314.25/317.53	o 554
315.14/318.49	o 553
316.03/319.35	o 552
316.73/320.07	o 551
330.69/334.18	o 549
337.92/341.42	o 548
340.10/343.63	o 547
341.19/344.74	o 545
341.48/345.02	o 544
343.96/347.53	o 543
351.98/355.60	o 542
352.28/355.91	o 541
352.48/356.13	o 540
352.78/356.41	o 539
358.02/361.77	o 536
359.11/362.87	o 534
359.71/363.49	o 533
361.60/365.36	o 532
362.19/365.99	o 529
392.49/396.55	   
392.49/396.55	   search
392.49/396.55	     run=0  nbConstraintChecks=915490684  nbAssignments=2419
392.49/396.55	       =>  wckTime=381.317  cpuTime=377.57  mem=34M284
392.49/396.55	   
392.49/396.55	   global
392.49/396.55	     nbConstraintChecks=915490684  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
392.49/396.55	     solvingWckTime=381.311  solvingCpuTime=377.56  expiredTime=no  totalExploration=no  nbFoundSolutions=0
392.49/396.55	     globalCpuTime=391.53
392.49/396.55	       =>  wckTime=396.155  cpuTime=391.49  mem=34M284
392.49/396.55	   
392.49/396.55	   solver DecomposerSolver being built... 
394.87/398.91	       =>  wckTime=398.517  cpuTime=392.17  mem=770M472
423.59/427.97	   
423.59/427.97	   preprocessing
423.59/427.97	     nbConstraintChecks=85876804  nbValidityChecks=316712  nbPropagations=900  nbRevisions=17997
423.59/427.97	     nbUselessRevisions=17992  nbRemovedValues=236  detectedInconsistency=no
423.59/427.97	       =>  wckTime=29.055  cpuTime=28.75  mem=770M472
423.99/428.32	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-1112821-1215874349/watcher-1112821-1215874349 -o /tmp/evaluation-result-1112821-1215874349/solver-1112821-1215874349 -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-1112821-1215874349.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.71 2.69 2.59 5/80 18451
/proc/meminfo: memFree=1597088/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=18572 CPUtime=0
/proc/18451/stat : 18451 (runsolver) R 18449 18451 16990 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44009339 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 233588714791 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18451/statm: 4643 292 257 25 0 2626 0

[startup+0.0382601 s]
/proc/loadavg: 2.71 2.69 2.59 5/80 18451
/proc/meminfo: memFree=1597088/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=861876 CPUtime=0.01
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 1898 0 1 0 0 1 0 0 18 0 5 0 44009339 882561024 1583 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 215469 1583 702 9 0 210448 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861876

[startup+0.102136 s]
/proc/loadavg: 2.71 2.69 2.59 5/80 18451
/proc/meminfo: memFree=1597088/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=865856 CPUtime=0.06
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 2917 0 1 0 4 2 0 0 18 0 9 0 44009339 886636544 2443 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216464 2450 1190 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.301155 s]
/proc/loadavg: 2.71 2.69 2.59 5/80 18451
/proc/meminfo: memFree=1597088/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=866016 CPUtime=0.16
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 4288 0 1 0 13 3 0 0 18 0 9 0 44009339 886800384 3724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216504 3724 1840 9 0 211052 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 866016

[startup+0.701196 s]
/proc/loadavg: 2.71 2.69 2.59 5/80 18451
/proc/meminfo: memFree=1597088/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867052 CPUtime=0.55
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 8635 0 1 0 49 6 0 0 18 0 9 0 44009339 887861248 7998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216763 7998 1975 9 0 211291 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 867052

[startup+1.50228 s]
/proc/loadavg: 2.82 2.71 2.60 4/89 18460
/proc/meminfo: memFree=1561560/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867660 CPUtime=1.35
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 19567 0 1 0 123 12 0 0 18 0 9 0 44009339 888483840 18903 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216915 18903 2004 9 0 211443 0
[pid=18451/tid=18453] ppid=18449 vsize=867660 CPUtime=1.08
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15768 0 1 0 99 9 0 0 25 0 9 0 44009341 888483840 18903 996147200 134512640 134550740 4294955952 18446744073709551615 4126751163 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867660 CPUtime=0.08
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 2465 0 0 0 7 1 0 0 16 0 9 0 44009342 888483840 18903 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888483840 18903 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44009342 888483840 18903 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888483840 18903 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867660 CPUtime=0.15
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 637 0 0 0 15 0 0 0 16 0 9 0 44009345 888483840 18903 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888483840 18903 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888483840 18903 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 867660

[startup+3.10143 s]
/proc/loadavg: 2.82 2.71 2.60 4/89 18460
/proc/meminfo: memFree=1528920/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867660 CPUtime=2.93
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 19624 0 1 0 281 12 0 0 18 0 9 0 44009339 888483840 18957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216915 18957 2006 9 0 211443 0
[pid=18451/tid=18453] ppid=18449 vsize=867660 CPUtime=2.65
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15803 0 1 0 255 10 0 0 25 0 9 0 44009341 888483840 18957 996147200 134512640 134550740 4294955952 18446744073709551615 4126873691 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867660 CPUtime=0.08
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 2465 0 0 0 7 1 0 0 17 0 9 0 44009342 888483840 18957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888483840 18957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44009342 888483840 18957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888483840 18957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867660 CPUtime=0.18
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 659 0 0 0 18 0 0 0 16 0 9 0 44009345 888483840 18957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888483840 18957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888483840 18957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 867660

[startup+6.30176 s]
/proc/loadavg: 2.75 2.70 2.60 4/89 18460
/proc/meminfo: memFree=1528536/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867660 CPUtime=6.1
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 19650 0 1 0 597 13 0 0 18 0 9 0 44009339 888483840 18979 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216915 18979 2006 9 0 211443 0
[pid=18451/tid=18453] ppid=18449 vsize=867660 CPUtime=5.8
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15807 0 1 0 569 11 0 0 25 0 9 0 44009341 888483840 18979 996147200 134512640 134550740 4294955952 18446744073709551615 4126875041 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867660 CPUtime=0.08
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 2465 0 0 0 7 1 0 0 17 0 9 0 44009342 888483840 18979 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888483840 18979 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44009342 888483840 18979 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888483840 18979 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867660 CPUtime=0.2
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 681 0 0 0 20 0 0 0 15 0 9 0 44009345 888483840 18979 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888483840 18979 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867660 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888483840 18979 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 867660

[startup+12.7014 s]
/proc/loadavg: 2.77 2.70 2.60 4/89 18460
/proc/meminfo: memFree=1514776/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867620 CPUtime=12.44
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 23082 0 1 0 1227 17 0 0 18 0 9 0 44009339 888442880 22406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216905 22406 2007 9 0 211433 0
[pid=18451/tid=18453] ppid=18449 vsize=867620 CPUtime=11.99
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15816 0 1 0 1186 13 0 0 25 0 9 0 44009341 888442880 22406 996147200 134512640 134550740 4294955952 18446744073709551615 4127053214 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867620 CPUtime=0.17
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 5865 0 0 0 15 2 0 0 16 0 9 0 44009342 888442880 22406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 22406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 22406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888442880 22406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867620 CPUtime=0.24
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 704 0 0 0 24 0 0 0 15 0 9 0 44009345 888442880 22406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888442880 22406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888442880 22406 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) 867620

[startup+25.5027 s]
/proc/loadavg: 2.81 2.72 2.61 4/89 18460
/proc/meminfo: memFree=1497688/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867708 CPUtime=25.09
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 28186 0 1 0 2485 24 0 0 18 0 9 0 44009339 888532992 27316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216927 27316 2640 9 0 211433 0
[pid=18451/tid=18453] ppid=18449 vsize=867708 CPUtime=24.26
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15880 0 1 0 2408 18 0 0 25 0 9 0 44009341 888532992 27316 996147200 134512640 134550740 4294955952 18446744073709551615 4127053168 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867708 CPUtime=0.53
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 10881 0 0 0 48 5 0 0 16 0 9 0 44009342 888532992 27316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888532992 27316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44009342 888532992 27316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888532992 27316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867708 CPUtime=0.28
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 728 0 0 0 28 0 0 0 16 0 9 0 44009345 888532992 27316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888532992 27316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888532992 27316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 867708

[startup+51.1023 s]
/proc/loadavg: 2.74 2.71 2.60 4/89 18460
/proc/meminfo: memFree=1497624/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867708 CPUtime=50.42
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 28192 0 1 0 5013 29 0 0 18 0 9 0 44009339 888532992 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216927 27321 2640 9 0 211433 0
[pid=18451/tid=18453] ppid=18449 vsize=867708 CPUtime=49.58
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15882 0 1 0 4935 23 0 0 25 0 9 0 44009341 888532992 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4127053175 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867708 CPUtime=0.53
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 10881 0 0 0 48 5 0 0 16 0 9 0 44009342 888532992 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888532992 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44009342 888532992 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888532992 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867708 CPUtime=0.29
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 732 0 0 0 29 0 0 0 16 0 9 0 44009345 888532992 27321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867708 CPUtime=0

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

/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867620 CPUtime=0.34
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 760 0 0 0 33 1 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 405.37
Current children cumulated vsize (KiB) 867620

[startup+415.901 s]
/proc/loadavg: 2.56 2.64 2.60 4/89 18460
/proc/meminfo: memFree=807384/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867620 CPUtime=411.71
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 200420 0 1 0 41059 112 0 0 18 0 9 0 44009339 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216905 199465 2618 9 0 211433 0
[pid=18451/tid=18453] ppid=18449 vsize=867620 CPUtime=409.18
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15973 0 1 0 40880 38 0 0 25 0 9 0 44009341 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4126876128 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867620 CPUtime=2.16
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 182972 0 0 0 144 72 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867620 CPUtime=0.34
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 760 0 0 0 33 1 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 411.71
Current children cumulated vsize (KiB) 867620

[startup+422.302 s]
/proc/loadavg: 2.51 2.63 2.60 3/89 18460
/proc/meminfo: memFree=807384/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867620 CPUtime=418.05
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 200420 0 1 0 41693 112 0 0 18 0 9 0 44009339 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216905 199465 2618 9 0 211433 0
[pid=18451/tid=18453] ppid=18449 vsize=867620 CPUtime=415.52
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15973 0 1 0 41514 38 0 0 25 0 9 0 44009341 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4127303811 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867620 CPUtime=2.16
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 182972 0 0 0 144 72 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867620 CPUtime=0.34
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 760 0 0 0 33 1 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 418.05
Current children cumulated vsize (KiB) 867620

[startup+425.501 s]
/proc/loadavg: 2.51 2.63 2.60 4/89 18460
/proc/meminfo: memFree=807384/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867620 CPUtime=421.22
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 200420 0 1 0 42010 112 0 0 18 0 9 0 44009339 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216905 199465 2618 9 0 211433 0
[pid=18451/tid=18453] ppid=18449 vsize=867620 CPUtime=418.69
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15973 0 1 0 41831 38 0 0 25 0 9 0 44009341 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4126457635 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867620 CPUtime=2.16
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 182972 0 0 0 144 72 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867620 CPUtime=0.34
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 760 0 0 0 33 1 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) R 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 421.22
Current children cumulated vsize (KiB) 867620

[startup+427.102 s]
/proc/loadavg: 2.55 2.64 2.60 3/89 18460
/proc/meminfo: memFree=807384/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867620 CPUtime=422.8
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 200420 0 1 0 42168 112 0 0 18 0 9 0 44009339 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216905 199465 2618 9 0 211433 0
[pid=18451/tid=18453] ppid=18449 vsize=867620 CPUtime=420.27
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15973 0 1 0 41989 38 0 0 25 0 9 0 44009341 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4126877488 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867620 CPUtime=2.16
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 182972 0 0 0 144 72 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867620 CPUtime=0.34
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 760 0 0 0 33 1 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 422.8
Current children cumulated vsize (KiB) 867620

[startup+427.906 s]
/proc/loadavg: 2.55 2.64 2.60 4/89 18460
/proc/meminfo: memFree=807384/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867620 CPUtime=423.59
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 200420 0 1 0 42247 112 0 0 18 0 9 0 44009339 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216905 199465 2618 9 0 211433 0
[pid=18451/tid=18453] ppid=18449 vsize=867620 CPUtime=421.06
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15973 0 1 0 42068 38 0 0 25 0 9 0 44009341 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4127053186 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867620 CPUtime=2.16
/proc/18451/task/18454/stat : 18454 (java) S 18449 18451 16990 0 -1 64 182972 0 0 0 144 72 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44009342 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867620 CPUtime=0.34
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 760 0 0 0 33 1 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867620 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888442880 199465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 423.59
Current children cumulated vsize (KiB) 867620

[startup+428.303 s]
/proc/loadavg: 2.55 2.64 2.60 4/89 18460
/proc/meminfo: memFree=807384/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=867708 CPUtime=423.99
/proc/18451/stat : 18451 (java) S 18449 18451 16990 0 -1 0 200445 0 1 0 42287 112 0 0 18 0 9 0 44009339 888532992 199488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18451/statm: 216927 199488 2640 9 0 211433 0
[pid=18451/tid=18453] ppid=18449 vsize=867708 CPUtime=421.14
/proc/18451/task/18453/stat : 18453 (java) R 18449 18451 16990 0 -1 64 15998 0 1 0 42076 38 0 0 25 0 9 0 44009341 888532992 199488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18454] ppid=18449 vsize=867708 CPUtime=2.48
/proc/18451/task/18454/stat : 18454 (java) R 18449 18451 16990 0 -1 64 182972 0 0 0 176 72 0 0 16 0 9 0 44009342 888532992 199488 996147200 134512640 134550740 4294955952 18446744073709551615 102478675 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18455] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18455/stat : 18455 (java) S 18449 18451 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44009342 888532992 199488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18456] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18456/stat : 18456 (java) S 18449 18451 16990 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44009342 888532992 199488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18457] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18457/stat : 18457 (java) S 18449 18451 16990 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44009345 888532992 199488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18458] ppid=18449 vsize=867708 CPUtime=0.34
/proc/18451/task/18458/stat : 18458 (java) S 18449 18451 16990 0 -1 64 760 0 0 0 33 1 0 0 16 0 9 0 44009345 888532992 199488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18459] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18459/stat : 18459 (java) S 18449 18451 16990 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44009345 888532992 199488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18451/tid=18460] ppid=18449 vsize=867708 CPUtime=0
/proc/18451/task/18460/stat : 18460 (java) S 18449 18451 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44009345 888532992 199488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 423.99
Current children cumulated vsize (KiB) 867708

[startup+428.403 s]
/proc/loadavg: 2.55 2.64 2.60 4/89 18460
/proc/meminfo: memFree=807384/2055920 swapFree=4178780/4192956
[pid=18451] ppid=18449 vsize=0 CPUtime=424.05
/proc/18451/stat : 18451 (java) Z 18449 18451 16990 0 -1 12 200453 0 1 0 42289 116 0 0 16 0 2 0 44009339 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18451/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 424.05
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 428.488
CPU time (s): 424.144
CPU user time (s): 422.893
CPU system time (s): 1.25081
CPU usage (%): 98.986
Max. virtual memory (cumulated for all children) (KiB): 867748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 422.893
system time used= 1.25081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200453
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= 10728
involuntary context switches= 22989

runsolver used 0.58591 second user time and 1.46378 second system time

The end

Launcher Data (download as text)

Begin job on node27 at 2008-07-12 16:52:29
IDJOB=1112821
IDBENCH=61480
IDSOLVER=359
FILE ID=node27/1112821-1215874349
PBS_JOBID= 7903476
Free space on /tmp= 66460 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 6c0f6900ea5b66ed7e32c3099d9a431e
RANDOM SEED=1026162613

node27.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		: 2800.234
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	: 5521.40
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		: 2800.234
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:       1597568 kB
Buffers:         60164 kB
Cached:         126164 kB
SwapCached:       7540 kB
Active:         289976 kB
Inactive:       101952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597568 kB
SwapTotal:     4192956 kB
SwapFree:      4178780 kB
Dirty:            3508 kB
Writeback:           0 kB
Mapped:         221484 kB
Slab:            51220 kB
Committed_AS:  1046200 kB
PageTables:       2128 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66460 MiB
End job on node27 at 2008-07-12 16:59:37