Trace number 209522

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 ESACSAT 261.131 261.985

DiagnosticValue
CHECKS97907980
NODES0

General information on the benchmark

Namefapp/fapp26-30/fapp30/
fapp30-3000-9.xml
MD5SUMb07ce052ad688d2d8eab94bfaa2539d4
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 benchmark74.9176
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.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/209522-1168193027/unknown.xml
0.47	   
0.47	   domains being loaded...
0.51	   
0.51	   variables being loaded...
1.06	     nbVariables=3000  nbDomainTypes=21  minDomainSize=86  maxDomainSize=778
1.06	       =>  wckTime=0.651  cpuTime=0.45  mem=60M667
1.06	   
1.06	   predicates being loaded...
1.06	   
1.06	   constraints being loaded...
202.09	   
202.09	   INFO : Stopping converting binary constraints (cpu=200.21, mem = 100M562)
204.83	     nbConstraints=33301  nbMergedConstraints=29903  nbConvertedConstraints=1472  nbConvertConstraintsChecks=376937732
204.83	     nbExtensionStructures=751  nbSharedExtensionStructures=721  nbConflictsStructures=751
204.83	     nbSharedConflictsStructures=721  nbSharedBinaryRepresentations=978707  nbEvaluationManagers=3616
204.83	     nbSharedEvaluationManagers=28213  maxDegree=59  maxArity=2
204.83	       =>  wckTime=204.42  cpuTime=202.4  mem=118M115
205.12	   
205.12	   solver IterativeSystematicSolver being built... 
206.30	       =>  wckTime=205.89  cpuTime=203.07  mem=352M522
261.77	   
261.77	   preprocessing
261.77	     nbConstraintChecks=97907980  nbValidityChecks=4031420  nbPropagations=13008  nbRevisions=256263
261.77	     nbUselessRevisions=237376  nbSingletonTests=3000  nbEffectiveSingletonTests=0  nbESACBranches=1
261.77	     nbRemovedValues=1858132  detectedInconsistency=no
261.77	       =>  wckTime=55.426  cpuTime=55.31  mem=352M522
261.78	   
261.78	   global
261.78	     nbConstraintChecks=97907980  nbValidityChecks=4031420  nbPropagations=13008  nbRevisions=256263
261.78	     nbUselessRevisions=237376  nbRestartNogoods=0  solvingWckTime=55.435  solvingCpuTime=55.31  expiredTime=no
261.78	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=258.47
261.78	       =>  wckTime=261.369  cpuTime=258.42  mem=352M522
261.91	   
261.91	s SATISFIABLE
261.91	v -2938 -2296 -2876 -2348 -2672 -2352 -2646 -2982 -2942 -2624 -2386 -2644 -2226 -2610 -2224 -2486 -2732 -2992 -2442 -2886 -2264 -2950 -2360 -2996 -2392 -2814 -2510 -2536 -2760 -2762 -2366 -2286 -2512 -2848 -2276 -2312 -2810 -2336 -2262 2276 -2940 -2444 -2588 -2230 -2960 -2268 2892 -2608 -2786 2766 -2356 -2422 2472 -2956 -2384 -2496 -2848 -2434 -2474 2508 -2894 -2956 -2940 -2638 -2956 -2622 -2966 -2414 2648 -2454 -2250 -2948 2220 -2790 -2256 2404 -2272 -2576 -2808 2980 -2930 -2230 2926 -2478 -2252 -2482 -2692 -2640 -2518 -2294 -2610 -2406 -2748 -2282 -2324 2846 -2690 -2588 -2896 -2960 -2246 -2600 -2262 -2588 -2608 -2476 2632 2700 -2266 -2646 -2466 -2860 -2264 -2640 -2898 -2758 -2592 -2436 2222 -2386 -2600 -2870 -2368 -2972 -2490 -2474 -2622 -2628 -2406 -2690 -2538 -2758 2774 -2600 2642 -2292 -2936 -2632 -2940 -2776 -2732 -2548 -2738 -2878 -2964 -2648 -2596 -2622 -2900 -2280 -2356 -2548 2220 -2806 -2996 -2316 -2500 -2606 -2744 -2790 -2680 -2290 -2994 -2284 -2620 -2284 2368 -2640 -2466 2332 -2238 -2732 -2650 -2642 -2902 -2408 -2404 -2956 -2820 -2750 -2956 -2602 -2916 -2936 -2950 2712 -2674 -2786 -2912 -2410 -2956 -2816 -2850 2376 -2448 -2366 -2926 -2448 -2756 -2222 -2970 -2624 -2982 -2282 -2982 -2678 -2904 -2760 -2550 -2810 -2904 -2580 -2238 -2436 -2630 -2812 -2860 -2320 -2384 -2962 -2516 -2640 -2340 -2684 -2856 -2568 -2222 -2846 -2938 -2392 -2606 2592 -2520 -2394 2548 -2964 -2608 -2762 -2878 -2406 -2600 -2334 -2442 -2930 2760 -2760 -2306 -2886 -2406 -2774 -2684 -2860 -2668 -2454 -2272 -2852 -2936 -2514 -2284 2884 -2872 -2710 2522 -2234 -2996 -2576 -2266 -2982 -2812 -2324 -2920 -2602 -2724 -2940 -2288 -2260 -2848 -2294 -2622 -2486 -2950 -2258 -2312 -2274 -2884 -2876 -2298 -2876 -2754 2966 -2536 -2332 -2500 -2284 -2394 -2590 2260 -2982 -2330 -2584 -2792 -2980 -2940 -2280 -2436 2252 -2720 -2944 -2650 -2946 -2684 -2492 -2692 2940 -2220 -2766 -2514 2476 -2380 -2266 -2888 -2662 -2944 2234 -2562 -2890 -2858 -2252 -2944 -2600 -2582 -2408 -2626 -2940 -2248 -2452 -2480 -2720 2896 -2288 -2778 -2232 -2646 -2606 -2376 -2974 -2260 -2384 -2928 2956 -2940 -2924 -2816 -2760 -2614 -2928 -2652 -2650 2246 -2880 -2250 -2472 -2406 -2950 -2950 -2388 -2448 -2312 2350 -2738 2894 -2636 -2460 -2622 -2950 -2722 -2900 2294 -2260 -2244 -2622 -2730 2620 -2632 -2688 -2260 -2620 -2306 -2548 2414 -2684 -2680 -2836 -2382 -2392 -2624 -2406 -2954 -2460 -2816 -2290 -2964 -2890 -2916 -2544 -2378 -2806 -2996 -2688 -2548 -2944 -2942 -2548 -2938 -2990 -2990 -2736 -2916 -2968 -2994 -2240 -2612 -2808 -2426 -2736 -2748 2996 -2262 -2284 -2454 2770 2270 -2820 -2262 -2622 -2248 -2672 -2888 -2538 2898 -2530 -2956 -2560 -2910 -2712 -2860 -2856 -2734 -2924 -2898 -2806 -2610 -2316 -2726 -2792 -2462 -2822 -2996 -2246 -2912 -2996 -2944 2260 -2486 -2678 -2476 -2746 -2592 -2690 -2290 2532 2328 -2568 -2942 -2916 -2320 -2876 -2722 -2944 -2628 -2956 -2902 -2622 -2222 -2442 -2432 -2366 -2514 -2940 -2360 -2904 -2980 -2514 -2554 2626 -2370 -2814 -2688 -2860 -2894 -2400 -2958 -2640 -2488 -2838 -2258 -2910 -2432 -2276 -2958 -2290 -2940 -2604 -2642 -2862 2282 -2690 -2564 -2514 -2988 2762 -2568 -2486 -2638 -2996 -2834 -2906 -2982 2592 2954 -2244 -2914 -2848 -2784 -2666 -2806 -2732 -2440 -2762 -2406 -2266 -2944 -2990 -2990 2274 -2980 -2710 -2650 -2956 -2438 -2918 -2992 -2882 -2280 2608 -2956 -2690 -2844 -2900 -2910 -2710 -2904 -2282 -2692 -2548 2840 2412 -2894 -2432 -2650 -2260 -2512 -2946 2426 2292 2276 -2290 -2224 -2556 -2630 -2880 -2530 -2996 -2666 -2912 2708 -2426 -2340 -2892 -2976 -2720 -2548 -2756 -2862 -2688 -2670 -2606 -2606 -2606 -2748 -2852 2802 2918 -2450 -2940 -2916 2888 -2490 -2406 -2374 2638 -2820 -2514 -2900 -2676 -2296 -2224 -2830 -2280 -2316 -2842 -2896 -2228 -2802 -2366 -2762 -2468 -2600 -2866 -2640 -2434 -2746 2440 -2760 -2220 -2436 -2434 -2854 -2554 2982 -2498 -2340 -2388 -2468 -2622 -2742 -2544 -2942 -2590 -2960 -2232 -2356 -2412 -2940 -2982 -2948 -2772 -2990 -2752 2722 -2956 2220 -2648 -2646 -2866 -2926 2404 -2254 -2260 -2254 -2568 2706 -2792 -2234 -2296 2260 -2382 2940 -2996 2404 -2880 -2382 -2398 2458 -2706 -2450 -2330 -2900 -2808 -2860 -2374 -2492 -2678 -2682 -2884 -2344 2554 -2486 -2820 -2942 -2824 -2608 -2682 -2980 -2720 -2254 -2822 2220 -2860 -2432 -2290 2568 -2910 -2978 -2268 -2950 -2340 -2322 -2724 2996 -2876 -2260 -2960 -2634 2880 -2792 -2486 -2900 -2512 -2640 -2256 -2550 -2880 2946 -2588 -2982 2946 -2308 -2282 -2776 -2648 -2262 2814 2810 -2514 -2876 -2324 -2766 2924 -2532 -2812 2260 -2950 -2534 -2428 -2950 2298 -2312 -2284 -2790 -2246 -2570 -2792 -2940 2548 -2396 -2646 -2732 -2272 -2802 -2366 -2678 -2588 -2272 -2602 -2688 2680 -2772 -2554 -2494 -2996 -2756 -2690 -2496 -2594 -2594 2870 -2328 -2950 -2516 -2238 -2760 -2860 -2620 -2996 2640 -2536 -2276 -2976 -2650 -2290 -2454 -2970 -2252 -2830 2384 -2672 -2982 -2294 -2636 -2226 -2602 -2952 -2940 -2228 -2448 2248 -2260 2296 -2718 -2416 -2290 -2632 -2648 -2940 -2900 -2926 -2594 -2488 2344 2268 -2282 -2564 2826 -2862 -2488 -2876 -2290 -2866 -2938 2678 -2948 -2786 -2600 -2366 -2920 -2364 2996 -2240 -2748 -2888 -2956 -2274 -2982 -2996 -2872 -2276 -2864 2468 2578 -2646 2380 -2922 -2426 -2262 2260 -2990 -2254 2282 -2494 -2470 -2760 -2942 -2776 -2926 2260 -2288 -2220 -2642 -2830 -2810 -2680 -2776 -2926 -2996 -2910 2946 -2536 -2344 -2506 -2538 -2950 -2906 -2898 -2290 -2710 -2820 -2262 -2996 -2510 -2912 -2322 -2572 -2486 -2262 -2706 -2474 -2996 -2956 2912 -2670 -2648 -2460 2788 -2260 -2996 2654 -2954 -2264 -2950 2246 -2774 -2584 -2624 -2672 -2640 -2758 -2986 -2956 -2452 -2350 2732 -2832 -2334 -2416 -2650 -2910 -2484 -2650 -2226 -2256 -2796 -2738 -2446 -2524 -2924 -2920 -2290 -2976 2608 -2766 -2872 2250 -2682 -2952 -2684 -2900 -2514 -2444 -2894 2938 -2682 -2782 -2904 -2598 -2488 -2570 -2624 -2956 -2278 2248 2608 -2324 -2550 -2588 -2732 -2918 -2514 2648 -2860 -2722 -2314 -2230 2346 -2554 -2956 -2920 -2566 -2972 -2646 -2990 -2640 -2848 -2450 -2290 -2282 -2230 -2866 -2846 -2752 2388 -2746 -2558 -2364 -2396 -2246 -2640 -2944 -2790 2274 -2770 2874 -2542 -2604 -2370 -2872 -2364 -2454 -2266 -2380 -2594 -2636 -2682 -2420 -2324 -2838 -2856 -2790 -2770 -2270 -2638 -2854 -2840 2880 -2980 -2252 -2688 -2666 -2906 -2890 -2862 -2680 -2590 -2980 -2900 -2260 -2290 -2956 -2352 -2492 -2554 -2260 2988 -2250 -2720 -2744 -2372 -2680 -2280 -2244 -2550 -2876 -2944 -2634 -2724 -2648 -2766 -2250 -2364 -2606 -2996 -2946 -2338 -2386 -2644 -2784 -2942 -2942 -2872 -2384 -2404 -2592 -2276 -2578 -2544 -2982 -2502 -2566 2992 -2352 -2978 -2250 -2606 -2622 -2608 -2250 -2484 -2956 -2556 -2744 -2732 -2690 -2924 -2576 -2938 -2982 -2988 -2578 2634 2794 -2682 -2828 -2648 -2738 -2646 -2318 -2510 -2302 -2982 2296 -2916 -2602 -2672 -2660 -2870 -2250 -2770 -2366 -2820 -2796 2808 -2748 -2996 -2940 -2956 -2540 -2478 -2554 -2376 -2274 -2942 -2688 -2996 -2984 -2692 2994 -2898 -2570 -2284 -2690 -2904 -2790 -2550 2736 -2568 -2514 -2810 -2996 -2902 -2646 -2910 2720 -2904 -2980 -2982 -2732 -2304 -2292 -2358 -2882 -2588 -2950 -2896 -2722 -2632 -2476 2284 -2644 -2420 -2990 2918 -2830 -2956 -2762 -2680 -2686 -2634 -2298 -2892 2702 -2220 -2750 -2912 2644 2402 -2938 -2876 -2856 -2812 -2902 -2876 -2500 -2258 -2716 -2712 -2948 -2410 -2530 -2704 2276 -2746 -2876 -2806 -2894 -2426 -2474 -2830 2906 -2270 -2514 -2232 -2550 -2556 -2244 -2830 2946 -2762 -2290 -2720 -2498 -2762 -2806 -2728 -2876 -2600 2362 -2942 -2454 2700 -2500 -2692 2816 -2872 -2940 -2358 -2768 -2664 -2594 -2982 -2744 -2574 -2234 -2268 -2680 -2944 -2618 -2390 -2702 -2888 -2554 -2630 -2246 2266 2632 2406 -2980 -2746 -2764 -2582 -2610 -2660 -2582 -2606 -2512 -2722 -2816 -2836 -2956 -2366 -2272 -2280 -2860 -2732 -2776 -2288 -2978 -2280 -2944 -2720 -2872 -2840 -2942 -2590 -2354 2228 2934 -2622 2724 -2860 -2880 -2250 -2894 -2302 -2770 -2768 -2478 -2960 -2994 -2938 -2870 -2406 -2984 -2582 -2352 -2794 -2906 -2290 -2364 -2744 -2270 -2680 -2624 -2546 2548 -2290 -2506 2262 -2916 -2440 2346 -2266 -2416 -2222 -2366 -2988 -2582 -2278 -2230 -2680 -2942 -2562 -2514 2542 -2952 -2754 -2814 -2946 -2406 -2384 -2442 -2820 -2720 -2280 -2564 2950 -2860 -2292 -2942 -2242 2904 -2328 -2264 -2982 -2928 2698 -2680 -2820 -2668 -2882 2286 2854 -2860 -2254 -2260 -2536 -2220 2866 -2996 -2238 -2960 -2648 2988 -2440 -2990 2558 -2426 -2956 -2652 -2552 -2262 -2384 -2446 -2292 2674 -2900 -2730 -2420 -2830 -2378 -2996 2908 -2324 -2902 -2470 2836 2820 -2956 -2760 -2718 -2368 -2446 2408 -2220 -2352 -2944 -2292 -2784 -2256 -2864 -2590 -2402 -2458 -2582 -2990 -2512 2400 -2640 2564 -2860 -2996 2298 -2996 -2856 -2704 -2610 -2274 -2938 -2266 2228 -2286 -2300 -2944 -2406 -2406 -2524 -2512 -2236 -2870 -2606 2490 -2988 2226 2536 -2502 -2982 -2938 -2350 -2634 2434 2762 -2312 -2862 -2524 -2926 -2504 -2226 -2298 -2950 -2674 -2732 -2706 -2220 -2916 -2880 -2256 -2286 -2728 2240 -2512 -2882 -2824 -2770 2840 -2436 -2366 2690 -2762 -2684 -2646 -2632 2260 -2606 -2598 2662 -2296 -2572 -2642 -2818 -2996 -2646 -2682 -2262 -2940 -2424 -2364 -2930 -2650 -2224 -2350 -2860 -2646 -2830 2986 -2924 -2626 -2996 2322 2282 -2584 -2446 2702 -2754 -2628 -2936 -2424 -2550 -2640 2608 -2690 -2532 -2380 -2242 -2312 -2380 -2294 -2636 2424 -2594 -2472 -2788 -2916 -2458 2792 -2982 -2916 -2830 -2388 -2688 -2954 -2900 -2996 -2340 -2948 -2752 2602 -2452 -2220 -2692 -2492 -2288 -2830 -2220 -2904 -2356 -2260 -2390 -2942 -2384 -2270 2554 -2580 -2946 -2904 -2982 -2934 -2328 -2662 -2220 -2996 -2230 -2944 -2344 -2640 2424 -2340 -2560 2848 -2942 -2242 -2948 -2514 2594 -2796 -2722 -2848 -2936 -2296 -2762 -2942 2284 -2956 -2958 -2578 -2580 -2446 2398 -2982 2906 -2950 -2220 -2956 2912 -2404 -2952 -2942 -2354 2928 -2756 -2268 2496 -2920 -2402 -2544 -2226 -2380 2640 -2716 -2860 -2620 -2920 -2482 2276 -2934 -2588 -2494 2266 -2902 -2576 -2290 -2946 -2554 2698 2546 2554 -2512 -2920 -2640 -2538 -2290 -2376 -2736 -2926 -2706 -2820 -2242 -2682 -2956 2638 -2466 -2978 -2900 -2940 -2588 2220 2632 -2320 -2234 2510 -2232 -2438 -2478 -2420 -2262 -2774 -2646 2432 -2230 -2720 -2996 -2446 -2692 -2390 2712 -2548 -2264 -2498 -2524 -2550 -2722 -2960 -2956 -2804 -2518 -2508 -2550 -2752 2954 -2608 -2224 -2840 -2720 -2806 -2842 2476 2394 -2664 -2822 -2692 2972 2526 -2642 -2980 -2688 -2724 -2820 -2940 2360 -2910 -2910 -2904 -2692 2976 2810 2282 2432 2724 -2296 2590 -2980 -2240 -2570 -2618 -2334 -2974 -2220 -2902 -2238 -2224 2236 -2446 2704 -2770 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2878 -2982 -2918 -2324 -2510 -2480 -2288 -2324 -2352 2858 -2950 -2246 -2906 -2758 2434 -2934 -2860 -2270 -2550 -2634 2290 -2984 -2420 -2264 -2346 -2342 -2682 -2646 -2954 -2904 -2256 -2380 -2918 -2446 -2888 -2708 -2624 -2220 -2946 -2224 -2814 -2642 -2980 -2346 -2680 2222 -2516 2860 -2524 2574 2658 -2628 -2990 -2866 -2570 2352 -2418 2220 2668 -2348 -2850 -2778 -2682 -2994 -2650 -2504 -2708 -2766 -2528 -2260 2260 -2864 -2264 -2294 -2776 2366 -2946 -2980 -2706 -2322 -2968 2472 -2394 -2448 -2422 -2768 2286 -2498 -2932 -2726 -2522 -2784 -2938 -2938 -2842 -2618 -2662 -2440 -2768 -2606 -2536 -2922 2750 -2698 -2720 -2916 2754 -2942 -2450 -2588 -2760 -2274 2380 -2224 -2590 2966 -2900 -2820 -2754 2272 -2810 2560 -2590 -2420 -2446 -2874 -2950 -2648 -2630 2304 -2380 -2852 -2898 -2440 -2346 -2406 2938 -2752 -2406 -2722 -2472 -2692 -2504 -2950 -2678 -2710 2840 -2616 -2750 -2940 2730 -2676 -2330 -2974 -2784 2396 -2334 -2870 -2272 -2532 -2846 -2880 -2348 -2582 -2958 -2640 -2776 -2686 2570 2586 -2538 2402 -2386 -2366 -2278 -2406 -2858 -2768 -2240 -2724 -2936 -2574 2408 2508 -2674 -2830 -2722 -2920 -2672 -2366 -2344 -2790 -2720 -2384 -2582 2762 -2702 -2484 2684 -2258 -2688 2684 2906 2796 -2918 -2446 -2242 -2950 2496 -2356 -2442 -2632 2752 -2732 -2632 -2808 2220 -2416 -2836 2576 -2708 -2514 -2942 2364 -2260 -2876 -2298 -2568 -2580 -2980 -2408 -2648 2220 -2554 2226 -2638 -2980 2252 -2412 -2914 -2930 -2876 -2562 2232 -2366 -2392 2436 2234 -2648 -2648 2416 -2258 -2956 -2482 -2990 -2948 -2950 -2642 -2870 -2798 -2830 2816 -2904 -2830 2980 -2916 2898 -2450 -2402 -2302 -2602 -2282 2594 -2648 2716 -2966 2994 -2446 -2670 -2986 -2290 -2260 -2324 -2294 2228 -2278 -2856 -2728 -2264 -2914 -2856 -2826 -2950 -2274 -2920 -2938 -2648 -2312 -2968 -2644 -2490 -2646 -2732 -2858 -2938 2646 -2942 -2236 -2576 -2728 2344 -2948 -2894 -2560 -2990 2996 -2286 -2574 -2472 -2900 -2554 -2610 -2316 2608 -2522 -2704 -2672 -2578 2810 -2788 -2580 -2332 2964 2406 2316 -2452 -2234 -2270 -2922 -2642 -2452 -2302 -2480 -2292 -2608 2850 -2674 -2932 -2234 -2396 -2820 -2680 -2386 -2504 -2220 -2240 -2860 -2684 2420 -2354 -2390 -2474 -2416 -2996 -2676 -2902 -2584 -2920 -2670 -2454 -2760 -2408 -2274 -2498 -2912 -2222 -2288 -2612 -2778 -2956 -2572 -2850 -2904 -2648 -2452 -2920 -2722 -2366 -2794 -2338 2392 -2906 -2290 -2972 -2686 -2896 2490 -2222 -2330 -2600 -2840 2664 -2452 -2902 -2336 -2820 -2862 -2986 -2226 -2554 -2820 -2944 2554 -2634 -2798 2402 -2666 2266 2278 2448 -2732 -2946 -2582 2240 -2934 -2254 -2876 2236 -2494 -2552 -2774 -2320 -2794 -2322 -2640 -2608 -2982 -2448 -2368 -2970 -2250 -2980 -2966 -2232 -2850 -2692 -2944 -2514 -2622 -2344 2838 -2406 -2642 -2904 -2942 2438 -2956 -2336 2478 2274 -2788 -2624 -2584 -2294 2576 -2498 -2298 -2486 -2616 -2282 -2976 2910 -2996 -2950 -2330 -2406 -2950 -2918 -2932 -2614 2262 -2474 -2584 -2590 -2648 -2516 -2898 -2904 -2794 -2952 -2906 -2948 -2766 -2376 -2774 -2548 -2820 -2898 2380 -2816 -2728 -2396 -2294 -2750 -2460 -2940 -2886 -2870 -2704 2428 -2606 2938 2826 2944 2748 -2760 -2846 2678 -2220 -2638 2822 -2870 2810 -2446 -2480 -2988 -2882 -2242 -2820 -2992 -2260 -2678 -2234 -2934 -2482 -2320 2672 2332 -2594 -2814 2952 -2670 -2334 -2772 2234 -2936 2294 -2720 -2798 -2368 2580 -2764 2450 -2404 -2270 -2690 -2508 -2514 -2296 -2618 -2292 -2920 -2944 -2236 -2938 2278 -2982 -2238 -2464 -2860 -2900 -2250 -2810 -2886 -2272 -2680 -2576 -2260 -2948 -2380 -2690 -2226 -2586 -2400 2684 -2810 -2942 2684 -2906 -2628 -2764 -2820 -2242 -2620 -2806 -2916 -2386 -2478 -2538 -2432 -2990 2326 -2636 -2736 -2752 -2578 -2786 -2782 -2662 -2368 2274 -2366 -2486 -2718 -2230 -2250 -2258 -2486 2220 2820 2932 -2942 -2278 -2874 -2578 -2446 -2722 -2996 -2802 -2966 -2222 -2220 -2364 -2944 -2472 2876 2472 -2956 -2950 -2442 2948 -2946 -2676 -2282 -2226 -2536 2864 -2550 -2950 -2442 -2488 -2258 -2476 -2620 -2562 -2394 -2860 -2314 2440 -2990 -2436 -2386 -2224 -2520 -2312 -2272 -2480 -2438 -2950 -2348 -2858 -2876 -2254 2644 2706 -2692 -2900 -2718 -2690 -2904 -2978 -2956 -2842 -2594 -2996 2988 -2990 2494 -2990 -2784 -2482 -2250 2900 -2300 -2862 2554 2440 2978 -2238 -2590 -2534 -2996 -2722 2442 -2380 -2986 -2944 -2738 -2940 -2510 -2744 -2244 -2294 -2940 -2900 -2850 -2356 -2452 -2944 -2562 2966 -2990 -2514 2288 -2934 -2906 2304 -2940 -2860 -2544 -2692 -2530 -2530 -2860 -2746 2808 -2904 -2898 -2396 2386 -2982 2724 -2606 -2494 -2666 -2888 -2944 -2826 2978 -2760 -2898 -2638 -2818 -2638 -2406 -2370 2322 -2260 -2364 2288 2788 -2732 -2438 2300 -2298 2634 -2328 -2550 -2266 2430 -2924 -2270 -2346 -2780 2996 -2606 -2846 2402 -2366 -2606 -2514 -2900 -2238 -2286 -2944 2516 -2982 -2606 -2880 -2314 -2790 -2850 2294 2260 -2448 -2738 2954 -2250 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2278 -2860 -2250 -2336 -2956 -2534 -2436 -2942 -2924 -2872 -2910 2354 2654 -2818 -2778 -2898 -2280 -2488 2534 -2940 -2720 -2220 2744 -2682 -2608 -2662 -2958 2274 -2852 -2490 -2952 -2278 -2608 -2348 -2650 -2860 -2492 -2600 -2446 -2966 -2912 -2752 -2988 -2918 -2492 -2296 -2692 -2376 -2960 2680 -2456 -2788 -2682 -2524 -2308 -2554 -2738 -2284 -2230 -2242 -2480 -2738 -2422 -2990 -2352 2666 -2982 -2860 -2942 -2446 -2792 -2650 -2434 -2444 -2942 -2830 -2330 2662 -2422 -2692 -2912 2836 -2408 -2504 2244 -2864 2704 2260 -2466 2632 -2980 -2960 -2640 -2568 -2722 -2848 -2480 -2968 -2594 -2330 -2226 -2806 -2778 -2718 -2434 -2308 -2496 -2918 2976 -2732 -2814 2230 -2910 -2974 -2608 -2956 2936 -2562 -2490 -2508 -2668 -2286 -2428 -2956 -2492 -2754 -2922 2242 2404 -2278 -2966 2926 -2338 -2556 -2622 -2810 -2650 -2728 -2752 -2938 -2560 -2774 -2956 -2940 -2704 -2934 -2818 -2942 -2722 2228 2734 -2982 -2860 -2438 -2862 -2724 -2346 -2324 -2634 -2468 -2262 -2220 -2298 -2306 -2490 -2860 -2330 -2534 -2596 -2548 -2504 -2682 -2980 -2508 -2588 2856 -2248 -2556 2316 -2586 -2720 -2598 -2554 -2904 -2306 -2628 2610 -2580 -2990 -2548 -2296 -2648 -2928 2684 -2250 2236 -2668 -2222 -2366 -2744 -2792 -2604 -2474 -2800 2584 -2638 -2920 -2940 -2458 -2474 -2916 2556 -2270 -2964 -2582 -2942 2480 -2770 2696 -2678 -2646 -2452 2288 2934 -2956 -2312 -2936 -2394 2878 -2808 -2444 -2710 -2334 -2562 -2602 -2956 2748 -2248 -2392 2848 -2790 -2284 -2536 -2824 2314 2220 2282 -2744 -2424 -2406 -2720 -2878 -2996 -2722 -2450 -2928 -2688 -2366 -2908 2820 -2428 -2580 -2996 -2270 -2680 -2680 2784 -2468 -2280 -2528 -2316 -2904 -2364 -2956 -2956 -2296 -2684 -2996 2440 -2420 -2644 -2256 -2672 -2264 2948 -2732 -2282 -2950 -2324 -2860 -2810 -2702 -2862 -2268 -2854 -2508 -2922 -2394 -2916 -2944 2648 -2708 -2850 -2260 -2876 -2510 -2916 -2688 -2250 2744 -2290 -2494 -2290 -2242 -2260 2390 -2790 -2724 -2920 -2302 -2688 -2436 -2442 2314 -2958 2380 -2290 -2508 2516 -2538 -2220 2732 -2902 -2272 -2904 -2516 -2630 -2498 2558 -2980 -2316 -2406 2714 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2648 -2536 -2942 -2830 -2640 -2448 -2248 -2420 2666 -2566 -2908 -2688 -2636 -2406 -2286 -2960 -2932 -2260 -2904 -2318 -2854 -2732 2634 2364 2354 2932 -2940 -2680 -2780 -2434 -2528 2372 -2698 -2290 -2488 -2256 -2606 2932 -2916 -2230 -2692 -2664 -2330 -2942 -2768 -2492 -2980 2962 -2956 -2980 -2564 -2244 2918 -2282 -2550 -2634 -2748 -2484 2236 2346 2702 2706 -2668 -2444 -2312 2598 -2944 -2522 -2260 2246 -2220 -2608 -2946 -2648 -2646 -2746 -2942 -2782 -2974 -2958 -2220 -2984 -2816 -2490 -2736 -2720 -2704 -2810 -2434 -2460 -2902 2738 -2854 -2292 
261.91	d NODES 0
261.91	d CHECKS 97907980
261.91	   
261.91	   totalWckTime=261.585  totalCpuTime=258.61

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/node33/watcher-209522-1168193027 -o ROOT/results/node33/solver-209522-1168193027 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209522-1168193027/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: 2.21 2.30 2.04 4/81 12475
/proc/meminfo: memFree=731456/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=906644 CPUtime=0.02
/proc/12474/stat : 12474 (java) S 12472 12474 11987 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 167696545 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 226661 1817 1036 14 0 214244 0
[pid=12474/tid=12476] ppid=12472 vsize=906644 CPUtime=0
/proc/12474/task/12476/stat : 12476 (java) R 12472 12474 11987 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 167696548 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104757 s]
/proc/loadavg: 2.21 2.30 2.04 4/81 12475
/proc/meminfo: memFree=731456/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=907808 CPUtime=0.05
/proc/12474/stat : 12474 (java) D 12472 12474 11987 0 -1 0 2456 0 1 0 4 1 0 0 16 0 4 0 167696545 929595392 2203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 226952 2203 1214 14 0 214535 0
[pid=12474/tid=12476] ppid=12472 vsize=907808 CPUtime=0
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 6 0 0 0 0 0 0 0 18 0 4 0 167696548 929595392 2203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23755 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.512839 s]
/proc/loadavg: 2.21 2.30 2.04 4/81 12475
/proc/meminfo: memFree=731456/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915328 CPUtime=0.41
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 5995 0 1 0 37 4 0 0 18 0 8 0 167696545 937295872 5734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153576366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228832 5734 2111 14 0 215302 0
[pid=12474/tid=12476] ppid=12472 vsize=915328 CPUtime=0
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 167696548 937295872 5734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.33601 s]
/proc/loadavg: 2.21 2.30 2.04 3/88 12482
/proc/meminfo: memFree=639432/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915596 CPUtime=1.22
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 30597 0 1 0 105 17 0 0 23 0 8 0 167696545 937570304 30334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228899 30334 2160 14 0 215369 0
[pid=12474/tid=12476] ppid=12472 vsize=915596 CPUtime=0.14
/proc/12474/task/12476/stat : 12476 (java) R 12472 12474 11987 0 -1 64 14054 0 0 0 8 6 0 0 16 0 8 0 167696548 937570304 30334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11987 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167696549 937570304 30334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167696549 937570304 30334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11987 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167696562 937570304 30334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915596 CPUtime=0.18
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11987 0 -1 64 409 0 0 0 17 1 0 0 15 0 8 0 167696562 937570304 30334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167696562 937570304 30334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167696562 937570304 30334 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) 915596

[startup+2.98935 s]
/proc/loadavg: 2.21 2.30 2.04 3/88 12482
/proc/meminfo: memFree=605896/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915596 CPUtime=2.87
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 35270 0 1 0 267 20 0 0 25 0 8 0 167696545 937570304 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073618611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228899 35002 2160 14 0 215369 0
[pid=12474/tid=12476] ppid=12472 vsize=915596 CPUtime=0.37
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 18719 0 0 0 29 8 0 0 16 0 8 0 167696548 937570304 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11987 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167696549 937570304 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167696549 937570304 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11987 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167696562 937570304 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915596 CPUtime=0.18
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11987 0 -1 64 412 0 0 0 17 1 0 0 16 0 8 0 167696562 937570304 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167696562 937570304 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915596 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167696562 937570304 35002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915596

[startup+6.27502 s]
/proc/loadavg: 2.27 2.31 2.04 3/88 12482
/proc/meminfo: memFree=594888/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915732 CPUtime=6.14
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 36416 0 1 0 592 22 0 0 25 0 8 0 167696545 937709568 36145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228933 36145 2180 14 0 215403 0
[pid=12474/tid=12476] ppid=12472 vsize=915732 CPUtime=0.46
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 19791 0 0 0 38 8 0 0 16 0 8 0 167696548 937709568 36145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11987 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 36145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 36145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11987 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167696562 937709568 36145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915732 CPUtime=0.2
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11987 0 -1 64 423 0 0 0 19 1 0 0 15 0 8 0 167696562 937709568 36145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167696562 937709568 36145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167696562 937709568 36145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915732

[startup+12.7614 s]
/proc/loadavg: 2.25 2.30 2.04 3/88 12482
/proc/meminfo: memFree=595016/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915732 CPUtime=12.6
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 36419 0 1 0 1238 22 0 0 25 0 8 0 167696545 937709568 36147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228933 36147 2180 14 0 215403 0
[pid=12474/tid=12476] ppid=12472 vsize=915732 CPUtime=0.46
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 19791 0 0 0 38 8 0 0 16 0 8 0 167696548 937709568 36147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11987 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 36147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 36147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11987 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167696562 937709568 36147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915732 CPUtime=0.2
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11987 0 -1 64 425 0 0 0 19 1 0 0 16 0 8 0 167696562 937709568 36147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167696562 937709568 36147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167696562 937709568 36147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915732

[startup+25.616 s]
/proc/loadavg: 2.19 2.29 2.04 3/88 12482
/proc/meminfo: memFree=595144/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915732 CPUtime=25.39
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 36433 0 1 0 2517 22 0 0 25 0 8 0 167696545 937709568 36161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228933 36161 2181 14 0 215403 0
[pid=12474/tid=12476] ppid=12472 vsize=915732 CPUtime=0.46
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 19791 0 0 0 38 8 0 0 16 0 8 0 167696548 937709568 36161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11987 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 36161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 36161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11987 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167696562 937709568 36161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915732 CPUtime=0.22
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11987 0 -1 64 438 0 0 0 21 1 0 0 15 0 8 0 167696562 937709568 36161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167696562 937709568 36161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167696562 937709568 36161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915732

[startup+51.2243 s]
/proc/loadavg: 2.12 2.26 2.04 3/88 12482
/proc/meminfo: memFree=595144/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915732 CPUtime=50.87
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 36435 0 1 0 5064 23 0 0 25 0 8 0 167696545 937709568 36163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228933 36163 2181 14 0 215403 0
[pid=12474/tid=12476] ppid=12472 vsize=915732 CPUtime=0.46
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 19791 0 0 0 38 8 0 0 16 0 8 0 167696548 937709568 36163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11987 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 36163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 36163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11987 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167696562 937709568 36163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915732 CPUtime=0.22
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11987 0 -1 64 440 0 0 0 21 1 0 0 16 0 8 0 167696562 937709568 36163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167696562 937709568 36163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167696562 937709568 36163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915732

[startup+102.437 s]
/proc/loadavg: 2.05 2.22 2.03 3/88 12482
/proc/meminfo: memFree=589064/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915732 CPUtime=101.83
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 37980 0 1 0 10158 25 0 0 25 0 8 0 167696545 937709568 37705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228933 37705 2181 14 0 215403 0
[pid=12474/tid=12476] ppid=12472 vsize=915732 CPUtime=0.53
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 21332 0 0 0 44 9 0 0 16 0 8 0 167696548 937709568 37705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11987 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 37705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 37705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11987 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167696562 937709568 37705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915732 CPUtime=0.22
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11987 0 -1 64 441 0 0 0 21 1 0 0 16 0 8 0 167696562 937709568 37705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167696562 937709568 37705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167696562 937709568 37705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 915732

[startup+162.51 s]
/proc/loadavg: 2.06 2.19 2.03 3/80 12519
/proc/meminfo: memFree=903184/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915732 CPUtime=161.77
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 39473 0 1 0 16146 31 0 0 25 0 8 0 167696545 937709568 39196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12474/statm: 228933 39196 2181 14 0 215403 0
[pid=12474/tid=12476] ppid=12472 vsize=915732 CPUtime=0.6
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 22817 0 0 0 50 10 0 0 16 0 8 0 167696548 937709568 39196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11987 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 39196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167696549 937709568 39196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11987 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167696562 937709568 39196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915732 CPUtime=0.23
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11987 0 -1 64 447 0 0 0 22 1 0 0 15 0 8 0 167696562 937709568 39196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167696562 937709568 39196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915732 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167696562 937709568 39196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 915732

[startup+222.604 s]
/proc/loadavg: 2.02 2.15 2.03 3/80 12519
/proc/meminfo: memFree=302672/2055920 swapFree=4192224/4192956
[pid=12474] ppid=12472 vsize=915876 CPUtime=221.8
/proc/12474/stat : 12474 (java) R 12472 12474 11987 0 -1 0 98777 0 1 0 22125 55 0 0 25 0 8 0 167696545 937857024 98428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074200570 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12474/statm: 228969 98428 2545 14 0 215439 0
[pid=12474/tid=12476] ppid=12472 vsize=915876 CPUtime=1.83
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11987 0 -1 64 81531 0 0 0 153 30 0 0 16 0 8 0 167696548 937857024 98428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915876 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11987 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167696549 937857024 98428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915876 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11987 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167696549 937857024 98428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915876 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11987 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167696562 937857024 98428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915876 CPUtime=0.37
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11987 0 -1 64 563 0 0 0 36 1 0 0 15 0 8 0 167696562 937857024 98428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915876 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167696562 937857024 98428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915876 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11987 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167696562 937857024 98428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.8
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 261.985
CPU time (s): 261.131
CPU user time (s): 260.479
CPU system time (s): 0.6519
CPU usage (%): 99.674
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.479
system time used= 0.6519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98801
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= 7120
involuntary context switches= 9927

runsolver used 0.341948 s user time and 0.805877 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Sun Jan  7 18:03:47 UTC 2007


IDJOB= 209522
IDBENCH= 4522
FILE ID= node33/209522-1168193027

PBS_JOBID= 3479366

Free space on /tmp= 66466 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b07ce052ad688d2d8eab94bfaa2539d4

RANDOM SEED= 200827407

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.281
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.281
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:        731872 kB
Buffers:         43420 kB
Cached:         567792 kB
SwapCached:        448 kB
Active:         797584 kB
Inactive:       458724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        731872 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:           10412 kB
Writeback:           0 kB
Mapped:         661140 kB
Slab:            51660 kB
Committed_AS:  3696668 kB
PageTables:       3308 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= 66543 MiB



End job on node33 on Sun Jan  7 18:08:09 UTC 2007