Trace number 1112792

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? 503.924 506.678

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-0.xml
MD5SUM701805f3dd433f8e5a195a0325c2f865
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints36
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
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.03/0.10	
0.03/0.10	Abscon 112 (May, 2008)
0.19/0.25	
0.19/0.25	   configuration
0.19/0.25	     name=mrdac-ddeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1112792-1215874141.xml
0.31/0.32	   
0.31/0.32	   domains being loaded...
0.31/0.35	   
0.31/0.36	   variables being loaded...
0.54/0.50	     nbVariables=750  nbDomainTypes=14  minDomainSize=82  maxDomainSize=998  nbTotalValues=329841
0.54/0.53	       =>  wckTime=0.249  cpuTime=0.22  mem=17M633
0.54/0.53	   
0.54/0.53	   predicates being loaded...
0.54/0.58	   
0.54/0.58	   constraints being loaded...
10.53/10.58	   
10.53/10.58	   INFO : Stopping converting binary constraints (cpu=10.12, mem = 31M510)
12.22/12.27	     nbConstraints=8639  nbConvertedConstraints=264  nbConvertConstraintsChecks=36644276  nbExtensionStructures=249
12.22/12.27	     nbSharedExtensionStructures=28  nbConflictsStructures=489  nbSharedConflictsStructures=513
12.22/12.27	     nbUnbuiltConflictsStructures=5414  nbSharedBinaryRepresentations=175287  nbEvaluationManagers=5654
12.22/12.27	     nbSharedEvaluationManagers=2721  minDegree=5  maxDegree=31  minArity=2  maxArity=2
12.22/12.27	       =>  wckTime=12.016  cpuTime=11.53  mem=29M233
12.42/12.44	   
12.42/12.44	   solver LocalSearchSolver being built... 
12.42/12.49	       =>  wckTime=12.236  cpuTime=11.57  mem=30M845
12.62/12.66	
12.62/12.66	s SATISFIABLE
12.62/12.66	o 2560
12.72/12.72	o 2551
12.72/12.79	o 2545
12.82/12.87	o 2535
12.92/12.92	o 2531
12.92/12.97	o 2528
13.02/13.01	o 2526
13.02/13.06	o 2524
13.02/13.10	o 2523
13.12/13.13	o 2522
13.22/13.21	o 2514
13.22/13.25	o 2509
13.22/13.29	o 2504
13.32/13.33	o 2499
13.32/13.36	o 2494
13.41/13.40	o 2492
13.41/13.44	o 2491
13.41/13.46	o 2489
13.41/13.49	o 2487
13.51/13.51	o 2485
13.51/13.54	o 2484
13.51/13.58	o 2483
13.61/13.69	o 2482
13.71/13.73	o 2481
13.71/13.76	o 2475
13.71/13.79	o 2470
13.81/13.83	o 2467
13.81/13.86	o 2464
13.81/13.89	o 2463
13.91/13.91	o 2462
13.91/13.94	o 2461
13.91/13.96	o 2460
13.91/13.97	o 2459
13.91/13.99	o 2457
14.01/14.01	o 2456
14.01/14.02	o 2453
14.01/14.03	o 2452
14.01/14.04	o 2450
14.01/14.07	o 2440
14.10/14.11	o 2439
14.10/14.13	o 2438
14.10/14.16	o 2433
14.10/14.18	o 2429
14.21/14.21	o 2426
14.21/14.24	o 2424
14.21/14.27	o 2422
14.21/14.28	o 2420
14.21/14.30	o 2416
14.31/14.33	o 2414
14.31/14.35	o 2413
14.31/14.38	o 2412
14.40/14.48	o 2409
14.50/14.53	o 2407
14.50/14.55	o 2403
14.50/14.58	o 2402
14.60/14.62	o 2400
14.60/14.66	o 2396
14.70/14.72	o 2390
14.70/14.76	o 2381
14.80/14.84	o 2380
14.80/14.88	o 2379
14.90/14.92	o 2377
14.90/14.98	o 2376
15.00/15.04	o 2374
15.00/15.08	o 2372
15.10/15.11	o 2370
15.10/15.16	o 2367
15.31/15.36	o 2366
15.31/15.40	o 2359
15.41/15.43	o 2357
15.50/15.50	o 2352
15.50/15.54	o 2349
15.50/15.58	o 2346
15.60/15.61	o 2342
15.60/15.64	o 2341
15.60/15.67	o 2340
15.70/15.70	o 2338
15.70/15.73	o 2337
15.80/15.80	o 2332
15.80/15.84	o 2331
15.80/15.87	o 2330
15.90/15.93	o 2328
15.90/15.97	o 2326
16.00/16.07	o 2325
16.09/16.11	o 2322
16.09/16.15	o 2312
16.19/16.21	o 2311
16.19/16.29	o 2309
16.29/16.37	o 2303
16.40/16.41	o 2301
16.40/16.50	o 2299
16.50/16.54	o 2291
16.50/16.57	o 2288
16.59/16.60	o 2285
16.59/16.63	o 2282
16.69/16.72	o 2281
16.69/16.77	o 2279
16.79/16.84	o 2275
16.79/16.89	o 2273
16.89/16.91	o 2268
16.89/16.95	o 2263
16.89/16.99	o 2260
16.99/17.03	o 2258
16.99/17.07	o 2256
17.08/17.11	o 2255
17.08/17.14	o 2254
17.08/17.17	o 2252
17.18/17.22	o 2250
17.18/17.26	o 2246
17.28/17.30	o 2245
17.28/17.34	o 2244
17.28/17.36	o 2243
17.28/17.39	o 2242
17.38/17.48	o 2240
17.49/17.52	o 2238
17.49/17.56	o 2233
17.59/17.70	o 2230
17.68/17.74	o 2227
17.68/17.80	o 2220
17.78/17.84	o 2219
17.78/17.87	o 2217
17.88/17.92	o 2215
17.88/17.97	o 2213
17.98/18.02	o 2208
17.98/18.05	o 2205
18.08/18.17	o 2200
18.18/18.28	o 2198
18.48/18.54	o 2197
18.48/18.59	o 2190
18.58/18.64	o 2186
18.58/18.70	o 2185
18.68/18.76	o 2182
18.78/18.82	o 2181
18.78/18.87	o 2179
18.88/18.93	o 2178
19.07/19.18	o 2174
19.27/19.30	o 2169
19.27/19.36	o 2165
19.37/19.43	o 2157
19.37/19.49	o 2155
19.47/19.56	o 2154
19.57/19.62	o 2151
19.57/19.68	o 2148
19.67/19.74	o 2147
19.77/19.81	o 2146
19.77/19.88	o 2145
19.96/20.00	o 2140
20.16/20.21	o 2136
20.16/20.27	o 2132
20.26/20.33	o 2130
20.26/20.39	o 2126
20.36/20.45	o 2122
20.36/20.50	o 2121
20.46/20.57	o 2119
20.56/20.61	o 2116
20.56/20.65	o 2114
20.66/20.70	o 2109
20.66/20.74	o 2108
20.66/20.79	o 2106
20.76/20.85	o 2104
20.76/20.90	o 2102
20.96/21.03	o 2099
21.06/21.17	o 2096
21.16/21.22	o 2093
21.16/21.29	o 2091
21.26/21.36	o 2086
21.36/21.43	o 2081
21.36/21.49	o 2079
21.46/21.55	o 2075
21.56/21.61	o 2071
21.66/21.73	o 2066
21.66/21.79	o 2063
21.86/21.97	o 2057
21.96/22.08	o 2053
22.05/22.15	o 2052
22.35/22.42	o 2046
22.35/22.48	o 2045
22.45/22.52	o 2041
22.45/22.59	o 2039
22.54/22.65	o 2037
22.64/22.71	o 2034
22.64/22.78	o 2032
22.74/22.84	o 2027
22.74/22.90	o 2025
22.84/22.95	o 2024
22.95/23.06	o 2019
23.05/23.14	o 2018
23.05/23.17	o 2017
23.14/23.22	o 2009
23.14/23.27	o 2006
23.24/23.34	o 2001
23.34/23.40	o 1997
23.34/23.45	o 1992
23.44/23.51	o 1990
23.44/23.58	o 1989
23.54/23.65	o 1988
23.64/23.74	o 1987
23.74/23.82	o 1986
23.74/23.88	o 1984
23.84/23.95	o 1977
23.94/24.03	o 1976
24.14/24.24	o 1974
24.14/24.30	o 1973
24.23/24.35	o 1972
24.53/24.62	o 1967
24.53/24.68	o 1964
24.74/24.82	o 1961
24.74/24.90	o 1957
24.84/24.96	o 1955
24.94/25.02	o 1954
24.94/25.08	o 1951
25.04/25.16	o 1946
25.14/25.23	o 1944
25.24/25.33	o 1937
25.33/25.44	o 1929
25.43/25.52	o 1928
25.54/25.61	o 1926
25.54/25.69	o 1923
25.63/25.75	o 1919
25.73/25.83	o 1913
25.83/25.91	o 1910
25.83/25.99	o 1906
25.93/26.08	o 1903
26.13/26.28	o 1898
26.23/26.37	o 1895
26.43/26.54	o 1893
26.63/26.76	o 1891
26.72/26.86	o 1890
26.82/26.96	o 1887
26.92/27.06	o 1884
27.02/27.16	o 1881
27.12/27.25	o 1879
27.62/27.70	o 1878
27.81/27.90	o 1876
27.81/28.00	o 1870
27.91/28.09	o 1868
28.01/28.18	o 1863
28.11/28.26	o 1860
28.21/28.34	o 1852
28.31/28.44	o 1848
28.42/28.52	o 1846
28.52/28.61	o 1845
28.61/28.71	o 1841
28.61/28.78	o 1838
28.71/28.86	o 1837
28.81/28.93	o 1830
28.91/29.02	o 1828
29.01/29.10	o 1827
29.01/29.18	o 1824
29.11/29.26	o 1823
29.21/29.34	o 1819
29.31/29.41	o 1818
29.31/29.48	o 1813
29.40/29.58	o 1809
29.51/29.66	o 1807
29.61/29.76	o 1806
29.70/29.85	o 1805
29.80/29.91	o 1799
29.80/29.99	o 1796
29.90/30.08	o 1793
30.00/30.16	o 1791
30.10/30.23	o 1786
30.20/30.33	o 1782
30.30/30.42	o 1781
30.30/30.49	o 1780
30.39/30.56	o 1779
30.49/30.62	o 1774
30.49/30.69	o 1773
30.60/30.77	o 1772
30.79/30.93	o 1771
30.89/31.01	o 1764
30.99/31.17	o 1762
31.09/31.25	o 1759
31.19/31.35	o 1757
31.39/31.54	o 1755
31.69/31.83	o 1754
31.79/31.99	o 1751
31.88/32.08	o 1750
32.28/32.45	o 1745
32.48/32.66	o 1743
32.58/32.76	o 1742
32.68/32.85	o 1740
32.78/32.94	o 1738
32.88/33.06	o 1734
32.98/33.14	o 1730
33.08/33.24	o 1727
33.48/33.63	o 1726
33.58/33.71	o 1725
33.68/33.82	o 1720
33.78/33.92	o 1718
33.88/34.01	o 1712
33.99/34.11	o 1706
34.08/34.28	o 1705
34.38/34.56	o 1701
34.48/34.65	o 1698
34.58/34.73	o 1697
34.68/34.82	o 1693
34.78/34.91	o 1692
34.87/35.00	o 1691
35.17/35.35	o 1689
35.37/35.52	o 1686
35.47/35.61	o 1682
35.57/35.79	o 1678
35.67/35.86	o 1677
35.77/35.95	o 1672
35.87/36.03	o 1668
35.97/36.11	o 1663
35.97/36.19	o 1662
36.17/36.35	o 1659
36.27/36.42	o 1658
36.27/36.48	o 1655
36.37/36.56	o 1649
36.47/36.63	o 1642
36.56/36.72	o 1638
36.66/36.89	o 1634
36.86/37.06	o 1632
36.96/37.14	o 1630
37.06/37.23	o 1629
37.16/37.33	o 1626
37.27/37.42	o 1624
37.36/37.50	o 1622
37.36/37.58	o 1621
37.46/37.67	o 1619
37.56/37.75	o 1614
37.65/37.85	o 1613
37.75/37.93	o 1612
37.85/38.02	o 1610
38.05/38.24	o 1607
38.15/38.34	o 1606
38.45/38.60	o 1605
38.55/38.73	o 1604
38.65/38.85	o 1602
38.95/39.17	o 1601
39.05/39.28	o 1596
39.25/39.44	o 1594
39.35/39.56	o 1590
39.45/39.67	o 1588
39.54/39.79	o 1584
39.64/39.89	o 1583
39.94/40.18	o 1581
40.04/40.27	o 1576
40.14/40.38	o 1573
40.33/40.58	o 1572
40.44/40.67	o 1567
40.54/40.78	o 1564
40.63/40.89	o 1558
40.73/40.99	o 1557
41.03/41.29	o 1555
41.13/41.38	o 1550
41.53/41.78	o 1546
41.63/41.88	o 1544
41.73/41.97	o 1543
42.02/42.27	o 1540
42.33/42.50	o 1538
42.43/42.63	o 1536
42.63/42.84	o 1533
42.83/43.08	o 1529
43.03/43.20	o 1527
43.12/43.31	o 1526
43.32/43.53	o 1522
43.42/43.64	o 1520
43.52/43.75	o 1519
43.62/43.85	o 1517
43.83/44.05	o 1515
43.92/44.15	o 1514
44.12/44.38	o 1511
44.32/44.51	o 1509
44.42/44.61	o 1506
44.52/44.72	o 1505
44.62/44.82	o 1504
44.72/44.94	o 1502
44.82/45.04	o 1500
45.02/45.27	o 1497
45.12/45.38	o 1490
45.71/45.97	o 1488
45.81/46.09	o 1484
46.01/46.22	o 1482
46.11/46.32	o 1477
46.21/46.43	o 1476
46.31/46.54	o 1473
46.40/46.63	o 1471
46.50/46.75	o 1468
46.60/46.87	o 1466
46.70/46.98	o 1463
46.80/47.04	o 1459
46.90/47.14	o 1456
46.90/47.19	o 1450
47.00/47.29	o 1449
47.11/47.39	o 1443
47.20/47.49	o 1441
47.30/47.59	o 1440
47.40/47.68	o 1438
47.69/47.95	o 1436
47.99/48.22	o 1434
48.10/48.32	o 1432
48.20/48.42	o 1428
48.29/48.50	o 1422
48.29/48.59	o 1419
48.39/48.66	o 1413
48.49/48.75	o 1412
48.59/48.85	o 1408
48.79/49.04	o 1406
48.89/49.14	o 1402
48.99/49.25	o 1399
49.09/49.35	o 1396
49.19/49.45	o 1395
49.29/49.55	o 1393
49.49/49.76	o 1390
49.59/49.86	o 1387
49.68/49.98	o 1382
49.78/50.09	o 1381
49.88/50.19	o 1379
49.99/50.28	o 1377
50.09/50.38	o 1374
50.19/50.50	o 1368
50.39/50.61	o 1366
50.49/50.71	o 1365
50.59/50.81	o 1362
50.69/50.93	o 1359
50.78/51.04	o 1355
50.88/51.15	o 1353
50.98/51.25	o 1352
51.08/51.36	o 1349
51.18/51.46	o 1348
51.28/51.55	o 1347
51.49/51.77	o 1346
51.58/51.87	o 1343
51.68/51.96	o 1339
52.18/52.44	o 1337
52.28/52.54	o 1334
52.38/52.65	o 1333
52.48/52.74	o 1328
52.58/52.86	o 1325
52.68/52.99	o 1320
52.78/53.09	o 1319
52.97/53.23	o 1315
53.07/53.35	o 1314
53.47/53.72	o 1311
53.97/54.21	o 1308
54.06/54.34	o 1306
54.16/54.45	o 1303
54.26/54.56	o 1302
54.36/54.66	o 1300
54.46/54.79	o 1299
54.77/55.02	o 1297
54.86/55.15	o 1293
54.96/55.27	o 1290
55.16/55.40	o 1287
55.25/55.53	o 1285
55.35/55.65	o 1284
55.45/55.78	o 1283
55.76/56.04	o 1279
55.86/56.18	o 1278
55.95/56.28	o 1274
56.35/56.64	o 1273
56.45/56.76	o 1270
56.55/56.87	o 1268
56.75/57.07	o 1264
56.85/57.17	o 1260
56.95/57.29	o 1259
57.15/57.40	o 1256
57.25/57.52	o 1255
57.44/57.76	o 1254
57.54/57.88	o 1253
57.74/58.00	o 1250
57.94/58.24	o 1249
58.05/58.40	o 1248
58.24/58.52	o 1247
58.34/58.66	o 1244
58.53/58.81	o 1243
58.63/58.93	o 1242
58.73/59.06	o 1239
58.93/59.21	o 1235
59.83/60.19	o 1234
60.13/60.44	o 1232
60.23/60.58	o 1227
60.33/60.69	o 1223
60.53/60.82	o 1222
60.62/60.94	o 1219
60.82/61.17	o 1218
60.92/61.29	o 1217
61.12/61.41	o 1215
61.22/61.53	o 1212
61.42/61.77	o 1210
61.63/61.90	o 1207
61.72/62.03	o 1204
61.82/62.16	o 1200
61.92/62.30	o 1199
62.12/62.44	o 1195
62.42/62.72	o 1194
62.52/62.86	o 1191
62.91/63.27	o 1190
63.11/63.41	o 1187
63.21/63.54	o 1185
63.31/63.67	o 1184
63.51/63.81	o 1183
63.61/63.95	o 1180
63.71/64.08	o 1178
63.90/64.22	o 1174
64.00/64.35	o 1172
64.10/64.49	o 1171
64.30/64.61	o 1167
64.40/64.76	o 1166
64.50/64.84	o 1165
64.60/64.98	o 1164
64.80/65.12	o 1161
64.90/65.24	o 1159
64.99/65.36	o 1156
65.09/65.47	o 1150
65.39/65.71	o 1148
65.49/65.84	o 1145
65.59/65.97	o 1142
65.70/66.08	o 1141
65.90/66.22	o 1139
66.00/66.36	o 1136
66.19/66.58	o 1135
66.49/66.81	o 1132
66.80/67.15	o 1131
67.09/67.40	o 1129
67.29/67.65	o 1128
67.38/67.77	o 1126
67.48/67.88	o 1125
67.68/68.01	o 1122
68.78/69.13	o 1121
68.98/69.36	o 1119
69.28/69.61	o 1118
69.37/69.73	o 1117
69.47/69.86	o 1115
69.67/70.01	o 1113
69.77/70.14	o 1111
69.87/70.27	o 1109
70.08/70.41	o 1107
70.17/70.54	o 1106
70.27/70.68	o 1105
70.87/71.23	o 1103
70.97/71.37	o 1102
71.07/71.50	o 1100
71.27/71.64	o 1098
71.37/71.78	o 1096
71.66/72.08	o 1095
72.66/73.08	o 1094
72.76/73.17	o 1091
72.96/73.40	o 1087
73.16/73.53	o 1084
73.16/73.58	o 1081
73.26/73.70	o 1079
73.36/73.79	o 1076
73.46/73.86	o 1074
73.56/73.98	o 1070
73.75/74.10	o 1069
73.95/74.34	o 1068
74.15/74.59	o 1067
74.35/74.70	o 1064
74.45/74.83	o 1059
74.55/74.94	o 1058
74.65/75.04	o 1055
74.75/75.16	o 1054
75.44/75.84	o 1051
75.55/75.94	o 1050
75.64/76.04	o 1047
75.64/76.09	o 1044
75.94/76.31	o 1041
76.04/76.42	o 1040
76.14/76.52	o 1037
76.24/76.65	o 1034
76.43/76.84	o 1031
76.54/76.95	o 1028
77.03/77.44	o 1027
77.12/77.53	o 1026
77.22/77.66	o 1025
77.32/77.77	o 1021
77.73/78.12	o 1018
77.82/78.24	o 1014
77.92/78.36	o 1012
78.02/78.49	o 1010
78.22/78.62	o 1009
78.53/78.90	o 1008
78.63/79.05	o 1006
78.73/79.20	o 1003
79.03/79.49	o 1002
79.22/79.63	o 999
79.92/80.31	o 998
80.02/80.46	o 994
80.22/80.61	o 991
80.31/80.78	o 988
80.51/80.94	o 985
80.81/81.27	o 982
81.31/81.73	o 978
81.41/81.90	o 973
81.61/82.01	o 972
81.91/82.31	o 971
82.01/82.45	o 967
82.80/83.21	o 965
83.30/83.78	o 963
83.50/83.93	o 961
83.59/84.07	o 959
83.89/84.35	o 956
84.09/84.51	o 954
84.19/84.65	o 953
84.29/84.79	o 950
84.68/85.19	o 949
85.08/85.58	o 947
85.29/85.73	o 946
85.39/85.87	o 944
85.58/86.02	o 943
85.68/86.18	o 937
85.88/86.32	o 934
85.98/86.42	o 931
86.08/86.55	o 929
86.18/86.69	o 927
86.38/86.83	o 926
86.48/86.98	o 923
86.68/87.12	o 920
87.68/88.10	o 919
87.88/88.39	o 918
88.08/88.54	o 916
88.18/88.68	o 914
88.47/88.94	o 911
88.87/89.33	o 910
88.97/89.47	o 908
89.17/89.62	o 907
89.67/90.11	o 903
89.77/90.23	o 901
89.87/90.39	o 897
90.07/90.56	o 894
90.26/90.75	o 892
90.46/90.92	o 887
91.26/91.72	o 884
92.35/92.81	o 881
92.75/93.24	o 879
92.85/93.40	o 877
93.05/93.55	o 873
93.15/93.69	o 869
93.35/93.84	o 867
94.15/94.67	o 865
94.34/94.80	o 863
94.44/94.93	o 860
94.54/95.08	o 859
94.94/95.49	o 856
95.14/95.62	o 854
95.24/95.75	o 850
95.34/95.89	o 848
95.44/95.98	o 845
95.83/96.36	o 843
95.93/96.49	o 840
96.82/97.39	o 838
97.13/97.64	o 836
97.33/97.90	o 834
97.53/98.03	o 833
97.63/98.17	o 831
98.02/98.59	o 829
98.22/98.73	o 827
98.62/99.15	o 824
98.72/99.28	o 822
99.02/99.54	o 821
99.11/99.68	o 820
99.31/99.82	o 818
99.71/100.21	o 817
100.01/100.50	o 814
100.11/100.63	o 812
100.41/100.99	o 810
100.61/101.12	o 806
100.71/101.26	o 803
100.81/101.39	o 802
101.01/101.53	o 801
101.10/101.66	o 798
101.20/101.78	o 794
101.81/102.33	o 792
102.59/103.18	o 791
102.80/103.34	o 790
102.90/103.49	o 788
103.09/103.70	o 787
103.29/103.86	o 785
103.39/103.95	o 783
104.09/104.60	o 782
104.88/105.45	o 781
105.09/105.62	o 780
106.87/107.47	o 778
108.37/108.93	o 775
108.66/109.28	o 773
109.26/109.82	o 772
109.36/110.00	o 768
109.56/110.17	o 766
109.75/110.34	o 763
110.94/111.58	o 759
111.14/111.72	o 756
111.74/112.39	o 754
111.95/112.55	o 753
112.14/112.73	o 751
112.34/112.91	o 750
112.44/113.07	o 749
112.64/113.24	o 748
112.84/113.42	o 747
112.94/113.59	o 746
113.33/113.97	o 745
113.53/114.14	o 744
113.74/114.31	o 743
113.84/114.48	o 741
114.03/114.66	o 740
114.44/115.05	o 739
114.94/115.56	o 737
115.14/115.71	o 734
115.24/115.89	o 731
115.63/116.28	o 730
116.04/116.62	o 729
116.23/116.81	o 726
116.33/116.94	o 723
116.82/117.47	o 720
117.22/117.83	o 719
117.51/118.18	o 717
117.71/118.35	o 715
117.91/118.53	o 711
118.11/118.71	o 708
118.11/118.75	o 707
118.21/118.89	o 705
118.31/118.96	o 704
119.00/119.63	o 703
119.10/119.70	o 701
119.20/119.88	o 699
119.70/120.40	o 696
119.90/120.56	o 694
120.10/120.74	o 692
120.41/121.09	o 690
121.69/122.38	o 687
122.59/123.28	o 686
122.78/123.44	o 685
123.38/124.10	o 683
123.58/124.29	o 681
123.78/124.45	o 679
123.98/124.64	o 678
124.17/124.82	o 677
124.27/125.00	o 676
124.68/125.34	o 675
125.17/125.86	o 674
125.56/126.23	o 673
125.77/126.42	o 671
125.96/126.60	o 670
126.46/127.15	o 668
126.66/127.32	o 666
127.26/127.97	o 665
127.75/128.48	o 664
129.15/129.89	o 663
129.74/130.47	o 661
129.94/130.64	o 660
130.15/130.81	o 657
130.25/130.99	o 655
130.44/131.12	o 654
131.15/131.81	o 653
131.25/131.92	o 652
131.35/132.08	o 649
131.65/132.39	o 648
131.94/132.69	o 647
132.14/132.81	o 645
132.44/133.14	o 644
132.93/133.65	o 643
133.83/134.57	o 638
134.03/134.73	o 637
135.12/135.81	o 636
135.22/135.92	o 634
135.32/136.08	o 632
135.63/136.39	o 631
135.82/136.58	o 630
136.02/136.77	o 628
136.61/137.38	o 627
136.81/137.52	o 626
136.91/137.68	o 625
137.60/138.34	o 623
137.70/138.50	o 622
138.10/138.84	o 619
138.39/139.17	o 618
138.79/139.51	o 617
138.90/139.69	o 615
139.00/139.78	o 612
139.19/139.93	o 611
139.29/140.06	o 608
139.90/140.68	o 607
140.00/140.76	o 604
140.20/140.92	o 603
140.30/141.08	o 602
140.69/141.42	o 601
141.20/141.96	o 599
141.39/142.13	o 596
141.58/142.34	o 595
143.77/144.54	o 593
143.97/144.73	o 592
144.17/144.94	o 591
146.86/147.69	o 590
147.05/147.88	o 588
147.15/147.98	o 586
147.55/148.37	o 585
147.95/148.75	o 584
149.74/150.59	o 583
149.95/150.79	o 581
151.43/152.21	o 580
151.63/152.41	o 579
152.04/152.82	o 577
152.63/153.47	o 576
153.62/154.40	o 575
154.32/155.14	o 574
155.11/155.91	o 572
155.31/156.11	o 571
155.51/156.32	o 570
155.71/156.53	o 567
155.90/156.75	o 564
156.10/156.96	o 563
156.90/157.74	o 562
159.99/160.82	o 561
163.36/164.20	o 558
163.66/164.51	o 557
163.76/164.67	o 556
164.27/165.18	o 555
164.47/165.39	o 551
164.66/165.52	o 550
164.86/165.70	o 548
164.96/165.84	o 547
165.06/165.98	o 545
166.26/167.18	o 541
166.45/167.39	o 539
166.65/167.59	o 537
167.05/167.99	o 536
167.24/168.20	o 534
167.54/168.41	o 533
167.74/168.62	o 531
168.04/168.99	o 530
168.34/169.22	o 529
169.23/170.14	o 528
170.13/171.08	o 527
170.43/171.32	o 526
171.32/172.22	o 525
171.83/172.74	o 524
172.31/173.24	o 517
172.82/173.70	o 516
173.31/174.22	o 515
173.51/174.48	o 514
174.01/175.00	o 511
174.31/175.27	o 510
175.11/176.06	o 509
175.40/176.32	o 508
176.30/177.30	o 507
178.78/179.70	o 506
179.28/180.22	o 505
179.49/180.48	o 504
179.78/180.71	o 503
179.97/180.98	o 501
180.27/181.25	o 498
180.77/181.78	o 497
181.37/182.31	o 494
181.58/182.54	o 493
187.73/188.71	o 490
188.83/189.89	o 489
189.13/190.16	o 488
189.43/190.43	o 487
191.52/192.52	o 486
191.72/192.75	o 483
192.01/193.02	o 482
194.30/195.30	o 478
194.50/195.58	o 476
195.11/196.16	o 475
196.20/197.26	o 474
196.50/197.55	o 473
197.09/198.11	o 472
197.29/198.30	o 470
198.58/199.65	o 469
198.87/199.92	o 468
199.67/200.74	o 467
199.87/200.90	o 466
200.07/201.11	o 465
201.96/203.08	o 464
202.26/203.37	o 463
202.47/203.59	o 461
203.35/204.46	o 459
204.85/205.96	o 458
205.04/206.13	o 456
205.44/206.51	o 455
205.65/206.79	o 454
206.74/207.85	o 453
206.94/208.07	o 452
212.01/213.16	o 451
212.51/213.69	o 450
212.61/213.71	o 447
212.81/213.96	o 446
213.31/214.43	o 444
214.70/215.87	o 443
216.28/217.44	o 442
216.89/218.00	o 438
217.78/218.93	o 437
217.97/219.18	o 435
219.76/220.99	o 430
219.97/221.15	o 425
222.26/223.46	o 423
222.45/223.68	o 422
222.65/223.87	o 421
222.95/224.14	o 419
223.64/224.89	o 418
224.04/225.25	o 417
224.24/225.46	o 415
224.64/225.90	o 414
226.03/227.25	o 413
226.23/227.49	o 412
226.73/227.97	o 411
227.52/228.72	o 410
228.01/229.22	o 409
229.41/230.64	o 408
229.61/230.90	o 407
229.91/231.16	o 404
230.11/231.35	o 403
230.61/231.87	o 400
230.81/232.01	o 398
231.30/232.53	o 397
231.50/232.79	o 395
233.00/234.28	o 394
233.29/234.52	o 393
233.49/234.78	o 392
233.79/235.01	o 391
234.19/235.47	o 389
234.48/235.71	o 388
235.77/237.09	o 387
237.17/238.41	o 385
237.96/239.27	o 383
238.07/239.39	o 382
238.36/239.65	o 381
239.85/241.10	o 379
240.05/241.35	o 378
240.35/241.67	o 375
240.55/241.88	o 372
241.05/242.36	o 370
241.24/242.58	o 368
242.63/243.98	o 367
243.12/244.44	o 366
243.72/245.08	o 365
243.92/245.30	o 364
244.40/245.75	o 357
245.00/246.38	o 356
245.20/246.56	o 355
245.40/246.79	o 353
253.36/254.72	o 352
253.76/255.13	o 350
253.96/255.36	o 347
254.25/255.60	o 346
254.45/255.80	o 345
254.65/256.04	o 344
254.85/256.27	o 343
255.34/256.73	o 342
255.54/256.90	o 339
255.95/257.36	o 337
256.44/257.85	o 336
259.22/260.68	o 335
263.00/264.45	o 334
268.56/270.01	o 333
269.07/270.54	o 332
269.26/270.77	o 331
269.86/271.30	o 329
270.35/271.87	o 328
270.65/272.15	o 327
271.25/272.71	o 326
272.14/273.63	o 325
272.45/273.91	o 324
272.64/274.16	o 322
273.54/275.01	o 318
274.23/275.70	o 313
274.43/275.98	o 311
274.64/276.18	o 310
276.02/277.56	o 309
276.32/277.84	o 306
277.71/279.28	o 304
293.54/295.18	o 303
294.53/296.15	o 302
294.83/296.48	o 299
295.23/296.81	o 298
298.90/300.57	o 297
299.19/300.90	o 296
299.89/301.51	o 295
301.38/303.02	o 293
302.18/303.88	o 292
303.57/305.24	o 291
303.77/305.49	o 290
304.76/306.46	o 286
305.35/307.06	o 285
305.65/307.37	o 284
306.45/308.16	o 282
307.04/308.78	o 280
307.35/309.02	o 279
310.63/312.30	o 278
310.73/312.45	o 277
311.02/312.71	o 276
315.50/317.22	o 275
315.80/317.51	o 274
316.99/318.74	o 273
317.59/319.39	o 272
317.98/319.70	o 270
318.58/320.33	o 269
319.17/320.97	o 267
319.77/321.52	o 266
320.07/321.84	o 264
324.23/326.08	o 263
324.53/326.35	o 262
326.12/327.95	o 261
326.32/328.17	o 260
326.62/328.46	o 258
340.83/342.78	o 257
343.81/345.79	o 256
344.80/346.78	o 255
345.20/347.12	o 254
347.20/349.16	o 253
353.67/355.66	o 252
354.06/356.01	o 251
364.79/366.89	o 249
365.19/367.26	o 248
365.49/367.59	o 247
366.39/368.41	o 246
366.39/368.47	o 244
366.78/368.88	o 241
390.67/392.90	o 240
392.36/394.58	o 239
393.95/396.12	o 238
396.04/398.22	o 235
401.21/403.50	o 233
401.31/403.60	o 232
407.18/409.44	o 231
408.37/410.61	o 229
409.08/411.40	o 228
410.67/412.99	o 227
411.86/414.14	o 226
424.30/426.66	o 225
424.90/427.29	o 224
425.20/427.52	o 223
425.39/427.79	o 222
425.69/428.01	o 221
427.18/429.56	o 220
429.18/431.51	o 216
429.57/431.90	o 215
431.76/434.18	o 214
432.17/434.54	o 213
433.16/435.59	o 212
433.56/435.98	o 211
433.95/436.36	o 210
437.43/439.85	o 207
438.13/440.58	o 205
438.93/441.37	o 204
440.12/442.57	o 203
441.22/443.60	o 202
464.80/467.30	o 201
465.10/467.69	o 200
465.50/468.10	o 198
465.90/468.49	o 197
466.30/468.82	o 196
467.39/469.90	o 195
468.08/470.69	o 194
468.48/471.06	o 193
498.65/501.39	   
498.65/501.39	   search
498.65/501.39	     run=0  nbConstraintChecks=1218725039  nbAssignments=2414
498.65/501.39	       =>  wckTime=488.905  cpuTime=486.18  mem=30M845
498.65/501.39	   
498.65/501.39	   global
498.65/501.39	     nbConstraintChecks=1218725039  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
498.65/501.39	     solvingWckTime=488.899  solvingCpuTime=486.18  expiredTime=no  totalExploration=no  nbFoundSolutions=0
498.65/501.39	     globalCpuTime=497.79
498.65/501.39	       =>  wckTime=501.142  cpuTime=497.75  mem=30M845
498.65/501.39	   
498.65/501.39	   solver DecomposerSolver being built... 
503.78/506.51	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-1112792-1215874141/watcher-1112792-1215874141 -o /tmp/evaluation-result-1112792-1215874141/solver-1112792-1215874141 -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-1112792-1215874141.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.84 3.17 3.17 4/69 17519
/proc/meminfo: memFree=1851920/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=18572 CPUtime=0
/proc/17519/stat : 17519 (runsolver) R 17517 17519 17388 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44112948 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/17519/statm: 4643 292 257 25 0 2626 0

[startup+0.0555551 s]
/proc/loadavg: 2.84 3.17 3.17 4/69 17519
/proc/meminfo: memFree=1851920/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=861876 CPUtime=0.03
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 2362 0 1 0 2 1 0 0 18 0 5 0 44112948 882561024 1949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 215469 1950 898 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.103416 s]
/proc/loadavg: 2.84 3.17 3.17 4/69 17519
/proc/meminfo: memFree=1851920/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=865988 CPUtime=0.09
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 3685 0 1 0 7 2 0 0 18 0 9 0 44112948 886771712 3161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 216497 3161 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.301425 s]
/proc/loadavg: 2.84 3.17 3.17 4/69 17519
/proc/meminfo: memFree=1851920/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=867412 CPUtime=0.31
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 5863 0 1 0 26 5 0 0 18 0 9 0 44112948 888229888 5238 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 216853 5238 1955 9 0 211381 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 867412

[startup+0.701451 s]
/proc/loadavg: 2.84 3.17 3.17 4/69 17519
/proc/meminfo: memFree=1851920/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=868524 CPUtime=0.78
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 10934 0 1 0 71 7 0 0 18 0 9 0 44112948 889368576 10295 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217131 10296 2011 9 0 211637 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 868524

[startup+1.50251 s]
/proc/loadavg: 2.84 3.17 3.17 3/91 17557
/proc/meminfo: memFree=1806104/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=868436 CPUtime=1.57
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 20118 0 1 0 146 11 0 0 18 0 9 0 44112948 889278464 19451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217109 19451 2006 9 0 211637 0
[pid=17519/tid=17521] ppid=17517 vsize=868436 CPUtime=1.29
/proc/17519/task/17521/stat : 17521 (java) R 17517 17519 17388 0 -1 64 15769 0 1 0 121 8 0 0 18 0 9 0 44112950 889278464 19451 996147200 134512640 134550740 4294955952 18446744073709551615 4126888310 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17522] ppid=17517 vsize=868436 CPUtime=0.07
/proc/17519/task/17522/stat : 17522 (java) S 17517 17519 17388 0 -1 64 2950 0 0 0 7 0 0 0 17 0 9 0 44112951 889278464 19451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17523] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 889278464 19451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17524] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44112951 889278464 19451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17525] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889278464 19451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=868436 CPUtime=0.17
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 703 0 0 0 17 0 0 0 16 0 9 0 44112954 889278464 19451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17527] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 889278464 19451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 889278464 19451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 868436

[startup+3.10261 s]
/proc/loadavg: 2.84 3.17 3.17 4/91 17567
/proc/meminfo: memFree=1786136/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=868436 CPUtime=3.16
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 20124 0 1 0 305 11 0 0 18 0 9 0 44112948 889278464 19456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217109 19456 2006 9 0 211637 0
[pid=17519/tid=17521] ppid=17517 vsize=868436 CPUtime=2.89
/proc/17519/task/17521/stat : 17521 (java) R 17517 17519 17388 0 -1 64 15771 0 1 0 280 9 0 0 25 0 9 0 44112950 889278464 19456 996147200 134512640 134550740 4294955952 18446744073709551615 4126880354 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17522] ppid=17517 vsize=868436 CPUtime=0.07
/proc/17519/task/17522/stat : 17522 (java) S 17517 17519 17388 0 -1 64 2950 0 0 0 7 0 0 0 17 0 9 0 44112951 889278464 19456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17523] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 889278464 19456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17524] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44112951 889278464 19456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17525] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889278464 19456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=868436 CPUtime=0.18
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 707 0 0 0 18 0 0 0 16 0 9 0 44112954 889278464 19456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17527] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 889278464 19456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 889278464 19456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 868436

[startup+6.30415 s]
/proc/loadavg: 2.77 3.15 3.16 3/91 17567
/proc/meminfo: memFree=1769624/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=868436 CPUtime=6.35
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 20143 0 1 0 623 12 0 0 18 0 9 0 44112948 889278464 19473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217109 19473 2006 9 0 211637 0
[pid=17519/tid=17521] ppid=17517 vsize=868436 CPUtime=6.05
/proc/17519/task/17521/stat : 17521 (java) R 17517 17519 17388 0 -1 64 15773 0 1 0 596 9 0 0 16 0 9 0 44112950 889278464 19473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17522] ppid=17517 vsize=868436 CPUtime=0.07
/proc/17519/task/17522/stat : 17522 (java) S 17517 17519 17388 0 -1 64 2950 0 0 0 7 0 0 0 16 0 9 0 44112951 889278464 19473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17523] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 889278464 19473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17524] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44112951 889278464 19473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17525] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889278464 19473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=868436 CPUtime=0.19
/proc/17519/task/17526/stat : 17526 (java) R 17517 17519 17388 0 -1 64 724 0 0 0 19 0 0 0 16 0 9 0 44112954 889278464 19473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17527] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 889278464 19473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=868436 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 889278464 19473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 868436

[startup+12.7023 s]
/proc/loadavg: 2.71 3.13 3.15 3/91 17567
/proc/meminfo: memFree=1724192/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=868524 CPUtime=12.72
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 27345 0 1 0 1256 16 0 0 18 0 9 0 44112948 889368576 26478 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217131 26478 2640 9 0 211637 0
[pid=17519/tid=17521] ppid=17517 vsize=868524 CPUtime=11.98
/proc/17519/task/17521/stat : 17521 (java) R 17517 17519 17388 0 -1 64 15845 0 1 0 1188 10 0 0 25 0 9 0 44112950 889368576 26478 996147200 134512640 134550740 4294955952 18446744073709551615 4126887145 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17522] ppid=17517 vsize=868524 CPUtime=0.41
/proc/17519/task/17522/stat : 17522 (java) S 17517 17519 17388 0 -1 64 10034 0 0 0 38 3 0 0 17 0 9 0 44112951 889368576 26478 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17523] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 26478 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17524] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 26478 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17525] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889368576 26478 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=868524 CPUtime=0.29
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 770 0 0 0 28 1 0 0 15 0 9 0 44112954 889368576 26478 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17527] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 889368576 26478 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 889368576 26478 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 868524

[startup+25.5011 s]
/proc/loadavg: 2.55 3.08 3.13 3/91 17567
/proc/meminfo: memFree=1658144/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=868524 CPUtime=25.43
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 27348 0 1 0 2524 19 0 0 18 0 9 0 44112948 889368576 26480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217131 26480 2640 9 0 211637 0
[pid=17519/tid=17521] ppid=17517 vsize=868524 CPUtime=24.69
/proc/17519/task/17521/stat : 17521 (java) R 17517 17519 17388 0 -1 64 15846 0 1 0 2456 13 0 0 25 0 9 0 44112950 889368576 26480 996147200 134512640 134550740 4294955952 18446744073709551615 4126884689 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17522] ppid=17517 vsize=868524 CPUtime=0.41
/proc/17519/task/17522/stat : 17522 (java) S 17517 17519 17388 0 -1 64 10034 0 0 0 38 3 0 0 16 0 9 0 44112951 889368576 26480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17523] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 26480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17524] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 26480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17525] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889368576 26480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=868524 CPUtime=0.3
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 772 0 0 0 29 1 0 0 16 0 9 0 44112954 889368576 26480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17527] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 889368576 26480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 889368576 26480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 868524

[startup+51.1018 s]
/proc/loadavg: 2.36 2.99 3.10 3/91 17567
/proc/meminfo: memFree=1588960/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=868524 CPUtime=50.88
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 27351 0 1 0 5064 24 0 0 18 0 9 0 44112948 889368576 26482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217131 26482 2640 9 0 211637 0
[pid=17519/tid=17521] ppid=17517 vsize=868524 CPUtime=50.13
/proc/17519/task/17521/stat : 17521 (java) R 17517 17519 17388 0 -1 64 15847 0 1 0 4995 18 0 0 25 0 9 0 44112950 889368576 26482 996147200 134512640 134550740 4294955952 18446744073709551615 4127030607 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17522] ppid=17517 vsize=868524 CPUtime=0.41
/proc/17519/task/17522/stat : 17522 (java) S 17517 17519 17388 0 -1 64 10034 0 0 0 38 3 0 0 16 0 9 0 44112951 889368576 26482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17523] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 26482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17524] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 26482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17525] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889368576 26482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=868524 CPUtime=0.3
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 774 0 0 0 29 1 0 0 16 0 9 0 44112954 889368576 26482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17527] ppid=17517 vsize=868524 CPUtime=0

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

/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17525] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=868524 CPUtime=0.32
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 785 0 0 0 31 1 0 0 16 0 9 0 44112954 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17527] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 483.72
Current children cumulated vsize (KiB) 868524

[startup+499.103 s]
/proc/loadavg: 2.15 2.55 2.83 3/89 17602
/proc/meminfo: memFree=1762424/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=868524 CPUtime=496.45
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 27366 0 1 0 49566 79 0 0 18 0 9 0 44112948 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217131 26493 2640 9 0 211637 0
[pid=17519/tid=17521] ppid=17517 vsize=868524 CPUtime=495.68
/proc/17519/task/17521/stat : 17521 (java) R 17517 17519 17388 0 -1 64 15851 0 1 0 49494 74 0 0 25 0 9 0 44112950 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4127179793 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17522] ppid=17517 vsize=868524 CPUtime=0.41
/proc/17519/task/17522/stat : 17522 (java) S 17517 17519 17388 0 -1 64 10034 0 0 0 38 3 0 0 16 0 9 0 44112951 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17523] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17524] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17525] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=868524 CPUtime=0.32
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 785 0 0 0 31 1 0 0 16 0 9 0 44112954 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17519/tid=17527] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 889368576 26493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 496.45
Current children cumulated vsize (KiB) 868524

[startup+502.303 s]
/proc/loadavg: 2.14 2.54 2.83 4/89 17602
/proc/meminfo: memFree=1762168/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=868524 CPUtime=499.6
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 84883 0 1 0 49858 102 0 0 18 0 9 0 44112948 889368576 83965 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217131 83973 2641 9 0 211637 0
[pid=17519/tid=17521] ppid=17517 vsize=868524 CPUtime=498.35
/proc/17519/task/17521/stat : 17521 (java) R 17517 17519 17388 0 -1 64 15930 0 1 0 49760 75 0 0 18 0 9 0 44112950 889368576 83978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17522] ppid=17517 vsize=868524 CPUtime=0.88
/proc/17519/task/17522/stat : 17522 (java) R 17517 17519 17388 0 -1 64 67469 0 0 0 63 25 0 0 15 0 9 0 44112951 889368576 83985 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17523] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 889368576 83992 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17524] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44112951 889368576 83999 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17525] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889368576 84005 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=868524 CPUtime=0.34
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 793 0 0 0 33 1 0 0 15 0 9 0 44112954 889368576 84011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17527] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 889368576 84017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=868524 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 889368576 84024 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 499.6
Current children cumulated vsize (KiB) 868524

[startup+503.901 s]
/proc/loadavg: 2.29 2.56 2.83 4/89 17602
/proc/meminfo: memFree=1094712/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=869168 CPUtime=501.2
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 200584 0 1 0 49975 145 0 0 18 0 9 0 44112948 890028032 199654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217292 199654 2640 9 0 211798 0
[pid=17519/tid=17521] ppid=17517 vsize=869168 CPUtime=498.64
/proc/17519/task/17521/stat : 17521 (java) R 17517 17519 17388 0 -1 64 16004 0 1 0 49789 75 0 0 21 0 9 0 44112950 890028032 199654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17522] ppid=17517 vsize=869168 CPUtime=2.18
/proc/17519/task/17522/stat : 17522 (java) R 17517 17519 17388 0 -1 64 183075 0 0 0 151 67 0 0 16 0 9 0 44112951 890028032 199654 996147200 134512640 134550740 4294955952 18446744073709551615 102300830 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17523] ppid=17517 vsize=869168 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 890028032 199654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17524] ppid=17517 vsize=869168 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 21 0 0 0 0 0 0 0 16 0 9 0 44112951 890028032 199654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17525] ppid=17517 vsize=869168 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 890028032 199654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=869168 CPUtime=0.34
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 793 0 0 0 33 1 0 0 15 0 9 0 44112954 890028032 199654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17527] ppid=17517 vsize=869168 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 890028032 199654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=869168 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 890028032 199654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 501.2
Current children cumulated vsize (KiB) 869168

[startup+505.501 s]
/proc/loadavg: 2.29 2.56 2.83 4/89 17602
/proc/meminfo: memFree=1068216/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=869268 CPUtime=502.79
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 200616 0 1 0 50134 145 0 0 18 0 9 0 44112948 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217317 199647 2618 9 0 211845 0
[pid=17519/tid=17521] ppid=17517 vsize=869268 CPUtime=498.65
/proc/17519/task/17521/stat : 17521 (java) S 17517 17519 17388 0 -1 64 16006 0 1 0 49790 75 0 0 21 0 9 0 44112950 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17522] ppid=17517 vsize=869268 CPUtime=3.76
/proc/17519/task/17522/stat : 17522 (java) R 17517 17519 17388 0 -1 64 183105 0 0 0 309 67 0 0 17 0 9 0 44112951 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17523] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17524] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44112951 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17525] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=869268 CPUtime=0.34
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 793 0 0 0 33 1 0 0 15 0 9 0 44112954 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17527] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 502.79
Current children cumulated vsize (KiB) 869268

[startup+506.301 s]
/proc/loadavg: 2.29 2.56 2.83 3/89 17602
/proc/meminfo: memFree=1068216/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=869268 CPUtime=503.59
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 200631 0 1 0 50214 145 0 0 18 0 9 0 44112948 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217317 199647 2618 9 0 211845 0
[pid=17519/tid=17521] ppid=17517 vsize=869268 CPUtime=498.65
/proc/17519/task/17521/stat : 17521 (java) S 17517 17519 17388 0 -1 64 16006 0 1 0 49790 75 0 0 21 0 9 0 44112950 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17522] ppid=17517 vsize=869268 CPUtime=4.56
/proc/17519/task/17522/stat : 17522 (java) R 17517 17519 17388 0 -1 64 183120 0 0 0 389 67 0 0 18 0 9 0 44112951 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17523] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17524] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44112951 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17525] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=869268 CPUtime=0.34
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 793 0 0 0 33 1 0 0 15 0 9 0 44112954 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17527] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=869268 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 890130432 199647 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 503.59
Current children cumulated vsize (KiB) 869268

[startup+506.501 s]
/proc/loadavg: 2.29 2.56 2.83 3/89 17602
/proc/meminfo: memFree=1068216/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=869080 CPUtime=503.78
/proc/17519/stat : 17519 (java) S 17517 17519 17388 0 -1 0 200631 0 1 0 50233 145 0 0 18 0 9 0 44112948 889937920 199632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 217270 199632 2618 9 0 211798 0
[pid=17519/tid=17521] ppid=17517 vsize=869080 CPUtime=498.65
/proc/17519/task/17521/stat : 17521 (java) S 17517 17519 17388 0 -1 64 16006 0 1 0 49790 75 0 0 16 0 9 0 44112950 889937920 199632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17522] ppid=17517 vsize=869080 CPUtime=4.76
/proc/17519/task/17522/stat : 17522 (java) R 17517 17519 17388 0 -1 64 183120 0 0 0 409 67 0 0 19 0 9 0 44112951 889937920 199632 996147200 134512640 134550740 4294955952 18446744073709551615 102731999 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17523] ppid=17517 vsize=869080 CPUtime=0
/proc/17519/task/17523/stat : 17523 (java) S 17517 17519 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44112951 889937920 199632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17524] ppid=17517 vsize=869080 CPUtime=0
/proc/17519/task/17524/stat : 17524 (java) S 17517 17519 17388 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44112951 889937920 199632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17525] ppid=17517 vsize=869080 CPUtime=0
/proc/17519/task/17525/stat : 17525 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44112954 889937920 199632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17526] ppid=17517 vsize=869080 CPUtime=0.34
/proc/17519/task/17526/stat : 17526 (java) S 17517 17519 17388 0 -1 64 793 0 0 0 33 1 0 0 15 0 9 0 44112954 889937920 199632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17527] ppid=17517 vsize=869080 CPUtime=0
/proc/17519/task/17527/stat : 17527 (java) S 17517 17519 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44112954 889937920 199632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17519/tid=17528] ppid=17517 vsize=869080 CPUtime=0
/proc/17519/task/17528/stat : 17528 (java) S 17517 17519 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44112954 889937920 199632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 503.78
Current children cumulated vsize (KiB) 869080

[startup+506.601 s]
/proc/loadavg: 2.29 2.56 2.83 3/89 17602
/proc/meminfo: memFree=1068216/2055920 swapFree=4192812/4192956
[pid=17519] ppid=17517 vsize=0 CPUtime=503.83
/proc/17519/stat : 17519 (java) Z 17517 17519 17388 0 -1 12 200639 0 1 0 50234 149 0 0 16 0 2 0 44112948 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17519/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 503.83
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 506.678
CPU time (s): 503.924
CPU user time (s): 502.35
CPU system time (s): 1.57476
CPU usage (%): 99.4565
Max. virtual memory (cumulated for all children) (KiB): 869268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 502.35
system time used= 1.57476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200639
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= 11743
involuntary context switches= 11267

runsolver used 0.594909 second user time and 1.73773 second system time

The end

Launcher Data (download as text)

Begin job on node52 at 2008-07-12 16:49:01
IDJOB=1112792
IDBENCH=61475
IDSOLVER=360
FILE ID=node52/1112792-1215874141
PBS_JOBID= 7903568
Free space on /tmp= 66536 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp34/normalized-fapp34-0750-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-1112792-1215874141/watcher-1112792-1215874141 -o /tmp/evaluation-result-1112792-1215874141/solver-1112792-1215874141 -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-1112792-1215874141.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 701805f3dd433f8e5a195a0325c2f865
RANDOM SEED=1240612733

node52.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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1852400 kB
Buffers:         19504 kB
Cached:         104188 kB
SwapCached:          0 kB
Active:          85236 kB
Inactive:        61052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852400 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           17708 kB
Writeback:           0 kB
Mapped:          32428 kB
Slab:            42408 kB
Committed_AS:   118956 kB
PageTables:       1932 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= 66548 MiB
End job on node52 at 2008-07-12 16:57:28