Trace number 1113062

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 384.055 385.555

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-0.xml
MD5SUM501a3c19e285c0ae9d47bc368e869aab
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints78
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.17/0.29	
0.17/0.29	   configuration
0.17/0.29	     name=mrdac-ddeg.xml
0.25/0.38	   
0.25/0.38	   instance
0.25/0.38	     name=HOME/instance-1113062-1215877359.xml
0.31/0.42	   
0.31/0.42	   domains being loaded...
0.31/0.46	   
0.31/0.46	   variables being loaded...
0.51/0.61	     nbVariables=800  nbDomainTypes=33  minDomainSize=42  maxDomainSize=350  nbTotalValues=121824
0.51/0.61	       =>  wckTime=0.315  cpuTime=0.2  mem=12M800
0.51/0.61	   
0.51/0.61	   predicates being loaded...
0.51/0.67	   
0.51/0.67	   constraints being loaded...
10.52/10.78	   
10.52/10.78	   INFO : Stopping converting binary constraints (cpu=10.08, mem = 40M378)
15.46/15.76	     nbConstraints=8975  nbConvertedConstraints=1189  nbConvertConstraintsChecks=45282220  nbExtensionStructures=1151
15.46/15.76	     nbSharedExtensionStructures=142  nbConflictsStructures=3943  nbSharedConflictsStructures=434
15.46/15.76	     nbUnbuiltConflictsStructures=4040  nbSharedBinaryRepresentations=312591  nbEvaluationManagers=6832
15.46/15.76	     nbSharedEvaluationManagers=954  minDegree=5  maxDegree=37  minArity=2  maxArity=2
15.46/15.76	       =>  wckTime=15.468  cpuTime=14.73  mem=47M576
15.66/15.98	   
15.66/15.98	   solver LocalSearchSolver being built... 
15.76/16.03	       =>  wckTime=15.737  cpuTime=14.77  mem=30M721
15.76/16.10	
15.76/16.10	s SATISFIABLE
15.76/16.10	o 2248
15.86/16.12	o 2240
15.86/16.15	o 2232
15.86/16.17	o 2226
15.86/16.19	o 2221
15.96/16.21	o 2218
15.96/16.23	o 2217
15.96/16.25	o 2210
15.96/16.27	o 2203
15.96/16.29	o 2197
16.06/16.30	o 2193
16.06/16.33	o 2191
16.06/16.35	o 2187
16.06/16.36	o 2183
16.16/16.40	o 2179
16.16/16.42	o 2175
16.16/16.43	o 2172
16.16/16.44	o 2167
16.16/16.45	o 2165
16.16/16.47	o 2163
16.16/16.48	o 2161
16.16/16.50	o 2160
16.26/16.51	o 2151
16.26/16.53	o 2146
16.26/16.55	o 2141
16.26/16.57	o 2136
16.26/16.59	o 2134
16.36/16.60	o 2131
16.36/16.62	o 2128
16.36/16.63	o 2126
16.36/16.64	o 2124
16.36/16.66	o 2122
16.36/16.67	o 2120
16.36/16.68	o 2119
16.36/16.69	o 2118
16.45/16.70	o 2116
16.45/16.72	o 2115
16.45/16.73	o 2111
16.45/16.73	o 2110
16.45/16.75	o 2108
16.45/16.77	o 2101
16.45/16.78	o 2094
16.45/16.79	o 2087
16.55/16.81	o 2083
16.55/16.82	o 2079
16.55/16.84	o 2075
16.55/16.85	o 2072
16.55/16.86	o 2069
16.55/16.88	o 2066
16.55/16.89	o 2063
16.65/16.91	o 2058
16.65/16.92	o 2056
16.65/16.94	o 2054
16.65/16.95	o 2052
16.65/16.96	o 2050
16.65/16.97	o 2049
16.65/16.99	o 2045
16.74/17.00	o 2044
16.74/17.01	o 2042
16.74/17.02	o 2041
16.74/17.03	o 2036
16.74/17.04	o 2031
16.74/17.05	o 2026
16.74/17.06	o 2025
16.74/17.07	o 2020
16.74/17.08	o 2017
16.84/17.12	o 2010
16.84/17.13	o 2008
16.84/17.15	o 2002
16.84/17.16	o 1996
16.84/17.18	o 1991
16.84/17.19	o 1986
16.94/17.22	o 1981
16.94/17.23	o 1977
16.94/17.25	o 1973
16.94/17.26	o 1969
16.94/17.28	o 1966
16.94/17.30	o 1963
17.05/17.32	o 1960
17.05/17.33	o 1958
17.05/17.35	o 1956
17.05/17.37	o 1954
17.05/17.38	o 1952
17.05/17.39	o 1951
17.15/17.40	o 1950
17.15/17.42	o 1949
17.15/17.43	o 1948
17.15/17.44	o 1942
17.15/17.47	o 1934
17.15/17.48	o 1933
17.15/17.50	o 1929
17.25/17.50	o 1924
17.25/17.52	o 1923
17.25/17.53	o 1922
17.25/17.56	o 1920
17.25/17.57	o 1916
17.25/17.59	o 1912
17.34/17.61	o 1909
17.34/17.62	o 1907
17.34/17.63	o 1906
17.34/17.65	o 1904
17.34/17.66	o 1900
17.34/17.68	o 1899
17.34/17.69	o 1895
17.44/17.71	o 1890
17.44/17.72	o 1886
17.44/17.73	o 1883
17.44/17.75	o 1880
17.44/17.78	o 1878
17.53/17.80	o 1876
17.53/17.81	o 1872
17.53/17.83	o 1868
17.53/17.83	o 1865
17.53/17.85	o 1863
17.53/17.85	o 1861
17.53/17.87	o 1858
17.53/17.88	o 1855
17.53/17.89	o 1852
17.63/17.91	o 1849
17.63/17.93	o 1846
17.63/17.94	o 1843
17.63/17.95	o 1840
17.63/17.96	o 1837
17.63/17.97	o 1835
17.63/17.98	o 1834
17.63/18.00	o 1832
17.73/18.01	o 1831
17.73/18.02	o 1830
17.73/18.03	o 1829
17.73/18.04	o 1822
17.73/18.05	o 1820
17.73/18.06	o 1818
17.73/18.07	o 1814
17.73/18.09	o 1812
17.83/18.10	o 1807
17.83/18.11	o 1806
17.83/18.12	o 1805
17.83/18.13	o 1799
17.83/18.14	o 1797
17.83/18.15	o 1795
17.83/18.17	o 1794
17.83/18.18	o 1792
17.83/18.19	o 1787
17.93/18.20	o 1786
17.93/18.22	o 1785
17.93/18.24	o 1783
17.93/18.26	o 1778
17.93/18.27	o 1776
17.93/18.28	o 1772
17.93/18.30	o 1770
18.02/18.31	o 1768
18.02/18.32	o 1766
18.02/18.33	o 1764
18.02/18.34	o 1760
18.02/18.35	o 1759
18.02/18.37	o 1758
18.02/18.39	o 1753
18.02/18.40	o 1748
18.12/18.40	o 1747
18.12/18.41	o 1743
18.12/18.43	o 1738
18.12/18.45	o 1735
18.12/18.47	o 1732
18.12/18.49	o 1729
18.22/18.51	o 1727
18.22/18.53	o 1726
18.22/18.54	o 1724
18.22/18.56	o 1722
18.22/18.59	o 1719
18.32/18.60	o 1718
18.32/18.63	o 1717
18.32/18.69	o 1716
18.42/18.77	o 1713
18.42/18.79	o 1709
18.42/18.80	o 1703
18.52/18.81	o 1702
18.52/18.83	o 1700
18.52/18.85	o 1695
18.52/18.86	o 1694
18.52/18.89	o 1693
18.62/18.91	o 1689
18.62/18.93	o 1687
18.62/18.95	o 1686
18.62/18.97	o 1684
18.62/18.99	o 1681
18.72/19.02	o 1677
18.72/19.03	o 1675
18.72/19.05	o 1672
18.72/19.06	o 1666
18.72/19.08	o 1662
18.72/19.10	o 1660
18.82/19.12	o 1658
18.82/19.17	o 1656
18.82/19.19	o 1653
18.92/19.20	o 1652
18.92/19.22	o 1651
18.92/19.23	o 1650
18.92/19.25	o 1646
18.92/19.29	o 1643
19.01/19.31	o 1642
19.01/19.37	o 1641
19.01/19.39	o 1637
19.11/19.41	o 1633
19.11/19.47	o 1632
19.11/19.49	o 1631
19.21/19.52	o 1629
19.21/19.54	o 1626
19.21/19.56	o 1625
19.21/19.58	o 1624
19.31/19.60	o 1623
19.31/19.62	o 1619
19.31/19.64	o 1615
19.31/19.66	o 1611
19.31/19.68	o 1609
19.41/19.70	o 1608
19.41/19.73	o 1605
19.41/19.74	o 1602
19.41/19.76	o 1599
19.41/19.79	o 1598
19.50/19.82	o 1597
19.50/19.84	o 1596
19.50/19.86	o 1595
19.50/19.88	o 1593
19.50/19.90	o 1590
19.70/20.04	o 1587
19.70/20.06	o 1586
19.70/20.09	o 1582
19.80/20.11	o 1581
19.80/20.13	o 1579
19.80/20.15	o 1578
19.80/20.16	o 1575
19.80/20.18	o 1573
19.80/20.20	o 1570
19.90/20.21	o 1567
19.90/20.28	o 1566
19.90/20.29	o 1562
19.99/20.31	o 1557
19.99/20.33	o 1555
19.99/20.38	o 1550
20.09/20.40	o 1549
20.09/20.42	o 1548
20.09/20.44	o 1546
20.09/20.47	o 1545
20.20/20.53	o 1542
20.20/20.57	o 1537
20.30/20.61	o 1536
20.30/20.63	o 1535
20.30/20.65	o 1530
20.30/20.68	o 1524
20.30/20.69	o 1522
20.40/20.71	o 1520
20.40/20.79	o 1514
20.50/20.82	o 1512
20.50/20.84	o 1510
20.59/20.95	o 1509
20.59/20.97	o 1508
20.69/21.00	o 1505
20.69/21.03	o 1502
20.69/21.06	o 1501
20.69/21.08	o 1498
20.79/21.11	o 1494
20.79/21.14	o 1493
20.79/21.16	o 1492
20.79/21.18	o 1490
20.89/21.21	o 1489
20.89/21.23	o 1487
20.99/21.30	o 1485
20.99/21.35	o 1483
20.99/21.37	o 1481
20.99/21.38	o 1476
21.09/21.44	o 1474
21.09/21.46	o 1471
21.09/21.49	o 1469
21.18/21.54	o 1467
21.18/21.57	o 1466
21.28/21.60	o 1464
21.28/21.66	o 1461
21.28/21.69	o 1458
21.38/21.71	o 1455
21.38/21.75	o 1454
21.38/21.78	o 1452
21.48/21.81	o 1451
21.48/21.84	o 1450
21.48/21.88	o 1447
21.58/21.92	o 1443
21.68/22.01	o 1441
21.68/22.04	o 1437
21.77/22.11	o 1435
21.77/22.14	o 1431
21.77/22.16	o 1429
21.77/22.19	o 1424
21.87/22.23	o 1421
21.87/22.26	o 1419
21.87/22.28	o 1417
21.97/22.31	o 1416
21.97/22.34	o 1414
21.97/22.37	o 1413
22.07/22.44	o 1410
22.07/22.47	o 1408
22.17/22.50	o 1406
22.17/22.54	o 1405
22.17/22.58	o 1404
22.27/22.62	o 1402
22.27/22.66	o 1401
22.27/22.69	o 1399
22.47/22.81	o 1397
22.47/22.84	o 1395
22.47/22.88	o 1392
22.57/22.92	o 1390
22.57/22.99	o 1389
22.67/23.04	o 1388
22.76/23.11	o 1386
22.76/23.15	o 1383
22.76/23.19	o 1382
22.86/23.23	o 1381
22.86/23.27	o 1380
22.96/23.36	o 1378
22.96/23.39	o 1373
23.06/23.42	o 1371
23.06/23.45	o 1367
23.16/23.51	o 1365
23.16/23.54	o 1364
23.16/23.57	o 1363
23.26/23.62	o 1362
23.26/23.65	o 1359
23.36/23.71	o 1355
23.36/23.74	o 1352
23.36/23.77	o 1349
23.46/23.86	o 1348
23.46/23.90	o 1346
23.56/23.95	o 1340
23.66/24.02	o 1339
23.66/24.04	o 1334
23.66/24.07	o 1329
23.76/24.10	o 1325
23.76/24.17	o 1322
23.76/24.20	o 1318
23.85/24.24	o 1315
23.85/24.27	o 1313
23.95/24.38	o 1310
24.05/24.41	o 1309
24.05/24.45	o 1305
24.05/24.48	o 1303
24.15/24.55	o 1301
24.25/24.62	o 1299
24.25/24.66	o 1296
24.25/24.69	o 1292
24.35/24.76	o 1289
24.35/24.79	o 1286
24.45/24.83	o 1285
24.45/24.86	o 1280
24.55/24.90	o 1278
24.55/24.94	o 1277
24.55/24.97	o 1275
24.65/25.01	o 1272
24.65/25.04	o 1271
24.65/25.07	o 1269
24.75/25.10	o 1266
24.75/25.13	o 1263
24.75/25.16	o 1262
24.75/25.20	o 1260
24.84/25.24	o 1256
24.84/25.27	o 1254
24.94/25.35	o 1251
25.04/25.40	o 1248
25.04/25.44	o 1247
25.04/25.47	o 1245
25.13/25.51	o 1244
25.13/25.55	o 1243
25.13/25.58	o 1242
25.23/25.65	o 1238
25.23/25.68	o 1235
25.33/25.72	o 1233
25.33/25.75	o 1230
25.43/25.88	o 1228
25.54/25.92	o 1225
25.54/25.95	o 1222
25.64/26.00	o 1220
25.64/26.04	o 1218
25.64/26.07	o 1217
25.93/26.34	o 1214
26.13/26.53	o 1211
26.13/26.57	o 1208
26.22/26.61	o 1204
26.22/26.65	o 1201
26.22/26.68	o 1200
26.32/26.72	o 1199
26.32/26.79	o 1197
26.42/26.83	o 1196
26.42/26.86	o 1195
26.42/26.89	o 1193
26.52/26.92	o 1191
26.52/26.95	o 1190
26.52/26.98	o 1186
26.62/27.07	o 1183
26.72/27.11	o 1182
26.72/27.14	o 1181
26.72/27.17	o 1176
26.82/27.21	o 1173
26.82/27.25	o 1171
26.82/27.29	o 1169
26.92/27.34	o 1167
27.02/27.47	o 1166
27.12/27.52	o 1164
27.12/27.56	o 1163
27.22/27.60	o 1161
27.22/27.64	o 1158
27.22/27.69	o 1157
27.31/27.76	o 1156
27.41/27.80	o 1154
27.41/27.85	o 1153
27.51/27.93	o 1150
27.51/27.97	o 1149
27.61/28.08	o 1146
27.71/28.12	o 1145
27.71/28.16	o 1144
27.81/28.24	o 1143
27.81/28.28	o 1139
27.91/28.33	o 1137
27.91/28.37	o 1136
28.01/28.41	o 1133
28.01/28.49	o 1132
28.11/28.54	o 1128
28.11/28.58	o 1125
28.20/28.63	o 1122
28.20/28.67	o 1121
28.30/28.71	o 1119
28.30/28.75	o 1115
28.40/28.81	o 1114
28.40/28.85	o 1113
28.50/28.90	o 1111
28.50/28.95	o 1108
28.50/28.99	o 1107
28.60/29.04	o 1103
28.79/29.26	o 1101
28.90/29.40	o 1098
29.00/29.44	o 1096
29.29/29.72	o 1095
29.39/29.84	o 1091
29.39/29.88	o 1087
29.58/30.00	o 1086
29.58/30.08	o 1085
29.68/30.12	o 1081
29.68/30.16	o 1079
29.78/30.25	o 1077
29.78/30.29	o 1075
29.88/30.33	o 1071
29.88/30.37	o 1070
29.98/30.42	o 1067
29.98/30.46	o 1064
30.08/30.51	o 1063
30.08/30.59	o 1061
30.18/30.63	o 1058
30.28/30.73	o 1057
30.38/30.87	o 1055
30.48/30.91	o 1046
30.48/30.95	o 1043
30.57/31.08	o 1042
30.67/31.13	o 1039
30.67/31.17	o 1035
30.77/31.22	o 1034
30.77/31.27	o 1031
30.87/31.33	o 1030
30.98/31.43	o 1029
30.98/31.49	o 1027
31.07/31.55	o 1025
31.17/31.60	o 1023
31.17/31.65	o 1022
31.27/31.70	o 1019
31.27/31.75	o 1018
31.37/31.81	o 1015
31.37/31.87	o 1014
31.47/31.93	o 1013
31.66/32.14	o 1012
31.66/32.19	o 1008
31.86/32.40	o 1005
31.96/32.50	o 1003
32.16/32.62	o 1000
32.26/32.73	o 999
32.26/32.78	o 997
32.36/32.84	o 995
32.46/32.95	o 993
32.66/33.13	o 990
32.66/33.20	o 987
32.75/33.26	o 984
32.85/33.32	o 981
32.85/33.38	o 980
33.05/33.51	o 979
33.05/33.58	o 974
33.64/34.16	o 972
33.84/34.31	o 971
33.84/34.37	o 968
33.94/34.42	o 967
33.94/34.49	o 965
34.04/34.54	o 963
34.04/34.60	o 961
34.14/34.66	o 956
34.24/34.76	o 954
34.34/34.80	o 948
34.34/34.86	o 946
34.43/34.92	o 944
34.43/34.98	o 942
34.53/35.04	o 941
34.73/35.27	o 940
34.83/35.33	o 939
34.92/35.45	o 935
35.12/35.61	o 934
35.22/35.72	o 933
35.22/35.78	o 931
35.32/35.83	o 930
35.32/35.89	o 926
35.42/35.95	o 924
35.42/35.98	o 920
35.52/36.10	o 917
35.62/36.15	o 914
35.72/36.22	o 913
35.72/36.27	o 912
35.82/36.33	o 910
35.82/36.39	o 909
35.92/36.45	o 908
36.01/36.50	o 905
36.31/36.89	o 903
36.41/36.94	o 899
36.41/36.99	o 898
36.51/37.04	o 896
36.61/37.10	o 894
36.81/37.38	o 890
37.30/37.88	o 887
37.40/37.93	o 885
37.40/37.98	o 884
37.50/38.02	o 883
37.50/38.07	o 881
37.60/38.12	o 880
37.60/38.16	o 879
37.70/38.22	o 877
37.70/38.26	o 875
37.80/38.31	o 874
38.00/38.59	o 872
38.40/38.97	o 871
38.50/39.01	o 869
38.50/39.05	o 868
38.60/39.10	o 866
39.29/39.81	o 865
39.39/39.91	o 859
39.59/40.14	o 858
39.69/40.22	o 856
39.89/40.48	o 855
39.99/40.53	o 853
39.99/40.59	o 850
40.09/40.64	o 849
40.09/40.69	o 846
40.18/40.75	o 844
40.28/40.80	o 843
40.38/40.91	o 841
40.38/40.97	o 839
40.48/41.03	o 837
40.48/41.08	o 835
40.58/41.15	o 834
40.67/41.22	o 833
40.67/41.27	o 831
41.46/42.09	o 830
41.66/42.20	o 827
41.96/42.54	o 826
41.96/42.59	o 824
42.06/42.65	o 822
42.16/42.71	o 821
42.16/42.77	o 820
42.26/42.83	o 819
42.26/42.89	o 816
42.35/42.96	o 813
42.45/43.02	o 812
42.55/43.13	o 811
42.55/43.18	o 810
42.65/43.30	o 809
42.76/43.35	o 807
42.86/43.41	o 805
42.86/43.46	o 804
43.06/43.70	o 803
43.16/43.76	o 801
43.26/43.82	o 798
43.26/43.86	o 796
43.35/43.92	o 794
43.45/44.09	o 793
43.74/44.30	o 791
43.74/44.37	o 789
44.04/44.60	o 787
44.14/44.77	o 786
44.24/44.83	o 784
44.54/45.17	o 780
44.64/45.23	o 779
44.93/45.59	o 776
45.03/45.66	o 775
45.23/45.83	o 773
45.23/45.88	o 772
45.43/46.02	o 771
45.73/46.36	o 769
45.82/46.42	o 764
45.82/46.47	o 762
45.92/46.53	o 760
45.92/46.59	o 757
46.02/46.65	o 755
46.12/46.78	o 754
46.22/46.85	o 752
46.32/46.91	o 751
46.32/46.98	o 749
46.42/47.04	o 748
46.52/47.11	o 746
46.62/47.25	o 745
46.71/47.32	o 743
46.91/47.58	o 741
47.01/47.64	o 738
47.21/47.85	o 737
47.31/47.92	o 735
47.31/47.98	o 734
47.41/48.05	o 731
47.51/48.11	o 729
47.51/48.17	o 727
47.71/48.32	o 725
47.71/48.38	o 723
48.00/48.70	o 721
48.10/48.76	o 720
48.40/49.01	o 719
48.50/49.13	o 718
48.50/49.18	o 715
48.59/49.24	o 713
48.69/49.33	o 711
48.69/49.38	o 709
48.79/49.49	o 708
48.89/49.55	o 706
48.89/49.60	o 704
48.99/49.65	o 703
49.08/49.70	o 702
49.08/49.75	o 701
49.18/49.80	o 700
49.38/50.01	o 699
49.38/50.06	o 698
49.48/50.11	o 696
49.48/50.16	o 695
49.88/50.51	o 693
49.88/50.56	o 691
50.58/51.23	o 688
51.77/52.49	o 687
51.97/52.62	o 684
52.16/52.81	o 680
52.26/52.94	o 677
52.46/53.12	o 676
52.46/53.19	o 674
52.56/53.24	o 673
52.66/53.37	o 670
53.06/53.73	o 669
53.06/53.79	o 666
54.14/54.86	o 665
54.24/54.93	o 663
54.24/54.99	o 660
54.44/55.12	o 658
54.44/55.18	o 657
54.53/55.24	o 654
54.63/55.36	o 653
54.73/55.42	o 651
54.83/55.55	o 649
55.13/55.81	o 648
55.23/55.93	o 647
55.93/56.61	o 646
56.03/56.73	o 645
56.13/56.85	o 644
56.23/56.91	o 643
56.33/57.03	o 642
56.33/57.09	o 641
56.43/57.15	o 640
56.52/57.28	o 639
56.62/57.34	o 638
56.72/57.41	o 637
56.72/57.48	o 636
56.82/57.54	o 635
56.91/57.68	o 631
57.01/57.74	o 630
57.11/57.81	o 628
57.71/58.47	o 624
57.90/58.61	o 623
57.90/58.68	o 621
58.00/58.75	o 620
58.20/58.90	o 619
58.20/58.97	o 618
58.30/59.05	o 617
58.80/59.59	o 615
58.89/59.68	o 613
61.07/61.83	o 612
61.17/61.92	o 611
61.27/62.00	o 609
61.47/62.26	o 608
61.67/62.43	o 606
61.96/62.78	o 605
62.07/62.86	o 603
62.16/62.94	o 600
62.26/63.03	o 598
62.36/63.12	o 597
62.56/63.37	o 596
62.66/63.45	o 593
63.75/64.51	o 592
63.85/64.60	o 591
63.95/64.70	o 590
64.05/64.88	o 589
64.24/65.08	o 588
65.04/65.84	o 584
65.23/66.03	o 579
65.33/66.12	o 578
65.64/66.49	o 577
67.22/68.09	o 576
67.32/68.18	o 575
67.42/68.27	o 574
67.52/68.35	o 573
67.61/68.44	o 572
67.81/68.61	o 570
67.81/68.67	o 569
68.01/68.83	o 568
73.35/74.20	o 567
73.75/74.62	o 565
73.85/74.71	o 563
74.05/74.94	o 562
74.14/75.04	o 559
74.34/75.26	o 558
74.44/75.37	o 557
74.54/75.47	o 556
74.64/75.58	o 555
74.84/75.70	o 554
74.95/75.82	o 553
75.04/75.94	o 552
78.31/79.21	o 550
78.31/79.28	o 547
79.01/79.97	o 546
80.20/81.14	o 545
80.29/81.25	o 544
82.96/83.92	o 543
83.86/84.89	o 539
85.84/86.89	o 538
86.43/87.41	o 536
86.43/87.49	o 535
86.63/87.60	o 534
86.93/87.99	o 533
87.12/88.13	o 532
87.42/88.48	o 531
87.72/88.73	o 530
87.82/88.85	o 529
88.21/89.21	o 528
88.30/89.33	o 527
88.70/89.70	o 526
88.80/89.83	o 521
89.00/90.08	o 519
91.19/92.21	o 518
91.38/92.48	o 517
91.48/92.54	o 516
91.68/92.78	o 515
92.38/93.50	o 514
92.67/93.75	o 512
93.56/94.64	o 508
94.95/96.01	o 507
95.05/96.14	o 506
95.55/96.62	o 504
100.00/101.18	o 503
100.20/101.32	o 502
101.48/102.63	o 501
101.48/102.69	o 499
101.68/102.81	o 498
101.98/103.10	o 494
102.18/103.38	o 493
102.57/103.75	o 491
104.36/105.55	o 490
104.45/105.68	o 489
104.65/105.83	o 488
106.54/107.77	o 486
109.31/110.51	o 485
109.31/110.59	o 484
110.20/111.43	o 482
110.40/111.69	o 481
110.99/112.22	o 480
113.17/114.46	o 472
113.47/114.73	o 470
113.57/114.86	o 469
113.67/114.97	o 468
114.36/115.66	o 467
116.63/117.94	o 466
116.73/118.07	o 465
117.33/118.62	o 464
117.72/119.04	o 461
117.82/119.14	o 459
117.92/119.20	o 458
118.22/119.54	o 457
118.32/119.67	o 455
118.61/119.95	o 454
118.71/120.08	o 450
118.91/120.22	o 445
119.01/120.34	o 444
119.11/120.47	o 443
119.31/120.61	o 441
119.41/120.72	o 439
119.51/120.84	o 438
119.61/120.92	o 435
120.01/121.32	o 433
120.61/121.98	o 430
121.29/122.66	o 429
121.49/122.80	o 427
121.59/122.93	o 426
121.69/123.07	o 425
122.08/123.42	o 423
122.18/123.56	o 422
122.48/123.81	o 421
122.58/123.94	o 420
122.78/124.19	o 419
123.08/124.47	o 418
123.37/124.75	o 417
124.46/125.86	o 416
124.76/126.14	o 415
125.06/126.44	o 413
130.92/132.34	o 412
131.02/132.49	o 409
131.22/132.63	o 407
131.32/132.77	o 406
131.92/133.34	o 405
133.52/134.95	o 403
133.72/135.17	o 402
133.82/135.30	o 401
134.02/135.43	o 398
134.02/135.49	o 393
134.32/135.72	o 391
134.42/135.85	o 388
135.12/136.54	o 387
135.22/136.67	o 386
136.72/138.16	o 385
137.02/138.46	o 382
137.52/138.90	o 380
137.82/139.20	o 379
138.12/139.51	o 377
138.22/139.66	o 375
138.43/139.81	o 372
139.43/140.89	o 370
141.02/142.47	o 369
141.22/142.63	o 368
141.22/142.65	o 365
141.42/142.81	o 364
141.73/143.18	o 362
141.92/143.31	o 361
142.32/143.74	o 360
144.71/146.19	o 358
145.21/146.70	o 357
148.11/149.58	o 356
148.51/150.00	o 355
148.71/150.17	o 354
149.11/150.51	o 351
149.21/150.68	o 350
155.81/157.22	o 349
155.91/157.39	o 347
156.31/157.72	o 346
156.41/157.89	o 345
156.61/158.06	o 344
156.80/158.20	o 343
156.90/158.38	o 341
157.11/158.55	o 339
157.30/158.71	o 338
159.21/160.65	o 336
160.01/161.43	o 335
160.41/161.86	o 334
163.80/165.23	o 333
164.30/165.72	o 332
164.71/166.20	o 330
164.81/166.30	o 329
165.70/167.12	o 326
166.30/167.72	o 325
166.40/167.89	o 324
167.30/168.70	o 323
167.40/168.84	o 322
167.60/169.01	o 321
169.50/170.94	o 317
169.80/171.29	o 315
170.50/171.90	o 313
194.89/196.37	o 312
195.09/196.55	o 311
195.19/196.69	o 310
197.09/198.50	o 308
197.39/198.81	o 307
197.99/199.46	o 306
198.19/199.63	o 305
198.90/200.36	o 304
199.29/200.70	o 303
199.90/201.35	o 300
200.39/201.82	o 297
200.39/201.88	o 296
229.78/231.21	o 295
229.88/231.35	o 294
230.48/231.90	o 292
231.07/232.52	o 290
232.67/234.14	o 289
232.77/234.30	o 285
233.17/234.61	o 284
242.88/244.38	o 283
243.17/244.67	o 282
243.38/244.83	o 279
243.57/245.00	o 278
247.27/248.76	o 276
247.47/248.93	o 273
270.96/272.47	o 271
291.85/293.39	o 269
292.05/293.55	o 268
292.25/293.73	o 267
292.75/294.23	o 265
300.85/302.31	o 261
301.35/302.83	o 260
301.85/303.35	o 258
303.85/305.38	o 257
328.54/330.03	o 256
340.04/341.60	o 255
341.34/342.87	o 254
341.44/342.98	o 253
341.64/343.15	o 251
342.04/343.57	o 248
342.14/343.69	o 247
342.34/343.81	o 246
372.43/373.92	   
372.43/373.92	   search
372.43/373.92	     run=0  nbConstraintChecks=975472455  nbAssignments=3212
372.43/373.92	       =>  wckTime=357.888  cpuTime=356.61  mem=31M771
372.43/373.92	   
372.43/373.92	   global
372.43/373.92	     nbConstraintChecks=975472455  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
372.43/373.92	     solvingWckTime=357.883  solvingCpuTime=356.61  expiredTime=no  totalExploration=no  nbFoundSolutions=0
372.43/373.92	     globalCpuTime=371.43
372.43/373.92	       =>  wckTime=373.625  cpuTime=371.39  mem=31M771
372.43/373.92	   
372.43/373.92	   solver DecomposerSolver being built... 
373.73/375.22	       =>  wckTime=374.925  cpuTime=371.89  mem=432M206
383.62/385.16	   
383.62/385.16	   preprocessing
383.62/385.16	     nbConstraintChecks=31645293  nbValidityChecks=137432  nbPropagations=803  nbRevisions=9477  nbUselessRevisions=9470
383.62/385.16	     nbRemovedValues=240  detectedInconsistency=no
383.62/385.16	       =>  wckTime=9.94  cpuTime=9.92  mem=432M206
383.91/385.45	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-1113062-1215877359/watcher-1113062-1215877359 -o /tmp/evaluation-result-1113062-1215877359/solver-1113062-1215877359 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1113062-1215877359.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.91 3.12 2.99 3/82 16457
/proc/meminfo: memFree=1585936/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=18572 CPUtime=0
/proc/16457/stat : 16457 (runsolver) R 16455 16457 15638 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44437629 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16457/statm: 4643 292 257 25 0 2626 0

[startup+0.103758 s]
/proc/loadavg: 2.91 3.12 2.99 3/82 16457
/proc/meminfo: memFree=1585936/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=865984 CPUtime=0.08
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 3729 0 1 0 6 2 0 0 18 0 9 0 44437629 886767616 3193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216496 3193 1685 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.201766 s]
/proc/loadavg: 2.91 3.12 2.99 3/82 16457
/proc/meminfo: memFree=1585936/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=866012 CPUtime=0.17
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 4399 0 2 0 13 4 0 0 18 0 9 0 44437629 886796288 3836 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216503 3836 1845 9 0 211051 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 866012

[startup+0.30177 s]
/proc/loadavg: 2.91 3.12 2.99 3/82 16457
/proc/meminfo: memFree=1585936/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=866268 CPUtime=0.25
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 5325 0 3 0 21 4 0 0 18 0 9 0 44437629 887058432 4751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216567 4751 1872 9 0 211115 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 866268

[startup+0.701796 s]
/proc/loadavg: 2.91 3.12 2.99 3/82 16457
/proc/meminfo: memFree=1585936/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867144 CPUtime=0.61
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 8560 0 7 0 54 7 0 0 18 0 9 0 44437629 887955456 7927 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216786 7927 2007 9 0 211292 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 867144

[startup+1.50185 s]
/proc/loadavg: 2.91 3.12 2.99 3/91 16466
/proc/meminfo: memFree=1528584/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867748 CPUtime=1.4
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 16449 0 7 0 129 11 0 0 18 0 9 0 44437629 888573952 15813 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216937 15813 2015 9 0 211443 0
[pid=16457/tid=16459] ppid=16455 vsize=867748 CPUtime=1.19
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15100 0 7 0 109 10 0 0 25 0 9 0 44437631 888573952 15813 996147200 134512640 134550740 4294955952 18446744073709551615 4126873250 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867748 CPUtime=0
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 44437632 888573952 15813 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867748 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 44437632 888573952 15813 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867748 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44437632 888573952 15813 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867748 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888573952 15813 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867748 CPUtime=0.19
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 652 0 0 0 19 0 0 0 15 0 9 0 44437634 888573952 15813 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867748 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888573952 15813 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867748 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888573952 15813 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 867748

[startup+3.10194 s]
/proc/loadavg: 2.91 3.12 2.99 3/91 16466
/proc/meminfo: memFree=1513032/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867660 CPUtime=2.99
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 19420 0 7 0 286 13 0 0 18 0 9 0 44437629 888483840 18759 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216915 18759 2006 9 0 211443 0
[pid=16457/tid=16459] ppid=16455 vsize=867660 CPUtime=2.67
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15794 0 7 0 256 11 0 0 25 0 9 0 44437631 888483840 18759 996147200 134512640 134550740 4294955952 18446744073709551615 4126876983 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867660 CPUtime=0.07
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 2256 0 0 0 7 0 0 0 16 0 9 0 44437632 888483840 18759 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888483840 18759 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44437632 888483840 18759 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888483840 18759 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867660 CPUtime=0.22
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 673 0 0 0 22 0 0 0 15 0 9 0 44437634 888483840 18759 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888483840 18759 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888483840 18759 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 867660

[startup+6.30215 s]
/proc/loadavg: 2.84 3.10 2.99 3/91 16466
/proc/meminfo: memFree=1503432/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867660 CPUtime=6.16
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 19440 0 7 0 601 15 0 0 18 0 9 0 44437629 888483840 18775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216915 18775 2006 9 0 211443 0
[pid=16457/tid=16459] ppid=16455 vsize=867660 CPUtime=5.81
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15804 0 7 0 568 13 0 0 25 0 9 0 44437631 888483840 18775 996147200 134512640 134550740 4294955952 18446744073709551615 4126892823 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867660 CPUtime=0.07
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 2256 0 0 0 7 0 0 0 17 0 9 0 44437632 888483840 18775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888483840 18775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44437632 888483840 18775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888483840 18775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867660 CPUtime=0.24
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 683 0 0 0 24 0 0 0 15 0 9 0 44437634 888483840 18775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888483840 18775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888483840 18775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 867660

[startup+12.7025 s]
/proc/loadavg: 2.77 3.08 2.98 3/91 16466
/proc/meminfo: memFree=1464392/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867660 CPUtime=12.5
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 22863 0 7 0 1232 18 0 0 18 0 9 0 44437629 888483840 22196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216915 22196 2007 9 0 211443 0
[pid=16457/tid=16459] ppid=16455 vsize=867660 CPUtime=12.01
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15810 0 7 0 1186 15 0 0 25 0 9 0 44437631 888483840 22196 996147200 134512640 134550740 4294955952 18446744073709551615 4126878575 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867660 CPUtime=0.18
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 5656 0 0 0 17 1 0 0 17 0 9 0 44437632 888483840 22196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888483840 22196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44437632 888483840 22196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888483840 22196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867660 CPUtime=0.28
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 700 0 0 0 28 0 0 0 15 0 9 0 44437634 888483840 22196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888483840 22196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867660 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888483840 22196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 867660

[startup+25.5014 s]
/proc/loadavg: 2.60 3.03 2.96 3/91 16466
/proc/meminfo: memFree=1431752/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867716 CPUtime=25.13
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 27552 0 7 0 2489 24 0 0 18 0 9 0 44437629 888541184 26691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216929 26691 2640 9 0 211435 0
[pid=16457/tid=16459] ppid=16455 vsize=867716 CPUtime=24.3
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15875 0 7 0 2409 21 0 0 25 0 9 0 44437631 888541184 26691 996147200 134512640 134550740 4294955952 18446744073709551615 4127181609 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867716 CPUtime=0.49
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 10254 0 0 0 47 2 0 0 16 0 9 0 44437632 888541184 26691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888541184 26691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44437632 888541184 26691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888541184 26691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867716 CPUtime=0.32
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 726 0 0 0 32 0 0 0 16 0 9 0 44437634 888541184 26691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888541184 26691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888541184 26691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 867716

[startup+51.102 s]
/proc/loadavg: 2.39 2.94 2.94 3/91 16466
/proc/meminfo: memFree=1353800/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867716 CPUtime=50.48
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 27556 0 7 0 5019 29 0 0 18 0 9 0 44437629 888541184 26694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216929 26694 2640 9 0 211435 0
[pid=16457/tid=16459] ppid=16455 vsize=867716 CPUtime=49.63
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15876 0 7 0 4938 25 0 0 25 0 9 0 44437631 888541184 26694 996147200 134512640 134550740 4294955952 18446744073709551615 4127175644 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867716 CPUtime=0.49
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 10254 0 0 0 47 2 0 0 16 0 9 0 44437632 888541184 26694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888541184 26694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44437632 888541184 26694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888541184 26694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867716 CPUtime=0.32
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 729 0 0 0 32 0 0 0 17 0 9 0 44437634 888541184 26694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867716 CPUtime=0

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

/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44437632 888541184 26698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888541184 26698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867716 CPUtime=0.34
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 733 0 0 0 34 0 0 0 15 0 9 0 44437634 888541184 26698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888541184 26698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867716 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888541184 26698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 369.72
Current children cumulated vsize (KiB) 867716

[startup+377.602 s]
/proc/loadavg: 2.41 2.66 2.81 3/90 16466
/proc/meminfo: memFree=717256/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867628 CPUtime=376.12
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 121043 0 7 0 37522 90 0 0 18 0 9 0 44437629 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216907 120105 2619 9 0 211435 0
[pid=16457/tid=16459] ppid=16455 vsize=867628 CPUtime=374.45
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15962 0 7 0 37396 49 0 0 25 0 9 0 44437631 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4126873015 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867628 CPUtime=1.27
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 103613 0 0 0 87 40 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867628 CPUtime=0.38
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 753 0 0 0 38 0 0 0 15 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 376.12
Current children cumulated vsize (KiB) 867628

[startup+380.803 s]
/proc/loadavg: 2.38 2.65 2.81 3/90 16466
/proc/meminfo: memFree=717192/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867628 CPUtime=379.32
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 121043 0 7 0 37842 90 0 0 18 0 9 0 44437629 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216907 120105 2619 9 0 211435 0
[pid=16457/tid=16459] ppid=16455 vsize=867628 CPUtime=377.65
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15962 0 7 0 37716 49 0 0 25 0 9 0 44437631 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4126875616 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867628 CPUtime=1.27
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 103613 0 0 0 87 40 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867628 CPUtime=0.38
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 753 0 0 0 38 0 0 0 15 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 379.32
Current children cumulated vsize (KiB) 867628

[startup+384.008 s]
/proc/loadavg: 2.38 2.65 2.81 4/90 16466
/proc/meminfo: memFree=717192/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867628 CPUtime=382.52
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 121043 0 7 0 38162 90 0 0 18 0 9 0 44437629 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216907 120105 2619 9 0 211435 0
[pid=16457/tid=16459] ppid=16455 vsize=867628 CPUtime=380.85
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15962 0 7 0 38036 49 0 0 25 0 9 0 44437631 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4127057469 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867628 CPUtime=1.27
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 103613 0 0 0 87 40 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867628 CPUtime=0.38
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 753 0 0 0 38 0 0 0 15 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 382.52
Current children cumulated vsize (KiB) 867628

[startup+384.802 s]
/proc/loadavg: 2.38 2.65 2.81 4/90 16466
/proc/meminfo: memFree=717192/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867628 CPUtime=383.31
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 121043 0 7 0 38241 90 0 0 18 0 9 0 44437629 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216907 120105 2619 9 0 211435 0
[pid=16457/tid=16459] ppid=16455 vsize=867628 CPUtime=381.65
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15962 0 7 0 38116 49 0 0 25 0 9 0 44437631 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4126879920 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867628 CPUtime=1.27
/proc/16457/task/16460/stat : 16460 (java) S 16455 16457 15638 0 -1 64 103613 0 0 0 87 40 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867628 CPUtime=0.38
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 753 0 0 0 38 0 0 0 15 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 383.31
Current children cumulated vsize (KiB) 867628

[startup+385.202 s]
/proc/loadavg: 2.43 2.66 2.81 3/90 16466
/proc/meminfo: memFree=717192/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867628 CPUtime=383.71
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 121046 0 7 0 38281 90 0 0 18 0 9 0 44437629 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216907 120105 2618 9 0 211435 0
[pid=16457/tid=16459] ppid=16455 vsize=867628 CPUtime=382.01
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15964 0 7 0 38152 49 0 0 25 0 9 0 44437631 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867628 CPUtime=1.3
/proc/16457/task/16460/stat : 16460 (java) R 16455 16457 15638 0 -1 64 103614 0 0 0 90 40 0 0 17 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867628 CPUtime=0.38
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 753 0 0 0 38 0 0 0 15 0 9 0 44437634 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888451072 120105 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 383.71
Current children cumulated vsize (KiB) 867628

[startup+385.402 s]
/proc/loadavg: 2.43 2.66 2.81 3/90 16466
/proc/meminfo: memFree=717192/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=867628 CPUtime=383.91
/proc/16457/stat : 16457 (java) S 16455 16457 15638 0 -1 0 121057 0 7 0 38301 90 0 0 18 0 9 0 44437629 888451072 120116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16457/statm: 216907 120116 2618 9 0 211435 0
[pid=16457/tid=16459] ppid=16455 vsize=867628 CPUtime=382.01
/proc/16457/task/16459/stat : 16459 (java) R 16455 16457 15638 0 -1 64 15964 0 7 0 38152 49 0 0 25 0 9 0 44437631 888451072 120116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16460] ppid=16455 vsize=867628 CPUtime=1.5
/proc/16457/task/16460/stat : 16460 (java) R 16455 16457 15638 0 -1 64 103625 0 0 0 110 40 0 0 17 0 9 0 44437632 888451072 120116 996147200 134512640 134550740 4294955952 18446744073709551615 104182213 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16461] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16461/stat : 16461 (java) S 16455 16457 15638 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16462] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16462/stat : 16462 (java) S 16455 16457 15638 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44437632 888451072 120116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16463] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16463/stat : 16463 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44437634 888451072 120116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16464] ppid=16455 vsize=867628 CPUtime=0.38
/proc/16457/task/16464/stat : 16464 (java) S 16455 16457 15638 0 -1 64 753 0 0 0 38 0 0 0 15 0 9 0 44437634 888451072 120116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16457/tid=16465] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16465/stat : 16465 (java) S 16455 16457 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44437635 888451072 120116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16457/tid=16466] ppid=16455 vsize=867628 CPUtime=0
/proc/16457/task/16466/stat : 16466 (java) S 16455 16457 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44437635 888451072 120116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 383.91
Current children cumulated vsize (KiB) 867628

[startup+385.502 s]
/proc/loadavg: 2.43 2.66 2.81 3/90 16466
/proc/meminfo: memFree=717192/2055920 swapFree=4180012/4192956
[pid=16457] ppid=16455 vsize=0 CPUtime=383.99
/proc/16457/stat : 16457 (java) Z 16455 16457 15638 0 -1 12 126940 0 7 0 38305 94 0 0 16 0 2 0 44437629 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16457/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 383.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 385.555
CPU time (s): 384.055
CPU user time (s): 383.052
CPU system time (s): 1.00285
CPU usage (%): 99.6108
Max. virtual memory (cumulated for all children) (KiB): 867748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 383.052
system time used= 1.00285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126940
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9967
involuntary context switches= 15194

runsolver used 0.506922 second user time and 1.35279 second system time

The end

Launcher Data (download as text)

Begin job on node29 at 2008-07-12 17:42:39
IDJOB=1113062
IDBENCH=61520
IDSOLVER=360
FILE ID=node29/1113062-1215877359
PBS_JOBID= 7903534
Free space on /tmp= 66496 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-0.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113062-1215877359/watcher-1113062-1215877359 -o /tmp/evaluation-result-1113062-1215877359/solver-1113062-1215877359 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1113062-1215877359.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 501a3c19e285c0ae9d47bc368e869aab
RANDOM SEED=1772600057

node29.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.242
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.242
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:       1586416 kB
Buffers:          1848 kB
Cached:          44924 kB
SwapCached:       5588 kB
Active:         409260 kB
Inactive:        20228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1586416 kB
SwapTotal:     4192956 kB
SwapFree:      4180012 kB
Dirty:            3180 kB
Writeback:           0 kB
Mapped:         399956 kB
Slab:            24352 kB
Committed_AS:   616500 kB
PageTables:       2816 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= 66492 MiB
End job on node29 at 2008-07-12 17:49:05