Trace number 1112929

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 560.922 567.407

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.01/0.09	
0.01/0.09	Abscon 112 (May, 2008)
0.18/0.23	
0.18/0.23	   configuration
0.18/0.23	     name=mrdac-wdeg.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-1112929-1215875622.xml
0.28/0.33	   
0.28/0.33	   domains being loaded...
0.38/0.41	   
0.38/0.41	   variables being loaded...
0.57/0.66	     nbVariables=550  nbDomainTypes=8  minDomainSize=98  maxDomainSize=998  nbTotalValues=448436
0.57/0.66	       =>  wckTime=0.428  cpuTime=0.34  mem=19M611
0.57/0.66	   
0.57/0.66	   predicates being loaded...
0.67/0.72	   
0.67/0.72	   constraints being loaded...
10.56/10.77	   
10.56/10.77	   INFO : Stopping converting binary constraints (cpu=10.21, mem = 32M840)
11.95/12.18	     nbConstraints=9461  nbConvertedConstraints=60  nbConvertConstraintsChecks=34365786  nbExtensionStructures=60
11.95/12.18	     nbSharedExtensionStructures=4  nbConflictsStructures=65  nbSharedConflictsStructures=5
11.95/12.18	     nbUnbuiltConflictsStructures=5491  nbSharedBinaryRepresentations=70604  nbEvaluationManagers=5496
11.95/12.18	     nbSharedEvaluationManagers=3905  minDegree=5  maxDegree=74  minArity=2  maxArity=2
11.95/12.18	       =>  wckTime=11.949  cpuTime=11.28  mem=35M573
12.14/12.36	   
12.14/12.36	   solver LocalSearchSolver being built... 
12.24/12.41	       =>  wckTime=12.176  cpuTime=11.32  mem=33M639
12.84/13.00	
12.84/13.00	s SATISFIABLE
12.84/13.00	o 2767
13.23/13.44	o 2755
13.62/13.82	o 2744
13.82/14.01	o 2739
13.92/14.18	o 2735
14.22/14.45	o 2727
14.42/14.65	o 2717
14.51/14.79	o 2708
14.71/14.94	o 2702
15.30/15.51	o 2696
15.40/15.62	o 2694
15.80/16.05	o 2688
15.90/16.15	o 2685
16.00/16.25	o 2683
16.10/16.34	o 2682
16.10/16.39	o 2680
16.20/16.50	o 2677
16.39/16.60	o 2675
16.39/16.68	o 2671
16.49/16.76	o 2670
16.68/16.97	o 2667
16.78/17.08	o 2664
16.88/17.19	o 2654
17.08/17.30	o 2653
17.48/17.80	o 2645
17.68/17.93	o 2640
17.77/18.07	o 2637
17.97/18.23	o 2634
18.07/18.39	o 2633
18.56/18.87	o 2632
18.96/19.23	o 2630
19.46/19.79	o 2623
19.65/19.91	o 2621
19.75/20.07	o 2615
19.94/20.27	o 2610
20.14/20.45	o 2609
20.24/20.59	o 2607
20.44/20.79	o 2602
20.64/20.94	o 2599
20.83/21.11	o 2594
21.03/21.35	o 2592
21.23/21.51	o 2586
21.33/21.65	o 2585
21.43/21.76	o 2583
21.92/22.27	o 2581
22.02/22.38	o 2578
22.11/22.47	o 2575
22.21/22.59	o 2572
22.41/22.72	o 2571
22.61/22.92	o 2570
23.01/23.31	o 2566
23.11/23.46	o 2558
23.40/23.70	o 2552
23.50/23.83	o 2547
23.60/23.95	o 2545
23.70/24.08	o 2543
23.90/24.24	o 2541
24.00/24.35	o 2540
24.10/24.49	o 2539
24.29/24.64	o 2537
24.49/24.81	o 2530
24.59/24.93	o 2520
24.69/25.08	o 2518
24.89/25.27	o 2515
24.99/25.35	o 2512
25.19/25.54	o 2507
25.38/25.71	o 2503
25.58/25.92	o 2496
25.78/26.10	o 2494
25.98/26.33	o 2486
26.17/26.52	o 2485
26.37/26.75	o 2480
26.56/26.97	o 2475
26.96/27.34	o 2469
27.16/27.56	o 2468
27.36/27.79	o 2459
27.65/28.08	o 2458
28.25/28.66	o 2453
28.54/28.90	o 2450
28.74/29.15	o 2448
29.53/29.95	o 2443
29.82/30.22	o 2437
30.32/30.76	o 2430
30.62/31.03	o 2421
31.01/31.41	o 2418
31.31/31.70	o 2408
31.60/32.02	o 2406
31.90/32.31	o 2403
32.10/32.59	o 2401
32.40/32.87	o 2396
32.79/33.20	o 2392
32.98/33.46	o 2389
33.28/33.72	o 2383
33.48/33.99	o 2381
33.78/34.27	o 2378
34.07/34.56	o 2376
34.37/34.81	o 2372
34.57/35.08	o 2363
34.96/35.42	o 2360
35.16/35.70	o 2359
35.46/36.00	o 2358
36.05/36.52	o 2356
36.84/37.33	o 2350
37.33/37.88	o 2347
37.63/38.10	o 2344
37.83/38.32	o 2341
38.22/38.79	o 2336
38.42/38.99	o 2331
38.61/39.18	o 2327
38.81/39.38	o 2323
39.31/39.81	o 2318
39.50/40.03	o 2317
39.70/40.26	o 2313
40.00/40.52	o 2305
40.20/40.72	o 2300
40.69/41.25	o 2296
40.99/41.51	o 2290
41.20/41.76	o 2289
41.69/42.26	o 2285
41.99/42.54	o 2283
42.18/42.78	o 2278
42.58/43.11	o 2277
42.77/43.35	o 2266
42.97/43.58	o 2261
43.47/44.06	o 2259
43.67/44.26	o 2252
43.86/44.45	o 2248
44.06/44.68	o 2241
44.26/44.89	o 2240
44.95/45.53	o 2235
45.15/45.74	o 2232
45.35/45.96	o 2230
45.55/46.18	o 2225
45.74/46.35	o 2224
45.94/46.54	o 2221
46.23/46.80	o 2216
46.43/47.03	o 2215
46.63/47.30	o 2213
46.93/47.53	o 2208
47.42/48.02	o 2207
47.91/48.52	o 2203
48.11/48.79	o 2201
48.41/49.07	o 2198
48.61/49.27	o 2192
48.91/49.53	o 2190
49.10/49.78	o 2184
49.40/50.01	o 2183
49.60/50.20	o 2179
49.80/50.44	o 2174
50.00/50.65	o 2169
50.19/50.87	o 2160
50.38/51.09	o 2157
50.58/51.25	o 2156
50.78/51.45	o 2155
51.18/51.86	o 2148
51.97/52.62	o 2142
52.17/52.86	o 2135
52.66/53.37	o 2130
52.96/53.61	o 2125
53.16/53.83	o 2118
53.35/54.08	o 2113
53.64/54.31	o 2110
54.24/54.95	o 2105
54.44/55.13	o 2104
54.64/55.36	o 2100
54.93/55.62	o 2098
55.13/55.81	o 2092
55.33/56.07	o 2088
55.62/56.33	o 2086
56.31/57.07	o 2082
56.61/57.33	o 2078
56.90/57.60	o 2077
57.10/57.83	o 2075
57.50/58.28	o 2074
58.00/58.78	o 2070
58.30/59.03	o 2065
59.19/59.93	o 2060
59.39/60.10	o 2053
59.49/60.27	o 2047
59.68/60.42	o 2042
59.78/60.55	o 2041
59.98/60.76	o 2035
60.17/60.95	o 2030
60.57/61.34	o 2028
60.77/61.58	o 2024
60.97/61.78	o 2016
61.46/62.23	o 2009
61.86/62.68	o 2006
62.05/62.84	o 2005
62.25/63.03	o 2000
62.35/63.17	o 1995
62.55/63.34	o 1993
62.75/63.54	o 1985
62.94/63.75	o 1979
63.14/63.93	o 1975
63.34/64.15	o 1967
63.53/64.33	o 1965
63.73/64.52	o 1961
63.93/64.71	o 1958
64.13/64.92	o 1953
64.22/65.09	o 1948
64.42/65.27	o 1947
64.62/65.44	o 1945
65.02/65.81	o 1938
65.22/66.03	o 1936
65.31/66.17	o 1931
65.51/66.38	o 1925
65.71/66.57	o 1924
65.91/66.74	o 1921
66.10/66.95	o 1914
66.30/67.15	o 1909
66.50/67.32	o 1906
66.69/67.51	o 1900
66.79/67.69	o 1899
67.59/68.48	o 1892
68.39/69.22	o 1889
68.49/69.38	o 1888
68.68/69.55	o 1885
68.78/69.69	o 1879
69.07/69.91	o 1871
69.27/70.13	o 1868
69.47/70.31	o 1867
69.67/70.50	o 1865
69.87/70.73	o 1856
70.06/70.98	o 1854
70.26/71.16	o 1853
70.75/71.61	o 1852
70.95/71.81	o 1851
71.14/72.04	o 1846
71.34/72.26	o 1841
71.54/72.47	o 1840
71.74/72.70	o 1839
72.13/73.08	o 1834
72.33/73.23	o 1833
72.43/73.39	o 1830
72.83/73.76	o 1823
73.02/73.91	o 1822
73.52/74.43	o 1818
73.72/74.61	o 1814
73.82/74.79	o 1808
74.21/75.18	o 1800
74.41/75.36	o 1796
74.60/75.55	o 1791
74.80/75.73	o 1786
75.00/75.97	o 1781
75.20/76.19	o 1779
75.89/76.88	o 1777
76.58/77.59	o 1770
76.88/77.81	o 1764
77.08/78.03	o 1759
77.27/78.22	o 1758
78.17/79.14	o 1757
78.36/79.37	o 1756
78.85/79.84	o 1751
79.05/80.10	o 1747
79.35/80.37	o 1739
81.53/82.56	o 1738
81.82/82.88	o 1737
82.11/83.11	o 1729
82.41/83.40	o 1721
83.00/84.05	o 1718
83.80/84.88	o 1715
84.19/85.20	o 1710
85.09/86.13	o 1708
85.28/86.40	o 1704
85.58/86.66	o 1703
85.88/86.92	o 1698
86.56/87.67	o 1697
86.86/87.92	o 1695
87.06/88.17	o 1690
87.35/88.42	o 1689
87.85/88.91	o 1685
88.05/89.18	o 1684
88.34/89.41	o 1682
88.54/89.67	o 1679
88.84/89.93	o 1678
89.62/90.74	o 1674
89.92/91.01	o 1673
90.12/91.26	o 1670
90.42/91.55	o 1668
90.71/91.82	o 1663
90.91/92.09	o 1660
91.21/92.35	o 1655
91.50/92.63	o 1653
91.80/92.91	o 1650
92.01/93.18	o 1648
92.31/93.47	o 1647
92.60/93.75	o 1642
92.79/93.97	o 1636
93.39/94.54	o 1631
93.69/94.81	o 1628
93.88/95.08	o 1625
94.18/95.34	o 1623
94.38/95.58	o 1616
94.67/95.84	o 1614
94.87/96.07	o 1610
95.47/96.60	o 1605
95.67/96.84	o 1602
95.86/97.07	o 1600
96.05/97.29	o 1593
96.35/97.52	o 1591
96.55/97.76	o 1587
96.85/98.00	o 1583
97.05/98.24	o 1580
97.44/98.67	o 1577
97.84/99.08	o 1575
98.03/99.25	o 1572
98.23/99.47	o 1568
98.63/99.87	o 1564
98.93/100.12	o 1562
99.12/100.33	o 1555
99.71/100.95	o 1550
100.40/101.69	o 1548
100.70/101.95	o 1544
101.00/102.23	o 1543
101.29/102.51	o 1540
101.79/103.02	o 1538
102.09/103.32	o 1537
102.88/104.17	o 1536
103.18/104.43	o 1532
103.47/104.74	o 1531
103.76/105.06	o 1528
104.36/105.62	o 1527
104.66/105.92	o 1520
105.45/106.77	o 1516
105.74/107.10	o 1510
106.04/107.39	o 1509
107.02/108.34	o 1503
107.62/108.98	o 1501
107.92/109.30	o 1496
108.21/109.57	o 1495
108.51/109.84	o 1492
108.81/110.12	o 1489
109.10/110.43	o 1488
109.40/110.72	o 1483
109.70/111.05	o 1479
110.09/111.40	o 1477
110.69/112.00	o 1470
110.98/112.32	o 1465
111.28/112.60	o 1462
111.77/113.17	o 1459
112.66/114.01	o 1457
112.86/114.30	o 1453
113.15/114.56	o 1449
113.75/115.11	o 1444
113.95/115.38	o 1441
114.24/115.65	o 1440
114.73/116.16	o 1435
115.03/116.43	o 1428
115.43/116.85	o 1425
115.62/117.08	o 1422
115.92/117.31	o 1415
116.02/117.40	o 1409
116.41/117.87	o 1408
116.71/118.12	o 1406
117.01/118.40	o 1403
117.21/118.67	o 1402
117.50/118.94	o 1401
118.39/119.86	o 1397
119.18/120.69	o 1394
119.48/120.92	o 1390
119.67/121.15	o 1386
120.17/121.64	o 1382
120.37/121.86	o 1381
120.57/122.09	o 1376
120.87/122.34	o 1373
121.06/122.55	o 1368
121.26/122.78	o 1365
121.76/123.23	o 1362
121.96/123.45	o 1360
122.15/123.68	o 1358
122.45/123.93	o 1354
122.65/124.16	o 1352
122.94/124.43	o 1351
123.14/124.66	o 1344
123.34/124.89	o 1340
123.64/125.13	o 1337
123.84/125.39	o 1331
124.03/125.54	o 1326
124.33/125.80	o 1321
125.12/126.62	o 1317
125.32/126.84	o 1310
125.51/127.07	o 1305
125.81/127.38	o 1303
126.31/127.87	o 1302
126.60/128.13	o 1298
126.80/128.38	o 1297
127.10/128.64	o 1296
127.39/128.93	o 1293
127.69/129.23	o 1286
127.99/129.54	o 1281
128.29/129.85	o 1273
128.58/130.17	o 1271
128.87/130.47	o 1268
129.17/130.74	o 1263
129.47/131.08	o 1262
130.66/132.22	o 1260
130.95/132.52	o 1256
131.25/132.81	o 1253
131.55/133.14	o 1250
132.54/134.13	o 1248
132.93/134.51	o 1246
133.22/134.82	o 1245
133.52/135.13	o 1242
133.92/135.50	o 1240
134.21/135.84	o 1235
134.41/136.04	o 1234
134.71/136.34	o 1233
134.91/136.53	o 1227
135.20/136.82	o 1222
135.40/137.08	o 1217
135.70/137.32	o 1216
135.99/137.62	o 1211
136.29/137.91	o 1209
136.59/138.21	o 1208
137.08/138.79	o 1207
137.77/139.41	o 1205
138.07/139.72	o 1202
138.37/140.03	o 1195
138.66/140.36	o 1192
139.25/140.97	o 1189
139.65/141.31	o 1186
139.85/141.58	o 1183
140.15/141.89	o 1182
140.44/142.19	o 1181
141.13/142.81	o 1179
141.72/143.43	o 1174
142.81/144.56	o 1173
143.11/144.81	o 1171
143.31/145.08	o 1170
144.20/145.92	o 1169
144.40/146.19	o 1167
144.69/146.45	o 1164
144.98/146.74	o 1163
145.28/147.01	o 1160
145.38/147.19	o 1155
145.68/147.48	o 1153
145.98/147.73	o 1149
146.27/148.01	o 1146
147.16/148.94	o 1144
147.46/149.21	o 1143
147.66/149.48	o 1140
148.05/149.80	o 1137
148.25/150.07	o 1134
148.44/150.24	o 1129
148.74/150.59	o 1124
149.14/150.93	o 1121
149.43/151.20	o 1116
149.63/151.46	o 1114
150.23/152.08	o 1113
150.62/152.43	o 1110
150.92/152.75	o 1108
151.31/153.10	o 1106
151.90/153.74	o 1105
152.20/154.07	o 1102
152.50/154.32	o 1096
152.79/154.68	o 1094
153.78/155.66	o 1089
154.08/155.97	o 1086
154.48/156.35	o 1084
154.88/156.72	o 1082
155.17/157.09	o 1078
155.57/157.41	o 1074
155.86/157.74	o 1072
156.16/158.05	o 1071
158.33/160.23	o 1068
159.03/160.91	o 1058
159.32/161.26	o 1055
159.62/161.58	o 1053
160.02/161.93	o 1049
160.71/162.69	o 1048
161.40/163.36	o 1047
161.70/163.67	o 1046
162.09/164.00	o 1041
162.38/164.36	o 1040
162.68/164.68	o 1035
163.08/165.03	o 1029
163.28/165.22	o 1025
163.57/165.54	o 1019
163.77/165.79	o 1016
164.17/166.14	o 1015
164.46/166.49	o 1014
165.16/167.19	o 1013
165.45/167.49	o 1012
165.84/167.84	o 1010
166.54/168.53	o 1005
166.93/168.91	o 1002
167.23/169.25	o 999
167.63/169.61	o 997
168.32/170.30	o 996
169.01/171.02	o 993
169.31/171.35	o 990
169.51/171.58	o 988
170.19/172.27	o 983
170.49/172.53	o 981
171.18/173.22	o 980
171.48/173.52	o 979
171.78/173.85	o 975
172.47/174.50	o 971
172.77/174.86	o 968
173.16/175.23	o 965
173.45/175.58	o 964
173.85/175.91	o 962
174.15/176.27	o 961
176.52/178.67	o 960
176.92/179.02	o 958
177.22/179.37	o 956
177.51/179.68	o 953
177.90/180.03	o 952
181.86/184.03	o 949
182.15/184.39	o 948
182.55/184.75	o 943
182.65/184.89	o 941
183.04/185.29	o 940
183.44/185.64	o 939
183.64/185.84	o 937
183.93/186.16	o 932
188.28/190.52	o 930
188.88/191.15	o 926
189.27/191.58	o 924
189.66/191.93	o 920
190.06/192.30	o 918
190.36/192.67	o 917
190.75/193.08	o 915
191.15/193.42	o 914
191.54/193.81	o 912
191.84/194.16	o 909
192.24/194.58	o 908
192.63/194.98	o 906
193.12/195.43	o 905
193.91/196.29	o 903
194.41/196.71	o 900
194.81/197.14	o 896
195.20/197.50	o 892
196.39/198.78	o 890
196.69/199.04	o 888
197.08/199.40	o 885
197.48/199.84	o 883
197.87/200.24	o 881
199.06/201.49	o 877
199.45/201.88	o 876
199.85/202.28	o 874
200.24/202.63	o 871
206.78/209.21	o 868
207.17/209.63	o 867
207.57/210.08	o 866
209.44/211.93	o 865
210.73/213.23	o 861
211.12/213.66	o 859
211.62/214.10	o 857
212.51/215.03	o 856
213.99/216.55	o 853
214.98/217.50	o 851
215.38/217.91	o 849
216.17/218.77	o 847
218.44/221.06	o 846
218.93/221.55	o 843
220.72/223.38	o 842
221.70/224.40	o 839
222.00/224.68	o 835
222.39/225.01	o 834
223.48/226.14	o 833
223.98/226.61	o 829
224.37/227.04	o 826
225.65/228.36	o 823
226.05/228.80	o 818
226.54/229.29	o 816
227.54/230.24	o 815
227.93/230.67	o 814
228.82/231.59	o 813
229.22/231.95	o 810
229.71/232.43	o 808
230.10/232.89	o 805
231.19/233.92	o 803
233.57/236.30	o 802
234.06/236.82	o 801
234.35/237.10	o 799
236.53/239.35	o 798
237.03/239.82	o 796
237.52/240.30	o 793
238.41/241.25	o 789
238.90/241.76	o 787
239.89/242.74	o 786
240.39/243.28	o 784
240.88/243.76	o 783
241.38/244.25	o 782
243.36/246.26	o 777
243.85/246.78	o 776
247.31/250.26	o 775
249.69/252.64	o 774
250.28/253.22	o 773
250.88/253.80	o 771
254.92/257.97	o 769
256.01/259.08	o 766
256.31/259.31	o 761
258.39/261.40	o 759
259.97/263.01	o 758
260.36/263.43	o 755
264.12/267.24	o 754
264.61/267.74	o 752
266.10/269.22	o 751
266.49/269.66	o 748
267.87/271.08	o 747
269.46/272.61	o 746
269.76/272.93	o 743
270.25/273.45	o 742
270.75/273.96	o 741
272.82/276.02	o 740
273.71/276.92	o 739
276.87/280.14	o 736
278.36/281.62	o 734
278.85/282.15	o 733
279.84/283.18	o 732
280.92/284.20	o 731
282.01/285.36	o 729
283.10/286.42	o 725
283.50/286.83	o 723
284.39/287.75	o 720
285.38/288.79	o 719
285.98/289.35	o 718
286.47/289.85	o 716
287.96/291.36	o 715
288.55/291.97	o 713
289.73/293.12	o 711
295.07/298.53	o 710
295.47/298.99	o 709
295.97/299.48	o 708
296.56/300.01	o 706
297.05/300.51	o 704
297.65/301.14	o 695
298.93/302.44	o 694
299.13/302.63	o 690
299.52/303.05	o 684
299.72/303.21	o 680
300.02/303.57	o 677
300.41/303.90	o 671
300.81/304.32	o 670
301.59/305.18	o 667
302.49/306.05	o 666
302.98/306.50	o 664
303.38/306.93	o 662
304.17/307.77	o 661
305.46/309.02	o 659
305.75/309.35	o 657
306.14/309.77	o 656
307.63/311.25	o 655
308.03/311.68	o 652
308.42/312.06	o 650
308.82/312.46	o 648
309.21/312.84	o 647
309.60/313.25	o 646
310.00/313.64	o 645
311.19/314.84	o 644
311.58/315.25	o 642
311.98/315.62	o 641
312.37/316.02	o 637
312.67/316.39	o 635
313.17/316.81	o 634
313.56/317.20	o 628
316.52/320.21	o 626
316.92/320.69	o 625
318.30/322.09	o 624
319.29/323.09	o 623
320.28/324.07	o 622
320.78/324.57	o 620
321.77/325.54	o 617
322.75/326.53	o 616
323.05/326.87	o 614
323.54/327.35	o 611
324.04/327.83	o 608
324.42/328.29	o 606
324.92/328.77	o 604
326.90/330.73	o 603
327.20/331.05	o 601
328.19/332.02	o 599
328.68/332.53	o 598
329.17/333.00	o 594
330.37/334.26	o 589
331.65/335.56	o 588
334.92/338.82	o 586
336.10/340.09	o 584
348.06/352.18	o 582
348.55/352.69	o 581
349.64/353.71	o 578
351.13/355.21	o 577
351.42/355.57	o 576
351.92/356.08	o 574
352.22/356.40	o 573
352.70/356.89	o 571
353.21/357.37	o 569
355.58/359.79	o 568
359.03/363.29	o 567
360.12/364.32	o 566
360.72/364.92	o 563
361.80/366.05	o 560
362.30/366.59	o 559
364.47/368.70	o 558
365.46/369.75	o 556
366.54/370.84	o 553
367.14/371.43	o 552
367.63/371.99	o 549
369.91/374.29	o 547
370.50/374.87	o 546
385.73/390.21	o 545
386.41/390.94	o 544
387.01/391.54	o 542
387.60/392.14	o 540
387.90/392.43	o 539
388.50/393.05	o 537
389.19/393.72	o 536
389.69/394.22	o 534
390.39/394.90	o 533
391.57/396.15	o 531
391.96/396.51	o 530
395.32/399.94	o 529
399.67/404.39	o 528
400.37/405.02	o 526
400.96/405.63	o 524
403.53/408.29	o 522
405.51/410.30	o 521
409.86/414.70	o 519
411.83/416.65	o 516
413.12/417.96	o 515
415.10/419.91	o 514
415.59/420.41	o 513
417.37/422.22	o 511
418.75/423.70	o 509
419.45/424.33	o 507
423.80/428.79	o 506
425.09/430.09	o 505
427.06/432.06	o 503
427.26/432.23	o 502
427.95/432.91	o 501
428.54/433.57	o 500
429.23/434.20	o 499
441.31/446.47	o 498
441.89/447.01	o 497
442.39/447.53	o 496
443.68/448.90	o 495
450.80/456.04	o 494
451.39/456.68	o 492
454.56/459.84	o 491
457.72/463.03	o 489
462.86/468.30	o 484
463.55/468.98	o 483
464.25/469.64	o 482
473.64/479.13	o 481
474.33/479.84	o 479
477.10/482.69	o 478
477.89/483.44	o 477
479.37/484.92	o 475
480.75/486.38	o 474
487.28/492.99	o 472
487.77/493.46	o 471
507.75/513.63	o 468
509.92/515.86	o 467
510.71/516.60	o 466
511.41/517.30	o 465
511.90/517.86	o 464
514.57/520.56	o 463
520.20/526.26	o 462
520.99/527.03	o 461
523.76/529.81	o 460
524.36/530.47	o 459
554.92/561.32	   
554.92/561.32	   search
554.92/561.32	     run=0  nbConstraintChecks=1282655540  nbAssignments=1392
554.92/561.32	       =>  wckTime=548.911  cpuTime=542.66  mem=33M639
554.92/561.32	   
554.92/561.32	   global
554.92/561.32	     nbConstraintChecks=1282655540  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
554.92/561.32	     solvingWckTime=548.904  solvingCpuTime=542.65  expiredTime=no  totalExploration=no  nbFoundSolutions=0
554.92/561.32	     globalCpuTime=554.02
554.92/561.32	       =>  wckTime=561.087  cpuTime=553.97  mem=33M639
554.92/561.32	   
554.92/561.32	   solver DecomposerSolver being built... 
560.74/567.25	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-1112929-1215875622/watcher-1112929-1215875622 -o /tmp/evaluation-result-1112929-1215875622/solver-1112929-1215875622 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112929-1215875622.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: 1.92 1.98 1.99 3/106 13424
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=152 CPUtime=0
/proc/13424/stat : 13424 (java) R 13422 13424 12781 0 -1 0 41 0 0 0 0 0 0 0 19 0 1 0 44259458 155648 26 996147200 134512640 134550740 4294956128 18446744073709551615 2601764 0 0 4096 0 0 0 0 17 0 0 0
/proc/13424/statm: 38 26 19 9 0 4 0

[startup+0.032332 s]
/proc/loadavg: 1.92 1.98 1.99 3/106 13424
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=861552 CPUtime=0.01
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 1866 0 1 0 0 1 0 0 18 0 4 0 44259458 882229248 1553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 215388 1553 691 9 0 210367 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861552

[startup+0.101866 s]
/proc/loadavg: 1.92 1.98 1.99 3/106 13424
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=865984 CPUtime=0.08
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 3759 0 1 0 6 2 0 0 18 0 9 0 44259458 886767616 3218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216496 3218 1701 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301888 s]
/proc/loadavg: 1.92 1.98 1.99 3/106 13424
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=866236 CPUtime=0.28
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 5773 0 1 0 24 4 0 0 18 0 9 0 44259458 887025664 5148 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216559 5148 1954 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866236

[startup+0.702936 s]
/proc/loadavg: 1.92 1.98 1.99 3/106 13424
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867104 CPUtime=0.67
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 10026 0 1 0 61 6 0 0 18 0 9 0 44259458 887914496 9388 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216776 9388 1997 9 0 211282 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867104

[startup+1.50302 s]
/proc/loadavg: 1.92 1.98 1.99 3/115 13433
/proc/meminfo: memFree=1347784/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867624 CPUtime=1.47
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 20599 0 1 0 135 12 0 0 18 0 9 0 44259458 888446976 19933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216906 19933 2005 9 0 211434 0
[pid=13424/tid=13426] ppid=13422 vsize=867624 CPUtime=1.2
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15790 0 1 0 111 9 0 0 25 0 9 0 44259460 888446976 19933 996147200 134512640 134550740 4294955952 18446744073709551615 4126870711 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867624 CPUtime=0.07
/proc/13424/task/13427/stat : 13427 (java) S 13422 13424 12781 0 -1 64 3454 0 0 0 6 1 0 0 16 0 9 0 44259461 888446976 19933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888446976 19933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44259461 888446976 19933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888446976 19933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867624 CPUtime=0.16
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 657 0 0 0 16 0 0 0 16 0 9 0 44259463 888446976 19933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888446976 19933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888446976 19933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867624

[startup+3.1012 s]
/proc/loadavg: 1.92 1.98 1.99 3/115 13433
/proc/meminfo: memFree=1317064/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867624 CPUtime=3.05
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 20610 0 1 0 293 12 0 0 18 0 9 0 44259458 888446976 19943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216906 19943 2005 9 0 211434 0
[pid=13424/tid=13426] ppid=13422 vsize=867624 CPUtime=2.78
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15795 0 1 0 269 9 0 0 25 0 9 0 44259460 888446976 19943 996147200 134512640 134550740 4294955952 18446744073709551615 4126892185 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867624 CPUtime=0.07
/proc/13424/task/13427/stat : 13427 (java) S 13422 13424 12781 0 -1 64 3454 0 0 0 6 1 0 0 17 0 9 0 44259461 888446976 19943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888446976 19943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44259461 888446976 19943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888446976 19943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867624 CPUtime=0.16
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 663 0 0 0 16 0 0 0 16 0 9 0 44259463 888446976 19943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888446976 19943 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888446976 19943 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) 867624

[startup+6.30156 s]
/proc/loadavg: 1.93 1.98 1.99 3/115 13433
/proc/meminfo: memFree=1316936/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867624 CPUtime=6.21
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 20613 0 1 0 609 12 0 0 18 0 9 0 44259458 888446976 19945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216906 19945 2005 9 0 211434 0
[pid=13424/tid=13426] ppid=13422 vsize=867624 CPUtime=5.94
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15797 0 1 0 585 9 0 0 25 0 9 0 44259460 888446976 19945 996147200 134512640 134550740 4294955952 18446744073709551615 4126463971 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867624 CPUtime=0.07
/proc/13424/task/13427/stat : 13427 (java) S 13422 13424 12781 0 -1 64 3454 0 0 0 6 1 0 0 17 0 9 0 44259461 888446976 19945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888446976 19945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44259461 888446976 19945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888446976 19945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867624 CPUtime=0.17
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 664 0 0 0 17 0 0 0 16 0 9 0 44259463 888446976 19945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888446976 19945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867624 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888446976 19945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867624

[startup+12.7013 s]
/proc/loadavg: 1.93 1.98 1.99 5/115 13433
/proc/meminfo: memFree=1302920/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867712 CPUtime=12.54
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 28009 0 1 0 1239 15 0 0 18 0 9 0 44259458 888537088 27145 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216928 27145 2638 9 0 211434 0
[pid=13424/tid=13426] ppid=13422 vsize=867712 CPUtime=11.79
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15866 0 1 0 1170 9 0 0 25 0 9 0 44259460 888537088 27145 996147200 134512640 134550740 4294955952 18446744073709551615 4127187392 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867712 CPUtime=0.43
/proc/13424/task/13427/stat : 13427 (java) S 13422 13424 12781 0 -1 64 10712 0 0 0 40 3 0 0 17 0 9 0 44259461 888537088 27145 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27145 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27145 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888537088 27145 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867712 CPUtime=0.27
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 733 0 0 0 27 0 0 0 16 0 9 0 44259463 888537088 27145 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888537088 27145 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888537088 27145 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867712

[startup+25.5027 s]
/proc/loadavg: 1.95 1.98 1.99 3/115 13433
/proc/meminfo: memFree=1290504/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867712 CPUtime=25.19
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 28015 0 1 0 2503 16 0 0 18 0 9 0 44259458 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216928 27150 2640 9 0 211434 0
[pid=13424/tid=13426] ppid=13422 vsize=867712 CPUtime=24.44
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15867 0 1 0 2434 10 0 0 25 0 9 0 44259460 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4127123672 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867712 CPUtime=0.43
/proc/13424/task/13427/stat : 13427 (java) S 13422 13424 12781 0 -1 64 10712 0 0 0 40 3 0 0 16 0 9 0 44259461 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867712 CPUtime=0.27
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 738 0 0 0 27 0 0 0 16 0 9 0 44259463 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 867712

[startup+51.1027 s]
/proc/loadavg: 1.96 1.98 1.99 4/115 13433
/proc/meminfo: memFree=1290440/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867712 CPUtime=50.48
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 28015 0 1 0 5031 17 0 0 18 0 9 0 44259458 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216928 27150 2640 9 0 211434 0
[pid=13424/tid=13426] ppid=13422 vsize=867712 CPUtime=49.74
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15867 0 1 0 4963 11 0 0 25 0 9 0 44259460 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4126871869 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867712 CPUtime=0.43
/proc/13424/task/13427/stat : 13427 (java) S 13422 13424 12781 0 -1 64 10712 0 0 0 40 3 0 0 16 0 9 0 44259461 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867712 CPUtime=0.27
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 738 0 0 0 27 0 0 0 16 0 9 0 44259463 888537088 27150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867712 CPUtime=0

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

Current children cumulated CPU time (s) 531.38
Current children cumulated vsize (KiB) 867712

[startup+550.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/115 13435
/proc/meminfo: memFree=1289352/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867712 CPUtime=544.03
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 28031 0 1 0 54375 28 0 0 18 0 9 0 44259458 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216928 27161 2640 9 0 211434 0
[pid=13424/tid=13426] ppid=13422 vsize=867712 CPUtime=543.27
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15871 0 1 0 54304 23 0 0 25 0 9 0 44259460 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4126869384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867712 CPUtime=0.43
/proc/13424/task/13427/stat : 13427 (java) S 13422 13424 12781 0 -1 64 10712 0 0 0 40 3 0 0 16 0 9 0 44259461 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867712 CPUtime=0.3
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 750 0 0 0 29 1 0 0 15 0 9 0 44259463 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 544.03
Current children cumulated vsize (KiB) 867712

[startup+556.702 s]
/proc/loadavg: 1.99 1.98 1.99 3/115 13435
/proc/meminfo: memFree=1289352/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867712 CPUtime=550.37
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 28031 0 1 0 55008 29 0 0 18 0 9 0 44259458 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216928 27161 2640 9 0 211434 0
[pid=13424/tid=13426] ppid=13422 vsize=867712 CPUtime=549.6
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15871 0 1 0 54937 23 0 0 25 0 9 0 44259460 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4127187324 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867712 CPUtime=0.43
/proc/13424/task/13427/stat : 13427 (java) S 13422 13424 12781 0 -1 64 10712 0 0 0 40 3 0 0 16 0 9 0 44259461 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867712 CPUtime=0.3
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 750 0 0 0 29 1 0 0 15 0 9 0 44259463 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888537088 27161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 550.37
Current children cumulated vsize (KiB) 867712

[startup+563.103 s]
/proc/loadavg: 1.99 1.98 1.99 4/115 13435
/proc/meminfo: memFree=769216/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867712 CPUtime=556.69
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 157891 0 1 0 55590 79 0 0 18 0 9 0 44259458 888537088 156969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216928 156969 2641 9 0 211434 0
[pid=13424/tid=13426] ppid=13422 vsize=867712 CPUtime=554.81
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15957 0 1 0 55458 23 0 0 25 0 9 0 44259460 888537088 156969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867712 CPUtime=1.53
/proc/13424/task/13427/stat : 13427 (java) R 13422 13424 12781 0 -1 64 140463 0 0 0 100 53 0 0 16 0 9 0 44259461 888537088 156969 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888537088 156969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44259461 888537088 156969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888537088 156969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867712 CPUtime=0.32
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 757 0 0 0 31 1 0 0 15 0 9 0 44259463 888537088 156969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888537088 156969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867712 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888537088 156969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 556.69
Current children cumulated vsize (KiB) 867712

[startup+564.703 s]
/proc/loadavg: 2.07 2.00 2.00 4/115 13435
/proc/meminfo: memFree=598720/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867844 CPUtime=558.27
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 200452 0 1 0 55731 96 0 0 18 0 9 0 44259458 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216961 199495 2618 9 0 211489 0
[pid=13424/tid=13426] ppid=13422 vsize=867844 CPUtime=554.95
/proc/13424/task/13426/stat : 13426 (java) R 13422 13424 12781 0 -1 64 15962 0 1 0 55472 23 0 0 25 0 9 0 44259460 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867844 CPUtime=2.96
/proc/13424/task/13427/stat : 13427 (java) R 13422 13424 12781 0 -1 64 183019 0 0 0 226 70 0 0 16 0 9 0 44259461 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44259461 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867844 CPUtime=0.32
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 757 0 0 0 31 1 0 0 15 0 9 0 44259463 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 558.27
Current children cumulated vsize (KiB) 867844

[startup+566.302 s]
/proc/loadavg: 2.07 2.00 2.00 6/115 13435
/proc/meminfo: memFree=598720/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867844 CPUtime=559.85
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 200483 0 1 0 55889 96 0 0 18 0 9 0 44259458 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216961 199495 2618 9 0 211489 0
[pid=13424/tid=13426] ppid=13422 vsize=867844 CPUtime=554.96
/proc/13424/task/13426/stat : 13426 (java) S 13422 13424 12781 0 -1 64 15963 0 1 0 55473 23 0 0 25 0 9 0 44259460 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867844 CPUtime=4.54
/proc/13424/task/13427/stat : 13427 (java) R 13422 13424 12781 0 -1 64 183049 0 0 0 384 70 0 0 18 0 9 0 44259461 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44259461 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867844 CPUtime=0.32
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 757 0 0 0 31 1 0 0 15 0 9 0 44259463 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867844 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888672256 199495 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 559.85
Current children cumulated vsize (KiB) 867844

[startup+567.101 s]
/proc/loadavg: 2.07 2.00 2.00 3/115 13435
/proc/meminfo: memFree=598720/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=867656 CPUtime=560.64
/proc/13424/stat : 13424 (java) S 13422 13424 12781 0 -1 0 200483 0 1 0 55968 96 0 0 18 0 9 0 44259458 888479744 199480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 216914 199480 2618 9 0 211442 0
[pid=13424/tid=13426] ppid=13422 vsize=867656 CPUtime=554.96
/proc/13424/task/13426/stat : 13426 (java) S 13422 13424 12781 0 -1 64 15963 0 1 0 55473 23 0 0 16 0 9 0 44259460 888479744 199480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13427] ppid=13422 vsize=867656 CPUtime=5.33
/proc/13424/task/13427/stat : 13427 (java) R 13422 13424 12781 0 -1 64 183049 0 0 0 463 70 0 0 20 0 9 0 44259461 888479744 199480 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13428] ppid=13422 vsize=867656 CPUtime=0
/proc/13424/task/13428/stat : 13428 (java) S 13422 13424 12781 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44259461 888479744 199480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13429] ppid=13422 vsize=867656 CPUtime=0
/proc/13424/task/13429/stat : 13429 (java) S 13422 13424 12781 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44259461 888479744 199480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13430] ppid=13422 vsize=867656 CPUtime=0
/proc/13424/task/13430/stat : 13430 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44259463 888479744 199480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13431] ppid=13422 vsize=867656 CPUtime=0.32
/proc/13424/task/13431/stat : 13431 (java) S 13422 13424 12781 0 -1 64 757 0 0 0 31 1 0 0 15 0 9 0 44259463 888479744 199480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13432] ppid=13422 vsize=867656 CPUtime=0
/proc/13424/task/13432/stat : 13432 (java) S 13422 13424 12781 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44259463 888479744 199480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13424/tid=13433] ppid=13422 vsize=867656 CPUtime=0
/proc/13424/task/13433/stat : 13433 (java) S 13422 13424 12781 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44259463 888479744 199480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 560.64
Current children cumulated vsize (KiB) 867656

[startup+567.302 s]
/proc/loadavg: 2.07 2.00 2.00 3/115 13435
/proc/meminfo: memFree=598720/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=0 CPUtime=560.8
/proc/13424/stat : 13424 (java) Z 13422 13424 12781 0 -1 12 200491 0 1 0 55983 97 0 0 16 0 2 0 44259458 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 560.8
Current children cumulated vsize (KiB) 0

[startup+567.402 s]
/proc/loadavg: 2.07 2.00 2.00 3/115 13435
/proc/meminfo: memFree=598720/2055920 swapFree=4192812/4192956
[pid=13424] ppid=13422 vsize=0 CPUtime=560.9
/proc/13424/stat : 13424 (java) Z 13422 13424 12781 0 -1 12 200491 0 1 0 55983 107 0 0 16 0 2 0 44259458 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13424/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 560.9
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 567.407
CPU time (s): 560.922
CPU user time (s): 559.84
CPU system time (s): 1.08183
CPU usage (%): 98.8571
Max. virtual memory (cumulated for all children) (KiB): 867900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 559.84
system time used= 1.08183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200491
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= 13042
involuntary context switches= 30483

runsolver used 0.808877 second user time and 2.38464 second system time

The end

Launcher Data (download as text)

Begin job on node85 at 2008-07-12 17:13:42
IDJOB=1112929
IDBENCH=61498
IDSOLVER=359
FILE ID=node85/1112929-1215875622
PBS_JOBID= 7903533
Free space on /tmp= 126848 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112929-1215875622/watcher-1112929-1215875622 -o /tmp/evaluation-result-1112929-1215875622/solver-1112929-1215875622 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112929-1215875622.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 5b6f3d81a66e437062b2495198dba4e6
RANDOM SEED=1444281322

node85.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.225
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.225
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1390192 kB
Buffers:         13920 kB
Cached:          59724 kB
SwapCached:          0 kB
Active:         598224 kB
Inactive:        18252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1390192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3260 kB
Writeback:           0 kB
Mapped:         564340 kB
Slab:            30700 kB
Committed_AS:  1109276 kB
PageTables:       4960 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= 126848 MiB
End job on node85 at 2008-07-12 17:23:09