Trace number 1112887

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? 457.915 460.125

General information on the benchmark

Namecsp/fapp/fapp33/
normalized-fapp33-0650-3.xml
MD5SUM0a9f1ff1ab9407d2449a296e69817edc
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints39
Best CPU time to get the best result obtained on this benchmark3600.06
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of constraints8684
Maximum constraint arity2
Maximum domain size498
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8684
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.08	
0.03/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-1112887-1215875093.xml
0.29/0.32	   
0.29/0.32	   domains being loaded...
0.29/0.36	   
0.29/0.36	   variables being loaded...
0.38/0.48	     nbVariables=650  nbDomainTypes=11  minDomainSize=42  maxDomainSize=498  nbTotalValues=233788
0.38/0.48	       =>  wckTime=0.233  cpuTime=0.18  mem=14M679
0.38/0.48	   
0.38/0.48	   predicates being loaded...
0.48/0.54	   
0.48/0.54	   constraints being loaded...
10.48/10.57	   
10.48/10.57	   INFO : Stopping converting binary constraints (cpu=10.09, mem = 27M622)
12.38/12.43	     nbConstraints=8684  nbConvertedConstraints=241  nbConvertConstraintsChecks=38763656  nbExtensionStructures=232
12.38/12.43	     nbSharedExtensionStructures=28  nbConflictsStructures=744  nbSharedConflictsStructures=318
12.38/12.43	     nbUnbuiltConflictsStructures=3927  nbSharedBinaryRepresentations=158692  nbEvaluationManagers=4439
12.38/12.43	     nbSharedEvaluationManagers=4004  minDegree=3  maxDegree=62  minArity=2  maxArity=2
12.38/12.43	       =>  wckTime=12.188  cpuTime=11.78  mem=59M728
12.58/12.65	   
12.58/12.65	   solver LocalSearchSolver being built... 
12.58/12.69	       =>  wckTime=12.445  cpuTime=11.82  mem=27M972
12.78/12.84	
12.78/12.84	s SATISFIABLE
12.78/12.84	o 2373
12.88/12.93	o 2363
12.98/13.01	o 2357
12.98/13.06	o 2354
13.08/13.13	o 2348
13.08/13.19	o 2345
13.18/13.23	o 2340
13.18/13.29	o 2334
13.28/13.34	o 2324
13.28/13.39	o 2322
13.37/13.43	o 2318
13.47/13.55	o 2314
13.47/13.57	o 2306
13.57/13.60	o 2300
13.57/13.65	o 2295
13.57/13.67	o 2292
13.67/13.70	o 2290
13.67/13.74	o 2289
13.77/13.81	o 2283
13.77/13.82	o 2276
13.77/13.86	o 2275
13.77/13.89	o 2274
13.87/13.92	o 2273
13.87/13.94	o 2272
13.87/13.97	o 2263
13.98/14.01	o 2256
13.98/14.05	o 2251
13.98/14.09	o 2247
14.08/14.12	o 2244
14.08/14.15	o 2241
14.08/14.19	o 2238
14.18/14.24	o 2235
14.18/14.28	o 2233
14.28/14.36	o 2232
14.37/14.43	o 2226
14.37/14.46	o 2223
14.37/14.49	o 2220
14.47/14.59	o 2214
14.57/14.64	o 2208
14.57/14.68	o 2204
14.67/14.71	o 2200
14.67/14.76	o 2197
14.67/14.79	o 2194
14.77/14.83	o 2192
14.77/14.87	o 2191
14.87/14.91	o 2184
14.87/14.94	o 2183
14.87/14.97	o 2178
14.87/14.98	o 2177
14.97/15.01	o 2176
14.97/15.03	o 2175
14.97/15.06	o 2173
14.97/15.09	o 2166
15.07/15.12	o 2160
15.07/15.15	o 2154
15.07/15.20	o 2152
15.17/15.25	o 2150
15.17/15.27	o 2146
15.17/15.29	o 2143
15.27/15.31	o 2140
15.27/15.35	o 2137
15.27/15.37	o 2136
15.27/15.39	o 2133
15.37/15.41	o 2131
15.37/15.42	o 2129
15.37/15.45	o 2127
15.37/15.46	o 2126
15.47/15.51	o 2125
15.47/15.52	o 2124
15.47/15.55	o 2123
15.57/15.63	o 2116
15.57/15.66	o 2112
15.66/15.70	o 2109
15.66/15.74	o 2102
15.66/15.77	o 2097
15.76/15.82	o 2094
15.76/15.85	o 2088
15.76/15.88	o 2086
15.87/15.91	o 2084
15.87/15.95	o 2083
15.87/15.98	o 2080
15.97/16.01	o 2073
15.97/16.04	o 2070
15.97/16.06	o 2064
15.97/16.08	o 2060
16.07/16.10	o 2055
16.07/16.13	o 2054
16.07/16.15	o 2051
16.07/16.18	o 2044
16.07/16.20	o 2040
16.17/16.22	o 2036
16.17/16.24	o 2033
16.17/16.27	o 2031
16.17/16.29	o 2029
16.27/16.31	o 2025
16.27/16.35	o 2021
16.27/16.38	o 2015
16.37/16.43	o 2012
16.37/16.44	o 2008
16.37/16.48	o 2006
16.37/16.50	o 2004
16.47/16.52	o 2001
16.47/16.55	o 1998
16.47/16.57	o 1996
16.47/16.58	o 1992
16.57/16.62	o 1986
16.57/16.65	o 1983
16.66/16.70	o 1977
16.66/16.74	o 1971
16.66/16.78	o 1966
16.76/16.81	o 1962
16.76/16.85	o 1957
16.76/16.88	o 1952
16.86/16.92	o 1949
16.86/16.96	o 1945
16.86/16.99	o 1942
16.96/17.03	o 1939
16.96/17.07	o 1931
17.06/17.12	o 1929
17.06/17.15	o 1927
17.06/17.19	o 1925
17.16/17.22	o 1920
17.16/17.25	o 1918
17.16/17.28	o 1917
17.26/17.30	o 1913
17.26/17.34	o 1912
17.26/17.36	o 1911
17.26/17.38	o 1910
17.36/17.41	o 1906
17.47/17.53	o 1904
17.47/17.55	o 1898
17.47/17.58	o 1896
17.47/17.60	o 1895
17.57/17.61	o 1889
17.57/17.63	o 1885
17.57/17.67	o 1878
17.57/17.69	o 1871
17.66/17.71	o 1866
17.66/17.74	o 1858
17.76/17.81	o 1853
17.76/17.84	o 1848
17.76/17.87	o 1846
17.86/17.91	o 1845
17.86/17.94	o 1844
17.86/17.98	o 1843
17.96/18.05	o 1841
17.96/18.09	o 1836
18.06/18.15	o 1834
18.16/18.21	o 1832
18.16/18.26	o 1829
18.36/18.42	o 1827
18.36/18.48	o 1822
18.46/18.53	o 1818
18.46/18.57	o 1816
18.56/18.61	o 1812
18.66/18.70	o 1809
18.66/18.75	o 1808
18.66/18.80	o 1807
18.76/18.89	o 1806
18.86/18.93	o 1805
18.86/18.98	o 1800
18.96/19.01	o 1799
18.96/19.04	o 1798
18.96/19.08	o 1796
19.06/19.17	o 1795
19.16/19.22	o 1788
19.16/19.26	o 1784
19.26/19.34	o 1782
19.26/19.39	o 1779
19.36/19.43	o 1776
19.36/19.46	o 1771
19.36/19.50	o 1765
19.45/19.54	o 1762
19.45/19.58	o 1757
19.56/19.61	o 1755
19.56/19.66	o 1750
19.67/19.70	o 1749
19.67/19.75	o 1747
19.67/19.79	o 1744
19.76/19.83	o 1743
19.76/19.88	o 1742
19.86/19.92	o 1736
19.86/19.95	o 1731
19.86/19.98	o 1729
19.96/20.03	o 1726
19.96/20.07	o 1718
20.06/20.12	o 1712
20.16/20.24	o 1711
20.16/20.30	o 1709
20.36/20.42	o 1705
20.46/20.53	o 1702
20.46/20.60	o 1700
20.56/20.67	o 1697
20.66/20.75	o 1695
20.76/20.89	o 1694
20.86/20.96	o 1689
20.96/21.03	o 1687
21.06/21.13	o 1686
21.06/21.17	o 1681
21.16/21.22	o 1678
21.16/21.26	o 1675
21.26/21.31	o 1671
21.26/21.36	o 1662
21.36/21.44	o 1659
21.36/21.49	o 1656
21.46/21.55	o 1653
21.56/21.63	o 1651
21.65/21.80	o 1647
21.75/21.88	o 1646
21.96/22.02	o 1642
21.96/22.07	o 1636
22.15/22.24	o 1633
22.15/22.29	o 1627
22.25/22.36	o 1625
22.35/22.45	o 1616
22.65/22.74	o 1610
22.85/22.95	o 1604
22.96/23.03	o 1600
22.96/23.10	o 1598
23.15/23.23	o 1597
23.15/23.29	o 1592
23.25/23.36	o 1589
23.35/23.42	o 1587
23.35/23.49	o 1585
23.45/23.55	o 1580
23.55/23.63	o 1578
23.65/23.70	o 1576
23.85/23.92	o 1572
23.85/23.98	o 1568
23.95/24.05	o 1564
24.05/24.13	o 1563
24.05/24.19	o 1559
24.16/24.26	o 1557
24.26/24.31	o 1556
24.26/24.39	o 1555
24.36/24.46	o 1552
24.45/24.59	o 1550
24.55/24.66	o 1541
24.65/24.72	o 1536
24.65/24.79	o 1533
24.75/24.85	o 1531
24.85/24.91	o 1528
24.95/25.02	o 1527
25.05/25.14	o 1525
25.05/25.19	o 1522
25.16/25.24	o 1519
25.16/25.30	o 1518
25.35/25.44	o 1515
25.45/25.50	o 1514
25.45/25.58	o 1511
25.55/25.65	o 1510
25.65/25.71	o 1507
25.65/25.79	o 1500
25.75/25.86	o 1499
25.85/25.99	o 1498
25.95/26.06	o 1495
26.05/26.13	o 1492
26.15/26.21	o 1488
26.15/26.28	o 1487
26.26/26.36	o 1479
26.36/26.43	o 1477
26.45/26.51	o 1474
26.45/26.57	o 1472
26.55/26.64	o 1470
26.65/26.71	o 1469
26.75/26.85	o 1467
26.85/26.92	o 1465
26.95/27.07	o 1460
27.05/27.15	o 1458
28.15/28.25	o 1454
28.65/28.73	o 1453
28.75/28.81	o 1448
28.95/29.08	o 1446
29.04/29.17	o 1443
29.25/29.33	o 1441
29.35/29.42	o 1440
29.74/29.82	o 1438
29.84/29.98	o 1436
30.04/30.13	o 1431
30.14/30.26	o 1428
30.34/30.42	o 1424
30.44/30.51	o 1421
30.65/30.76	o 1417
30.75/30.84	o 1416
31.14/31.24	o 1411
31.24/31.31	o 1408
31.24/31.37	o 1404
31.34/31.48	o 1401
31.44/31.55	o 1400
31.54/31.62	o 1397
31.54/31.70	o 1394
31.65/31.76	o 1393
31.75/31.86	o 1389
31.85/31.94	o 1388
31.95/32.03	o 1384
32.05/32.10	o 1383
32.05/32.19	o 1382
32.15/32.27	o 1378
32.35/32.44	o 1375
32.45/32.53	o 1372
32.55/32.61	o 1367
32.55/32.70	o 1364
32.64/32.79	o 1360
32.74/32.88	o 1355
32.95/33.03	o 1352
33.04/33.10	o 1351
33.44/33.50	o 1349
33.44/33.57	o 1345
33.64/33.71	o 1343
33.74/33.87	o 1342
33.94/34.02	o 1341
34.04/34.10	o 1335
34.04/34.19	o 1334
34.13/34.26	o 1332
34.23/34.33	o 1331
34.44/34.52	o 1328
34.53/34.60	o 1322
34.63/34.74	o 1319
34.73/34.90	o 1317
34.93/35.03	o 1314
35.04/35.11	o 1312
35.04/35.18	o 1310
35.14/35.25	o 1309
35.23/35.31	o 1308
35.33/35.45	o 1307
35.43/35.53	o 1305
35.53/35.61	o 1303
35.53/35.69	o 1297
35.63/35.76	o 1294
35.73/35.84	o 1292
35.93/36.01	o 1288
36.03/36.17	o 1285
36.13/36.24	o 1284
36.23/36.33	o 1282
36.33/36.42	o 1279
36.43/36.59	o 1278
36.53/36.66	o 1272
36.63/36.75	o 1270
36.73/36.80	o 1265
36.93/37.06	o 1264
37.03/37.12	o 1261
37.23/37.34	o 1257
37.23/37.39	o 1256
37.33/37.48	o 1253
37.43/37.58	o 1251
37.84/37.99	o 1248
37.93/38.09	o 1246
38.23/38.37	o 1239
38.34/38.45	o 1238
38.44/38.55	o 1237
38.53/38.63	o 1234
38.63/38.73	o 1230
38.73/38.83	o 1228
38.84/38.91	o 1227
38.93/39.00	o 1223
39.13/39.29	o 1220
39.33/39.45	o 1215
39.44/39.53	o 1211
39.54/39.61	o 1209
39.54/39.69	o 1203
39.83/39.94	o 1201
39.93/40.02	o 1200
40.03/40.11	o 1197
40.03/40.19	o 1194
40.13/40.28	o 1193
40.54/40.65	o 1191
40.63/40.74	o 1185
40.83/40.93	o 1181
41.03/41.10	o 1177
41.03/41.20	o 1173
41.33/41.47	o 1172
41.43/41.58	o 1171
41.53/41.67	o 1166
41.63/41.77	o 1164
41.83/41.97	o 1159
41.93/42.07	o 1155
42.03/42.17	o 1153
42.23/42.37	o 1152
42.33/42.47	o 1150
42.43/42.56	o 1144
42.53/42.67	o 1142
42.63/42.76	o 1141
42.73/42.85	o 1139
43.03/43.12	o 1132
43.13/43.20	o 1130
43.22/43.37	o 1127
43.32/43.46	o 1126
43.42/43.55	o 1124
43.83/43.92	o 1121
44.02/44.10	o 1119
44.12/44.20	o 1118
44.12/44.28	o 1115
44.32/44.48	o 1113
44.42/44.59	o 1112
44.52/44.69	o 1107
44.72/44.87	o 1103
44.82/44.96	o 1102
44.92/45.03	o 1100
45.02/45.12	o 1099
45.12/45.20	o 1097
45.12/45.28	o 1093
45.42/45.57	o 1090
45.82/45.97	o 1087
45.92/46.05	o 1085
46.02/46.13	o 1082
46.02/46.20	o 1078
46.12/46.26	o 1077
46.32/46.43	o 1075
46.42/46.50	o 1074
46.52/46.67	o 1071
46.62/46.74	o 1070
46.73/46.82	o 1068
46.73/46.90	o 1067
46.93/47.05	o 1066
47.03/47.13	o 1062
47.13/47.27	o 1060
47.23/47.34	o 1058
47.32/47.40	o 1054
47.32/47.47	o 1051
47.42/47.55	o 1049
47.62/47.70	o 1048
47.72/47.84	o 1045
47.82/47.92	o 1042
47.92/48.06	o 1041
48.02/48.13	o 1039
48.02/48.19	o 1034
48.12/48.26	o 1029
48.23/48.32	o 1026
48.23/48.39	o 1025
48.33/48.45	o 1024
48.62/48.73	o 1023
48.72/48.85	o 1022
48.82/48.94	o 1020
48.92/49.01	o 1016
48.92/49.07	o 1015
49.02/49.15	o 1014
49.32/49.43	o 1013
49.42/49.51	o 1011
49.42/49.58	o 1010
49.61/49.75	o 1007
49.81/49.91	o 1006
49.81/49.98	o 1000
49.91/50.05	o 997
50.01/50.11	o 995
50.01/50.19	o 988
50.11/50.27	o 983
50.21/50.35	o 980
50.41/50.52	o 978
50.51/50.62	o 977
50.60/50.71	o 972
50.70/50.80	o 968
50.80/50.99	o 966
51.40/51.52	o 964
51.40/51.58	o 959
51.49/51.67	o 956
51.69/51.83	o 955
51.79/51.92	o 954
51.89/52.02	o 949
52.08/52.20	o 947
52.08/52.28	o 943
52.28/52.47	o 941
52.38/52.56	o 940
52.48/52.66	o 938
52.58/52.77	o 937
52.78/52.97	o 934
53.08/53.26	o 932
53.17/53.34	o 929
53.27/53.43	o 927
53.47/53.69	o 925
53.67/53.87	o 922
53.96/54.15	o 919
54.06/54.26	o 917
54.16/54.37	o 916
54.26/54.42	o 915
54.36/54.54	o 913
54.47/54.63	o 911
55.26/55.46	o 910
55.36/55.56	o 907
55.46/55.66	o 906
55.56/55.76	o 905
55.66/55.86	o 903
55.76/55.96	o 899
55.86/56.05	o 897
56.05/56.25	o 896
56.15/56.33	o 894
56.44/56.62	o 892
56.64/56.80	o 889
56.74/56.91	o 885
56.94/57.11	o 880
57.04/57.21	o 879
57.14/57.32	o 876
57.34/57.54	o 874
57.44/57.65	o 871
57.53/57.76	o 868
57.63/57.86	o 867
57.73/57.95	o 863
58.33/58.52	o 862
58.43/58.63	o 859
58.53/58.73	o 858
58.72/58.95	o 857
59.12/59.40	o 854
59.22/59.49	o 852
59.31/59.59	o 850
59.51/59.70	o 847
59.61/59.81	o 845
60.31/60.53	o 843
60.50/60.72	o 838
60.60/60.82	o 837
61.10/61.30	o 836
61.30/61.51	o 835
61.39/61.61	o 834
61.49/61.70	o 833
61.79/62.00	o 830
62.08/62.36	o 826
62.18/62.47	o 825
62.28/62.57	o 823
62.38/62.67	o 820
62.78/63.04	o 819
62.97/63.29	o 818
63.17/63.41	o 817
63.76/64.04	o 816
63.86/64.17	o 815
64.07/64.30	o 814
64.17/64.43	o 813
64.26/64.55	o 811
64.36/64.68	o 810
64.65/64.94	o 808
65.54/65.87	o 806
65.64/65.98	o 805
66.23/66.53	o 804
66.33/66.64	o 802
66.43/66.74	o 800
66.53/66.85	o 796
66.93/67.29	o 794
67.42/67.73	o 793
67.82/68.14	o 790
67.92/68.25	o 789
68.01/68.37	o 787
68.11/68.47	o 784
68.22/68.58	o 782
68.42/68.72	o 779
68.52/68.83	o 777
68.72/69.06	o 776
68.82/69.19	o 772
69.02/69.32	o 770
69.51/69.81	o 768
69.61/69.93	o 765
69.71/70.04	o 761
69.81/70.15	o 758
69.91/70.27	o 756
70.00/70.38	o 753
70.20/70.50	o 751
70.40/70.71	o 749
70.50/70.83	o 748
70.59/70.95	o 747
71.09/71.48	o 745
71.19/71.59	o 742
71.39/71.71	o 740
71.49/71.81	o 738
71.78/72.11	o 737
71.88/72.24	o 736
72.08/72.43	o 735
72.18/72.55	o 731
72.28/72.63	o 729
72.37/72.72	o 723
72.47/72.86	o 722
72.57/72.96	o 721
72.77/73.16	o 719
72.87/73.26	o 717
73.07/73.47	o 716
73.37/73.73	o 713
73.46/73.83	o 712
73.66/74.05	o 711
73.76/74.17	o 710
74.36/74.77	o 709
74.55/74.91	o 700
74.75/75.18	o 698
74.95/75.32	o 697
75.05/75.46	o 696
75.25/75.61	o 695
75.55/75.99	o 692
75.64/76.01	o 691
75.74/76.15	o 689
75.84/76.28	o 687
77.72/78.18	o 686
78.02/78.45	o 681
78.21/78.60	o 679
78.41/78.87	o 675
78.72/79.16	o 674
78.82/79.26	o 672
79.01/79.47	o 671
79.21/79.62	o 668
79.30/79.78	o 666
79.50/79.93	o 665
79.60/80.03	o 664
79.70/80.17	o 662
80.29/80.75	o 656
80.38/80.83	o 650
80.88/81.37	o 645
81.47/81.90	o 643
81.97/82.46	o 642
82.17/82.61	o 639
82.28/82.75	o 638
82.38/82.88	o 636
83.17/83.63	o 634
83.27/83.76	o 633
83.37/83.89	o 632
83.66/84.12	o 631
83.76/84.22	o 627
83.86/84.36	o 626
83.95/84.50	o 622
84.16/84.61	o 620
86.03/86.56	o 619
86.43/86.98	o 618
86.72/87.29	o 616
86.92/87.46	o 614
87.02/87.58	o 611
87.22/87.73	o 610
87.32/87.87	o 608
87.61/88.18	o 607
87.81/88.30	o 605
87.91/88.46	o 604
89.40/89.90	o 603
89.50/90.06	o 602
90.09/90.67	o 600
90.29/90.83	o 599
90.39/90.98	o 598
90.49/91.09	o 595
93.26/93.81	o 593
94.35/94.98	o 591
94.54/95.17	o 590
94.74/95.35	o 589
95.44/96.07	o 588
97.03/97.68	o 586
97.23/97.88	o 585
97.52/98.16	o 584
97.72/98.33	o 582
97.92/98.52	o 581
103.56/104.24	o 580
107.71/108.47	o 569
109.39/110.15	o 568
109.59/110.33	o 565
109.80/110.52	o 564
110.30/111.09	o 563
110.49/111.29	o 562
110.89/111.66	o 561
110.99/111.76	o 560
115.55/116.34	o 556
115.94/116.74	o 555
116.34/117.14	o 553
116.54/117.35	o 552
116.74/117.55	o 551
116.94/117.77	o 550
117.13/117.93	o 549
117.33/118.13	o 546
118.12/118.92	o 545
118.51/119.33	o 543
119.80/120.63	o 540
120.19/121.09	o 537
120.58/121.45	o 531
122.76/123.65	o 530
122.85/123.77	o 529
123.35/124.21	o 527
123.75/124.63	o 526
123.84/124.76	o 525
124.44/125.35	o 523
125.43/126.34	o 519
125.62/126.54	o 517
125.82/126.73	o 516
126.21/127.13	o 515
126.31/127.26	o 514
126.51/127.44	o 513
128.95/129.95	o 512
136.18/137.28	o 511
136.38/137.48	o 503
136.87/137.99	o 501
137.07/138.17	o 500
137.37/138.44	o 498
138.06/139.17	o 497
138.25/139.36	o 496
138.66/139.75	o 495
139.54/140.67	o 493
140.12/141.22	o 492
140.32/141.42	o 491
140.41/141.55	o 489
141.30/142.46	o 488
142.39/143.56	o 487
142.59/143.77	o 486
142.79/143.97	o 485
142.99/144.17	o 484
143.19/144.38	o 483
144.27/145.45	o 481
144.37/145.55	o 480
144.57/145.75	o 479
144.77/145.96	o 475
144.97/146.10	o 472
145.96/147.12	o 471
146.16/147.34	o 470
146.35/147.57	o 469
146.65/147.80	o 468
147.94/149.14	o 464
148.34/149.59	o 463
148.83/150.06	o 462
149.92/151.19	o 461
150.42/151.65	o 460
154.08/155.38	o 459
154.38/155.61	o 457
154.97/156.30	o 456
155.26/156.53	o 455
155.36/156.61	o 454
157.05/158.33	o 453
157.44/158.78	o 452
157.74/159.01	o 451
158.43/159.71	o 450
158.54/159.88	o 449
159.02/160.34	o 448
160.89/162.27	o 446
161.19/162.50	o 445
161.78/163.18	o 444
162.78/164.20	o 443
164.85/166.24	o 442
165.85/167.27	o 439
166.33/167.76	o 437
166.83/168.27	o 436
167.42/168.90	o 435
167.92/169.39	o 434
188.19/189.82	o 428
188.39/190.08	o 427
189.87/191.58	o 426
190.17/191.83	o 424
190.27/191.93	o 422
190.96/192.66	o 421
191.46/193.15	o 419
192.05/193.78	o 418
195.90/197.68	o 417
196.40/198.18	o 416
196.60/198.33	o 415
196.79/198.58	o 414
199.17/200.91	o 413
199.36/201.16	o 411
199.56/201.40	o 409
199.86/201.65	o 408
200.15/201.90	o 404
200.55/202.39	o 403
209.06/210.97	o 402
209.55/211.49	o 401
210.84/212.78	o 399
211.03/212.92	o 397
211.13/213.09	o 395
213.71/215.62	o 394
214.40/216.33	o 393
214.80/216.70	o 392
215.08/217.09	o 390
218.15/220.10	o 388
218.25/220.29	o 384
218.45/220.41	o 383
218.84/220.87	o 381
219.33/221.35	o 380
219.63/221.60	o 379
220.02/222.03	o 377
229.88/231.98	o 376
230.18/232.21	o 375
230.38/232.46	o 374
230.58/232.70	o 373
230.88/232.92	o 372
231.08/233.16	o 368
231.78/233.86	o 363
231.98/234.09	o 361
232.77/234.80	o 359
232.97/235.04	o 358
233.17/235.28	o 356
233.47/235.53	o 355
235.77/237.84	o 349
236.87/239.00	o 348
237.57/239.70	o 347
252.86/254.96	o 346
253.07/255.18	o 342
253.46/255.54	o 341
253.66/255.77	o 340
253.86/255.99	o 339
254.36/256.42	o 338
255.17/257.29	o 337
255.47/257.50	o 336
255.67/257.71	o 335
255.77/257.85	o 333
256.57/258.69	o 331
256.97/259.05	o 330
257.17/259.26	o 329
257.37/259.47	o 326
257.77/259.89	o 323
258.47/260.56	o 322
259.86/261.97	o 321
260.06/262.19	o 320
260.26/262.32	o 318
261.66/263.74	o 317
262.06/264.19	o 316
262.56/264.66	o 315
262.76/264.88	o 314
263.36/265.46	o 312
263.66/265.70	o 311
265.96/268.10	o 308
268.86/270.99	o 307
271.65/273.72	o 305
271.86/273.99	o 302
272.15/274.24	o 300
272.65/274.75	o 299
273.15/275.28	o 298
273.35/275.49	o 297
273.65/275.75	o 296
279.65/281.78	o 294
279.95/282.01	o 292
280.15/282.23	o 289
281.66/283.74	o 286
282.55/284.68	o 285
283.55/285.69	o 284
283.75/285.80	o 283
308.14/310.30	o 282
308.44/310.55	o 279
308.54/310.63	o 278
308.74/310.87	o 275
308.94/311.09	o 272
309.43/311.58	o 269
309.93/312.00	o 268
310.53/312.68	o 267
317.22/319.37	o 266
317.42/319.54	o 264
317.72/319.80	o 263
317.93/320.05	o 262
318.03/320.19	o 260
320.93/323.09	o 259
321.23/323.33	o 257
321.43/323.58	o 254
321.53/323.63	o 252
322.33/324.46	o 250
328.92/331.02	o 248
330.02/332.17	o 247
330.32/332.43	o 246
331.02/333.15	o 243
331.52/333.65	o 242
331.82/333.90	o 241
332.02/334.16	o 240
332.22/334.31	o 239
332.72/334.82	o 238
333.11/335.26	o 237
335.52/337.62	o 235
335.71/337.88	o 231
336.41/338.54	o 230
336.61/338.80	o 229
336.91/339.06	o 228
337.11/339.21	o 227
337.82/339.91	o 225
338.02/340.16	o 224
339.21/341.33	o 222
339.41/341.57	o 221
341.81/343.95	o 219
342.91/345.07	o 218
343.11/345.30	o 217
347.01/349.16	o 216
347.21/349.39	o 215
348.51/350.68	o 213
374.59/376.70	o 211
404.78/406.98	   
404.78/406.98	   search
404.78/406.98	     run=0  nbConstraintChecks=1017092432  nbAssignments=2399
404.78/406.98	       =>  wckTime=394.291  cpuTime=392.16  mem=27M972
404.78/406.98	   
404.78/406.98	   global
404.78/406.98	     nbConstraintChecks=1017092432  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
404.78/406.98	     solvingWckTime=394.286  solvingCpuTime=392.16  expiredTime=no  totalExploration=no  nbFoundSolutions=0
404.78/406.98	     globalCpuTime=404.01
404.78/406.98	       =>  wckTime=406.735  cpuTime=403.98  mem=27M972
404.78/406.98	   
404.78/406.98	   solver DecomposerSolver being built... 
406.63/408.83	       =>  wckTime=408.575  cpuTime=404.58  mem=666M830
457.39/459.66	   
457.39/459.66	   preprocessing
457.39/459.66	     nbConstraintChecks=165017346  nbValidityChecks=453028  nbPropagations=657  nbRevisions=15614
457.39/459.66	     nbUselessRevisions=15552  nbRemovedValues=5460  detectedInconsistency=no
457.39/459.66	       =>  wckTime=50.843  cpuTime=50.8  mem=666M830
457.79/460.01	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-1112887-1215875093/watcher-1112887-1215875093 -o /tmp/evaluation-result-1112887-1215875093/solver-1112887-1215875093 -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-1112887-1215875093.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.07 2.04 2.01 4/82 19061
/proc/meminfo: memFree=1558104/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=1616 CPUtime=0
/proc/19061/stat : 19061 (java) D 19059 19061 18763 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 44211008 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/19061/statm: 404 145 119 9 0 46 0

[startup+0.040834 s]
/proc/loadavg: 2.07 2.04 2.01 4/82 19061
/proc/meminfo: memFree=1558104/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=861876 CPUtime=0.03
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 2274 0 1 0 2 1 0 0 18 0 5 0 44211008 882561024 1881 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 215469 1881 860 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.101843 s]
/proc/loadavg: 2.07 2.04 2.01 4/82 19061
/proc/meminfo: memFree=1558104/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=865988 CPUtime=0.08
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 3717 0 1 0 6 2 0 0 18 0 9 0 44211008 886771712 3191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216497 3191 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301863 s]
/proc/loadavg: 2.07 2.04 2.01 4/82 19061
/proc/meminfo: memFree=1558104/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=866388 CPUtime=0.29
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 5868 0 1 0 24 5 0 0 18 0 9 0 44211008 887181312 5243 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216597 5244 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866388

[startup+0.701878 s]
/proc/loadavg: 2.07 2.04 2.01 4/82 19061
/proc/meminfo: memFree=1558104/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867696 CPUtime=0.68
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 10125 0 1 0 61 7 0 0 18 0 9 0 44211008 888520704 9486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216924 9487 2010 9 0 211430 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867696

[startup+1.50193 s]
/proc/loadavg: 2.07 2.04 2.01 3/91 19070
/proc/meminfo: memFree=1505936/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867696 CPUtime=1.49
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 16727 0 1 0 138 11 0 0 18 0 9 0 44211008 888520704 16085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216924 16085 2014 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867696 CPUtime=1.29
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15378 0 1 0 119 10 0 0 25 0 9 0 44211009 888520704 16085 996147200 134512640 134550740 4294955952 18446744073709551615 4126867716 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44211010 888520704 16085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 44211011 888520704 16085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 44211011 888520704 16085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888520704 16085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867696 CPUtime=0.18
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 651 0 0 0 18 0 0 0 16 0 9 0 44211013 888520704 16085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888520704 16085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888520704 16085 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867696

[startup+3.10203 s]
/proc/loadavg: 2.06 2.03 2.01 4/91 19070
/proc/meminfo: memFree=1485200/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867608 CPUtime=3.09
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 19867 0 1 0 296 13 0 0 18 0 9 0 44211008 888430592 19200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216902 19200 2005 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867608 CPUtime=2.79
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15800 0 1 0 269 10 0 0 25 0 9 0 44211009 888430592 19200 996147200 134512640 134550740 4294955952 18446744073709551615 4126891174 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867608 CPUtime=0.07
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 2713 0 0 0 6 1 0 0 16 0 9 0 44211010 888430592 19200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888430592 19200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44211011 888430592 19200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888430592 19200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867608 CPUtime=0.19
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 657 0 0 0 19 0 0 0 15 0 9 0 44211013 888430592 19200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888430592 19200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888430592 19200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867608

[startup+6.30225 s]
/proc/loadavg: 2.06 2.03 2.01 3/91 19070
/proc/meminfo: memFree=1469648/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867608 CPUtime=6.29
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 19886 0 1 0 616 13 0 0 18 0 9 0 44211008 888430592 19216 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216902 19216 2005 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867608 CPUtime=5.97
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15803 0 1 0 587 10 0 0 25 0 9 0 44211009 888430592 19216 996147200 134512640 134550740 4294955952 18446744073709551615 4126868232 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867608 CPUtime=0.07
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 2713 0 0 0 6 1 0 0 17 0 9 0 44211010 888430592 19216 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888430592 19216 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44211011 888430592 19216 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888430592 19216 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867608 CPUtime=0.21
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 673 0 0 0 21 0 0 0 16 0 9 0 44211013 888430592 19216 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888430592 19216 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888430592 19216 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 867608

[startup+12.7027 s]
/proc/loadavg: 2.05 2.03 2.01 3/91 19070
/proc/meminfo: memFree=1429840/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867696 CPUtime=12.68
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 26647 0 1 0 1251 17 0 0 18 0 9 0 44211008 888520704 25781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216924 25781 2638 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867696 CPUtime=12.01
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15878 0 1 0 1189 12 0 0 25 0 9 0 44211009 888520704 25781 996147200 134512640 134550740 4294955952 18446744073709551615 4125977493 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867696 CPUtime=0.36
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 9356 0 0 0 33 3 0 0 19 0 9 0 44211010 888520704 25781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888520704 25781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44211011 888520704 25781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888520704 25781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867696 CPUtime=0.28
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 716 0 0 0 28 0 0 0 16 0 9 0 44211013 888520704 25781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888520704 25781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888520704 25781 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) 867696

[startup+25.5015 s]
/proc/loadavg: 2.05 2.03 2.01 3/91 19070
/proc/meminfo: memFree=1355600/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867696 CPUtime=25.45
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 26657 0 1 0 2524 21 0 0 18 0 9 0 44211008 888520704 25790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216924 25790 2640 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867696 CPUtime=24.77
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15879 0 1 0 2461 16 0 0 25 0 9 0 44211009 888520704 25790 996147200 134512640 134550740 4294955952 18446744073709551615 4127182185 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867696 CPUtime=0.36
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 9356 0 0 0 33 3 0 0 16 0 9 0 44211010 888520704 25790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888520704 25790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44211011 888520704 25790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888520704 25790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867696 CPUtime=0.29
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 725 0 0 0 29 0 0 0 16 0 9 0 44211013 888520704 25790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888520704 25790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888520704 25790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 867696

[startup+51.1012 s]
/proc/loadavg: 2.03 2.03 2.00 4/91 19070
/proc/meminfo: memFree=1213520/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867696 CPUtime=51
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 26659 0 1 0 5074 26 0 0 18 0 9 0 44211008 888520704 25791 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216924 25791 2640 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867696 CPUtime=50.31
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15880 0 1 0 5010 21 0 0 25 0 9 0 44211009 888520704 25791 996147200 134512640 134550740 4294955952 18446744073709551615 4127025794 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867696 CPUtime=0.36
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 9356 0 0 0 33 3 0 0 16 0 9 0 44211010 888520704 25791 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888520704 25791 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44211011 888520704 25791 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888520704 25791 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867696 CPUtime=0.29
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 726 0 0 0 29 0 0 0 17 0 9 0 44211013 888520704 25791 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867696 CPUtime=0

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

/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44211011 888430592 178481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888430592 178481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867608 CPUtime=0.34
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 751 0 0 0 34 0 0 0 16 0 9 0 44211013 888430592 178481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888430592 178481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888430592 178481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 407.32
Current children cumulated vsize (KiB) 867608

[startup+435.102 s]
/proc/loadavg: 2.07 2.15 2.07 3/91 19118
/proc/meminfo: memFree=664400/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867608 CPUtime=432.9
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 179434 0 1 0 43138 152 0 0 18 0 9 0 44211008 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216902 178483 2619 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867608 CPUtime=430.99
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15973 0 1 0 43009 90 0 0 25 0 9 0 44211009 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4127182179 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867608 CPUtime=1.53
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 161992 0 0 0 94 59 0 0 16 0 9 0 44211010 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867608 CPUtime=0.34
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 432.9
Current children cumulated vsize (KiB) 867608

[startup+447.902 s]
/proc/loadavg: 2.14 2.16 2.07 3/91 19118
/proc/meminfo: memFree=632848/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867608 CPUtime=445.7
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 179434 0 1 0 44418 152 0 0 18 0 9 0 44211008 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216902 178483 2619 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867608 CPUtime=443.79
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15973 0 1 0 44289 90 0 0 25 0 9 0 44211009 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4127182210 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867608 CPUtime=1.53
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 161992 0 0 0 94 59 0 0 16 0 9 0 44211010 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867608 CPUtime=0.34
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 445.7
Current children cumulated vsize (KiB) 867608

[startup+454.306 s]
/proc/loadavg: 2.12 2.16 2.07 3/91 19118
/proc/meminfo: memFree=615952/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867608 CPUtime=452.1
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 179434 0 1 0 45058 152 0 0 18 0 9 0 44211008 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216902 178483 2619 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867608 CPUtime=450.19
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15973 0 1 0 44929 90 0 0 25 0 9 0 44211009 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4127025776 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867608 CPUtime=1.53
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 161992 0 0 0 94 59 0 0 16 0 9 0 44211010 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867608 CPUtime=0.34
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 452.1
Current children cumulated vsize (KiB) 867608

[startup+457.503 s]
/proc/loadavg: 2.11 2.15 2.07 3/91 19118
/proc/meminfo: memFree=608272/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867608 CPUtime=455.3
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 179434 0 1 0 45378 152 0 0 18 0 9 0 44211008 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216902 178483 2619 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867608 CPUtime=453.4
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15973 0 1 0 45249 91 0 0 25 0 9 0 44211009 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4126868208 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867608 CPUtime=1.53
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 161992 0 0 0 94 59 0 0 16 0 9 0 44211010 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867608 CPUtime=0.34
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 455.3
Current children cumulated vsize (KiB) 867608

[startup+459.103 s]
/proc/loadavg: 2.11 2.15 2.07 3/91 19118
/proc/meminfo: memFree=605840/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867608 CPUtime=456.89
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 179434 0 1 0 45537 152 0 0 18 0 9 0 44211008 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216902 178483 2619 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867608 CPUtime=454.99
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15973 0 1 0 45408 91 0 0 25 0 9 0 44211009 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4126870583 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867608 CPUtime=1.53
/proc/19061/task/19064/stat : 19064 (java) S 19059 19061 18763 0 -1 64 161992 0 0 0 94 59 0 0 16 0 9 0 44211010 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44211011 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867608 CPUtime=0.34
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867608 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888430592 178483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 456.89
Current children cumulated vsize (KiB) 867608

[startup+459.903 s]
/proc/loadavg: 2.11 2.15 2.07 4/91 19118
/proc/meminfo: memFree=602832/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=867696 CPUtime=457.69
/proc/19061/stat : 19061 (java) S 19059 19061 18763 0 -1 0 179470 0 1 0 45617 152 0 0 18 0 9 0 44211008 888520704 178516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 216924 178516 2640 9 0 211430 0
[pid=19061/tid=19063] ppid=19059 vsize=867696 CPUtime=455.56
/proc/19061/task/19063/stat : 19063 (java) R 19059 19061 18763 0 -1 64 15998 0 1 0 45465 91 0 0 25 0 9 0 44211009 888520704 178516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19064] ppid=19059 vsize=867696 CPUtime=1.76
/proc/19061/task/19064/stat : 19064 (java) R 19059 19061 18763 0 -1 64 162002 0 0 0 116 60 0 0 17 0 9 0 44211010 888520704 178516 996147200 134512640 134550740 4294955952 18446744073709551615 104182219 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19065] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19065/stat : 19065 (java) S 19059 19061 18763 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44211011 888520704 178516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19066] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19066/stat : 19066 (java) S 19059 19061 18763 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44211011 888520704 178516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19067] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19067/stat : 19067 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44211013 888520704 178516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19068] ppid=19059 vsize=867696 CPUtime=0.34
/proc/19061/task/19068/stat : 19068 (java) S 19059 19061 18763 0 -1 64 755 0 0 0 34 0 0 0 16 0 9 0 44211013 888520704 178516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19069] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19069/stat : 19069 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44211013 888520704 178516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19061/tid=19070] ppid=19059 vsize=867696 CPUtime=0
/proc/19061/task/19070/stat : 19070 (java) S 19059 19061 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44211013 888520704 178516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 457.69
Current children cumulated vsize (KiB) 867696

[startup+460.103 s]
/proc/loadavg: 2.11 2.15 2.07 4/91 19118
/proc/meminfo: memFree=602832/2055920 swapFree=4180348/4192956
[pid=19061] ppid=19059 vsize=0 CPUtime=457.88
/proc/19061/stat : 19061 (java) Z 19059 19061 18763 0 -1 12 184352 0 1 0 45625 163 0 0 16 0 2 0 44211008 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19061/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 457.88
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 460.125
CPU time (s): 457.915
CPU user time (s): 456.259
CPU system time (s): 1.65675
CPU usage (%): 99.5198
Max. virtual memory (cumulated for all children) (KiB): 867700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 456.259
system time used= 1.65675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184352
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= 11304
involuntary context switches= 17847

runsolver used 0.758884 second user time and 1.69574 second system time

The end

Launcher Data (download as text)

Begin job on node30 at 2008-07-12 17:04:53
IDJOB=1112887
IDBENCH=61491
IDSOLVER=359
FILE ID=node30/1112887-1215875093
PBS_JOBID= 7903545
Free space on /tmp= 66352 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp33/normalized-fapp33-0650-3.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-1112887-1215875093/watcher-1112887-1215875093 -o /tmp/evaluation-result-1112887-1215875093/solver-1112887-1215875093 -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-1112887-1215875093.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0a9f1ff1ab9407d2449a296e69817edc
RANDOM SEED=407929633

node30.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:       1558584 kB
Buffers:         51632 kB
Cached:         295964 kB
SwapCached:       6684 kB
Active:         376180 kB
Inactive:        74824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1558584 kB
SwapTotal:     4192956 kB
SwapFree:      4180348 kB
Dirty:          197892 kB
Writeback:           0 kB
Mapped:         120196 kB
Slab:            31392 kB
Committed_AS:   369644 kB
PageTables:       2028 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= 66100 MiB
End job on node30 at 2008-07-12 17:12:33