Trace number 1109558

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? 3469.03 3489.35

General information on the benchmark

Namecsp/fischer/
normalized-fischer-1-3-fair.xml
MD5SUMf5fa2b1ab1e1b760100093009122d806
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best Number of falsified constraints
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables883
Number of constraints828
Maximum constraint arity3
Maximum domain size20001
Number of constraints which are defined in extension0
Number of constraints which are defined in intension828
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.23	
0.18/0.23	   configuration
0.18/0.23	     name=mrdac-ddeg.xml
0.29/0.31	   
0.29/0.31	   instance
0.29/0.31	     name=HOME/instance-1109558-1215805506.xml
0.29/0.35	   
0.29/0.35	   domains being loaded...
0.29/0.36	   
0.29/0.36	   variables being loaded...
1.37/1.43	     nbVariables=883  nbDomainTypes=3  minDomainSize=2  maxDomainSize=20001  nbTotalValues=14782619
1.37/1.43	       =>  wckTime=1.188  cpuTime=0.66  mem=239M924
1.37/1.43	   
1.37/1.43	   predicates being loaded...
1.37/1.49	   
1.37/1.49	   constraints being loaded...
1.77/1.86	     nbConstraints=828  nbUnaryConstraints=2  nbConvertedConstraints=158  nbConvertConstraintsChecks=80004
1.77/1.86	     nbExtensionStructures=2  nbSharedExtensionStructures=156  nbConflictsStructures=2  nbSharedConflictsStructures=156
1.77/1.86	     nbUnbuiltConflictsStructures=12  nbSharedBinaryRepresentations=40001  nbEvaluationManagers=15
1.77/1.86	     nbSharedEvaluationManagers=655  minDegree=2  maxDegree=16  minArity=1  avgArity=2.8  maxArity=3
1.77/1.86	       =>  wckTime=1.624  cpuTime=0.98  mem=249M781
1.87/1.95	   
1.87/1.95	   solver LocalSearchSolver being built... 
1.97/2.00	       =>  wckTime=1.764  cpuTime=1.03  mem=261M292
6.42/6.57	
6.42/6.57	s SATISFIABLE
6.42/6.57	o 826
11.08/11.24	o 824
18.12/18.36	o 822
23.86/24.16	o 820
27.92/28.20	o 818
34.36/34.76	o 816
39.12/39.59	o 814
45.16/45.64	o 812
52.59/53.13	o 810
56.55/57.16	o 808
63.98/64.68	o 806
68.04/68.72	o 804
75.27/76.05	o 802
80.62/81.42	o 800
87.95/88.80	o 798
93.70/94.66	o 796
99.84/100.89	o 794
104.00/105.02	o 792
110.24/111.37	o 790
114.30/115.47	o 788
119.16/120.38	o 786
125.99/127.24	o 784
132.03/133.35	o 782
136.10/137.43	o 780
140.45/141.84	o 778
144.41/145.86	o 776
152.73/154.21	o 774
158.98/160.57	o 772
166.90/168.56	o 770
174.13/175.86	o 768
182.05/183.87	o 766
186.12/187.93	o 764
193.65/195.58	o 762
199.50/201.45	o 760
203.46/205.42	o 758
207.32/209.37	o 756
212.28/214.39	o 754
219.70/221.89	o 752
225.85/228.00	o 750
231.49/233.74	o 748
239.12/241.49	o 746
247.14/249.59	o 744
254.67/257.19	o 742
259.72/262.26	o 740
264.78/267.35	o 738
269.03/271.62	o 736
276.76/279.49	o 734
285.08/287.88	o 733
293.30/296.18	o 732
301.62/304.51	o 731
309.84/312.81	o 730
317.97/321.03	o 729
326.19/329.34	o 728
334.31/337.57	o 727
342.53/345.85	o 726
350.67/354.08	o 725
358.89/362.32	o 724
367.01/370.55	o 723
375.13/378.71	o 722
383.26/386.93	o 721
391.38/395.10	o 720
399.40/403.29	o 719
407.53/411.48	o 718
415.64/419.61	o 717
423.67/427.79	o 716
431.79/435.90	o 715
439.81/444.06	o 714
447.84/452.18	o 713
455.86/460.26	o 712
463.89/468.39	o 711
471.91/476.44	o 710
479.93/484.54	o 709
487.96/492.61	o 708
495.88/500.64	o 707
503.90/508.71	o 706
511.84/516.71	o 705
519.77/524.75	o 704
527.69/532.75	o 703
535.61/540.74	o 702
543.54/548.76	o 701
551.46/556.71	o 700
559.39/564.70	o 699
567.21/572.68	o 698
575.14/580.63	o 697
583.06/588.62	o 696
590.89/596.56	o 695
598.81/604.52	o 694
606.64/612.46	o 693
614.46/620.35	o 692
622.29/628.29	o 691
630.12/636.15	o 690
637.94/644.06	o 689
645.76/651.92	o 688
653.49/659.77	o 687
661.32/667.66	o 686
669.05/675.48	o 685
676.87/683.31	o 684
684.60/691.15	o 683
692.32/698.94	o 682
700.05/706.79	o 681
707.78/714.56	o 680
715.51/722.33	o 679
723.24/730.12	o 678
730.86/737.83	o 677
738.49/745.60	o 676
746.22/753.32	o 675
753.85/761.03	o 674
761.47/768.76	o 673
769.10/776.42	o 672
776.73/784.13	o 671
784.35/791.81	o 670
791.88/799.45	o 669
799.51/807.14	o 668
807.04/814.78	o 667
814.67/822.45	o 666
822.29/830.13	o 665
829.82/837.73	o 664
837.35/845.39	o 663
844.97/853.02	o 662
852.51/860.63	o 661
860.04/868.27	o 660
867.56/875.86	o 659
875.09/883.49	o 658
882.62/891.10	o 657
890.15/898.65	o 656
897.68/906.25	o 655
905.21/913.81	o 654
912.63/921.36	o 653
920.16/928.95	o 652
927.60/936.45	o 651
935.03/943.99	o 650
942.56/951.50	o 649
949.88/959.00	o 648
957.40/966.55	o 647
964.83/974.04	o 646
972.26/981.52	o 645
979.69/989.04	o 644
987.02/996.48	o 643
994.45/1003.96	o 642
1001.88/1011.44	o 641
1009.21/1018.86	o 640
1016.64/1026.35	o 639
1023.97/1033.76	o 638
1031.30/1041.17	o 637
1038.73/1048.62	o 636
1045.97/1055.99	o 635
1053.29/1063.39	o 634
1060.62/1070.78	o 633
1067.95/1078.13	o 632
1075.28/1085.52	o 631
1082.51/1092.88	o 630
1089.84/1100.22	o 629
1097.07/1107.59	o 628
1104.40/1114.90	o 627
1111.63/1122.22	o 626
1118.86/1129.58	o 625
1126.09/1136.84	o 624
1133.33/1144.16	o 623
1140.56/1151.46	o 622
1147.79/1158.71	o 621
1155.03/1166.02	o 620
1162.16/1173.26	o 619
1169.29/1180.48	o 618
1176.53/1187.75	o 617
1183.66/1194.94	o 616
1190.79/1202.15	o 615
1197.92/1209.40	o 614
1205.06/1216.56	o 613
1212.18/1223.75	o 612
1219.32/1230.93	o 611
1226.35/1238.05	o 610
1233.49/1245.22	o 609
1240.52/1252.35	o 608
1247.55/1259.46	o 607
1254.59/1266.60	o 606
1261.62/1273.68	o 605
1268.65/1280.74	o 604
1275.68/1287.85	o 603
1282.62/1294.88	o 602
1289.65/1301.94	o 601
1296.68/1309.01	o 600
1303.62/1316.01	o 599
1310.55/1323.04	o 598
1317.48/1330.05	o 597
1324.32/1336.92	o 595
1331.25/1343.90	o 594
1338.09/1350.88	o 593
1344.92/1357.80	o 592
1351.85/1364.75	o 591
1358.69/1371.69	o 590
1365.52/1378.56	o 589
1372.35/1385.49	o 588
1379.19/1392.37	o 587
1386.03/1399.22	o 586
1389.99/1403.21	o 584
1396.73/1410.08	o 583
1403.19/1416.52	o 582
1409.49/1422.80	o 581
1415.69/1429.06	o 580
1421.98/1435.33	o 579
1428.18/1441.58	o 578
1434.48/1447.84	o 577
1440.68/1454.07	o 575
1446.98/1460.35	o 574
1453.18/1466.59	o 573
1459.48/1472.82	o 572
1465.67/1479.06	o 571
1471.87/1485.22	o 570
1478.07/1491.41	o 569
1484.17/1497.59	o 568
1490.37/1503.76	o 567
1496.56/1509.93	o 566
1502.76/1516.14	o 565
1508.86/1522.30	o 564
1515.05/1528.43	o 563
1521.16/1534.58	o 562
1527.35/1540.73	o 561
1533.45/1546.80	o 560
1539.54/1552.94	o 559
1545.64/1559.09	o 558
1551.74/1565.17	o 557
1557.83/1571.23	o 556
1563.94/1577.35	o 555
1570.03/1583.43	o 554
1576.13/1589.51	o 553
1582.13/1595.58	o 552
1588.22/1601.62	o 551
1594.22/1607.65	o 550
1600.32/1613.72	o 549
1606.31/1619.78	o 548
1612.31/1625.79	o 547
1618.31/1631.79	o 546
1624.31/1637.80	o 545
1630.30/1643.76	o 544
1636.20/1649.67	o 543
1642.20/1655.65	o 542
1648.09/1661.55	o 541
1653.99/1667.47	o 540
1659.89/1673.39	o 539
1665.89/1679.35	o 538
1671.79/1685.26	o 537
1677.68/1691.17	o 536
1683.59/1697.08	o 535
1689.49/1702.93	o 534
1695.29/1708.76	o 533
1701.18/1714.63	o 532
1706.99/1720.48	o 531
1712.77/1726.27	o 530
1718.67/1732.10	o 529
1724.47/1737.93	o 528
1730.17/1743.70	o 527
1736.07/1749.52	o 526
1741.86/1755.36	o 525
1747.66/1761.17	o 524
1753.46/1766.93	o 523
1759.26/1772.71	o 522
1764.95/1778.49	o 521
1770.75/1784.25	o 520
1776.45/1789.98	o 519
1782.24/1795.72	o 518
1787.94/1801.47	o 517
1793.64/1807.17	o 516
1799.34/1812.87	o 515
1805.03/1818.55	o 514
1810.73/1824.23	o 513
1816.43/1829.91	o 512
1822.03/1835.59	o 511
1827.72/1841.24	o 510
1833.33/1846.88	o 509
1839.02/1852.52	o 508
1844.62/1858.18	o 507
1850.22/1863.78	o 506
1855.81/1869.35	o 505
1861.41/1874.99	o 504
1867.11/1880.61	o 503
1872.61/1886.14	o 502
1878.21/1891.72	o 501
1883.80/1897.33	o 500
1889.30/1902.83	o 499
1894.80/1908.37	o 498
1900.41/1913.92	o 497
1905.90/1919.47	o 496
1911.40/1924.96	o 495
1916.89/1930.44	o 494
1922.39/1935.94	o 493
1927.88/1941.43	o 492
1933.28/1946.89	o 491
1938.78/1952.32	o 490
1944.18/1957.79	o 489
1949.67/1963.24	o 488
1955.07/1968.65	o 487
1960.47/1974.04	o 486
1965.87/1979.48	o 485
1971.26/1984.88	o 484
1976.76/1990.31	o 483
1982.16/1995.76	o 482
1987.56/2001.17	o 481
1992.95/2006.54	o 480
1998.35/2011.92	o 479
2003.75/2017.32	o 478
2009.04/2022.69	o 477
2014.34/2028.00	o 476
2019.74/2033.32	o 475
2025.04/2038.65	o 474
2030.34/2043.94	o 473
2035.64/2049.21	o 472
2040.84/2054.47	o 471
2046.13/2059.73	o 470
2051.33/2064.96	o 469
2056.53/2070.13	o 468
2061.73/2075.39	o 467
2067.02/2080.62	o 466
2072.22/2085.82	o 465
2077.42/2091.03	o 464
2082.61/2096.24	o 463
2087.71/2101.39	o 462
2092.91/2106.52	o 461
2098.00/2111.66	o 460
2103.10/2116.76	o 459
2108.30/2121.90	o 458
2113.40/2127.01	o 457
2118.39/2132.07	o 456
2123.57/2137.21	o 455
2128.64/2142.34	o 454
2133.71/2147.45	o 453
2138.79/2152.57	o 452
2143.86/2157.69	o 451
2148.93/2162.79	o 450
2154.01/2167.83	o 449
2159.09/2172.90	o 448
2164.07/2177.94	o 447
2169.04/2182.94	o 446
2174.01/2187.95	o 445
2178.99/2192.96	o 444
2183.96/2197.98	o 443
2189.03/2203.02	o 442
2194.01/2208.03	o 441
2198.99/2213.05	o 440
2203.96/2218.05	o 439
2208.94/2223.02	o 438
2213.81/2227.97	o 437
2218.79/2232.96	o 436
2223.76/2237.92	o 435
2228.64/2242.85	o 434
2233.51/2247.75	o 433
2238.39/2252.67	o 432
2243.26/2257.59	o 431
2248.14/2262.48	o 430
2253.01/2267.35	o 429
2257.89/2272.22	o 428
2262.76/2277.10	o 427
2267.54/2281.93	o 426
2272.32/2286.73	o 425
2277.09/2291.56	o 424
2281.87/2296.38	o 423
2286.65/2301.17	o 422
2291.42/2305.92	o 421
2296.10/2310.66	o 420
2300.88/2315.41	o 419
2305.55/2320.15	o 418
2310.22/2324.86	o 417
2314.90/2329.54	o 416
2319.58/2334.25	o 415
2324.25/2338.93	o 414
2328.83/2343.58	o 413
2333.51/2348.23	o 412
2338.09/2352.89	o 411
2342.76/2357.55	o 410
2347.34/2362.18	o 409
2351.91/2366.79	o 408
2356.49/2371.40	o 407
2361.17/2376.02	o 406
2365.74/2380.61	o 405
2370.22/2385.17	o 404
2374.80/2389.71	o 403
2379.28/2394.29	o 402
2383.86/2398.84	o 401
2388.33/2403.35	o 400
2392.82/2407.86	o 399
2397.30/2412.37	o 398
2401.77/2416.88	o 397
2406.25/2421.36	o 396
2410.73/2425.82	o 395
2415.20/2430.30	o 394
2419.58/2434.79	o 393
2424.06/2439.26	o 392
2428.44/2443.69	o 391
2432.82/2448.08	o 390
2437.20/2452.48	o 389
2441.57/2456.89	o 388
2445.95/2461.28	o 387
2450.33/2465.61	o 386
2454.61/2469.96	o 385
2458.99/2474.32	o 384
2463.27/2478.66	o 383
2467.54/2482.96	o 382
2471.82/2487.26	o 381
2476.11/2491.55	o 380
2480.38/2495.84	o 379
2484.66/2500.11	o 378
2488.84/2504.34	o 377
2493.02/2508.57	o 376
2497.30/2512.81	o 375
2501.47/2517.06	o 374
2505.66/2521.27	o 373
2509.84/2525.44	o 372
2514.01/2529.61	o 371
2518.19/2533.80	o 370
2522.27/2537.98	o 369
2526.45/2542.13	o 368
2530.53/2546.27	o 367
2534.61/2550.39	o 366
2538.79/2554.52	o 365
2542.87/2558.64	o 364
2546.95/2562.72	o 363
2551.04/2566.81	o 362
2555.02/2570.90	o 361
2559.20/2575.01	o 360
2563.18/2579.08	o 359
2567.26/2583.11	o 358
2571.24/2587.13	o 357
2575.22/2591.15	o 356
2579.19/2595.19	o 355
2583.28/2599.21	o 354
2587.16/2603.19	o 353
2591.14/2607.17	o 352
2595.12/2611.13	o 351
2599.00/2615.08	o 350
2602.98/2619.02	o 349
2606.86/2622.92	o 348
2610.74/2626.81	o 347
2614.62/2630.70	o 346
2618.50/2634.61	o 345
2622.38/2638.51	o 344
2626.16/2642.36	o 343
2629.94/2646.19	o 342
2633.82/2650.04	o 341
2637.71/2653.90	o 340
2641.48/2657.74	o 339
2645.27/2661.54	o 338
2649.05/2665.32	o 337
2652.73/2669.09	o 336
2656.51/2672.86	o 335
2660.29/2676.63	o 334
2664.07/2680.40	o 333
2667.75/2684.14	o 332
2671.43/2687.85	o 331
2675.12/2691.55	o 330
2678.79/2695.25	o 329
2682.48/2698.94	o 328
2686.16/2702.62	o 327
2689.75/2706.26	o 326
2693.33/2709.89	o 325
2697.02/2713.53	o 324
2700.60/2717.18	o 323
2704.18/2720.78	o 322
2707.76/2724.34	o 321
2711.24/2727.88	o 320
2714.82/2731.44	o 319
2718.31/2734.99	o 318
2721.89/2738.55	o 317
2725.37/2742.06	o 316
2728.86/2745.55	o 315
2732.34/2749.03	o 314
2735.82/2752.53	o 313
2739.30/2756.01	o 312
2742.79/2759.51	o 311
2746.17/2762.95	o 310
2749.56/2766.39	o 309
2753.04/2769.84	o 308
2756.42/2773.29	o 307
2759.90/2776.74	o 306
2763.28/2780.14	o 305
2766.67/2783.53	o 304
2770.05/2786.93	o 303
2773.33/2790.28	o 302
2776.72/2793.69	o 301
2780.10/2797.05	o 300
2783.39/2800.39	o 299
2786.77/2803.71	o 298
2790.05/2807.02	o 297
2793.34/2810.32	o 296
2796.62/2813.62	o 295
2799.90/2816.94	o 294
2803.19/2820.21	o 293
2806.37/2823.45	o 292
2809.56/2826.69	o 291
2812.84/2829.90	o 290
2816.02/2833.13	o 289
2819.21/2836.33	o 288
2822.39/2839.54	o 287
2825.58/2842.70	o 286
2828.66/2845.88	o 285
2831.85/2849.02	o 284
2834.93/2852.17	o 283
2838.12/2855.33	o 282
2841.20/2858.48	o 281
2844.38/2861.61	o 280
2847.46/2864.71	o 279
2850.45/2867.78	o 278
2853.54/2870.86	o 277
2856.62/2873.93	o 276
2859.70/2877.02	o 275
2862.69/2880.07	o 274
2865.67/2883.09	o 273
2868.76/2886.12	o 272
2871.74/2889.11	o 271
2874.72/2892.11	o 270
2877.71/2895.14	o 269
2880.70/2898.12	o 268
2883.58/2901.06	o 267
2886.57/2904.02	o 266
2889.45/2906.95	o 265
2892.33/2909.86	o 264
2895.22/2912.79	o 263
2898.22/2915.73	o 262
2901.10/2918.66	o 261
2903.99/2921.53	o 260
2906.77/2924.38	o 259
2909.65/2927.26	o 258
2912.45/2930.10	o 257
2915.33/2932.95	o 256
2918.12/2935.78	o 255
2921.00/2938.61	o 254
2923.79/2941.42	o 253
2926.58/2944.23	o 252
2929.36/2947.02	o 251
2932.05/2949.77	o 250
2934.83/2952.53	o 249
2937.52/2955.29	o 248
2940.30/2958.05	o 247
2942.99/2960.76	o 246
2945.68/2963.47	o 245
2948.36/2966.15	o 244
2951.05/2968.84	o 243
2953.74/2971.51	o 242
2956.43/2974.20	o 241
2959.01/2976.86	o 240
2961.60/2979.50	o 239
2964.29/2982.14	o 238
2966.87/2984.74	o 237
2969.46/2987.32	o 236
2972.05/2989.97	o 235
2974.63/2992.55	o 234
2977.22/2995.13	o 233
2979.81/2997.75	o 232
2982.39/3000.31	o 231
2984.88/3002.85	o 230
2987.37/3005.40	o 229
2989.96/3007.90	o 228
2992.44/3010.42	o 227
2994.93/3012.93	o 226
2997.42/3015.41	o 225
2999.81/3017.88	o 224
3002.30/3020.34	o 223
3004.69/3022.79	o 222
3007.17/3025.23	o 221
3009.56/3027.64	o 220
3011.95/3030.06	o 219
3014.34/3032.47	o 218
3016.73/3034.86	o 217
3019.11/3037.22	o 216
3021.50/3039.61	o 215
3023.79/3041.98	o 214
3026.17/3044.30	o 213
3028.46/3046.60	o 212
3030.75/3048.93	o 211
3033.04/3051.25	o 210
3035.33/3053.57	o 209
3037.62/3055.85	o 208
3039.90/3058.12	o 207
3042.09/3060.36	o 206
3044.28/3062.57	o 205
3046.58/3064.80	o 204
3048.77/3067.02	o 203
3050.86/3069.20	o 202
3053.04/3071.39	o 201
3055.23/3073.59	o 200
3057.42/3075.75	o 199
3059.52/3077.88	o 198
3061.70/3080.02	o 197
3063.80/3082.15	o 196
3065.88/3084.26	o 195
3067.97/3086.37	o 194
3070.06/3088.45	o 193
3072.15/3090.58	o 192
3074.24/3092.69	o 191
3076.33/3094.79	o 190
3078.41/3096.86	o 189
3080.50/3098.93	o 188
3082.50/3100.98	o 187
3084.59/3103.01	o 186
3086.57/3105.01	o 185
3088.46/3106.99	o 184
3090.45/3108.96	o 183
3092.44/3110.94	o 182
3094.34/3112.89	o 181
3096.33/3114.82	o 180
3098.22/3116.77	o 179
3103.99/3122.53	o 178
3107.77/3126.32	o 177
3109.56/3128.19	o 176
3115.23/3133.80	o 175
3120.70/3139.33	o 174
3124.28/3142.91	o 173
3125.98/3144.65	o 172
3129.46/3148.10	o 171
3136.22/3154.92	o 170
3142.79/3161.56	o 169
3146.17/3164.90	o 168
3154.24/3173.00	o 167
3162.01/3180.86	o 166
3181.31/3200.27	o 165
3205.29/3224.33	o 164
3208.97/3228.00	o 163
3212.46/3231.60	o 162
3214.85/3233.94	o 161
3215.94/3235.07	o 160
3231.76/3250.98	o 159
3237.63/3256.80	o 158
3257.03/3276.33	o 157
3259.42/3278.74	o 156
3262.20/3281.58	o 155
3268.97/3288.35	o 154
3272.15/3291.50	o 153
3273.25/3292.69	o 152
3274.44/3293.87	o 151
3275.04/3294.49	o 150
3276.24/3295.66	o 149
3277.33/3296.73	o 148
3277.83/3297.28	o 147
3279.42/3298.87	o 146
3280.71/3300.11	o 145
3281.31/3300.77	o 144
3282.30/3301.73	o 143
3282.90/3302.34	o 142
3284.09/3303.54	o 141
3284.69/3304.14	o 140
3286.78/3306.21	o 139
3287.89/3307.31	o 138
3288.88/3308.31	o 137
3289.77/3309.29	o 136
3291.76/3311.24	o 135
3293.05/3312.59	o 134
3293.75/3313.29	o 133
3294.55/3314.01	o 132
3296.04/3315.58	o 131
3297.23/3316.76	o 130
3297.93/3317.47	o 129
3298.73/3318.26	o 128
3299.62/3319.16	o 127
3301.42/3320.97	o 126
3302.21/3321.73	o 125
3303.01/3322.54	o 124
3303.90/3323.41	o 123
3304.60/3324.20	o 122
3305.49/3325.09	o 121
3307.98/3327.58	o 120
3309.77/3329.32	o 119
3311.46/3331.00	o 118
3312.85/3332.49	o 117
3313.85/3333.41	o 116
3314.74/3334.37	o 115
3315.74/3335.35	o 114
3316.74/3336.34	o 113
3318.23/3337.86	o 112
3319.22/3338.83	o 111
3321.31/3340.93	o 110
3322.41/3342.01	o 109
3325.59/3345.23	o 108
3327.88/3347.50	o 107
3328.97/3348.65	o 106
3331.46/3351.18	o 105
3333.75/3353.44	o 104
3335.83/3355.57	o 103
3337.23/3356.91	o 102
3339.22/3358.97	o 101
3341.71/3361.45	o 100
3346.58/3366.37	o 99
3348.17/3367.94	o 98
3363.41/3383.23	o 97
3367.19/3387.09	o 96
3372.96/3392.81	o 95
3375.35/3395.23	o 94
3376.74/3396.60	o 93
3379.33/3399.25	o 92
3388.38/3408.34	o 91
3404.70/3424.72	o 90
3420.22/3440.33	o 89
3452.46/3472.75	   
3452.46/3472.75	   search
3452.46/3472.75	     run=0  nbConstraintChecks=12120266733  nbAssignments=909
3452.46/3472.75	       =>  wckTime=3470.749  cpuTime=3450.5  mem=261M646
3452.46/3472.75	   
3452.46/3472.75	   global
3452.46/3472.75	     nbConstraintChecks=12120266733  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3452.46/3472.75	     solvingWckTime=3470.559  solvingCpuTime=3450.33  expiredTime=no  totalExploration=no  nbFoundSolutions=0
3452.46/3472.75	     globalCpuTime=3451.59
3452.46/3472.75	       =>  wckTime=3472.514  cpuTime=3451.54  mem=261M646
3452.46/3472.75	   
3452.46/3472.75	   solver DecomposerSolver being built... 
3468.88/3489.22	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-1109558-1215805506/watcher-1109558-1215805506 -o /tmp/evaluation-result-1109558-1215805506/solver-1109558-1215805506 -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-1109558-1215805506.xml 

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 16801
/proc/meminfo: memFree=1911488/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=1616 CPUtime=0
/proc/16801/stat : 16801 (java) D 16799 16801 14612 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 37249727 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/16801/statm: 404 148 122 9 0 46 0

[startup+0.0171129 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 16801
/proc/meminfo: memFree=1911488/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=11132 CPUtime=0
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 875 0 1 0 0 0 0 0 18 0 2 0 37249727 11399168 627 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 2783 627 327 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11132

[startup+0.101235 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 16801
/proc/meminfo: memFree=1911488/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=865988 CPUtime=0.08
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 3768 0 1 0 6 2 0 0 18 0 9 0 37249727 886771712 3226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216497 3226 1706 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301253 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 16801
/proc/meminfo: memFree=1911488/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=866156 CPUtime=0.29
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 5579 0 1 0 25 4 0 0 18 0 9 0 37249727 886943744 5000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216539 5000 1889 9 0 211087 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866156

[startup+0.701298 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 16801
/proc/meminfo: memFree=1911488/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=866452 CPUtime=0.68
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 26802 0 1 0 56 12 0 0 18 0 9 0 37249727 887246848 26171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216613 26171 1981 9 0 211141 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866452

[startup+1.50236 s]
/proc/loadavg: 1.92 1.98 1.99 4/90 16810
/proc/meminfo: memFree=1739896/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867152 CPUtime=1.47
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 75635 0 1 0 115 32 0 0 18 0 9 0 37249727 887963648 74990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216788 74990 2022 9 0 211294 0
[pid=16801/tid=16803] ppid=16799 vsize=867152 CPUtime=0.94
/proc/16801/task/16803/stat : 16803 (java) R 16799 16801 14612 0 -1 64 15788 0 1 0 86 8 0 0 24 0 9 0 37249728 887963648 74990 996147200 134512640 134550740 4294955952 18446744073709551615 101444433 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867152 CPUtime=0.38
/proc/16801/task/16804/stat : 16804 (java) S 16799 16801 14612 0 -1 64 58694 0 0 0 15 23 0 0 16 0 9 0 37249730 887963648 74990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867152 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37249730 887963648 74990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867152 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37249730 887963648 74990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867152 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 887963648 74990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867152 CPUtime=0.12
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 456 0 0 0 12 0 0 0 16 0 9 0 37249732 887963648 74990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867152 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 887963648 74990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867152 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 887963648 74990 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) 867152

[startup+3.10251 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 16810
/proc/meminfo: memFree=1604280/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867744 CPUtime=3.05
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 80074 0 1 0 267 38 0 0 18 0 9 0 37249727 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216936 79212 2639 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867744 CPUtime=2.31
/proc/16801/task/16803/stat : 16803 (java) R 16799 16801 14612 0 -1 64 15891 0 1 0 219 12 0 0 25 0 9 0 37249728 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4127049660 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867744 CPUtime=0.45
/proc/16801/task/16804/stat : 16804 (java) S 16799 16801 14612 0 -1 64 62794 0 0 0 21 24 0 0 17 0 9 0 37249730 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867744 CPUtime=0.25
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 692 0 0 0 25 0 0 0 15 0 9 0 37249732 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888569856 79212 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) 867744

[startup+6.30181 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 16810
/proc/meminfo: memFree=1604024/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867744 CPUtime=6.22
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 80074 0 1 0 584 38 0 0 18 0 9 0 37249727 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216936 79212 2639 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867744 CPUtime=5.48
/proc/16801/task/16803/stat : 16803 (java) R 16799 16801 14612 0 -1 64 15891 0 1 0 536 12 0 0 25 0 9 0 37249728 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4126861751 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867744 CPUtime=0.46
/proc/16801/task/16804/stat : 16804 (java) S 16799 16801 14612 0 -1 64 62794 0 0 0 22 24 0 0 16 0 9 0 37249730 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867744 CPUtime=0.25
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 692 0 0 0 25 0 0 0 15 0 9 0 37249732 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888569856 79212 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888569856 79212 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) 867744

[startup+12.7024 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 16810
/proc/meminfo: memFree=1603832/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867744 CPUtime=12.57
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 80077 0 1 0 1218 39 0 0 18 0 9 0 37249727 888569856 79213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216936 79213 2639 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867744 CPUtime=11.81
/proc/16801/task/16803/stat : 16803 (java) R 16799 16801 14612 0 -1 64 15892 0 1 0 1169 12 0 0 25 0 9 0 37249728 888569856 79213 996147200 134512640 134550740 4294955952 18446744073709551615 4127048479 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867744 CPUtime=0.46
/proc/16801/task/16804/stat : 16804 (java) S 16799 16801 14612 0 -1 64 62794 0 0 0 22 24 0 0 16 0 9 0 37249730 888569856 79213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888569856 79213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867744 CPUtime=0.26
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 694 0 0 0 26 0 0 0 16 0 9 0 37249732 888569856 79213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888569856 79213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888569856 79213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867744

[startup+25.5016 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 16810
/proc/meminfo: memFree=1603896/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867744 CPUtime=25.25
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 80078 0 1 0 2486 39 0 0 18 0 9 0 37249727 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216936 79214 2639 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867744 CPUtime=24.49
/proc/16801/task/16803/stat : 16803 (java) R 16799 16801 14612 0 -1 64 15892 0 1 0 2437 12 0 0 25 0 9 0 37249728 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4126861846 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867744 CPUtime=0.46
/proc/16801/task/16804/stat : 16804 (java) S 16799 16801 14612 0 -1 64 62794 0 0 0 22 24 0 0 16 0 9 0 37249730 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867744 CPUtime=0.26
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 695 0 0 0 26 0 0 0 16 0 9 0 37249732 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867744

[startup+51.102 s]
/proc/loadavg: 1.96 1.98 1.99 3/90 16810
/proc/meminfo: memFree=1603896/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867744 CPUtime=50.6
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 80078 0 1 0 5021 39 0 0 18 0 9 0 37249727 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216936 79214 2639 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867744 CPUtime=49.84
/proc/16801/task/16803/stat : 16803 (java) R 16799 16801 14612 0 -1 64 15892 0 1 0 4972 12 0 0 25 0 9 0 37249728 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4127047672 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867744 CPUtime=0.46
/proc/16801/task/16804/stat : 16804 (java) S 16799 16801 14612 0 -1 64 62794 0 0 0 22 24 0 0 16 0 9 0 37249730 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867744 CPUtime=0.26
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 695 0 0 0 26 0 0 0 16 0 9 0 37249732 888569856 79214 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867744 CPUtime=0

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

/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867744 CPUtime=0.27
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 703 0 0 0 27 0 0 0 16 0 9 0 37249732 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3442.11
Current children cumulated vsize (KiB) 867744

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

[startup+3468.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 16880
/proc/meminfo: memFree=1483256/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867744 CPUtime=3448.48
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 80089 0 1 0 344789 59 0 0 18 0 9 0 37249727 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216936 79222 2639 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867744 CPUtime=3447.71
/proc/16801/task/16803/stat : 16803 (java) R 16799 16801 14612 0 -1 64 15895 0 1 0 344738 33 0 0 25 0 9 0 37249728 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4127056902 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867744 CPUtime=0.47
/proc/16801/task/16804/stat : 16804 (java) S 16799 16801 14612 0 -1 64 62794 0 0 0 22 25 0 0 16 0 9 0 37249730 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37249730 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867744 CPUtime=0.27
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 703 0 0 0 27 0 0 0 16 0 9 0 37249732 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867744 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888569856 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3448.48
Current children cumulated vsize (KiB) 867744

[startup+3481.51 s]
/proc/loadavg: 2.15 2.06 2.01 3/82 16880
/proc/meminfo: memFree=1001464/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867656 CPUtime=3461.22
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 200332 0 1 0 345999 123 0 0 18 0 9 0 37249727 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216914 199421 2618 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867656 CPUtime=3453.9
/proc/16801/task/16803/stat : 16803 (java) S 16799 16801 14612 0 -1 64 30405 0 1 0 345349 41 0 0 17 0 9 0 37249728 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867656 CPUtime=7
/proc/16801/task/16804/stat : 16804 (java) R 16799 16801 14612 0 -1 64 168515 0 0 0 620 80 0 0 19 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 103735753 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 17 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867656 CPUtime=0.28
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 706 0 0 0 28 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3461.22
Current children cumulated vsize (KiB) 867656

[startup+3484.7 s]
/proc/loadavg: 2.14 2.05 2.01 3/82 16880
/proc/meminfo: memFree=1001464/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867656 CPUtime=3464.4
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 200333 0 1 0 346317 123 0 0 18 0 9 0 37249727 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216914 199421 2618 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867656 CPUtime=3453.91
/proc/16801/task/16803/stat : 16803 (java) S 16799 16801 14612 0 -1 64 30406 0 1 0 345350 41 0 0 17 0 9 0 37249728 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867656 CPUtime=10.17
/proc/16801/task/16804/stat : 16804 (java) R 16799 16801 14612 0 -1 64 168515 0 0 0 937 80 0 0 25 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 101587916 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 17 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867656 CPUtime=0.28
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 706 0 0 0 28 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3464.4
Current children cumulated vsize (KiB) 867656

[startup+3487.9 s]
/proc/loadavg: 2.14 2.05 2.01 3/82 16880
/proc/meminfo: memFree=1001464/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867656 CPUtime=3467.58
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 200334 0 1 0 346635 123 0 0 18 0 9 0 37249727 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216914 199421 2618 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867656 CPUtime=3453.91
/proc/16801/task/16803/stat : 16803 (java) S 16799 16801 14612 0 -1 64 30407 0 1 0 345350 41 0 0 17 0 9 0 37249728 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867656 CPUtime=13.36
/proc/16801/task/16804/stat : 16804 (java) R 16799 16801 14612 0 -1 64 168515 0 0 0 1256 80 0 0 25 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 104180298 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 17 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867656 CPUtime=0.28
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 706 0 0 0 28 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3467.58
Current children cumulated vsize (KiB) 867656

[startup+3488.7 s]
/proc/loadavg: 2.14 2.05 2.01 3/82 16880
/proc/meminfo: memFree=1001464/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867656 CPUtime=3468.38
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 200334 0 1 0 346715 123 0 0 18 0 9 0 37249727 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216914 199421 2618 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867656 CPUtime=3453.91
/proc/16801/task/16803/stat : 16803 (java) S 16799 16801 14612 0 -1 64 30407 0 1 0 345350 41 0 0 17 0 9 0 37249728 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867656 CPUtime=14.15
/proc/16801/task/16804/stat : 16804 (java) R 16799 16801 14612 0 -1 64 168515 0 0 0 1335 80 0 0 25 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 17 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867656 CPUtime=0.28
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 706 0 0 0 28 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3468.38
Current children cumulated vsize (KiB) 867656

[startup+3489.1 s]
/proc/loadavg: 2.13 2.05 2.01 3/82 16880
/proc/meminfo: memFree=1001464/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=867656 CPUtime=3468.78
/proc/16801/stat : 16801 (java) S 16799 16801 14612 0 -1 0 200335 0 1 0 346755 123 0 0 18 0 9 0 37249727 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16801/statm: 216914 199421 2618 9 0 211442 0
[pid=16801/tid=16803] ppid=16799 vsize=867656 CPUtime=3453.91
/proc/16801/task/16803/stat : 16803 (java) S 16799 16801 14612 0 -1 64 30408 0 1 0 345350 41 0 0 17 0 9 0 37249728 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16804] ppid=16799 vsize=867656 CPUtime=14.55
/proc/16801/task/16804/stat : 16804 (java) R 16799 16801 14612 0 -1 64 168515 0 0 0 1375 80 0 0 25 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 104181771 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16805] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16805/stat : 16805 (java) S 16799 16801 14612 0 -1 64 12 0 0 0 0 0 0 0 17 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16806] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16806/stat : 16806 (java) S 16799 16801 14612 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 37249730 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16807] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16807/stat : 16807 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16808] ppid=16799 vsize=867656 CPUtime=0.28
/proc/16801/task/16808/stat : 16808 (java) S 16799 16801 14612 0 -1 64 706 0 0 0 28 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16801/tid=16809] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16809/stat : 16809 (java) S 16799 16801 14612 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16801/tid=16810] ppid=16799 vsize=867656 CPUtime=0
/proc/16801/task/16810/stat : 16810 (java) S 16799 16801 14612 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37249732 888479744 199421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3468.78
Current children cumulated vsize (KiB) 867656

[startup+3489.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/82 16880
/proc/meminfo: memFree=1001464/2055920 swapFree=4180968/4192956
[pid=16801] ppid=16799 vsize=0 CPUtime=3468.97
/proc/16801/stat : 16801 (java) Z 16799 16801 14612 0 -1 12 200343 0 1 0 346767 130 0 0 16 0 2 0 37249727 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16801/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3468.97
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 3489.35
CPU time (s): 3469.03
CPU user time (s): 3467.67
CPU system time (s): 1.35479
CPU usage (%): 99.4175
Max. virtual memory (cumulated for all children) (KiB): 867748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3467.67
system time used= 1.35479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200343
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= 71827
involuntary context switches= 131953

runsolver used 4.35634 second user time and 11.5852 second system time

The end

Launcher Data (download as text)

Begin job on node48 at 2008-07-11 21:45:06
IDJOB=1109558
IDBENCH=60982
IDSOLVER=360
FILE ID=node48/1109558-1215805506
PBS_JOBID= 7903244
Free space on /tmp= 66544 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fischer/normalized-fischer-1-3-fair.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-1109558-1215805506/watcher-1109558-1215805506 -o /tmp/evaluation-result-1109558-1215805506/solver-1109558-1215805506 -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-1109558-1215805506.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= f5fa2b1ab1e1b760100093009122d806
RANDOM SEED=2047410690

node48.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.232
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.232
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:       1911968 kB
Buffers:          9516 kB
Cached:          49012 kB
SwapCached:       5936 kB
Active:          71268 kB
Inactive:        23088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1911968 kB
SwapTotal:     4192956 kB
SwapFree:      4180968 kB
Dirty:            2140 kB
Writeback:           0 kB
Mapped:          51880 kB
Slab:            34704 kB
Committed_AS:   263448 kB
PageTables:       1844 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= 66500 MiB
End job on node48 at 2008-07-11 22:43:16