Trace number 209491

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 71.1032 71.6103

DiagnosticValue
CHECKS105625935
NODES3000

General information on the benchmark

Namefapp/fapp26-30/fapp30/
fapp30-3000-10.xml
MD5SUM2b4ef9677f52263fa3f34f9b296a1bd2
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 benchmark71.1032
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.44	   
0.44	Abscon 109 (November, 2006)
0.44	   
0.44	   configuration
0.44	     name=mac.xml
0.47	   
0.47	   instance
0.47	     name=/tmp/evaluation/209491-1168074937/unknown.xml
0.50	   
0.50	   domains being loaded...
0.53	   
0.53	   variables being loaded...
1.01	     nbVariables=3000  nbDomainTypes=21  minDomainSize=86  maxDomainSize=778
1.01	       =>  wckTime=0.568  cpuTime=0.41  mem=60M667
1.01	   
1.01	   predicates being loaded...
1.01	   
1.01	   constraints being loaded...
4.98	   
4.98	   INFO : Stopping converting binary constraints (cpu=4.05, mem = 74M837)
7.97	     nbConstraints=33301  nbMergedConstraints=29903  nbConvertedConstraints=7  nbConvertConstraintsChecks=3657332
7.97	     nbExtensionStructures=7  nbSharedExtensionStructures=0  nbConflictsStructures=7  nbSharedConflictsStructures=0
7.97	     nbSharedBinaryRepresentations=8291  nbEvaluationManagers=3777  nbSharedEvaluationManagers=29517  maxDegree=59
7.97	     maxArity=2
7.97	       =>  wckTime=7.53  cpuTime=6.39  mem=112M58
8.24	   
8.24	   solver IterativeSystematicSolver being built... 
9.44	       =>  wckTime=8.997  cpuTime=7.06  mem=343M119
65.79	   
65.79	   preprocessing
65.79	     nbConstraintChecks=103590008  nbValidityChecks=2108962  nbPropagations=4008  nbRevisions=112351
65.79	     nbUselessRevisions=100509  nbRemovedValues=1854251  detectedInconsistency=no
65.79	       =>  wckTime=56.301  cpuTime=56.03  mem=343M119
71.51	   
71.51	   search
71.51	     run=0  nbConstraintChecks=2035927  nbValidityChecks=2613432  nbPropagations=13711  nbRevisions=271801
71.51	     nbUselessRevisions=251783  nbAssignments=3000  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=3001
71.51	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=2312
71.51	       =>  wckTime=62.028  cpuTime=61.69  mem=360M162
71.51	   
71.51	   global
71.51	     nbConstraintChecks=105625935  nbValidityChecks=4722394  nbPropagations=17719  nbRevisions=384152
71.51	     nbUselessRevisions=352292  nbRestartNogoods=0  solvingWckTime=62.03  solvingCpuTime=61.69  expiredTime=no
71.51	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=68.84
71.51	       =>  wckTime=71.071  cpuTime=68.79  mem=360M162
71.51	   
71.51	s SATISFIABLE
71.51	v -2940 -2296 -2868 -2348 -2668 -2354 -2646 -2982 -2942 -2618 -2376 -2652 -2226 -2610 -2224 -2486 -2732 -2992 -2442 -2886 -2262 -2950 -2362 -2996 -2392 -2808 -2510 -2556 -2762 -2762 -2368 -2284 2510 -2850 -2276 -2312 -2810 -2338 -2252 2276 -2940 -2440 -2590 -2262 -2960 -2268 2892 -2608 -2776 2768 -2356 -2422 2502 -2956 -2384 -2496 2848 -2424 -2474 2528 -2894 -2956 -2940 -2638 -2956 -2622 -2966 -2442 2648 -2450 -2252 -2950 2220 -2790 -2256 -2404 -2272 -2578 -2808 2980 -2928 -2230 2926 -2476 -2252 -2482 -2692 -2640 -2518 -2326 -2608 -2406 -2750 -2282 2356 -2848 -2690 -2588 -2898 -2960 -2244 -2598 -2264 -2590 -2612 -2478 2634 2690 -2266 -2646 2464 -2860 2262 -2642 -2898 -2758 -2592 -2436 2220 -2386 -2598 2870 -2402 -2972 2488 -2474 -2622 -2620 -2406 -2690 2538 -2758 2780 -2598 2646 -2324 -2936 -2650 -2940 -2778 -2732 -2548 -2740 -2880 -2966 -2644 -2598 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2990 -2318 -2496 -2606 -2744 -2790 -2680 -2290 -2996 -2284 -2620 -2276 2400 -2652 -2462 2364 -2240 -2732 -2650 -2642 -2902 -2408 2404 -2956 -2820 -2750 -2956 -2602 -2916 2936 -2950 2708 -2674 -2788 -2914 -2408 -2956 2816 -2846 2380 -2448 -2364 -2928 -2448 -2764 -2224 -2968 -2624 -2982 -2282 -2982 -2678 -2904 -2762 -2546 2830 -2904 -2582 -2240 -2432 -2630 -2810 -2860 -2312 2384 -2962 -2516 -2640 -2344 -2682 -2856 -2570 -2224 -2848 -2938 -2392 -2596 2612 -2520 -2394 2546 -2964 -2606 -2762 -2878 -2406 -2600 -2332 -2442 -2930 -2770 -2762 -2306 -2884 -2406 -2774 2684 -2860 -2688 -2454 2260 2850 -2924 -2514 2274 -2884 -2872 -2712 -2524 2232 -2996 -2576 -2266 -2982 2810 -2324 -2922 -2602 -2724 -2940 -2290 -2260 -2848 -2296 -2622 -2486 -2950 -2258 -2312 -2276 -2884 -2876 -2222 -2876 -2754 -2968 -2534 -2330 -2496 -2282 -2382 -2590 2260 -2982 -2334 -2584 -2788 -2980 -2940 -2282 -2428 2254 -2720 -2946 -2650 -2948 -2680 -2494 -2692 -2942 -2220 -2766 -2514 2474 -2396 -2266 -2890 -2662 -2944 -2238 2564 -2890 -2860 -2250 -2944 -2600 -2584 -2440 -2626 -2940 -2260 -2452 -2480 -2716 2898 -2318 -2780 2262 -2646 -2606 -2376 -2964 -2260 -2384 -2928 2956 -2940 -2924 -2818 -2762 -2614 -2928 -2650 -2650 2246 -2882 -2262 -2468 -2408 -2952 -2936 -2390 -2450 -2314 -2350 -2738 2886 -2636 -2456 -2624 -2950 -2722 -2900 2284 -2292 -2244 -2622 -2730 2620 -2630 -2690 -2260 -2618 -2306 -2550 2410 -2686 -2680 2836 -2380 -2390 -2624 -2406 -2954 -2460 -2818 -2290 -2964 2888 -2916 -2546 -2384 -2806 -2996 -2688 -2550 -2944 -2942 -2548 -2938 -2990 -2990 -2736 -2916 -2968 -2994 2238 -2610 -2806 -2414 -2738 -2750 -2996 -2264 -2284 -2452 2770 2274 -2820 -2260 -2622 -2248 -2668 -2898 -2538 2898 -2530 -2956 -2560 -2910 -2716 -2860 -2858 -2732 -2924 -2900 -2806 -2612 -2316 -2728 -2792 -2492 -2816 -2996 -2244 -2984 -2996 -2944 2260 -2486 -2678 -2478 -2746 -2592 -2692 -2290 2524 2358 -2646 -2942 -2916 -2322 -2876 -2722 -2944 -2648 -2956 -2902 -2624 -2222 2440 2430 -2366 -2514 -2940 -2360 -2904 -2980 -2514 -2554 -2642 -2370 -2814 -2688 -2856 -2892 -2400 -2960 -2658 -2490 -2840 2258 2910 -2432 -2308 -2962 -2292 -2940 2596 -2642 -2864 -2282 -2690 -2564 -2514 -2986 -2756 -2572 -2484 -2642 2996 -2828 -2906 -2982 2610 -2956 -2244 -2914 -2848 -2772 -2666 2808 -2732 -2438 -2762 -2406 -2266 -2948 -2990 2992 2278 -2982 -2710 -2650 -2956 -2436 -2918 -2992 -2882 -2280 2604 -2956 -2690 -2842 -2900 -2910 -2704 -2906 -2282 -2692 -2548 2840 2442 -2894 -2430 -2650 -2260 -2542 -2948 2426 2290 2304 -2288 -2226 2554 -2632 -2882 2530 -2900 -2666 -2914 -2708 2424 -2330 2892 -2976 -2730 -2550 -2756 -2862 -2690 -2670 -2606 -2596 -2606 -2758 -2850 -2802 -2922 -2448 -2940 -2916 2888 -2506 -2408 2402 -2640 -2820 -2514 -2900 2674 -2298 -2222 -2830 -2282 -2316 -2842 -2896 -2228 -2804 -2368 -2764 -2466 -2612 -2866 -2642 2430 -2736 -2470 -2760 -2220 2434 2430 -2854 -2554 2984 -2498 -2340 -2380 -2466 -2622 -2744 -2546 -2942 -2588 -2960 -2240 2356 -2414 -2940 -2982 -2950 -2772 -2990 -2754 2714 -2940 2220 2662 -2646 -2866 -2926 -2402 -2254 -2260 -2256 -2646 2702 -2786 -2234 -2296 2260 -2382 -2942 -2920 2402 -2880 -2380 -2430 2458 -2702 -2466 -2332 -2902 -2810 -2860 -2386 -2492 -2678 -2686 -2884 2344 -2554 -2484 -2818 -2942 -2812 -2608 -2682 -2980 -2730 -2258 -2822 2220 -2860 -2430 -2290 2560 -2910 2976 -2266 -2950 2340 -2354 -2724 2996 -2876 -2260 -2960 -2634 2882 -2790 -2488 -2900 -2512 -2630 -2256 -2550 -2878 -2948 -2580 2982 2944 -2308 -2314 -2778 -2648 -2264 2814 2812 -2514 -2876 -2326 -2766 2924 -2534 -2810 2260 -2950 -2534 2428 -2950 -2308 -2312 -2286 -2790 -2236 -2570 -2792 -2940 -2568 -2392 -2646 -2732 -2710 2804 -2366 -2678 -2592 -2274 -2602 -2688 2698 -2772 -2554 -2494 2996 2758 -2716 -2514 -2590 -2594 -2872 -2328 -2950 -2514 -2238 -2758 -2860 -2622 -2996 -2658 -2536 -2276 -2964 -2648 -2290 2454 -2970 -2252 -2820 2384 -2674 -2982 -2298 -2636 -2228 -2604 -2944 -2940 -2228 -2448 -2250 -2260 2294 -2718 -2406 -2290 -2632 -2650 -2940 -2902 -2910 -2594 -2488 -2344 -2272 -2282 -2556 2826 -2862 -2488 -2876 -2292 -2866 -2940 2664 -2950 -2786 -2592 -2368 -2920 -2364 -2996 -2242 -2758 2888 -2956 -2286 -2982 -2994 -2874 -2278 -2866 -2468 -2578 -2646 -2382 -2920 -2424 -2262 -2270 -2990 -2252 2280 -2494 -2470 -2762 -2942 -2776 -2996 2260 -2318 -2220 -2642 2820 -2808 -2678 2776 -2928 -2996 -2910 -2948 -2536 -2344 -2504 -2538 -2950 -2906 2898 -2290 -2704 -2820 2260 -2996 -2512 -2912 -2322 -2574 -2486 -2262 -2706 -2476 -2996 -2956 2912 -2670 -2650 -2490 2788 -2260 -2996 -2654 -2954 -2264 -2952 2246 -2776 -2584 -2624 -2662 2638 -2760 -2988 -2956 -2442 -2338 -2732 -2834 -2366 2416 -2652 -2910 -2500 -2650 -2226 -2256 -2796 2740 -2446 -2372 -2926 -2920 -2292 -2976 -2618 -2766 2872 2250 -2682 -2952 -2684 -2900 -2516 -2442 -2892 2936 -2666 -2782 -2904 -2598 -2488 -2570 -2624 -2956 -2274 2248 2604 -2322 -2550 -2590 -2732 -2908 -2514 2648 -2860 -2724 -2316 -2228 2338 -2554 -2956 -2920 -2558 -2878 -2646 -2990 -2642 -2848 -2450 -2292 -2282 2220 2866 -2846 -2752 -2424 -2736 -2554 -2358 -2396 -2244 -2640 -2944 -2790 2274 -2772 2874 2542 -2604 -2370 -2870 -2364 -2452 -2268 -2380 -2594 -2636 -2684 -2422 -2318 -2840 -2856 -2790 -2770 -2262 -2638 -2854 -2842 2882 -2980 -2252 -2688 2662 -2906 -2890 -2862 -2680 -2592 -2980 -2900 -2270 -2294 -2942 -2352 -2492 -2554 -2338 2982 -2250 -2720 -2746 -2384 -2680 -2282 -2244 -2548 -2876 -2944 -2632 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2948 -2344 -2386 -2644 -2784 -2942 -2942 -2874 -2386 -2436 -2590 2276 -2578 -2544 -2982 -2502 -2556 -2994 -2352 -2976 -2252 -2604 -2624 -2610 -2252 -2482 -2956 -2556 -2744 -2732 -2690 -2924 -2576 -2940 -2982 -2988 -2568 2646 2794 -2682 -2828 -2654 -2740 -2646 2316 -2506 -2294 -2982 2326 -2916 -2598 -2686 -2664 -2870 -2248 -2758 -2366 -2820 -2796 2808 -2748 -2996 -2940 -2950 -2542 -2508 -2554 -2376 -2274 -2942 -2688 -2996 -2986 -2692 2994 -2900 -2560 -2282 -2690 -2904 -2790 -2550 2736 -2578 -2514 -2800 -2996 -2902 -2646 2912 2720 -2904 -2980 -2982 -2732 -2304 -2290 -2390 -2880 2578 -2950 -2896 -2722 -2624 -2476 2274 -2644 -2420 -2990 2916 -2830 -2956 -2762 -2698 -2686 -2630 -2298 -2892 -2702 -2220 2744 -2912 2644 -2402 -2938 -2876 -2856 2810 -2902 -2876 -2500 -2262 -2724 -2710 -2950 -2410 2530 -2722 2306 -2742 -2876 -2806 -2894 2416 -2474 -2830 2908 -2270 -2512 -2220 -2552 -2554 2234 -2830 -2946 -2762 -2294 -2722 -2496 -2764 -2808 -2730 -2876 -2600 2372 -2942 -2454 2704 -2500 -2692 -2824 -2874 -2940 -2390 -2770 -2672 -2594 -2982 -2742 -2574 -2234 -2220 -2680 -2944 -2696 -2390 -2704 -2888 -2554 2630 -2246 2298 2646 2404 -2980 -2746 -2772 -2582 -2600 -2650 -2584 -2598 -2512 -2722 -2816 -2836 -2956 -2368 -2262 -2278 -2862 -2732 -2776 -2288 -2980 -2278 -2944 -2722 -2872 -2838 -2942 -2590 -2354 2260 -2934 2622 -2726 -2862 -2880 -2250 -2888 -2294 -2770 -2768 -2478 -2962 -2994 -2940 -2870 -2408 -2986 -2582 -2354 -2796 -2908 -2292 -2364 -2746 2260 -2682 -2624 -2576 2546 -2292 2502 2260 -2916 -2438 2340 -2266 -2416 -2224 -2366 -2990 -2584 -2280 -2230 -2682 -2942 -2564 -2514 2542 -2952 -2756 -2820 -2946 -2408 -2384 -2440 -2820 -2720 2278 -2564 2950 -2860 -2294 -2942 -2242 2898 -2326 -2266 -2982 -2930 -2698 -2680 -2820 -2682 -2882 2286 2852 -2858 2256 -2260 -2538 -2222 2866 -2996 -2238 -2960 -2676 2990 2440 -2990 -2562 -2424 2950 -2652 -2552 -2262 -2384 -2446 -2292 2702 -2902 -2730 -2430 -2830 -2414 -2996 2906 -2324 -2902 -2472 2836 2816 -2956 -2770 -2720 -2370 -2446 2418 -2232 -2352 -2944 -2294 -2784 -2264 -2864 -2588 -2400 -2460 -2582 -2990 -2512 2400 -2640 2564 -2860 -2996 -2298 -2996 -2864 -2694 -2610 -2260 -2938 -2266 2240 -2286 -2310 -2946 -2408 -2406 2524 2508 -2236 -2870 -2606 2490 -2988 2258 2532 -2502 -2982 -2942 -2350 -2634 2434 2754 -2314 -2864 -2524 -2928 -2506 -2226 -2298 -2950 -2686 2732 -2706 -2220 -2916 -2874 -2256 -2288 -2718 -2242 -2508 -2882 -2812 -2790 2834 2438 -2374 -2690 -2762 -2692 -2646 2622 2260 -2606 -2598 2652 -2298 -2564 -2642 -2818 -2996 -2646 -2682 -2264 -2940 -2422 -2356 -2930 -2676 2222 -2350 -2860 -2646 -2830 2974 -2924 -2626 -2918 -2322 2282 -2584 -2446 2696 -2764 -2658 -2938 -2424 -2550 -2642 2614 -2690 -2534 -2380 -2246 -2314 -2378 -2296 -2638 2424 -2596 -2502 -2798 -2916 2452 -2794 -2982 -2916 -2830 -2382 -2716 -2954 -2900 -2996 -2338 -2948 -2746 2602 -2458 -2224 -2692 -2490 -2288 -2830 -2220 -2904 -2356 2260 -2390 -2942 -2382 -2270 -2556 -2582 -2946 -2904 -2982 -2936 -2358 -2662 -2230 -2996 -2230 -2946 -2348 -2640 2420 -2338 2560 2848 -2942 -2244 -2942 -2514 2594 -2796 -2722 -2848 -2938 -2296 -2762 -2944 2284 -2956 -2960 -2578 -2580 -2446 -2430 -2982 2906 -2950 -2220 -2996 2910 -2326 -2952 -2942 -2354 2938 -2756 -2280 2516 -2920 -2402 -2544 -2226 -2378 2642 -2716 -2860 -2620 -2920 -2512 2276 -2934 -2588 -2494 2264 -2902 -2576 -2302 -2944 -2554 2698 2576 2554 -2542 -2920 -2632 -2538 -2290 -2376 -2738 -2928 2722 -2822 -2240 -2682 -2956 2652 -2464 -2974 -2900 -2940 -2590 2220 2652 -2320 -2234 2530 -2232 -2468 -2480 -2418 -2254 -2772 -2646 2432 -2222 -2722 -2996 -2444 -2692 -2378 2708 -2552 -2264 -2500 2524 -2550 -2716 2960 -2958 -2802 -2522 -2506 -2550 -2752 -2954 -2622 -2224 -2842 2718 -2806 -2842 2474 2390 -2672 -2816 -2692 -2974 2526 -2642 -2980 -2690 -2732 -2820 -2940 2360 -2910 -2910 -2904 -2692 -2978 2810 2284 2464 -2716 -2296 2590 -2980 -2240 -2570 -2620 -2328 -2974 -2220 -2902 -2240 2222 2236 -2448 2696 -2760 -2718 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2868 -2982 -2920 -2322 -2512 -2478 -2288 -2324 -2274 2856 -2952 -2248 -2904 -2758 -2438 -2934 -2860 -2260 -2550 -2636 2290 -2988 -2436 -2264 -2346 -2342 -2682 -2646 -2956 -2904 -2286 -2378 -2918 2444 -2890 -2710 -2624 -2220 -2944 -2224 -2816 -2642 -2980 -2346 -2682 2222 -2508 -2862 -2524 2574 2656 -2642 -2990 -2866 -2570 2354 -2454 -2220 2688 -2348 -2850 -2780 -2682 -2992 -2652 -2508 -2708 -2766 -2532 -2292 -2262 -2938 -2266 -2292 -2778 2382 -2946 -2980 -2702 -2322 -2968 -2472 -2390 -2448 -2452 -2758 2284 -2498 -2932 -2718 -2522 -2786 -2940 -2940 -2844 -2608 -2662 -2440 2766 -2606 -2536 -2922 2750 -2700 -2720 -2916 2752 -2942 -2450 -2592 -2760 -2274 -2380 -2224 -2590 -2966 2900 -2822 -2752 2280 -2810 2558 -2590 -2418 -2448 2874 -2950 2652 -2628 2308 -2380 -2850 -2898 -2440 -2382 -2406 2934 -2746 -2406 -2722 2470 -2692 -2504 -2950 -2678 -2710 2840 -2616 -2744 -2940 -2730 -2676 -2330 -2976 -2784 2388 -2336 -2870 -2272 -2532 -2846 -2880 -2350 -2584 -2958 -2640 -2776 -2686 -2570 2616 -2538 2402 -2422 -2368 -2280 -2422 -2858 -2770 2238 -2724 -2936 -2564 2442 2508 -2672 -2830 -2724 -2922 -2676 -2366 -2348 -2790 -2722 -2380 -2582 -2762 -2694 -2484 -2684 -2260 -2690 -2684 -2904 -2814 -2918 -2446 -2242 -2950 2496 -2356 2442 -2632 2748 -2732 -2636 -2808 -2220 -2404 -2854 2574 -2710 -2514 -2942 2364 -2260 -2876 -2298 -2570 -2580 -2980 -2408 -2650 2252 -2554 -2226 -2638 -2980 2250 -2412 -2914 2928 -2876 -2562 2234 -2368 -2424 2436 2220 -2648 -2648 2416 -2258 -2956 -2498 -2990 -2948 -2950 -2642 -2860 -2800 -2830 2816 -2904 -2830 -2980 -2914 2896 -2466 -2412 -2296 -2602 -2284 2594 -2648 2716 -2870 -2996 -2446 -2672 -2984 -2294 -2272 -2326 -2294 -2226 -2278 -2856 -2730 -2264 -2914 -2864 -2826 -2950 -2272 -2920 -2936 -2664 -2314 -2968 -2646 -2490 -2646 -2732 -2858 -2940 2644 -2942 -2264 -2576 -2728 2344 -2946 -2894 2560 -2990 2982 2284 -2576 -2470 -2900 -2554 -2610 2316 2608 -2522 -2712 -2702 -2580 2806 -2788 -2580 -2334 2964 -2406 2316 -2454 -2244 -2262 -2922 -2642 -2452 -2302 -2510 -2292 -2610 -2850 -2676 -2932 -2246 -2396 -2820 -2682 2374 -2504 -2220 -2242 -2860 -2686 2450 -2354 -2390 -2480 -2420 -2990 -2676 -2904 -2584 -2920 -2698 -2474 -2762 -2406 -2274 -2498 -2912 -2220 -2290 -2612 -2780 -2956 -2574 -2850 -2904 -2648 -2444 -2920 -2722 -2366 -2794 -2332 2390 -2908 -2290 -2972 -2678 -2896 2492 -2224 -2334 -2590 -2840 2682 -2454 -2902 -2336 -2820 -2862 -2986 -2226 -2552 -2820 -2944 -2554 -2636 -2798 2402 -2682 2266 2276 2446 -2732 -2934 -2582 2238 2928 2254 -2876 2266 -2492 -2552 -2774 2314 2792 -2322 -2652 -2600 -2982 -2448 -2378 -2970 -2250 -2980 -2956 -2222 -2848 -2692 -2944 -2514 -2624 -2346 -2840 -2408 -2644 -2904 -2942 2440 -2956 -2334 2506 2228 -2788 -2624 -2584 -2306 -2572 -2498 -2292 -2488 -2616 -2280 -2974 2910 -2996 -2950 -2330 -2408 -2950 -2920 -2932 -2612 -2254 -2478 -2584 -2590 -2644 2514 -2902 -2906 -2792 -2950 -2906 -2948 -2766 -2366 -2776 -2548 -2820 -2900 2378 -2824 -2728 -2426 -2294 -2752 -2460 -2940 -2886 2860 -2712 2464 -2606 -2938 2826 -2944 -2748 -2756 -2844 2678 -2220 -2638 -2824 -2870 2808 -2446 -2480 -2988 -2880 -2248 -2820 -2990 -2260 -2680 -2234 -2926 -2480 -2322 -2664 2344 -2594 -2810 -2952 -2670 -2324 -2770 -2268 -2936 -2292 -2722 -2800 -2366 2578 -2764 2452 -2404 -2268 -2690 -2508 -2516 -2304 -2608 -2292 -2920 -2946 -2236 -2940 -2278 -2982 -2238 -2464 2860 -2902 -2252 2828 -2886 -2302 -2692 -2576 2260 -2948 -2384 -2690 -2224 -2586 -2400 2682 -2810 -2942 -2684 2906 -2618 -2774 -2820 -2244 -2620 -2806 -2916 -2420 -2360 -2538 -2432 -2990 2324 -2634 -2736 -2752 -2578 -2776 2776 -2654 -2368 -2284 -2368 -2486 -2718 -2234 -2252 -2258 -2486 2220 -2822 -2932 -2942 -2280 -2868 -2568 -2446 -2722 -2996 -2804 -2968 -2220 -2220 -2366 -2944 -2472 2874 2468 2954 -2950 -2440 2942 -2946 -2676 -2282 -2226 -2554 -2864 -2550 2948 -2472 -2488 -2268 -2476 -2622 -2558 -2384 -2862 -2314 2440 -2976 -2466 -2386 -2226 -2520 -2314 -2274 -2480 -2438 -2950 -2340 -2856 -2876 -2266 2642 -2706 -2692 -2900 -2718 -2690 -2904 -2978 -2956 -2842 -2592 -2996 2982 -2990 2494 -2990 -2772 -2482 -2250 2900 -2298 -2862 2552 -2440 -2978 -2240 -2590 -2534 -2996 -2722 2458 -2382 -2986 -2944 -2740 -2940 -2510 -2744 2242 -2296 -2940 -2900 -2848 -2356 -2450 -2944 -2562 2966 -2990 -2514 2220 -2924 -2908 2308 -2940 -2862 -2548 -2692 -2534 -2530 -2860 -2748 -2808 -2904 -2900 -2396 2384 -2982 2734 -2606 -2492 -2666 -2888 -2944 -2826 -2980 -2760 -2900 -2638 -2818 -2638 -2406 -2370 2322 -2260 -2364 -2292 -2788 -2732 -2466 -2290 -2298 2662 -2330 -2570 -2264 2466 -2924 -2270 -2346 -2780 -2996 -2606 -2846 2400 -2368 -2492 -2514 -2900 2234 -2276 -2944 -2516 -2982 -2606 -2880 -2314 -2790 -2850 2288 -2260 -2528 -2740 2952 -2252 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2280 -2860 -2250 -2336 -2956 -2534 -2434 -2942 2924 -2872 -2908 -2354 2652 -2816 -2780 -2900 -2272 -2488 -2536 -2940 -2720 -2220 -2736 -2684 -2606 -2662 -2958 -2274 -2850 -2494 -2954 -2278 -2624 -2348 -2650 -2860 -2498 -2600 2444 -2968 -2912 -2750 -2990 -2918 -2490 -2296 -2692 -2364 -2960 2680 -2456 -2798 -2682 -2522 -2308 -2554 -2738 -2316 -2228 -2240 -2480 -2740 -2420 -2990 -2354 -2682 -2982 -2860 -2942 -2446 -2792 -2650 -2438 -2444 -2942 -2830 -2332 -2656 -2420 -2692 2912 2828 -2408 -2504 2234 -2864 2704 -2264 -2464 2662 -2980 -2960 -2642 -2568 -2706 -2848 -2478 -2970 2590 -2332 2224 -2806 -2778 -2704 -2434 -2308 -2496 -2918 -2978 -2732 -2816 2220 -2912 -2974 -2606 -2956 -2938 -2562 -2490 -2506 -2668 -2286 -2428 -2956 -2482 -2754 -2922 2242 -2400 -2280 -2968 2926 -2338 -2556 -2624 -2808 -2650 -2720 -2750 -2938 -2558 -2774 -2956 -2940 -2704 -2934 -2820 -2942 -2722 2232 2734 -2982 -2860 -2400 -2862 -2722 -2346 -2316 -2634 -2468 -2256 -2220 -2300 -2300 -2506 -2860 -2334 -2524 -2596 -2552 2506 -2682 -2980 -2506 -2590 -2858 -2248 -2554 2316 -2616 -2718 -2594 -2554 -2904 -2298 -2648 -2610 -2580 -2992 -2550 -2296 -2650 -2928 2676 -2250 2268 -2668 -2222 -2366 -2744 -2786 -2604 -2474 -2800 -2584 -2638 -2922 -2942 -2456 -2474 -2916 -2548 -2268 -2964 -2584 -2942 2480 -2788 2698 -2602 -2646 2450 2288 2932 -2960 -2314 -2934 -2394 2880 -2808 -2442 -2712 -2346 -2562 -2604 -2956 -2750 -2250 -2392 -2850 -2790 -2282 -2536 -2826 2314 2220 -2284 -2744 -2424 -2406 -2722 -2878 -2996 -2722 -2448 -2928 -2688 -2366 -2910 2820 -2422 -2582 -2996 -2222 -2680 -2682 2782 -2468 -2274 -2532 -2316 -2904 -2396 2956 -2956 -2326 -2684 -2996 -2440 -2422 -2644 -2286 -2676 -2262 2946 -2732 -2288 -2950 -2324 -2860 -2810 -2702 -2862 2268 -2848 -2508 -2920 -2398 -2916 -2944 2646 -2710 -2848 -2260 -2876 -2510 -2916 -2688 -2250 2734 -2292 -2514 -2292 -2244 -2260 2426 -2790 -2720 -2920 -2292 -2690 -2438 -2442 -2314 -2958 2390 -2290 -2506 -2514 -2538 -2252 2730 -2902 -2272 -2904 -2516 -2658 -2492 2558 -2980 -2316 -2408 2724 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2650 -2536 -2942 -2830 -2640 -2448 -2252 -2420 2662 2556 -2908 -2690 -2636 -2414 -2286 -2960 -2918 -2260 -2904 -2320 -2850 -2732 2634 -2366 2354 -2934 -2940 -2682 -2782 -2440 -2530 2402 -2700 -2292 -2492 -2258 -2606 -2932 -2916 -2222 -2692 -2658 -2330 -2942 -2760 -2484 -2980 2962 -2956 -2982 2564 -2236 2920 -2286 -2550 -2630 -2748 -2332 2236 2380 -2692 2706 -2698 -2460 -2670 2612 -2944 -2522 2260 2246 -2220 -2608 -2946 -2650 -2532 -2746 -2942 -2776 -2974 -2956 -2220 2984 -2818 -2490 -2736 -2720 -2706 -2798 2422 -2456 -2902 -2738 -2854 -2290 
71.51	d NODES 3000
71.51	d CHECKS 105625935
71.51	   
71.51	   totalWckTime=71.152  totalCpuTime=68.84

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-209491-1168074937 -o ROOT/results/node75/solver-209491-1168074937 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209491-1168074937/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.52 0.85 0.95 3/69 22598
/proc/meminfo: memFree=1731984/2055920 swapFree=4184496/4192956
[pid=22597] ppid=22594 vsize=1784 CPUtime=0
/proc/22597/stat : 22597 (java) R 22594 22597 22100 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 155893965 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/22597/statm: 446 140 106 14 0 91 0

[startup+0.102759 s]
/proc/loadavg: 0.52 0.85 0.95 3/69 22598
/proc/meminfo: memFree=1731984/2055920 swapFree=4184496/4192956
[pid=22597] ppid=22594 vsize=89776 CPUtime=0.01
/proc/22597/stat : 22597 (java) D 22594 22597 22100 0 -1 0 1273 0 1 0 0 1 0 0 18 0 1 0 155893965 91930624 1022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/22597/statm: 22444 1022 811 14 0 10027 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 89776

[startup+0.510809 s]
/proc/loadavg: 0.52 0.85 0.95 3/69 22598
/proc/meminfo: memFree=1731984/2055920 swapFree=4184496/4192956
[pid=22597] ppid=22594 vsize=915328 CPUtime=0.34
/proc/22597/stat : 22597 (java) S 22594 22597 22100 0 -1 0 5847 0 1 0 30 4 0 0 16 0 8 0 155893965 937295872 5586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22597/statm: 228832 5586 2105 14 0 215302 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 915328

[startup+1.33291 s]
/proc/loadavg: 0.52 0.85 0.95 2/75 22631
/proc/meminfo: memFree=1621008/2055920 swapFree=4184496/4192956
[pid=22597] ppid=22594 vsize=915596 CPUtime=1.17
/proc/22597/stat : 22597 (java) R 22594 22597 22100 0 -1 0 32134 0 1 0 101 16 0 0 17 0 8 0 155893965 937570304 31871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073551169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22597/statm: 228899 31871 2160 14 0 215369 0
[pid=22597/tid=22599] ppid=22594 vsize=915596 CPUtime=0.12
/proc/22597/task/22599/stat : 22599 (java) S 22594 22597 22100 0 -1 64 15592 0 0 0 7 5 0 0 16 0 8 0 155893977 937570304 31871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22600] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22600/stat : 22600 (java) S 22594 22597 22100 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893978 937570304 31871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22601] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22601/stat : 22601 (java) S 22594 22597 22100 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155893978 937570304 31871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22602] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22602/stat : 22602 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155893983 937570304 31871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22603] ppid=22594 vsize=915596 CPUtime=0.15
/proc/22597/task/22603/stat : 22603 (java) S 22594 22597 22100 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 155893983 937570304 31871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22604] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22604/stat : 22604 (java) S 22594 22597 22100 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155893983 937570304 31871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22605] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22605/stat : 22605 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155893983 937570304 31871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 915596

[startup+2.98511 s]
/proc/loadavg: 0.56 0.85 0.95 2/75 22631
/proc/meminfo: memFree=1585552/2055920 swapFree=4184496/4192956
[pid=22597] ppid=22594 vsize=915596 CPUtime=2.81
/proc/22597/stat : 22597 (java) S 22594 22597 22100 0 -1 0 35477 0 1 0 264 17 0 0 17 0 8 0 155893965 937570304 35209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22597/statm: 228899 35212 2160 14 0 215369 0
[pid=22597/tid=22599] ppid=22594 vsize=915596 CPUtime=0.33
/proc/22597/task/22599/stat : 22599 (java) R 22594 22597 22100 0 -1 64 18932 0 0 0 27 6 0 0 16 0 8 0 155893977 937570304 35214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22600] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22600/stat : 22600 (java) S 22594 22597 22100 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893978 937570304 35216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22601] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22601/stat : 22601 (java) S 22594 22597 22100 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155893978 937570304 35218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22602] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22602/stat : 22602 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155893983 937570304 35220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22603] ppid=22594 vsize=915596 CPUtime=0.15
/proc/22597/task/22603/stat : 22603 (java) S 22594 22597 22100 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 155893983 937570304 35222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22604] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22604/stat : 22604 (java) S 22594 22597 22100 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155893983 937570304 35224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22605] ppid=22594 vsize=915596 CPUtime=0
/proc/22597/task/22605/stat : 22605 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155893983 937570304 35226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915596

[startup+6.26649 s]
/proc/loadavg: 0.56 0.85 0.95 4/87 22643
/proc/meminfo: memFree=1559216/2055920 swapFree=4184496/4192956
[pid=22597] ppid=22594 vsize=915732 CPUtime=6.07
/proc/22597/stat : 22597 (java) R 22594 22597 22100 0 -1 0 38363 0 1 0 588 19 0 0 18 0 8 0 155893965 937709568 38089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22597/statm: 228933 38089 2182 14 0 215403 0
[pid=22597/tid=22599] ppid=22594 vsize=915732 CPUtime=0.54
/proc/22597/task/22599/stat : 22599 (java) S 22594 22597 22100 0 -1 64 21709 0 0 0 47 7 0 0 16 0 8 0 155893977 937709568 38089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22600] ppid=22594 vsize=915732 CPUtime=0
/proc/22597/task/22600/stat : 22600 (java) S 22594 22597 22100 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893978 937709568 38089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22601] ppid=22594 vsize=915732 CPUtime=0
/proc/22597/task/22601/stat : 22601 (java) S 22594 22597 22100 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155893978 937709568 38089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22597/tid=22602] ppid=22594 vsize=915732 CPUtime=0
/proc/22597/task/22602/stat : 22602 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155893983 937709568 38089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22603] ppid=22594 vsize=915732 CPUtime=0.2
/proc/22597/task/22603/stat : 22603 (java) S 22594 22597 22100 0 -1 64 449 0 0 0 20 0 0 0 15 0 8 0 155893983 937709568 38089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22604] ppid=22594 vsize=915732 CPUtime=0
/proc/22597/task/22604/stat : 22604 (java) S 22594 22597 22100 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155893983 937709568 38089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22605] ppid=22594 vsize=915732 CPUtime=0
/proc/22597/task/22605/stat : 22605 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155893983 937709568 38089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915732

[startup+12.7633 s]
/proc/loadavg: 0.78 0.89 0.96 3/87 22643
/proc/meminfo: memFree=1188016/2055920 swapFree=4184496/4192956
[pid=22597] ppid=22594 vsize=915876 CPUtime=12.52
/proc/22597/stat : 22597 (java) R 22594 22597 22100 0 -1 0 95236 0 1 0 1211 41 0 0 25 0 8 0 155893965 937857024 94896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22597/statm: 228969 94896 2533 14 0 215439 0
[pid=22597/tid=22599] ppid=22594 vsize=915876 CPUtime=1.61
/proc/22597/task/22599/stat : 22599 (java) S 22594 22597 22100 0 -1 64 78025 0 0 0 134 27 0 0 16 0 8 0 155893977 937857024 94896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22600] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22600/stat : 22600 (java) S 22594 22597 22100 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893978 937857024 94896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22601] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22601/stat : 22601 (java) S 22594 22597 22100 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155893978 937857024 94896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22602] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22602/stat : 22602 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155893983 937857024 94896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22603] ppid=22594 vsize=915876 CPUtime=0.32
/proc/22597/task/22603/stat : 22603 (java) S 22594 22597 22100 0 -1 64 552 0 0 0 31 1 0 0 15 0 8 0 155893983 937857024 94896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22604] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22604/stat : 22604 (java) S 22594 22597 22100 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155893983 937857024 94896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22605] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22605/stat : 22605 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155893983 937857024 94896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915876

[startup+25.5968 s]
/proc/loadavg: 0.97 0.93 0.97 3/87 22643
/proc/meminfo: memFree=971824/2055920 swapFree=4184496/4192956
[pid=22597] ppid=22594 vsize=915876 CPUtime=25.3
/proc/22597/stat : 22597 (java) R 22594 22597 22100 0 -1 0 95239 0 1 0 2489 41 0 0 25 0 8 0 155893965 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22597/statm: 228969 94897 2533 14 0 215439 0
[pid=22597/tid=22599] ppid=22594 vsize=915876 CPUtime=1.61
/proc/22597/task/22599/stat : 22599 (java) S 22594 22597 22100 0 -1 64 78025 0 0 0 134 27 0 0 16 0 8 0 155893977 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22600] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22600/stat : 22600 (java) S 22594 22597 22100 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893978 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22601] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22601/stat : 22601 (java) S 22594 22597 22100 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155893978 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22602] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22602/stat : 22602 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155893983 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22603] ppid=22594 vsize=915876 CPUtime=0.32
/proc/22597/task/22603/stat : 22603 (java) S 22594 22597 22100 0 -1 64 554 0 0 0 31 1 0 0 15 0 8 0 155893983 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22604] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22604/stat : 22604 (java) S 22594 22597 22100 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155893983 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22605] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22605/stat : 22605 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155893983 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915876

[startup+51.2978 s]
/proc/loadavg: 1.32 1.01 0.99 3/87 22643
/proc/meminfo: memFree=971824/2055920 swapFree=4184496/4192956
[pid=22597] ppid=22594 vsize=915876 CPUtime=50.9
/proc/22597/stat : 22597 (java) R 22594 22597 22100 0 -1 0 95239 0 1 0 5049 41 0 0 25 0 8 0 155893965 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22597/statm: 228969 94897 2533 14 0 215439 0
[pid=22597/tid=22599] ppid=22594 vsize=915876 CPUtime=1.61
/proc/22597/task/22599/stat : 22599 (java) S 22594 22597 22100 0 -1 64 78025 0 0 0 134 27 0 0 16 0 8 0 155893977 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22600] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22600/stat : 22600 (java) S 22594 22597 22100 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155893978 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22601] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22601/stat : 22601 (java) S 22594 22597 22100 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155893978 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22602] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22602/stat : 22602 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155893983 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22603] ppid=22594 vsize=915876 CPUtime=0.32
/proc/22597/task/22603/stat : 22603 (java) S 22594 22597 22100 0 -1 64 554 0 0 0 31 1 0 0 15 0 8 0 155893983 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22604] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22604/stat : 22604 (java) S 22594 22597 22100 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155893983 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22597/tid=22605] ppid=22594 vsize=915876 CPUtime=0
/proc/22597/task/22605/stat : 22605 (java) S 22594 22597 22100 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155893983 937857024 94897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 71.6103
CPU time (s): 71.1032
CPU user time (s): 70.6253
CPU system time (s): 0.477927
CPU usage (%): 99.2918
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.6253
system time used= 0.477927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95286
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= 3099
involuntary context switches= 3502

runsolver used 0.076988 s user time and 0.203968 s system time

The end

Launcher Data (download as text)

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


IDJOB= 209491
IDBENCH= 4520
FILE ID= node75/209491-1168074937

PBS_JOBID= 3476028

Free space on /tmp= 66540 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2b4ef9677f52263fa3f34f9b296a1bd2

RANDOM SEED= 41481780

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:       1732720 kB
Buffers:          3184 kB
Cached:         255332 kB
SwapCached:       2468 kB
Active:          76804 kB
Inactive:       196028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1732720 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:           10564 kB
Writeback:           0 kB
Mapped:          20484 kB
Slab:            36084 kB
Committed_AS:  3077880 kB
PageTables:       1636 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