Trace number 1113061

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? 368.735 368.996

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.08	
0.00/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mrdac-wdeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1113061-1215877348.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.36	   
0.29/0.36	   variables being loaded...
0.38/0.49	     nbVariables=800  nbDomainTypes=33  minDomainSize=42  maxDomainSize=350  nbTotalValues=121824
0.38/0.49	       =>  wckTime=0.25  cpuTime=0.17  mem=12M800
0.38/0.49	   
0.38/0.49	   predicates being loaded...
0.48/0.55	   
0.48/0.55	   constraints being loaded...
10.48/10.55	   
10.48/10.55	   INFO : Stopping converting binary constraints (cpu=10.08, mem = 42M329)
15.08/15.13	     nbConstraints=8975  nbConvertedConstraints=1258  nbConvertConstraintsChecks=48071988  nbExtensionStructures=1213
15.08/15.13	     nbSharedExtensionStructures=161  nbConflictsStructures=3993  nbSharedConflictsStructures=450
15.08/15.13	     nbUnbuiltConflictsStructures=4000  nbSharedBinaryRepresentations=336449  nbEvaluationManagers=6780
15.08/15.13	     nbSharedEvaluationManagers=937  minDegree=5  maxDegree=37  minArity=2  maxArity=2
15.08/15.13	       =>  wckTime=14.885  cpuTime=14.37  mem=49M463
15.28/15.34	   
15.28/15.34	   solver LocalSearchSolver being built... 
15.28/15.38	       =>  wckTime=15.139  cpuTime=14.41  mem=30M914
15.38/15.44	
15.38/15.44	s SATISFIABLE
15.38/15.44	o 2248
15.38/15.46	o 2240
15.38/15.49	o 2232
15.47/15.51	o 2226
15.47/15.53	o 2221
15.47/15.54	o 2218
15.47/15.56	o 2217
15.47/15.58	o 2210
15.47/15.59	o 2203
15.57/15.61	o 2197
15.57/15.63	o 2193
15.57/15.65	o 2191
15.57/15.67	o 2187
15.57/15.68	o 2183
15.67/15.71	o 2179
15.67/15.73	o 2175
15.67/15.73	o 2172
15.67/15.74	o 2167
15.67/15.76	o 2165
15.67/15.77	o 2163
15.67/15.78	o 2161
15.78/15.80	o 2160
15.78/15.81	o 2151
15.78/15.83	o 2146
15.78/15.84	o 2141
15.78/15.86	o 2136
15.78/15.88	o 2134
15.78/15.89	o 2131
15.88/15.91	o 2128
15.88/15.92	o 2126
15.88/15.93	o 2124
15.88/15.94	o 2122
15.88/15.95	o 2120
15.88/15.96	o 2119
15.88/15.97	o 2118
15.88/15.98	o 2116
15.88/15.99	o 2115
15.97/16.00	o 2111
15.97/16.01	o 2110
15.97/16.03	o 2108
15.97/16.04	o 2101
15.97/16.05	o 2094
15.97/16.06	o 2087
15.97/16.08	o 2083
15.97/16.09	o 2079
16.07/16.11	o 2075
16.07/16.12	o 2072
16.07/16.13	o 2069
16.07/16.14	o 2066
16.07/16.15	o 2063
16.07/16.17	o 2058
16.07/16.18	o 2056
16.07/16.20	o 2054
16.17/16.21	o 2052
16.17/16.22	o 2050
16.17/16.23	o 2049
16.17/16.24	o 2045
16.17/16.25	o 2044
16.17/16.26	o 2042
16.17/16.27	o 2041
16.17/16.28	o 2036
16.17/16.29	o 2031
16.17/16.29	o 2026
16.27/16.31	o 2025
16.27/16.32	o 2020
16.27/16.33	o 2017
16.27/16.36	o 2010
16.27/16.37	o 2008
16.27/16.39	o 2002
16.27/16.40	o 1996
16.37/16.41	o 1991
16.37/16.43	o 1986
16.37/16.45	o 1981
16.37/16.46	o 1977
16.37/16.48	o 1973
16.37/16.49	o 1969
16.47/16.50	o 1966
16.47/16.52	o 1963
16.47/16.54	o 1960
16.47/16.55	o 1958
16.47/16.57	o 1956
16.47/16.58	o 1954
16.47/16.59	o 1952
16.57/16.60	o 1951
16.57/16.61	o 1950
16.57/16.62	o 1949
16.57/16.63	o 1948
16.57/16.64	o 1942
16.57/16.67	o 1934
16.57/16.68	o 1933
16.57/16.69	o 1929
16.67/16.70	o 1924
16.67/16.71	o 1923
16.67/16.72	o 1922
16.67/16.75	o 1920
16.67/16.75	o 1916
16.67/16.77	o 1912
16.67/16.78	o 1909
16.67/16.79	o 1907
16.76/16.80	o 1906
16.76/16.82	o 1904
16.76/16.83	o 1900
16.76/16.84	o 1899
16.76/16.86	o 1895
16.76/16.87	o 1890
16.76/16.88	o 1886
16.76/16.89	o 1883
16.86/16.91	o 1880
16.86/16.93	o 1878
16.86/16.95	o 1876
16.86/16.96	o 1872
16.86/16.98	o 1868
16.86/16.98	o 1865
16.86/16.99	o 1863
16.96/17.00	o 1861
16.96/17.01	o 1858
16.96/17.02	o 1855
16.96/17.04	o 1852
16.96/17.05	o 1849
16.96/17.07	o 1846
16.96/17.08	o 1843
16.96/17.09	o 1840
17.06/17.10	o 1837
17.06/17.11	o 1835
17.06/17.11	o 1834
17.06/17.13	o 1832
17.06/17.14	o 1831
17.06/17.15	o 1830
17.06/17.16	o 1829
17.06/17.17	o 1822
17.06/17.18	o 1820
17.06/17.19	o 1818
17.06/17.20	o 1814
17.16/17.21	o 1812
17.16/17.22	o 1807
17.16/17.23	o 1806
17.16/17.24	o 1805
17.16/17.25	o 1799
17.16/17.26	o 1797
17.16/17.27	o 1795
17.16/17.28	o 1794
17.16/17.29	o 1792
17.26/17.30	o 1787
17.26/17.31	o 1786
17.26/17.32	o 1785
17.26/17.34	o 1783
17.26/17.36	o 1778
17.26/17.37	o 1776
17.26/17.38	o 1772
17.26/17.39	o 1770
17.36/17.40	o 1768
17.36/17.41	o 1766
17.36/17.42	o 1764
17.36/17.43	o 1760
17.36/17.44	o 1759
17.36/17.46	o 1758
17.36/17.47	o 1753
17.36/17.49	o 1748
17.36/17.49	o 1747
17.36/17.50	o 1743
17.47/17.52	o 1738
17.47/17.53	o 1735
17.47/17.55	o 1732
17.47/17.57	o 1729
17.47/17.59	o 1727
17.57/17.61	o 1726
17.57/17.62	o 1724
17.57/17.63	o 1722
17.57/17.66	o 1719
17.57/17.67	o 1718
17.57/17.69	o 1717
17.66/17.75	o 1716
17.76/17.82	o 1713
17.76/17.83	o 1709
17.76/17.84	o 1703
17.76/17.86	o 1702
17.76/17.87	o 1700
17.76/17.89	o 1695
17.86/17.90	o 1694
17.86/17.93	o 1693
17.86/17.94	o 1689
17.86/17.96	o 1687
17.86/17.97	o 1686
17.86/17.99	o 1684
17.96/18.01	o 1681
17.96/18.03	o 1677
17.96/18.05	o 1675
17.96/18.06	o 1672
17.96/18.08	o 1666
17.96/18.09	o 1662
18.06/18.11	o 1660
18.06/18.12	o 1658
18.06/18.17	o 1656
18.06/18.19	o 1653
18.16/18.20	o 1652
18.16/18.21	o 1651
18.16/18.23	o 1650
18.16/18.24	o 1646
18.16/18.28	o 1643
18.26/18.30	o 1642
18.26/18.35	o 1641
18.26/18.37	o 1637
18.26/18.39	o 1633
18.36/18.44	o 1632
18.36/18.47	o 1631
18.36/18.49	o 1629
18.46/18.51	o 1626
18.46/18.53	o 1625
18.46/18.55	o 1624
18.46/18.57	o 1623
18.46/18.58	o 1619
18.56/18.60	o 1615
18.56/18.62	o 1611
18.56/18.64	o 1609
18.56/18.66	o 1608
18.56/18.68	o 1605
18.56/18.69	o 1602
18.67/18.71	o 1599
18.67/18.74	o 1598
18.67/18.76	o 1597
18.67/18.78	o 1596
18.67/18.80	o 1595
18.76/18.82	o 1593
18.76/18.83	o 1590
18.86/18.96	o 1587
18.86/18.98	o 1586
18.96/19.01	o 1582
18.96/19.03	o 1581
18.96/19.05	o 1579
18.96/19.06	o 1578
18.96/19.08	o 1575
18.96/19.09	o 1573
19.06/19.11	o 1570
19.06/19.12	o 1567
19.06/19.18	o 1566
19.06/19.19	o 1562
19.16/19.21	o 1557
19.16/19.23	o 1555
19.16/19.27	o 1550
19.16/19.29	o 1549
19.26/19.32	o 1548
19.26/19.34	o 1546
19.26/19.36	o 1545
19.36/19.41	o 1542
19.36/19.45	o 1537
19.36/19.49	o 1536
19.46/19.51	o 1535
19.46/19.53	o 1530
19.46/19.55	o 1524
19.46/19.57	o 1522
19.46/19.59	o 1520
19.56/19.66	o 1514
19.56/19.68	o 1512
19.56/19.70	o 1510
19.66/19.80	o 1509
19.76/19.82	o 1508
19.76/19.85	o 1505
19.76/19.87	o 1502
19.76/19.90	o 1501
19.86/19.92	o 1498
19.86/19.95	o 1494
19.86/19.97	o 1493
19.86/19.99	o 1492
19.96/20.01	o 1490
19.96/20.04	o 1489
19.96/20.06	o 1487
20.06/20.13	o 1485
20.06/20.17	o 1483
20.06/20.18	o 1481
20.16/20.20	o 1476
20.16/20.25	o 1474
20.16/20.27	o 1471
20.25/20.30	o 1469
20.25/20.35	o 1467
20.25/20.37	o 1466
20.35/20.40	o 1464
20.35/20.46	o 1461
20.35/20.48	o 1458
20.45/20.51	o 1455
20.45/20.54	o 1454
20.45/20.57	o 1452
20.45/20.60	o 1451
20.55/20.63	o 1450
20.55/20.66	o 1447
20.55/20.69	o 1443
20.65/20.78	o 1441
20.76/20.81	o 1437
20.76/20.87	o 1435
20.76/20.89	o 1431
20.86/20.92	o 1429
20.86/20.94	o 1424
20.86/20.97	o 1421
20.96/21.00	o 1419
20.96/21.03	o 1417
20.96/21.06	o 1416
20.96/21.08	o 1414
21.06/21.11	o 1413
21.06/21.17	o 1410
21.16/21.20	o 1408
21.16/21.23	o 1406
21.16/21.27	o 1405
21.26/21.30	o 1404
21.26/21.34	o 1402
21.26/21.37	o 1401
21.36/21.41	o 1399
21.46/21.51	o 1397
21.46/21.54	o 1395
21.46/21.58	o 1392
21.56/21.61	o 1390
21.56/21.68	o 1389
21.66/21.72	o 1388
21.66/21.78	o 1386
21.76/21.82	o 1383
21.76/21.85	o 1382
21.76/21.89	o 1381
21.86/21.92	o 1380
21.96/22.01	o 1378
21.96/22.03	o 1373
21.96/22.06	o 1371
21.96/22.08	o 1367
22.06/22.14	o 1365
22.06/22.17	o 1364
22.06/22.19	o 1363
22.16/22.25	o 1362
22.16/22.27	o 1359
22.25/22.33	o 1355
22.25/22.35	o 1352
22.25/22.38	o 1349
22.35/22.47	o 1348
22.35/22.50	o 1346
22.45/22.55	o 1340
22.55/22.61	o 1339
22.55/22.63	o 1334
22.55/22.66	o 1329
22.55/22.69	o 1325
22.65/22.74	o 1322
22.65/22.77	o 1318
22.75/22.80	o 1315
22.75/22.83	o 1313
22.85/22.93	o 1310
22.85/22.96	o 1309
22.85/22.99	o 1305
22.96/23.03	o 1303
22.96/23.09	o 1301
23.05/23.15	o 1299
23.05/23.19	o 1296
23.15/23.22	o 1292
23.15/23.28	o 1289
23.25/23.31	o 1286
23.25/23.34	o 1285
23.25/23.38	o 1280
23.35/23.41	o 1278
23.35/23.44	o 1277
23.35/23.47	o 1275
23.45/23.51	o 1272
23.45/23.53	o 1271
23.45/23.56	o 1269
23.45/23.59	o 1266
23.55/23.62	o 1263
23.55/23.65	o 1262
23.55/23.68	o 1260
23.64/23.71	o 1256
23.64/23.75	o 1254
23.74/23.81	o 1251
23.74/23.86	o 1248
23.74/23.89	o 1247
23.84/23.92	o 1245
23.84/23.96	o 1244
23.84/23.99	o 1243
23.94/24.02	o 1242
23.94/24.08	o 1238
24.05/24.11	o 1235
24.05/24.15	o 1233
24.05/24.17	o 1230
24.15/24.30	o 1228
24.25/24.33	o 1225
24.25/24.36	o 1222
24.35/24.40	o 1220
24.35/24.44	o 1218
24.35/24.47	o 1217
24.65/24.71	o 1214
24.75/24.88	o 1211
24.85/24.91	o 1208
24.85/24.95	o 1204
24.85/24.99	o 1201
24.95/25.02	o 1200
24.95/25.05	o 1199
25.05/25.12	o 1197
25.05/25.15	o 1196
25.05/25.18	o 1195
25.15/25.20	o 1193
25.15/25.23	o 1191
25.15/25.26	o 1190
25.15/25.29	o 1186
25.25/25.37	o 1183
25.35/25.40	o 1182
25.35/25.43	o 1181
25.35/25.46	o 1176
25.35/25.50	o 1173
25.44/25.53	o 1171
25.44/25.57	o 1169
25.54/25.61	o 1167
25.64/25.73	o 1166
25.64/25.77	o 1164
25.74/25.81	o 1163
25.74/25.85	o 1161
25.74/25.89	o 1158
25.84/25.92	o 1157
25.84/25.99	o 1156
25.94/26.03	o 1154
25.94/26.07	o 1153
26.04/26.14	o 1150
26.04/26.18	o 1149
26.15/26.28	o 1146
26.25/26.32	o 1145
26.25/26.35	o 1144
26.35/26.42	o 1143
26.35/26.46	o 1139
26.45/26.50	o 1137
26.45/26.54	o 1136
26.45/26.58	o 1133
26.55/26.65	o 1132
26.55/26.69	o 1128
26.64/26.73	o 1125
26.64/26.76	o 1122
26.74/26.80	o 1121
26.74/26.84	o 1119
26.74/26.88	o 1115
26.85/26.93	o 1114
26.85/26.97	o 1113
26.94/27.01	o 1111
26.94/27.05	o 1108
26.94/27.09	o 1107
27.04/27.14	o 1103
27.24/27.33	o 1101
27.35/27.46	o 1098
27.35/27.49	o 1096
27.64/27.74	o 1095
27.74/27.85	o 1091
27.74/27.89	o 1087
27.84/28.00	o 1086
27.94/28.07	o 1085
28.04/28.11	o 1081
28.04/28.15	o 1079
28.14/28.22	o 1077
28.14/28.26	o 1075
28.24/28.30	o 1071
28.24/28.34	o 1070
28.24/28.38	o 1067
28.34/28.42	o 1064
28.34/28.46	o 1063
28.44/28.54	o 1061
28.44/28.58	o 1058
28.54/28.66	o 1057
28.64/28.78	o 1055
28.74/28.82	o 1046
28.74/28.86	o 1043
28.83/28.98	o 1042
28.93/29.03	o 1039
28.93/29.07	o 1035
29.03/29.11	o 1034
29.03/29.16	o 1031
29.13/29.21	o 1030
29.23/29.30	o 1029
29.23/29.36	o 1027
29.34/29.42	o 1025
29.34/29.46	o 1023
29.43/29.51	o 1022
29.43/29.55	o 1019
29.43/29.60	o 1018
29.54/29.65	o 1015
29.54/29.70	o 1014
29.64/29.75	o 1013
29.83/29.95	o 1012
29.83/29.99	o 1008
30.03/30.18	o 1005
30.13/30.28	o 1003
30.23/30.39	o 1000
30.33/30.49	o 999
30.43/30.54	o 997
30.43/30.59	o 995
30.53/30.69	o 993
30.74/30.85	o 990
30.83/30.91	o 987
30.83/30.97	o 984
30.93/31.03	o 981
30.93/31.08	o 980
31.03/31.20	o 979
31.13/31.26	o 974
31.63/31.78	o 972
31.83/31.92	o 971
31.83/31.97	o 968
31.93/32.02	o 967
31.93/32.08	o 965
32.03/32.13	o 963
32.03/32.18	o 961
32.13/32.24	o 956
32.23/32.33	o 954
32.23/32.37	o 948
32.33/32.42	o 946
32.33/32.48	o 944
32.43/32.53	o 942
32.43/32.59	o 941
32.63/32.79	o 940
32.73/32.85	o 939
32.83/32.95	o 935
33.02/33.10	o 934
33.12/33.20	o 933
33.12/33.26	o 931
33.22/33.31	o 930
33.22/33.36	o 926
33.32/33.41	o 924
33.32/33.44	o 920
33.42/33.55	o 917
33.52/33.60	o 914
33.52/33.66	o 913
33.62/33.71	o 912
33.62/33.76	o 910
33.72/33.81	o 909
33.72/33.86	o 908
33.83/33.91	o 905
34.13/34.26	o 903
34.23/34.31	o 899
34.23/34.36	o 898
34.33/34.41	o 896
34.33/34.46	o 894
34.63/34.71	o 890
35.03/35.16	o 887
35.13/35.21	o 885
35.13/35.25	o 884
35.13/35.30	o 883
35.23/35.34	o 881
35.23/35.38	o 880
35.33/35.42	o 879
35.33/35.47	o 877
35.43/35.51	o 875
35.43/35.56	o 874
35.73/35.81	o 872
36.03/36.16	o 871
36.03/36.20	o 869
36.13/36.24	o 868
36.13/36.28	o 866
36.82/36.93	o 865
36.92/37.02	o 859
37.12/37.24	o 858
37.22/37.32	o 856
37.42/37.55	o 855
37.52/37.61	o 853
37.52/37.66	o 850
37.62/37.70	o 849
37.62/37.75	o 846
37.72/37.80	o 844
37.72/37.85	o 843
37.82/37.95	o 841
37.92/38.00	o 839
37.92/38.06	o 837
38.02/38.11	o 835
38.02/38.17	o 834
38.12/38.23	o 833
38.12/38.28	o 831
38.92/39.03	o 830
39.02/39.13	o 827
39.33/39.44	o 826
39.33/39.50	o 824
39.43/39.55	o 822
39.43/39.60	o 821
39.53/39.65	o 820
39.63/39.71	o 819
39.63/39.77	o 816
39.73/39.82	o 813
39.73/39.88	o 812
39.82/39.98	o 811
39.92/40.03	o 810
40.02/40.13	o 809
40.02/40.18	o 807
40.12/40.24	o 805
40.12/40.29	o 804
40.42/40.50	o 803
40.42/40.56	o 801
40.53/40.62	o 798
40.53/40.65	o 796
40.63/40.71	o 794
40.72/40.86	o 793
40.92/41.06	o 791
41.02/41.12	o 789
41.22/41.33	o 787
41.32/41.49	o 786
41.42/41.54	o 784
41.72/41.85	o 780
41.82/41.90	o 779
42.12/42.23	o 776
42.12/42.30	o 775
42.32/42.46	o 773
42.42/42.50	o 772
42.52/42.63	o 771
42.82/42.92	o 769
42.82/42.99	o 764
42.92/43.03	o 762
42.92/43.08	o 760
43.02/43.14	o 757
43.02/43.20	o 755
43.22/43.31	o 754
43.22/43.37	o 752
43.32/43.43	o 751
43.32/43.49	o 749
43.42/43.55	o 748
43.51/43.62	o 746
43.61/43.74	o 745
43.61/43.79	o 743
43.92/44.03	o 741
43.92/44.09	o 738
44.11/44.29	o 737
44.22/44.34	o 735
44.32/44.40	o 734
44.32/44.46	o 731
44.42/44.52	o 729
44.42/44.58	o 727
44.62/44.71	o 725
44.62/44.76	o 723
44.92/45.05	o 721
45.02/45.10	o 720
45.22/45.33	o 719
45.32/45.45	o 718
45.32/45.49	o 715
45.42/45.54	o 713
45.51/45.63	o 711
45.51/45.67	o 709
45.61/45.77	o 708
45.71/45.81	o 706
45.71/45.86	o 704
45.81/45.90	o 703
45.81/45.95	o 702
45.81/46.00	o 701
45.91/46.04	o 700
46.11/46.23	o 699
46.11/46.28	o 698
46.21/46.33	o 696
46.21/46.37	o 695
46.51/46.68	o 693
46.61/46.73	o 691
47.21/47.34	o 688
48.32/48.48	o 687
48.42/48.60	o 684
48.62/48.77	o 680
48.72/48.88	o 677
48.92/49.05	o 676
49.02/49.11	o 674
49.02/49.15	o 673
49.12/49.28	o 670
49.51/49.60	o 669
49.51/49.66	o 666
50.52/50.62	o 665
50.52/50.67	o 663
50.61/50.73	o 660
50.71/50.84	o 658
50.71/50.89	o 657
50.81/50.95	o 654
50.91/51.05	o 653
51.01/51.11	o 651
51.11/51.22	o 649
51.31/51.44	o 648
51.41/51.56	o 647
52.01/52.15	o 646
52.11/52.26	o 645
52.21/52.36	o 644
52.31/52.42	o 643
52.41/52.52	o 642
52.41/52.58	o 641
52.51/52.63	o 640
52.61/52.74	o 639
52.61/52.80	o 638
52.71/52.86	o 637
52.81/52.92	o 636
52.81/52.98	o 635
52.90/53.09	o 631
53.00/53.15	o 630
53.10/53.21	o 628
53.60/53.79	o 624
53.81/53.91	o 623
53.81/53.97	o 621
53.90/54.03	o 620
54.00/54.16	o 619
54.10/54.23	o 618
54.10/54.30	o 617
54.60/54.77	o 615
54.70/54.85	o 613
56.61/56.76	o 612
56.71/56.84	o 611
56.81/56.91	o 609
57.01/57.14	o 608
57.11/57.29	o 606
57.51/57.60	o 605
57.51/57.67	o 603
57.61/57.74	o 600
57.71/57.82	o 598
57.81/57.90	o 597
58.01/58.13	o 596
58.01/58.20	o 593
59.00/59.13	o 592
59.10/59.21	o 591
59.10/59.30	o 590
59.31/59.45	o 589
59.50/59.62	o 588
60.20/60.30	o 584
60.31/60.47	o 579
60.41/60.54	o 578
60.70/60.87	o 577
62.20/62.33	o 576
62.30/62.41	o 575
62.30/62.49	o 574
62.40/62.57	o 573
62.51/62.64	o 572
62.70/62.80	o 570
62.70/62.85	o 569
62.90/63.00	o 568
67.60/67.74	o 567
68.00/68.11	o 565
68.00/68.19	o 563
68.20/68.39	o 562
68.30/68.48	o 559
68.50/68.67	o 558
68.60/68.77	o 557
68.70/68.86	o 556
68.80/68.96	o 555
68.90/69.07	o 554
69.00/69.17	o 553
69.10/69.27	o 552
72.00/72.19	o 550
72.10/72.26	o 547
72.69/72.88	o 546
73.79/73.93	o 545
73.89/74.05	o 544
76.29/76.46	o 543
77.19/77.32	o 539
78.99/79.11	o 538
79.39/79.58	o 536
79.49/79.64	o 535
79.59/79.75	o 534
79.89/80.09	o 533
80.09/80.21	o 532
80.39/80.53	o 531
80.59/80.75	o 530
80.69/80.86	o 529
80.99/81.19	o 528
81.09/81.30	o 527
81.49/81.63	o 526
81.59/81.74	o 521
81.79/81.96	o 519
83.69/83.85	o 518
83.89/84.08	o 517
83.99/84.13	o 516
84.19/84.35	o 515
84.79/84.98	o 514
85.08/85.21	o 512
85.78/85.99	o 508
87.08/87.21	o 507
87.18/87.32	o 506
87.58/87.75	o 504
91.69/91.83	o 503
91.79/91.96	o 502
92.98/93.13	o 501
92.98/93.19	o 499
93.18/93.30	o 498
93.39/93.57	o 494
93.68/93.82	o 493
93.98/94.15	o 491
95.58/95.77	o 490
95.68/95.89	o 489
95.88/96.02	o 488
97.58/97.78	o 486
100.08/100.20	o 485
100.08/100.27	o 484
100.88/101.01	o 482
101.08/101.25	o 481
101.58/101.72	o 480
103.58/103.70	o 472
103.78/103.94	o 470
103.88/104.06	o 469
103.98/104.16	o 468
104.58/104.76	o 467
106.58/106.77	o 466
106.68/106.89	o 465
107.17/107.38	o 464
107.58/107.74	o 461
107.68/107.84	o 459
107.68/107.89	o 458
108.07/108.20	o 457
108.17/108.32	o 455
108.37/108.56	o 454
108.47/108.68	o 450
108.57/108.80	o 445
108.78/108.91	o 444
108.87/109.03	o 443
108.97/109.15	o 441
109.07/109.25	o 439
109.17/109.37	o 438
109.27/109.43	o 435
109.67/109.80	o 433
110.27/110.40	o 430
110.77/111.00	o 429
110.98/111.13	o 427
111.07/111.25	o 426
111.17/111.37	o 425
111.47/111.69	o 423
111.67/111.81	o 422
111.87/112.04	o 421
111.97/112.16	o 420
112.17/112.39	o 419
112.47/112.63	o 418
112.67/112.88	o 417
113.67/113.89	o 416
113.97/114.15	o 415
114.27/114.41	o 413
119.76/119.99	o 412
119.96/120.13	o 409
120.06/120.28	o 407
120.26/120.41	o 406
120.76/120.97	o 405
122.36/122.54	o 403
122.56/122.75	o 402
122.66/122.88	o 401
122.86/123.02	o 398
122.86/123.07	o 393
123.16/123.30	o 391
123.27/123.44	o 388
123.97/124.11	o 387
124.07/124.24	o 386
125.46/125.70	o 385
125.76/125.99	o 382
126.27/126.42	o 380
126.56/126.72	o 379
126.86/127.01	o 377
126.96/127.16	o 375
127.16/127.31	o 372
128.16/128.37	o 370
129.76/129.91	o 369
129.86/130.06	o 368
129.86/130.09	o 365
130.06/130.24	o 364
130.46/130.62	o 362
130.56/130.74	o 361
130.95/131.16	o 360
133.36/133.56	o 358
133.86/134.05	o 357
136.66/136.88	o 356
137.06/137.29	o 355
137.26/137.46	o 354
137.66/137.80	o 351
137.76/137.97	o 350
144.15/144.38	o 349
144.35/144.54	o 347
144.65/144.88	o 346
144.85/145.05	o 345
145.06/145.21	o 344
145.15/145.35	o 343
145.35/145.52	o 341
145.45/145.69	o 339
145.65/145.85	o 338
147.55/147.74	o 336
148.35/148.50	o 335
148.75/148.92	o 334
152.05/152.22	o 333
152.55/152.70	o 332
152.95/153.17	o 330
153.05/153.27	o 329
153.85/154.08	o 326
154.45/154.67	o 325
154.65/154.84	o 324
155.45/155.63	o 323
155.54/155.76	o 322
155.74/155.93	o 321
157.64/157.85	o 317
157.94/158.18	o 315
158.54/158.79	o 313
182.63/182.81	o 312
182.73/182.99	o 311
182.93/183.13	o 310
184.73/184.90	o 308
185.03/185.21	o 307
185.63/185.85	o 306
185.83/186.01	o 305
186.53/186.72	o 304
186.83/187.05	o 303
187.43/187.69	o 300
187.93/188.15	o 297
188.03/188.21	o 296
216.82/217.07	o 295
217.02/217.21	o 294
217.53/217.77	o 292
218.12/218.38	o 290
219.72/219.97	o 289
219.92/220.13	o 285
220.22/220.44	o 284
229.71/229.99	o 283
230.01/230.27	o 282
230.21/230.43	o 279
230.31/230.60	o 278
234.02/234.28	o 276
234.21/234.44	o 273
257.30/257.57	o 271
277.79/278.10	o 269
277.99/278.27	o 268
278.19/278.43	o 267
278.69/278.94	o 265
286.60/286.88	o 261
287.10/287.39	o 260
287.69/287.90	o 258
289.59/289.89	o 257
313.98/314.24	o 256
325.38/325.68	o 255
326.67/326.93	o 254
326.77/327.04	o 253
326.97/327.21	o 251
327.37/327.63	o 248
327.47/327.74	o 247
327.57/327.87	o 246
357.65/357.95	   
357.65/357.95	   search
357.65/357.95	     run=0  nbConstraintChecks=976336482  nbAssignments=3214
357.65/357.95	       =>  wckTime=342.569  cpuTime=342.31  mem=31M894
357.65/357.95	   
357.65/357.95	   global
357.65/357.95	     nbConstraintChecks=976336482  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
357.65/357.95	     solvingWckTime=342.565  solvingCpuTime=342.31  expiredTime=no  totalExploration=no  nbFoundSolutions=0
357.65/357.95	     globalCpuTime=356.76
357.65/357.95	       =>  wckTime=357.708  cpuTime=356.72  mem=31M894
357.65/357.95	   
357.65/357.95	   solver DecomposerSolver being built... 
358.76/359.09	       =>  wckTime=358.844  cpuTime=357.15  mem=432M204
368.35/368.61	   
368.35/368.61	   preprocessing
368.35/368.61	     nbConstraintChecks=31063615  nbValidityChecks=135497  nbPropagations=803  nbRevisions=9369  nbUselessRevisions=9362
368.35/368.61	     nbRemovedValues=240  detectedInconsistency=no
368.35/368.61	       =>  wckTime=9.526  cpuTime=9.51  mem=432M204
368.55/368.90	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-1113061-1215877348/watcher-1113061-1215877348 -o /tmp/evaluation-result-1113061-1215877348/solver-1113061-1215877348 -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-1113061-1215877348.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.09 2.17 2.15 4/80 18032
/proc/meminfo: memFree=1816216/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=152 CPUtime=0
/proc/18032/stat : 18032 (java) R 18030 18032 17586 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 44438170 155648 26 996147200 134512640 134550740 4294955952 18446744073709551615 7893291 0 0 4096 0 0 0 0 17 0 0 0
/proc/18032/statm: 38 26 19 9 0 4 0

[startup+0.0874459 s]
/proc/loadavg: 2.09 2.17 2.15 4/80 18032
/proc/meminfo: memFree=1816216/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=865988 CPUtime=0.08
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 3638 0 1 0 6 2 0 0 18 0 9 0 44438170 886771712 3126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216497 3128 1669 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.101442 s]
/proc/loadavg: 2.09 2.17 2.15 4/80 18032
/proc/meminfo: memFree=1816216/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=865988 CPUtime=0.09
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 3747 0 1 0 7 2 0 0 18 0 9 0 44438170 886771712 3211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216497 3211 1694 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.301472 s]
/proc/loadavg: 2.09 2.17 2.15 4/80 18032
/proc/meminfo: memFree=1816216/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=866388 CPUtime=0.29
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 5907 0 1 0 25 4 0 0 18 0 9 0 44438170 887181312 5282 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216597 5283 1958 9 0 211125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866388

[startup+0.701514 s]
/proc/loadavg: 2.09 2.17 2.15 4/80 18032
/proc/meminfo: memFree=1816216/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867716 CPUtime=0.68
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 9737 0 1 0 63 5 0 0 18 0 9 0 44438170 888541184 9098 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216929 9099 2011 9 0 211435 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867716

[startup+1.5016 s]
/proc/loadavg: 2.09 2.17 2.15 3/89 18041
/proc/meminfo: memFree=1769424/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867716 CPUtime=1.48
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 16626 0 1 0 139 9 0 0 18 0 9 0 44438170 888541184 15984 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216929 15984 2015 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867716 CPUtime=1.28
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15272 0 1 0 121 7 0 0 25 0 9 0 44438171 888541184 15984 996147200 134512640 134550740 4294955952 18446744073709551615 4126874657 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 44438172 888541184 15984 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 44438172 888541184 15984 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 44438172 888541184 15984 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888541184 15984 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867716 CPUtime=0.17
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 657 0 0 0 17 0 0 0 16 0 9 0 44438174 888541184 15984 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888541184 15984 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888541184 15984 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867716

[startup+3.10278 s]
/proc/loadavg: 2.09 2.17 2.15 3/89 18041
/proc/meminfo: memFree=1748752/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867628 CPUtime=3.08
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 19429 0 1 0 297 11 0 0 18 0 9 0 44438170 888451072 18762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216907 18762 2006 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867628 CPUtime=2.79
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15797 0 1 0 270 9 0 0 25 0 9 0 44438171 888451072 18762 996147200 134512640 134550740 4294955952 18446744073709551615 4126878660 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867628 CPUtime=0.07
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 2256 0 0 0 7 0 0 0 17 0 9 0 44438172 888451072 18762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 18762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 18762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888451072 18762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867628 CPUtime=0.19
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 678 0 0 0 19 0 0 0 15 0 9 0 44438174 888451072 18762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888451072 18762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888451072 18762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867628

[startup+6.30214 s]
/proc/loadavg: 2.09 2.17 2.15 3/89 18041
/proc/meminfo: memFree=1748568/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867628 CPUtime=6.28
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 19445 0 1 0 615 13 0 0 18 0 9 0 44438170 888451072 18776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216907 18776 2006 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867628 CPUtime=5.97
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15805 0 1 0 586 11 0 0 25 0 9 0 44438171 888451072 18776 996147200 134512640 134550740 4294955952 18446744073709551615 4126877753 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867628 CPUtime=0.07
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 2256 0 0 0 7 0 0 0 16 0 9 0 44438172 888451072 18776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 18776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 18776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888451072 18776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867628 CPUtime=0.21
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 686 0 0 0 21 0 0 0 15 0 9 0 44438174 888451072 18776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888451072 18776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888451072 18776 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867628

[startup+12.7029 s]
/proc/loadavg: 2.07 2.16 2.15 3/89 18041
/proc/meminfo: memFree=1734744/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867628 CPUtime=12.68
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 22886 0 1 0 1251 17 0 0 18 0 9 0 44438170 888451072 22215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216907 22215 2007 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867628 CPUtime=12.24
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15811 0 1 0 1211 13 0 0 25 0 9 0 44438171 888451072 22215 996147200 134512640 134550740 4294955952 18446744073709551615 4126881207 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867628 CPUtime=0.17
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 5674 0 0 0 16 1 0 0 16 0 9 0 44438172 888451072 22215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 22215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 22215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888451072 22215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867628 CPUtime=0.24
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 703 0 0 0 24 0 0 0 15 0 9 0 44438174 888451072 22215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888451072 22215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888451072 22215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867628

[startup+25.5013 s]
/proc/loadavg: 2.06 2.15 2.15 3/89 18041
/proc/meminfo: memFree=1719128/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867716 CPUtime=25.44
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 27619 0 1 0 2520 24 0 0 18 0 9 0 44438170 888541184 26754 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216929 26754 2640 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867716 CPUtime=24.65
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15876 0 1 0 2447 18 0 0 25 0 9 0 44438171 888541184 26754 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867716 CPUtime=0.47
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 10316 0 0 0 44 3 0 0 16 0 9 0 44438172 888541184 26754 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888541184 26754 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44438172 888541184 26754 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888541184 26754 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867716 CPUtime=0.29
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 729 0 0 0 28 1 0 0 17 0 9 0 44438174 888541184 26754 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888541184 26754 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888541184 26754 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 867716

[startup+51.1012 s]
/proc/loadavg: 2.04 2.14 2.14 3/89 18041
/proc/meminfo: memFree=1719000/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867716 CPUtime=51.01
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 27624 0 1 0 5071 30 0 0 18 0 9 0 44438170 888541184 26758 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216929 26758 2640 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867716 CPUtime=50.21
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15877 0 1 0 4997 24 0 0 25 0 9 0 44438171 888541184 26758 996147200 134512640 134550740 4294955952 18446744073709551615 4126457641 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867716 CPUtime=0.47
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 10316 0 0 0 44 3 0 0 16 0 9 0 44438172 888541184 26758 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888541184 26758 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44438172 888541184 26758 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888541184 26758 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867716 CPUtime=0.3
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 733 0 0 0 29 1 0 0 15 0 9 0 44438174 888541184 26758 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867716 CPUtime=0

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

/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 27630 0 1 0 34477 49 0 0 18 0 9 0 44438170 888541184 26761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216929 26761 2640 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867716 CPUtime=344.46
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15881 0 1 0 34403 43 0 0 25 0 9 0 44438171 888541184 26761 996147200 134512640 134550740 4294955952 18446744073709551615 4127058999 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867716 CPUtime=0.47
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 10316 0 0 0 44 3 0 0 16 0 9 0 44438172 888541184 26761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888541184 26761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44438172 888541184 26761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888541184 26761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867716 CPUtime=0.3
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 735 0 0 0 29 1 0 0 15 0 9 0 44438174 888541184 26761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888541184 26761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888541184 26761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 345.26
Current children cumulated vsize (KiB) 867716

[startup+358.302 s]
/proc/loadavg: 2.00 2.04 2.09 3/89 18041
/proc/meminfo: memFree=1718360/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867716 CPUtime=358.05
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 37907 0 1 0 35752 53 0 0 18 0 9 0 44438170 888541184 37000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216929 37000 2641 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867716 CPUtime=357.12
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15955 0 1 0 35669 43 0 0 25 0 9 0 44438171 888541184 37000 996147200 134512640 134550740 4294955952 18446744073709551615 104454898 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867716 CPUtime=0.57
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 20497 0 0 0 50 7 0 0 16 0 9 0 44438172 888541184 37000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888541184 37000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 18 0 0 0 0 0 0 0 15 0 9 0 44438172 888541184 37000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888541184 37000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867716 CPUtime=0.32
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 744 0 0 0 31 1 0 0 15 0 9 0 44438174 888541184 37000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888541184 37000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888541184 37000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 358.05
Current children cumulated vsize (KiB) 867716

[startup+364.702 s]
/proc/loadavg: 2.00 2.04 2.09 3/89 18041
/proc/meminfo: memFree=1343128/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867628 CPUtime=364.45
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 121307 0 1 0 36362 83 0 0 18 0 9 0 44438170 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216907 120366 2619 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867628 CPUtime=362.92
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15962 0 1 0 36249 43 0 0 25 0 9 0 44438171 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4126877713 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867628 CPUtime=1.17
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 103875 0 0 0 80 37 0 0 16 0 9 0 44438172 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44438172 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867628 CPUtime=0.33
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 754 0 0 0 32 1 0 0 15 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 364.45
Current children cumulated vsize (KiB) 867628

[startup+366.307 s]
/proc/loadavg: 2.00 2.04 2.09 3/89 18041
/proc/meminfo: memFree=1343128/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867628 CPUtime=366.06
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 121307 0 1 0 36523 83 0 0 18 0 9 0 44438170 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216907 120366 2619 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867628 CPUtime=364.53
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15962 0 1 0 36410 43 0 0 25 0 9 0 44438171 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4126873309 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867628 CPUtime=1.17
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 103875 0 0 0 80 37 0 0 16 0 9 0 44438172 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44438172 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867628 CPUtime=0.33
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 754 0 0 0 32 1 0 0 15 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 366.06
Current children cumulated vsize (KiB) 867628

[startup+367.902 s]
/proc/loadavg: 2.00 2.04 2.09 3/89 18041
/proc/meminfo: memFree=1343128/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867628 CPUtime=367.65
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 121307 0 1 0 36682 83 0 0 18 0 9 0 44438170 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216907 120366 2619 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867628 CPUtime=366.12
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15962 0 1 0 36569 43 0 0 25 0 9 0 44438171 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4126873248 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867628 CPUtime=1.17
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 103875 0 0 0 80 37 0 0 16 0 9 0 44438172 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44438172 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867628 CPUtime=0.33
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 754 0 0 0 32 1 0 0 15 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888451072 120366 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 367.65
Current children cumulated vsize (KiB) 867628

[startup+368.702 s]
/proc/loadavg: 2.00 2.04 2.09 3/89 18041
/proc/meminfo: memFree=1343064/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867716 CPUtime=368.45
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 121334 0 1 0 36762 83 0 0 18 0 9 0 44438170 888541184 120390 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216929 120390 2640 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867716 CPUtime=366.84
/proc/18032/task/18034/stat : 18034 (java) R 18030 18032 17586 0 -1 64 15987 0 1 0 36641 43 0 0 25 0 9 0 44438171 888541184 120390 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867716 CPUtime=1.24
/proc/18032/task/18035/stat : 18035 (java) R 18030 18032 17586 0 -1 64 103876 0 0 0 87 37 0 0 16 0 9 0 44438172 888541184 120390 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888541184 120390 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44438172 888541184 120390 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888541184 120390 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867716 CPUtime=0.33
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 755 0 0 0 32 1 0 0 16 0 9 0 44438174 888541184 120390 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888541184 120390 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867716 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888541184 120390 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 368.45
Current children cumulated vsize (KiB) 867716

[startup+368.902 s]
/proc/loadavg: 2.00 2.04 2.09 3/89 18041
/proc/meminfo: memFree=1343064/2055920 swapFree=4181156/4192956
[pid=18032] ppid=18030 vsize=867628 CPUtime=368.65
/proc/18032/stat : 18032 (java) S 18030 18032 17586 0 -1 0 126993 0 1 0 36780 85 0 0 18 0 9 0 44438170 888451072 126025 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18032/statm: 216907 126025 2618 9 0 211435 0
[pid=18032/tid=18034] ppid=18030 vsize=867628 CPUtime=366.84
/proc/18032/task/18034/stat : 18034 (java) S 18030 18032 17586 0 -1 64 15990 0 1 0 36641 43 0 0 25 0 9 0 44438171 888451072 126025 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18035] ppid=18030 vsize=867628 CPUtime=1.43
/proc/18032/task/18035/stat : 18035 (java) S 18030 18032 17586 0 -1 64 109532 0 0 0 105 38 0 0 16 0 9 0 44438172 888451072 126025 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18036] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18036/stat : 18036 (java) S 18030 18032 17586 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 126025 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18037] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18037/stat : 18037 (java) S 18030 18032 17586 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44438172 888451072 126025 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18038] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18038/stat : 18038 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44438174 888451072 126025 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18039] ppid=18030 vsize=867628 CPUtime=0.33
/proc/18032/task/18039/stat : 18039 (java) S 18030 18032 17586 0 -1 64 755 0 0 0 32 1 0 0 16 0 9 0 44438174 888451072 126025 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18040] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18040/stat : 18040 (java) S 18030 18032 17586 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44438174 888451072 126025 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18032/tid=18041] ppid=18030 vsize=867628 CPUtime=0
/proc/18032/task/18041/stat : 18041 (java) S 18030 18032 17586 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44438174 888451072 126025 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 368.65
Current children cumulated vsize (KiB) 867628

Child status: 0
Real time (s): 368.996
CPU time (s): 368.735
CPU user time (s): 367.808
CPU system time (s): 0.926859
CPU usage (%): 99.9292
Max. virtual memory (cumulated for all children) (KiB): 867716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 367.808
system time used= 0.926859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126998
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= 9445
involuntary context switches= 16189

runsolver used 0.492925 second user time and 1.26981 second system time

The end

Launcher Data (download as text)

Begin job on node5 at 2008-07-12 17:42:29
IDJOB=1113061
IDBENCH=61520
IDSOLVER=359
FILE ID=node5/1113061-1215877348
PBS_JOBID= 7903577
Free space on /tmp= 66532 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 501a3c19e285c0ae9d47bc368e869aab
RANDOM SEED=326188575

node5.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.212
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.212
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:       1816696 kB
Buffers:         11108 kB
Cached:          48744 kB
SwapCached:       5904 kB
Active:         167968 kB
Inactive:        20308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816696 kB
SwapTotal:     4192956 kB
SwapFree:      4181156 kB
Dirty:            3200 kB
Writeback:           0 kB
Mapped:         144288 kB
Slab:            35840 kB
Committed_AS:  1040988 kB
PageTables:       2080 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= 66528 MiB
End job on node5 at 2008-07-12 17:48:38