Trace number 1112888

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? 475.987 477.474

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.04/0.46	
0.04/0.46	Abscon 112 (May, 2008)
0.20/0.66	
0.20/0.66	   configuration
0.20/0.66	     name=mrdac-ddeg.xml
0.29/0.74	   
0.29/0.74	   instance
0.29/0.74	     name=HOME/instance-1112888-1215875100.xml
0.29/0.78	   
0.29/0.78	   domains being loaded...
0.36/0.82	   
0.36/0.82	   variables being loaded...
0.46/0.95	     nbVariables=650  nbDomainTypes=11  minDomainSize=42  maxDomainSize=498  nbTotalValues=233788
0.46/0.95	       =>  wckTime=0.28  cpuTime=0.19  mem=14M679
0.46/0.95	   
0.46/0.95	   predicates being loaded...
0.57/1.01	   
0.57/1.01	   constraints being loaded...
10.47/10.97	   
10.47/10.97	   INFO : Stopping converting binary constraints (cpu=10.04, mem = 25M671)
12.46/12.97	     nbConstraints=8684  nbConvertedConstraints=223  nbConvertConstraintsChecks=36174056  nbExtensionStructures=215
12.46/12.97	     nbSharedExtensionStructures=23  nbConflictsStructures=727  nbSharedConflictsStructures=313
12.46/12.97	     nbUnbuiltConflictsStructures=3934  nbSharedBinaryRepresentations=146153  nbEvaluationManagers=4446
12.46/12.97	     nbSharedEvaluationManagers=4015  minDegree=3  maxDegree=62  minArity=2  maxArity=2
12.46/12.97	       =>  wckTime=12.301  cpuTime=11.85  mem=58M403
12.67/13.18	   
12.67/13.18	   solver LocalSearchSolver being built... 
12.76/13.23	       =>  wckTime=12.563  cpuTime=11.9  mem=27M816
12.86/13.39	
12.86/13.39	s SATISFIABLE
12.86/13.39	o 2373
12.96/13.49	o 2363
13.06/13.57	o 2357
13.16/13.63	o 2354
13.26/13.70	o 2348
13.26/13.77	o 2345
13.35/13.81	o 2340
13.35/13.88	o 2334
13.45/13.93	o 2324
13.45/13.98	o 2322
13.55/14.03	o 2318
13.65/14.16	o 2314
13.65/14.19	o 2306
13.76/14.22	o 2300
13.76/14.26	o 2295
13.76/14.29	o 2292
13.86/14.33	o 2290
13.86/14.37	o 2289
13.95/14.44	o 2283
13.95/14.45	o 2276
13.95/14.49	o 2275
14.05/14.53	o 2274
14.05/14.55	o 2273
14.05/14.58	o 2272
14.15/14.61	o 2263
14.15/14.65	o 2256
14.15/14.70	o 2251
14.25/14.74	o 2247
14.25/14.77	o 2244
14.35/14.81	o 2241
14.35/14.85	o 2238
14.45/14.90	o 2235
14.45/14.94	o 2233
14.55/15.02	o 2232
14.55/15.09	o 2226
14.65/15.14	o 2223
14.65/15.16	o 2220
14.75/15.28	o 2214
14.85/15.32	o 2208
14.85/15.37	o 2204
14.95/15.41	o 2200
14.95/15.45	o 2197
14.95/15.49	o 2194
15.04/15.53	o 2192
15.04/15.57	o 2191
15.14/15.62	o 2184
15.14/15.65	o 2183
15.14/15.68	o 2178
15.24/15.70	o 2177
15.24/15.72	o 2176
15.24/15.75	o 2175
15.24/15.78	o 2173
15.34/15.81	o 2166
15.34/15.85	o 2160
15.34/15.88	o 2154
15.44/15.93	o 2152
15.44/15.98	o 2150
15.54/16.00	o 2146
15.54/16.03	o 2143
15.54/16.05	o 2140
15.54/16.10	o 2137
15.64/16.12	o 2136
15.64/16.14	o 2133
15.64/16.15	o 2131
15.64/16.17	o 2129
15.74/16.20	o 2127
15.74/16.22	o 2126
15.74/16.26	o 2125
15.74/16.28	o 2124
15.84/16.31	o 2123
15.84/16.39	o 2116
15.95/16.42	o 2112
15.95/16.46	o 2109
15.95/16.50	o 2102
16.05/16.54	o 2097
16.05/16.59	o 2094
16.15/16.62	o 2088
16.15/16.66	o 2086
16.15/16.69	o 2084
16.25/16.73	o 2083
16.25/16.77	o 2080
16.25/16.79	o 2073
16.34/16.83	o 2070
16.34/16.85	o 2064
16.34/16.88	o 2060
16.34/16.90	o 2055
16.44/16.93	o 2054
16.44/16.95	o 2051
16.44/16.98	o 2044
16.54/17.00	o 2040
16.54/17.02	o 2036
16.54/17.05	o 2033
16.54/17.08	o 2031
16.64/17.10	o 2029
16.64/17.12	o 2025
16.64/17.16	o 2021
16.64/17.20	o 2015
16.74/17.25	o 2012
16.74/17.26	o 2008
16.84/17.30	o 2006
16.84/17.32	o 2004
16.84/17.34	o 2001
16.84/17.38	o 1998
16.84/17.40	o 1996
16.94/17.41	o 1992
16.94/17.45	o 1986
16.94/17.49	o 1983
17.04/17.54	o 1977
17.04/17.58	o 1971
17.14/17.62	o 1966
17.14/17.66	o 1962
17.24/17.70	o 1957
17.24/17.74	o 1952
17.24/17.78	o 1949
17.34/17.81	o 1945
17.34/17.85	o 1942
17.34/17.89	o 1939
17.44/17.94	o 1931
17.44/17.99	o 1929
17.54/18.02	o 1927
17.54/18.06	o 1925
17.64/18.10	o 1920
17.64/18.13	o 1918
17.64/18.16	o 1917
17.64/18.18	o 1913
17.74/18.23	o 1912
17.74/18.25	o 1911
17.74/18.27	o 1910
17.74/18.30	o 1906
17.93/18.43	o 1904
17.93/18.45	o 1898
17.93/18.48	o 1896
18.03/18.50	o 1895
18.03/18.52	o 1889
18.03/18.54	o 1885
18.03/18.58	o 1878
18.03/18.60	o 1871
18.14/18.63	o 1866
18.14/18.66	o 1858
18.24/18.73	o 1853
18.24/18.76	o 1848
18.24/18.80	o 1846
18.33/18.83	o 1845
18.33/18.87	o 1844
18.43/18.91	o 1843
18.43/18.99	o 1841
18.53/19.03	o 1836
18.53/19.10	o 1834
18.63/19.16	o 1832
18.73/19.21	o 1829
18.83/19.39	o 1827
18.94/19.45	o 1822
19.04/19.50	o 1818
19.04/19.55	o 1816
19.04/19.59	o 1812
19.14/19.69	o 1809
19.24/19.74	o 1808
19.24/19.79	o 1807
19.34/19.89	o 1806
19.44/19.93	o 1805
19.44/19.98	o 1800
19.54/20.01	o 1799
19.54/20.05	o 1798
19.54/20.09	o 1796
19.64/20.18	o 1795
19.73/20.24	o 1788
19.73/20.28	o 1784
19.83/20.37	o 1782
19.93/20.42	o 1779
19.93/20.47	o 1776
19.93/20.50	o 1771
20.03/20.54	o 1765
20.03/20.58	o 1762
20.13/20.62	o 1757
20.13/20.66	o 1755
20.23/20.71	o 1750
20.23/20.76	o 1749
20.34/20.80	o 1747
20.34/20.85	o 1744
20.34/20.90	o 1743
20.44/20.94	o 1742
20.44/20.99	o 1736
20.53/21.03	o 1731
20.53/21.06	o 1729
20.63/21.11	o 1726
20.63/21.15	o 1718
20.73/21.21	o 1712
20.83/21.33	o 1711
20.83/21.39	o 1709
21.03/21.52	o 1705
21.13/21.64	o 1702
21.22/21.72	o 1700
21.22/21.80	o 1697
21.32/21.88	o 1695
21.53/22.03	o 1694
21.62/22.10	o 1689
21.62/22.18	o 1687
21.72/22.28	o 1686
21.82/22.33	o 1681
21.82/22.39	o 1678
21.92/22.43	o 1675
21.92/22.48	o 1671
22.02/22.54	o 1662
22.12/22.62	o 1659
22.12/22.67	o 1656
22.22/22.74	o 1653
22.32/22.83	o 1651
22.53/23.00	o 1647
22.53/23.09	o 1646
22.72/23.25	o 1642
22.72/23.29	o 1636
22.92/23.48	o 1633
23.02/23.53	o 1627
23.12/23.61	o 1625
23.22/23.70	o 1616
23.52/24.01	o 1610
23.72/24.23	o 1604
23.82/24.32	o 1600
23.82/24.39	o 1598
24.02/24.54	o 1597
24.12/24.60	o 1592
24.12/24.67	o 1589
24.22/24.73	o 1587
24.32/24.81	o 1585
24.32/24.88	o 1580
24.42/24.96	o 1578
24.52/25.03	o 1576
24.73/25.27	o 1572
24.83/25.34	o 1568
24.93/25.41	o 1564
24.93/25.49	o 1563
25.02/25.56	o 1559
25.12/25.63	o 1557
25.12/25.69	o 1556
25.22/25.77	o 1555
25.32/25.84	o 1552
25.42/25.98	o 1550
25.52/26.06	o 1541
25.62/26.12	o 1536
25.62/26.19	o 1533
25.72/26.25	o 1531
25.83/26.32	o 1528
25.93/26.44	o 1527
26.02/26.57	o 1525
26.12/26.62	o 1522
26.12/26.67	o 1519
26.22/26.74	o 1518
26.32/26.89	o 1515
26.42/26.95	o 1514
26.52/27.04	o 1511
26.62/27.12	o 1510
26.62/27.18	o 1507
26.72/27.26	o 1500
26.82/27.33	o 1499
26.93/27.47	o 1498
27.02/27.55	o 1495
27.12/27.63	o 1492
27.22/27.72	o 1488
27.22/27.79	o 1487
27.32/27.87	o 1479
27.42/27.95	o 1477
27.52/28.04	o 1474
27.62/28.11	o 1472
27.62/28.18	o 1470
27.71/28.26	o 1469
27.91/28.41	o 1467
27.91/28.48	o 1465
28.13/28.65	o 1460
28.22/28.73	o 1458
29.42/29.91	o 1454
29.92/30.44	o 1453
30.02/30.52	o 1448
30.22/30.80	o 1446
30.41/30.90	o 1443
30.51/31.07	o 1441
30.61/31.16	o 1440
31.01/31.59	o 1438
31.21/31.76	o 1436
31.42/31.92	o 1431
31.51/32.07	o 1428
31.71/32.24	o 1424
31.81/32.34	o 1421
32.11/32.61	o 1417
32.11/32.69	o 1416
32.61/33.12	o 1411
32.61/33.19	o 1408
32.71/33.26	o 1404
32.81/33.37	o 1401
32.91/33.45	o 1400
33.01/33.53	o 1397
33.11/33.61	o 1394
33.11/33.69	o 1393
33.21/33.79	o 1389
33.31/33.88	o 1388
33.41/33.98	o 1384
33.51/34.06	o 1383
33.61/34.15	o 1382
33.71/34.24	o 1378
33.91/34.43	o 1375
34.01/34.53	o 1372
34.11/34.61	o 1367
34.21/34.71	o 1364
34.31/34.81	o 1360
34.41/34.91	o 1355
34.52/35.08	o 1352
34.62/35.16	o 1351
35.02/35.59	o 1349
35.12/35.67	o 1345
35.32/35.82	o 1343
35.52/36.00	o 1342
35.61/36.16	o 1341
35.72/36.25	o 1335
35.82/36.34	o 1334
35.91/36.42	o 1332
35.91/36.49	o 1331
36.11/36.69	o 1328
36.21/36.78	o 1322
36.41/36.93	o 1319
36.61/37.10	o 1317
36.71/37.25	o 1314
36.82/37.34	o 1312
36.92/37.41	o 1310
36.92/37.49	o 1309
37.01/37.56	o 1308
37.21/37.71	o 1307
37.21/37.79	o 1305
37.31/37.88	o 1303
37.41/37.96	o 1297
37.51/38.04	o 1294
37.61/38.13	o 1292
37.81/38.31	o 1288
37.91/38.48	o 1285
38.01/38.56	o 1284
38.11/38.65	o 1282
38.21/38.75	o 1279
38.41/38.93	o 1278
38.51/39.01	o 1272
38.61/39.11	o 1270
38.61/39.16	o 1265
38.91/39.44	o 1264
39.01/39.50	o 1261
39.21/39.74	o 1257
39.21/39.79	o 1256
39.31/39.89	o 1253
39.51/40.00	o 1251
39.90/40.44	o 1248
40.00/40.55	o 1246
40.30/40.85	o 1239
40.40/40.94	o 1238
40.51/41.04	o 1237
40.61/41.13	o 1234
40.71/41.24	o 1230
40.81/41.34	o 1228
40.91/41.44	o 1227
41.01/41.53	o 1223
41.31/41.84	o 1220
41.51/42.01	o 1215
41.51/42.09	o 1211
41.61/42.18	o 1209
41.71/42.27	o 1203
42.01/42.54	o 1201
42.11/42.63	o 1200
42.21/42.72	o 1197
42.31/42.81	o 1194
42.41/42.91	o 1193
42.81/43.30	o 1191
42.91/43.41	o 1185
43.11/43.61	o 1181
43.21/43.79	o 1177
43.31/43.89	o 1173
43.61/44.19	o 1172
43.71/44.30	o 1171
43.91/44.40	o 1166
44.01/44.50	o 1164
44.21/44.71	o 1159
44.31/44.83	o 1155
44.41/44.93	o 1153
44.61/45.14	o 1152
44.71/45.24	o 1150
44.81/45.35	o 1144
44.91/45.46	o 1142
45.01/45.56	o 1141
45.11/45.66	o 1139
45.40/45.94	o 1132
45.50/46.03	o 1130
45.71/46.21	o 1127
45.80/46.30	o 1126
45.90/46.40	o 1124
46.20/46.79	o 1121
46.40/46.98	o 1119
46.50/47.09	o 1118
46.60/47.18	o 1115
46.80/47.39	o 1113
47.01/47.50	o 1112
47.11/47.60	o 1107
47.31/47.80	o 1103
47.41/47.90	o 1102
47.41/47.97	o 1100
47.51/48.07	o 1099
47.61/48.16	o 1097
47.71/48.24	o 1093
48.01/48.55	o 1090
48.41/48.97	o 1087
48.50/49.06	o 1085
48.60/49.15	o 1082
48.70/49.23	o 1078
48.70/49.29	o 1077
48.91/49.47	o 1075
49.01/49.55	o 1074
49.20/49.73	o 1071
49.30/49.81	o 1070
49.30/49.90	o 1068
49.40/49.97	o 1067
49.60/50.14	o 1066
49.70/50.22	o 1062
49.80/50.38	o 1060
49.90/50.45	o 1058
50.01/50.52	o 1054
50.01/50.59	o 1051
50.11/50.68	o 1049
50.30/50.84	o 1048
50.40/50.99	o 1045
50.50/51.08	o 1042
50.70/51.23	o 1041
50.80/51.30	o 1039
50.80/51.37	o 1034
50.90/51.44	o 1029
51.00/51.51	o 1026
51.00/51.58	o 1025
51.11/51.64	o 1024
51.40/51.94	o 1023
51.50/52.08	o 1022
51.60/52.16	o 1020
51.70/52.24	o 1016
51.80/52.30	o 1015
51.80/52.37	o 1014
52.10/52.65	o 1013
52.20/52.72	o 1011
52.20/52.80	o 1010
52.40/52.96	o 1007
52.60/53.12	o 1006
52.60/53.18	o 1000
52.70/53.25	o 997
52.80/53.32	o 995
52.80/53.39	o 988
52.89/53.47	o 983
52.99/53.55	o 980
53.20/53.72	o 978
53.31/53.81	o 977
53.31/53.90	o 972
53.41/54.00	o 968
53.60/54.18	o 966
54.20/54.71	o 964
54.20/54.76	o 959
54.30/54.84	o 956
54.51/55.01	o 955
54.51/55.10	o 954
54.60/55.19	o 949
54.80/55.37	o 947
54.90/55.46	o 943
55.10/55.64	o 941
55.20/55.73	o 940
55.30/55.83	o 938
55.40/55.94	o 937
55.60/56.13	o 934
55.90/56.42	o 932
56.00/56.50	o 929
56.00/56.59	o 927
56.30/56.84	o 925
56.50/57.02	o 922
56.70/57.30	o 919
56.90/57.40	o 917
57.00/57.51	o 916
57.00/57.56	o 915
57.10/57.68	o 913
57.20/57.77	o 911
57.99/58.58	o 910
58.09/58.68	o 907
58.19/58.78	o 906
58.29/58.88	o 905
58.39/58.98	o 903
58.49/59.08	o 899
58.60/59.17	o 897
58.80/59.37	o 896
58.90/59.44	o 894
59.20/59.73	o 892
59.40/59.91	o 889
59.50/60.01	o 885
59.70/60.21	o 880
59.80/60.31	o 879
59.90/60.42	o 876
60.10/60.64	o 874
60.20/60.74	o 871
60.30/60.86	o 868
60.40/60.95	o 867
60.50/61.04	o 863
61.10/61.61	o 862
61.20/61.71	o 859
61.30/61.82	o 858
61.50/62.04	o 857
61.90/62.47	o 854
61.99/62.56	o 852
62.10/62.65	o 850
62.20/62.76	o 847
62.29/62.87	o 845
62.99/63.58	o 843
63.20/63.77	o 838
63.30/63.86	o 837
63.79/64.33	o 836
63.99/64.54	o 835
64.09/64.63	o 834
64.19/64.73	o 833
64.49/65.03	o 830
64.80/65.37	o 826
64.90/65.48	o 825
65.00/65.58	o 823
65.10/65.68	o 820
65.50/66.04	o 819
65.70/66.29	o 818
65.90/66.41	o 817
66.50/67.02	o 816
66.60/67.15	o 815
66.70/67.27	o 814
66.80/67.39	o 813
67.00/67.52	o 811
67.10/67.64	o 810
67.29/67.88	o 808
68.19/68.80	o 806
68.39/68.90	o 805
68.89/69.44	o 804
68.99/69.55	o 802
69.09/69.65	o 800
69.19/69.76	o 796
69.59/70.18	o 794
70.09/70.61	o 793
70.49/71.02	o 790
70.59/71.12	o 789
70.69/71.24	o 787
70.79/71.34	o 784
70.89/71.45	o 782
70.99/71.58	o 779
71.09/71.69	o 777
71.39/71.92	o 776
71.49/72.04	o 772
71.59/72.17	o 770
72.09/72.65	o 768
72.19/72.77	o 765
72.29/72.88	o 761
72.38/72.99	o 758
72.58/73.10	o 756
72.68/73.21	o 753
72.78/73.32	o 751
72.98/73.54	o 749
73.09/73.65	o 748
73.19/73.77	o 747
73.68/74.29	o 745
73.88/74.40	o 742
73.98/74.53	o 740
74.08/74.62	o 738
74.38/74.92	o 737
74.48/75.05	o 736
74.68/75.24	o 735
74.78/75.35	o 731
74.88/75.42	o 729
74.98/75.52	o 723
75.08/75.66	o 722
75.18/75.75	o 721
75.39/75.95	o 719
75.49/76.05	o 717
75.69/76.26	o 716
75.99/76.51	o 713
76.09/76.61	o 712
76.29/76.83	o 711
76.39/76.94	o 710
76.99/77.54	o 709
77.09/77.67	o 700
77.39/77.94	o 698
77.49/78.08	o 697
77.69/78.22	o 696
77.79/78.36	o 695
78.19/78.74	o 692
78.19/78.76	o 691
78.39/78.90	o 689
78.49/79.03	o 687
80.38/80.91	o 686
80.58/81.19	o 681
80.78/81.33	o 679
81.08/81.61	o 675
81.28/81.88	o 674
81.38/81.99	o 672
81.58/82.19	o 671
81.78/82.34	o 668
81.88/82.50	o 666
82.08/82.64	o 665
82.18/82.73	o 664
82.28/82.88	o 662
82.89/83.44	o 656
82.99/83.53	o 650
83.48/84.05	o 645
83.98/84.57	o 643
84.58/85.12	o 642
84.68/85.27	o 639
84.88/85.41	o 638
84.98/85.55	o 636
85.68/86.28	o 634
85.88/86.40	o 633
85.98/86.53	o 632
86.18/86.76	o 631
86.29/86.85	o 627
86.38/86.99	o 626
86.58/87.12	o 622
86.68/87.23	o 620
88.58/89.13	o 619
88.98/89.53	o 618
89.28/89.84	o 616
89.48/90.00	o 614
89.58/90.12	o 611
89.68/90.26	o 610
89.87/90.41	o 608
90.17/90.71	o 607
90.27/90.83	o 605
90.37/90.98	o 604
91.78/92.38	o 603
91.97/92.54	o 602
92.57/93.13	o 600
92.67/93.29	o 599
92.88/93.43	o 598
92.98/93.55	o 595
95.67/96.22	o 593
96.77/97.37	o 591
96.97/97.55	o 590
97.17/97.73	o 589
97.87/98.45	o 588
99.48/100.05	o 586
99.68/100.24	o 585
99.98/100.53	o 584
100.18/100.70	o 582
100.28/100.88	o 581
105.97/106.52	o 580
110.07/110.64	o 569
111.67/112.29	o 568
111.87/112.47	o 565
112.07/112.65	o 564
112.67/113.21	o 563
112.87/113.40	o 562
113.16/113.78	o 561
113.26/113.87	o 560
117.87/118.40	o 556
118.17/118.80	o 555
118.57/119.19	o 553
118.87/119.40	o 552
119.07/119.61	o 551
119.27/119.82	o 550
119.37/119.98	o 549
119.57/120.18	o 546
120.37/120.96	o 545
120.77/121.37	o 543
122.06/122.63	o 540
122.46/123.07	o 537
122.86/123.43	o 531
124.96/125.58	o 530
125.16/125.71	o 529
125.56/126.13	o 527
125.97/126.54	o 526
126.06/126.66	o 525
126.66/127.23	o 523
127.66/128.20	o 519
127.76/128.39	o 517
127.97/128.58	o 516
128.37/128.96	o 515
128.47/129.09	o 514
128.66/129.27	o 513
131.06/131.68	o 512
138.26/138.85	o 511
138.46/139.05	o 503
138.96/139.55	o 501
139.16/139.73	o 500
139.45/140.00	o 498
140.16/140.72	o 497
140.35/140.91	o 496
140.65/141.28	o 495
141.56/142.19	o 493
142.16/142.71	o 492
142.36/142.91	o 491
142.46/143.04	o 489
143.36/143.93	o 488
144.45/145.01	o 487
144.66/145.22	o 486
144.85/145.41	o 485
145.05/145.61	o 484
145.25/145.81	o 483
146.25/146.85	o 481
146.35/146.95	o 480
146.55/147.14	o 479
146.76/147.34	o 475
146.86/147.48	o 472
147.86/148.47	o 471
148.05/148.69	o 470
148.35/148.91	o 469
148.55/149.13	o 468
149.85/150.43	o 464
150.25/150.87	o 463
150.75/151.32	o 462
151.85/152.42	o 461
152.25/152.87	o 460
155.95/156.53	o 459
156.14/156.75	o 457
156.84/157.41	o 456
157.04/157.64	o 455
157.14/157.72	o 454
158.85/159.42	o 453
159.25/159.87	o 452
159.45/160.09	o 451
160.15/160.78	o 450
160.35/160.94	o 449
160.75/161.39	o 448
162.65/163.27	o 446
162.85/163.50	o 445
163.55/164.17	o 444
164.55/165.16	o 443
166.55/167.13	o 442
167.54/168.13	o 439
168.04/168.61	o 437
168.54/169.10	o 436
169.14/169.71	o 435
169.54/170.19	o 434
189.54/190.12	o 428
189.74/190.37	o 427
191.24/191.82	o 426
191.44/192.06	o 424
191.53/192.16	o 422
192.23/192.87	o 421
192.73/193.35	o 419
193.33/193.96	o 418
197.13/197.78	o 417
197.64/198.27	o 416
197.84/198.43	o 415
198.04/198.67	o 414
200.34/200.95	o 413
200.54/201.19	o 411
200.83/201.43	o 409
201.03/201.67	o 408
201.33/201.91	o 404
201.74/202.39	o 403
210.13/210.75	o 402
210.63/211.26	o 401
211.93/212.51	o 399
212.03/212.65	o 397
212.23/212.82	o 395
214.62/215.29	o 394
215.32/215.98	o 393
215.73/216.35	o 392
216.13/216.72	o 390
219.03/219.70	o 388
219.23/219.88	o 384
219.33/220.00	o 383
219.83/220.45	o 381
220.33/220.92	o 380
220.53/221.16	o 379
220.92/221.58	o 377
231.32/231.92	o 376
231.52/232.17	o 375
231.82/232.44	o 374
232.02/232.69	o 373
232.32/232.94	o 372
232.52/233.20	o 368
233.32/233.95	o 363
233.62/234.21	o 361
234.32/234.99	o 359
234.62/235.24	o 358
234.92/235.50	o 356
235.12/235.77	o 355
237.61/238.27	o 349
238.91/239.53	o 348
239.61/240.29	o 347
256.21/256.82	o 346
256.41/257.06	o 342
256.82/257.46	o 341
257.11/257.70	o 340
257.31/257.94	o 339
257.71/258.40	o 338
258.71/259.35	o 337
258.91/259.57	o 336
259.22/259.80	o 335
259.32/259.95	o 333
260.22/260.86	o 331
260.61/261.25	o 330
260.81/261.47	o 329
261.12/261.71	o 326
261.51/262.16	o 323
262.22/262.89	o 322
263.81/264.40	o 321
264.01/264.64	o 320
264.11/264.78	o 318
265.71/266.30	o 317
266.11/266.78	o 316
266.61/267.28	o 315
266.91/267.52	o 314
267.51/268.15	o 312
267.71/268.40	o 311
270.31/270.99	o 308
273.50/274.12	o 307
276.40/277.09	o 305
276.70/277.38	o 302
277.00/277.66	o 300
277.61/278.21	o 299
278.10/278.79	o 298
278.40/279.01	o 297
278.60/279.30	o 296
285.10/285.74	o 294
285.30/285.99	o 292
285.60/286.23	o 289
287.20/287.85	o 286
288.20/288.85	o 285
289.30/289.94	o 284
289.40/290.06	o 283
315.99/316.62	o 282
316.19/316.89	o 279
316.29/316.98	o 278
316.59/317.24	o 275
316.79/317.47	o 272
317.29/318.00	o 269
317.79/318.45	o 268
318.49/319.19	o 267
325.78/326.41	o 266
325.88/326.59	o 264
326.18/326.87	o 263
326.48/327.14	o 262
326.58/327.29	o 260
329.69/330.39	o 259
329.99/330.65	o 257
330.29/330.92	o 254
330.29/330.97	o 252
331.19/331.86	o 250
338.37/339.01	o 248
339.67/340.30	o 247
339.87/340.59	o 246
340.67/341.38	o 243
341.27/341.94	o 242
341.57/342.22	o 241
341.87/342.51	o 240
341.97/342.67	o 239
342.57/343.24	o 238
343.06/343.72	o 237
345.56/346.30	o 235
345.87/346.58	o 231
346.56/347.29	o 230
346.86/347.57	o 229
347.16/347.84	o 228
347.36/348.01	o 227
348.06/348.78	o 225
348.37/349.05	o 224
349.66/350.34	o 222
349.86/350.59	o 221
352.54/353.21	o 219
353.73/354.44	o 218
353.93/354.69	o 217
358.21/358.96	o 216
358.51/359.22	o 215
359.90/360.65	o 213
388.26/389.14	o 211
418.40/419.49	   
418.40/419.49	   search
418.40/419.49	     run=0  nbConstraintChecks=1010242725  nbAssignments=2389
418.40/419.49	       =>  wckTime=406.264  cpuTime=405.68  mem=27M816
418.40/419.49	   
418.40/419.50	   global
418.40/419.50	     nbConstraintChecks=1010242725  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
418.40/419.50	     solvingWckTime=406.26  solvingCpuTime=405.67  expiredTime=no  totalExploration=no  nbFoundSolutions=0
418.40/419.50	     globalCpuTime=417.6
418.40/419.50	       =>  wckTime=418.828  cpuTime=417.57  mem=27M816
418.40/419.50	   
418.40/419.50	   solver DecomposerSolver being built... 
420.40/421.41	       =>  wckTime=420.74  cpuTime=418.22  mem=666M161
475.45/476.96	   
475.45/476.96	   preprocessing
475.45/476.96	     nbConstraintChecks=165442990  nbValidityChecks=454102  nbPropagations=657  nbRevisions=15650
475.45/476.96	     nbUselessRevisions=15588  nbRemovedValues=5460  detectedInconsistency=no
475.45/476.96	       =>  wckTime=55.549  cpuTime=55.08  mem=667M136
475.84/477.32	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-1112888-1215875100/watcher-1112888-1215875100 -o /tmp/evaluation-result-1112888-1215875100/solver-1112888-1215875100 -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-1112888-1215875100.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

[startup+0 s]
/proc/loadavg: 3.11 3.01 2.78 3/80 18540
/proc/meminfo: memFree=1752800/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=18572 CPUtime=0
/proc/18540/stat : 18540 (runsolver) R 18538 16990 16990 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 1 0 44084458 19017728 290 996147200 4194304 4296836 548682068336 18446744073709551615 233586097650 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18540/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.018587 s]
/proc/loadavg: 3.11 3.01 2.78 3/80 18540
/proc/meminfo: memFree=1752800/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=152 CPUtime=0
/proc/18540/stat : 18540 (java) R 18538 18540 16990 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 44084458 155648 26 996147200 134512640 134550740 4294956128 18446744073709551615 10686763 0 0 4096 0 0 0 0 17 0 0 0
/proc/18540/statm: 38 26 19 9 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152

[startup+0.161689 s]
/proc/loadavg: 3.11 3.01 2.78 3/80 18540
/proc/meminfo: memFree=1752800/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=10336 CPUtime=0.01
/proc/18540/stat : 18540 (java) R 18538 18540 16990 0 -1 0 554 0 0 0 0 1 0 0 18 0 1 0 44084458 10584064 357 996147200 134512640 134550740 4294955952 18446744073709551615 10658602 0 0 4096 0 0 0 0 17 1 0 0
/proc/18540/statm: 2584 364 146 9 0 1102 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10336

[startup+0.301186 s]
/proc/loadavg: 3.11 3.01 2.78 3/80 18540
/proc/meminfo: memFree=1752800/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=10984 CPUtime=0.01
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 858 0 1 0 0 1 0 0 18 0 2 0 44084458 11247616 610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 2746 610 314 9 0 1198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10984

[startup+0.701225 s]
/proc/loadavg: 3.11 3.01 2.78 3/80 18540
/proc/meminfo: memFree=1752800/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=866284 CPUtime=0.29
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 5648 0 1 0 26 3 0 0 18 0 9 0 44084458 887074816 5064 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216571 5064 1904 9 0 211119 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284

[startup+1.50231 s]
/proc/loadavg: 3.11 3.01 2.78 3/89 18549
/proc/meminfo: memFree=1726552/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867628 CPUtime=1.07
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 14607 0 1 0 97 10 0 0 18 0 9 0 44084458 888451072 13967 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216907 13967 2012 9 0 211413 0
[pid=18540/tid=18542] ppid=18538 vsize=867628 CPUtime=0.87
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 13279 0 1 0 79 8 0 0 23 0 9 0 44084475 888451072 13968 996147200 134512640 134550740 4294955952 18446744073709551615 4126735688 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867628 CPUtime=0
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44084494 888451072 13969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867628 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 44084494 888451072 13969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867628 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 44084494 888451072 13970 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867628 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888451072 13970 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867628 CPUtime=0.16
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 632 0 0 0 16 0 0 0 16 0 9 0 44084500 888451072 13971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867628 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888451072 13972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867628 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888451072 13972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 867628

[startup+3.10247 s]
/proc/loadavg: 3.11 3.01 2.78 3/89 18549
/proc/meminfo: memFree=1694680/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867644 CPUtime=2.66
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 19865 0 1 0 254 12 0 0 18 0 9 0 44084458 888467456 19198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216911 19198 2005 9 0 211439 0
[pid=18540/tid=18542] ppid=18538 vsize=867644 CPUtime=2.36
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15801 0 1 0 226 10 0 0 25 0 9 0 44084475 888467456 19198 996147200 134512640 134550740 4294955952 18446744073709551615 4126867511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867644 CPUtime=0.07
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 2713 0 0 0 7 0 0 0 16 0 9 0 44084494 888467456 19198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888467456 19198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44084494 888467456 19198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888467456 19198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867644 CPUtime=0.19
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 655 0 0 0 19 0 0 0 16 0 9 0 44084500 888467456 19198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888467456 19198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888467456 19198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 867644

[startup+6.3018 s]
/proc/loadavg: 3.10 3.01 2.78 3/89 18549
/proc/meminfo: memFree=1682136/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867644 CPUtime=5.86
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 19884 0 1 0 573 13 0 0 18 0 9 0 44084458 888467456 19215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216911 19215 2005 9 0 211439 0
[pid=18540/tid=18542] ppid=18538 vsize=867644 CPUtime=5.54
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15803 0 1 0 544 10 0 0 25 0 9 0 44084475 888467456 19215 996147200 134512640 134550740 4294955952 18446744073709551615 4126871600 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867644 CPUtime=0.07
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 2713 0 0 0 7 0 0 0 16 0 9 0 44084494 888467456 19215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888467456 19215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44084494 888467456 19215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888467456 19215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867644 CPUtime=0.21
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 672 0 0 0 21 0 0 0 15 0 9 0 44084500 888467456 19215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888467456 19215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888467456 19215 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 867644

[startup+12.7025 s]
/proc/loadavg: 3.09 3.01 2.78 3/89 18549
/proc/meminfo: memFree=1670360/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867644 CPUtime=12.26
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 22967 0 1 0 1211 15 0 0 18 0 9 0 44084458 888467456 22294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216911 22294 2007 9 0 211439 0
[pid=18540/tid=18542] ppid=18538 vsize=867644 CPUtime=11.8
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15815 0 1 0 1169 11 0 0 25 0 9 0 44084475 888467456 22294 996147200 134512640 134550740 4294955952 18446744073709551615 102064961 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867644 CPUtime=0.17
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 5753 0 0 0 15 2 0 0 17 0 9 0 44084494 888467456 22294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888467456 22294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44084494 888467456 22294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888467456 22294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867644 CPUtime=0.26
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 703 0 0 0 26 0 0 0 15 0 9 0 44084500 888467456 22294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888467456 22294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867644 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888467456 22294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 867644

[startup+25.5017 s]
/proc/loadavg: 3.07 3.01 2.78 3/89 18549
/proc/meminfo: memFree=1659352/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867700 CPUtime=25.02
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 26614 0 1 0 2482 20 0 0 18 0 9 0 44084458 888524800 25747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216925 25747 2640 9 0 211431 0
[pid=18540/tid=18542] ppid=18538 vsize=867700 CPUtime=24.31
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15880 0 1 0 2417 14 0 0 25 0 9 0 44084475 888524800 25747 996147200 134512640 134550740 4294955952 18446744073709551615 4126863784 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867700 CPUtime=0.37
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 9313 0 0 0 34 3 0 0 16 0 9 0 44084494 888524800 25747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867700 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888524800 25747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867700 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44084494 888524800 25747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867700 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888524800 25747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867700 CPUtime=0.3
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 725 0 0 0 30 0 0 0 16 0 9 0 44084500 888524800 25747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867700 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888524800 25747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867700 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888524800 25747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 867700

[startup+51.1013 s]
/proc/loadavg: 3.05 3.01 2.79 3/89 18549
/proc/meminfo: memFree=1659416/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867700 CPUtime=50.6
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 26616 0 1 0 5036 24 0 0 18 0 9 0 44084458 888524800 25748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216925 25748 2640 9 0 211431 0
[pid=18540/tid=18542] ppid=18538 vsize=867700 CPUtime=49.89
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15881 0 1 0 4971 18 0 0 25 0 9 0 44084475 888524800 25748 996147200 134512640 134550740 4294955952 18446744073709551615 4126868983 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867700 CPUtime=0.37
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 9313 0 0 0 34 3 0 0 16 0 9 0 44084494 888524800 25748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867700 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888524800 25748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867700 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44084494 888524800 25748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867700 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888524800 25748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867700 CPUtime=0.3
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 726 0 0 0 30 0 0 0 17 0 9 0 44084500 888524800 25748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867700 CPUtime=0

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

/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867612 CPUtime=0.36
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 757 0 0 0 36 0 0 0 16 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.99
Current children cumulated vsize (KiB) 867612

Solver just ended. Dumping a history of the last processes samples

[startup+467.102 s]
/proc/loadavg: 2.13 2.51 2.63 3/91 18600
/proc/meminfo: memFree=988168/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867612 CPUtime=465.75
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 179286 0 1 0 46468 107 0 0 18 0 9 0 44084458 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216903 178336 2619 9 0 211431 0
[pid=18540/tid=18542] ppid=18538 vsize=867612 CPUtime=463.74
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15970 0 1 0 46333 41 0 0 25 0 9 0 44084475 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4126869103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867612 CPUtime=1.61
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 161845 0 0 0 98 63 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867612 CPUtime=0.36
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 757 0 0 0 36 0 0 0 16 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 465.75
Current children cumulated vsize (KiB) 867612

[startup+473.502 s]
/proc/loadavg: 2.12 2.50 2.63 3/91 18600
/proc/meminfo: memFree=977544/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867612 CPUtime=472.09
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 179286 0 1 0 47102 107 0 0 18 0 9 0 44084458 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216903 178336 2619 9 0 211431 0
[pid=18540/tid=18542] ppid=18538 vsize=867612 CPUtime=470.08
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15970 0 1 0 46967 41 0 0 25 0 9 0 44084475 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4126870455 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867612 CPUtime=1.61
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 161845 0 0 0 98 63 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867612 CPUtime=0.36
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 757 0 0 0 36 0 0 0 16 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 472.09
Current children cumulated vsize (KiB) 867612

[startup+475.102 s]
/proc/loadavg: 2.11 2.49 2.63 4/91 18600
/proc/meminfo: memFree=974408/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867612 CPUtime=473.67
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 179286 0 1 0 47260 107 0 0 18 0 9 0 44084458 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216903 178336 2619 9 0 211431 0
[pid=18540/tid=18542] ppid=18538 vsize=867612 CPUtime=471.66
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15970 0 1 0 47125 41 0 0 25 0 9 0 44084475 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4126871108 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867612 CPUtime=1.61
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 161845 0 0 0 98 63 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867612 CPUtime=0.36
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 757 0 0 0 36 0 0 0 16 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 473.67
Current children cumulated vsize (KiB) 867612

[startup+476.702 s]
/proc/loadavg: 2.11 2.49 2.63 3/91 18600
/proc/meminfo: memFree=972744/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867612 CPUtime=475.25
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 179286 0 1 0 47418 107 0 0 18 0 9 0 44084458 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216903 178336 2619 9 0 211431 0
[pid=18540/tid=18542] ppid=18538 vsize=867612 CPUtime=473.24
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15970 0 1 0 47283 41 0 0 25 0 9 0 44084475 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4126871607 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867612 CPUtime=1.61
/proc/18540/task/18543/stat : 18543 (java) S 18538 18540 16990 0 -1 64 161845 0 0 0 98 63 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867612 CPUtime=0.36
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 757 0 0 0 36 0 0 0 16 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 475.25
Current children cumulated vsize (KiB) 867612

[startup+477.102 s]
/proc/loadavg: 2.11 2.49 2.63 3/91 18600
/proc/meminfo: memFree=972744/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867612 CPUtime=475.65
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 179289 0 1 0 47458 107 0 0 18 0 9 0 44084458 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216903 178336 2618 9 0 211431 0
[pid=18540/tid=18542] ppid=18538 vsize=867612 CPUtime=473.51
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15972 0 1 0 47310 41 0 0 25 0 9 0 44084475 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867612 CPUtime=1.74
/proc/18540/task/18543/stat : 18543 (java) R 18538 18540 16990 0 -1 64 161846 0 0 0 111 63 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44084494 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867612 CPUtime=0.36
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 757 0 0 0 36 0 0 0 16 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) S 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888434688 178336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 475.65
Current children cumulated vsize (KiB) 867612

[startup+477.302 s]
/proc/loadavg: 2.11 2.49 2.63 4/91 18600
/proc/meminfo: memFree=960904/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=867612 CPUtime=475.84
/proc/18540/stat : 18540 (java) S 18538 18540 16990 0 -1 0 181838 0 1 0 47477 107 0 0 18 0 9 0 44084458 888434688 180885 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 216903 180885 2618 9 0 211431 0
[pid=18540/tid=18542] ppid=18538 vsize=867612 CPUtime=473.51
/proc/18540/task/18542/stat : 18542 (java) R 18538 18540 16990 0 -1 64 15972 0 1 0 47310 41 0 0 25 0 9 0 44084475 888434688 180885 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18543] ppid=18538 vsize=867612 CPUtime=1.94
/proc/18540/task/18543/stat : 18543 (java) R 18538 18540 16990 0 -1 64 164395 0 0 0 130 64 0 0 16 0 9 0 44084494 888434688 180885 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18544] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18544/stat : 18544 (java) S 18538 18540 16990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44084494 888434688 180885 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18545] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18545/stat : 18545 (java) S 18538 18540 16990 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44084494 888434688 180885 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18546] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18546/stat : 18546 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44084500 888434688 180885 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18547] ppid=18538 vsize=867612 CPUtime=0.36
/proc/18540/task/18547/stat : 18547 (java) S 18538 18540 16990 0 -1 64 757 0 0 0 36 0 0 0 16 0 9 0 44084500 888434688 180885 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18548] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18548/stat : 18548 (java) S 18538 18540 16990 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44084500 888434688 180885 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18540/tid=18549] ppid=18538 vsize=867612 CPUtime=0
/proc/18540/task/18549/stat : 18549 (java) R 18538 18540 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44084500 888434688 180885 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 475.84
Current children cumulated vsize (KiB) 867612

[startup+477.407 s]
/proc/loadavg: 2.11 2.49 2.63 4/91 18600
/proc/meminfo: memFree=960904/2055920 swapFree=4178780/4192956
[pid=18540] ppid=18538 vsize=0 CPUtime=475.91
/proc/18540/stat : 18540 (java) Z 18538 18540 16990 0 -1 12 184298 0 1 0 47478 113 0 0 16 0 2 0 44084458 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18540/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 475.91
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 477.474
CPU time (s): 475.987
CPU user time (s): 474.785
CPU system time (s): 1.20182
CPU usage (%): 99.6886
Max. virtual memory (cumulated for all children) (KiB): 867732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 474.785
system time used= 1.20182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184298
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= 11887
involuntary context switches= 16482

runsolver used 0.603908 second user time and 1.69274 second system time

The end

Launcher Data (download as text)

Begin job on node27 at 2008-07-12 17:05:00
IDJOB=1112888
IDBENCH=61491
IDSOLVER=360
FILE ID=node27/1112888-1215875100
PBS_JOBID= 7903476
Free space on /tmp= 66460 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0a9f1ff1ab9407d2449a296e69817edc
RANDOM SEED=1280599366

node27.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		: 2800.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	: 5521.40
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		: 2800.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:       1753536 kB
Buffers:          3060 kB
Cached:          35984 kB
SwapCached:       7128 kB
Active:         239140 kB
Inactive:         5076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1753536 kB
SwapTotal:     4192956 kB
SwapFree:      4178780 kB
Dirty:            3776 kB
Writeback:           0 kB
Mapped:         221456 kB
Slab:            43108 kB
Committed_AS:  1046312 kB
PageTables:       2128 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66456 MiB
End job on node27 at 2008-07-12 17:12:58