Trace number 209507

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 68.0856 68.4627

DiagnosticValue
CHECKS98989699
NODES3002

General information on the benchmark

Namefapp/fapp26-30/fapp30/
fapp30-3000-8.xml
MD5SUMa2bd6dbc97857e933555789faaebf156
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 benchmark68.0856
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.33	     name=/tmp/evaluation/209507-1168074941/unknown.xml
0.35	   
0.35	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.89	     nbVariables=3000  nbDomainTypes=21  minDomainSize=86  maxDomainSize=778
0.89	       =>  wckTime=0.595  cpuTime=0.43  mem=60M667
0.89	   
0.89	   predicates being loaded...
0.90	   
0.90	   constraints being loaded...
4.95	   
4.95	   INFO : Stopping converting binary constraints (cpu=4.12, mem = 74M837)
7.87	     nbConstraints=33301  nbMergedConstraints=29903  nbConvertedConstraints=7  nbConvertConstraintsChecks=3657332
7.87	     nbExtensionStructures=7  nbSharedExtensionStructures=0  nbConflictsStructures=7  nbSharedConflictsStructures=0
7.87	     nbSharedBinaryRepresentations=8291  nbEvaluationManagers=3688  nbSharedEvaluationManagers=29606  maxDegree=59
7.87	     maxArity=2
7.87	       =>  wckTime=7.571  cpuTime=6.44  mem=111M0
8.14	   
8.14	   solver IterativeSystematicSolver being built... 
9.33	       =>  wckTime=9.037  cpuTime=7.11  mem=343M28
62.98	   
62.98	   preprocessing
62.98	     nbConstraintChecks=97510828  nbValidityChecks=1778026  nbPropagations=3838  nbRevisions=105913
62.98	     nbUselessRevisions=94482  nbRemovedValues=1859974  detectedInconsistency=no
62.98	       =>  wckTime=53.594  cpuTime=53.31  mem=343M28
68.26	   
68.26	   search
68.26	     run=0  nbConstraintChecks=1478871  nbValidityChecks=2112086  nbPropagations=11909  nbRevisions=239962
68.26	     nbUselessRevisions=221785  nbAssignments=3002  nbFailedAssignments=2  nbBacktracks=0  nbVisitedNodes=3005
68.26	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=2300
68.26	       =>  wckTime=58.884  cpuTime=58.53  mem=360M370
68.26	   
68.26	   global
68.26	     nbConstraintChecks=98989699  nbValidityChecks=3890112  nbPropagations=15747  nbRevisions=345875
68.27	     nbUselessRevisions=316267  nbRestartNogoods=0  solvingWckTime=58.887  solvingCpuTime=58.53  expiredTime=no
68.27	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=65.72
68.27	       =>  wckTime=67.969  cpuTime=65.68  mem=360M370
68.27	   
68.27	s SATISFIABLE
68.27	v -2996 -2296 2870 -2346 -2674 -2352 -2646 -2982 -2942 -2704 -2374 -2654 -2226 -2608 -2224 -2486 -2732 -2988 2440 -2866 -2262 -2950 -2360 -2996 -2392 -2808 -2510 -2536 -2760 -2760 -2366 -2286 -2512 -2846 -2274 -2312 -2812 -2336 -2254 2276 -2940 -2442 -2590 -2234 -2960 -2268 2892 -2608 -2776 2766 -2860 -2410 2472 -2936 2382 -2496 2848 -2424 -2474 2510 -2892 -2956 -2940 -2638 -2956 -2622 -2966 -2414 2648 2440 -2250 -2948 2220 -2790 -2256 2402 -2270 -2576 -2808 2980 -2928 -2230 -2928 -2476 -2250 -2482 -2692 -2640 -2602 -2296 2596 -2406 -2748 -2280 -2324 -2848 -2688 -2588 -2896 -2960 -2246 -2598 -2262 -2588 -2608 -2478 2632 2692 -2264 -2646 -2466 -2860 2264 -2640 -2898 -2756 -2592 -2436 2222 -2386 -2600 -2872 -2402 -2972 -2490 -2474 -2622 -2618 -2406 -2688 2538 -2758 2772 -2586 2640 -2296 -2936 -2632 -2940 -2778 -2732 -2548 -2738 -2346 -2962 -2650 -2596 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2986 -2318 -2484 -2606 -2742 -2790 -2680 -2288 -2996 -2932 -2618 -2288 2402 -2656 -2464 2336 -2238 -2732 -2648 -2642 -2902 -2808 2404 -2956 -2820 -2750 2956 -2602 -2916 2936 -2950 2714 -2534 -2788 -2912 -2408 -2956 -2816 -2834 2378 -2766 -2366 -2926 -2446 -2764 -2222 -2970 -2624 -2982 -2282 -2982 -2678 -2904 -2760 -2534 2810 -2902 -2580 -2238 -2438 -2630 -2812 -2860 -2324 -2382 -2962 -2514 -2640 -2340 -2684 -2854 -2566 -2222 -2846 -2934 -2392 2594 2590 -2520 2392 2534 -2964 -2608 -2762 2876 -2406 -2600 -2332 -2440 -2930 2768 -2760 -2306 -2886 -2406 -2774 -2686 -2860 -2668 -2454 2260 -2850 -2920 -2514 2288 2884 -2856 -2710 -2524 -2234 -2996 -2576 -2266 -2982 2810 -2324 -2306 -2602 -2724 -2940 -2288 -2260 -2848 -2294 -2622 -2486 -2950 -2260 -2310 -2274 -2884 -2876 -2220 -2876 -2752 2966 2522 -2332 -2500 2282 -2384 -2588 2260 -2982 -2330 -2584 -2776 -2980 -2940 -2282 -2438 2252 -2720 -2942 -2648 -2944 2678 -2492 -2692 -2940 -2220 -2766 -2514 -2476 -2386 -2266 -2886 -2662 -2944 -2238 2564 -2336 -2858 -2254 -2944 -2600 -2582 -2442 -2626 -2940 -2248 -2452 -2480 -2720 2894 -2290 -2778 -2234 -2646 -2606 -2374 -2960 -2260 -2384 -2928 2954 -2940 -2924 -2816 -2760 -2614 -2928 -2556 -2648 2246 -2880 -2250 -2470 -2406 -2950 -2934 -2388 -2448 -2314 -2350 -2738 -2894 -2636 -2460 -2622 -2950 -2722 -2900 2298 -2262 -2246 -2622 -2730 2620 -2576 -2688 -2260 -2618 -2302 -2548 -2400 -2684 -2680 -2836 -2382 -2390 -2624 -2406 -2952 -2460 -2816 -2286 -2962 2888 -2916 -2542 -2378 -2806 -2996 -2688 -2548 -2944 -2940 -2548 -2938 -2990 -2990 -2738 -2916 -2968 -2994 2240 -2596 -2806 -2414 -2738 -2748 -2996 -2262 -2934 -2762 2772 2272 -2820 -2262 -2622 -2248 -2674 -2896 -2538 2898 -2530 -2268 -2560 -2910 -2710 -2860 -2854 -2720 -2924 -2898 -2806 -2608 -2316 -2726 -2794 -2462 -2814 -2996 -2246 -2878 -2996 -2944 -2262 -2486 -2678 -2476 -2746 -2592 -2690 -2290 2526 2330 -2568 -2942 -2916 -2320 -2876 2720 -2944 -2628 -2956 -2902 -2622 -2222 -2440 2430 -2366 -2514 -2940 -2360 -2904 -2978 -2514 -2554 -2644 -2368 -2812 -2688 -2860 -2892 -2398 -2960 -2640 -2488 -2838 -2258 2910 -2432 -2278 -2956 -2290 -2940 2594 -2640 -2862 2282 -2690 -2562 -2514 -2988 2754 -2566 -2486 -2642 -2994 -2826 -2904 -2982 2592 2956 -2972 -2912 -2848 -2768 -2666 2808 -2732 -2438 -2762 -2406 -2268 -2942 -2992 2988 -2278 -2980 -2708 -2648 -2956 -2436 -2918 -2992 -2344 -2280 2610 -2956 -2690 -2844 -2900 -2910 -2702 -2902 -2282 -2692 -2548 2840 2414 -2894 -2420 -2650 -2260 -2512 -2946 2426 -2294 -2278 -2290 -2230 2556 -2630 -2346 2530 -2978 -2666 -2912 -2708 -2426 -2342 -2890 -2976 -2728 -2548 2756 -2860 -2688 -2668 -2606 -2598 -2600 -2756 -2852 2802 -2916 -2450 -2940 -2916 2888 -2506 -2406 2374 -2638 -2822 -2514 -2900 2676 -2296 -2222 -2830 -2280 -2316 -2386 -2896 -2228 -2804 -2366 -2764 -2468 -2616 -2864 -2640 2430 -2736 -2442 -2760 -2220 2436 2420 -2854 -2554 2982 -2498 -2374 -2378 -2466 -2622 -2742 -2544 -2942 -2616 -2960 -2230 2356 -2412 -2938 -2982 -2950 -2772 -2990 -2754 -2714 -2938 2220 -2666 -2646 -2862 -2926 -2400 -2252 -2956 -2254 -2644 -2706 -2784 -2234 -2296 2260 -2370 2940 -2996 -2404 -2880 -2368 -2400 2456 -2692 -2456 -2328 -2900 -2808 -2860 -2382 -2490 -2664 -2680 -2884 2344 -2554 -2486 -2818 -2942 -2808 -2608 -2682 -2980 -2728 -2254 -2822 2220 -2860 -2432 -2290 2560 -2910 2976 -2266 -2950 -2374 -2326 -2726 2996 -2876 -2260 -2960 -2634 2880 -2792 -2488 -2900 -2702 -2632 -2256 -2550 -2878 -2946 -2578 2982 2946 -2308 -2286 -2776 -2648 -2262 2812 2812 -2514 -2876 2324 -2766 2924 -2530 -2812 2260 -2950 -2536 2428 -2950 -2298 -2310 -2770 -2790 -2250 -2570 -2790 -2938 -2550 -2398 -2646 -2732 -2710 -2800 -2366 -2678 -2588 -2272 -2602 -2688 2680 -2772 -2554 -2494 2996 -2756 -2690 -2496 -2578 -2594 2870 -2332 -2950 -2516 -2238 -2760 -2860 -2620 -2996 -2640 -2536 -2276 -2960 -2556 -2290 2454 -2970 -2250 -2820 -2384 -2672 -2982 -2294 -2636 -2226 -2604 -2918 -2940 -2228 -2448 2248 -2260 -2298 -2704 -2404 -2290 -2632 -2648 2940 2900 -2906 -2594 -2486 -2344 -2272 -2282 2554 2826 -2860 -2488 -2876 -2290 -2866 -2938 2542 -2948 -2784 -2592 -2366 -2920 -2364 2996 -2240 -2756 -2888 -2956 -2274 -2982 -2996 -2872 -2278 -2862 -2468 -2578 -2646 -2370 -2922 -2426 -2262 -2260 -2990 2254 2280 -2494 -2468 -2760 -2942 -2778 -2906 2260 -2290 -2220 -2642 2820 -2808 -2666 -2776 -2928 -2996 -2910 -2946 -2536 -2342 -2506 -2538 -2950 -2906 2898 -2290 -2700 -2820 2262 -2996 -2510 -2910 -2322 -2570 -2484 -2262 -2706 -2474 -2996 -2956 2912 -2670 -2648 -2462 2788 -2260 -2996 2654 -2956 2264 -2948 -2246 -2774 -2584 -2624 -2662 -2640 -2756 -2986 2956 -2444 -2338 -2732 -2832 -2336 2414 -2650 2910 -2502 -2648 -2226 -2256 -2796 -2738 -2446 -2526 -2922 -2920 -2290 -2976 -2616 -2766 2872 2250 -2680 -2952 2684 -2900 -2514 -2440 -2896 2938 -2542 -2782 -2904 -2598 -2488 -2570 -2624 -2956 -2276 2248 2610 -2322 -2548 -2588 -2732 -2910 -2514 2648 -2860 -2722 -2314 -2230 2350 -2554 -2956 -2920 -2558 -2940 -2646 -2990 -2640 -2848 -2450 -2290 -2282 -2234 -2866 -2828 -2752 -2424 -2736 -2558 -2356 2818 -2246 -2640 -2944 -2790 2274 -2772 2874 2540 -2604 -2370 -2852 -2364 -2762 -2266 -2382 -2592 -2636 -2682 -2410 -2316 -2838 -2856 -2790 -2770 -2260 -2638 -2852 -2840 2884 -2980 -2252 -2688 2652 -2906 -2336 -2860 -2680 -2590 -2980 -2900 -2258 -2290 -2940 -2352 -2492 -2554 -2960 2990 -2250 -2720 -2744 -2380 -2680 -2280 -2974 -2550 -2876 -2944 -2574 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2946 -2338 -2386 -2644 -2786 -2942 -2942 -2872 -2384 -2436 -2616 2278 -2578 -2542 -2982 -2500 -2558 2992 -2352 2978 -2250 -2600 -2622 -2608 -2250 -2564 -2956 -2556 -2744 -2732 -2688 -2922 -2576 -2938 -2982 -2988 -2570 2650 2794 -2682 -2828 -2648 -2736 -2646 2316 -2494 -2306 -2982 2298 -2916 -2586 -2688 -2662 -2870 -2250 -2754 -2366 -2820 -2794 -2808 -2748 -2996 -2940 -2946 -2620 -2478 -2554 -2376 -2274 -2942 -2688 -2996 -2984 -2692 2996 -2898 -2562 -2284 -2690 -2902 -2790 -2548 2736 -2576 -2514 -2796 -2996 -2900 -2646 2910 -2720 -2904 -2980 -2982 -2732 -2302 2292 -2360 -2882 2578 -2950 -2896 -2722 2624 -2474 2290 -2564 -2420 -2990 2918 -2830 -2956 -2762 -2680 -2684 -2618 -2300 -2890 2702 -2220 2742 -2912 -2644 2400 -2938 -2876 -2856 2812 -2900 -2876 -2500 -2260 -2724 -2712 -2950 -2410 2530 -2704 2280 -2746 -2876 -2806 -2892 2414 -2474 -2830 2906 -2270 -2702 -2220 -2552 -2556 -2250 -2830 2946 -2760 -2290 -2720 -2484 -2764 -2806 -2726 -2876 -2600 -2362 -2942 -2454 2702 -2498 -2692 -2824 -2872 -2940 -2360 -2768 -2672 -2594 -2982 -2744 -2572 -2234 -2270 -2680 -2944 -2698 -2388 -2702 -2888 -2554 2630 2244 2270 2648 -2402 -2980 -2744 -2772 -2582 -2602 -2652 -2582 -2598 -2512 -2722 -2814 -2834 -2954 -2366 -2262 -2280 -2860 -2732 2774 -2288 -2956 -2280 -2944 -2720 -2872 -2838 -2942 -2588 -2354 2230 -2934 2622 2724 -2860 -2878 -2250 -2894 -2292 -2770 -2768 -2476 -2960 -2994 -2938 -2868 -2406 -2982 -2582 -2354 -2794 -2906 -2296 -2364 -2744 -2274 -2682 -2624 -2546 2548 -2288 -2504 2262 -2916 -2774 2350 -2266 2414 -2222 -2366 -2990 -2582 -2278 -2230 -2680 -2942 -2564 -2514 -2540 -2952 -2754 -2812 -2946 -2406 -2384 -2442 -2818 -2720 2280 -2564 2950 -2858 -2292 -2942 -2242 2996 -2326 -2270 -2982 -2928 -2698 -2680 -2820 -2684 -2346 2288 -2856 -2858 2254 -2260 -2536 -2220 2866 -2996 -2238 -2960 -2648 2990 -2442 -2990 -2562 -2428 2956 -2650 -2662 -2264 -2384 -2446 -2290 2674 -2900 -2728 -2426 -2830 -2414 -2996 2888 -2324 -2900 -2470 -2836 -2900 -2956 -2768 -2716 -2368 -2446 2414 -2220 -2352 -2944 -2292 -2782 -2254 -2864 -2590 -2400 -2460 -2582 -2990 2512 -2402 -2640 2562 -2860 -2996 -2298 -2976 -2864 -2694 -2610 -2262 -2936 -2266 -2230 2286 -2298 -2944 -2406 -2406 -2524 -2510 -2234 -2870 -2606 2490 -2988 -2230 2522 -2500 -2982 -2940 -2348 -2574 2432 -2754 -2312 -2862 2522 -2926 -2504 -2224 -2296 -2950 -2690 -2732 -2706 -2220 -2916 -2880 -2256 -2286 -2720 -2242 -2510 -2882 -2808 -2770 2920 2436 -2362 -2690 -2760 -2694 -2646 2622 -2956 -2606 -2596 -2652 -2296 -2566 -2642 -2818 -2996 -2646 -2682 -2262 -2940 -2422 -2358 -2930 2650 -2224 -2350 -2860 -2560 -2830 2972 -2924 -2626 -2996 -2322 -2282 -2584 -2446 -2694 -2764 -2628 -2936 -2424 -2550 -2640 2608 -2688 -2530 -2414 -2242 -2314 -2380 -2296 -2636 -2422 -2594 -2472 -2796 -2916 -2460 2794 -2982 -2916 -2830 -2388 -2688 -2954 -2900 -2996 -2338 -2948 -2744 -2600 -2454 -2220 -2692 -2490 -2288 -2832 -2996 -2904 -2356 2260 -2390 -2942 -2382 -2270 2554 -2580 -2944 -2904 -2982 -2934 -2330 -2662 2220 -2994 -2230 -2944 -2344 -2640 2428 -2338 2560 2848 -2942 -2242 -2950 -2514 2594 -2796 -2722 -2848 -2934 -2296 -2762 -2942 2286 2270 -2958 -2578 -2580 -2446 -2400 -2982 -2986 -2950 -2220 -2996 2892 -2404 -2948 -2942 -2388 2936 -2752 -2270 2496 -2920 -2400 -2542 -2226 -2368 2642 -2712 -2858 -2620 -2918 -2482 2274 -2934 -2588 -2496 2264 -2900 -2576 -2290 -2944 -2554 2698 2546 2554 -2512 -2920 -2632 -2538 -2290 -2374 -2736 -2926 2704 -2820 -2240 -2682 -2956 2656 -2466 -2978 -2898 -2940 -2588 2220 2630 -2320 -2234 2508 -2230 -2438 -2736 -2420 -2252 -2760 -2646 2432 -2220 -2720 -2996 -2446 -2692 -2378 2714 -2548 -2264 -2500 2524 -2548 -2714 2960 -2956 -2804 -2522 -2494 -2548 -2754 -2954 -2626 -2224 -2840 -2720 -2806 -2384 2476 -2390 -2672 -2814 -2692 2972 2524 -2640 -2980 -2688 -2732 -2820 -2940 2394 -2910 -2910 -2904 -2692 2974 2810 2282 2436 -2716 -2296 2590 -2980 -2240 -2568 -2618 -2338 -2974 -2220 -2902 -2238 -2222 -2236 -2448 -2696 -2756 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2870 -2982 -2920 -2324 -2512 -2478 -2288 -2324 -2352 2856 -2950 -2246 -2904 -2758 -2434 -2932 -2860 -2274 -2550 -2634 2290 -2982 -2426 -2264 -2346 -2340 -2680 -2644 -2956 -2904 -2258 -2378 -2918 -2446 -2886 -2708 -2624 -2220 -2944 -2224 -2814 -2640 -2980 -2346 -2680 -2224 2508 -2860 -2522 2574 2738 -2644 -2990 -2866 -2570 2354 -2454 -2222 2668 -2348 -2376 -2776 -2680 -2994 2648 -2504 -2708 -2766 -2526 -2262 2260 2956 -2264 -2294 -2776 2372 -2946 -2980 -2692 2322 -2968 2472 -2380 -2768 -2422 -2760 -2286 -2498 -2930 -2716 -2522 -2784 -2936 -2938 -2840 -2610 -2662 -2438 2766 -2606 -2534 -2922 2750 -2698 -2720 -2916 2754 -2940 -2448 -2588 -2760 -2272 -2380 -2224 -2590 2966 2900 -2822 -2752 2270 -2810 2546 -2588 -2408 -2446 -2874 -2950 -2648 -2576 2304 -2414 -2852 -2898 -2440 -2382 -2406 -2938 -2744 -2406 -2720 -2472 -2692 -2502 -2950 -2678 -2710 -2840 -2616 2740 -2940 2730 -2676 2328 -2974 -2782 2398 -2336 -2870 -2270 -2530 -2826 -2880 2348 -2582 -2958 -2640 -2776 -2686 2570 2586 -2538 -2400 -2422 -2366 -2278 -2412 -2858 -2766 -2240 -2724 -2936 -2566 2442 2510 -2534 -2830 -2722 -2924 -2670 -2366 -2344 -2790 -2722 -2388 -2582 -2762 -2694 -2484 2684 -2258 -2688 -2684 2904 2796 -2916 -2446 -2242 -2950 -2498 -2356 2440 -2632 2736 -2732 -2632 -2808 -2222 -2404 -2836 2562 -2708 -2514 -2942 -2364 -2260 -2876 -2918 -2568 -2580 -2980 -2406 -2648 2222 -2554 -2226 -2638 -2980 2252 -2400 -2914 2930 -2876 -2562 2236 -2366 -2396 -2434 2222 -2648 -2648 2416 -2260 -2956 -2488 -2990 -2948 -2950 -2642 -2860 -2798 -2830 2816 -2904 -2830 2980 -2838 2896 -2466 -2402 -2306 -2602 -2282 2594 -2648 2716 -2946 -2996 -2446 -2670 -2986 -2290 -2260 -2730 -2292 2226 -2278 -2856 -2728 -2264 -2914 -2864 -2824 -2952 -2274 -2920 -2936 -2666 -2312 -2968 -2644 -2490 -2646 -2732 -2858 -2938 -2560 -2942 -2238 -2576 -2728 -2344 -2928 -2892 2560 -2990 2980 -2286 -2576 2472 -2900 -2554 -2610 2318 2608 -2522 -2712 -2672 -2578 2794 -2788 -2578 -2332 2962 -2406 2316 -2452 -2234 -2260 -2920 -2642 -2440 -2300 -2482 -2292 -2608 -2850 -2672 -2932 -2234 -2820 -2820 -2680 2374 -2504 -2220 -2240 -2860 -2684 2422 -2388 -2390 -2472 -2418 -2996 -2676 -2902 -2584 -2920 -2670 -2452 -2762 -2408 -2278 -2496 -2896 2222 -2288 -2610 -2776 -2956 -2570 -2850 -2904 -2648 -2444 -2920 -2722 -2366 -2792 -2342 2380 -2904 -2290 -2972 -2676 -2896 2492 -2222 -2330 -2592 -2840 2664 -2452 -2902 -2336 -2820 -2862 -2986 -2228 -2662 -2820 -2944 2554 -2632 -2798 2400 -2684 2266 2276 -2448 -2732 -2932 -2582 2240 -2934 2254 -2876 -2240 -2722 -2552 -2772 2324 2792 -2322 -2654 -2600 -2982 -2446 -2374 -2970 -2250 -2980 -2946 -2222 -2848 -2692 -2944 -2514 -2622 -2344 2838 -2406 -2566 -2904 -2942 -2776 -2956 -2338 2478 2276 -2788 -2622 -2584 -2294 -2562 -2498 -2302 -2486 -2616 -2282 -2976 2908 -2228 -2948 -2330 -2406 -2950 -2306 -2932 -2614 -2266 -2474 -2582 -2588 -2650 2516 -2900 -2904 -2794 -2952 -2906 -2948 -2766 -2364 -2774 -2550 -2820 -2898 2378 -2824 -2728 -2396 -2294 -2750 -2458 -2940 -2868 2860 -2712 2464 -2606 -2938 2822 2944 -2748 -2760 -2846 2678 -2996 -2638 -2822 -2868 2810 -2446 -2480 -2988 -2882 -2242 -2820 -2992 -2260 -2678 -2232 -2934 2468 -2322 -2664 2340 -2594 2806 2952 -2670 -2338 -2758 -2236 -2936 -2292 -2720 -2798 2366 2578 -2764 2452 -2404 -2270 -2690 -2510 -2514 -2294 -2610 -2290 -2920 -2942 -2236 -2938 2278 -2982 -2238 -2464 2860 -2900 -2250 -2810 -2886 -2274 -2694 -2574 -2260 -2948 -2380 -2688 -2224 -2586 -2434 2684 -2810 -2942 2684 -2904 2618 -2772 -2820 -2244 -2620 -2806 -2916 -2420 -2478 -2538 -2432 -2990 2326 -2636 -2736 -2830 -2578 -2776 2774 -2654 -2366 -2274 -2366 -2486 -2716 -2232 -2250 -2256 -2486 -2220 -2820 -2932 -2942 -2278 -2866 -2570 -2446 -2722 -2996 -2804 -2966 2222 -2220 -2364 -2944 -2472 -2878 2470 -2956 -2950 -2428 -2950 -2944 -2676 -2282 -2226 -2536 2862 -2550 2948 -2442 -2486 -2258 -2476 -2618 -2546 -2384 -2860 -2348 2428 -2974 -2436 -2386 -2224 -2604 -2314 -2276 -2564 -2436 -2950 -2338 -2838 -2876 -2254 2644 2706 -2692 -2900 -2718 -2688 -2904 -2974 -2956 -2842 -2598 -2996 2990 -2990 2494 -2990 -2768 -2482 -2248 -2900 -2920 -2862 2558 -2440 2976 -2238 -2588 -2532 -2996 -2720 2448 -2380 -2984 -2944 -2738 -2938 -2508 -2742 -2242 -2294 -2940 -2900 -2850 -2858 -2450 -2944 -2562 2968 -2990 -2514 2288 -2920 -2906 2304 -2940 -2860 -2544 -2692 -2530 -2530 -2860 -2748 2808 -2904 -2898 -2394 -2388 -2982 2732 -2606 -2722 -2666 -2888 -2944 -2826 -2976 -2760 -2898 -2638 -2818 -2638 -2406 -2370 2322 -2260 -2364 -2290 -2788 -2732 -2438 2302 -2300 -2634 -2328 -2548 -2264 2466 -2922 -2270 -2346 -2782 2996 -2606 -2846 2402 -2366 -2606 -2514 -2900 -2236 -2290 -2944 -2516 -2982 -2606 -2880 -2318 -2790 -2376 2298 -2260 -2448 -2736 2954 -2250 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2278 -2860 -2246 -2336 -2956 -2534 -2436 -2942 -2926 -2870 -2908 -2352 2654 -2798 -2778 -2898 -2284 -2488 -2536 -2940 -2720 -2220 -2736 -2682 -2604 -2662 -2958 2274 -2852 -2490 -2952 -2278 -2626 -2348 -2650 -2860 -2494 -2600 2442 -2966 -2912 -2752 -2988 -2916 -2488 -2296 -2692 -2364 -2960 -2680 -2458 -2796 -2680 -2524 -2306 -2554 -2738 2284 -2230 -2242 -2468 -2738 -2408 -2990 -2354 2664 -2982 -2860 -2942 -2446 -2792 -2650 -2434 -2442 -2942 -2828 -2330 -2654 -2422 -2692 2912 -2830 -2806 -2502 2248 -2862 2704 2260 -2466 2632 -2980 -2960 -2640 -2568 2502 -2848 -2734 -2968 2578 -2336 -2224 -2806 -2778 -2502 -2434 -2308 -2496 -2918 -2976 -2732 -2814 2234 -2910 -2974 -2608 -2956 2936 -2562 -2488 -2508 -2668 -2284 -2428 -2956 -2484 -2754 -2922 2240 2402 -2280 -2968 2926 -2878 -2556 -2622 -2810 -2650 -2720 -2752 -2938 -2638 -2772 -2956 -2940 -2702 -2932 -2818 -2942 -2720 2232 -2734 -2982 -2860 -2438 -2862 -2724 -2342 -2318 -2634 -2468 -2266 -2220 -2298 -2310 -2496 -2860 -2330 -2526 -2596 -2548 2502 -2682 -2980 -2506 -2588 -2856 -2248 -2556 2316 -2586 -2706 -2598 -2554 -2904 -2310 -2628 2610 -2580 -2990 -2548 -2296 -2648 -2928 2676 -2250 2238 2668 -2222 -2366 -2742 -2784 -2604 -2472 -2800 2584 -2636 -2920 -2940 -2444 -2474 -2916 2548 -2270 -2966 -2582 -2942 2478 -2770 2696 -2602 -2646 2448 2292 2932 -2956 -2312 -2936 -2394 2878 -2808 -2444 -2710 -2342 -2562 -2606 -2956 -2748 -2248 -2392 2846 -2790 -2282 2536 -2822 2314 2220 -2284 -2746 -2422 -2406 -2720 -2878 -2230 -2720 -2448 -2928 -2688 -2366 -2908 2818 -2428 -2578 -2996 -2274 -2680 -2680 2784 -2550 -2284 -2528 -2316 -2904 -2396 -2956 -2956 -2298 -2684 -2996 2438 -2420 -2644 -2258 -2672 -2262 2948 -2732 -2282 -2950 -2324 -2860 2810 -2702 -2862 2268 -2848 -2508 -2922 -2394 -2916 -2944 2648 -2708 -2770 -2260 -2876 -2510 -2916 -2688 -2250 2734 -2290 -2492 -2290 -2242 -2260 2426 -2790 -2718 -2920 -2294 -2688 -2438 -2440 2348 -2956 2386 -2290 -2508 -2516 -2538 -2222 2718 -2900 -2270 -2904 -2516 -2630 -2500 2642 -2978 -2316 -2406 2724 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2648 -2536 -2942 -2828 -2640 -2448 -2250 -2422 2652 2554 -2908 -2688 -2636 -2402 -2286 -2960 -2900 -2262 -2904 -2320 -2846 -2732 2632 -2364 -2354 -2932 -2940 -2680 -2782 -2432 -2526 2374 -2698 -2290 -2488 -2256 -2606 -2930 -2916 -2220 -2692 -2744 -2330 -2942 -2760 -2484 -2980 2960 2956 -2980 2564 -2248 2918 -2282 -2548 -2618 -2748 -2486 2234 2380 -2692 -2706 -2668 -2462 -2670 2616 -2944 -2522 2260 2248 -2220 -2608 -2944 -2648 -2646 -2746 -2942 2774 -2972 -2958 -2220 2984 -2816 -2490 -2734 -2720 -2704 -2794 2424 -2444 -2902 -2738 -2852 -2292 
68.27	d NODES 3002
68.27	d CHECKS 98989699
68.27	   
68.27	   totalWckTime=68.046  totalCpuTime=65.72

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/node75/watcher-209507-1168074941 -o ROOT/results/node75/solver-209507-1168074941 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209507-1168074941/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: 0.56 0.85 0.95 4/80 22636
/proc/meminfo: memFree=1575976/2055920 swapFree=4184496/4192956
[pid=22635] ppid=22633 vsize=18540 CPUtime=0
/proc/22635/stat : 22635 (runsolver) R 22633 22635 22117 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155894493 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22635/statm: 4635 279 244 17 0 2626 0

[startup+0.103053 s]
/proc/loadavg: 0.56 0.85 0.95 4/80 22636
/proc/meminfo: memFree=1575976/2055920 swapFree=4184496/4192956
[pid=22635] ppid=22633 vsize=914988 CPUtime=0.08
/proc/22635/stat : 22635 (java) R 22633 22635 22117 0 -1 0 3002 0 1 0 7 1 0 0 22 0 8 0 155894493 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22635/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511101 s]
/proc/loadavg: 0.56 0.85 0.95 4/80 22636
/proc/meminfo: memFree=1575976/2055920 swapFree=4184496/4192956
[pid=22635] ppid=22633 vsize=915328 CPUtime=0.49
/proc/22635/stat : 22635 (java) R 22633 22635 22117 0 -1 0 8760 0 1 0 43 6 0 0 25 0 8 0 155894493 937295872 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943745 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22635/statm: 228832 8499 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3322 s]
/proc/loadavg: 0.56 0.85 0.95 4/87 22643
/proc/meminfo: memFree=1461168/2055920 swapFree=4184496/4192956
[pid=22635] ppid=22633 vsize=915596 CPUtime=1.3
/proc/22635/stat : 22635 (java) R 22633 22635 22117 0 -1 0 32135 0 1 0 114 16 0 0 25 0 8 0 155894493 937570304 31872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22635/statm: 228899 31872 2161 14 0 215369 0
[pid=22635/tid=22637] ppid=22633 vsize=915596 CPUtime=0.14
/proc/22635/task/22637/stat : 22637 (java) S 22633 22635 22117 0 -1 64 15592 0 0 0 8 6 0 0 16 0 8 0 155894497 937570304 31872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22638/stat : 22638 (java) S 22633 22635 22117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155894497 937570304 31872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22639/stat : 22639 (java) S 22633 22635 22117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894497 937570304 31872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22640/stat : 22640 (java) S 22633 22635 22117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155894500 937570304 31872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=915596 CPUtime=0.14
/proc/22635/task/22641/stat : 22641 (java) S 22633 22635 22117 0 -1 64 409 0 0 0 14 0 0 0 16 0 8 0 155894500 937570304 31872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22642/stat : 22642 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894500 937570304 31872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22643/stat : 22643 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155894500 937570304 31872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915596

[startup+2.96939 s]
/proc/loadavg: 0.68 0.87 0.95 4/87 22643
/proc/meminfo: memFree=1430768/2055920 swapFree=4184496/4192956
[pid=22635] ppid=22633 vsize=915596 CPUtime=2.93
/proc/22635/stat : 22635 (java) R 22633 22635 22117 0 -1 0 35808 0 1 0 274 19 0 0 25 0 8 0 155894493 937570304 35539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073416276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22635/statm: 228899 35539 2161 14 0 215369 0
[pid=22635/tid=22637] ppid=22633 vsize=915596 CPUtime=0.37
/proc/22635/task/22637/stat : 22637 (java) S 22633 22635 22117 0 -1 64 19256 0 0 0 29 8 0 0 16 0 8 0 155894497 937570304 35539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22638/stat : 22638 (java) S 22633 22635 22117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155894497 937570304 35539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22639/stat : 22639 (java) S 22633 22635 22117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894497 937570304 35539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22640/stat : 22640 (java) S 22633 22635 22117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155894500 937570304 35539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=915596 CPUtime=0.14
/proc/22635/task/22641/stat : 22641 (java) S 22633 22635 22117 0 -1 64 412 0 0 0 14 0 0 0 16 0 8 0 155894500 937570304 35539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22642/stat : 22642 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894500 937570304 35539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=915596 CPUtime=0
/proc/22635/task/22643/stat : 22643 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155894500 937570304 35539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915596

[startup+6.26278 s]
/proc/loadavg: 0.68 0.87 0.95 3/87 22643
/proc/meminfo: memFree=1203056/2055920 swapFree=4184496/4192956
[pid=22635] ppid=22633 vsize=915732 CPUtime=6.21
/proc/22635/stat : 22635 (java) R 22633 22635 22117 0 -1 0 38402 0 1 0 600 21 0 0 25 0 8 0 155894493 937709568 38127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22635/statm: 228933 38127 2182 14 0 215403 0
[pid=22635/tid=22637] ppid=22633 vsize=915732 CPUtime=0.57
/proc/22635/task/22637/stat : 22637 (java) R 22633 22635 22117 0 -1 64 21745 0 0 0 48 9 0 0 16 0 8 0 155894497 937709568 38127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153444195 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=915732 CPUtime=0
/proc/22635/task/22638/stat : 22638 (java) S 22633 22635 22117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155894497 937709568 38127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=915732 CPUtime=0
/proc/22635/task/22639/stat : 22639 (java) S 22633 22635 22117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155894497 937709568 38127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=915732 CPUtime=0
/proc/22635/task/22640/stat : 22640 (java) S 22633 22635 22117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155894500 937709568 38127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=915732 CPUtime=0.2
/proc/22635/task/22641/stat : 22641 (java) S 22633 22635 22117 0 -1 64 450 0 0 0 19 1 0 0 15 0 8 0 155894500 937709568 38127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=915732 CPUtime=0
/proc/22635/task/22642/stat : 22642 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894500 937709568 38127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=915732 CPUtime=0
/proc/22635/task/22643/stat : 22643 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155894500 937709568 38127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915732

[startup+12.7345 s]
/proc/loadavg: 0.88 0.91 0.96 3/87 22643
/proc/meminfo: memFree=971824/2055920 swapFree=4184496/4192956
[pid=22635] ppid=22633 vsize=915876 CPUtime=12.64
/proc/22635/stat : 22635 (java) R 22633 22635 22117 0 -1 0 95217 0 1 0 1223 41 0 0 25 0 8 0 155894493 937857024 94877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22635/statm: 228969 94877 2533 14 0 215439 0
[pid=22635/tid=22637] ppid=22633 vsize=915876 CPUtime=1.61
/proc/22635/task/22637/stat : 22637 (java) S 22633 22635 22117 0 -1 64 78004 0 0 0 134 27 0 0 16 0 8 0 155894497 937857024 94877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22638/stat : 22638 (java) S 22633 22635 22117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155894497 937857024 94877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22639/stat : 22639 (java) S 22633 22635 22117 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155894497 937857024 94877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22640/stat : 22640 (java) S 22633 22635 22117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155894500 937857024 94877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=915876 CPUtime=0.33
/proc/22635/task/22641/stat : 22641 (java) S 22633 22635 22117 0 -1 64 552 0 0 0 31 2 0 0 15 0 8 0 155894500 937857024 94877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22642/stat : 22642 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894500 937857024 94877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22643/stat : 22643 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155894500 937857024 94877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915876

[startup+25.6001 s]
/proc/loadavg: 1.05 0.94 0.97 3/87 22643
/proc/meminfo: memFree=971824/2055920 swapFree=4184496/4192956
[pid=22635] ppid=22633 vsize=915876 CPUtime=25.45
/proc/22635/stat : 22635 (java) R 22633 22635 22117 0 -1 0 95221 0 1 0 2504 41 0 0 25 0 8 0 155894493 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074205181 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22635/statm: 228969 94878 2533 14 0 215439 0
[pid=22635/tid=22637] ppid=22633 vsize=915876 CPUtime=1.61
/proc/22635/task/22637/stat : 22637 (java) S 22633 22635 22117 0 -1 64 78004 0 0 0 134 27 0 0 16 0 8 0 155894497 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22638/stat : 22638 (java) S 22633 22635 22117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155894497 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22639/stat : 22639 (java) S 22633 22635 22117 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155894497 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22640/stat : 22640 (java) S 22633 22635 22117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155894500 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=915876 CPUtime=0.33
/proc/22635/task/22641/stat : 22641 (java) S 22633 22635 22117 0 -1 64 555 0 0 0 31 2 0 0 16 0 8 0 155894500 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22642/stat : 22642 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894500 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22643/stat : 22643 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155894500 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915876

[startup+51.2991 s]
/proc/loadavg: 1.37 1.03 1.00 3/87 22643
/proc/meminfo: memFree=971824/2055920 swapFree=4184496/4192956
[pid=22635] ppid=22633 vsize=915876 CPUtime=51.02
/proc/22635/stat : 22635 (java) R 22633 22635 22117 0 -1 0 95221 0 1 0 5061 41 0 0 25 0 8 0 155894493 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835341 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22635/statm: 228969 94878 2533 14 0 215439 0
[pid=22635/tid=22637] ppid=22633 vsize=915876 CPUtime=1.61
/proc/22635/task/22637/stat : 22637 (java) S 22633 22635 22117 0 -1 64 78004 0 0 0 134 27 0 0 16 0 8 0 155894497 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22638/stat : 22638 (java) S 22633 22635 22117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155894497 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22639/stat : 22639 (java) S 22633 22635 22117 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155894497 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22640/stat : 22640 (java) S 22633 22635 22117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155894500 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=915876 CPUtime=0.33
/proc/22635/task/22641/stat : 22641 (java) S 22633 22635 22117 0 -1 64 555 0 0 0 31 2 0 0 16 0 8 0 155894500 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22642/stat : 22642 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155894500 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=915876 CPUtime=0
/proc/22635/task/22643/stat : 22643 (java) S 22633 22635 22117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155894500 937857024 94878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 68.4627
CPU time (s): 68.0856
CPU user time (s): 67.5547
CPU system time (s): 0.530919
CPU usage (%): 99.4492
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.5547
system time used= 0.530919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105997
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= 3238
involuntary context switches= 3978

runsolver used 0.072988 s user time and 0.19297 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Sat Jan  6 09:15:46 UTC 2007


IDJOB= 209507
IDBENCH= 4521
FILE ID= node75/209507-1168074941

PBS_JOBID= 3476029

Free space on /tmp= 66530 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209507-1168074941/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-209507-1168074941 -o ROOT/results/node75/solver-209507-1168074941 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209507-1168074941/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a2bd6dbc97857e933555789faaebf156

RANDOM SEED= 401160169

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.218
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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1698440 kB
Buffers:          3232 kB
Cached:         274460 kB
SwapCached:       2468 kB
Active:         101636 kB
Inactive:       204852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1698440 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:           20988 kB
Writeback:           0 kB
Mapped:          43824 kB
Slab:            36184 kB
Committed_AS:  3899520 kB
PageTables:       1864 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= 66530 MiB



End job on node75 on Sat Jan  6 09:17:01 UTC 2007