Trace number 1112852

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 485.176 486.066

General information on the benchmark

Namecsp/fapp/fapp11/
normalized-fapp11-1000-6.xml
MD5SUM7db336713358debe85f4357efdd6517c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints29
Best CPU time to get the best result obtained on this benchmark3600.05
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.06/0.09	
0.06/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.27/0.33	   
0.27/0.33	   instance
0.27/0.33	     name=HOME/instance-1112852-1215874648.xml
0.27/0.36	   
0.27/0.37	   domains being loaded...
0.37/0.43	   
0.37/0.43	   variables being loaded...
0.57/0.67	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362  nbTotalValues=294634
0.57/0.67	       =>  wckTime=0.423  cpuTime=0.3  mem=16M662
0.57/0.67	   
0.57/0.67	   predicates being loaded...
0.68/0.74	   
0.68/0.74	   constraints being loaded...
10.48/10.69	   
10.48/10.69	   INFO : Stopping converting binary constraints (cpu=10.08, mem = 52M55)
13.25/13.46	     nbConstraints=15032  nbConvertedConstraints=355  nbConvertConstraintsChecks=35355366  nbExtensionStructures=313
13.25/13.46	     nbSharedExtensionStructures=118  nbConflictsStructures=865  nbSharedConflictsStructures=256
13.25/13.46	     nbUnbuiltConflictsStructures=5696  nbSharedBinaryRepresentations=174129  nbEvaluationManagers=6248
13.25/13.46	     nbSharedEvaluationManagers=8429  minDegree=7  maxDegree=51  minArity=2  maxArity=2
13.25/13.46	       =>  wckTime=13.211  cpuTime=12.4  mem=43M377
13.55/13.72	   
13.55/13.72	   solver LocalSearchSolver being built... 
13.55/13.76	       =>  wckTime=13.517  cpuTime=12.44  mem=38M984
13.64/13.86	
13.64/13.86	s SATISFIABLE
13.64/13.86	o 2899
13.74/13.91	o 2890
13.74/13.96	o 2879
13.74/13.98	o 2872
13.85/14.00	o 2863
13.85/14.04	o 2855
13.85/14.05	o 2843
13.85/14.08	o 2839
13.95/14.10	o 2837
13.95/14.13	o 2836
13.95/14.16	o 2835
13.95/14.19	o 2829
14.05/14.22	o 2820
14.05/14.25	o 2816
14.05/14.28	o 2807
14.15/14.31	o 2798
14.15/14.36	o 2791
14.15/14.39	o 2785
14.24/14.43	o 2779
14.24/14.47	o 2773
14.34/14.51	o 2768
14.34/14.54	o 2763
14.34/14.56	o 2758
14.34/14.58	o 2754
14.43/14.61	o 2751
14.43/14.64	o 2748
14.43/14.66	o 2745
14.43/14.68	o 2743
14.53/14.70	o 2739
14.53/14.73	o 2736
14.53/14.76	o 2732
14.53/14.78	o 2730
14.53/14.79	o 2725
14.63/14.84	o 2717
14.63/14.88	o 2710
14.73/14.90	o 2703
14.73/14.95	o 2697
14.83/15.02	o 2692
14.83/15.05	o 2687
14.83/15.08	o 2682
14.93/15.10	o 2677
14.93/15.13	o 2675
14.93/15.15	o 2671
14.93/15.17	o 2668
15.03/15.20	o 2665
15.03/15.22	o 2662
15.03/15.24	o 2660
15.03/15.26	o 2658
15.03/15.27	o 2656
15.13/15.31	o 2655
15.13/15.35	o 2651
15.13/15.37	o 2644
15.13/15.39	o 2638
15.23/15.41	o 2633
15.23/15.47	o 2632
15.32/15.51	o 2629
15.32/15.55	o 2626
15.32/15.56	o 2618
15.42/15.61	o 2611
15.42/15.65	o 2604
15.52/15.70	o 2603
15.52/15.75	o 2597
15.62/15.82	o 2594
15.62/15.86	o 2588
15.62/15.90	o 2583
15.71/15.94	o 2577
15.71/15.98	o 2572
15.82/16.03	o 2567
15.82/16.06	o 2562
15.92/16.11	o 2557
15.92/16.16	o 2553
15.92/16.19	o 2549
16.02/16.22	o 2545
16.02/16.25	o 2541
16.02/16.28	o 2537
16.12/16.32	o 2534
16.12/16.35	o 2531
16.12/16.37	o 2528
16.12/16.40	o 2526
16.22/16.42	o 2523
16.22/16.49	o 2522
16.32/16.51	o 2519
16.32/16.52	o 2518
16.32/16.57	o 2511
16.41/16.61	o 2508
16.41/16.66	o 2506
16.51/16.70	o 2505
16.51/16.73	o 2499
16.51/16.75	o 2493
16.51/16.78	o 2492
16.61/16.84	o 2491
16.61/16.87	o 2487
16.71/16.93	o 2485
16.71/16.98	o 2483
16.81/17.02	o 2476
16.81/17.04	o 2473
16.81/17.08	o 2468
16.91/17.13	o 2463
16.91/17.17	o 2458
17.01/17.22	o 2453
17.01/17.26	o 2448
17.11/17.31	o 2445
17.11/17.35	o 2442
17.11/17.39	o 2439
17.21/17.43	o 2436
17.21/17.47	o 2434
17.31/17.51	o 2432
17.31/17.55	o 2426
17.31/17.58	o 2423
17.41/17.63	o 2422
17.41/17.65	o 2421
17.41/17.69	o 2420
17.50/17.73	o 2419
17.50/17.76	o 2413
17.69/17.90	o 2411
17.69/17.94	o 2408
17.79/18.02	o 2404
17.89/18.14	o 2402
17.89/18.17	o 2401
17.99/18.20	o 2399
17.99/18.23	o 2397
17.99/18.26	o 2394
18.09/18.31	o 2392
18.09/18.33	o 2391
18.09/18.38	o 2390
18.19/18.43	o 2387
18.19/18.47	o 2382
18.29/18.53	o 2377
18.29/18.59	o 2372
18.39/18.65	o 2369
18.39/18.70	o 2365
18.60/18.80	o 2363
18.60/18.85	o 2361
18.70/18.90	o 2357
18.70/18.96	o 2353
18.79/19.02	o 2349
18.79/19.06	o 2345
18.89/19.10	o 2341
18.89/19.14	o 2335
18.89/19.18	o 2332
18.99/19.22	o 2331
18.99/19.26	o 2328
19.09/19.30	o 2325
19.09/19.35	o 2322
19.09/19.39	o 2320
19.19/19.43	o 2319
19.19/19.47	o 2317
19.29/19.50	o 2316
19.29/19.53	o 2310
19.29/19.58	o 2309
19.58/19.87	o 2308
19.68/19.94	o 2306
19.68/19.99	o 2304
19.78/20.05	o 2303
19.78/20.09	o 2298
19.87/20.17	o 2294
19.97/20.21	o 2291
20.07/20.35	o 2290
20.07/20.39	o 2286
20.17/20.43	o 2280
20.17/20.47	o 2275
20.27/20.55	o 2271
20.27/20.59	o 2269
20.37/20.64	o 2266
20.67/20.92	o 2261
20.67/20.97	o 2260
20.77/21.02	o 2259
20.77/21.07	o 2256
20.87/21.12	o 2253
20.87/21.16	o 2248
20.96/21.23	o 2246
20.96/21.27	o 2244
21.06/21.30	o 2241
21.06/21.34	o 2240
21.06/21.39	o 2235
21.16/21.43	o 2231
21.16/21.47	o 2228
21.26/21.55	o 2224
21.26/21.59	o 2222
21.36/21.62	o 2218
21.36/21.66	o 2213
21.46/21.70	o 2204
21.46/21.74	o 2201
21.56/21.81	o 2199
21.56/21.84	o 2194
21.56/21.87	o 2192
21.56/21.90	o 2191
21.66/21.95	o 2186
21.76/22.03	o 2180
21.76/22.07	o 2175
21.85/22.10	o 2170
21.85/22.14	o 2165
21.85/22.18	o 2162
21.95/22.23	o 2159
21.95/22.26	o 2156
22.04/22.30	o 2154
22.04/22.33	o 2153
22.04/22.36	o 2152
22.14/22.48	o 2149
22.24/22.52	o 2146
22.24/22.54	o 2144
22.24/22.59	o 2139
22.34/22.62	o 2135
22.34/22.65	o 2134
22.34/22.68	o 2127
22.44/22.71	o 2126
22.44/22.75	o 2123
22.44/22.78	o 2122
22.54/22.81	o 2118
22.54/22.85	o 2116
22.54/22.89	o 2113
22.64/22.93	o 2109
22.64/22.96	o 2106
22.64/23.00	o 2105
22.74/23.05	o 2097
22.74/23.10	o 2094
22.84/23.13	o 2093
22.84/23.17	o 2088
22.94/23.28	o 2082
23.04/23.32	o 2079
23.04/23.37	o 2074
23.14/23.42	o 2066
23.14/23.47	o 2065
23.44/23.74	o 2064
23.44/23.77	o 2061
23.54/23.81	o 2058
23.54/23.85	o 2055
23.54/23.88	o 2054
23.64/23.93	o 2053
23.64/23.97	o 2050
23.74/24.02	o 2046
23.84/24.16	o 2045
23.94/24.21	o 2044
23.94/24.25	o 2043
23.94/24.29	o 2042
24.03/24.33	o 2038
24.03/24.37	o 2031
24.13/24.42	o 2028
24.23/24.50	o 2024
24.23/24.55	o 2019
24.23/24.60	o 2017
24.33/24.64	o 2012
24.33/24.69	o 2009
24.42/24.73	o 2007
24.52/24.81	o 2003
24.52/24.86	o 2000
24.52/24.90	o 1995
24.62/24.94	o 1991
24.62/24.97	o 1986
24.72/25.01	o 1984
24.72/25.05	o 1980
24.82/25.12	o 1977
24.82/25.17	o 1974
24.92/25.21	o 1973
24.92/25.24	o 1972
24.92/25.28	o 1968
25.02/25.33	o 1964
25.02/25.38	o 1963
25.11/25.42	o 1958
25.11/25.45	o 1956
25.21/25.50	o 1952
25.21/25.55	o 1949
25.21/25.59	o 1947
25.31/25.63	o 1945
25.41/25.71	o 1942
25.41/25.76	o 1941
25.41/25.79	o 1937
25.52/25.88	o 1934
25.62/25.93	o 1931
25.62/25.98	o 1926
25.72/26.08	o 1923
25.82/26.13	o 1920
25.82/26.19	o 1919
25.92/26.23	o 1915
25.92/26.28	o 1914
26.02/26.33	o 1910
26.12/26.41	o 1907
26.12/26.47	o 1902
26.40/26.71	o 1901
26.40/26.77	o 1900
26.50/26.82	o 1899
26.60/26.95	o 1894
26.70/27.09	o 1891
26.90/27.22	o 1888
26.90/27.29	o 1887
27.00/27.35	o 1882
27.10/27.42	o 1879
27.20/27.53	o 1877
27.30/27.61	o 1874
27.30/27.67	o 1872
27.40/27.74	o 1871
27.49/27.80	o 1867
27.49/27.84	o 1861
27.59/27.91	o 1859
27.69/28.04	o 1858
27.69/28.09	o 1857
27.79/28.19	o 1854
27.89/28.24	o 1850
27.99/28.33	o 1847
27.99/28.39	o 1843
28.09/28.45	o 1839
28.19/28.51	o 1835
28.29/28.60	o 1834
28.29/28.65	o 1832
28.48/28.82	o 1830
28.48/28.88	o 1825
28.58/28.93	o 1823
28.68/29.04	o 1820
28.88/29.26	o 1818
28.98/29.31	o 1813
28.98/29.36	o 1812
29.08/29.41	o 1810
29.08/29.46	o 1807
29.18/29.50	o 1805
29.28/29.67	o 1802
29.38/29.73	o 1801
29.97/30.32	o 1796
29.97/30.38	o 1793
30.07/30.45	o 1791
30.17/30.59	o 1788
30.26/30.67	o 1785
30.46/30.82	o 1784
30.57/30.90	o 1781
30.57/30.97	o 1779
30.67/31.04	o 1776
30.76/31.11	o 1774
31.06/31.41	o 1771
31.06/31.48	o 1769
31.26/31.60	o 1768
31.26/31.65	o 1767
31.36/31.72	o 1766
31.36/31.79	o 1763
31.85/32.22	o 1762
31.85/32.29	o 1759
32.05/32.43	o 1756
32.25/32.64	o 1754
32.35/32.71	o 1749
32.35/32.78	o 1746
32.45/32.85	o 1741
32.55/32.92	o 1736
32.65/33.05	o 1732
32.74/33.11	o 1730
32.74/33.18	o 1726
32.93/33.39	o 1724
33.13/33.58	o 1723
33.33/33.73	o 1722
33.43/33.81	o 1720
33.43/33.87	o 1716
33.53/33.94	o 1715
33.63/34.08	o 1708
33.73/34.15	o 1706
33.83/34.21	o 1704
34.12/34.56	o 1703
34.42/34.86	o 1702
34.52/34.93	o 1699
34.62/35.00	o 1698
34.72/35.14	o 1696
34.91/35.30	o 1694
34.91/35.38	o 1693
35.01/35.47	o 1689
35.11/35.55	o 1686
35.21/35.62	o 1684
35.21/35.69	o 1682
35.31/35.76	o 1679
35.41/35.83	o 1676
35.51/35.90	o 1673
35.71/36.13	o 1671
35.71/36.19	o 1668
35.81/36.27	o 1667
36.01/36.41	o 1662
36.01/36.49	o 1659
36.11/36.57	o 1656
36.20/36.65	o 1652
36.30/36.78	o 1648
36.40/36.86	o 1646
36.50/36.93	o 1644
36.60/37.01	o 1642
36.60/37.07	o 1638
36.70/37.13	o 1637
36.70/37.19	o 1634
36.80/37.26	o 1631
36.90/37.33	o 1627
37.00/37.41	o 1623
37.29/37.77	o 1622
37.39/37.84	o 1619
37.49/37.99	o 1618
37.79/38.24	o 1617
37.89/38.30	o 1612
37.89/38.37	o 1608
37.99/38.44	o 1606
38.09/38.51	o 1603
38.09/38.58	o 1598
38.29/38.73	o 1593
38.38/38.86	o 1592
38.48/38.93	o 1590
38.48/38.99	o 1586
38.68/39.18	o 1584
38.78/39.26	o 1580
38.98/39.40	o 1578
38.98/39.49	o 1575
39.47/39.91	o 1574
39.47/39.99	o 1571
39.57/40.08	o 1568
39.67/40.16	o 1567
39.77/40.24	o 1565
39.87/40.31	o 1563
39.87/40.39	o 1561
39.97/40.48	o 1559
40.07/40.56	o 1556
40.17/40.66	o 1553
40.27/40.73	o 1551
40.36/40.81	o 1550
40.46/40.91	o 1548
40.56/41.07	o 1547
40.86/41.31	o 1545
40.96/41.41	o 1543
40.96/41.49	o 1542
41.06/41.57	o 1541
41.16/41.65	o 1537
41.26/41.74	o 1535
41.35/41.83	o 1532
41.45/41.92	o 1530
41.55/42.02	o 1529
41.55/42.09	o 1528
41.64/42.17	o 1527
41.74/42.25	o 1526
41.84/42.33	o 1525
41.94/42.43	o 1524
42.64/43.12	o 1522
42.73/43.21	o 1519
42.83/43.30	o 1516
43.03/43.57	o 1514
43.13/43.65	o 1511
43.23/43.73	o 1506
43.33/43.82	o 1505
43.43/43.91	o 1503
43.82/44.34	o 1496
43.92/44.44	o 1493
44.22/44.75	o 1490
44.32/44.85	o 1488
44.42/44.95	o 1487
45.00/45.50	o 1485
45.10/45.61	o 1483
45.30/45.82	o 1482
45.40/45.92	o 1481
45.50/46.03	o 1479
45.70/46.26	o 1478
45.80/46.37	o 1473
45.99/46.59	o 1472
46.09/46.69	o 1471
46.20/46.77	o 1467
46.30/46.87	o 1465
46.50/47.05	o 1463
46.60/47.14	o 1460
46.70/47.24	o 1456
46.89/47.44	o 1452
46.99/47.54	o 1449
47.09/47.62	o 1445
47.19/47.71	o 1442
47.39/47.99	o 1440
47.48/48.08	o 1439
47.58/48.18	o 1435
47.68/48.28	o 1434
47.98/48.55	o 1433
48.08/48.64	o 1430
48.17/48.79	o 1428
48.27/48.86	o 1425
48.37/48.96	o 1422
48.47/49.04	o 1421
48.67/49.28	o 1420
48.77/49.35	o 1416
48.97/49.57	o 1413
49.07/49.66	o 1411
49.26/49.89	o 1410
49.36/49.97	o 1402
49.46/50.04	o 1401
49.56/50.10	o 1399
49.56/50.18	o 1398
49.66/50.25	o 1397
49.76/50.33	o 1395
50.06/50.63	o 1393
50.26/50.87	o 1392
50.55/51.12	o 1391
50.55/51.19	o 1389
50.75/51.36	o 1388
51.15/51.75	o 1386
51.35/51.92	o 1385
51.35/52.00	o 1381
51.44/52.10	o 1380
51.64/52.27	o 1378
51.84/52.43	o 1374
51.94/52.59	o 1372
52.04/52.66	o 1371
52.25/52.83	o 1370
52.44/53.03	o 1366
52.54/53.11	o 1364
52.74/53.30	o 1360
52.74/53.39	o 1356
52.84/53.49	o 1355
52.93/53.59	o 1354
53.13/53.79	o 1352
53.23/53.88	o 1348
53.33/53.97	o 1346
53.43/54.08	o 1344
53.62/54.29	o 1342
53.72/54.38	o 1339
53.92/54.51	o 1335
53.92/54.56	o 1331
54.02/54.68	o 1330
54.12/54.76	o 1326
54.22/54.86	o 1324
54.32/54.97	o 1321
54.42/55.08	o 1318
54.51/55.17	o 1317
54.71/55.37	o 1316
54.81/55.48	o 1314
54.91/55.58	o 1310
55.01/55.67	o 1308
55.11/55.77	o 1306
55.40/56.05	o 1305
55.51/56.16	o 1302
55.60/56.27	o 1298
55.69/56.37	o 1296
55.99/56.61	o 1295
56.19/56.84	o 1292
56.29/56.95	o 1291
56.39/57.07	o 1290
56.59/57.29	o 1286
57.08/57.75	o 1283
57.59/58.21	o 1282
57.78/58.46	o 1281
57.98/58.67	o 1279
58.08/58.79	o 1275
58.28/58.98	o 1272
58.58/59.22	o 1270
58.68/59.34	o 1269
58.78/59.47	o 1266
58.88/59.58	o 1264
59.08/59.71	o 1262
59.18/59.84	o 1261
59.28/59.98	o 1260
59.48/60.11	o 1259
59.58/60.23	o 1257
59.78/60.49	o 1254
60.28/60.98	o 1251
60.48/61.10	o 1250
60.78/61.46	o 1249
60.98/61.69	o 1247
61.38/62.03	o 1245
61.58/62.24	o 1244
61.67/62.33	o 1241
61.77/62.44	o 1239
61.98/62.66	o 1238
62.08/62.77	o 1235
62.27/62.99	o 1233
62.57/63.21	o 1230
62.57/63.27	o 1226
62.78/63.48	o 1224
62.88/63.59	o 1221
62.98/63.69	o 1219
63.08/63.79	o 1218
63.28/63.90	o 1216
63.28/63.98	o 1214
63.48/64.14	o 1211
63.58/64.23	o 1206
63.68/64.33	o 1205
63.88/64.53	o 1202
64.18/64.81	o 1199
64.18/64.90	o 1194
64.38/65.08	o 1193
64.48/65.17	o 1190
64.58/65.26	o 1185
64.68/65.35	o 1181
64.78/65.43	o 1179
64.88/65.51	o 1177
64.98/65.61	o 1175
65.18/65.86	o 1174
65.28/65.95	o 1173
65.38/66.02	o 1169
65.38/66.10	o 1164
65.47/66.18	o 1162
65.57/66.27	o 1161
65.67/66.36	o 1160
65.77/66.44	o 1158
65.87/66.53	o 1156
65.98/66.62	o 1154
66.17/66.82	o 1153
66.27/66.91	o 1151
66.38/67.10	o 1150
66.48/67.19	o 1148
66.57/67.30	o 1147
66.87/67.50	o 1144
67.27/67.93	o 1142
67.58/68.25	o 1141
67.67/68.36	o 1140
67.77/68.47	o 1136
67.87/68.53	o 1134
68.07/68.73	o 1133
68.17/68.84	o 1129
69.37/70.08	o 1128
69.57/70.20	o 1127
69.57/70.30	o 1126
69.67/70.40	o 1124
69.77/70.49	o 1121
69.97/70.69	o 1119
70.07/70.79	o 1118
70.17/70.88	o 1114
70.27/70.98	o 1112
70.36/71.08	o 1110
70.56/71.27	o 1109
70.77/71.50	o 1107
70.96/71.64	o 1105
71.06/71.77	o 1102
71.46/72.17	o 1101
71.56/72.30	o 1098
71.76/72.43	o 1096
71.86/72.58	o 1094
72.06/72.70	o 1090
72.26/72.94	o 1088
72.46/73.17	o 1086
72.56/73.29	o 1083
74.67/75.36	o 1081
74.87/75.59	o 1078
75.07/75.72	o 1077
75.17/75.83	o 1074
75.27/75.95	o 1072
75.47/76.17	o 1071
75.57/76.28	o 1068
75.77/76.43	o 1063
76.17/76.89	o 1062
76.47/77.12	o 1061
76.57/77.24	o 1055
78.86/79.58	o 1054
79.06/79.71	o 1053
79.16/79.86	o 1052
79.36/80.01	o 1051
79.46/80.13	o 1048
79.56/80.27	o 1044
80.56/81.26	o 1042
80.66/81.39	o 1039
80.86/81.53	o 1038
80.96/81.67	o 1036
81.16/81.83	o 1034
81.36/82.07	o 1033
81.96/82.65	o 1031
82.26/82.92	o 1029
82.26/82.99	o 1026
82.46/83.11	o 1024
82.56/83.21	o 1021
82.66/83.33	o 1020
82.96/83.63	o 1018
83.06/83.77	o 1016
83.26/83.92	o 1014
83.66/84.36	o 1013
83.86/84.51	o 1011
83.96/84.66	o 1010
84.16/84.81	o 1007
84.26/84.95	o 1003
84.56/85.24	o 1001
84.66/85.39	o 1000
84.85/85.55	o 998
84.95/85.69	o 997
85.55/86.28	o 996
85.75/86.42	o 993
86.06/86.70	o 990
86.16/86.85	o 989
86.46/87.13	o 987
86.76/87.44	o 986
86.86/87.58	o 985
87.06/87.74	o 982
87.16/87.88	o 981
87.36/88.04	o 980
87.76/88.47	o 979
87.96/88.63	o 978
88.36/89.04	o 977
88.76/89.42	o 976
88.86/89.56	o 973
88.96/89.68	o 972
89.06/89.76	o 971
89.36/90.04	o 969
89.66/90.32	o 968
89.76/90.46	o 962
89.96/90.60	o 961
90.06/90.73	o 960
90.26/90.98	o 957
90.45/91.10	o 956
90.95/91.65	o 952
91.45/92.16	o 951
91.55/92.29	o 949
92.05/92.71	o 945
92.15/92.84	o 944
92.25/92.97	o 943
92.45/93.10	o 940
92.95/93.69	o 939
93.35/94.07	o 938
94.55/95.20	o 937
94.65/95.35	o 936
94.75/95.48	o 934
95.06/95.77	o 931
95.25/95.93	o 929
95.35/96.08	o 928
95.55/96.24	o 922
95.65/96.39	o 921
96.35/97.07	o 918
97.25/98.00	o 917
97.65/98.31	o 914
97.75/98.47	o 912
100.84/101.59	o 910
101.04/101.73	o 904
101.14/101.83	o 902
101.24/101.97	o 900
101.44/102.13	o 899
102.34/103.09	o 898
102.54/103.25	o 895
102.74/103.42	o 892
105.74/106.45	o 888
107.34/108.06	o 887
107.94/108.63	o 886
108.14/108.81	o 884
108.84/109.51	o 882
108.94/109.68	o 881
109.14/109.86	o 880
109.94/110.64	o 878
110.14/110.82	o 875
110.84/111.50	o 874
111.54/112.24	o 873
111.84/112.58	o 871
113.34/114.01	o 870
113.44/114.16	o 869
113.64/114.34	o 867
113.83/114.54	o 866
114.03/114.72	o 865
114.23/114.91	o 863
114.53/115.28	o 859
114.84/115.56	o 856
115.03/115.71	o 854
115.13/115.88	o 851
115.43/116.19	o 850
115.83/116.57	o 848
116.04/116.75	o 847
116.14/116.88	o 845
116.54/117.21	o 844
116.84/117.56	o 842
117.14/117.84	o 841
117.34/118.02	o 837
117.44/118.19	o 836
117.64/118.38	o 835
117.84/118.55	o 834
118.05/118.73	o 830
118.74/119.44	o 829
118.94/119.62	o 828
121.03/121.77	o 827
121.23/121.95	o 826
121.44/122.11	o 824
121.53/122.29	o 822
122.03/122.75	o 820
122.23/122.92	o 818
122.33/123.07	o 817
122.54/123.24	o 815
123.73/124.46	o 813
123.93/124.64	o 810
124.03/124.76	o 807
124.23/124.93	o 806
124.33/125.10	o 803
124.53/125.28	o 801
124.74/125.45	o 799
124.93/125.63	o 798
125.74/126.50	o 796
126.63/127.39	o 793
126.73/127.48	o 790
126.94/127.64	o 786
127.03/127.79	o 785
127.43/128.10	o 782
127.83/128.55	o 780
127.94/128.64	o 779
128.04/128.78	o 777
128.53/129.22	o 776
128.84/129.51	o 774
128.93/129.65	o 773
130.33/131.08	o 772
130.63/131.34	o 771
130.73/131.49	o 770
130.93/131.64	o 767
131.23/131.93	o 765
133.62/134.34	o 757
134.22/134.90	o 756
134.32/135.03	o 754
134.63/135.33	o 752
134.72/135.49	o 750
135.12/135.81	o 749
135.22/135.97	o 747
135.32/136.09	o 744
136.62/137.39	o 742
136.83/137.55	o 741
137.22/137.97	o 740
137.42/138.12	o 735
137.72/138.44	o 733
137.83/138.59	o 732
138.53/139.22	o 731
139.04/139.73	o 730
139.93/140.70	o 729
140.83/141.55	o 728
141.33/142.06	o 726
141.53/142.24	o 725
141.83/142.58	o 723
142.02/142.74	o 721
142.23/142.91	o 718
142.33/143.06	o 715
142.92/143.68	o 712
143.12/143.84	o 709
143.82/144.52	o 708
143.92/144.69	o 705
147.32/148.07	o 703
147.72/148.42	o 702
148.02/148.77	o 700
148.22/148.94	o 699
151.12/151.87	o 698
151.52/152.23	o 697
151.72/152.41	o 696
151.82/152.59	o 694
158.11/158.87	o 692
158.31/159.06	o 690
158.72/159.44	o 688
160.82/161.50	o 687
161.42/162.18	o 686
161.62/162.36	o 685
161.82/162.53	o 684
162.02/162.72	o 681
162.72/163.43	o 679
163.02/163.80	o 676
163.22/163.98	o 675
163.82/164.51	o 674
166.32/167.01	o 673
166.42/167.20	o 672
167.01/167.70	o 671
167.52/168.25	o 669
168.01/168.78	o 667
168.62/169.35	o 666
169.01/169.75	o 665
169.31/170.09	o 662
170.41/171.17	o 661
170.51/171.29	o 660
172.51/173.22	o 659
172.71/173.43	o 655
173.11/173.85	o 654
173.31/174.06	o 651
173.51/174.26	o 649
173.71/174.48	o 648
174.31/175.08	o 646
174.51/175.27	o 642
174.91/175.67	o 641
175.11/175.87	o 639
175.31/176.08	o 637
175.91/176.69	o 636
176.11/176.86	o 634
176.31/177.06	o 628
176.51/177.26	o 627
176.91/177.66	o 626
177.31/178.01	o 625
178.31/179.03	o 624
178.61/179.38	o 622
178.71/179.42	o 616
178.81/179.57	o 613
178.91/179.67	o 612
179.71/180.43	o 610
179.90/180.63	o 609
180.00/180.76	o 608
180.20/180.94	o 605
180.40/181.12	o 604
191.60/192.35	o 603
192.10/192.80	o 602
192.30/193.03	o 600
192.50/193.25	o 599
193.20/193.92	o 598
193.60/194.34	o 596
193.60/194.35	o 595
193.80/194.53	o 594
195.40/196.15	o 593
195.60/196.36	o 592
206.19/206.93	o 591
208.81/209.56	o 589
213.47/214.25	o 588
213.78/214.52	o 587
213.97/214.79	o 584
214.57/215.33	o 582
215.07/215.84	o 581
215.17/215.96	o 578
215.67/216.45	o 574
216.17/216.92	o 573
216.67/217.43	o 572
216.87/217.69	o 571
217.17/217.96	o 570
217.27/218.07	o 569
219.87/220.69	o 568
220.67/221.50	o 567
222.66/223.44	o 566
227.86/228.66	o 565
228.46/229.21	o 563
228.66/229.49	o 561
228.97/229.75	o 560
235.76/236.56	o 558
237.56/238.31	o 557
239.55/240.34	o 555
241.26/242.09	o 554
241.75/242.54	o 552
242.05/242.80	o 551
242.26/243.06	o 550
243.05/243.87	o 549
243.55/244.32	o 548
243.75/244.59	o 547
244.35/245.13	o 545
246.85/247.62	o 544
247.85/248.68	o 541
248.45/249.25	o 540
248.76/249.54	o 539
252.55/253.35	o 537
252.85/253.64	o 534
253.15/253.91	o 533
253.75/254.50	o 532
254.05/254.80	o 531
254.25/255.01	o 529
254.45/255.30	o 528
255.05/255.87	o 527
255.35/256.16	o 523
256.25/257.00	o 522
262.95/263.71	o 519
263.05/263.82	o 516
264.35/265.19	o 511
264.74/265.50	o 509
265.35/266.19	o 508
265.64/266.42	o 507
266.04/266.85	o 506
266.55/267.31	o 505
266.94/267.75	o 504
267.14/267.98	o 503
267.54/268.37	o 502
267.74/268.59	o 500
268.14/268.95	o 499
268.34/269.19	o 497
269.34/270.10	o 494
269.54/270.32	o 493
269.95/270.78	o 492
272.05/272.89	o 490
272.35/273.18	o 488
272.55/273.39	o 487
272.85/273.61	o 486
273.25/274.05	o 485
273.95/274.71	o 483
274.15/274.93	o 482
274.35/275.16	o 480
274.64/275.49	o 478
276.24/277.08	o 477
276.54/277.36	o 474
278.73/279.51	o 472
278.93/279.77	o 470
279.64/280.50	o 469
279.93/280.73	o 468
282.53/283.30	o 467
282.73/283.53	o 464
284.93/285.79	o 463
286.54/287.40	o 460
287.04/287.85	o 455
290.74/291.51	o 451
291.74/292.56	o 449
292.24/293.04	o 447
295.93/296.79	o 446
296.43/297.29	o 445
300.13/300.95	o 444
300.33/301.19	o 443
301.53/302.38	o 441
302.03/302.87	o 440
302.33/303.11	o 439
302.53/303.31	o 438
303.23/304.05	o 437
303.73/304.55	o 436
305.32/306.11	o 435
309.92/310.71	o 434
311.32/312.15	o 431
311.53/312.39	o 430
311.82/312.65	o 429
312.02/312.87	o 427
319.73/320.54	o 426
319.93/320.79	o 425
333.42/334.23	o 424
333.62/334.48	o 423
339.41/340.29	o 422
340.01/340.87	o 421
341.41/342.24	o 419
341.61/342.50	o 417
343.01/343.89	o 415
345.41/346.27	o 412
345.72/346.51	o 411
346.51/347.30	o 410
347.71/348.52	o 408
348.51/349.37	o 407
349.11/349.95	o 406
349.31/350.17	o 405
349.91/350.75	o 404
350.21/351.09	o 403
350.71/351.55	o 402
351.31/352.14	o 401
351.81/352.62	o 399
355.81/356.68	o 398
356.01/356.84	o 397
358.01/358.84	o 396
358.31/359.13	o 395
358.61/359.42	o 394
358.81/359.70	o 393
359.11/359.93	o 392
359.41/360.22	o 391
363.61/364.47	o 390
363.91/364.76	o 389
367.90/368.78	o 388
368.20/369.08	o 386
368.40/369.25	o 385
369.81/370.67	o 384
370.00/370.83	o 383
372.40/373.28	o 382
372.60/373.49	o 380
373.70/374.58	o 379
375.00/375.88	o 378
377.20/378.07	o 375
377.50/378.34	o 374
378.10/378.91	o 373
378.30/379.20	o 372
379.50/380.34	o 371
379.80/380.63	o 369
380.10/380.92	o 368
382.00/382.84	o 367
382.59/383.42	o 365
383.20/384.00	o 363
385.40/386.21	o 362
385.60/386.48	o 361
387.90/388.78	o 360
388.20/389.04	o 359
389.50/390.34	o 357
389.80/390.61	o 356
390.00/390.87	o 354
411.39/412.25	o 353
412.98/413.86	o 352
413.28/414.12	o 350
414.28/415.16	o 349
415.18/416.09	o 347
415.48/416.35	o 346
415.78/416.61	o 345
416.48/417.37	o 344
420.39/421.25	o 342
421.09/421.98	o 341
421.39/422.24	o 340
421.68/422.50	o 339
421.88/422.76	o 337
422.18/423.04	o 336
423.28/424.14	o 335
425.28/426.14	o 334
425.48/426.32	o 333
425.68/426.59	o 332
426.28/427.11	o 329
426.38/427.28	o 326
426.68/427.56	o 324
426.98/427.83	o 323
427.28/428.10	o 322
428.77/429.62	o 319
430.17/431.02	o 318
431.27/432.16	o 317
433.47/434.37	o 316
433.77/434.60	o 315
434.07/434.97	o 314
434.98/435.86	o 310
435.48/436.31	o 309
435.68/436.54	o 307
435.78/436.66	o 306
435.98/436.90	o 304
436.18/437.06	o 303
436.88/437.75	o 302
438.28/439.14	o 301
438.48/439.38	o 300
439.58/440.50	o 299
440.08/440.97	o 298
440.28/441.19	o 297
440.57/441.43	o 296
440.57/441.47	o 295
441.38/442.26	o 294
441.57/442.48	o 293
442.67/443.50	o 292
444.87/445.80	o 291
446.17/447.03	o 289
448.37/449.23	o 288
448.57/449.50	o 287
478.96/479.81	   
478.96/479.81	   search
478.96/479.81	     run=0  nbConstraintChecks=1123021464  nbAssignments=2793
478.96/479.81	       =>  wckTime=466.045  cpuTime=465.31  mem=38M984
478.96/479.81	   
478.96/479.81	   global
478.96/479.81	     nbConstraintChecks=1123021464  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
478.96/479.81	     solvingWckTime=466.038  solvingCpuTime=465.31  expiredTime=no  totalExploration=no  nbFoundSolutions=0
478.96/479.81	     globalCpuTime=477.8
478.96/479.81	       =>  wckTime=479.562  cpuTime=477.75  mem=38M984
478.96/479.81	   
478.96/479.81	   solver DecomposerSolver being built... 
484.96/485.90	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-1112852-1215874648/watcher-1112852-1215874648 -o /tmp/evaluation-result-1112852-1215874648/solver-1112852-1215874648 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112852-1215874648.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved

[startup+0 s]
/proc/loadavg: 2.29 2.56 2.83 4/80 17628
/proc/meminfo: memFree=1854784/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=18572 CPUtime=0
/proc/17628/stat : 17628 (runsolver) R 17626 17388 17388 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 44163670 19017728 290 996147200 4194304 4296836 548682068336 18446744073709551615 273651138034 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17628/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.0812439 s]
/proc/loadavg: 2.29 2.56 2.83 4/80 17628
/proc/meminfo: memFree=1854784/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=865856 CPUtime=0.06
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 3397 0 1 0 5 1 0 0 18 0 9 0 44163670 886636544 2906 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216464 2906 1566 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.101241 s]
/proc/loadavg: 2.29 2.56 2.83 4/80 17628
/proc/meminfo: memFree=1854784/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=865984 CPUtime=0.08
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 3699 0 1 0 6 2 0 0 18 0 9 0 44163670 886767616 3172 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216496 3172 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301259 s]
/proc/loadavg: 2.29 2.56 2.83 4/80 17628
/proc/meminfo: memFree=1854784/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=866156 CPUtime=0.27
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 5594 0 1 0 24 3 0 0 18 0 9 0 44163670 886943744 5009 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216539 5009 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866156

[startup+0.701282 s]
/proc/loadavg: 2.29 2.56 2.83 4/80 17628
/proc/meminfo: memFree=1854784/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867068 CPUtime=0.68
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 9320 0 1 0 63 5 0 0 18 0 9 0 44163670 887877632 8682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216767 8682 1998 9 0 211273 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867068

[startup+1.50234 s]
/proc/loadavg: 2.29 2.56 2.83 3/89 17637
/proc/meminfo: memFree=1815800/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867564 CPUtime=1.47
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 19955 0 1 0 137 10 0 0 18 0 9 0 44163670 888385536 19291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216891 19291 2004 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867564 CPUtime=1.19
/proc/17628/task/17630/stat : 17630 (java) R 17626 17628 17388 0 -1 64 15777 0 1 0 112 7 0 0 25 0 9 0 44163672 888385536 19291 996147200 134512640 134550740 4294955952 18446744073709551615 4126846584 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867564 CPUtime=0.08
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 17388 0 -1 64 2853 0 0 0 7 1 0 0 16 0 9 0 44163674 888385536 19291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 19291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 19291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888385536 19291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867564 CPUtime=0.17
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 44163676 888385536 19291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888385536 19291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888385536 19291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867564

[startup+3.10244 s]
/proc/loadavg: 2.26 2.55 2.83 3/89 17637
/proc/meminfo: memFree=1784888/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867564 CPUtime=3.05
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 20009 0 1 0 295 10 0 0 18 0 9 0 44163670 888385536 19342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216891 19342 2006 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867564 CPUtime=2.75
/proc/17628/task/17630/stat : 17630 (java) R 17626 17628 17388 0 -1 64 15811 0 1 0 268 7 0 0 25 0 9 0 44163672 888385536 19342 996147200 134512640 134550740 4294955952 18446744073709551615 4126879606 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867564 CPUtime=0.08
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 17388 0 -1 64 2853 0 0 0 7 1 0 0 17 0 9 0 44163674 888385536 19342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 19342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 19342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888385536 19342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867564 CPUtime=0.19
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 649 0 0 0 19 0 0 0 16 0 9 0 44163676 888385536 19342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888385536 19342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888385536 19342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867564

[startup+6.30166 s]
/proc/loadavg: 2.26 2.55 2.83 3/89 17637
/proc/meminfo: memFree=1784504/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867564 CPUtime=6.22
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 20032 0 1 0 611 11 0 0 18 0 9 0 44163670 888385536 19361 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216891 19361 2006 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867564 CPUtime=5.9
/proc/17628/task/17630/stat : 17630 (java) R 17626 17628 17388 0 -1 64 15815 0 1 0 582 8 0 0 17 0 9 0 44163672 888385536 19361 996147200 134512640 134550740 4294955952 18446744073709551615 4126907545 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867564 CPUtime=0.08
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 17388 0 -1 64 2853 0 0 0 7 1 0 0 16 0 9 0 44163674 888385536 19361 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 19361 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 19361 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888385536 19361 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867564 CPUtime=0.21
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 668 0 0 0 21 0 0 0 16 0 9 0 44163676 888385536 19361 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888385536 19361 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888385536 19361 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867564

[startup+12.7011 s]
/proc/loadavg: 2.30 2.55 2.82 3/89 17637
/proc/meminfo: memFree=1770552/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867564 CPUtime=12.56
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 24975 0 1 0 1242 14 0 0 18 0 9 0 44163670 888385536 24299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216891 24299 2007 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867564 CPUtime=11.99
/proc/17628/task/17630/stat : 17630 (java) R 17626 17628 17388 0 -1 64 15824 0 1 0 1190 9 0 0 25 0 9 0 44163672 888385536 24299 996147200 134512640 134550740 4294955952 18446744073709551615 4126378650 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867564 CPUtime=0.28
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 17388 0 -1 64 7760 0 0 0 25 3 0 0 17 0 9 0 44163674 888385536 24299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 24299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 24299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888385536 24299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867564 CPUtime=0.26
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 695 0 0 0 26 0 0 0 15 0 9 0 44163676 888385536 24299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888385536 24299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888385536 24299 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867564

[startup+25.503 s]
/proc/loadavg: 2.26 2.53 2.81 3/89 17637
/proc/meminfo: memFree=1750584/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867652 CPUtime=25.21
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 29327 0 1 0 2501 20 0 0 18 0 9 0 44163670 888475648 28457 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216913 28457 2640 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867652 CPUtime=24.24
/proc/17628/task/17630/stat : 17630 (java) R 17626 17628 17388 0 -1 64 15891 0 1 0 2411 13 0 0 25 0 9 0 44163672 888475648 28457 996147200 134512640 134550740 4294955952 18446744073709551615 4127194270 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867652 CPUtime=0.65
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 17388 0 -1 64 12021 0 0 0 59 6 0 0 16 0 9 0 44163674 888475648 28457 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888475648 28457 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44163674 888475648 28457 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888475648 28457 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867652 CPUtime=0.3
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 719 0 0 0 30 0 0 0 16 0 9 0 44163676 888475648 28457 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888475648 28457 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888475648 28457 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867652

[startup+51.1027 s]
/proc/loadavg: 2.32 2.52 2.80 3/89 17637
/proc/meminfo: memFree=1556984/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867652 CPUtime=50.55
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 29331 0 1 0 5031 24 0 0 18 0 9 0 44163670 888475648 28460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216913 28460 2640 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867652 CPUtime=49.57
/proc/17628/task/17630/stat : 17630 (java) R 17626 17628 17388 0 -1 64 15892 0 1 0 4940 17 0 0 25 0 9 0 44163672 888475648 28460 996147200 134512640 134550740 4294955952 18446744073709551615 4127056719 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867652 CPUtime=0.65
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 17388 0 -1 64 12021 0 0 0 59 6 0 0 16 0 9 0 44163674 888475648 28460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888475648 28460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44163674 888475648 28460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888475648 28460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867652 CPUtime=0.31
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 722 0 0 0 31 0 0 0 15 0 9 0 44163676 888475648 28460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867652 CPUtime=0

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

/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867652 CPUtime=0.33
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 730 0 0 0 33 0 0 0 17 0 9 0 44163676 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 461.46
Current children cumulated vsize (KiB) 867652

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

[startup+473.502 s]
/proc/loadavg: 2.04 2.16 2.52 3/90 17681
/proc/meminfo: memFree=1104680/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867652 CPUtime=472.66
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 29342 0 1 0 47217 49 0 0 18 0 9 0 44163670 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216913 28468 2640 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867652 CPUtime=471.65
/proc/17628/task/17630/stat : 17630 (java) R 17626 17628 17388 0 -1 64 15895 0 1 0 47124 41 0 0 25 0 9 0 44163672 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4127056747 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867652 CPUtime=0.65
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 17388 0 -1 64 12021 0 0 0 59 6 0 0 16 0 9 0 44163674 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44163674 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867652 CPUtime=0.33
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 730 0 0 0 33 0 0 0 17 0 9 0 44163676 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888475648 28468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 472.66
Current children cumulated vsize (KiB) 867652

[startup+479.903 s]
/proc/loadavg: 2.03 2.15 2.51 3/90 17681
/proc/meminfo: memFree=1104680/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867652 CPUtime=479.06
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 29380 0 1 0 47857 49 0 0 18 0 9 0 44163670 888475648 28506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216913 28506 2641 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867652 CPUtime=478.03
/proc/17628/task/17630/stat : 17630 (java) R 17626 17628 17388 0 -1 64 15928 0 1 0 47762 41 0 0 25 0 9 0 44163672 888475648 28506 996147200 134512640 134550740 4294955952 18446744073709551615 4126700796 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867652 CPUtime=0.65
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 17388 0 -1 64 12021 0 0 0 59 6 0 0 16 0 9 0 44163674 888475648 28506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888475648 28506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44163674 888475648 28506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888475648 28506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867652 CPUtime=0.34
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 735 0 0 0 34 0 0 0 16 0 9 0 44163676 888475648 28506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888475648 28506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867652 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888475648 28506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 479.06
Current children cumulated vsize (KiB) 867652

[startup+483.102 s]
/proc/loadavg: 2.11 2.17 2.52 4/90 17681
/proc/meminfo: memFree=419304/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867564 CPUtime=482.26
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 200422 0 1 0 48109 117 0 0 18 0 9 0 44163670 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216891 199466 2618 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867564 CPUtime=478.79
/proc/17628/task/17630/stat : 17630 (java) R 17626 17628 17388 0 -1 64 15985 0 1 0 47838 41 0 0 25 0 9 0 44163672 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867564 CPUtime=3.07
/proc/17628/task/17631/stat : 17631 (java) R 17626 17628 17388 0 -1 64 182972 0 0 0 234 73 0 0 16 0 9 0 44163674 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867564 CPUtime=0.36
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 751 0 0 0 36 0 0 0 15 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 482.26
Current children cumulated vsize (KiB) 867564

[startup+484.702 s]
/proc/loadavg: 2.11 2.17 2.52 4/90 17681
/proc/meminfo: memFree=419304/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867564 CPUtime=483.86
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 200424 0 1 0 48269 117 0 0 18 0 9 0 44163670 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216891 199466 2618 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867564 CPUtime=478.79
/proc/17628/task/17630/stat : 17630 (java) S 17626 17628 17388 0 -1 64 15987 0 1 0 47838 41 0 0 25 0 9 0 44163672 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867564 CPUtime=4.66
/proc/17628/task/17631/stat : 17631 (java) R 17626 17628 17388 0 -1 64 182972 0 0 0 393 73 0 0 18 0 9 0 44163674 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867564 CPUtime=0.36
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 751 0 0 0 36 0 0 0 15 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 483.86
Current children cumulated vsize (KiB) 867564

[startup+485.503 s]
/proc/loadavg: 2.11 2.17 2.52 3/90 17681
/proc/meminfo: memFree=419304/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867564 CPUtime=484.66
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 200424 0 1 0 48349 117 0 0 18 0 9 0 44163670 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216891 199466 2618 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867564 CPUtime=478.79
/proc/17628/task/17630/stat : 17630 (java) S 17626 17628 17388 0 -1 64 15987 0 1 0 47838 41 0 0 25 0 9 0 44163672 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867564 CPUtime=5.46
/proc/17628/task/17631/stat : 17631 (java) R 17626 17628 17388 0 -1 64 182972 0 0 0 473 73 0 0 19 0 9 0 44163674 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867564 CPUtime=0.36
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 751 0 0 0 36 0 0 0 15 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888385536 199466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 484.66
Current children cumulated vsize (KiB) 867564

[startup+485.903 s]
/proc/loadavg: 2.11 2.17 2.52 3/90 17681
/proc/meminfo: memFree=419304/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=867564 CPUtime=485.06
/proc/17628/stat : 17628 (java) S 17626 17628 17388 0 -1 0 200427 0 1 0 48389 117 0 0 18 0 9 0 44163670 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17628/statm: 216891 199467 2618 9 0 211419 0
[pid=17628/tid=17630] ppid=17626 vsize=867564 CPUtime=478.8
/proc/17628/task/17630/stat : 17630 (java) S 17626 17628 17388 0 -1 64 15990 0 1 0 47838 42 0 0 16 0 9 0 44163672 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17631] ppid=17626 vsize=867564 CPUtime=5.86
/proc/17628/task/17631/stat : 17631 (java) S 17626 17628 17388 0 -1 64 182972 0 0 0 513 73 0 0 20 0 9 0 44163674 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17632] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17632/stat : 17632 (java) S 17626 17628 17388 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 44163674 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17633] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17633/stat : 17633 (java) S 17626 17628 17388 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44163674 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17634] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17634/stat : 17634 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44163676 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17635] ppid=17626 vsize=867564 CPUtime=0.36
/proc/17628/task/17635/stat : 17635 (java) S 17626 17628 17388 0 -1 64 751 0 0 0 36 0 0 0 15 0 9 0 44163676 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17628/tid=17636] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17636/stat : 17636 (java) S 17626 17628 17388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44163676 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17628/tid=17637] ppid=17626 vsize=867564 CPUtime=0
/proc/17628/task/17637/stat : 17637 (java) S 17626 17628 17388 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44163676 888385536 199467 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 485.06
Current children cumulated vsize (KiB) 867564

[startup+486.002 s]
/proc/loadavg: 2.11 2.17 2.52 3/90 17681
/proc/meminfo: memFree=419304/2055920 swapFree=4192812/4192956
[pid=17628] ppid=17626 vsize=0 CPUtime=485.11
/proc/17628/stat : 17628 (java) Z 17626 17628 17388 0 -1 12 200432 0 1 0 48389 122 0 0 16 0 2 0 44163670 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17628/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 485.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 486.066
CPU time (s): 485.176
CPU user time (s): 483.891
CPU system time (s): 1.2848
CPU usage (%): 99.8169
Max. virtual memory (cumulated for all children) (KiB): 867656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.891
system time used= 1.2848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200432
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= 11544
involuntary context switches= 15728

runsolver used 0.608907 second user time and 1.73474 second system time

The end

Launcher Data (download as text)

Begin job on node52 at 2008-07-12 16:57:28
IDJOB=1112852
IDBENCH=61485
IDSOLVER=360
FILE ID=node52/1112852-1215874648
PBS_JOBID= 7903568
Free space on /tmp= 66548 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp11/normalized-fapp11-1000-6.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112852-1215874648/watcher-1112852-1215874648 -o /tmp/evaluation-result-1112852-1215874648/solver-1112852-1215874648 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112852-1215874648.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 7db336713358debe85f4357efdd6517c
RANDOM SEED=1468177724

node52.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1855264 kB
Buffers:          3164 kB
Cached:          42328 kB
SwapCached:          0 kB
Active:         143824 kB
Inactive:         4488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855264 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4008 kB
Writeback:           0 kB
Mapped:         123172 kB
Slab:            37248 kB
Committed_AS:   944272 kB
PageTables:       2196 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= 66544 MiB
End job on node52 at 2008-07-12 17:05:34