Trace number 1112791

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? 499.027 503.931

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-0.xml
MD5SUM701805f3dd433f8e5a195a0325c2f865
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints36
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.18/0.22	
0.18/0.22	   configuration
0.18/0.22	     name=mrdac-wdeg.xml
0.27/0.30	   
0.27/0.30	   instance
0.27/0.30	     name=HOME/instance-1112791-1215874101.xml
0.27/0.34	   
0.27/0.34	   domains being loaded...
0.38/0.43	   
0.38/0.43	   variables being loaded...
0.58/0.65	     nbVariables=750  nbDomainTypes=14  minDomainSize=82  maxDomainSize=998  nbTotalValues=329841
0.58/0.65	       =>  wckTime=0.425  cpuTime=0.32  mem=17M633
0.58/0.65	   
0.58/0.65	   predicates being loaded...
0.67/0.71	   
0.67/0.71	   constraints being loaded...
10.48/10.62	   
10.48/10.62	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 31M510)
12.16/12.32	     nbConstraints=8639  nbConvertedConstraints=260  nbConvertConstraintsChecks=36016388  nbExtensionStructures=245
12.16/12.32	     nbSharedExtensionStructures=28  nbConflictsStructures=485  nbSharedConflictsStructures=513
12.16/12.32	     nbUnbuiltConflictsStructures=5415  nbSharedBinaryRepresentations=172203  nbEvaluationManagers=5655
12.16/12.33	     nbSharedEvaluationManagers=2724  minDegree=5  maxDegree=31  minArity=2  maxArity=2
12.16/12.33	       =>  wckTime=12.098  cpuTime=11.47  mem=29M181
12.26/12.49	   
12.26/12.49	   solver LocalSearchSolver being built... 
12.36/12.54	       =>  wckTime=12.31  cpuTime=11.5  mem=30M781
12.56/12.72	
12.56/12.72	s SATISFIABLE
12.56/12.72	o 2560
12.56/12.77	o 2551
12.66/12.84	o 2545
12.76/12.93	o 2535
12.76/12.97	o 2531
12.86/13.02	o 2528
12.86/13.06	o 2526
12.96/13.12	o 2524
12.96/13.15	o 2523
12.96/13.19	o 2522
13.06/13.27	o 2514
13.15/13.31	o 2509
13.15/13.35	o 2504
13.15/13.38	o 2499
13.25/13.42	o 2494
13.25/13.46	o 2492
13.25/13.49	o 2491
13.35/13.52	o 2489
13.35/13.55	o 2487
13.35/13.57	o 2485
13.45/13.60	o 2484
13.45/13.64	o 2483
13.55/13.75	o 2482
13.55/13.78	o 2481
13.65/13.83	o 2475
13.65/13.85	o 2470
13.65/13.89	o 2467
13.74/13.92	o 2464
13.74/13.95	o 2463
13.74/13.97	o 2462
13.85/14.00	o 2461
13.85/14.02	o 2460
13.85/14.03	o 2459
13.85/14.06	o 2457
13.85/14.07	o 2456
13.85/14.08	o 2453
13.85/14.09	o 2452
13.95/14.10	o 2450
13.95/14.14	o 2440
13.95/14.17	o 2439
13.95/14.19	o 2438
14.05/14.22	o 2433
14.05/14.25	o 2429
14.05/14.28	o 2426
14.15/14.31	o 2424
14.15/14.34	o 2422
14.15/14.35	o 2420
14.15/14.37	o 2416
14.15/14.40	o 2414
14.24/14.42	o 2413
14.24/14.45	o 2412
14.34/14.55	o 2409
14.44/14.60	o 2407
14.44/14.62	o 2403
14.44/14.65	o 2402
14.44/14.69	o 2400
14.54/14.74	o 2396
14.54/14.78	o 2390
14.64/14.83	o 2381
14.74/14.91	o 2380
14.74/14.96	o 2379
14.83/15.00	o 2377
14.83/15.05	o 2376
14.93/15.11	o 2374
14.93/15.15	o 2372
14.93/15.19	o 2370
15.03/15.24	o 2367
15.23/15.44	o 2366
15.23/15.48	o 2359
15.32/15.51	o 2357
15.32/15.58	o 2352
15.42/15.62	o 2349
15.42/15.67	o 2346
15.42/15.70	o 2342
15.52/15.72	o 2341
15.52/15.76	o 2340
15.52/15.78	o 2338
15.62/15.81	o 2337
15.62/15.88	o 2332
15.72/15.92	o 2331
15.72/15.95	o 2330
15.83/16.01	o 2328
15.83/16.05	o 2326
15.92/16.15	o 2325
15.92/16.19	o 2322
16.02/16.24	o 2312
16.02/16.29	o 2311
16.12/16.38	o 2309
16.22/16.46	o 2303
16.32/16.50	o 2301
16.32/16.59	o 2299
16.42/16.63	o 2291
16.42/16.66	o 2288
16.42/16.70	o 2285
16.52/16.73	o 2282
16.62/16.82	o 2281
16.62/16.86	o 2279
16.72/16.94	o 2275
16.72/16.98	o 2273
16.82/17.00	o 2268
16.82/17.04	o 2263
16.82/17.08	o 2260
16.92/17.12	o 2258
16.92/17.17	o 2256
17.01/17.21	o 2255
17.01/17.24	o 2254
17.01/17.27	o 2252
17.11/17.32	o 2250
17.11/17.36	o 2246
17.11/17.40	o 2245
17.21/17.43	o 2244
17.21/17.46	o 2243
17.21/17.49	o 2242
17.31/17.58	o 2240
17.41/17.63	o 2238
17.41/17.67	o 2233
17.60/17.80	o 2230
17.60/17.85	o 2227
17.70/17.90	o 2220
17.70/17.95	o 2219
17.70/17.98	o 2217
17.80/18.03	o 2215
17.80/18.07	o 2213
17.90/18.12	o 2208
17.90/18.16	o 2205
18.00/18.28	o 2200
18.10/18.39	o 2198
18.39/18.65	o 2197
18.49/18.70	o 2190
18.49/18.76	o 2186
18.59/18.81	o 2185
18.59/18.88	o 2182
18.69/18.93	o 2181
18.69/18.98	o 2179
18.79/19.04	o 2178
18.99/19.29	o 2174
19.18/19.41	o 2169
19.18/19.47	o 2165
19.28/19.54	o 2157
19.38/19.60	o 2155
19.38/19.67	o 2154
19.48/19.74	o 2151
19.48/19.80	o 2148
19.58/19.86	o 2147
19.68/19.92	o 2146
19.68/19.99	o 2145
19.88/20.12	o 2140
20.07/20.31	o 2136
20.07/20.38	o 2132
20.17/20.44	o 2130
20.27/20.50	o 2126
20.27/20.56	o 2122
20.37/20.61	o 2121
20.37/20.68	o 2119
20.47/20.72	o 2116
20.47/20.76	o 2114
20.57/20.81	o 2109
20.57/20.86	o 2108
20.57/20.90	o 2106
20.67/20.96	o 2104
20.76/21.02	o 2102
20.86/21.14	o 2099
20.96/21.28	o 2096
21.06/21.33	o 2093
21.06/21.39	o 2091
21.16/21.46	o 2086
21.26/21.54	o 2081
21.36/21.60	o 2079
21.36/21.66	o 2075
21.46/21.71	o 2071
21.56/21.84	o 2066
21.56/21.90	o 2063
21.76/22.08	o 2057
21.85/22.20	o 2053
21.95/22.26	o 2052
22.25/22.53	o 2046
22.25/22.58	o 2045
22.35/22.64	o 2041
22.45/22.70	o 2039
22.45/22.76	o 2037
22.54/22.83	o 2034
22.54/22.89	o 2032
22.64/22.95	o 2027
22.74/23.02	o 2025
22.74/23.07	o 2024
22.85/23.19	o 2019
22.95/23.26	o 2018
23.05/23.30	o 2017
23.05/23.34	o 2009
23.05/23.39	o 2006
23.15/23.46	o 2001
23.25/23.53	o 1997
23.25/23.57	o 1992
23.35/23.63	o 1990
23.45/23.71	o 1989
23.45/23.78	o 1988
23.54/23.87	o 1987
23.64/23.95	o 1986
23.74/24.01	o 1984
23.74/24.08	o 1977
23.84/24.16	o 1976
24.03/24.37	o 1974
24.13/24.43	o 1973
24.13/24.49	o 1972
24.43/24.75	o 1967
24.53/24.81	o 1964
24.62/24.96	o 1961
24.72/25.04	o 1957
24.82/25.10	o 1955
24.82/25.16	o 1954
24.92/25.22	o 1951
24.92/25.30	o 1946
25.02/25.38	o 1944
25.12/25.48	o 1937
25.22/25.58	o 1929
25.32/25.67	o 1928
25.42/25.76	o 1926
25.52/25.83	o 1923
25.52/25.90	o 1919
25.62/25.98	o 1913
25.71/26.06	o 1910
25.81/26.14	o 1906
25.91/26.24	o 1903
26.11/26.44	o 1898
26.20/26.53	o 1895
26.40/26.70	o 1893
26.60/26.93	o 1891
26.71/27.03	o 1890
26.81/27.13	o 1887
26.91/27.23	o 1884
27.01/27.32	o 1881
27.11/27.42	o 1879
27.50/27.87	o 1878
27.70/28.07	o 1876
27.80/28.17	o 1870
27.89/28.26	o 1868
27.99/28.35	o 1863
28.09/28.44	o 1860
28.19/28.53	o 1852
28.29/28.62	o 1848
28.39/28.71	o 1846
28.49/28.80	o 1845
28.49/28.89	o 1841
28.59/28.96	o 1838
28.69/29.05	o 1837
28.79/29.13	o 1830
28.89/29.21	o 1828
28.89/29.29	o 1827
28.98/29.37	o 1824
29.08/29.45	o 1823
29.18/29.53	o 1819
29.28/29.61	o 1818
29.28/29.68	o 1813
29.38/29.78	o 1809
29.47/29.86	o 1807
29.57/29.96	o 1806
29.67/30.05	o 1805
29.77/30.11	o 1799
29.77/30.19	o 1796
29.87/30.28	o 1793
29.97/30.36	o 1791
30.07/30.44	o 1786
30.17/30.53	o 1782
30.27/30.63	o 1781
30.27/30.69	o 1780
30.37/30.77	o 1779
30.47/30.84	o 1774
30.56/30.90	o 1773
30.56/30.98	o 1772
30.76/31.14	o 1771
30.86/31.23	o 1764
30.96/31.38	o 1762
31.06/31.47	o 1759
31.16/31.57	o 1757
31.36/31.76	o 1755
31.65/32.05	o 1754
31.85/32.21	o 1751
31.95/32.31	o 1750
32.24/32.69	o 1745
32.44/32.90	o 1743
32.54/32.99	o 1742
32.64/33.08	o 1740
32.74/33.18	o 1738
32.84/33.29	o 1734
32.94/33.38	o 1730
33.04/33.47	o 1727
33.44/33.86	o 1726
33.54/33.95	o 1725
33.64/34.06	o 1720
33.74/34.16	o 1718
33.83/34.25	o 1712
33.93/34.35	o 1706
34.13/34.52	o 1705
34.42/34.81	o 1701
34.42/34.89	o 1698
34.52/34.98	o 1697
34.62/35.07	o 1693
34.72/35.17	o 1692
34.82/35.25	o 1691
35.22/35.61	o 1689
35.32/35.77	o 1686
35.42/35.87	o 1682
35.61/36.05	o 1678
35.71/36.12	o 1677
35.81/36.21	o 1672
35.81/36.29	o 1668
35.91/36.37	o 1663
36.01/36.45	o 1662
36.21/36.62	o 1659
36.21/36.68	o 1658
36.31/36.75	o 1655
36.41/36.83	o 1649
36.41/36.89	o 1642
36.51/36.99	o 1638
36.70/37.16	o 1634
36.90/37.34	o 1632
37.00/37.42	o 1630
37.09/37.51	o 1629
37.19/37.60	o 1626
37.19/37.69	o 1624
37.29/37.78	o 1622
37.39/37.86	o 1621
37.49/37.95	o 1619
37.59/38.03	o 1614
37.69/38.12	o 1613
37.79/38.20	o 1612
37.88/38.30	o 1610
38.08/38.52	o 1607
38.18/38.62	o 1606
38.38/38.88	o 1605
38.58/39.01	o 1604
38.68/39.14	o 1602
38.97/39.45	o 1601
39.07/39.57	o 1596
39.27/39.73	o 1594
39.37/39.85	o 1590
39.47/39.96	o 1588
39.57/40.08	o 1584
39.68/40.19	o 1583
39.97/40.47	o 1581
40.07/40.57	o 1576
40.17/40.68	o 1573
40.37/40.88	o 1572
40.47/40.98	o 1567
40.57/41.08	o 1564
40.67/41.19	o 1558
40.76/41.30	o 1557
41.16/41.60	o 1555
41.16/41.69	o 1550
41.55/42.09	o 1546
41.65/42.20	o 1544
41.75/42.29	o 1543
42.05/42.58	o 1540
42.34/42.82	o 1538
42.44/42.95	o 1536
42.64/43.16	o 1533
42.94/43.40	o 1529
43.04/43.53	o 1527
43.13/43.64	o 1526
43.33/43.86	o 1522
43.43/43.97	o 1520
43.53/44.08	o 1519
43.63/44.18	o 1517
43.83/44.38	o 1515
43.93/44.48	o 1514
44.22/44.72	o 1511
44.32/44.84	o 1509
44.42/44.95	o 1506
44.52/45.06	o 1505
44.62/45.17	o 1504
44.71/45.28	o 1502
44.81/45.38	o 1500
45.11/45.61	o 1497
45.21/45.73	o 1490
45.80/46.33	o 1488
45.90/46.46	o 1484
46.00/46.58	o 1482
46.10/46.69	o 1477
46.20/46.79	o 1476
46.40/46.91	o 1473
46.40/46.99	o 1471
46.60/47.11	o 1468
46.70/47.24	o 1466
46.79/47.35	o 1463
46.89/47.41	o 1459
46.99/47.51	o 1456
46.99/47.56	o 1450
47.09/47.66	o 1449
47.19/47.76	o 1443
47.29/47.86	o 1441
47.39/47.97	o 1440
47.48/48.05	o 1438
47.78/48.33	o 1436
48.07/48.60	o 1434
48.07/48.70	o 1432
48.17/48.79	o 1428
48.27/48.88	o 1422
48.37/48.97	o 1419
48.47/49.04	o 1413
48.57/49.13	o 1412
48.68/49.23	o 1408
48.88/49.43	o 1406
48.98/49.52	o 1402
49.07/49.63	o 1399
49.17/49.74	o 1396
49.27/49.84	o 1395
49.37/49.94	o 1393
49.57/50.16	o 1390
49.67/50.26	o 1387
49.77/50.37	o 1382
49.87/50.48	o 1381
49.97/50.59	o 1379
50.07/50.68	o 1377
50.16/50.78	o 1374
50.36/50.90	o 1368
50.46/51.01	o 1366
50.56/51.11	o 1365
50.66/51.22	o 1362
50.76/51.34	o 1359
50.86/51.44	o 1355
50.96/51.55	o 1353
51.06/51.66	o 1352
51.15/51.77	o 1349
51.25/51.88	o 1348
51.35/51.97	o 1347
51.55/52.19	o 1346
51.65/52.28	o 1343
51.75/52.39	o 1339
52.24/52.86	o 1337
52.34/52.97	o 1334
52.44/53.07	o 1333
52.54/53.17	o 1328
52.64/53.29	o 1325
52.84/53.42	o 1320
52.93/53.53	o 1319
53.03/53.66	o 1315
53.13/53.78	o 1314
53.53/54.16	o 1311
54.02/54.66	o 1308
54.12/54.78	o 1306
54.22/54.89	o 1303
54.42/55.01	o 1302
54.52/55.11	o 1300
54.62/55.24	o 1299
54.82/55.47	o 1297
55.02/55.60	o 1293
55.11/55.73	o 1290
55.21/55.85	o 1287
55.31/55.98	o 1285
55.51/56.11	o 1284
55.61/56.23	o 1283
55.91/56.50	o 1279
56.01/56.63	o 1278
56.11/56.75	o 1274
56.50/57.10	o 1273
56.60/57.22	o 1270
56.70/57.34	o 1268
56.90/57.54	o 1264
57.00/57.64	o 1260
57.10/57.76	o 1259
57.20/57.87	o 1256
57.29/57.99	o 1255
57.59/58.23	o 1254
57.69/58.35	o 1253
57.78/58.48	o 1250
58.08/58.72	o 1249
58.18/58.88	o 1248
58.38/59.01	o 1247
58.48/59.15	o 1244
58.58/59.29	o 1243
58.78/59.42	o 1242
58.87/59.55	o 1239
59.07/59.70	o 1235
59.96/60.69	o 1234
60.26/60.95	o 1232
60.36/61.08	o 1227
60.55/61.20	o 1223
60.65/61.33	o 1222
60.75/61.44	o 1219
60.95/61.68	o 1218
61.15/61.80	o 1217
61.25/61.93	o 1215
61.35/62.05	o 1212
61.64/62.30	o 1210
61.74/62.43	o 1207
61.84/62.55	o 1204
61.94/62.69	o 1200
62.14/62.82	o 1199
62.24/62.96	o 1195
62.53/63.25	o 1194
62.63/63.39	o 1191
63.13/63.80	o 1190
63.22/63.95	o 1187
63.32/64.08	o 1185
63.52/64.21	o 1184
63.62/64.35	o 1183
63.82/64.50	o 1180
63.92/64.63	o 1178
64.02/64.76	o 1174
64.12/64.90	o 1172
64.31/65.04	o 1171
64.41/65.16	o 1167
64.61/65.30	o 1166
64.61/65.38	o 1165
64.81/65.53	o 1164
64.91/65.67	o 1161
65.01/65.80	o 1159
65.21/65.92	o 1156
65.30/66.03	o 1150
65.50/66.27	o 1148
65.70/66.40	o 1145
65.80/66.53	o 1142
65.90/66.66	o 1141
65.99/66.80	o 1139
66.19/66.93	o 1136
66.39/67.15	o 1135
66.59/67.39	o 1132
66.99/67.73	o 1131
67.19/67.99	o 1129
67.49/68.24	o 1128
67.58/68.35	o 1126
67.68/68.47	o 1125
67.78/68.59	o 1122
68.97/69.72	o 1121
69.17/69.96	o 1119
69.47/70.22	o 1118
69.57/70.34	o 1117
69.67/70.47	o 1115
69.86/70.62	o 1113
69.96/70.75	o 1111
70.06/70.88	o 1109
70.26/71.03	o 1107
70.36/71.16	o 1106
70.46/71.30	o 1105
71.05/71.85	o 1103
71.15/71.99	o 1102
71.35/72.13	o 1100
71.44/72.27	o 1098
71.64/72.41	o 1096
71.94/72.71	o 1095
72.93/73.72	o 1094
73.03/73.82	o 1091
73.22/74.04	o 1087
73.32/74.17	o 1084
73.42/74.23	o 1081
73.52/74.35	o 1079
73.62/74.44	o 1076
73.72/74.51	o 1074
73.82/74.63	o 1070
73.92/74.76	o 1069
74.11/74.99	o 1068
74.41/75.25	o 1067
74.51/75.36	o 1064
74.61/75.49	o 1059
74.81/75.60	o 1058
74.91/75.71	o 1055
75.01/75.83	o 1054
75.70/76.50	o 1051
75.80/76.61	o 1050
75.90/76.71	o 1047
75.90/76.76	o 1044
76.10/76.98	o 1041
76.20/77.09	o 1040
76.29/77.20	o 1037
76.49/77.32	o 1034
76.69/77.51	o 1031
76.79/77.62	o 1028
77.28/78.12	o 1027
77.39/78.21	o 1026
77.49/78.34	o 1025
77.59/78.45	o 1021
77.98/78.81	o 1018
78.08/78.93	o 1014
78.18/79.05	o 1012
78.28/79.18	o 1010
78.48/79.31	o 1009
78.68/79.59	o 1008
78.88/79.74	o 1006
79.07/79.90	o 1003
79.27/80.19	o 1002
79.47/80.33	o 999
80.16/81.01	o 998
80.26/81.17	o 994
80.46/81.33	o 991
80.56/81.49	o 988
80.76/81.65	o 985
81.06/81.98	o 982
81.55/82.46	o 978
81.74/82.62	o 973
81.84/82.74	o 972
82.14/83.03	o 971
82.24/83.18	o 967
83.03/83.95	o 965
83.63/84.53	o 963
83.73/84.68	o 961
83.92/84.82	o 959
84.12/85.10	o 956
84.32/85.25	o 954
84.52/85.40	o 953
84.62/85.54	o 950
85.01/85.95	o 949
85.41/86.34	o 947
85.61/86.50	o 946
85.71/86.65	o 944
85.91/86.80	o 943
86.00/86.96	o 937
86.20/87.10	o 934
86.30/87.20	o 931
86.40/87.33	o 929
86.50/87.47	o 927
86.70/87.62	o 926
86.79/87.77	o 923
86.99/87.92	o 920
87.98/88.91	o 919
88.28/89.20	o 918
88.38/89.35	o 916
88.48/89.49	o 914
88.78/89.76	o 911
89.17/90.16	o 910
89.27/90.29	o 908
89.46/90.45	o 907
89.96/90.94	o 903
90.07/91.06	o 901
90.27/91.23	o 897
90.46/91.40	o 894
90.56/91.59	o 892
90.76/91.76	o 887
91.55/92.57	o 884
92.64/93.67	o 881
93.14/94.10	o 879
93.23/94.26	o 877
93.43/94.42	o 873
93.53/94.56	o 869
93.73/94.72	o 867
94.52/95.56	o 865
94.62/95.69	o 863
94.81/95.82	o 860
94.91/95.97	o 859
95.32/96.38	o 856
95.51/96.51	o 854
95.61/96.64	o 850
95.71/96.78	o 848
95.81/96.87	o 845
96.20/97.26	o 843
96.30/97.38	o 840
97.19/98.29	o 838
97.49/98.55	o 836
97.79/98.81	o 834
97.89/98.95	o 833
97.98/99.09	o 831
98.48/99.51	o 829
98.58/99.65	o 827
98.97/100.08	o 824
99.17/100.21	o 822
99.37/100.47	o 821
99.57/100.61	o 820
99.67/100.75	o 818
100.07/101.15	o 817
100.36/101.44	o 814
100.46/101.57	o 812
100.86/101.93	o 810
100.96/102.07	o 806
101.16/102.21	o 803
101.26/102.35	o 802
101.35/102.49	o 801
101.55/102.62	o 798
101.65/102.74	o 794
102.25/103.30	o 792
103.04/104.15	o 791
103.24/104.31	o 790
103.34/104.47	o 788
103.53/104.68	o 787
103.73/104.84	o 785
103.83/104.93	o 783
104.43/105.60	o 782
105.32/106.46	o 781
105.51/106.64	o 780
107.39/108.50	o 778
108.78/109.99	o 775
109.18/110.34	o 773
109.67/110.88	o 772
109.87/111.06	o 768
110.06/111.24	o 766
110.26/111.41	o 763
111.45/112.66	o 759
111.65/112.81	o 756
112.24/113.49	o 754
112.44/113.65	o 753
112.64/113.83	o 751
112.84/114.01	o 750
112.94/114.18	o 749
113.13/114.35	o 748
113.33/114.53	o 747
113.53/114.70	o 746
113.83/115.09	o 745
114.02/115.26	o 744
114.22/115.44	o 743
114.42/115.61	o 741
114.52/115.79	o 740
114.92/116.18	o 739
115.41/116.70	o 737
115.61/116.85	o 734
115.81/117.02	o 731
116.20/117.41	o 730
116.50/117.76	o 729
116.70/117.95	o 726
116.80/118.08	o 723
117.39/118.62	o 720
117.69/118.98	o 719
118.09/119.33	o 717
118.28/119.51	o 715
118.38/119.68	o 711
118.58/119.87	o 708
118.68/119.92	o 707
118.78/120.06	o 705
118.87/120.12	o 704
119.57/120.81	o 703
119.57/120.88	o 701
119.77/121.06	o 699
120.26/121.58	o 696
120.46/121.75	o 694
120.66/121.93	o 692
120.95/122.29	o 690
122.24/123.59	o 687
123.23/124.50	o 686
123.33/124.66	o 685
124.03/125.33	o 683
124.22/125.52	o 681
124.32/125.68	o 679
124.52/125.88	o 678
124.72/126.06	o 677
124.92/126.24	o 676
125.22/126.60	o 675
125.81/127.13	o 674
126.11/127.50	o 673
126.31/127.69	o 671
126.50/127.88	o 670
127.10/128.44	o 668
127.30/128.61	o 666
127.89/129.26	o 665
128.38/129.79	o 664
129.87/131.22	o 663
130.37/131.80	o 661
130.56/131.97	o 660
130.76/132.14	o 657
130.96/132.32	o 655
131.06/132.46	o 654
131.75/133.16	o 653
131.85/133.27	o 652
132.05/133.44	o 649
132.34/133.74	o 648
132.64/134.05	o 647
132.74/134.17	o 645
133.13/134.51	o 644
133.63/135.02	o 643
134.52/135.95	o 638
134.73/136.10	o 637
135.72/137.19	o 636
135.82/137.30	o 634
136.02/137.46	o 632
136.31/137.77	o 631
136.51/137.97	o 630
136.71/138.16	o 628
137.30/138.77	o 627
137.50/138.91	o 626
137.60/139.07	o 625
138.29/139.73	o 623
138.39/139.90	o 622
138.79/140.24	o 619
139.08/140.57	o 618
139.47/140.92	o 617
139.67/141.10	o 615
139.67/141.19	o 612
139.87/141.34	o 611
139.97/141.48	o 608
140.66/142.10	o 607
140.66/142.17	o 604
140.86/142.34	o 603
140.96/142.50	o 602
141.36/142.85	o 601
141.85/143.39	o 599
142.05/143.57	o 596
142.25/143.77	o 595
144.42/145.99	o 593
144.62/146.19	o 592
144.92/146.41	o 591
147.69/149.21	o 590
147.79/149.40	o 588
147.89/149.49	o 586
148.29/149.89	o 585
148.68/150.28	o 584
150.56/152.14	o 583
150.76/152.34	o 581
152.15/153.78	o 580
152.35/153.99	o 579
152.84/154.40	o 577
153.44/155.06	o 576
154.43/156.00	o 575
155.12/156.73	o 574
155.91/157.51	o 572
156.11/157.71	o 571
156.31/157.93	o 570
156.50/158.14	o 567
156.70/158.36	o 564
156.90/158.57	o 563
157.70/159.34	o 562
160.77/162.46	o 561
164.14/165.88	o 558
164.44/166.19	o 557
164.63/166.35	o 556
165.12/166.88	o 555
165.32/167.08	o 551
165.52/167.22	o 550
165.72/167.41	o 548
165.82/167.55	o 547
165.92/167.69	o 545
167.21/168.91	o 541
167.40/169.12	o 539
167.60/169.33	o 537
168.00/169.73	o 536
168.20/169.93	o 534
168.39/170.15	o 533
168.59/170.37	o 531
168.99/170.74	o 530
169.19/170.97	o 529
170.17/171.90	o 528
171.07/172.85	o 527
171.36/173.10	o 526
172.25/174.01	o 525
172.75/174.54	o 524
173.24/175.04	o 517
173.74/175.51	o 516
174.24/176.03	o 515
174.43/176.29	o 514
175.03/176.81	o 511
175.23/177.09	o 510
176.02/177.87	o 509
176.32/178.14	o 508
177.31/179.13	o 507
179.68/181.55	o 506
180.19/182.08	o 505
180.48/182.34	o 504
180.68/182.58	o 503
180.98/182.85	o 501
181.28/183.12	o 498
181.77/183.67	o 497
182.27/184.20	o 494
182.56/184.43	o 493
188.70/190.69	o 490
189.89/191.88	o 489
190.19/192.16	o 488
190.48/192.44	o 487
192.56/194.55	o 486
192.76/194.78	o 483
193.06/195.05	o 482
195.34/197.35	o 478
195.63/197.64	o 476
196.23/198.21	o 475
197.32/199.33	o 474
197.62/199.61	o 473
198.11/200.18	o 472
198.30/200.37	o 470
199.69/201.73	o 469
199.99/202.01	o 468
200.78/202.83	o 467
200.88/202.99	o 466
201.18/203.21	o 465
203.06/205.18	o 464
203.36/205.48	o 463
203.66/205.71	o 461
204.55/206.60	o 459
206.03/208.13	o 458
206.23/208.30	o 456
206.53/208.68	o 455
206.83/208.96	o 454
207.91/210.04	o 453
208.11/210.26	o 452
213.26/215.41	o 451
213.75/215.95	o 450
213.75/215.97	o 447
214.05/216.22	o 446
214.45/216.69	o 444
215.93/218.14	o 443
217.52/219.72	o 442
218.01/220.29	o 438
219.00/221.23	o 437
219.20/221.48	o 435
221.10/223.32	o 430
221.19/223.48	o 425
223.47/225.80	o 423
223.77/226.01	o 422
223.96/226.21	o 421
224.16/226.48	o 419
224.96/227.24	o 418
225.35/227.61	o 417
225.55/227.82	o 415
225.95/228.26	o 414
227.33/229.64	o 413
227.53/229.89	o 412
228.02/230.36	o 411
228.81/231.12	o 410
229.31/231.62	o 409
230.70/233.06	o 408
230.99/233.33	o 407
231.19/233.59	o 404
231.39/233.78	o 403
231.89/234.30	o 400
232.08/234.45	o 398
232.58/234.97	o 397
232.88/235.23	o 395
234.36/236.73	o 394
234.56/236.97	o 393
234.85/237.22	o 392
235.05/237.45	o 391
235.55/237.92	o 389
235.75/238.16	o 388
237.13/239.54	o 387
238.42/240.86	o 385
239.31/241.72	o 383
239.41/241.84	o 382
239.61/242.09	o 381
241.10/243.56	o 379
241.39/243.82	o 378
241.69/244.13	o 375
241.88/244.35	o 372
242.38/244.83	o 370
242.58/245.05	o 368
243.97/246.45	o 367
244.47/246.92	o 366
245.06/247.55	o 365
245.26/247.78	o 364
245.75/248.23	o 357
246.35/248.86	o 356
246.55/249.05	o 355
246.75/249.27	o 353
254.67/257.26	o 352
255.06/257.67	o 350
255.26/257.90	o 347
255.56/258.14	o 346
255.76/258.33	o 345
255.96/258.57	o 344
256.25/258.81	o 343
256.65/259.28	o 342
256.85/259.44	o 339
257.34/259.91	o 337
257.74/260.40	o 336
260.61/263.22	o 335
264.27/266.99	o 334
269.92/272.61	o 333
270.41/273.15	o 332
270.61/273.38	o 331
271.21/273.91	o 329
271.70/274.48	o 328
272.00/274.77	o 327
272.59/275.33	o 326
273.48/276.25	o 325
273.78/276.54	o 324
273.98/276.79	o 322
274.87/277.63	o 318
275.57/278.34	o 313
275.86/278.61	o 311
276.06/278.81	o 310
277.45/280.22	o 309
277.65/280.50	o 306
279.14/281.95	o 304
294.98/298.00	o 303
295.97/298.98	o 302
296.36/299.31	o 299
296.66/299.64	o 298
300.33/303.39	o 297
300.72/303.72	o 296
301.32/304.35	o 295
302.81/305.86	o 293
303.70/306.73	o 292
305.08/308.10	o 291
305.28/308.35	o 290
306.27/309.32	o 286
306.86/309.93	o 285
307.16/310.25	o 284
307.95/311.04	o 282
308.55/311.66	o 280
308.85/311.91	o 279
312.12/315.22	o 278
312.22/315.37	o 277
312.52/315.63	o 276
316.97/320.14	o 275
317.27/320.44	o 274
318.46/321.66	o 273
319.15/322.31	o 272
319.45/322.62	o 270
320.04/323.25	o 269
320.64/323.88	o 267
321.23/324.45	o 266
321.53/324.76	o 264
325.78/329.04	o 263
326.08/329.31	o 262
327.67/330.93	o 261
327.87/331.15	o 260
328.16/331.45	o 258
342.43/345.81	o 257
345.39/348.83	o 256
346.39/349.84	o 255
346.68/350.18	o 254
348.76/352.23	o 253
355.20/358.75	o 252
355.50/359.09	o 251
366.20/369.86	o 249
366.60/370.20	o 248
366.90/370.53	o 247
367.69/371.30	o 246
367.69/371.36	o 244
368.09/371.76	o 241
390.67/394.51	o 240
392.25/396.11	o 239
393.64/397.56	o 238
395.62/399.53	o 235
400.47/404.48	o 233
400.57/404.57	o 232
406.12/410.13	o 231
407.21/411.24	o 229
407.91/411.99	o 228
409.49/413.51	o 227
410.58/414.61	o 226
422.26/426.41	o 225
422.86/427.01	o 224
423.05/427.23	o 223
423.26/427.49	o 222
423.46/427.69	o 221
424.94/429.18	o 220
426.83/431.04	o 216
427.22/431.41	o 215
429.40/433.60	o 214
429.70/433.94	o 213
430.69/434.95	o 212
431.08/435.31	o 211
431.38/435.68	o 210
434.65/438.95	o 207
435.34/439.63	o 205
436.03/440.38	o 204
437.22/441.50	o 203
438.11/442.48	o 202
460.41/464.90	o 201
460.71/465.27	o 200
461.10/465.65	o 198
461.49/466.03	o 197
461.79/466.34	o 196
462.78/467.37	o 195
463.58/468.12	o 194
463.87/468.48	o 193
493.98/498.85	   
493.98/498.85	   search
493.98/498.85	     run=0  nbConstraintChecks=1222851237  nbAssignments=2419
493.98/498.85	       =>  wckTime=486.313  cpuTime=481.6  mem=30M781
493.98/498.85	   
493.98/498.85	   global
493.98/498.85	     nbConstraintChecks=1222851237  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
493.98/498.85	     solvingWckTime=486.307  solvingCpuTime=481.59  expiredTime=no  totalExploration=no  nbFoundSolutions=0
493.98/498.85	     globalCpuTime=493.15
493.98/498.85	       =>  wckTime=498.623  cpuTime=493.1  mem=30M781
493.98/498.85	   
493.98/498.85	   solver DecomposerSolver being built... 
498.84/503.77	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-1112791-1215874101/watcher-1112791-1215874101 -o /tmp/evaluation-result-1112791-1215874101/solver-1112791-1215874101 -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-1112791-1215874101.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.99 1.98 1.99 4/82 19711
/proc/meminfo: memFree=1878304/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=1476 CPUtime=0
/proc/19711/stat : 19711 (java) R 19709 19711 19540 0 -1 0 127 0 0 0 0 0 0 0 19 0 1 0 44113228 1511424 100 996147200 134512640 134550740 4294956128 18446744073709551615 4372724 0 0 4096 0 0 0 0 17 0 0 0
/proc/19711/statm: 369 100 77 9 0 11 0

[startup+0.011623 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 19711
/proc/meminfo: memFree=1878304/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=1616 CPUtime=0
/proc/19711/stat : 19711 (java) D 19709 19711 19540 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 44113228 1654784 126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 1 0 0
/proc/19711/statm: 404 151 125 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616

[startup+0.102524 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 19711
/proc/meminfo: memFree=1878304/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=865984 CPUtime=0.08
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 3815 0 1 0 6 2 0 0 18 0 9 0 44113228 886767616 3266 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216496 3266 1721 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301555 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 19711
/proc/meminfo: memFree=1878304/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=866392 CPUtime=0.27
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 5702 0 1 0 25 2 0 0 18 0 9 0 44113228 887185408 5098 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216598 5098 1942 9 0 211126 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866392

[startup+0.701625 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 19711
/proc/meminfo: memFree=1878304/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867200 CPUtime=0.67
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 9543 0 1 0 62 5 0 0 18 0 9 0 44113228 888012800 8905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216800 8905 1998 9 0 211306 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867200

[startup+1.50277 s]
/proc/loadavg: 1.99 1.98 1.99 3/91 19720
/proc/meminfo: memFree=1836440/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867564 CPUtime=1.47
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 20098 0 1 0 137 10 0 0 18 0 9 0 44113228 888385536 19432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216891 19432 2006 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867564 CPUtime=1.2
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15809 0 1 0 112 8 0 0 25 0 9 0 44113229 888385536 19432 996147200 134512640 134550740 4294955952 18446744073709551615 4126878519 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867564 CPUtime=0.07
/proc/19711/task/19714/stat : 19714 (java) S 19709 19711 19540 0 -1 64 2950 0 0 0 6 1 0 0 16 0 9 0 44113230 888385536 19432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888385536 19432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44113231 888385536 19432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888385536 19432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867564 CPUtime=0.17
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 643 0 0 0 17 0 0 0 16 0 9 0 44113233 888385536 19432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888385536 19432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888385536 19432 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) 867564

[startup+3.10104 s]
/proc/loadavg: 1.99 1.98 1.99 3/91 19720
/proc/meminfo: memFree=1807896/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867564 CPUtime=3.05
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 20105 0 1 0 294 11 0 0 18 0 9 0 44113228 888385536 19438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216891 19438 2006 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867564 CPUtime=2.77
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15811 0 1 0 269 8 0 0 25 0 9 0 44113229 888385536 19438 996147200 134512640 134550740 4294955952 18446744073709551615 4126882564 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867564 CPUtime=0.07
/proc/19711/task/19714/stat : 19714 (java) S 19709 19711 19540 0 -1 64 2950 0 0 0 6 1 0 0 17 0 9 0 44113230 888385536 19438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888385536 19438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44113231 888385536 19438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888385536 19438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867564 CPUtime=0.18
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 648 0 0 0 18 0 0 0 16 0 9 0 44113233 888385536 19438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888385536 19438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888385536 19438 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) 867564

[startup+6.30259 s]
/proc/loadavg: 1.99 1.98 1.99 3/91 19720
/proc/meminfo: memFree=1807712/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867564 CPUtime=6.22
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 20122 0 1 0 611 11 0 0 18 0 9 0 44113228 888385536 19454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216891 19454 2006 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867564 CPUtime=5.93
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15812 0 1 0 584 9 0 0 25 0 9 0 44113229 888385536 19454 996147200 134512640 134550740 4294955952 18446744073709551615 4126878519 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867564 CPUtime=0.07
/proc/19711/task/19714/stat : 19714 (java) S 19709 19711 19540 0 -1 64 2950 0 0 0 6 1 0 0 17 0 9 0 44113230 888385536 19454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888385536 19454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44113231 888385536 19454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888385536 19454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867564 CPUtime=0.19
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 664 0 0 0 19 0 0 0 16 0 9 0 44113233 888385536 19454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888385536 19454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888385536 19454 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867564

[startup+12.7017 s]
/proc/loadavg: 1.99 1.98 1.99 3/91 19720
/proc/meminfo: memFree=1794592/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867652 CPUtime=12.56
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 27308 0 1 0 1242 14 0 0 18 0 9 0 44113228 888475648 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216913 26442 2638 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867652 CPUtime=11.85
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15884 0 1 0 1176 9 0 0 25 0 9 0 44113229 888475648 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4126520035 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867652 CPUtime=0.4
/proc/19711/task/19714/stat : 19714 (java) S 19709 19711 19540 0 -1 64 10018 0 0 0 37 3 0 0 17 0 9 0 44113230 888475648 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888475648 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867652 CPUtime=0.28
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 710 0 0 0 28 0 0 0 15 0 9 0 44113233 888475648 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888475648 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888475648 26442 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) 867652

[startup+25.5029 s]
/proc/loadavg: 2.06 2.00 2.00 3/91 19720
/proc/meminfo: memFree=1782048/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867652 CPUtime=25.22
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 27315 0 1 0 2505 17 0 0 18 0 9 0 44113228 888475648 26448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216913 26448 2640 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867652 CPUtime=24.5
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15885 0 1 0 2438 12 0 0 25 0 9 0 44113229 888475648 26448 996147200 134512640 134550740 4294955952 18446744073709551615 4126877296 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867652 CPUtime=0.4
/proc/19711/task/19714/stat : 19714 (java) S 19709 19711 19540 0 -1 64 10018 0 0 0 37 3 0 0 16 0 9 0 44113230 888475648 26448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888475648 26448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867652 CPUtime=0.28
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 716 0 0 0 28 0 0 0 16 0 9 0 44113233 888475648 26448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888475648 26448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888475648 26448 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867652

[startup+51.1024 s]
/proc/loadavg: 2.04 2.00 2.00 3/91 19720
/proc/meminfo: memFree=1781984/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867652 CPUtime=50.56
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 27317 0 1 0 5035 21 0 0 18 0 9 0 44113228 888475648 26449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216913 26449 2640 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867652 CPUtime=49.83
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15886 0 1 0 4968 15 0 0 25 0 9 0 44113229 888475648 26449 996147200 134512640 134550740 4294955952 18446744073709551615 4127029378 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867652 CPUtime=0.4
/proc/19711/task/19714/stat : 19714 (java) S 19709 19711 19540 0 -1 64 10018 0 0 0 37 3 0 0 16 0 9 0 44113230 888475648 26449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888475648 26449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867652 CPUtime=0.29
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 717 0 0 0 29 0 0 0 16 0 9 0 44113233 888475648 26449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867652 CPUtime=0

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

/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867652 CPUtime=0.3
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 728 0 0 0 30 0 0 0 16 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.83
Current children cumulated vsize (KiB) 867652

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

[startup+486.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 19720
/proc/meminfo: memFree=1781216/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867652 CPUtime=481.6
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 27332 0 1 0 48124 36 0 0 18 0 9 0 44113228 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216913 26460 2640 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867652 CPUtime=480.86
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15890 0 1 0 48055 31 0 0 25 0 9 0 44113229 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4127029378 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867652 CPUtime=0.4
/proc/19711/task/19714/stat : 19714 (java) S 19709 19711 19540 0 -1 64 10018 0 0 0 37 3 0 0 16 0 9 0 44113230 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867652 CPUtime=0.3
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 728 0 0 0 30 0 0 0 16 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 481.6
Current children cumulated vsize (KiB) 867652

[startup+492.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 19720
/proc/meminfo: memFree=1781216/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867652 CPUtime=487.94
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 27332 0 1 0 48758 36 0 0 18 0 9 0 44113228 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216913 26460 2640 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867652 CPUtime=487.2
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15890 0 1 0 48689 31 0 0 25 0 9 0 44113229 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4127029420 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867652 CPUtime=0.4
/proc/19711/task/19714/stat : 19714 (java) S 19709 19711 19540 0 -1 64 10018 0 0 0 37 3 0 0 16 0 9 0 44113230 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867652 CPUtime=0.3
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 728 0 0 0 30 0 0 0 16 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888475648 26460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 487.94
Current children cumulated vsize (KiB) 867652

[startup+499.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 19720
/proc/meminfo: memFree=1781216/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867652 CPUtime=494.28
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 30693 0 1 0 49390 38 0 0 18 0 9 0 44113228 888475648 29784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216913 29784 2641 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867652 CPUtime=493.48
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15957 0 1 0 49317 31 0 0 25 0 9 0 44113229 888475648 29784 996147200 134512640 134550740 4294955952 18446744073709551615 4125978670 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867652 CPUtime=0.45
/proc/19711/task/19714/stat : 19714 (java) S 19709 19711 19540 0 -1 64 13292 0 0 0 40 5 0 0 16 0 9 0 44113230 888475648 29784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 29784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 44113231 888475648 29784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888475648 29784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867652 CPUtime=0.31
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 735 0 0 0 31 0 0 0 15 0 9 0 44113233 888475648 29784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888475648 29784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867652 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888475648 29784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 494.28
Current children cumulated vsize (KiB) 867652

[startup+502.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 19720
/proc/meminfo: memFree=1087904/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867564 CPUtime=497.44
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 200402 0 1 0 49647 97 0 0 18 0 9 0 44113228 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216891 199450 2618 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867564 CPUtime=493.95
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15981 0 1 0 49363 32 0 0 25 0 9 0 44113229 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867564 CPUtime=3.15
/proc/19711/task/19714/stat : 19714 (java) R 19709 19711 19540 0 -1 64 182973 0 0 0 251 64 0 0 17 0 9 0 44113230 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44113231 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867564 CPUtime=0.32
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 736 0 0 0 32 0 0 0 15 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 497.44
Current children cumulated vsize (KiB) 867564

[startup+503.102 s]
/proc/loadavg: 2.08 2.02 2.01 4/91 19720
/proc/meminfo: memFree=1087904/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867564 CPUtime=498.24
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 200403 0 1 0 49727 97 0 0 18 0 9 0 44113228 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216891 199450 2618 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867564 CPUtime=493.96
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15982 0 1 0 49364 32 0 0 25 0 9 0 44113229 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867564 CPUtime=3.94
/proc/19711/task/19714/stat : 19714 (java) R 19709 19711 19540 0 -1 64 182973 0 0 0 330 64 0 0 18 0 9 0 44113230 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44113231 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867564 CPUtime=0.32
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 736 0 0 0 32 0 0 0 15 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) S 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 498.24
Current children cumulated vsize (KiB) 867564

[startup+503.502 s]
/proc/loadavg: 2.08 2.02 2.01 4/91 19720
/proc/meminfo: memFree=1087904/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=867564 CPUtime=498.64
/proc/19711/stat : 19711 (java) S 19709 19711 19540 0 -1 0 200403 0 1 0 49767 97 0 0 18 0 9 0 44113228 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 216891 199450 2618 9 0 211419 0
[pid=19711/tid=19713] ppid=19709 vsize=867564 CPUtime=493.96
/proc/19711/task/19713/stat : 19713 (java) R 19709 19711 19540 0 -1 64 15982 0 1 0 49364 32 0 0 25 0 9 0 44113229 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19714] ppid=19709 vsize=867564 CPUtime=4.34
/proc/19711/task/19714/stat : 19714 (java) R 19709 19711 19540 0 -1 64 182973 0 0 0 370 64 0 0 18 0 9 0 44113230 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19715] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19715/stat : 19715 (java) S 19709 19711 19540 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44113231 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19716] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19716/stat : 19716 (java) S 19709 19711 19540 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 44113231 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19717] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19717/stat : 19717 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19718] ppid=19709 vsize=867564 CPUtime=0.32
/proc/19711/task/19718/stat : 19718 (java) S 19709 19711 19540 0 -1 64 736 0 0 0 32 0 0 0 15 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19719] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19719/stat : 19719 (java) S 19709 19711 19540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19711/tid=19720] ppid=19709 vsize=867564 CPUtime=0
/proc/19711/task/19720/stat : 19720 (java) R 19709 19711 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44113233 888385536 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 498.64
Current children cumulated vsize (KiB) 867564

[startup+503.903 s]
/proc/loadavg: 2.08 2.02 2.01 3/91 19720
/proc/meminfo: memFree=1087904/2055920 swapFree=4192812/4192956
[pid=19711] ppid=19709 vsize=0 CPUtime=498.99
/proc/19711/stat : 19711 (java) Z 19709 19711 19540 0 -1 12 200411 0 1 0 49793 106 0 0 16 0 2 0 44113228 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19711/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 498.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 503.931
CPU time (s): 499.027
CPU user time (s): 497.935
CPU system time (s): 1.09183
CPU usage (%): 99.0268
Max. virtual memory (cumulated for all children) (KiB): 867656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 497.935
system time used= 1.09183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200411
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= 11871
involuntary context switches= 29642

runsolver used 0.728889 second user time and 1.67075 second system time

The end

Launcher Data (download as text)

Begin job on node8 at 2008-07-12 16:48:21
IDJOB=1112791
IDBENCH=61475
IDSOLVER=359
FILE ID=node8/1112791-1215874101
PBS_JOBID= 7903574
Free space on /tmp= 66336 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp34/normalized-fapp34-0750-0.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112791-1215874101/watcher-1112791-1215874101 -o /tmp/evaluation-result-1112791-1215874101/solver-1112791-1215874101 -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-1112791-1215874101.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 701805f3dd433f8e5a195a0325c2f865
RANDOM SEED=1737222680

node8.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.268
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.268
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:       1878848 kB
Buffers:         32260 kB
Cached:          57892 kB
SwapCached:         16 kB
Active:          82084 kB
Inactive:        35904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1878848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3144 kB
Writeback:           0 kB
Mapped:          48004 kB
Slab:            44072 kB
Committed_AS:   312724 kB
PageTables:       1900 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66332 MiB
End job on node8 at 2008-07-12 16:56:46