Trace number 1112851

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? 510.293 515.342

General information on the benchmark

Namecsp/fapp/fapp11/
normalized-fapp11-1000-6.xml
MD5SUM7db336713358debe85f4357efdd6517c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints29
Best CPU time to get the best result obtained on this benchmark3600.05
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.07/0.09	
0.07/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-wdeg.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-1112851-1215874621.xml
0.28/0.36	   
0.28/0.36	   domains being loaded...
0.38/0.43	   
0.38/0.43	   variables being loaded...
0.57/0.67	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362  nbTotalValues=294634
0.57/0.67	       =>  wckTime=0.428  cpuTime=0.3  mem=16M662
0.57/0.67	   
0.57/0.67	   predicates being loaded...
0.67/0.74	   
0.67/0.74	   constraints being loaded...
10.48/10.67	   
10.48/10.67	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 52M55)
13.25/13.42	     nbConstraints=15032  nbConvertedConstraints=353  nbConvertConstraintsChecks=35093278  nbExtensionStructures=311
13.25/13.42	     nbSharedExtensionStructures=116  nbConflictsStructures=863  nbSharedConflictsStructures=254
13.25/13.42	     nbUnbuiltConflictsStructures=5696  nbSharedBinaryRepresentations=172681  nbEvaluationManagers=6248
13.25/13.42	     nbSharedEvaluationManagers=8431  minDegree=7  maxDegree=51  minArity=2  maxArity=2
13.25/13.42	       =>  wckTime=13.175  cpuTime=12.36  mem=43M488
13.45/13.67	   
13.45/13.67	   solver LocalSearchSolver being built... 
13.56/13.72	       =>  wckTime=13.476  cpuTime=12.41  mem=39M34
13.65/13.82	
13.65/13.82	s SATISFIABLE
13.65/13.82	o 2899
13.65/13.86	o 2890
13.75/13.91	o 2879
13.75/13.94	o 2872
13.75/13.96	o 2863
13.75/13.99	o 2855
13.85/14.01	o 2843
13.85/14.03	o 2839
13.85/14.06	o 2837
13.85/14.09	o 2836
13.95/14.11	o 2835
13.95/14.14	o 2829
13.95/14.17	o 2820
13.95/14.20	o 2816
14.05/14.23	o 2807
14.05/14.26	o 2798
14.14/14.31	o 2791
14.14/14.34	o 2785
14.14/14.38	o 2779
14.24/14.41	o 2773
14.24/14.45	o 2768
14.24/14.48	o 2763
14.34/14.50	o 2758
14.34/14.52	o 2754
14.34/14.55	o 2751
14.34/14.58	o 2748
14.44/14.60	o 2745
14.44/14.62	o 2743
14.44/14.64	o 2739
14.44/14.67	o 2736
14.44/14.69	o 2732
14.54/14.71	o 2730
14.54/14.73	o 2725
14.54/14.78	o 2717
14.64/14.81	o 2710
14.64/14.84	o 2703
14.64/14.89	o 2697
14.73/14.96	o 2692
14.73/14.99	o 2687
14.83/15.02	o 2682
14.83/15.04	o 2677
14.83/15.06	o 2675
14.83/15.09	o 2671
14.93/15.11	o 2668
14.93/15.13	o 2665
14.93/15.15	o 2662
14.93/15.17	o 2660
14.93/15.19	o 2658
15.03/15.21	o 2656
15.03/15.24	o 2655
15.03/15.28	o 2651
15.03/15.29	o 2644
15.13/15.32	o 2638
15.13/15.34	o 2633
15.13/15.40	o 2632
15.23/15.44	o 2629
15.23/15.48	o 2626
15.23/15.49	o 2618
15.32/15.54	o 2611
15.32/15.58	o 2604
15.42/15.62	o 2603
15.42/15.68	o 2597
15.52/15.74	o 2594
15.52/15.77	o 2588
15.63/15.81	o 2583
15.63/15.86	o 2577
15.73/15.90	o 2572
15.73/15.95	o 2567
15.73/15.98	o 2562
15.83/16.03	o 2557
15.83/16.08	o 2553
15.93/16.11	o 2549
15.93/16.14	o 2545
15.93/16.17	o 2541
16.03/16.20	o 2537
16.03/16.23	o 2534
16.03/16.26	o 2531
16.03/16.29	o 2528
16.13/16.31	o 2526
16.13/16.33	o 2523
16.23/16.41	o 2522
16.23/16.42	o 2519
16.23/16.43	o 2518
16.23/16.48	o 2511
16.33/16.52	o 2508
16.33/16.57	o 2506
16.42/16.61	o 2505
16.42/16.63	o 2499
16.42/16.66	o 2493
16.42/16.68	o 2492
16.52/16.74	o 2491
16.52/16.77	o 2487
16.62/16.83	o 2485
16.62/16.88	o 2483
16.72/16.92	o 2476
16.72/16.94	o 2473
16.72/16.98	o 2468
16.82/17.02	o 2463
16.82/17.07	o 2458
16.91/17.12	o 2453
16.91/17.16	o 2448
17.01/17.21	o 2445
17.01/17.25	o 2442
17.01/17.29	o 2439
17.11/17.33	o 2436
17.11/17.37	o 2434
17.21/17.40	o 2432
17.21/17.44	o 2426
17.21/17.47	o 2423
17.31/17.52	o 2422
17.31/17.55	o 2421
17.31/17.59	o 2420
17.41/17.62	o 2419
17.41/17.65	o 2413
17.50/17.79	o 2411
17.60/17.82	o 2408
17.70/17.90	o 2404
17.80/18.02	o 2402
17.80/18.05	o 2401
17.80/18.08	o 2399
17.90/18.11	o 2397
17.90/18.15	o 2394
17.90/18.19	o 2392
18.00/18.22	o 2391
18.00/18.26	o 2390
18.10/18.31	o 2387
18.10/18.35	o 2382
18.20/18.41	o 2377
18.20/18.47	o 2372
18.30/18.52	o 2369
18.30/18.58	o 2365
18.40/18.68	o 2363
18.50/18.72	o 2361
18.50/18.77	o 2357
18.59/18.83	o 2353
18.59/18.88	o 2349
18.69/18.93	o 2345
18.69/18.97	o 2341
18.79/19.01	o 2335
18.79/19.05	o 2332
18.79/19.09	o 2331
18.89/19.13	o 2328
18.89/19.17	o 2325
18.99/19.22	o 2322
18.99/19.26	o 2320
19.08/19.30	o 2319
19.08/19.35	o 2317
19.08/19.37	o 2316
19.19/19.40	o 2310
19.19/19.45	o 2309
19.49/19.74	o 2308
19.59/19.81	o 2306
19.59/19.86	o 2304
19.69/19.91	o 2303
19.69/19.96	o 2298
19.79/20.03	o 2294
19.79/20.07	o 2291
19.98/20.21	o 2290
19.98/20.25	o 2286
19.98/20.29	o 2280
20.08/20.33	o 2275
20.18/20.42	o 2271
20.18/20.46	o 2269
20.28/20.51	o 2266
20.47/20.77	o 2261
20.57/20.83	o 2260
20.57/20.88	o 2259
20.67/20.93	o 2256
20.67/20.98	o 2253
20.77/21.01	o 2248
20.77/21.09	o 2246
20.87/21.12	o 2244
20.87/21.16	o 2241
20.97/21.20	o 2240
20.97/21.24	o 2235
20.97/21.28	o 2231
21.07/21.32	o 2228
21.17/21.40	o 2224
21.17/21.45	o 2222
21.17/21.48	o 2218
21.26/21.51	o 2213
21.26/21.56	o 2204
21.36/21.60	o 2201
21.36/21.67	o 2199
21.36/21.70	o 2194
21.46/21.72	o 2192
21.46/21.75	o 2191
21.46/21.80	o 2186
21.56/21.88	o 2180
21.66/21.92	o 2175
21.66/21.96	o 2170
21.66/21.99	o 2165
21.76/22.03	o 2162
21.76/22.08	o 2159
21.85/22.11	o 2156
21.85/22.15	o 2154
21.85/22.18	o 2153
21.95/22.21	o 2152
22.06/22.33	o 2149
22.06/22.36	o 2146
22.06/22.39	o 2144
22.16/22.44	o 2139
22.16/22.47	o 2135
22.26/22.50	o 2134
22.26/22.53	o 2127
22.26/22.56	o 2126
22.26/22.60	o 2123
22.35/22.63	o 2122
22.35/22.66	o 2118
22.45/22.70	o 2116
22.45/22.74	o 2113
22.45/22.78	o 2109
22.55/22.81	o 2106
22.55/22.85	o 2105
22.55/22.89	o 2097
22.65/22.94	o 2094
22.65/22.97	o 2093
22.75/23.02	o 2088
22.85/23.12	o 2082
22.85/23.16	o 2079
22.94/23.21	o 2074
22.94/23.26	o 2066
23.04/23.31	o 2065
23.24/23.58	o 2064
23.34/23.61	o 2061
23.34/23.65	o 2058
23.34/23.69	o 2055
23.44/23.72	o 2054
23.44/23.77	o 2053
23.54/23.82	o 2050
23.54/23.86	o 2046
23.74/24.00	o 2045
23.74/24.05	o 2044
23.74/24.09	o 2043
23.84/24.14	o 2042
23.84/24.17	o 2038
23.94/24.21	o 2031
23.94/24.26	o 2028
24.04/24.34	o 2024
24.04/24.39	o 2019
24.14/24.44	o 2017
24.14/24.48	o 2012
24.24/24.53	o 2009
24.24/24.57	o 2007
24.34/24.65	o 2003
24.34/24.70	o 2000
24.43/24.74	o 1995
24.43/24.78	o 1991
24.53/24.82	o 1986
24.53/24.86	o 1984
24.53/24.90	o 1980
24.63/24.97	o 1977
24.73/25.01	o 1974
24.73/25.05	o 1973
24.73/25.08	o 1972
24.83/25.12	o 1968
24.83/25.17	o 1964
24.93/25.22	o 1963
24.93/25.27	o 1958
24.93/25.29	o 1956
25.02/25.35	o 1952
25.02/25.39	o 1949
25.12/25.43	o 1947
25.12/25.47	o 1945
25.22/25.55	o 1942
25.32/25.60	o 1941
25.32/25.64	o 1937
25.42/25.72	o 1934
25.42/25.77	o 1931
25.52/25.82	o 1926
25.61/25.93	o 1923
25.61/25.98	o 1920
25.71/26.03	o 1919
25.71/26.08	o 1915
25.81/26.13	o 1914
25.81/26.17	o 1910
25.92/26.25	o 1907
26.02/26.31	o 1902
26.21/26.55	o 1901
26.31/26.61	o 1900
26.31/26.66	o 1899
26.41/26.79	o 1894
26.61/26.93	o 1891
26.70/27.07	o 1888
26.80/27.14	o 1887
26.90/27.20	o 1882
26.90/27.26	o 1879
27.00/27.38	o 1877
27.10/27.46	o 1874
27.20/27.53	o 1872
27.20/27.59	o 1871
27.29/27.65	o 1867
27.29/27.69	o 1861
27.39/27.76	o 1859
27.49/27.89	o 1858
27.59/27.94	o 1857
27.69/28.05	o 1854
27.69/28.09	o 1850
27.79/28.18	o 1847
27.89/28.25	o 1843
27.99/28.30	o 1839
27.99/28.35	o 1835
28.09/28.45	o 1834
28.19/28.51	o 1832
28.29/28.67	o 1830
28.38/28.72	o 1825
28.38/28.78	o 1823
28.48/28.89	o 1820
28.78/29.10	o 1818
28.78/29.16	o 1813
28.89/29.21	o 1812
28.89/29.26	o 1810
28.98/29.31	o 1807
28.98/29.35	o 1805
29.18/29.51	o 1802
29.18/29.57	o 1801
29.78/30.15	o 1796
29.88/30.22	o 1793
29.88/30.29	o 1791
30.07/30.43	o 1788
30.17/30.51	o 1785
30.27/30.65	o 1784
30.37/30.74	o 1781
30.47/30.81	o 1779
30.47/30.86	o 1776
30.57/30.94	o 1774
30.87/31.23	o 1771
30.97/31.30	o 1769
31.06/31.42	o 1768
31.06/31.48	o 1767
31.16/31.54	o 1766
31.26/31.61	o 1763
31.65/32.03	o 1762
31.75/32.11	o 1759
31.85/32.25	o 1756
32.05/32.45	o 1754
32.15/32.53	o 1749
32.24/32.60	o 1746
32.24/32.66	o 1741
32.34/32.73	o 1736
32.44/32.86	o 1732
32.54/32.93	o 1730
32.54/32.99	o 1726
32.74/33.20	o 1724
32.94/33.38	o 1723
33.14/33.53	o 1722
33.23/33.61	o 1720
33.23/33.67	o 1716
33.33/33.74	o 1715
33.43/33.88	o 1708
33.53/33.94	o 1706
33.63/34.01	o 1704
33.93/34.35	o 1703
34.23/34.65	o 1702
34.32/34.72	o 1699
34.32/34.79	o 1698
34.52/34.92	o 1696
34.62/35.08	o 1694
34.72/35.16	o 1693
34.82/35.25	o 1689
34.91/35.32	o 1686
34.91/35.39	o 1684
35.01/35.47	o 1682
35.11/35.54	o 1679
35.21/35.60	o 1676
35.21/35.67	o 1673
35.51/35.90	o 1671
35.51/35.96	o 1668
35.61/36.03	o 1667
35.71/36.17	o 1662
35.81/36.25	o 1659
35.91/36.33	o 1656
36.00/36.41	o 1652
36.10/36.54	o 1648
36.20/36.62	o 1646
36.20/36.68	o 1644
36.31/36.76	o 1642
36.41/36.82	o 1638
36.41/36.89	o 1637
36.50/36.95	o 1634
36.60/37.02	o 1631
36.60/37.08	o 1627
36.70/37.16	o 1623
37.10/37.51	o 1622
37.10/37.59	o 1619
37.30/37.73	o 1618
37.49/37.98	o 1617
37.59/38.04	o 1612
37.69/38.11	o 1608
37.69/38.17	o 1606
37.79/38.25	o 1603
37.89/38.31	o 1598
37.99/38.46	o 1593
38.09/38.59	o 1592
38.18/38.66	o 1590
38.28/38.71	o 1586
38.48/38.90	o 1584
38.48/38.98	o 1580
38.67/39.13	o 1578
38.77/39.21	o 1575
39.17/39.63	o 1574
39.27/39.71	o 1571
39.27/39.80	o 1568
39.37/39.87	o 1567
39.47/39.96	o 1565
39.57/40.03	o 1563
39.67/40.11	o 1561
39.67/40.20	o 1559
39.76/40.27	o 1556
39.86/40.37	o 1553
39.96/40.44	o 1551
40.06/40.52	o 1550
40.16/40.62	o 1548
40.26/40.78	o 1547
40.55/41.02	o 1545
40.65/41.11	o 1543
40.65/41.19	o 1542
40.75/41.28	o 1541
40.85/41.35	o 1537
40.95/41.44	o 1535
41.05/41.53	o 1532
41.15/41.61	o 1530
41.25/41.72	o 1529
41.25/41.79	o 1528
41.35/41.86	o 1527
41.45/41.94	o 1526
41.55/42.02	o 1525
41.65/42.12	o 1524
42.35/42.81	o 1522
42.35/42.90	o 1519
42.45/42.99	o 1516
42.74/43.25	o 1514
42.84/43.33	o 1511
42.94/43.41	o 1506
43.04/43.50	o 1505
43.04/43.59	o 1503
43.53/44.01	o 1496
43.63/44.10	o 1493
43.93/44.42	o 1490
44.03/44.52	o 1488
44.12/44.62	o 1487
44.62/45.17	o 1485
44.72/45.27	o 1483
44.92/45.49	o 1482
45.02/45.59	o 1481
45.21/45.70	o 1479
45.41/45.93	o 1478
45.51/46.04	o 1473
45.71/46.26	o 1472
45.81/46.36	o 1471
45.90/46.44	o 1467
46.00/46.53	o 1465
46.20/46.71	o 1463
46.30/46.81	o 1460
46.40/46.91	o 1456
46.60/47.11	o 1452
46.70/47.21	o 1449
46.70/47.29	o 1445
46.80/47.38	o 1442
47.09/47.66	o 1440
47.19/47.75	o 1439
47.29/47.86	o 1435
47.39/47.95	o 1434
47.68/48.22	o 1433
47.78/48.31	o 1430
47.89/48.46	o 1428
47.99/48.53	o 1425
48.09/48.63	o 1422
48.19/48.71	o 1421
48.39/48.95	o 1420
48.48/49.02	o 1416
48.68/49.23	o 1413
48.78/49.32	o 1411
48.98/49.55	o 1410
49.08/49.63	o 1402
49.18/49.70	o 1401
49.18/49.77	o 1399
49.28/49.84	o 1398
49.38/49.91	o 1397
49.38/49.99	o 1395
49.67/50.29	o 1393
49.97/50.52	o 1392
50.17/50.77	o 1391
50.27/50.85	o 1389
50.47/51.01	o 1388
50.86/51.40	o 1386
50.96/51.56	o 1385
51.06/51.65	o 1381
51.16/51.74	o 1380
51.35/51.91	o 1378
51.45/52.08	o 1374
51.65/52.23	o 1372
51.75/52.31	o 1371
51.85/52.47	o 1370
52.05/52.67	o 1366
52.15/52.75	o 1364
52.34/52.94	o 1360
52.44/53.03	o 1356
52.54/53.12	o 1355
52.64/53.23	o 1354
52.84/53.43	o 1352
52.93/53.51	o 1348
53.03/53.61	o 1346
53.13/53.71	o 1344
53.33/53.91	o 1342
53.43/54.01	o 1339
53.53/54.13	o 1335
53.53/54.19	o 1331
53.73/54.30	o 1330
53.73/54.38	o 1326
53.83/54.49	o 1324
53.92/54.59	o 1321
54.02/54.69	o 1318
54.12/54.79	o 1317
54.32/54.98	o 1316
54.42/55.08	o 1314
54.52/55.18	o 1310
54.62/55.28	o 1308
54.72/55.37	o 1306
55.01/55.68	o 1305
55.11/55.78	o 1302
55.21/55.89	o 1298
55.31/55.99	o 1296
55.61/56.23	o 1295
55.81/56.48	o 1292
56.01/56.60	o 1291
56.10/56.73	o 1290
56.30/56.97	o 1286
56.79/57.46	o 1283
57.29/57.95	o 1282
57.59/58.22	o 1281
57.78/58.45	o 1279
57.88/58.59	o 1275
58.08/58.78	o 1272
58.38/59.04	o 1270
58.48/59.17	o 1269
58.68/59.31	o 1266
58.78/59.43	o 1264
58.87/59.57	o 1262
59.07/59.70	o 1261
59.17/59.85	o 1260
59.27/60.00	o 1259
59.46/60.12	o 1257
59.76/60.40	o 1254
60.26/60.92	o 1251
60.36/61.06	o 1250
60.75/61.43	o 1249
60.95/61.68	o 1247
61.35/62.04	o 1245
61.54/62.27	o 1244
61.64/62.36	o 1241
61.74/62.48	o 1239
62.04/62.72	o 1238
62.14/62.84	o 1235
62.33/63.07	o 1233
62.63/63.31	o 1230
62.63/63.37	o 1226
62.84/63.59	o 1224
63.04/63.71	o 1221
63.14/63.82	o 1219
63.23/63.92	o 1218
63.33/64.05	o 1216
63.43/64.13	o 1214
63.63/64.30	o 1211
63.73/64.40	o 1206
63.82/64.51	o 1205
64.02/64.72	o 1202
64.32/65.03	o 1199
64.42/65.12	o 1194
64.62/65.31	o 1193
64.72/65.41	o 1190
64.81/65.51	o 1185
64.91/65.61	o 1181
64.91/65.69	o 1179
65.01/65.78	o 1177
65.11/65.88	o 1175
65.41/66.15	o 1174
65.51/66.24	o 1173
65.61/66.32	o 1169
65.70/66.40	o 1164
65.70/66.49	o 1162
65.80/66.59	o 1161
65.90/66.68	o 1160
66.00/66.77	o 1158
66.10/66.87	o 1156
66.20/66.97	o 1154
66.40/67.18	o 1153
66.49/67.28	o 1151
66.69/67.47	o 1150
66.79/67.58	o 1148
66.89/67.69	o 1147
67.19/67.91	o 1144
67.58/68.37	o 1142
67.98/68.71	o 1141
68.08/68.84	o 1140
68.18/68.95	o 1136
68.28/69.01	o 1134
68.47/69.23	o 1133
68.57/69.35	o 1129
69.86/70.68	o 1128
70.06/70.81	o 1127
70.16/70.92	o 1126
70.25/71.03	o 1124
70.36/71.13	o 1121
70.56/71.34	o 1119
70.66/71.45	o 1118
70.76/71.55	o 1114
70.85/71.65	o 1112
70.95/71.76	o 1110
71.15/71.97	o 1109
71.45/72.22	o 1107
71.55/72.37	o 1105
71.75/72.51	o 1102
72.14/72.94	o 1101
72.24/73.08	o 1098
72.44/73.23	o 1096
72.54/73.38	o 1094
72.73/73.51	o 1090
72.93/73.77	o 1088
73.23/74.01	o 1086
73.33/74.14	o 1083
75.51/76.36	o 1081
75.80/76.62	o 1078
75.90/76.75	o 1077
76.00/76.87	o 1074
76.10/77.00	o 1072
76.39/77.24	o 1071
76.49/77.35	o 1068
76.69/77.51	o 1063
77.19/78.01	o 1062
77.38/78.26	o 1061
77.48/78.38	o 1055
79.97/80.89	o 1054
80.16/81.02	o 1053
80.26/81.18	o 1052
80.46/81.34	o 1051
80.56/81.47	o 1048
80.75/81.62	o 1044
81.74/82.67	o 1042
81.94/82.81	o 1039
82.04/82.96	o 1038
82.24/83.11	o 1036
82.34/83.28	o 1034
82.64/83.53	o 1033
83.23/84.15	o 1031
83.53/84.45	o 1029
83.63/84.52	o 1026
83.73/84.65	o 1024
83.83/84.76	o 1021
83.92/84.89	o 1020
84.32/85.20	o 1018
84.42/85.36	o 1016
84.62/85.51	o 1014
85.01/85.99	o 1013
85.21/86.15	o 1011
85.41/86.31	o 1010
85.50/86.47	o 1007
85.70/86.63	o 1003
86.00/86.94	o 1001
86.10/87.10	o 1000
86.30/87.27	o 998
86.50/87.42	o 997
87.09/88.06	o 996
87.28/88.22	o 993
87.58/88.51	o 990
87.68/88.67	o 989
87.98/88.98	o 987
88.37/89.31	o 986
88.47/89.47	o 985
88.67/89.63	o 982
88.77/89.79	o 981
88.97/89.95	o 980
89.46/90.42	o 979
89.56/90.59	o 978
90.06/91.04	o 977
90.45/91.46	o 976
90.65/91.60	o 973
90.75/91.74	o 972
90.85/91.82	o 971
91.14/92.13	o 969
91.44/92.44	o 968
91.54/92.59	o 962
91.73/92.74	o 961
91.83/92.88	o 960
92.14/93.15	o 957
92.24/93.28	o 956
92.83/93.87	o 952
93.42/94.42	o 951
93.52/94.56	o 949
94.02/95.02	o 945
94.12/95.16	o 944
94.21/95.30	o 943
94.41/95.44	o 940
95.01/96.08	o 939
95.40/96.49	o 938
96.69/97.71	o 937
96.79/97.87	o 936
96.98/98.01	o 934
97.28/98.32	o 931
97.38/98.50	o 929
97.58/98.66	o 928
97.78/98.83	o 922
97.88/98.99	o 921
98.67/99.73	o 918
99.66/100.73	o 917
99.96/101.07	o 914
100.16/101.23	o 912
103.42/104.59	o 910
103.62/104.75	o 904
103.72/104.86	o 902
103.92/105.00	o 900
104.01/105.18	o 899
105.10/106.22	o 898
105.20/106.39	o 895
105.40/106.56	o 892
108.67/109.84	o 888
110.35/111.59	o 887
111.05/112.21	o 886
111.24/112.40	o 884
111.95/113.16	o 882
112.15/113.35	o 881
112.34/113.55	o 880
113.13/114.39	o 878
113.33/114.58	o 875
114.13/115.32	o 874
114.91/116.12	o 873
115.21/116.49	o 871
116.80/118.03	o 870
117.00/118.20	o 869
117.19/118.40	o 867
117.39/118.61	o 866
117.59/118.81	o 865
117.79/119.01	o 863
118.18/119.41	o 859
118.48/119.71	o 856
118.58/119.87	o 854
118.78/120.06	o 851
119.08/120.39	o 850
119.57/120.80	o 848
119.67/121.00	o 847
119.87/121.14	o 845
120.17/121.49	o 844
120.56/121.87	o 842
120.86/122.18	o 841
121.06/122.37	o 837
121.26/122.56	o 836
121.45/122.76	o 835
121.65/122.95	o 834
121.85/123.14	o 830
122.64/123.91	o 829
122.84/124.10	o 828
125.12/126.43	o 827
125.31/126.62	o 826
125.51/126.80	o 824
125.61/126.99	o 822
126.11/127.49	o 820
126.31/127.67	o 818
126.50/127.84	o 817
126.70/128.02	o 815
127.98/129.35	o 813
128.18/129.53	o 810
128.28/129.66	o 807
128.48/129.85	o 806
128.68/130.03	o 803
128.88/130.23	o 801
129.07/130.42	o 799
129.27/130.61	o 798
130.16/131.56	o 796
131.16/132.52	o 793
131.25/132.62	o 790
131.35/132.79	o 786
131.55/132.95	o 785
131.85/133.29	o 782
132.34/133.77	o 780
132.44/133.86	o 779
132.64/134.01	o 777
133.03/134.49	o 776
133.43/134.81	o 774
133.53/134.96	o 773
135.11/136.50	o 772
135.31/136.78	o 771
135.51/136.95	o 770
135.71/137.11	o 767
136.01/137.42	o 765
138.59/140.04	o 757
139.18/140.65	o 756
139.28/140.78	o 754
139.67/141.11	o 752
139.77/141.28	o 750
140.17/141.63	o 749
140.37/141.80	o 747
140.47/141.93	o 744
141.85/143.34	o 742
142.05/143.51	o 741
142.44/143.97	o 740
142.64/144.14	o 735
142.94/144.48	o 733
143.14/144.65	o 732
143.83/145.33	o 731
144.32/145.88	o 730
145.41/146.93	o 729
146.30/147.84	o 728
146.80/148.38	o 726
147.00/148.59	o 725
147.39/148.95	o 723
147.59/149.12	o 721
147.79/149.31	o 718
147.89/149.47	o 715
148.58/150.14	o 712
148.78/150.32	o 709
149.47/151.06	o 708
149.67/151.24	o 705
153.23/154.88	o 703
153.63/155.26	o 702
154.03/155.63	o 700
154.22/155.81	o 699
157.30/158.98	o 698
157.69/159.37	o 697
157.89/159.57	o 696
158.09/159.76	o 694
164.83/166.58	o 692
165.03/166.79	o 690
165.43/167.20	o 688
167.70/169.44	o 687
168.39/170.16	o 686
168.59/170.36	o 685
168.79/170.55	o 684
168.99/170.75	o 681
169.78/171.53	o 679
170.17/171.92	o 676
170.37/172.11	o 675
170.87/172.70	o 674
173.54/175.38	o 673
173.74/175.58	o 672
174.33/176.12	o 671
174.92/176.71	o 669
175.42/177.28	o 667
176.01/177.90	o 666
176.51/178.33	o 665
176.81/178.69	o 662
177.99/179.87	o 661
178.10/179.99	o 660
180.18/182.09	o 659
180.48/182.31	o 655
180.87/182.76	o 654
181.07/182.99	o 651
181.36/183.21	o 649
181.56/183.44	o 648
182.26/184.10	o 646
182.45/184.31	o 642
182.85/184.75	o 641
183.05/184.96	o 639
183.25/185.19	o 637
183.94/185.86	o 636
184.14/186.05	o 634
184.34/186.27	o 628
184.54/186.49	o 627
185.03/186.92	o 626
185.42/187.30	o 625
186.51/188.41	o 624
186.81/188.80	o 622
186.91/188.84	o 616
187.01/189.00	o 613
187.21/189.11	o 612
188.00/189.93	o 610
188.20/190.14	o 609
188.30/190.28	o 608
188.49/190.48	o 605
188.69/190.67	o 604
200.68/202.74	o 603
201.17/203.23	o 602
201.37/203.48	o 600
201.67/203.72	o 599
202.36/204.45	o 598
202.86/204.91	o 596
202.86/204.93	o 595
203.06/205.11	o 594
204.74/206.89	o 593
205.04/207.12	o 592
216.33/218.50	o 591
219.10/221.30	o 589
224.05/226.33	o 588
224.35/226.64	o 587
224.65/226.93	o 584
225.24/227.52	o 582
225.74/228.06	o 581
225.84/228.19	o 578
226.43/228.73	o 574
226.92/229.24	o 573
227.42/229.79	o 572
227.71/230.06	o 571
228.01/230.35	o 570
228.11/230.47	o 569
230.89/233.26	o 568
231.77/234.11	o 567
233.75/236.18	o 566
239.28/241.75	o 565
239.88/242.34	o 563
240.17/242.64	o 561
240.47/242.91	o 560
247.71/250.29	o 558
249.59/252.18	o 557
251.77/254.36	o 555
253.65/256.22	o 554
254.15/256.70	o 552
254.34/256.97	o 551
254.64/257.25	o 550
255.53/258.10	o 549
255.93/258.59	o 548
256.23/258.87	o 547
256.82/259.44	o 545
259.39/262.09	o 544
260.58/263.22	o 541
261.18/263.83	o 540
261.47/264.14	o 539
265.54/268.27	o 537
265.83/268.58	o 534
266.13/268.87	o 533
266.82/269.51	o 532
267.12/269.84	o 531
267.32/270.07	o 529
267.61/270.37	o 528
268.31/271.00	o 527
268.60/271.31	o 523
269.49/272.22	o 522
276.53/279.39	o 519
276.72/279.50	o 516
278.11/280.96	o 511
278.40/281.29	o 509
279.20/282.02	o 508
279.40/282.26	o 507
279.90/282.73	o 506
280.39/283.21	o 505
280.79/283.69	o 504
281.08/283.93	o 503
281.48/284.35	o 502
281.68/284.59	o 500
282.07/284.98	o 499
282.37/285.22	o 497
283.36/286.21	o 494
283.56/286.45	o 493
284.05/286.95	o 492
286.33/289.23	o 490
286.63/289.55	o 488
286.83/289.77	o 487
287.12/290.01	o 486
287.52/290.48	o 485
288.31/291.20	o 483
288.51/291.45	o 482
288.71/291.68	o 480
289.11/292.05	o 478
290.79/293.76	o 477
291.09/294.06	o 474
293.36/296.36	o 472
293.66/296.63	o 470
294.45/297.41	o 469
294.65/297.65	o 468
297.32/300.38	o 467
297.62/300.63	o 464
300.00/303.03	o 463
301.68/304.75	o 460
302.18/305.23	o 455
306.04/309.18	o 451
307.22/310.32	o 449
307.72/310.84	o 447
311.69/314.89	o 446
312.28/315.42	o 445
316.15/319.34	o 444
316.35/319.60	o 443
317.63/320.86	o 441
318.12/321.38	o 440
318.42/321.64	o 439
318.62/321.85	o 438
319.41/322.64	o 437
319.91/323.17	o 436
321.59/324.85	o 435
326.44/329.79	o 434
328.02/331.35	o 431
328.32/331.62	o 430
328.52/331.89	o 429
328.82/332.14	o 427
336.95/340.37	o 426
337.24/340.64	o 425
351.50/355.09	o 424
351.80/355.36	o 423
357.94/361.59	o 422
358.64/362.21	o 421
360.02/363.67	o 419
360.32/363.94	o 417
361.81/365.43	o 415
364.38/368.00	o 412
364.58/368.24	o 411
365.47/369.10	o 410
366.76/370.41	o 408
367.65/371.33	o 407
368.24/371.95	o 406
368.44/372.18	o 405
369.14/372.82	o 404
369.43/373.19	o 403
369.93/373.68	o 402
370.62/374.31	o 401
371.12/374.83	o 399
375.37/379.18	o 398
375.57/379.35	o 397
377.75/381.50	o 396
378.05/381.82	o 395
378.35/382.12	o 394
378.65/382.42	o 393
378.85/382.66	o 392
379.14/382.97	o 391
383.70/387.53	o 390
384.00/387.84	o 389
388.26/392.16	o 388
388.55/392.47	o 386
388.75/392.67	o 385
390.24/394.19	o 384
390.44/394.37	o 383
393.01/396.99	o 382
393.31/397.22	o 380
394.50/398.40	o 379
395.78/399.78	o 378
398.16/402.14	o 375
398.46/402.44	o 374
399.05/403.05	o 373
399.35/403.35	o 372
400.53/404.58	o 371
400.83/404.89	o 369
401.23/405.20	o 368
403.21/407.27	o 367
403.80/407.89	o 365
404.49/408.51	o 363
406.77/410.89	o 362
407.07/411.18	o 361
409.55/413.65	o 360
409.84/413.92	o 359
411.23/415.32	o 357
411.53/415.61	o 356
411.73/415.89	o 354
434.51/438.88	o 353
436.29/440.61	o 352
436.49/440.89	o 350
437.68/442.00	o 349
438.67/443.01	o 347
438.87/443.29	o 346
439.16/443.57	o 345
439.96/444.40	o 344
444.12/448.59	o 342
444.91/449.37	o 341
445.21/449.65	o 340
445.51/449.93	o 339
445.80/450.21	o 337
446.10/450.51	o 336
447.19/451.69	o 335
449.36/453.84	o 334
449.56/454.03	o 333
449.86/454.32	o 332
450.36/454.88	o 329
450.55/455.06	o 326
450.85/455.36	o 324
451.15/455.64	o 323
451.45/455.93	o 322
453.03/457.56	o 319
454.51/459.06	o 318
455.70/460.28	o 317
458.09/462.66	o 316
458.39/462.91	o 315
458.78/463.30	o 314
459.67/464.27	o 310
460.17/464.76	o 309
460.46/465.00	o 307
460.56/465.13	o 306
460.76/465.39	o 304
460.95/465.57	o 303
461.75/466.32	o 302
463.23/467.82	o 301
463.43/468.08	o 300
464.61/469.28	o 299
465.11/469.79	o 298
465.41/470.02	o 297
465.61/470.28	o 296
465.70/470.32	o 295
466.50/471.17	o 294
466.79/471.41	o 293
467.88/472.51	o 292
470.26/474.96	o 291
471.55/476.27	o 289
473.92/478.62	o 288
474.22/478.91	o 287
504.54/509.52	   
504.54/509.52	   search
504.54/509.52	     run=0  nbConstraintChecks=1118430724  nbAssignments=2787
504.54/509.52	       =>  wckTime=495.801  cpuTime=490.94  mem=39M34
504.54/509.52	   
504.54/509.52	   global
504.54/509.52	     nbConstraintChecks=1118430724  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
504.54/509.52	     solvingWckTime=495.794  solvingCpuTime=490.94  expiredTime=no  totalExploration=no  nbFoundSolutions=0
504.54/509.52	     globalCpuTime=503.4
504.54/509.52	       =>  wckTime=509.277  cpuTime=503.35  mem=39M34
504.54/509.52	   
504.54/509.52	   solver DecomposerSolver being built... 
510.09/515.17	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-1112851-1215874621/watcher-1112851-1215874621 -o /tmp/evaluation-result-1112851-1215874621/solver-1112851-1215874621 -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-1112851-1215874621.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.50 2.57 2.54 4/81 19790
/proc/meminfo: memFree=1905048/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=18572 CPUtime=0
/proc/19790/stat : 19790 (runsolver) R 19788 19790 19543 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44164238 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19790/statm: 4643 292 257 25 0 2626 0

[startup+0.0859209 s]
/proc/loadavg: 2.50 2.57 2.54 4/81 19790
/proc/meminfo: memFree=1905048/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=865856 CPUtime=0.07
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 3516 0 1 0 5 2 0 0 18 0 9 0 44164238 886636544 3006 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216464 3006 1622 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856

[startup+0.10292 s]
/proc/loadavg: 2.50 2.57 2.54 4/81 19790
/proc/meminfo: memFree=1905048/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=865984 CPUtime=0.08
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 3724 0 1 0 6 2 0 0 18 0 9 0 44164238 886767616 3190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216496 3190 1685 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301961 s]
/proc/loadavg: 2.50 2.57 2.54 4/81 19790
/proc/meminfo: memFree=1905048/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=866156 CPUtime=0.28
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 5607 0 1 0 25 3 0 0 18 0 9 0 44164238 886943744 5022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216539 5022 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.701036 s]
/proc/loadavg: 2.50 2.57 2.54 4/81 19790
/proc/meminfo: memFree=1905048/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867068 CPUtime=0.67
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 9310 0 1 0 61 6 0 0 18 0 9 0 44164238 887877632 8672 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216767 8672 1998 9 0 211273 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867068

[startup+1.50119 s]
/proc/loadavg: 2.50 2.57 2.54 3/90 19799
/proc/meminfo: memFree=1866128/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867564 CPUtime=1.47
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 19956 0 1 0 135 12 0 0 18 0 9 0 44164238 888385536 19292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216891 19292 2004 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867564 CPUtime=1.2
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15777 0 1 0 111 9 0 0 25 0 9 0 44164240 888385536 19292 996147200 134512640 134550740 4294955952 18446744073709551615 102307528 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867564 CPUtime=0.07
/proc/19790/task/19793/stat : 19793 (java) S 19788 19790 19543 0 -1 64 2854 0 0 0 6 1 0 0 16 0 9 0 44164241 888385536 19292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 19292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 19292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888385536 19292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867564 CPUtime=0.16
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 44164243 888385536 19292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888385536 19292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888385536 19292 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867564

[startup+3.10249 s]
/proc/loadavg: 2.50 2.57 2.54 3/90 19799
/proc/meminfo: memFree=1835088/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867564 CPUtime=3.06
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 20010 0 1 0 293 13 0 0 18 0 9 0 44164238 888385536 19343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216891 19343 2006 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867564 CPUtime=2.76
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15811 0 1 0 267 9 0 0 25 0 9 0 44164240 888385536 19343 996147200 134512640 134550740 4294955952 18446744073709551615 4126907735 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867564 CPUtime=0.07
/proc/19790/task/19793/stat : 19793 (java) S 19788 19790 19543 0 -1 64 2854 0 0 0 6 1 0 0 17 0 9 0 44164241 888385536 19343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 19343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 19343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888385536 19343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867564 CPUtime=0.18
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 649 0 0 0 18 0 0 0 16 0 9 0 44164243 888385536 19343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888385536 19343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888385536 19343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867564

[startup+6.30108 s]
/proc/loadavg: 2.46 2.56 2.54 4/90 19799
/proc/meminfo: memFree=1834768/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867564 CPUtime=6.22
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 20032 0 1 0 609 13 0 0 18 0 9 0 44164238 888385536 19362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216891 19362 2006 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867564 CPUtime=5.91
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15814 0 1 0 581 10 0 0 25 0 9 0 44164240 888385536 19362 996147200 134512640 134550740 4294955952 18446744073709551615 4126885526 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867564 CPUtime=0.07
/proc/19790/task/19793/stat : 19793 (java) S 19788 19790 19543 0 -1 64 2854 0 0 0 6 1 0 0 17 0 9 0 44164241 888385536 19362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 19362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 19362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888385536 19362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867564 CPUtime=0.2
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 668 0 0 0 20 0 0 0 16 0 9 0 44164243 888385536 19362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888385536 19362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888385536 19362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867564

[startup+12.7013 s]
/proc/loadavg: 2.42 2.55 2.54 4/90 19799
/proc/meminfo: memFree=1820496/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867564 CPUtime=12.55
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 24978 0 1 0 1238 17 0 0 18 0 9 0 44164238 888385536 24303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216891 24303 2007 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867564 CPUtime=11.99
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15823 0 1 0 1188 11 0 0 25 0 9 0 44164240 888385536 24303 996147200 134512640 134550740 4294955952 18446744073709551615 102888238 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867564 CPUtime=0.28
/proc/19790/task/19793/stat : 19793 (java) S 19788 19790 19543 0 -1 64 7764 0 0 0 25 3 0 0 17 0 9 0 44164241 888385536 24303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 24303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 24303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888385536 24303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867564 CPUtime=0.25
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 695 0 0 0 24 1 0 0 15 0 9 0 44164243 888385536 24303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888385536 24303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888385536 24303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867564

[startup+25.5027 s]
/proc/loadavg: 2.33 2.52 2.53 3/90 19799
/proc/meminfo: memFree=1800784/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867652 CPUtime=25.22
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 29327 0 1 0 2499 23 0 0 18 0 9 0 44164238 888475648 28458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216913 28458 2640 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867652 CPUtime=24.25
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15890 0 1 0 2409 16 0 0 25 0 9 0 44164240 888475648 28458 996147200 134512640 134550740 4294955952 18446744073709551615 4127056772 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867652 CPUtime=0.64
/proc/19790/task/19793/stat : 19793 (java) S 19788 19790 19543 0 -1 64 12022 0 0 0 59 5 0 0 16 0 9 0 44164241 888475648 28458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888475648 28458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44164241 888475648 28458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888475648 28458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867652 CPUtime=0.3
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 719 0 0 0 29 1 0 0 16 0 9 0 44164243 888475648 28458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888475648 28458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888475648 28458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867652

[startup+51.1015 s]
/proc/loadavg: 2.21 2.48 2.51 4/90 19799
/proc/meminfo: memFree=1800784/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867652 CPUtime=50.56
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 29331 0 1 0 5028 28 0 0 18 0 9 0 44164238 888475648 28461 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216913 28461 2640 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867652 CPUtime=49.58
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15891 0 1 0 4938 20 0 0 25 0 9 0 44164240 888475648 28461 996147200 134512640 134550740 4294955952 18446744073709551615 4127057410 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867652 CPUtime=0.64
/proc/19790/task/19793/stat : 19793 (java) S 19788 19790 19543 0 -1 64 12022 0 0 0 59 5 0 0 16 0 9 0 44164241 888475648 28461 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888475648 28461 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44164241 888475648 28461 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888475648 28461 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867652 CPUtime=0.3
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 722 0 0 0 29 1 0 0 15 0 9 0 44164243 888475648 28461 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867652 CPUtime=0

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

/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44164241 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867652 CPUtime=0.32
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 730 0 0 0 31 1 0 0 17 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 481.56
Current children cumulated vsize (KiB) 867652

[startup+499.102 s]
/proc/loadavg: 2.00 2.10 2.30 3/90 19805
/proc/meminfo: memFree=1800008/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867652 CPUtime=494.23
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 29342 0 1 0 49377 46 0 0 18 0 9 0 44164238 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216913 28469 2640 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867652 CPUtime=493.24
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15894 0 1 0 49286 38 0 0 25 0 9 0 44164240 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4127195400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867652 CPUtime=0.64
/proc/19790/task/19793/stat : 19793 (java) S 19788 19790 19543 0 -1 64 12022 0 0 0 59 5 0 0 16 0 9 0 44164241 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44164241 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867652 CPUtime=0.32
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 730 0 0 0 31 1 0 0 17 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 494.23
Current children cumulated vsize (KiB) 867652

[startup+505.501 s]
/proc/loadavg: 2.00 2.09 2.30 3/90 19805
/proc/meminfo: memFree=1800008/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867652 CPUtime=500.57
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 29342 0 1 0 50011 46 0 0 18 0 9 0 44164238 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216913 28469 2640 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867652 CPUtime=499.58
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15894 0 1 0 49920 38 0 0 25 0 9 0 44164240 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4126883383 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867652 CPUtime=0.64
/proc/19790/task/19793/stat : 19793 (java) S 19788 19790 19543 0 -1 64 12022 0 0 0 59 5 0 0 16 0 9 0 44164241 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44164241 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867652 CPUtime=0.32
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 730 0 0 0 31 1 0 0 17 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867652 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888475648 28469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 500.57
Current children cumulated vsize (KiB) 867652

[startup+511.902 s]
/proc/loadavg: 2.00 2.09 2.29 4/90 19805
/proc/meminfo: memFree=1187144/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867564 CPUtime=506.92
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 200420 0 1 0 50581 111 0 0 18 0 9 0 44164238 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216891 199467 2618 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867564 CPUtime=504.27
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15982 0 1 0 50388 39 0 0 25 0 9 0 44164240 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 104454898 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867564 CPUtime=2.27
/proc/19790/task/19793/stat : 19793 (java) S 19788 19790 19543 0 -1 64 182973 0 0 0 158 69 0 0 16 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867564 CPUtime=0.35
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 751 0 0 0 34 1 0 0 15 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 506.92
Current children cumulated vsize (KiB) 867564

[startup+513.502 s]
/proc/loadavg: 2.00 2.09 2.29 4/90 19805
/proc/meminfo: memFree=1114568/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867564 CPUtime=508.5
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 200423 0 1 0 50739 111 0 0 18 0 9 0 44164238 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216891 199467 2618 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867564 CPUtime=504.3
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15985 0 1 0 50391 39 0 0 25 0 9 0 44164240 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867564 CPUtime=3.82
/proc/19790/task/19793/stat : 19793 (java) R 19788 19790 19543 0 -1 64 182973 0 0 0 313 69 0 0 17 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 103735903 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867564 CPUtime=0.35
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 751 0 0 0 34 1 0 0 15 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 508.5
Current children cumulated vsize (KiB) 867564

[startup+514.302 s]
/proc/loadavg: 2.00 2.09 2.29 3/90 19805
/proc/meminfo: memFree=1114568/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867564 CPUtime=509.29
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 200424 0 1 0 50818 111 0 0 18 0 9 0 44164238 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216891 199467 2618 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867564 CPUtime=504.3
/proc/19790/task/19792/stat : 19792 (java) R 19788 19790 19543 0 -1 64 15986 0 1 0 50391 39 0 0 24 0 9 0 44164240 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867564 CPUtime=4.61
/proc/19790/task/19793/stat : 19793 (java) R 19788 19790 19543 0 -1 64 182973 0 0 0 392 69 0 0 18 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867564 CPUtime=0.35
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 751 0 0 0 34 1 0 0 15 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 509.29
Current children cumulated vsize (KiB) 867564

[startup+515.102 s]
/proc/loadavg: 2.00 2.09 2.29 3/90 19805
/proc/meminfo: memFree=1114568/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=867564 CPUtime=510.09
/proc/19790/stat : 19790 (java) S 19788 19790 19543 0 -1 0 200425 0 1 0 50898 111 0 0 18 0 9 0 44164238 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 216891 199467 2618 9 0 211419 0
[pid=19790/tid=19792] ppid=19788 vsize=867564 CPUtime=504.3
/proc/19790/task/19792/stat : 19792 (java) S 19788 19790 19543 0 -1 64 15987 0 1 0 50391 39 0 0 24 0 9 0 44164240 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19793] ppid=19788 vsize=867564 CPUtime=5.4
/proc/19790/task/19793/stat : 19793 (java) R 19788 19790 19543 0 -1 64 182973 0 0 0 471 69 0 0 19 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 104181586 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19794] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19794/stat : 19794 (java) S 19788 19790 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19795] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19795/stat : 19795 (java) S 19788 19790 19543 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44164241 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19796] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19796/stat : 19796 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19797] ppid=19788 vsize=867564 CPUtime=0.35
/proc/19790/task/19797/stat : 19797 (java) S 19788 19790 19543 0 -1 64 751 0 0 0 34 1 0 0 15 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19798] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19798/stat : 19798 (java) S 19788 19790 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19790/tid=19799] ppid=19788 vsize=867564 CPUtime=0
/proc/19790/task/19799/stat : 19799 (java) S 19788 19790 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44164243 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 510.09
Current children cumulated vsize (KiB) 867564

[startup+515.302 s]
/proc/loadavg: 2.00 2.09 2.29 3/90 19805
/proc/meminfo: memFree=1114568/2055920 swapFree=4180224/4192956
[pid=19790] ppid=19788 vsize=0 CPUtime=510.24
/proc/19790/stat : 19790 (java) Z 19788 19790 19543 0 -1 12 200432 0 1 0 50905 119 0 0 16 0 2 0 44164238 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 510.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 515.342
CPU time (s): 510.293
CPU user time (s): 509.059
CPU system time (s): 1.23481
CPU usage (%): 99.0204
Max. virtual memory (cumulated for all children) (KiB): 867656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 509.059
system time used= 1.23481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200432
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= 12143
involuntary context switches= 31638

runsolver used 0.747886 second user time and 1.70774 second system time

The end

Launcher Data (download as text)

Begin job on node21 at 2008-07-12 16:57:01
IDJOB=1112851
IDBENCH=61485
IDSOLVER=359
FILE ID=node21/1112851-1215874621
PBS_JOBID= 7903539
Free space on /tmp= 66480 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp11/normalized-fapp11-1000-6.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-1112851-1215874621/watcher-1112851-1215874621 -o /tmp/evaluation-result-1112851-1215874621/solver-1112851-1215874621 -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-1112851-1215874621.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 7db336713358debe85f4357efdd6517c
RANDOM SEED=196179147

node21.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.257
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.257
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:       1905528 kB
Buffers:         29648 kB
Cached:          54380 kB
SwapCached:       6480 kB
Active:          74516 kB
Inactive:        31656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1905528 kB
SwapTotal:     4192956 kB
SwapFree:      4180224 kB
Dirty:            4084 kB
Writeback:           0 kB
Mapped:          38220 kB
Slab:            29300 kB
Committed_AS:   206084 kB
PageTables:       1900 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= 66480 MiB
End job on node21 at 2008-07-12 17:05:37