Trace number 202441

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, and are wall clock time (not CPU 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 NameAnswerCPU timeWall clock time
Abscon 109 ACSAT 15.7856 16.1053

DiagnosticValue
CHECKS7389884
NODES1750

General information on the benchmark

Namefapp/fapp21-25/fapp22/
fapp22-1750-7.xml
MD5SUM0e4a172a147463479a8ddf87bb5036ea
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7856
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1750
Number of constraints32049
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension32049
Global constraints used (with number of constraints)

Solver Data (download as text)

0.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=mac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/202441-1168072573/unknown.xml
0.47	   
0.47	   domains being loaded...
0.51	   
0.51	   variables being loaded...
0.80	     nbVariables=1750  nbDomainTypes=30  minDomainSize=82  maxDomainSize=802
0.80	       =>  wckTime=0.391  cpuTime=0.29  mem=36M228
0.80	   
0.80	   predicates being loaded...
0.80	   
0.80	   constraints being loaded...
4.92	   
4.92	   INFO : Stopping converting binary constraints (cpu=4.21, mem = 57M97)
7.87	     nbConstraints=16924  nbMergedConstraints=15125  nbConvertedConstraints=9  nbConvertConstraintsChecks=4758652
7.87	     nbExtensionStructures=9  nbSharedExtensionStructures=0  nbConflictsStructures=9  nbSharedConflictsStructures=0
7.87	     nbSharedBinaryRepresentations=10125  nbEvaluationManagers=7345  nbSharedEvaluationManagers=9570  maxDegree=57
7.87	     maxArity=2
7.87	       =>  wckTime=7.465  cpuTime=6.66  mem=77M971
8.09	   
8.09	   solver IterativeSystematicSolver being built... 
8.81	       =>  wckTime=8.404  cpuTime=7.11  mem=156M576
14.20	   
14.20	   preprocessing
14.20	     nbConstraintChecks=7291845  nbValidityChecks=355401  nbPropagations=2039  nbRevisions=56297
14.20	     nbUselessRevisions=50560  nbRemovedValues=802381  detectedInconsistency=no
14.20	       =>  wckTime=5.363  cpuTime=5.27  mem=156M576
15.99	   
15.99	   search
15.99	     run=0  nbConstraintChecks=98039  nbValidityChecks=214459  nbPropagations=4589  nbRevisions=95462
15.99	     nbUselessRevisions=88419  nbAssignments=1750  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=1751
15.99	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=868
15.99	       =>  wckTime=7.158  cpuTime=7.02  mem=180M203
16.00	   
16.00	   global
16.00	     nbConstraintChecks=7389884  nbValidityChecks=569860  nbPropagations=6628  nbRevisions=151759
16.00	     nbUselessRevisions=138979  nbRestartNogoods=0  solvingWckTime=7.161  solvingCpuTime=7.02  expiredTime=no
16.00	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=14.21
16.00	       =>  wckTime=15.589  cpuTime=14.15  mem=180M203
16.00	   
16.00	s SATISFIABLE
16.00	v 2264 -2700 -2882 -2762 -2262 -2448 -2880 -2682 -2566 -2294 -2836 -2542 -2786 -2734 -2690 -2882 -2882 -2486 -2786 -2456 -2574 -2464 -2602 -2494 -2534 -2190 -2494 -2786 -2472 -2342 -2678 -2838 -2774 -2186 -2714 -2120 -2446 -2734 -2526 -2574 2826 -2448 -2206 -2504 -2842 -2526 -2758 -2574 -2762 -2160 -2668 -2798 2698 -2880 -2170 -2700 -2256 -2638 -2432 -2870 -2762 -2840 -2444 -2634 -2568 -2842 -2774 -2446 -2352 -2330 -2872 -2600 -2774 -2730 -2190 -2692 2444 -2526 -2378 -2762 -2526 -2912 -2830 -2588 2748 -2494 2558 -2826 -2786 -2678 -2650 -2586 -2798 -2190 -2548 -2206 -2444 -2700 -2740 -2852 -2692 2718 -2558 -2566 -2140 -2534 -2520 -2758 -2486 -2534 -2786 -2440 -2814 -2408 2748 -2514 -2302 -2294 -2728 -2566 2440 -2892 -2880 -2220 -2432 -2700 -2566 -2226 -2518 -2838 -2800 -2482 2548 -2878 -2374 -2486 2362 -2256 -2174 -2838 -2520 -2818 -2882 -2852 -2230 -2798 -2566 -2854 -2294 -2406 -2920 -2296 -2408 -2786 -2640 -2798 -2526 -2198 -2762 -2456 -2892 -2762 -2544 -2664 -2902 -2858 -2160 -2640 -2526 -2734 -2868 -2446 -2450 -2598 -2558 -2424 -2150 -2704 -2226 -2784 -2408 -2920 -2296 -2446 -2582 -2740 -2826 -2640 -2408 -2740 -2652 -2768 -2870 -2754 -2342 -2448 -2902 -2408 -2740 2880 -2812 -2440 -2446 -2340 -2858 -2190 -2754 -2250 2250 -2338 -2448 -2446 -2366 -2202 -2472 -2750 -2308 -2612 -2626 -2534 -2652 2342 -2342 -2578 -2526 -2494 -2534 2196 2794 -2732 -2880 -2684 -2526 -2700 2736 -2798 -2818 -2882 -2652 -2482 -2526 -2880 -2600 -2486 -2778 -2590 -2266 2830 2328 -2396 -2878 -2800 2162 -2162 -2776 -2880 2140 -2526 -2746 -2690 2560 -2120 -2544 -2740 -2718 2612 -2504 -2184 -2598 2808 -2910 -2678 -2172 -2178 -2640 -2640 -2230 2384 -2572 -2800 -2728 -2722 2830 -2440 -2762 -2494 -2160 -2504 -2918 -2266 -2566 -2722 -2520 -2740 -2332 -2658 -2526 2866 -2178 -2638 -2758 -2730 -2448 -2842 -2540 -2586 2488 -2638 -2722 -2640 -2440 -2650 -2574 -2566 -2722 -2190 -2254 -2444 -2212 -2486 -2910 -2640 -2624 2626 2236 -2254 2794 -2820 -2750 -2700 -2366 -2254 -2700 -2216 -2184 -2882 -2472 -2740 -2448 -2678 -2892 -2616 -2166 -2868 -2722 -2424 -2702 -2786 -2700 -2774 -2230 -2538 -2812 -2700 -2566 -2522 -2612 -2402 -2472 -2640 2604 -2566 -2230 2572 -2652 -2852 -2228 -2760 -2798 -2808 -2474 -2366 2752 -2446 -2744 -2786 -2822 -2798 -2562 -2566 -2654 -2510 -2366 -2910 -2446 -2122 -2296 -2740 -2336 -2608 -2920 -2472 -2178 -2600 2918 -2910 -2146 -2432 -2534 -2762 -2652 -2272 -2382 -2600 2692 -2734 2744 -2652 -2444 -2638 -2446 -2698 -2182 -2898 -2652 -2190 -2256 -2710 -2284 -2800 -2740 2738 -2692 -2842 -2798 2578 -2746 -2758 -2406 -2226 -2692 -2296 2120 -2446 -2636 -2256 -2446 -2880 -2504 -2774 -2446 -2826 -2566 -2662 -2902 -2282 -2562 -2120 -2560 -2170 -2470 -2440 -2174 -2566 -2526 -2526 -2202 -2632 -2360 -2520 -2622 -2828 -2828 -2728 -2774 -2650 -2640 -2444 -2432 2236 -2740 -2446 -2504 -2566 -2734 -2192 -2520 -2628 -2860 -2130 -2834 -2600 2224 -2748 -2580 -2242 -2892 -2826 -2920 -2362 -2638 -2290 -2910 2920 -2172 -2774 -2504 -2662 -2126 -2526 -2710 -2294 2392 -2826 -2534 -2366 -2294 -2722 -2762 -2692 -2520 -2510 -2842 -2852 2554 -2526 -2440 -2594 -2494 -2678 -2370 -2880 -2486 -2446 2404 -2700 -2852 -2534 -2740 -2880 -2882 -2870 -2838 -2708 -2406 -2360 -2264 2192 -2560 -2486 2790 -2812 -2166 -2560 -2418 2120 -2566 -2802 -2786 -2870 -2852 -2494 -2526 -2494 -2714 -2490 -2638 -2820 -2640 2874 -2534 -2294 -2440 -2160 -2690 -2382 -2446 2872 -2484 -2406 -2600 -2852 -2254 -2818 -2486 -2690 -2464 -2762 -2798 -2382 -2712 -2230 2818 -2574 -2362 -2166 -2446 -2520 -2448 -2406 -2800 -2122 -2342 -2120 -2264 -2152 -2734 -2846 -2480 -2520 -2892 -2742 2566 -2544 -2718 -2862 -2614 -2802 -2842 -2566 2672 -2490 -2692 -2734 -2774 -2614 -2598 -2776 -2578 -2472 -2560 2568 -2920 -2228 -2232 -2382 -2486 -2796 -2862 -2664 -2574 -2534 -2778 2132 -2880 -2652 -2762 -2598 -2774 -2254 -2288 -2366 -2520 -2382 -2692 -2608 -2842 -2650 -2526 -2342 -2858 2196 -2740 -2254 -2534 2228 -2480 -2790 -2254 -2190 -2598 -2768 -2484 -2296 -2652 -2760 -2600 -2550 -2898 -2882 -2392 -2738 -2520 -2560 2774 -2344 2920 -2706 -2574 -2758 -2408 -2692 -2892 2646 -2740 -2190 -2566 -2858 -2842 -2560 -2554 -2700 2788 -2746 -2838 -2566 -2408 -2480 -2800 -2586 -2762 -2160 -2230 -2296 -2256 -2616 -2486 -2254 -2170 -2522 -2852 -2526 -2598 -2692 -2776 2872 -2892 -2530 -2714 -2712 -2852 -2652 -2870 2914 -2440 -2722 -2676 -2406 -2740 -2494 -2628 -2758 -2146 -2228 -2614 -2486 -2448 -2190 -2504 -2510 -2490 2522 -2826 -2190 -2446 -2886 -2520 -2840 -2740 -2892 -2910 -2778 -2376 2786 -2608 -2910 -2408 -2722 -2252 -2842 -2472 -2242 -2910 -2254 -2256 -2734 -2652 -2546 -2734 -2120 -2250 -2794 -2758 -2302 2122 -2752 -2722 -2818 -2692 -2880 -2296 -2714 -2560 -2842 -2870 -2826 -2230 -2670 -2480 -2600 -2188 -2818 -2622 -2594 -2748 -2804 -2686 -2664 -2584 -2778 -2486 -2742 -2406 -2294 -2312 -2718 -2702 2160 -2180 -2786 -2688 -2784 -2372 2600 -2250 -2740 -2762 2586 -2446 -2690 -2774 -2690 -2874 -2640 -2828 -2762 -2470 -2774 -2722 -2166 -2526 2648 -2162 -2446 -2382 -2262 -2838 2878 -2760 -2652 -2344 -2840 2148 -2566 -2604 2644 -2294 2730 -2776 -2818 -2294 -2774 -2342 -2734 -2446 -2164 -2862 -2322 -2156 -2196 -2260 -2700 -2842 -2486 -2882 -2596 -2340 -2560 -2746 -2294 -2798 -2880 -2366 -2852 -2308 -2142 -2486 -2180 -2852 -2892 -2700 -2842 -2692 -2290 -2330 -2852 -2638 -2484 -2124 -2880 -2758 -2408 -2870 -2842 -2532 -2312 -2780 -2650 -2656 -2598 -2446 -2786 -2480 -2744 2464 -2304 -2772 -2858 -2722 -2216 -2704 -2722 -2786 -2838 -2774 2178 -2184 -2404 -2870 -2574 -2492 -2408 -2690 -2774 -2818 -2746 -2408 2814 -2144 -2566 -2762 -2406 -2320 -2882 -2544 -2750 -2296 -2600 2148 2580 -2472 -2650 -2504 -2842 -2432 -2902 -2378 2902 -2842 -2166 -2520 2528 -2862 -2752 2120 -2842 -2144 -2852 -2614 -2406 -2294 -2538 -2880 -2600 2576 -2486 2312 -2366 -2490 -2758 -2160 -2452 -2862 -2862 -2342 -2734 -2598 -2342 -2230 -2822 -2296 -2494 2338 -2880 -2744 -2784 -2540 -2650 -2798 2470 2320 2768 -2650 -2566 -2740 -2650 -2600 -2892 -2652 -2526 -2862 -2798 2672 -2214 -2558 -2828 -2138 -2162 -2614 -2472 -2456 -2662 -2480 -2600 -2684 -2638 -2720 -2526 -2290 -2654 -2616 -2842 -2650 -2382 -2722 2918 -2690 -2650 -2370 -2406 -2370 -2638 -2504 -2652 -2774 -2160 -2566 2816 -2256 -2210 -2760 -2626 -2188 -2182 -2718 -2334 -2482 -2534 -2710 -2432 -2576 -2152 -2700 -2784 -2256 -2408 -2640 -2384 -2556 -2840 -2902 -2230 -2560 2206 -2594 -2786 -2370 -2700 -2860 -2368 -2640 -2382 -2690 -2902 -2704 -2538 -2526 -2120 -2186 -2200 -2526 -2210 -2690 -2882 -2724 -2566 -2342 -2532 -2724 -2652 -2406 -2440 -2338 -2124 -2142 -2650 -2920 -2894 -2304 -2504 -2746 -2678 -2382 -2160 -2334 -2282 -2294 -2190 2634 -2406 -2706 -2652 -2158 -2406 -2588 -2410 -2772 -2640 -2256 -2190 -2882 -2480 -2290 -2892 -2588 2920 -2526 2854 -2366 -2870 -2734 -2560 -2242 -2416 -2840 -2494 2534 -2296 -2446 -2480 -2604 -2722 -2566 -2798 -2842 -2714 -2126 -2910 -2230 -2858 -2530 -2562 -2684 -2738 -2160 -2566 -2230 -2342 -2446 -2486 -2640 -2782 -2600 -2786 -2882 -2816 -2774 -2910 -2446 -2744 -2840 -2480 -2450 -2408 -2734 -2214 -2786 -2832 -2670 -2870 -2810 -2294 2138 -2566 -2180 -2544 -2190 -2612 -2882 -2840 -2406 2198 2320 -2882 -2840 -2378 -2882 -2494 2120 2120 -2692 -2256 -2746 -2526 -2648 -2880 -2176 -2352 -2600 -2342 -2758 -2526 -2534 -2132 -2798 2272 -2870 -2638 -2446 2704 -2382 -2700 -2692 -2264 -2762 -2784 -2254 -2544 -2448 -2882 -2902 -2862 -2722 -2786 -2526 -2124 2160 -2566 -2722 -2692 -2342 -2526 -2840 2138 -2920 -2486 -2758 -2190 2206 -2428 -2892 -2538 -2342 -2230 -2232 2254 -2172 -2744 -2544 -2852 -2574 -2448 -2674 -2526 -2560 -2638 -2154 -2162 2496 -2348 -2616 -2522 -2882 -2504 -2560 -2786 -2842 -2382 -2640 -2758 -2364 -2848 -2472 -2120 -2638 -2164 -2160 -2566 -2366 -2282 -2674 -2666 2120 -2778 -2448 -2698 -2692 -2740 -2910 -2880 -2798 -2560 -2446 -2844 -2294 -2746 -2566 -2526 -2774 -2140 -2448 -2840 -2408 -2598 -2664 -2330 -2734 -2690 2858 -2190 -2838 -2762 -2574 2404 2818 -2416 -2194 -2760 -2774 -2892 -2450 -2144 -2380 -2374 -2520 -2254 2566 -2582 -2786 -2446 -2708 -2342 2268 -2230 -2614 -2192 -2690 -2448 2328 2872 2876 -2282 -2130 -2250 -2710 -2192 -2230 -2268 -2690 -2210 -2230 -2774 -2254 -2694 -2290 -2504 -2700 -2492 -2682 -2762 -2566 -2798 -2798 -2652 -2526 -2650 -2550 -2526 -2752 -2230 -2838 -2164 -2892 -2190 -2762 -2190 -2256 2180 -2446 -2892 -2140 -2852 -2582 2382 -2446 -2722 2912 -2590 -2544 -2746 2120 -2486 -2798 -2690 -2486 -2722 -2378 2826 -2546 -2526 -2734 2746 -2366 -2894 -2480 -2892 -2762 -2754 -2700 2834 -2188 -2870 -2842 -2566 -2288 -2290 -2846 -2816 -2858 -2852 -2692 -2526 -2786 -2166 -2630 -2446 -2190 -2484 -2902 -2526 -2598 -2678 -2722 -2566 -2826 -2158 -2382 -2566 -2746 -2882 -2590 -2342 -2852 -2710 -2598 -2788 -2526 -2674 -2180 -2564 2576 -2746 -2776 -2544 -2534 2894 -2526 -2468 -2738 -2652 -2370 -2190 -2786 -2130 -2892 -2842 -2230 -2230 -2830 -2338 -2448 -2420 -2382 -2600 -2382 -2494 -2334 -2408 -2186 -2188 -2652 2690 -2702 -2678 -2632 -2330 -2242 -2544 -2886 -2734 -2862 -2448 -2254 -2382 -2566 -2360 -2564 -2446 -2652 -2486 -2692 -2916 2486 -2282 -2342 -2598 -2408 -2176 -2432 -2740 -2520 -2758 -2560 -2598 -2920 -2814 -2816 2268 -2566 -2132 -2280 -2296 -2558 -2320 -2600 -2788 -2758 -2882 -2652 2528 -2598 -2740 -2160 -2518 -2740 -2440 -2406 -2566 -2330 -2826 -2868 -2624 -2712 -2408 -2798 -2628 -2480 -2652 -2700 -2798 -2798 -2574 -2652 -2566 -2640 -2170 -2762 -2722 -2618 -2486 -2862 -2722 -2230 -2798 -2460 -2448 -2336 -2422 -2406 -2190 -2798 2534 -2230 -2750 -2448 -2722 -2586 2874 -2652 2870 -2826 2812 -2436 -2382 -2600 -2534 -2526 -2866 2834 -2702 -2920 -2798 -2650 -2722 -2322 -2700 -2376 -2862 -2690 2564 -2190 -2704 -2770 2166 -2640 -2734 -2522 -2762 -2870 -2526 -2432 -2692 2798 -2546 -2534 -2566 -2718 -2242 2738 -2902 2750 -2480 -2880 -2868 -2486 -2566 -2406 -2294 -2526 -2534 -2828 -2160 -2880 -2578 -2490 -2342 -2408 -2652 -2718 -2826 -2464 -2480 -2740 -2432 -2224 -2336 -2870 -2534 -2206 -2294 -2282 -2486 -2230 -2410 -2526 2330 2712 -2526 -2598 -2852 -2190 -2842 -2378 -2700 -2692 -2638 -2648 -2718 -2540 -2432 -2566 -2588 -2880 2188 -2448 -2228 -2842 -2160 -2692 -2838 -2558 -2598 -2754 -2832 -2446 -2382 -2440 -2692 -2408 -2190 2854 -2518 -2624 2272 -2448 -2882 -2504 -2920 -2722 -2882 -2910 -2324 -2842 -2334 -2734 -2296 2758 -2852 -2566 -2566 -2580 -2230 -2472 -2526 -2870 -2296 -2920 -2520 -2544 -2514 -2798 -2880 -2758 2416 -2862 -2692 -2138 2380 -2600 -2254 2486 2432 2486 -2744 -2824 -2242 -2382 2300 -2294 -2690 
16.00	d NODES 1750
16.00	d CHECKS 7389884
16.00	   
16.00	   totalWckTime=15.67  totalCpuTime=14.21

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-202441-1168072573 -o ROOT/results/node34/solver-202441-1168072573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202441-1168072573/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.49 1.23 1.08 4/80 9268
/proc/meminfo: memFree=1320536/2055920 swapFree=4192812/4192956
[pid=9267] ppid=9265 vsize=1784 CPUtime=0
/proc/9267/stat : 9267 (java) R 9265 9267 8900 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155651317 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/9267/statm: 446 140 106 14 0 91 0

[startup+0.106132 s]
/proc/loadavg: 1.49 1.23 1.08 4/80 9268
/proc/meminfo: memFree=1320536/2055920 swapFree=4192812/4192956
[pid=9267] ppid=9265 vsize=47416 CPUtime=0
/proc/9267/stat : 9267 (java) R 9265 9267 8900 0 -1 0 846 0 1 0 0 0 0 0 17 0 1 0 155651317 48553984 595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151971200 0 4 0 7368 0 0 0 17 1 0 0
/proc/9267/statm: 11854 595 489 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416

[startup+0.518165 s]
/proc/loadavg: 1.49 1.23 1.08 4/80 9268
/proc/meminfo: memFree=1320536/2055920 swapFree=4192812/4192956
[pid=9267] ppid=9265 vsize=915328 CPUtime=0.4
/proc/9267/stat : 9267 (java) R 9265 9267 8900 0 -1 0 6045 0 1 0 37 3 0 0 21 0 8 0 155651317 937295872 5784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154583111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9267/statm: 228832 5784 2116 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328

[startup+1.34723 s]
/proc/loadavg: 1.53 1.24 1.09 3/87 9275
/proc/meminfo: memFree=1239328/2055920 swapFree=4192812/4192956
[pid=9267] ppid=9265 vsize=915648 CPUtime=1.22
/proc/9267/stat : 9267 (java) R 9265 9267 8900 0 -1 0 24631 0 1 0 110 12 0 0 25 0 8 0 155651317 937623552 24368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9267/statm: 228912 24368 2160 14 0 215382 0
[pid=9267/tid=9269] ppid=9265 vsize=915648 CPUtime=0.09
/proc/9267/task/9269/stat : 9269 (java) R 9265 9267 8900 0 -1 64 8087 0 0 0 6 3 0 0 16 0 8 0 155651330 937623552 24368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9270] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9270/stat : 9270 (java) S 9265 9267 8900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155651331 937623552 24368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9271] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9271/stat : 9271 (java) S 9265 9267 8900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155651331 937623552 24368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9272] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9272/stat : 9272 (java) S 9265 9267 8900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155651334 937623552 24368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9273] ppid=9265 vsize=915648 CPUtime=0.16
/proc/9267/task/9273/stat : 9273 (java) S 9265 9267 8900 0 -1 64 410 0 0 0 16 0 0 0 15 0 8 0 155651334 937623552 24368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9274] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9274/stat : 9274 (java) S 9265 9267 8900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155651334 937623552 24368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9275] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9275/stat : 9275 (java) S 9265 9267 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155651334 937623552 24368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915648

[startup+2.98636 s]
/proc/loadavg: 1.53 1.24 1.09 3/87 9275
/proc/meminfo: memFree=1226464/2055920 swapFree=4192812/4192956
[pid=9267] ppid=9265 vsize=915648 CPUtime=2.84
/proc/9267/stat : 9267 (java) R 9265 9267 8900 0 -1 0 25832 0 1 0 271 13 0 0 25 0 8 0 155651317 937623552 25567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9267/statm: 228912 25567 2180 14 0 215382 0
[pid=9267/tid=9269] ppid=9265 vsize=915648 CPUtime=0.16
/proc/9267/task/9269/stat : 9269 (java) S 9265 9267 8900 0 -1 64 9213 0 0 0 13 3 0 0 17 0 8 0 155651330 937623552 25567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9270] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9270/stat : 9270 (java) S 9265 9267 8900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155651331 937623552 25567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9271] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9271/stat : 9271 (java) S 9265 9267 8900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155651331 937623552 25567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9272] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9272/stat : 9272 (java) S 9265 9267 8900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155651334 937623552 25567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9273] ppid=9265 vsize=915648 CPUtime=0.18
/proc/9267/task/9273/stat : 9273 (java) S 9265 9267 8900 0 -1 64 422 0 0 0 18 0 0 0 15 0 8 0 155651334 937623552 25567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9274] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9274/stat : 9274 (java) S 9265 9267 8900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155651334 937623552 25567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9275] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9275/stat : 9275 (java) S 9265 9267 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155651334 937623552 25567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915648

[startup+6.27163 s]
/proc/loadavg: 1.53 1.24 1.09 3/87 9275
/proc/meminfo: memFree=1224160/2055920 swapFree=4192812/4192956
[pid=9267] ppid=9265 vsize=915648 CPUtime=6.1
/proc/9267/stat : 9267 (java) R 9265 9267 8900 0 -1 0 27753 0 1 0 595 15 0 0 25 0 8 0 155651317 937623552 27483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155989728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9267/statm: 228912 27483 2181 14 0 215382 0
[pid=9267/tid=9269] ppid=9265 vsize=915648 CPUtime=0.32
/proc/9267/task/9269/stat : 9269 (java) S 9265 9267 8900 0 -1 64 11101 0 0 0 27 5 0 0 16 0 8 0 155651330 937623552 27483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9270] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9270/stat : 9270 (java) S 9265 9267 8900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155651331 937623552 27483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9271] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9271/stat : 9271 (java) S 9265 9267 8900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155651331 937623552 27483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9272] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9272/stat : 9272 (java) S 9265 9267 8900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155651334 937623552 27483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9273] ppid=9265 vsize=915648 CPUtime=0.22
/proc/9267/task/9273/stat : 9273 (java) S 9265 9267 8900 0 -1 64 449 0 0 0 22 0 0 0 15 0 8 0 155651334 937623552 27483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9274] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9274/stat : 9274 (java) S 9265 9267 8900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155651334 937623552 27483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9275] ppid=9265 vsize=915648 CPUtime=0
/proc/9267/task/9275/stat : 9275 (java) S 9265 9267 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155651334 937623552 27483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915648

[startup+12.7642 s]
/proc/loadavg: 1.68 1.28 1.10 3/87 9275
/proc/meminfo: memFree=1127592/2055920 swapFree=4192812/4192956
[pid=9267] ppid=9265 vsize=915916 CPUtime=12.53
/proc/9267/stat : 9267 (java) R 9265 9267 8900 0 -1 0 50865 0 1 0 1228 25 0 0 25 0 8 0 155651317 937897984 50586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9267/statm: 228979 50586 2533 14 0 215449 0
[pid=9267/tid=9269] ppid=9265 vsize=915916 CPUtime=0.91
/proc/9267/task/9269/stat : 9269 (java) S 9265 9267 8900 0 -1 64 33659 0 0 0 77 14 0 0 17 0 8 0 155651330 937897984 50586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9270] ppid=9265 vsize=915916 CPUtime=0
/proc/9267/task/9270/stat : 9270 (java) S 9265 9267 8900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155651331 937897984 50586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9271] ppid=9265 vsize=915916 CPUtime=0
/proc/9267/task/9271/stat : 9271 (java) S 9265 9267 8900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155651331 937897984 50586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9272] ppid=9265 vsize=915916 CPUtime=0
/proc/9267/task/9272/stat : 9272 (java) S 9265 9267 8900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155651334 937897984 50586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9273] ppid=9265 vsize=915916 CPUtime=0.37
/proc/9267/task/9273/stat : 9273 (java) S 9265 9267 8900 0 -1 64 562 0 0 0 36 1 0 0 16 0 8 0 155651334 937897984 50586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9274] ppid=9265 vsize=915916 CPUtime=0
/proc/9267/task/9274/stat : 9274 (java) S 9265 9267 8900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155651334 937897984 50586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9267/tid=9275] ppid=9265 vsize=915916 CPUtime=0
/proc/9267/task/9275/stat : 9275 (java) S 9265 9267 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155651334 937897984 50586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915916

Child status: 0
Real time (s): 16.1053
CPU time (s): 15.7856
CPU user time (s): 15.4906
CPU system time (s): 0.294955
CPU usage (%): 98.0152
Max. virtual memory (cumulated for all children) (KiB): 915916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4906
system time used= 0.294955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50904
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= 2100
involuntary context switches= 2455

runsolver used 0.025996 s user time and 0.056991 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Jan  6 08:36:16 UTC 2007


IDJOB= 202441
IDBENCH= 3834
FILE ID= node34/202441-1168072573

PBS_JOBID= 3475978

Free space on /tmp= 66526 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202441-1168072573/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-202441-1168072573 -o ROOT/results/node34/solver-202441-1168072573 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202441-1168072573/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0e4a172a147463479a8ddf87bb5036ea

RANDOM SEED= 450848788

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.227
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.227
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:       1320952 kB
Buffers:         31052 kB
Cached:         435904 kB
SwapCached:          0 kB
Active:         252424 kB
Inactive:       406000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1320952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6228 kB
Writeback:           0 kB
Mapped:         211640 kB
Slab:            61636 kB
Committed_AS:  3203136 kB
PageTables:       2144 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= 66526 MiB



End job on node34 on Sat Jan  6 08:36:32 UTC 2007