Trace number 1112930

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? 588.596 594.3

General information on the benchmark

Namecsp/fapp/fapp32/
normalized-fapp32-0550-1.xml
MD5SUM5b6f3d81a66e437062b2495198dba4e6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints52
Best CPU time to get the best result obtained on this benchmark3600.07
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of constraints9461
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9461
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.06/0.09	
0.06/0.09	Abscon 112 (May, 2008)
0.17/0.24	
0.17/0.25	   configuration
0.17/0.25	     name=mrdac-ddeg.xml
0.27/0.33	   
0.27/0.33	   instance
0.27/0.33	     name=HOME/instance-1112930-1215875652.xml
0.27/0.37	   
0.27/0.37	   domains being loaded...
0.37/0.45	   
0.37/0.45	   variables being loaded...
0.57/0.66	     nbVariables=550  nbDomainTypes=8  minDomainSize=98  maxDomainSize=998  nbTotalValues=448436
0.57/0.66	       =>  wckTime=0.406  cpuTime=0.31  mem=19M615
0.57/0.66	   
0.57/0.66	   predicates being loaded...
0.67/0.72	   
0.67/0.72	   constraints being loaded...
10.68/10.85	   
10.68/10.85	   INFO : Stopping converting binary constraints (cpu=10.27, mem = 33M27)
12.16/12.36	     nbConstraints=9461  nbConvertedConstraints=59  nbConvertConstraintsChecks=33369782  nbExtensionStructures=59
12.16/12.36	     nbSharedExtensionStructures=3  nbConflictsStructures=64  nbSharedConflictsStructures=4
12.16/12.36	     nbUnbuiltConflictsStructures=5492  nbSharedBinaryRepresentations=68608  nbEvaluationManagers=5497
12.16/12.36	     nbSharedEvaluationManagers=3905  minDegree=5  maxDegree=74  minArity=2  maxArity=2
12.16/12.36	       =>  wckTime=12.107  cpuTime=11.44  mem=34M745
12.36/12.54	   
12.36/12.54	   solver LocalSearchSolver being built... 
12.36/12.59	       =>  wckTime=12.336  cpuTime=11.49  mem=33M699
13.05/13.21	
13.05/13.21	s SATISFIABLE
13.05/13.21	o 2767
13.44/13.67	o 2755
13.84/14.06	o 2744
14.04/14.27	o 2739
14.24/14.45	o 2735
14.53/14.73	o 2727
14.73/14.94	o 2717
14.83/15.09	o 2708
15.04/15.25	o 2702
15.63/15.85	o 2696
15.73/15.98	o 2694
16.23/16.42	o 2688
16.33/16.53	o 2685
16.42/16.64	o 2683
16.52/16.74	o 2682
16.52/16.79	o 2680
16.71/16.90	o 2677
16.81/17.01	o 2675
16.81/17.09	o 2671
16.91/17.18	o 2670
17.21/17.40	o 2667
17.31/17.52	o 2664
17.41/17.64	o 2654
17.51/17.76	o 2653
18.00/18.28	o 2645
18.20/18.42	o 2640
18.30/18.56	o 2637
18.50/18.74	o 2634
18.69/18.92	o 2633
19.19/19.41	o 2632
19.49/19.80	o 2630
20.08/20.39	o 2623
20.28/20.51	o 2621
20.38/20.69	o 2615
20.68/20.91	o 2610
20.77/21.09	o 2609
20.97/21.24	o 2607
21.17/21.46	o 2602
21.37/21.61	o 2599
21.47/21.79	o 2594
21.77/22.04	o 2592
21.96/22.21	o 2586
22.06/22.36	o 2585
22.16/22.48	o 2583
22.76/23.01	o 2581
22.86/23.13	o 2578
22.95/23.22	o 2575
23.05/23.35	o 2572
23.15/23.49	o 2571
23.45/23.70	o 2570
23.85/24.11	o 2566
23.94/24.27	o 2558
24.23/24.52	o 2552
24.33/24.66	o 2547
24.43/24.78	o 2545
24.63/24.92	o 2543
24.74/25.08	o 2541
24.84/25.20	o 2540
25.04/25.34	o 2539
25.23/25.50	o 2537
25.33/25.69	o 2530
25.53/25.81	o 2520
25.63/25.96	o 2518
25.83/26.15	o 2515
25.93/26.24	o 2512
26.13/26.45	o 2507
26.32/26.62	o 2503
26.52/26.84	o 2496
26.72/27.03	o 2494
26.92/27.26	o 2486
27.12/27.46	o 2485
27.41/27.71	o 2480
27.61/27.94	o 2475
28.01/28.32	o 2469
28.20/28.54	o 2468
28.49/28.80	o 2459
28.69/29.09	o 2458
29.29/29.69	o 2453
29.58/29.95	o 2450
29.88/30.20	o 2448
30.67/31.04	o 2443
30.97/31.32	o 2437
31.47/31.89	o 2430
31.76/32.18	o 2421
32.16/32.57	o 2418
32.46/32.88	o 2408
32.85/33.22	o 2406
33.15/33.52	o 2403
33.45/33.81	o 2401
33.75/34.11	o 2396
34.04/34.46	o 2392
34.34/34.73	o 2389
34.63/35.00	o 2383
34.83/35.30	o 2381
35.12/35.59	o 2378
35.42/35.89	o 2376
35.72/36.15	o 2372
36.02/36.44	o 2363
36.41/36.81	o 2360
36.61/37.09	o 2359
37.01/37.42	o 2358
37.50/37.97	o 2356
38.39/38.84	o 2350
38.99/39.41	o 2347
39.19/39.65	o 2344
39.38/39.88	o 2341
39.88/40.38	o 2336
40.08/40.59	o 2331
40.37/40.80	o 2327
40.57/41.02	o 2323
40.97/41.46	o 2318
41.17/41.68	o 2317
41.46/41.93	o 2313
41.76/42.22	o 2305
41.96/42.42	o 2300
42.46/42.98	o 2296
42.75/43.27	o 2290
43.05/43.52	o 2289
43.55/44.05	o 2285
43.84/44.35	o 2283
44.14/44.61	o 2278
44.44/44.94	o 2277
44.65/45.20	o 2266
44.93/45.45	o 2261
45.43/45.95	o 2259
45.63/46.16	o 2252
45.83/46.36	o 2248
46.12/46.60	o 2241
46.32/46.83	o 2240
46.92/47.49	o 2235
47.21/47.71	o 2232
47.41/47.94	o 2230
47.61/48.17	o 2225
47.81/48.35	o 2224
48.01/48.54	o 2221
48.30/48.82	o 2216
48.50/49.06	o 2215
48.80/49.33	o 2213
49.00/49.58	o 2208
49.49/50.09	o 2207
50.09/50.61	o 2203
50.28/50.90	o 2201
50.58/51.19	o 2198
50.88/51.40	o 2192
51.08/51.67	o 2190
51.36/51.94	o 2184
51.56/52.18	o 2183
51.76/52.37	o 2179
52.06/52.63	o 2174
52.26/52.85	o 2169
52.45/53.08	o 2160
52.75/53.31	o 2157
52.85/53.48	o 2156
53.05/53.69	o 2155
53.54/54.13	o 2148
54.34/54.92	o 2142
54.54/55.18	o 2135
55.13/55.71	o 2130
55.33/55.96	o 2125
55.53/56.19	o 2118
55.82/56.47	o 2113
56.02/56.69	o 2110
56.72/57.37	o 2105
56.92/57.57	o 2104
57.22/57.81	o 2100
57.42/58.08	o 2098
57.62/58.29	o 2092
57.91/58.57	o 2088
58.21/58.84	o 2086
59.00/59.63	o 2082
59.30/59.90	o 2078
59.50/60.18	o 2077
59.80/60.43	o 2075
60.29/60.90	o 2074
60.79/61.42	o 2070
60.99/61.70	o 2065
61.98/62.64	o 2060
62.17/62.82	o 2053
62.36/63.00	o 2047
62.46/63.15	o 2042
62.56/63.29	o 2041
62.86/63.52	o 2035
63.06/63.72	o 2030
63.45/64.13	o 2028
63.65/64.37	o 2024
63.85/64.59	o 2016
64.35/65.07	o 2009
64.84/65.53	o 2006
65.04/65.70	o 2005
65.24/65.90	o 2000
65.34/66.05	o 1995
65.53/66.23	o 1993
65.73/66.44	o 1985
65.93/66.65	o 1979
66.13/66.85	o 1975
66.33/67.08	o 1967
66.52/67.28	o 1965
66.72/67.48	o 1961
66.92/67.67	o 1958
67.12/67.88	o 1953
67.32/68.07	o 1948
67.52/68.25	o 1947
67.71/68.43	o 1945
68.10/68.82	o 1938
68.30/69.05	o 1936
68.40/69.19	o 1931
68.70/69.41	o 1925
68.89/69.61	o 1924
69.09/69.80	o 1921
69.29/70.01	o 1914
69.49/70.21	o 1909
69.69/70.40	o 1906
69.79/70.59	o 1900
69.98/70.79	o 1899
70.88/71.61	o 1892
71.57/72.38	o 1889
71.77/72.56	o 1888
71.97/72.73	o 1885
72.06/72.89	o 1879
72.36/73.11	o 1871
72.56/73.35	o 1868
72.76/73.53	o 1867
72.96/73.74	o 1865
73.15/73.98	o 1856
73.45/74.23	o 1854
73.65/74.43	o 1853
74.14/74.90	o 1852
74.34/75.12	o 1851
74.54/75.34	o 1846
74.74/75.58	o 1841
75.04/75.80	o 1840
75.23/76.04	o 1839
75.63/76.44	o 1834
75.73/76.59	o 1833
75.92/76.77	o 1830
76.32/77.15	o 1823
76.51/77.31	o 1822
77.01/77.86	o 1818
77.21/78.05	o 1814
77.42/78.23	o 1808
77.81/78.64	o 1800
78.01/78.83	o 1796
78.21/79.03	o 1791
78.41/79.23	o 1786
78.60/79.48	o 1781
78.90/79.71	o 1779
79.59/80.44	o 1777
80.29/81.19	o 1770
80.59/81.43	o 1764
80.78/81.66	o 1759
80.98/81.86	o 1758
81.97/82.82	o 1757
82.17/83.07	o 1756
82.67/83.55	o 1751
82.96/83.83	o 1747
83.26/84.11	o 1739
85.54/86.41	o 1738
85.83/86.74	o 1737
86.03/86.99	o 1729
86.42/87.30	o 1721
87.02/87.98	o 1718
87.91/88.85	o 1715
88.21/89.18	o 1710
89.20/90.15	o 1708
89.49/90.43	o 1704
89.79/90.71	o 1703
89.99/90.98	o 1698
90.78/91.76	o 1697
91.08/92.02	o 1695
91.28/92.28	o 1690
91.58/92.54	o 1689
92.07/93.07	o 1685
92.37/93.35	o 1684
92.57/93.59	o 1682
92.86/93.87	o 1679
93.16/94.14	o 1678
93.95/94.99	o 1674
94.25/95.28	o 1673
94.55/95.54	o 1670
94.85/95.84	o 1668
95.14/96.12	o 1663
95.44/96.41	o 1660
95.64/96.68	o 1655
95.94/96.99	o 1653
96.23/97.27	o 1650
96.53/97.55	o 1648
96.83/97.86	o 1647
97.12/98.17	o 1642
97.32/98.39	o 1636
97.92/98.99	o 1631
98.21/99.28	o 1628
98.51/99.56	o 1625
98.81/99.83	o 1623
99.01/100.09	o 1616
99.30/100.37	o 1614
99.60/100.61	o 1610
100.10/101.18	o 1605
100.39/101.44	o 1602
100.59/101.68	o 1600
100.89/101.90	o 1593
101.09/102.14	o 1591
101.38/102.40	o 1587
101.58/102.65	o 1583
101.88/102.90	o 1580
102.28/103.36	o 1577
102.67/103.79	o 1575
102.87/103.97	o 1572
103.07/104.19	o 1568
103.56/104.61	o 1564
103.75/104.88	o 1562
104.05/105.11	o 1555
104.65/105.76	o 1550
105.44/106.53	o 1548
105.74/106.80	o 1544
105.93/107.09	o 1543
106.23/107.39	o 1540
106.83/107.93	o 1538
107.12/108.25	o 1537
108.01/109.14	o 1536
108.31/109.41	o 1532
108.61/109.74	o 1531
108.91/110.06	o 1528
109.50/110.65	o 1527
109.80/110.96	o 1520
110.69/111.85	o 1516
110.99/112.19	o 1510
111.38/112.51	o 1509
112.37/113.50	o 1503
112.97/114.17	o 1501
113.36/114.50	o 1496
113.55/114.79	o 1495
113.86/115.08	o 1492
114.16/115.37	o 1489
114.45/115.69	o 1488
114.85/116.00	o 1483
115.15/116.34	o 1479
115.54/116.72	o 1477
116.13/117.35	o 1470
116.44/117.68	o 1465
116.73/117.98	o 1462
117.33/118.57	o 1459
118.22/119.46	o 1457
118.52/119.76	o 1453
118.81/120.04	o 1449
119.41/120.62	o 1444
119.71/120.91	o 1441
119.90/121.19	o 1440
120.50/121.73	o 1435
120.80/122.02	o 1428
121.19/122.46	o 1425
121.39/122.69	o 1422
121.69/122.94	o 1415
121.79/123.03	o 1409
122.28/123.52	o 1408
122.48/123.79	o 1406
122.78/124.08	o 1403
123.08/124.37	o 1402
123.37/124.66	o 1401
124.36/125.63	o 1397
125.16/126.50	o 1394
125.45/126.74	o 1390
125.65/126.98	o 1386
126.15/127.50	o 1382
126.44/127.73	o 1381
126.64/127.98	o 1376
126.94/128.24	o 1373
127.14/128.46	o 1368
127.34/128.70	o 1365
127.83/129.17	o 1362
128.12/129.40	o 1360
128.32/129.64	o 1358
128.62/129.91	o 1354
128.81/130.15	o 1352
129.11/130.44	o 1351
129.31/130.68	o 1344
129.61/130.92	o 1340
129.80/131.17	o 1337
130.10/131.43	o 1331
130.20/131.60	o 1326
130.50/131.87	o 1321
131.39/132.73	o 1317
131.59/132.97	o 1310
131.89/133.20	o 1305
132.18/133.53	o 1303
132.68/134.05	o 1302
132.98/134.32	o 1298
133.17/134.59	o 1297
133.47/134.86	o 1296
133.77/135.16	o 1293
134.07/135.48	o 1286
134.46/135.82	o 1281
134.76/136.13	o 1273
135.06/136.47	o 1271
135.35/136.79	o 1268
135.65/137.08	o 1263
136.05/137.44	o 1262
137.24/138.64	o 1260
137.53/138.95	o 1256
137.83/139.26	o 1253
138.23/139.61	o 1250
139.22/140.65	o 1248
139.60/141.06	o 1246
139.91/141.39	o 1245
140.31/141.71	o 1242
140.69/142.11	o 1240
140.99/142.46	o 1235
141.19/142.67	o 1234
141.49/142.98	o 1233
141.69/143.19	o 1227
141.98/143.50	o 1222
142.28/143.76	o 1217
142.58/144.03	o 1216
142.87/144.34	o 1211
143.17/144.63	o 1209
143.47/144.95	o 1208
144.06/145.57	o 1207
144.76/146.22	o 1205
145.05/146.55	o 1202
145.35/146.88	o 1195
145.75/147.22	o 1192
146.34/147.86	o 1189
146.74/148.22	o 1186
147.05/148.51	o 1183
147.34/148.83	o 1182
147.64/149.15	o 1181
148.33/149.82	o 1179
148.93/150.46	o 1174
150.12/151.65	o 1173
150.41/151.92	o 1171
150.71/152.22	o 1170
151.60/153.10	o 1169
151.80/153.38	o 1167
152.10/153.65	o 1164
152.40/153.95	o 1163
152.69/154.25	o 1160
152.89/154.43	o 1155
153.19/154.74	o 1153
153.49/155.00	o 1149
153.78/155.30	o 1146
154.68/156.27	o 1144
154.97/156.57	o 1143
155.27/156.85	o 1140
155.57/157.18	o 1137
155.86/157.47	o 1134
156.06/157.64	o 1129
156.46/158.01	o 1124
156.76/158.37	o 1121
157.04/158.65	o 1116
157.34/158.94	o 1114
157.94/159.59	o 1113
158.33/159.95	o 1110
158.63/160.29	o 1108
159.03/160.66	o 1106
159.72/161.33	o 1105
160.02/161.67	o 1102
160.31/161.94	o 1096
160.71/162.31	o 1094
161.70/163.34	o 1089
162.00/163.67	o 1086
162.39/164.07	o 1084
162.79/164.45	o 1082
163.19/164.85	o 1078
163.48/165.19	o 1074
163.88/165.53	o 1072
164.18/165.85	o 1071
166.46/168.15	o 1068
167.15/168.87	o 1058
167.55/169.23	o 1055
167.84/169.58	o 1053
168.24/169.94	o 1049
169.03/170.74	o 1048
169.72/171.44	o 1047
170.02/171.78	o 1046
170.41/172.12	o 1041
170.81/172.50	o 1040
171.11/172.85	o 1035
171.50/173.22	o 1029
171.70/173.42	o 1025
172.00/173.75	o 1019
172.29/174.02	o 1016
172.59/174.38	o 1015
172.99/174.75	o 1014
173.68/175.49	o 1013
174.08/175.81	o 1012
174.37/176.18	o 1010
175.17/176.90	o 1005
175.56/177.30	o 1002
175.86/177.66	o 999
176.26/178.04	o 997
176.95/178.77	o 996
177.74/179.52	o 993
178.04/179.87	o 990
178.34/180.11	o 988
179.03/180.84	o 983
179.33/181.12	o 981
180.02/181.84	o 980
180.32/182.16	o 979
180.62/182.50	o 975
181.31/183.18	o 971
181.71/183.55	o 968
182.10/183.95	o 965
182.50/184.31	o 964
182.80/184.66	o 962
183.19/185.04	o 961
185.67/187.56	o 960
186.07/187.93	o 958
186.46/188.30	o 956
186.76/188.63	o 953
187.06/188.99	o 952
191.32/193.21	o 949
191.62/193.59	o 948
192.01/193.97	o 943
192.21/194.13	o 941
192.61/194.54	o 940
193.00/194.92	o 939
193.20/195.12	o 937
193.50/195.45	o 932
198.06/200.05	o 930
198.75/200.72	o 926
199.15/201.16	o 924
199.54/201.53	o 920
199.94/201.92	o 918
200.24/202.30	o 917
200.73/202.73	o 915
201.02/203.09	o 914
201.42/203.50	o 912
201.81/203.86	o 909
202.31/204.30	o 908
202.71/204.72	o 906
203.10/205.19	o 905
203.99/206.09	o 903
204.49/206.54	o 900
204.89/206.99	o 896
205.28/207.36	o 892
206.67/208.71	o 890
206.87/208.99	o 888
207.26/209.37	o 885
207.76/209.82	o 883
208.16/210.26	o 881
209.44/211.57	o 877
209.84/211.98	o 876
210.34/212.41	o 874
210.63/212.78	o 871
217.57/219.73	o 868
217.96/220.17	o 867
218.45/220.64	o 866
220.33/222.58	o 865
221.72/223.93	o 861
222.12/224.38	o 859
222.61/224.84	o 857
223.60/225.82	o 856
225.19/227.41	o 853
226.18/228.41	o 851
226.58/228.84	o 849
227.47/229.75	o 847
229.85/232.16	o 846
230.34/232.69	o 843
232.32/234.63	o 842
233.41/235.71	o 839
233.71/236.01	o 835
234.01/236.35	o 834
235.20/237.55	o 833
235.69/238.04	o 829
236.09/238.48	o 826
237.48/239.88	o 823
237.97/240.34	o 818
238.47/240.85	o 816
239.46/241.85	o 815
239.95/242.30	o 814
240.84/243.26	o 813
241.24/243.65	o 810
241.74/244.14	o 808
242.23/244.63	o 805
243.22/245.70	o 803
245.69/248.20	o 802
246.29/248.74	o 801
246.58/249.04	o 799
248.96/251.40	o 798
249.36/251.90	o 796
249.96/252.42	o 793
250.94/253.43	o 789
251.44/253.96	o 787
252.53/255.00	o 786
253.02/255.58	o 784
253.52/256.09	o 783
254.11/256.62	o 782
256.19/258.74	o 777
256.69/259.27	o 776
260.37/262.93	o 775
262.84/265.41	o 774
263.43/266.00	o 773
264.02/266.62	o 771
268.28/270.98	o 769
269.47/272.16	o 766
269.67/272.39	o 761
271.95/274.61	o 759
273.63/276.32	o 758
274.03/276.75	o 755
277.99/280.77	o 754
278.49/281.29	o 752
280.07/282.83	o 751
280.47/283.29	o 748
281.96/284.77	o 747
283.53/286.37	o 746
283.84/286.70	o 743
284.43/287.24	o 742
284.92/287.77	o 741
287.10/289.93	o 740
287.99/290.88	o 739
291.36/294.29	o 736
292.95/295.86	o 734
293.54/296.42	o 733
294.63/297.51	o 732
295.62/298.59	o 731
296.91/299.83	o 729
298.00/300.94	o 725
298.40/301.38	o 723
299.39/302.33	o 720
300.48/303.41	o 719
300.97/304.00	o 718
301.57/304.51	o 716
303.04/306.10	o 715
303.74/306.73	o 713
304.93/307.93	o 711
310.58/313.63	o 710
311.07/314.13	o 709
311.57/314.64	o 708
312.16/315.20	o 706
312.66/315.73	o 704
313.35/316.41	o 695
314.64/317.78	o 694
314.84/317.98	o 690
315.33/318.44	o 684
315.53/318.60	o 680
315.83/318.99	o 677
316.22/319.34	o 671
316.62/319.78	o 670
317.51/320.69	o 667
318.50/321.62	o 666
318.90/322.09	o 664
319.39/322.54	o 662
320.29/323.42	o 661
321.56/324.72	o 659
321.86/325.07	o 657
322.36/325.51	o 656
323.84/327.06	o 655
324.34/327.51	o 652
324.73/327.91	o 650
325.13/328.32	o 648
325.53/328.72	o 647
325.92/329.15	o 646
326.32/329.55	o 645
327.61/330.81	o 644
328.00/331.26	o 642
328.40/331.64	o 641
328.80/332.07	o 637
329.19/332.47	o 635
329.69/332.91	o 634
330.09/333.33	o 628
333.25/336.53	o 626
333.74/337.04	o 625
335.24/338.53	o 624
336.22/339.60	o 623
337.31/340.64	o 622
337.81/341.17	o 620
338.81/342.18	o 617
339.90/343.23	o 616
340.19/343.58	o 614
340.69/344.07	o 611
341.18/344.58	o 608
341.68/345.05	o 606
342.17/345.57	o 604
344.25/347.60	o 603
344.55/347.94	o 601
345.53/348.96	o 599
346.03/349.48	o 598
346.53/349.98	o 594
347.81/351.29	o 589
349.20/352.66	o 588
352.67/356.12	o 586
353.96/357.48	o 584
366.54/370.17	o 582
367.14/370.70	o 581
368.13/371.77	o 578
369.71/373.35	o 577
370.11/373.73	o 576
370.60/374.28	o 574
371.00/374.61	o 573
371.49/375.14	o 571
371.98/375.64	o 569
374.56/378.21	o 568
378.22/381.92	o 567
379.31/383.00	o 566
379.91/383.63	o 563
381.10/384.81	o 560
381.59/385.38	o 559
383.77/387.57	o 558
384.86/388.67	o 556
386.04/389.80	o 553
386.64/390.41	o 552
387.23/391.00	o 549
389.61/393.42	o 547
390.20/394.04	o 546
406.17/410.19	o 545
406.96/410.95	o 544
407.55/411.58	o 542
408.24/412.21	o 540
408.54/412.52	o 539
409.13/413.17	o 537
409.82/413.88	o 536
410.42/414.40	o 534
411.11/415.13	o 533
412.40/416.45	o 531
412.80/416.83	o 530
416.36/420.48	o 529
421.02/425.18	o 528
421.71/425.84	o 526
422.31/426.47	o 524
425.08/429.25	o 522
427.16/431.36	o 521
431.71/435.99	o 519
433.79/438.07	o 516
435.18/439.44	o 515
437.26/441.52	o 514
437.76/442.03	o 513
439.64/443.95	o 511
441.22/445.50	o 509
441.81/446.17	o 507
446.48/450.83	o 506
447.76/452.20	o 505
449.84/454.28	o 503
450.04/454.47	o 502
450.73/455.17	o 501
451.42/455.88	o 500
452.12/456.53	o 499
464.90/469.49	o 498
465.49/470.06	o 497
466.09/470.61	o 496
467.47/472.03	o 495
474.91/479.57	o 494
475.60/480.26	o 492
478.97/483.60	o 491
482.24/486.95	o 489
487.69/492.47	o 484
488.38/493.19	o 483
489.08/493.88	o 482
498.98/503.89	o 481
499.77/504.63	o 479
502.74/507.64	o 478
503.53/508.43	o 477
505.02/510.00	o 475
506.61/511.52	o 474
513.43/518.49	o 472
513.93/518.97	o 471
535.03/540.21	o 468
537.31/542.57	o 467
538.11/543.35	o 466
538.80/544.09	o 465
539.39/544.68	o 464
542.27/547.52	o 463
548.20/553.54	o 462
549.00/554.35	o 461
551.87/557.27	o 460
552.56/557.97	o 459
583.08/588.71	   
583.08/588.71	   search
583.08/588.71	     run=0  nbConstraintChecks=1278673943  nbAssignments=1390
583.08/588.71	       =>  wckTime=576.13  cpuTime=570.62  mem=33M699
583.08/588.72	   
583.08/588.72	   global
583.08/588.72	     nbConstraintChecks=1278673943  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
583.08/588.72	     solvingWckTime=576.123  solvingCpuTime=570.61  expiredTime=no  totalExploration=no  nbFoundSolutions=0
583.08/588.72	     globalCpuTime=582.15
583.08/588.72	       =>  wckTime=588.466  cpuTime=582.1  mem=33M699
583.08/588.72	   
583.08/588.72	   solver DecomposerSolver being built... 
588.43/594.13	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-1112930-1215875652/watcher-1112930-1215875652 -o /tmp/evaluation-result-1112930-1215875652/solver-1112930-1215875652 -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-1112930-1215875652.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.00 2.00 2.04 4/81 17789
/proc/meminfo: memFree=1897808/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=18572 CPUtime=0
/proc/17789/stat : 17789 (runsolver) R 17787 17789 17344 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44267175 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17789/statm: 4643 292 257 25 0 2626 0

[startup+0.080971 s]
/proc/loadavg: 2.00 2.00 2.04 4/81 17789
/proc/meminfo: memFree=1897808/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=865856 CPUtime=0.06
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 3370 0 1 0 4 2 0 0 18 0 9 0 44267175 886636544 2883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216464 2883 1563 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.102002 s]
/proc/loadavg: 2.00 2.00 2.04 4/81 17789
/proc/meminfo: memFree=1897808/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=865984 CPUtime=0.08
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 3694 0 1 0 6 2 0 0 18 0 9 0 44267175 886767616 3169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216496 3169 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301988 s]
/proc/loadavg: 2.00 2.00 2.04 4/81 17789
/proc/meminfo: memFree=1897808/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=866156 CPUtime=0.27
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 5593 0 1 0 24 3 0 0 18 0 9 0 44267175 886943744 5008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216539 5008 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866156

[startup+0.702019 s]
/proc/loadavg: 2.00 2.00 2.04 4/81 17789
/proc/meminfo: memFree=1897808/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867068 CPUtime=0.67
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 10036 0 1 0 60 7 0 0 18 0 9 0 44267175 887877632 9398 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216767 9398 1997 9 0 211273 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867068

[startup+1.50109 s]
/proc/loadavg: 2.00 2.00 2.04 3/90 17798
/proc/meminfo: memFree=1857224/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867620 CPUtime=1.46
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 20586 0 1 0 133 13 0 0 18 0 9 0 44267175 888442880 19920 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216905 19920 2005 9 0 211433 0
[pid=17789/tid=17791] ppid=17787 vsize=867620 CPUtime=1.18
/proc/17789/task/17791/stat : 17791 (java) R 17787 17789 17344 0 -1 64 15804 0 1 0 108 10 0 0 25 0 9 0 44267176 888442880 19920 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867620 CPUtime=0.07
/proc/17789/task/17792/stat : 17792 (java) S 17787 17789 17344 0 -1 64 3453 0 0 0 6 1 0 0 16 0 9 0 44267178 888442880 19920 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44267178 888442880 19920 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44267178 888442880 19920 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888442880 19920 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867620 CPUtime=0.17
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 632 0 0 0 17 0 0 0 16 0 9 0 44267180 888442880 19920 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888442880 19920 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888442880 19920 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867620

[startup+3.1012 s]
/proc/loadavg: 2.00 2.00 2.03 3/90 17798
/proc/meminfo: memFree=1825480/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867620 CPUtime=3.05
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 20603 0 1 0 292 13 0 0 18 0 9 0 44267175 888442880 19936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216905 19936 2005 9 0 211433 0
[pid=17789/tid=17791] ppid=17787 vsize=867620 CPUtime=2.76
/proc/17789/task/17791/stat : 17791 (java) R 17787 17789 17344 0 -1 64 15813 0 1 0 265 11 0 0 25 0 9 0 44267176 888442880 19936 996147200 134512640 134550740 4294955952 18446744073709551615 4126869047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867620 CPUtime=0.07
/proc/17789/task/17792/stat : 17792 (java) S 17787 17789 17344 0 -1 64 3453 0 0 0 6 1 0 0 16 0 9 0 44267178 888442880 19936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44267178 888442880 19936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44267178 888442880 19936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888442880 19936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867620 CPUtime=0.19
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 640 0 0 0 19 0 0 0 16 0 9 0 44267180 888442880 19936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888442880 19936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888442880 19936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867620

[startup+6.30245 s]
/proc/loadavg: 2.00 2.00 2.03 3/90 17798
/proc/meminfo: memFree=1825160/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867620 CPUtime=6.23
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 20605 0 1 0 609 14 0 0 18 0 9 0 44267175 888442880 19937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216905 19937 2005 9 0 211433 0
[pid=17789/tid=17791] ppid=17787 vsize=867620 CPUtime=5.93
/proc/17789/task/17791/stat : 17791 (java) R 17787 17789 17344 0 -1 64 15815 0 1 0 582 11 0 0 25 0 9 0 44267176 888442880 19937 996147200 134512640 134550740 4294955952 18446744073709551615 4126906727 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867620 CPUtime=0.07
/proc/17789/task/17792/stat : 17792 (java) S 17787 17789 17344 0 -1 64 3453 0 0 0 6 1 0 0 17 0 9 0 44267178 888442880 19937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44267178 888442880 19937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44267178 888442880 19937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888442880 19937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867620 CPUtime=0.19
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 640 0 0 0 19 0 0 0 16 0 9 0 44267180 888442880 19937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888442880 19937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867620 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888442880 19937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867620

[startup+12.703 s]
/proc/loadavg: 2.08 2.02 2.04 3/90 17798
/proc/meminfo: memFree=1811912/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867708 CPUtime=12.56
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 28003 0 1 0 1240 16 0 0 18 0 9 0 44267175 888532992 27138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216927 27138 2638 9 0 211433 0
[pid=17789/tid=17791] ppid=17787 vsize=867708 CPUtime=11.8
/proc/17789/task/17791/stat : 17791 (java) R 17787 17789 17344 0 -1 64 15886 0 1 0 1168 12 0 0 25 0 9 0 44267176 888532992 27138 996147200 134512640 134550740 4294955952 18446744073709551615 4127122807 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867708 CPUtime=0.43
/proc/17789/task/17792/stat : 17792 (java) S 17787 17789 17344 0 -1 64 10712 0 0 0 40 3 0 0 17 0 9 0 44267178 888532992 27138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888532992 27138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867708 CPUtime=0.29
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 708 0 0 0 29 0 0 0 15 0 9 0 44267180 888532992 27138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888532992 27138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888532992 27138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867708

[startup+25.502 s]
/proc/loadavg: 2.07 2.02 2.04 3/90 17798
/proc/meminfo: memFree=1798856/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867708 CPUtime=25.23
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 28010 0 1 0 2505 18 0 0 18 0 9 0 44267175 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216927 27144 2640 9 0 211433 0
[pid=17789/tid=17791] ppid=17787 vsize=867708 CPUtime=24.46
/proc/17789/task/17791/stat : 17791 (java) R 17787 17789 17344 0 -1 64 15887 0 1 0 2433 13 0 0 25 0 9 0 44267176 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4127187642 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867708 CPUtime=0.43
/proc/17789/task/17792/stat : 17792 (java) S 17787 17789 17344 0 -1 64 10712 0 0 0 40 3 0 0 16 0 9 0 44267178 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867708 CPUtime=0.3
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 714 0 0 0 30 0 0 0 16 0 9 0 44267180 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867708

[startup+51.102 s]
/proc/loadavg: 2.11 2.03 2.04 3/90 17798
/proc/meminfo: memFree=1798856/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867708 CPUtime=50.58
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 28010 0 1 0 5039 19 0 0 18 0 9 0 44267175 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216927 27144 2640 9 0 211433 0
[pid=17789/tid=17791] ppid=17787 vsize=867708 CPUtime=49.81
/proc/17789/task/17791/stat : 17791 (java) R 17787 17789 17344 0 -1 64 15887 0 1 0 4967 14 0 0 25 0 9 0 44267176 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4126520035 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867708 CPUtime=0.43
/proc/17789/task/17792/stat : 17792 (java) S 17787 17789 17344 0 -1 64 10712 0 0 0 40 3 0 0 16 0 9 0 44267178 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867708 CPUtime=0.3
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 714 0 0 0 30 0 0 0 16 0 9 0 44267180 888532992 27144 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867708 CPUtime=0

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

/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867708 CPUtime=0.32
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 724 0 0 0 32 0 0 0 15 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.3
Current children cumulated vsize (KiB) 867708

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.01 3/90 17800
/proc/meminfo: memFree=1797640/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867708 CPUtime=576.74
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 28024 0 1 0 57644 30 0 0 18 0 9 0 44267175 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216927 27153 2640 9 0 211433 0
[pid=17789/tid=17791] ppid=17787 vsize=867708 CPUtime=575.96
/proc/17789/task/17791/stat : 17791 (java) R 17787 17789 17344 0 -1 64 15891 0 1 0 57571 25 0 0 25 0 9 0 44267176 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4126520041 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867708 CPUtime=0.43
/proc/17789/task/17792/stat : 17792 (java) S 17787 17789 17344 0 -1 64 10712 0 0 0 40 3 0 0 16 0 9 0 44267178 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867708 CPUtime=0.32
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 724 0 0 0 32 0 0 0 15 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 576.74
Current children cumulated vsize (KiB) 867708

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

[startup+588.703 s]
/proc/loadavg: 2.00 2.01 2.01 3/90 17800
/proc/meminfo: memFree=1797576/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867708 CPUtime=583.08
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 28024 0 1 0 58278 30 0 0 18 0 9 0 44267175 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216927 27153 2640 9 0 211433 0
[pid=17789/tid=17791] ppid=17787 vsize=867708 CPUtime=582.3
/proc/17789/task/17791/stat : 17791 (java) R 17787 17789 17344 0 -1 64 15891 0 1 0 58205 25 0 0 25 0 9 0 44267176 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4126897284 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867708 CPUtime=0.43
/proc/17789/task/17792/stat : 17792 (java) S 17787 17789 17344 0 -1 64 10712 0 0 0 40 3 0 0 16 0 9 0 44267178 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44267178 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867708 CPUtime=0.32
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 724 0 0 0 32 0 0 0 15 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867708 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888532992 27153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 583.08
Current children cumulated vsize (KiB) 867708

[startup+591.902 s]
/proc/loadavg: 2.08 2.02 2.01 4/90 17800
/proc/meminfo: memFree=1106824/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867840 CPUtime=586.25
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 200443 0 1 0 58530 95 0 0 18 0 9 0 44267175 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216960 199485 2618 9 0 211488 0
[pid=17789/tid=17791] ppid=17787 vsize=867840 CPUtime=583
/proc/17789/task/17791/stat : 17791 (java) R 17787 17789 17344 0 -1 64 15981 0 1 0 58275 25 0 0 25 0 9 0 44267176 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867840 CPUtime=2.88
/proc/17789/task/17792/stat : 17792 (java) R 17787 17789 17344 0 -1 64 183018 0 0 0 220 68 0 0 16 0 9 0 44267178 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44267178 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44267178 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867840 CPUtime=0.33
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 731 0 0 0 33 0 0 0 15 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 586.25
Current children cumulated vsize (KiB) 867840

[startup+593.502 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 17800
/proc/meminfo: memFree=1106824/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867840 CPUtime=587.83
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 200474 0 1 0 58688 95 0 0 18 0 9 0 44267175 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216960 199485 2618 9 0 211488 0
[pid=17789/tid=17791] ppid=17787 vsize=867840 CPUtime=583
/proc/17789/task/17791/stat : 17791 (java) S 17787 17789 17344 0 -1 64 15982 0 1 0 58275 25 0 0 25 0 9 0 44267176 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867840 CPUtime=4.46
/proc/17789/task/17792/stat : 17792 (java) R 17787 17789 17344 0 -1 64 183048 0 0 0 378 68 0 0 18 0 9 0 44267178 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44267178 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44267178 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867840 CPUtime=0.33
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 731 0 0 0 33 0 0 0 15 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 587.83
Current children cumulated vsize (KiB) 867840

[startup+593.903 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 17800
/proc/meminfo: memFree=1106824/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867840 CPUtime=588.23
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 200474 0 1 0 58728 95 0 0 18 0 9 0 44267175 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216960 199485 2618 9 0 211488 0
[pid=17789/tid=17791] ppid=17787 vsize=867840 CPUtime=583
/proc/17789/task/17791/stat : 17791 (java) S 17787 17789 17344 0 -1 64 15982 0 1 0 58275 25 0 0 25 0 9 0 44267176 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867840 CPUtime=4.86
/proc/17789/task/17792/stat : 17792 (java) R 17787 17789 17344 0 -1 64 183048 0 0 0 418 68 0 0 19 0 9 0 44267178 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44267178 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44267178 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867840 CPUtime=0.33
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 731 0 0 0 33 0 0 0 15 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867840 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888668160 199485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 588.23
Current children cumulated vsize (KiB) 867840

[startup+594.102 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 17800
/proc/meminfo: memFree=1106824/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=867652 CPUtime=588.43
/proc/17789/stat : 17789 (java) S 17787 17789 17344 0 -1 0 200474 0 1 0 58748 95 0 0 18 0 9 0 44267175 888475648 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 216913 199470 2618 9 0 211441 0
[pid=17789/tid=17791] ppid=17787 vsize=867652 CPUtime=583
/proc/17789/task/17791/stat : 17791 (java) S 17787 17789 17344 0 -1 64 15982 0 1 0 58275 25 0 0 16 0 9 0 44267176 888475648 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17792] ppid=17787 vsize=867652 CPUtime=5.06
/proc/17789/task/17792/stat : 17792 (java) R 17787 17789 17344 0 -1 64 183048 0 0 0 438 68 0 0 19 0 9 0 44267178 888475648 199470 996147200 134512640 134550740 4294955952 18446744073709551615 104096110 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17793] ppid=17787 vsize=867652 CPUtime=0
/proc/17789/task/17793/stat : 17793 (java) S 17787 17789 17344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44267178 888475648 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17794] ppid=17787 vsize=867652 CPUtime=0
/proc/17789/task/17794/stat : 17794 (java) S 17787 17789 17344 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44267178 888475648 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17795] ppid=17787 vsize=867652 CPUtime=0
/proc/17789/task/17795/stat : 17795 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44267180 888475648 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17796] ppid=17787 vsize=867652 CPUtime=0.33
/proc/17789/task/17796/stat : 17796 (java) S 17787 17789 17344 0 -1 64 731 0 0 0 33 0 0 0 15 0 9 0 44267180 888475648 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17797] ppid=17787 vsize=867652 CPUtime=0
/proc/17789/task/17797/stat : 17797 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44267180 888475648 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17789/tid=17798] ppid=17787 vsize=867652 CPUtime=0
/proc/17789/task/17798/stat : 17798 (java) S 17787 17789 17344 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44267180 888475648 199470 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 588.43
Current children cumulated vsize (KiB) 867652

[startup+594.202 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 17800
/proc/meminfo: memFree=1106824/2055920 swapFree=4181272/4192956
[pid=17789] ppid=17787 vsize=0 CPUtime=588.49
/proc/17789/stat : 17789 (java) Z 17787 17789 17344 0 -1 12 200482 0 1 0 58751 98 0 0 16 0 2 0 44267175 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17789/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 588.49
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 594.3
CPU time (s): 588.596
CPU user time (s): 587.516
CPU system time (s): 1.07983
CPU usage (%): 99.0401
Max. virtual memory (cumulated for all children) (KiB): 867896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 587.516
system time used= 1.07984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200482
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= 13656
involuntary context switches= 34493

runsolver used 0.776881 second user time and 2.02069 second system time

The end

Launcher Data (download as text)

Begin job on node26 at 2008-07-12 17:14:12
IDJOB=1112930
IDBENCH=61498
IDSOLVER=360
FILE ID=node26/1112930-1215875652
PBS_JOBID= 7903578
Free space on /tmp= 66468 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp32/normalized-fapp32-0550-1.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-1112930-1215875652/watcher-1112930-1215875652 -o /tmp/evaluation-result-1112930-1215875652/solver-1112930-1215875652 -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-1112930-1215875652.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 5b6f3d81a66e437062b2495198dba4e6
RANDOM SEED=326063277

node26.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.213
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.213
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:       1898288 kB
Buffers:          6724 kB
Cached:          42320 kB
SwapCached:       5424 kB
Active:          95324 kB
Inactive:         9912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1898288 kB
SwapTotal:     4192956 kB
SwapFree:      4181272 kB
Dirty:            3268 kB
Writeback:           0 kB
Mapped:          72352 kB
Slab:            37520 kB
Committed_AS:   254480 kB
PageTables:       1880 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= 66468 MiB
End job on node26 at 2008-07-12 17:24:07