Trace number 1109557

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 3471.1 3472.57

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.05/0.07	
0.05/0.07	Abscon 112 (May, 2008)
0.21/0.20	
0.21/0.20	   configuration
0.21/0.20	     name=mrdac-wdeg.xml
0.21/0.23	   
0.21/0.23	   instance
0.21/0.23	     name=HOME/instance-1109557-1215805505.xml
0.21/0.27	   
0.21/0.27	   domains being loaded...
0.21/0.28	   
0.21/0.28	   variables being loaded...
1.18/1.14	     nbVariables=883  nbDomainTypes=3  minDomainSize=2  maxDomainSize=20001  nbTotalValues=14782619
1.18/1.14	       =>  wckTime=0.939  cpuTime=0.55  mem=239M924
1.18/1.14	   
1.18/1.14	   predicates being loaded...
1.18/1.20	   
1.18/1.20	   constraints being loaded...
1.57/1.47	     nbConstraints=828  nbUnaryConstraints=2  nbConvertedConstraints=158  nbConvertConstraintsChecks=80004
1.57/1.47	     nbExtensionStructures=2  nbSharedExtensionStructures=156  nbConflictsStructures=2  nbSharedConflictsStructures=156
1.57/1.48	     nbUnbuiltConflictsStructures=12  nbSharedBinaryRepresentations=40001  nbEvaluationManagers=15
1.57/1.48	     nbSharedEvaluationManagers=655  minDegree=2  maxDegree=16  minArity=1  avgArity=2.8  maxArity=3
1.57/1.48	       =>  wckTime=1.272  cpuTime=0.88  mem=249M781
1.68/1.56	   
1.68/1.56	   solver LocalSearchSolver being built... 
1.68/1.59	       =>  wckTime=1.389  cpuTime=0.92  mem=261M293
6.01/5.83	
6.01/5.83	s SATISFIABLE
6.01/5.83	o 826
10.31/10.18	o 824
17.10/16.93	o 822
22.60/22.45	o 820
26.50/26.34	o 818
32.79/32.69	o 816
37.39/37.29	o 814
43.18/43.05	o 812
50.38/50.23	o 810
54.18/54.09	o 808
61.37/61.22	o 806
65.17/65.09	o 804
72.27/72.12	o 802
77.46/77.30	o 800
84.46/84.32	o 798
90.06/89.98	o 796
96.06/95.94	o 794
99.96/99.86	o 792
106.05/105.96	o 790
110.05/109.91	o 788
114.65/114.59	o 786
121.24/121.11	o 784
127.14/127.00	o 782
131.04/130.95	o 780
135.24/135.13	o 778
139.04/138.96	o 776
147.03/146.93	o 774
153.13/153.04	o 772
160.63/160.58	o 770
167.91/167.88	o 768
175.61/175.51	o 766
179.41/179.38	o 764
186.80/186.73	o 762
192.40/192.35	o 760
196.20/196.14	o 758
200.00/199.90	o 756
204.79/204.74	o 754
211.98/211.92	o 752
217.79/217.72	o 750
223.28/223.24	o 748
230.68/230.66	o 746
238.37/238.32	o 744
245.67/245.60	o 742
250.47/250.45	o 740
255.36/255.31	o 738
259.47/259.40	o 736
266.97/266.96	o 734
274.97/274.91	o 733
282.86/282.83	o 732
290.76/290.78	o 731
298.65/298.66	o 730
306.54/306.53	o 729
314.44/314.41	o 728
322.25/322.28	o 727
330.14/330.18	o 726
338.04/338.00	o 725
345.83/345.86	o 724
353.73/353.70	o 723
361.42/361.48	o 722
369.32/369.32	o 721
377.02/377.09	o 720
384.81/384.89	o 719
392.61/392.69	o 718
400.41/400.43	o 717
408.20/408.22	o 716
415.90/415.95	o 715
423.60/423.69	o 714
431.40/431.45	o 713
439.09/439.18	o 712
446.88/446.91	o 711
454.58/454.61	o 710
462.18/462.28	o 709
469.98/470.01	o 708
477.58/477.64	o 707
485.27/485.35	o 706
492.97/493.01	o 705
500.56/500.63	o 704
508.16/508.29	o 703
515.76/515.88	o 702
523.35/523.49	o 701
531.05/531.11	o 700
538.54/538.68	o 699
546.14/546.28	o 698
553.74/553.86	o 697
561.34/561.43	o 696
568.93/569.06	o 695
576.54/576.65	o 694
584.13/584.21	o 693
591.64/591.76	o 692
599.13/599.27	o 691
606.72/606.80	o 690
614.22/614.36	o 689
621.71/621.86	o 688
629.21/629.38	o 687
636.71/636.84	o 686
644.21/644.31	o 685
651.60/651.80	o 684
659.10/659.26	o 683
666.59/666.78	o 682
674.09/674.23	o 681
681.49/681.63	o 680
688.89/689.06	o 679
696.28/696.45	o 678
703.68/703.82	o 677
711.07/711.23	o 676
718.37/718.56	o 675
725.77/725.93	o 674
733.07/733.28	o 673
740.37/740.59	o 672
747.77/747.93	o 671
755.05/755.25	o 670
762.35/762.54	o 669
769.65/769.86	o 668
776.95/777.14	o 667
784.24/784.43	o 666
791.54/791.75	o 665
798.83/799.02	o 664
806.14/806.30	o 663
813.33/813.58	o 662
820.63/820.82	o 661
827.92/828.10	o 660
835.12/835.35	o 659
842.42/842.62	o 658
849.71/849.90	o 657
856.91/857.10	o 656
864.10/864.32	o 655
871.30/871.57	o 654
878.50/878.74	o 653
885.69/885.98	o 652
892.89/893.17	o 651
900.09/900.31	o 650
907.19/907.49	o 649
914.38/914.66	o 648
921.48/921.80	o 647
928.68/928.98	o 646
935.87/936.14	o 645
942.97/943.26	o 644
950.17/950.41	o 643
957.26/957.50	o 642
964.36/964.62	o 641
971.47/971.77	o 640
978.66/978.90	o 639
985.75/986.00	o 638
992.75/993.08	o 637
999.85/1000.12	o 636
1006.94/1007.20	o 635
1013.95/1014.25	o 634
1021.03/1021.33	o 633
1028.03/1028.38	o 632
1035.13/1035.40	o 631
1042.03/1042.39	o 630
1049.13/1049.43	o 629
1056.12/1056.41	o 628
1063.02/1063.39	o 627
1070.11/1070.42	o 626
1077.01/1077.37	o 625
1084.01/1084.34	o 624
1091.01/1091.32	o 623
1097.91/1098.24	o 622
1104.80/1105.18	o 621
1111.89/1112.26	o 620
1118.79/1119.15	o 619
1125.69/1126.06	o 618
1132.59/1132.96	o 617
1139.48/1139.80	o 616
1146.38/1146.70	o 615
1153.18/1153.57	o 614
1159.97/1160.39	o 613
1166.87/1167.26	o 612
1173.67/1174.09	o 611
1180.46/1180.88	o 610
1187.36/1187.71	o 609
1194.17/1194.51	o 608
1200.86/1201.29	o 607
1207.65/1208.07	o 606
1214.45/1214.83	o 605
1221.15/1221.54	o 604
1227.95/1228.30	o 603
1234.64/1235.02	o 602
1241.34/1241.71	o 601
1248.13/1248.59	o 600
1254.83/1255.28	o 599
1261.53/1261.93	o 598
1268.23/1268.62	o 597
1274.72/1275.18	o 595
1281.42/1281.80	o 594
1288.02/1288.47	o 593
1294.61/1295.08	o 592
1301.21/1301.67	o 591
1307.81/1308.29	o 590
1314.41/1314.85	o 589
1320.91/1321.40	o 588
1327.50/1327.97	o 587
1334.10/1334.55	o 586
1337.90/1338.34	o 584
1344.39/1344.87	o 583
1350.99/1351.40	o 582
1357.39/1357.89	o 581
1363.99/1364.40	o 580
1370.48/1370.91	o 579
1376.88/1377.36	o 578
1383.38/1383.85	o 577
1389.77/1390.29	o 575
1396.27/1396.71	o 574
1402.67/1403.15	o 573
1409.16/1409.61	o 572
1415.56/1416.00	o 571
1421.96/1422.41	o 570
1428.35/1428.88	o 569
1434.75/1435.25	o 568
1441.15/1441.60	o 567
1447.44/1447.99	o 566
1453.84/1454.35	o 565
1460.14/1460.68	o 564
1466.54/1467.05	o 563
1473.12/1473.61	o 562
1479.42/1479.93	o 561
1485.72/1486.26	o 560
1492.01/1492.59	o 559
1498.31/1498.86	o 558
1504.61/1505.16	o 557
1510.91/1511.46	o 556
1517.29/1517.87	o 555
1523.59/1524.13	o 554
1529.89/1530.42	o 553
1536.09/1536.65	o 552
1542.29/1542.89	o 551
1548.58/1549.15	o 550
1554.78/1555.38	o 549
1560.98/1561.60	o 548
1567.28/1567.83	o 547
1573.48/1574.02	o 546
1579.58/1580.18	o 545
1585.78/1586.36	o 544
1591.97/1592.51	o 543
1598.07/1598.66	o 542
1604.27/1604.88	o 541
1610.46/1611.05	o 540
1616.56/1617.15	o 539
1622.66/1623.25	o 538
1628.75/1629.39	o 537
1634.85/1635.48	o 536
1640.95/1641.52	o 535
1646.95/1647.60	o 534
1653.04/1653.64	o 533
1659.04/1659.64	o 532
1665.04/1665.68	o 531
1671.14/1671.73	o 530
1677.13/1677.73	o 529
1683.13/1683.74	o 528
1689.13/1689.75	o 527
1695.22/1695.84	o 526
1701.22/1701.81	o 525
1707.22/1707.80	o 524
1713.12/1713.77	o 523
1719.01/1719.68	o 522
1725.01/1725.63	o 521
1730.90/1731.59	o 520
1736.80/1737.49	o 519
1742.80/1743.41	o 518
1748.69/1749.34	o 517
1754.59/1755.22	o 516
1760.39/1761.09	o 515
1766.29/1766.99	o 514
1772.18/1772.86	o 513
1778.08/1778.70	o 512
1783.87/1784.55	o 511
1789.67/1790.39	o 510
1795.47/1796.19	o 509
1801.27/1801.99	o 508
1807.17/1807.82	o 507
1812.97/1813.61	o 506
1818.67/1819.38	o 505
1824.47/1825.18	o 504
1830.45/1831.14	o 503
1836.15/1836.89	o 502
1841.95/1842.64	o 501
1847.74/1848.41	o 500
1853.44/1854.14	o 499
1859.14/1859.84	o 498
1864.84/1865.56	o 497
1870.53/1871.26	o 496
1876.23/1876.92	o 495
1881.83/1882.57	o 494
1887.53/1888.27	o 493
1893.22/1893.93	o 492
1898.82/1899.55	o 491
1904.42/1905.19	o 490
1910.12/1910.82	o 489
1915.71/1916.40	o 488
1921.31/1922.03	o 487
1926.91/1927.65	o 486
1932.50/1933.23	o 485
1938.00/1938.78	o 484
1943.60/1944.36	o 483
1949.20/1949.96	o 482
1954.80/1955.52	o 481
1960.29/1961.04	o 480
1965.89/1966.61	o 479
1971.39/1972.16	o 478
1976.88/1977.67	o 477
1982.38/1983.16	o 476
1987.88/1988.67	o 475
1993.38/1994.15	o 474
1998.78/1999.59	o 473
2004.28/2005.04	o 472
2009.76/2010.54	o 471
2015.16/2015.95	o 470
2020.56/2021.36	o 469
2025.96/2026.78	o 468
2031.36/2032.17	o 467
2036.76/2037.52	o 466
2042.06/2042.85	o 465
2047.46/2048.24	o 464
2052.75/2053.58	o 463
2058.14/2058.95	o 462
2063.44/2064.26	o 461
2068.75/2069.58	o 460
2074.04/2074.86	o 459
2079.35/2080.13	o 458
2084.64/2085.41	o 457
2089.84/2090.68	o 456
2095.14/2095.91	o 455
2100.43/2101.20	o 454
2105.63/2106.46	o 453
2110.92/2111.70	o 452
2116.02/2116.88	o 451
2121.22/2122.08	o 450
2126.42/2127.29	o 449
2131.62/2132.47	o 448
2136.82/2137.60	o 447
2141.92/2142.75	o 446
2147.11/2147.91	o 445
2152.21/2153.05	o 444
2157.31/2158.16	o 443
2162.40/2163.26	o 442
2167.50/2168.37	o 441
2172.60/2173.47	o 440
2177.60/2178.50	o 439
2182.70/2183.54	o 438
2187.70/2188.60	o 437
2192.89/2193.78	o 436
2197.88/2198.78	o 435
2202.88/2203.78	o 434
2207.88/2208.80	o 433
2212.88/2213.79	o 432
2217.88/2218.75	o 431
2222.87/2223.72	o 430
2227.87/2228.70	o 429
2232.77/2233.65	o 428
2237.76/2238.68	o 427
2242.76/2243.60	o 426
2247.65/2248.52	o 425
2252.55/2253.44	o 424
2257.36/2258.30	o 423
2262.25/2263.15	o 422
2267.15/2268.02	o 421
2271.95/2272.85	o 420
2276.74/2277.63	o 419
2281.54/2282.43	o 418
2286.34/2287.26	o 417
2291.13/2292.05	o 416
2295.84/2296.79	o 415
2300.63/2301.52	o 414
2305.33/2306.29	o 413
2310.13/2311.05	o 412
2314.83/2315.77	o 411
2319.52/2320.47	o 410
2324.32/2325.22	o 409
2329.01/2329.94	o 408
2333.71/2334.63	o 407
2338.31/2339.29	o 406
2343.01/2343.95	o 405
2347.71/2348.63	o 404
2352.30/2353.27	o 403
2356.90/2357.88	o 402
2361.50/2362.50	o 401
2366.21/2367.11	o 400
2370.79/2371.76	o 399
2375.39/2376.32	o 398
2379.89/2380.86	o 397
2384.49/2385.44	o 396
2389.09/2390.02	o 395
2393.58/2394.58	o 394
2398.19/2399.11	o 393
2402.68/2403.65	o 392
2407.18/2408.19	o 391
2411.68/2412.68	o 390
2416.17/2417.18	o 389
2420.67/2421.64	o 388
2425.17/2426.12	o 387
2429.57/2430.57	o 386
2433.97/2434.98	o 385
2438.36/2439.39	o 384
2442.76/2443.78	o 383
2447.17/2448.18	o 382
2451.57/2452.58	o 381
2455.97/2456.92	o 380
2460.36/2461.33	o 379
2464.66/2465.70	o 378
2469.06/2470.05	o 377
2473.35/2474.38	o 376
2477.65/2478.67	o 375
2481.95/2483.00	o 374
2486.35/2487.32	o 373
2490.65/2491.60	o 372
2494.85/2495.85	o 371
2499.05/2500.10	o 370
2503.34/2504.38	o 369
2507.83/2508.81	o 368
2512.03/2513.06	o 367
2516.22/2517.24	o 366
2520.42/2521.43	o 365
2524.63/2525.64	o 364
2528.82/2529.82	o 363
2532.92/2534.00	o 362
2537.12/2538.15	o 361
2541.31/2542.31	o 360
2545.42/2546.47	o 359
2549.60/2550.66	o 358
2553.70/2554.76	o 357
2557.80/2558.82	o 356
2561.91/2562.91	o 355
2566.00/2567.03	o 354
2570.10/2571.12	o 353
2574.10/2575.16	o 352
2578.10/2579.19	o 351
2582.20/2583.20	o 350
2586.20/2587.21	o 349
2590.19/2591.21	o 348
2594.18/2595.27	o 347
2598.19/2599.23	o 346
2602.08/2603.19	o 345
2606.08/2607.17	o 344
2610.08/2611.11	o 343
2613.98/2615.02	o 342
2617.87/2618.93	o 341
2621.77/2622.84	o 340
2625.68/2626.75	o 339
2629.57/2630.66	o 338
2633.47/2634.51	o 337
2637.27/2638.34	o 336
2641.17/2642.25	o 335
2644.96/2646.09	o 334
2648.86/2649.93	o 333
2652.66/2653.76	o 332
2656.46/2657.52	o 331
2660.16/2661.27	o 330
2663.96/2665.02	o 329
2667.65/2668.77	o 328
2671.45/2672.53	o 327
2675.15/2676.24	o 326
2678.85/2679.93	o 325
2682.55/2683.64	o 324
2686.33/2687.49	o 323
2690.04/2691.17	o 322
2693.64/2694.79	o 321
2697.25/2698.40	o 320
2700.84/2702.00	o 319
2704.54/2705.60	o 318
2708.14/2709.23	o 317
2711.73/2712.82	o 316
2715.23/2716.37	o 315
2718.83/2719.90	o 314
2722.33/2723.46	o 313
2725.93/2727.02	o 312
2729.52/2730.60	o 311
2733.02/2734.11	o 310
2736.52/2737.61	o 309
2740.02/2741.11	o 308
2743.52/2744.62	o 307
2747.02/2748.14	o 306
2750.52/2751.61	o 305
2753.91/2755.07	o 304
2757.41/2758.53	o 303
2760.81/2761.95	o 302
2764.31/2765.42	o 301
2767.71/2768.84	o 300
2771.11/2772.24	o 299
2774.50/2775.64	o 298
2777.90/2779.01	o 297
2781.20/2782.37	o 296
2784.60/2785.73	o 295
2788.00/2789.11	o 294
2791.29/2792.43	o 293
2794.59/2795.73	o 292
2797.89/2799.03	o 291
2801.19/2802.31	o 290
2804.39/2805.60	o 289
2807.69/2808.86	o 288
2810.99/2812.13	o 287
2814.18/2815.35	o 286
2817.38/2818.58	o 285
2820.68/2821.82	o 284
2823.87/2825.05	o 283
2827.07/2828.27	o 282
2830.27/2831.47	o 281
2833.47/2834.65	o 280
2836.67/2837.81	o 279
2839.77/2840.94	o 278
2842.87/2844.09	o 277
2846.06/2847.22	o 276
2849.16/2850.37	o 275
2852.27/2853.47	o 274
2855.36/2856.54	o 273
2858.46/2859.63	o 272
2861.46/2862.69	o 271
2864.65/2865.86	o 270
2867.75/2868.93	o 269
2870.75/2871.96	o 268
2873.75/2874.95	o 267
2876.74/2877.96	o 266
2879.75/2880.95	o 265
2882.74/2883.93	o 264
2885.74/2886.90	o 263
2888.64/2889.89	o 262
2891.64/2892.87	o 261
2894.54/2895.78	o 260
2897.44/2898.69	o 259
2900.44/2901.64	o 258
2903.34/2904.53	o 257
2906.24/2907.44	o 256
2909.13/2910.36	o 255
2912.03/2913.23	o 254
2914.83/2916.09	o 253
2917.72/2918.94	o 252
2920.52/2921.78	o 251
2923.42/2924.61	o 250
2926.22/2927.41	o 249
2929.02/2930.23	o 248
2931.83/2933.03	o 247
2934.52/2935.77	o 246
2937.33/2938.53	o 245
2940.02/2941.25	o 244
2942.82/2944.01	o 243
2945.52/2946.73	o 242
2948.22/2949.46	o 241
2950.92/2952.16	o 240
2953.61/2954.86	o 239
2956.31/2957.55	o 238
2958.92/2960.18	o 237
2961.61/2962.83	o 236
2964.31/2965.53	o 235
2966.91/2968.16	o 234
2969.50/2970.77	o 233
2972.21/2973.41	o 232
2974.80/2976.00	o 231
2977.30/2978.60	o 230
2979.90/2981.18	o 229
2982.50/2983.76	o 228
2985.10/2986.33	o 227
2987.60/2988.88	o 226
2990.20/2991.40	o 225
2992.60/2993.90	o 224
2995.10/2996.38	o 223
2997.59/2998.87	o 222
3000.19/3001.41	o 221
3002.59/3003.89	o 220
3005.09/3006.38	o 219
3007.59/3008.83	o 218
3009.98/3011.26	o 217
3012.38/3013.65	o 216
3014.78/3016.05	o 215
3017.19/3018.46	o 214
3019.58/3020.82	o 213
3021.88/3023.18	o 212
3024.28/3025.56	o 211
3026.68/3027.93	o 210
3028.97/3030.29	o 209
3031.38/3032.61	o 208
3033.58/3034.90	o 207
3035.88/3037.16	o 206
3038.17/3039.42	o 205
3040.47/3041.71	o 204
3042.67/3043.99	o 203
3044.96/3046.28	o 202
3047.26/3048.52	o 201
3049.46/3050.76	o 200
3051.66/3052.93	o 199
3053.76/3055.09	o 198
3055.96/3057.25	o 197
3058.16/3059.42	o 196
3060.25/3061.56	o 195
3062.45/3063.72	o 194
3064.55/3065.85	o 193
3066.75/3068.02	o 192
3068.86/3070.16	o 191
3070.96/3072.29	o 190
3073.05/3074.38	o 189
3075.15/3076.47	o 188
3077.25/3078.55	o 187
3079.35/3080.63	o 186
3081.35/3082.68	o 185
3083.45/3084.73	o 184
3085.45/3086.75	o 183
3087.45/3088.77	o 182
3089.64/3090.92	o 181
3091.53/3092.86	o 180
3093.53/3094.83	o 179
3099.33/3100.67	o 178
3103.23/3104.58	o 177
3105.13/3106.49	o 176
3110.83/3112.19	o 175
3116.52/3117.82	o 174
3120.22/3121.54	o 173
3122.03/3123.36	o 172
3125.63/3126.95	o 171
3132.72/3134.02	o 170
3139.51/3140.88	o 169
3143.01/3144.31	o 168
3151.22/3152.59	o 167
3159.21/3160.53	o 166
3178.90/3180.28	o 165
3203.39/3204.73	o 164
3207.09/3208.48	o 163
3210.78/3212.14	o 162
3213.08/3214.49	o 161
3214.28/3215.63	o 160
3230.47/3231.87	o 159
3236.36/3237.72	o 158
3256.16/3257.50	o 157
3258.56/3259.92	o 156
3261.46/3262.82	o 155
3268.35/3269.77	o 154
3271.55/3272.98	o 153
3272.75/3274.17	o 152
3273.95/3275.37	o 151
3274.55/3276.00	o 150
3275.75/3277.18	o 149
3276.84/3278.25	o 148
3277.44/3278.81	o 147
3279.04/3280.41	o 146
3280.24/3281.67	o 145
3280.95/3282.34	o 144
3281.94/3283.32	o 143
3282.54/3283.95	o 142
3283.74/3285.18	o 141
3284.35/3285.80	o 140
3286.55/3287.93	o 139
3287.65/3289.05	o 138
3288.65/3290.08	o 137
3289.65/3291.09	o 136
3291.64/3293.05	o 135
3293.05/3294.42	o 134
3293.74/3295.13	o 133
3294.44/3295.85	o 132
3296.04/3297.43	o 131
3297.24/3298.62	o 130
3297.94/3299.35	o 129
3298.74/3300.15	o 128
3299.64/3301.05	o 127
3301.54/3302.90	o 126
3302.24/3303.68	o 125
3303.14/3304.51	o 124
3303.94/3305.39	o 123
3304.84/3306.20	o 122
3305.74/3307.11	o 121
3308.24/3309.67	o 120
3310.13/3311.57	o 119
3311.83/3313.26	o 118
3313.42/3314.80	o 117
3314.32/3315.74	o 116
3315.32/3316.71	o 115
3316.32/3317.71	o 114
3317.32/3318.70	o 113
3318.82/3320.25	o 112
3319.82/3321.23	o 111
3321.92/3323.38	o 110
3323.02/3324.48	o 109
3326.41/3327.80	o 108
3328.71/3330.14	o 107
3329.91/3331.32	o 106
3332.41/3333.89	o 105
3334.71/3336.15	o 104
3336.92/3338.30	o 103
3338.22/3339.66	o 102
3340.32/3341.73	o 101
3342.81/3344.27	o 100
3347.91/3349.33	o 99
3349.51/3350.93	o 98
3365.00/3366.50	o 97
3369.00/3370.48	o 96
3374.80/3376.27	o 95
3377.30/3378.71	o 94
3378.70/3380.11	o 93
3381.29/3382.79	o 92
3390.69/3392.12	o 91
3407.39/3408.83	o 90
3423.18/3424.68	o 89
3456.26/3457.78	   
3456.26/3457.78	   search
3456.26/3457.78	     run=0  nbConstraintChecks=12120266733  nbAssignments=909
3456.26/3457.78	       =>  wckTime=3456.191  cpuTime=3454.52  mem=261M646
3456.26/3457.78	   
3456.26/3457.78	   global
3456.26/3457.78	     nbConstraintChecks=12120266733  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3456.26/3457.78	     solvingWckTime=3456.01  solvingCpuTime=3454.34  expiredTime=no  totalExploration=no  nbFoundSolutions=0
3456.26/3457.78	     globalCpuTime=3455.48
3456.26/3457.78	       =>  wckTime=3457.579  cpuTime=3455.44  mem=261M646
3456.26/3457.78	   
3456.26/3457.78	   solver DecomposerSolver being built... 
3470.96/3472.41	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-1109557-1215805505/watcher-1109557-1215805505 -o /tmp/evaluation-result-1109557-1215805505/solver-1109557-1215805505 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1109557-1215805505.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.00 1.00 1.00 3/64 14352
/proc/meminfo: memFree=1856440/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=1620 CPUtime=0
/proc/14352/stat : 14352 (java) R 14350 14352 13894 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 37253959 1658880 146 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/14352/statm: 404 145 119 9 0 46 0

[startup+0.0633331 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14352
/proc/meminfo: memFree=1856440/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=865856 CPUtime=0.05
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 3330 0 1 0 4 1 0 0 18 0 9 0 37253959 886636544 2855 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 216464 2859 1552 9 0 211026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 865856

[startup+0.101336 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14352
/proc/meminfo: memFree=1856440/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=866016 CPUtime=0.09
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 3950 0 1 0 8 1 0 0 18 0 9 0 37253959 886800384 3391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 216504 3391 1766 9 0 211059 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866016

[startup+0.30136 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14352
/proc/meminfo: memFree=1856440/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=867416 CPUtime=0.34
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 6528 0 1 0 31 3 0 0 18 0 9 0 37253959 888233984 5899 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 216854 5899 1964 9 0 211382 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 867416

[startup+0.701416 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14352
/proc/meminfo: memFree=1856440/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=867416 CPUtime=0.76
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 40087 0 1 0 59 17 0 0 18 0 9 0 37253959 888233984 39455 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 216854 39455 1982 9 0 211382 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 867416

[startup+1.5025 s]
/proc/loadavg: 1.08 1.02 1.01 2/73 14361
/proc/meminfo: memFree=1611248/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868528 CPUtime=1.68
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 76093 0 1 0 133 35 0 0 18 0 9 0 37253959 889372672 75385 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217132 75385 2088 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868528 CPUtime=1.06
/proc/14352/task/14354/stat : 14354 (java) S 14350 14352 13894 0 -1 64 15815 0 1 0 96 10 0 0 18 0 9 0 37253960 889372672 75385 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868528 CPUtime=0.39
/proc/14352/task/14355/stat : 14355 (java) R 14350 14352 13894 0 -1 64 58860 0 0 0 16 23 0 0 16 0 9 0 37253962 889372672 75385 996147200 134512640 134550740 4294955952 18446744073709551615 104181579 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 37253962 889372672 75385 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37253962 889372672 75385 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889372672 75385 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868528 CPUtime=0.2
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 720 0 0 0 20 0 0 0 16 0 9 0 37253964 889372672 75385 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889372672 75385 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889372672 75385 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 868528

[startup+3.10268 s]
/proc/loadavg: 1.08 1.02 1.01 2/73 14361
/proc/meminfo: memFree=1549168/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868528 CPUtime=3.31
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 80081 0 1 0 294 37 0 0 18 0 9 0 37253959 889372672 79219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217132 79219 2639 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868528 CPUtime=2.6
/proc/14352/task/14354/stat : 14354 (java) R 14350 14352 13894 0 -1 64 15853 0 1 0 250 10 0 0 25 0 9 0 37253960 889372672 79219 996147200 134512640 134550740 4294955952 18446744073709551615 4127060796 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868528 CPUtime=0.45
/proc/14352/task/14355/stat : 14355 (java) S 14350 14352 13894 0 -1 64 62788 0 0 0 20 25 0 0 17 0 9 0 37253962 889372672 79219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889372672 79219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868528 CPUtime=0.23
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 742 0 0 0 23 0 0 0 15 0 9 0 37253964 889372672 79219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889372672 79219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889372672 79219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 868528

[startup+6.30106 s]
/proc/loadavg: 1.07 1.02 1.00 2/73 14361
/proc/meminfo: memFree=1548912/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868528 CPUtime=6.51
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 80083 0 1 0 614 37 0 0 18 0 9 0 37253959 889372672 79220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217132 79220 2639 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868528 CPUtime=5.8
/proc/14352/task/14354/stat : 14354 (java) R 14350 14352 13894 0 -1 64 15854 0 1 0 570 10 0 0 17 0 9 0 37253960 889372672 79220 996147200 134512640 134550740 4294955952 18446744073709551615 4127059615 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868528 CPUtime=0.45
/proc/14352/task/14355/stat : 14355 (java) S 14350 14352 13894 0 -1 64 62788 0 0 0 20 25 0 0 16 0 9 0 37253962 889372672 79220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889372672 79220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868528 CPUtime=0.23
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 743 0 0 0 23 0 0 0 15 0 9 0 37253964 889372672 79220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889372672 79220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889372672 79220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 868528

[startup+12.7028 s]
/proc/loadavg: 1.07 1.02 1.00 2/73 14361
/proc/meminfo: memFree=1548792/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868528 CPUtime=12.91
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 80085 0 1 0 1254 37 0 0 18 0 9 0 37253959 889372672 79221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217132 79221 2639 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868528 CPUtime=12.19
/proc/14352/task/14354/stat : 14354 (java) R 14350 14352 13894 0 -1 64 15854 0 1 0 1209 10 0 0 25 0 9 0 37253960 889372672 79221 996147200 134512640 134550740 4294955952 18446744073709551615 4127058859 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868528 CPUtime=0.45
/proc/14352/task/14355/stat : 14355 (java) S 14350 14352 13894 0 -1 64 62788 0 0 0 20 25 0 0 16 0 9 0 37253962 889372672 79221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889372672 79221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868528 CPUtime=0.23
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 745 0 0 0 23 0 0 0 16 0 9 0 37253964 889372672 79221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889372672 79221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889372672 79221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (KiB) 868528

[startup+25.5013 s]
/proc/loadavg: 1.05 1.01 1.00 2/73 14361
/proc/meminfo: memFree=1548792/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868528 CPUtime=25.7
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 80086 0 1 0 2533 37 0 0 18 0 9 0 37253959 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217132 79222 2639 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868528 CPUtime=24.98
/proc/14352/task/14354/stat : 14354 (java) R 14350 14352 13894 0 -1 64 15854 0 1 0 2488 10 0 0 25 0 9 0 37253960 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4127069123 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868528 CPUtime=0.45
/proc/14352/task/14355/stat : 14355 (java) S 14350 14352 13894 0 -1 64 62788 0 0 0 20 25 0 0 16 0 9 0 37253962 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868528 CPUtime=0.23
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 746 0 0 0 23 0 0 0 16 0 9 0 37253964 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.7
Current children cumulated vsize (KiB) 868528

[startup+51.1013 s]
/proc/loadavg: 1.03 1.01 1.00 2/73 14361
/proc/meminfo: memFree=1548792/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868528 CPUtime=51.28
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 80086 0 1 0 5091 37 0 0 18 0 9 0 37253959 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217132 79222 2639 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868528 CPUtime=50.57
/proc/14352/task/14354/stat : 14354 (java) R 14350 14352 13894 0 -1 64 15854 0 1 0 5046 11 0 0 25 0 9 0 37253960 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4127060796 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868528 CPUtime=0.45
/proc/14352/task/14355/stat : 14355 (java) S 14350 14352 13894 0 -1 64 62788 0 0 0 20 25 0 0 16 0 9 0 37253962 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868528 CPUtime=0.23
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 746 0 0 0 23 0 0 0 16 0 9 0 37253964 889372672 79222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868528 CPUtime=0

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

/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868528 CPUtime=0.25
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 753 0 0 0 25 0 0 0 16 0 9 0 37253964 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3340.92
Current children cumulated vsize (KiB) 868528

[startup+3402.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 14369
/proc/meminfo: memFree=1544056/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868528 CPUtime=3400.9
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 80094 0 1 0 340038 52 0 0 18 0 9 0 37253959 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217132 79229 2639 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868528 CPUtime=3400.17
/proc/14352/task/14354/stat : 14354 (java) R 14350 14352 13894 0 -1 64 15855 0 1 0 339992 25 0 0 25 0 9 0 37253960 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4126868379 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868528 CPUtime=0.45
/proc/14352/task/14355/stat : 14355 (java) S 14350 14352 13894 0 -1 64 62788 0 0 0 20 25 0 0 16 0 9 0 37253962 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868528 CPUtime=0.25
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 753 0 0 0 25 0 0 0 16 0 9 0 37253964 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868528 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889372672 79229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3400.9
Current children cumulated vsize (KiB) 868528

[startup+3462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 14369
/proc/meminfo: memFree=1127864/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868440 CPUtime=3460.86
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 197329 0 1 0 345985 101 0 0 18 0 9 0 37253959 889282560 196423 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217110 196423 2619 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868440 CPUtime=3457.57
/proc/14352/task/14354/stat : 14354 (java) R 14350 14352 13894 0 -1 64 30373 0 1 0 345726 31 0 0 17 0 9 0 37253960 889282560 196423 996147200 134512640 134550740 4294955952 18446744073709551615 104454738 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868440 CPUtime=2.99
/proc/14352/task/14355/stat : 14355 (java) S 14350 14352 13894 0 -1 64 165502 0 0 0 231 68 0 0 16 0 9 0 37253962 889282560 196423 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 196423 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 196423 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889282560 196423 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868440 CPUtime=0.26
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 756 0 0 0 26 0 0 0 16 0 9 0 37253964 889282560 196423 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889282560 196423 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889282560 196423 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3460.86
Current children cumulated vsize (KiB) 868440

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

[startup+3468.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 14369
/proc/meminfo: memFree=1062264/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868440 CPUtime=3467.26
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 200339 0 1 0 346623 103 0 0 18 0 9 0 37253959 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217110 199429 2618 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868440 CPUtime=3457.78
/proc/14352/task/14354/stat : 14354 (java) S 14350 14352 13894 0 -1 64 30376 0 1 0 345747 31 0 0 17 0 9 0 37253960 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868440 CPUtime=9.19
/proc/14352/task/14355/stat : 14355 (java) R 14350 14352 13894 0 -1 64 168509 0 0 0 849 70 0 0 19 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 104457013 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868440 CPUtime=0.26
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 756 0 0 0 26 0 0 0 16 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3467.26
Current children cumulated vsize (KiB) 868440

[startup+3470.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 14369
/proc/meminfo: memFree=1062200/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868440 CPUtime=3468.86
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 200340 0 1 0 346783 103 0 0 18 0 9 0 37253959 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217110 199429 2618 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868440 CPUtime=3457.78
/proc/14352/task/14354/stat : 14354 (java) S 14350 14352 13894 0 -1 64 30377 0 1 0 345747 31 0 0 16 0 9 0 37253960 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868440 CPUtime=10.79
/proc/14352/task/14355/stat : 14355 (java) R 14350 14352 13894 0 -1 64 168509 0 0 0 1009 70 0 0 18 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868440 CPUtime=0.26
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 756 0 0 0 26 0 0 0 16 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3468.86
Current children cumulated vsize (KiB) 868440

[startup+3471.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 14369
/proc/meminfo: memFree=1062200/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868440 CPUtime=3470.46
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 200340 0 1 0 346943 103 0 0 18 0 9 0 37253959 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217110 199429 2618 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868440 CPUtime=3457.78
/proc/14352/task/14354/stat : 14354 (java) S 14350 14352 13894 0 -1 64 30377 0 1 0 345747 31 0 0 16 0 9 0 37253960 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868440 CPUtime=12.39
/proc/14352/task/14355/stat : 14355 (java) R 14350 14352 13894 0 -1 64 168509 0 0 0 1169 70 0 0 21 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 104456977 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868440 CPUtime=0.26
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 756 0 0 0 26 0 0 0 16 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3470.46
Current children cumulated vsize (KiB) 868440

[startup+3472.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 14369
/proc/meminfo: memFree=1062200/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=868440 CPUtime=3470.86
/proc/14352/stat : 14352 (java) S 14350 14352 13894 0 -1 0 200341 0 1 0 346983 103 0 0 18 0 9 0 37253959 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 217110 199429 2618 9 0 211638 0
[pid=14352/tid=14354] ppid=14350 vsize=868440 CPUtime=3457.78
/proc/14352/task/14354/stat : 14354 (java) S 14350 14352 13894 0 -1 64 30378 0 1 0 345747 31 0 0 16 0 9 0 37253960 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14352/tid=14355] ppid=14350 vsize=868440 CPUtime=12.79
/proc/14352/task/14355/stat : 14355 (java) R 14350 14352 13894 0 -1 64 168509 0 0 0 1209 70 0 0 17 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 104181795 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14356] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14356/stat : 14356 (java) S 14350 14352 13894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14357] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14357/stat : 14357 (java) S 14350 14352 13894 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37253962 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14358] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14358/stat : 14358 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14359] ppid=14350 vsize=868440 CPUtime=0.26
/proc/14352/task/14359/stat : 14359 (java) S 14350 14352 13894 0 -1 64 756 0 0 0 26 0 0 0 16 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14360] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14360/stat : 14360 (java) S 14350 14352 13894 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14352/tid=14361] ppid=14350 vsize=868440 CPUtime=0
/proc/14352/task/14361/stat : 14361 (java) S 14350 14352 13894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37253964 889282560 199429 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3470.86
Current children cumulated vsize (KiB) 868440

[startup+3472.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 14369
/proc/meminfo: memFree=1062200/2055920 swapFree=4177724/4192956
[pid=14352] ppid=14350 vsize=0 CPUtime=3471.02
/proc/14352/stat : 14352 (java) Z 14350 14352 13894 0 -1 12 200349 0 1 0 346994 108 0 0 16 0 2 0 37253959 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14352/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3471.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 3472.57
CPU time (s): 3471.1
CPU user time (s): 3469.94
CPU system time (s): 1.15282
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 868532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3469.94
system time used= 1.15282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200349
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= 70822
involuntary context switches= 83877

runsolver used 3.37349 second user time and 9.34358 second system time

The end

Launcher Data (download as text)

Begin job on node1 at 2008-07-11 21:45:05
IDJOB=1109557
IDBENCH=60982
IDSOLVER=359
FILE ID=node1/1109557-1215805505
PBS_JOBID= 7903205
Free space on /tmp= 66524 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= f5fa2b1ab1e1b760100093009122d806
RANDOM SEED=602436381

node1.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.244
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.244
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:       1856920 kB
Buffers:         36556 kB
Cached:         109560 kB
SwapCached:      10080 kB
Active:          59052 kB
Inactive:        99360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1856920 kB
SwapTotal:     4192956 kB
SwapFree:      4177724 kB
Dirty:            2084 kB
Writeback:           0 kB
Mapped:          14056 kB
Slab:            26460 kB
Committed_AS:    92516 kB
PageTables:       1516 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= 66520 MiB
End job on node1 at 2008-07-11 22:42:57