Trace number 209459

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 65.728 65.9151

DiagnosticValue
CHECKS95592667
NODES3002

General information on the benchmark

Namefapp/fapp26-30/fapp30/
fapp30-3000-7.xml
MD5SUM1e9ece2bf17be80b7c0001a71bf985ca
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 benchmark65.728
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.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=mac.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/209459-1168074934/unknown.xml
0.43	   
0.43	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.95	     nbVariables=3000  nbDomainTypes=21  minDomainSize=86  maxDomainSize=778
0.95	       =>  wckTime=0.584  cpuTime=0.41  mem=60M667
0.95	   
0.95	   predicates being loaded...
0.96	   
0.96	   constraints being loaded...
4.94	   
4.95	   INFO : Stopping converting binary constraints (cpu=4.08, mem = 74M837)
7.85	     nbConstraints=33301  nbMergedConstraints=29903  nbConvertedConstraints=7  nbConvertConstraintsChecks=3657332
7.85	     nbExtensionStructures=7  nbSharedExtensionStructures=0  nbConflictsStructures=7  nbSharedConflictsStructures=0
7.85	     nbSharedBinaryRepresentations=8291  nbEvaluationManagers=3646  nbSharedEvaluationManagers=29648  maxDegree=59
7.85	     maxArity=2
7.85	       =>  wckTime=7.485  cpuTime=6.37  mem=109M961
8.12	   
8.12	   solver IterativeSystematicSolver being built... 
9.32	       =>  wckTime=8.944  cpuTime=7.04  mem=342M985
60.73	   
60.73	   preprocessing
60.73	     nbConstraintChecks=94308467  nbValidityChecks=1826234  nbPropagations=3842  nbRevisions=106399
60.73	     nbUselessRevisions=95201  nbRemovedValues=1861547  detectedInconsistency=no
60.73	       =>  wckTime=51.367  cpuTime=51.3  mem=342M985
65.82	   
65.82	   search
65.82	     run=0  nbConstraintChecks=1284200  nbValidityChecks=1812080  nbPropagations=10933  nbRevisions=216467
65.82	     nbUselessRevisions=199455  nbAssignments=3002  nbFailedAssignments=2  nbBacktracks=0  nbVisitedNodes=3005
65.82	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=2319
65.82	       =>  wckTime=56.46  cpuTime=56.33  mem=359M170
65.82	   
65.82	   global
65.82	     nbConstraintChecks=95592667  nbValidityChecks=3638314  nbPropagations=14775  nbRevisions=322866
65.82	     nbUselessRevisions=294656  nbRestartNogoods=0  solvingWckTime=56.463  solvingCpuTime=56.34  expiredTime=no
65.82	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=63.47
65.82	       =>  wckTime=65.452  cpuTime=63.42  mem=359M170
65.82	   
65.82	s SATISFIABLE
65.82	v -2996 -2296 2876 -2342 -2676 -2348 -2646 -2982 -2942 -2704 -2376 -2654 -2226 -2608 -2224 -2486 -2732 -2990 2440 -2866 -2262 -2950 -2360 -2996 -2394 -2816 -2510 -2536 -2760 -2760 -2366 -2286 -2512 -2848 -2276 -2308 -2814 -2336 -2252 2278 -2940 -2442 -2590 -2232 -2960 -2268 2892 -2608 -2776 -2768 -2860 -2424 2476 -2936 2382 -2496 -2846 -2424 -2474 2510 -2892 -2956 -2938 -2638 -2956 -2622 -2966 -2414 2648 -2454 -2250 -2948 2238 -2790 -2256 2402 2268 -2576 -2808 2980 -2928 -2230 -2926 -2476 -2250 -2482 -2692 2640 -2602 -2298 2598 -2406 -2748 -2282 2326 -2848 -2688 -2588 -2896 -2960 -2246 -2602 -2262 -2588 -2608 -2478 2630 2692 -2282 -2646 -2466 -2860 2266 -2640 -2898 -2756 -2592 -2436 -2224 -2386 -2598 -2872 -2402 -2972 2488 -2474 -2622 -2616 -2406 -2688 2538 -2756 2774 -2600 2640 -2296 -2936 -2632 -2940 -2778 -2732 -2548 -2738 -2346 -2964 -2652 -2596 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2996 -2318 -2498 -2606 -2742 -2790 -2680 -2324 -2996 -2932 -2618 -2274 2402 -2656 -2464 2336 -2238 -2732 -2648 -2642 -2900 -2808 2404 -2950 -2820 -2750 2956 -2522 -2916 2936 -2950 2716 -2536 -2788 -2912 -2408 -2952 -2816 -2848 2378 -2768 -2366 -2928 -2446 -2764 -2224 -2970 -2624 -2982 -2282 -2982 -2678 -2904 -2760 -2548 2810 -2900 -2580 -2238 -2440 -2630 -2812 -2860 -2310 -2382 -2960 -2514 -2640 -2338 -2684 -2854 -2566 -2222 -2846 -2936 -2392 2594 2592 -2520 2392 2548 -2964 -2606 -2762 -2878 -2406 -2600 -2330 -2440 -2930 2770 -2760 -2302 -2886 -2406 -2772 2686 -2860 -2668 -2454 2260 -2850 -2936 -2514 2274 2884 -2856 -2710 -2524 -2234 -2996 -2574 -2266 -2982 2810 2324 -2308 -2522 -2724 -2940 -2288 -2260 -2846 -2294 -2622 -2486 -2950 -2258 -2310 -2274 -2882 -2876 -2220 -2876 -2750 -2968 2536 -2330 -2502 2282 -2386 -2588 2260 -2982 -2330 -2584 -2790 -2980 -2940 -2284 -2438 2252 -2720 -2942 -2648 -2946 2682 -2492 -2692 2936 -2220 -2766 -2514 -2476 -2398 -2266 -2888 -2662 -2944 -2238 2564 -2336 -2858 -2254 -2944 -2598 -2582 -2442 -2624 -2940 -2262 -2452 -2480 -2720 2892 -2292 2778 2232 -2646 -2606 -2374 -2974 -2260 -2384 -2928 2956 -2940 -2922 -2816 -2760 -2612 -2928 -2558 -2648 2246 -2880 -2264 -2470 -2406 -2950 -2948 -2388 -2446 -2314 -2350 -2738 -2894 -2636 2462 -2622 -2950 -2720 -2900 2286 -2260 -2246 -2620 -2730 2620 -2578 -2688 -2260 -2618 -2302 -2548 -2414 -2686 -2680 -2834 -2382 -2390 -2624 -2406 -2952 -2460 -2816 -2286 -2962 -2888 -2916 -2542 -2378 -2806 -2996 -2688 -2548 -2944 -2940 -2548 -2938 -2988 -2990 -2738 -2916 -2966 -2994 2240 -2598 -2804 -2416 -2738 -2748 -2996 -2264 -2932 -2764 2774 2272 -2820 -2260 -2622 -2248 -2676 -2896 -2538 2898 -2530 -2268 -2560 -2910 -2710 -2860 -2852 -2732 -2924 -2898 -2806 -2608 -2316 -2728 -2792 -2466 -2824 -2996 -2246 -2878 -2996 -2944 -2260 -2486 -2678 -2466 -2746 -2592 -2688 -2290 -2526 2330 -2646 -2942 -2916 -2320 -2876 2718 -2944 -2628 -2956 -2902 -2622 -2222 -2440 2430 -2366 -2514 -2940 -2360 -2904 -2978 -2514 -2554 -2644 -2368 -2812 -2688 -2860 -2892 -2398 -2958 -2640 -2486 -2838 -2258 2910 -2432 -2278 -2958 -2290 -2940 2594 -2640 -2864 2282 -2690 -2562 -2514 -2988 2764 -2566 -2486 -2638 -2996 -2836 -2904 -2982 2592 -2956 -2972 -2912 -2848 -2784 -2664 -2808 -2732 -2438 -2760 -2406 -2268 -2944 -2992 2990 -2278 -2976 -2710 -2648 -2956 -2436 -2918 -2992 -2344 -2278 2612 -2956 -2690 -2844 -2900 -2910 -2712 -2902 -2282 -2692 -2548 2840 2416 -2892 -2434 -2648 -2260 -2516 -2946 2426 -2294 -2278 -2290 -2242 2556 -2630 -2348 2530 -2978 -2664 -2908 -2706 -2426 -2330 -2892 -2976 -2730 -2548 2756 -2860 -2688 -2670 -2606 -2598 -2602 -2756 -2852 -2804 -2918 -2448 -2940 -2916 2884 -2508 -2406 2374 -2638 -2822 -2514 -2900 2676 -2296 -2222 -2830 -2316 -2312 -2386 -2896 -2308 -2804 -2366 -2764 -2466 -2616 -2862 -2640 2430 -2736 -2446 -2760 -2220 2436 -2434 -2852 -2554 2982 -2498 -2374 -2380 2466 -2622 -2742 -2544 -2942 -2618 -2960 -2244 2356 -2412 -2938 -2982 -2950 -2772 -2990 -2754 -2724 -2938 2220 -2666 -2646 -2862 -2926 -2400 -2252 -2956 -2254 -2644 -2706 -2794 -2234 -2296 2260 -2384 2936 -2996 -2402 -2880 -2382 -2402 2456 -2706 -2468 -2328 -2898 -2808 -2860 -2390 -2486 -2678 -2680 -2884 2344 -2554 -2486 -2818 -2942 -2824 -2606 -2680 -2980 -2730 -2254 -2822 2220 -2860 -2432 -2290 2562 -2910 2976 -2268 -2950 -2374 -2326 -2726 2996 -2876 -2260 -2960 -2634 2880 -2792 -2486 -2900 -2704 -2632 -2256 -2550 -2878 -2946 -2576 2982 2946 -2306 -2286 -2776 -2648 -2262 2732 2814 -2514 -2876 2324 -2766 2924 -2530 -2812 2260 -2950 -2536 2428 -2950 -2312 -2308 -2770 -2788 -2236 -2570 -2790 -2938 -2550 -2400 -2646 -2732 -2710 2800 -2366 -2678 -2588 -2270 -2602 -2688 2680 -2772 -2554 -2494 2996 -2756 -2690 -2496 -2592 -2594 2870 -2346 -2950 -2516 -2238 -2760 -2860 -2620 -2996 -2640 -2536 -2274 -2976 -2558 -2290 2454 -2970 -2250 -2830 -2384 -2670 -2982 -2294 -2636 -2224 -2602 -2918 -2940 -2228 -2446 2248 -2260 -2298 -2718 -2406 -2290 -2632 -2648 2940 -2900 -2906 -2594 -2486 -2344 -2272 -2282 2554 2826 -2860 -2488 -2876 -2290 -2866 -2938 2542 -2948 -2784 -2592 -2366 -2920 -2360 2996 -2276 -2756 -2888 -2956 -2288 -2982 -2996 -2872 -2278 -2864 -2468 -2578 -2646 -2384 -2922 -2426 -2260 -2274 -2990 2254 2280 -2494 -2468 -2760 -2938 -2778 -2906 2260 -2290 -2220 -2640 2830 -2808 -2680 2778 -2926 -2996 -2910 -2946 -2536 -2342 -2504 -2538 -2950 -2906 2898 -2290 -2700 -2820 2262 -2996 -2510 -2908 -2322 -2570 -2484 -2262 -2706 -2474 -2996 -2956 2912 -2670 -2648 -2464 2788 -2260 -2996 2652 -2956 2264 -2950 -2246 -2774 -2584 -2624 -2660 -2638 -2756 -2986 2956 -2444 -2340 -2732 -2832 -2338 2414 -2648 -2910 -2502 -2648 -2226 -2256 -2794 -2740 -2446 -2524 -2924 -2920 -2290 -2976 -2616 -2766 2872 2270 -2678 -2950 -2682 -2900 -2516 -2440 -2896 2938 -2544 -2782 -2904 -2598 -2486 -2570 -2622 -2956 -2276 2284 2612 -2322 -2548 -2588 -2732 -2910 -2514 2648 -2860 -2722 -2314 -2228 2338 -2554 -2956 -2920 -2558 -2940 -2646 -2990 -2640 -2848 -2448 -2290 -2282 2220 -2866 -2828 -2752 -2424 -2736 -2560 -2356 2820 -2246 -2640 -2944 -2790 2274 -2774 2874 2540 -2604 -2370 -2852 -2364 -2764 -2264 -2382 -2592 -2634 -2680 -2424 2316 -2838 -2856 -2790 -2770 -2260 -2638 -2852 -2840 -2882 -2980 -2250 -2688 2666 -2906 -2336 -2860 -2680 -2590 -2980 -2900 -2272 -2288 -2956 -2354 -2492 -2554 -2958 2990 -2250 -2720 -2744 -2390 -2680 -2316 -2972 -2548 -2876 -2944 -2576 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2946 -2338 -2386 -2640 -2786 -2942 -2942 -2872 -2384 -2436 -2618 2278 -2578 -2542 -2982 -2500 -2558 2994 -2348 2978 -2250 -2602 -2622 -2606 -2250 -2566 -2956 -2556 -2744 -2732 -2688 -2922 -2576 -2938 -2982 -2986 -2570 2650 2794 -2682 -2828 -2648 -2734 -2646 2320 -2508 2294 -2982 2298 -2916 -2600 -2690 -2662 -2870 -2250 -2770 -2366 -2820 -2794 -2808 -2748 -2990 -2938 -2956 -2620 -2482 -2554 -2376 -2272 -2942 -2688 -2996 -2984 -2692 2996 -2898 -2562 -2284 -2688 -2900 -2790 -2548 2738 -2576 -2514 -2810 -2996 -2900 -2646 2910 2718 -2904 -2980 -2982 -2732 -2302 2290 -2362 -2882 2576 -2950 -2896 -2720 2622 -2474 -2276 -2566 -2420 -2990 2918 -2830 -2956 -2760 -2680 -2684 -2632 -2298 -2892 2702 -2220 2752 -2912 -2642 2400 -2938 -2876 -2856 2812 -2900 -2876 -2500 -2260 -2724 -2712 -2946 -2410 2530 -2704 2278 -2746 -2876 -2806 -2892 2416 -2474 -2830 2906 -2270 -2704 -2220 -2552 -2556 -2236 -2830 2946 -2760 -2290 -2720 -2498 -2764 -2806 -2728 -2876 -2600 -2376 -2942 -2454 2702 -2498 -2692 -2824 -2868 -2940 -2364 -2768 -2672 -2594 -2982 -2744 -2572 -2234 -2268 -2680 -2944 -2702 -2388 -2702 -2886 -2554 2630 2246 2268 2650 -2402 -2980 -2744 -2772 -2582 -2602 -2652 -2582 -2598 -2512 -2720 2814 -2834 -2956 -2366 -2264 -2280 -2860 -2732 -2772 -2324 -2956 -2280 -2944 -2720 -2872 -2838 -2942 -2588 -2352 2228 -2934 2622 -2726 -2860 -2878 -2250 -2894 -2292 -2770 -2764 -2478 -2960 -2992 -2938 -2870 -2406 -2984 -2582 -2354 -2794 -2906 -2306 -2360 -2744 -2260 -2682 -2624 -2550 2546 -2288 -2504 2264 -2916 -2776 2338 -2266 2414 -2222 -2366 -2990 -2582 -2278 -2230 -2680 -2942 2562 -2514 -2540 -2952 -2754 2814 -2946 -2406 -2384 -2442 -2820 -2720 2280 -2564 2948 -2860 -2288 -2942 -2242 2996 -2326 -2282 -2982 -2924 -2698 -2680 -2820 -2684 -2346 2288 2856 -2858 2254 -2260 -2536 -2222 2866 -2996 -2238 -2960 -2652 2986 -2442 -2990 -2562 -2428 2956 -2648 -2664 -2264 -2384 -2446 -2290 2678 -2900 -2728 -2436 -2830 -2414 -2996 2888 -2324 -2900 -2550 2834 -2900 -2956 -2770 -2716 -2368 -2446 2424 -2234 -2352 -2944 -2292 -2780 -2268 -2860 -2588 -2400 -2460 -2582 -2990 2512 -2402 -2640 2562 -2860 -2996 -2298 -2976 -2864 -2704 -2608 -2262 -2938 -2266 -2244 -2286 -2312 -2944 -2406 -2406 -2524 -2510 -2234 -2870 -2606 -2490 -2988 -2228 2536 -2500 -2982 -2938 -2348 -2576 2432 -2764 -2308 -2862 2522 -2926 -2504 -2242 -2294 -2950 -2690 -2732 -2704 -2220 -2916 -2880 -2256 -2286 -2720 -2244 -2510 -2882 -2824 -2770 2920 2426 -2376 -2690 -2680 -2694 -2646 2620 -2956 -2606 -2596 -2650 -2296 -2566 -2642 -2818 -2992 -2646 -2680 -2262 -2940 -2422 -2358 -2924 2650 -2226 -2350 -2860 -2562 -2830 2986 -2924 -2626 -2996 -2322 -2282 -2582 -2446 -2692 -2764 -2660 -2936 -2424 -2548 -2640 2608 -2688 -2530 -2414 -2242 -2314 -2380 -2296 -2636 -2422 -2592 -2476 -2796 -2916 -2462 2794 -2982 -2916 -2830 -2390 -2692 -2952 -2898 -2996 -2338 -2948 -2754 -2600 -2454 -2220 -2692 -2488 -2288 -2832 -2996 -2904 -2356 2260 -2390 -2942 -2382 -2270 2556 -2580 -2944 -2904 -2980 -2934 -2332 -2662 -2234 -2996 -2230 -2944 -2344 -2638 -2428 -2338 2560 2848 -2942 -2242 -2950 -2514 2594 -2794 -2720 -2844 -2936 -2296 -2760 -2942 2286 2260 -2958 -2578 -2580 -2446 -2404 -2982 -2986 -2950 -2220 -2996 2892 -2324 -2950 -2942 -2388 2936 -2672 -2284 2496 -2918 -2398 -2542 -2226 -2382 2642 -2632 -2860 -2620 -2918 -2486 2274 -2932 -2588 -2496 2266 -2900 -2576 -2304 -2944 -2554 2698 2550 2554 -2516 -2920 -2632 -2538 -2290 -2374 -2736 -2926 2704 -2820 -2240 -2682 -2956 2656 -2464 -2978 -2898 -2940 -2588 2220 2632 -2320 -2232 2510 -2230 -2442 -2736 -2420 -2252 -2772 -2646 2432 -2220 -2720 -2996 -2446 -2692 -2380 2716 -2548 -2264 -2500 2524 -2548 -2724 2960 -2956 -2804 -2522 -2508 -2548 -2752 -2954 -2626 -2224 -2840 2720 -2806 -2384 -2476 -2390 -2672 -2824 -2692 2972 2524 -2640 -2980 -2688 -2732 -2820 -2940 2396 -2910 -2910 -2904 -2692 -2976 2810 2282 2440 -2714 -2296 2588 -2980 -2238 -2568 -2618 -2326 -2974 -2220 -2900 -2238 -2222 -2238 -2446 -2706 -2770 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2766 2870 -2982 -2918 -2324 -2512 -2478 -2288 -2320 -2272 2854 -2950 -2246 -2904 -2758 -2434 -2932 -2860 2260 -2550 -2632 2230 -2984 -2438 -2264 -2342 -2340 -2680 -2644 -2956 -2904 -2258 -2378 -2918 -2446 2888 -2708 -2624 -2220 -2944 -2224 -2814 -2640 -2980 -2346 -2680 2224 2506 -2860 -2522 2576 -2742 -2644 -2990 -2866 -2570 2354 -2454 -2220 2668 -2348 -2376 -2774 -2680 -2994 2648 -2502 -2706 -2766 -2526 -2262 -2262 2956 -2264 -2294 -2776 2384 -2946 -2980 -2706 2322 -2968 2472 -2394 -2768 -2426 -2760 -2286 -2498 -2932 -2726 -2522 -2784 -2938 -2938 -2840 -2610 -2662 -2438 2764 -2606 -2536 -2922 2750 -2700 -2720 -2916 2754 -2940 -2448 -2588 -2760 -2272 -2380 -2224 -2588 2966 2900 -2822 -2752 2284 -2810 2560 -2588 -2422 -2446 -2874 -2950 -2648 -2578 2304 -2414 -2852 -2898 -2440 -2382 -2406 -2938 -2754 -2404 -2720 2472 -2692 -2502 -2950 -2678 -2710 -2840 -2614 2740 -2940 2730 -2676 2328 -2974 -2780 2398 -2336 -2870 -2270 -2526 -2826 -2880 2348 -2582 -2958 -2640 -2778 -2686 2570 2590 -2538 -2400 -2422 -2366 -2278 -2424 -2858 -2768 -2240 -2724 -2936 -2566 2442 2510 -2536 -2830 -2720 -2922 -2670 -2366 -2344 -2790 -2722 -2388 -2580 -2760 -2694 -2484 2682 -2258 -2688 -2684 2904 2796 2918 -2446 -2242 -2950 -2498 -2352 2440 -2632 2750 -2732 -2630 -2804 2222 -2406 -2836 2576 -2708 -2514 -2942 -2364 -2260 -2876 -2918 -2646 -2580 -2980 -2406 -2648 2220 -2554 -2226 -2638 -2980 2252 -2414 -2914 2930 -2876 -2562 2250 -2366 -2400 -2434 2222 -2648 -2648 2416 -2258 2956 -2500 -2990 -2946 -2950 -2640 -2870 -2798 -2830 2816 -2904 -2828 2980 -2916 2894 -2468 -2416 -2294 -2600 -2282 2594 -2648 2716 -2946 -2996 -2446 2670 -2986 -2290 -2274 -2730 -2292 2228 -2278 -2856 -2728 -2264 -2914 -2864 -2822 -2952 -2274 -2920 -2936 -2666 -2312 -2968 -2642 -2490 -2646 -2732 -2856 -2938 -2562 -2942 -2238 -2574 -2726 -2344 -2928 -2892 2560 -2990 2996 -2286 -2576 2472 -2900 -2554 -2610 2318 2608 -2520 -2712 -2676 -2578 2808 -2788 -2578 -2328 -2964 -2406 2314 -2452 -2248 -2260 -2996 -2640 -2454 -2300 -2486 -2290 -2608 -2850 -2672 -2932 -2248 -2820 -2820 -2680 2376 -2504 -2220 -2276 -2860 -2682 2424 -2388 -2390 -2474 -2418 -2996 -2676 -2902 -2584 -2920 -2674 -2452 -2762 -2408 -2290 -2496 -2896 2220 -2288 -2608 -2774 -2956 -2570 -2850 -2904 -2646 -2444 -2920 -2722 -2366 -2790 -2330 2394 -2906 -2326 -2972 -2686 -2896 2492 -2222 -2330 -2592 -2840 2664 -2452 -2900 -2336 -2820 -2862 -2986 -2228 -2664 -2820 -2944 2554 -2632 -2796 2400 -2684 2266 2280 2448 -2732 -2946 -2582 2240 -2934 2254 -2876 -2238 -2724 -2552 -2772 2312 2792 -2322 -2654 -2602 -2982 -2446 -2384 -2964 -2286 -2980 -2946 -2224 -2848 -2692 -2944 -2514 -2622 -2344 2838 -2406 -2566 -2904 -2942 -2776 -2956 -2338 2482 2278 -2788 -2622 -2584 -2308 2576 -2498 -2290 -2486 -2614 -2282 -2976 2908 -2228 -2948 -2330 -2406 -2950 -2306 -2932 -2612 -2254 -2466 -2582 -2588 -2652 2516 -2898 -2904 -2794 -2952 -2906 -2946 -2766 -2366 -2774 -2550 -2820 -2898 2378 -2824 -2728 -2400 -2294 -2750 -2458 -2940 -2868 2870 -2712 2464 -2606 -2938 2822 2942 -2748 -2760 -2846 2678 -2996 -2638 -2824 -2870 2810 -2446 -2480 -2986 -2882 -2242 -2820 -2992 -2260 -2678 -2232 -2934 2482 -2322 -2662 2350 -2594 2816 -2952 -2670 -2326 -2772 -2238 -2936 -2290 -2720 -2798 -2366 2578 -2764 2452 -2404 -2268 -2688 -2510 -2514 -2308 -2610 -2290 -2920 -2944 -2238 -2938 2278 -2982 -2238 -2464 2860 -2900 -2250 -2810 -2886 -2272 -2694 -2576 -2294 -2948 -2378 -2688 -2226 -2586 -2436 2682 -2810 -2942 2684 2906 2616 -2772 -2820 -2244 -2620 -2806 -2916 -2420 -2478 -2538 -2432 -2990 2326 -2636 -2738 -2830 -2578 -2776 2784 -2654 -2366 2288 -2366 -2486 -2716 -2232 -2250 -2254 -2486 -2220 -2820 -2932 -2942 -2278 -2876 -2570 -2444 -2722 -2996 -2804 -2966 2222 -2220 -2364 -2944 -2472 2876 2470 -2956 -2950 -2442 -2950 -2946 -2676 -2282 -2226 -2536 2860 2548 2948 -2446 -2486 -2272 -2476 -2620 -2560 -2384 -2860 -2348 2442 -2988 -2440 -2386 -2224 -2520 -2314 -2290 -2480 -2438 -2950 -2340 -2838 -2876 -2268 2642 2706 -2692 -2900 -2718 -2688 -2904 -2976 -2956 -2844 -2600 2996 2990 -2990 2494 -2990 -2784 -2482 -2284 -2900 -2918 -2860 -2560 -2440 2978 -2238 -2588 -2532 -2996 -2720 2460 -2380 -2986 -2944 -2738 -2938 -2508 -2740 -2242 -2294 -2938 -2898 -2850 -2860 -2448 -2944 -2560 2966 -2990 -2514 2222 -2934 -2906 2304 -2938 -2860 -2542 -2692 -2528 -2530 -2860 -2748 2808 -2902 -2898 -2394 -2388 -2982 2732 -2606 -2724 -2664 -2886 -2944 -2826 -2978 -2760 -2898 -2638 -2816 -2638 -2406 -2370 2322 -2260 -2364 -2290 -2788 -2732 -2442 2290 -2298 -2638 -2328 -2550 -2264 2466 -2924 2270 -2346 -2782 2996 -2606 -2846 2402 -2366 -2606 -2514 -2898 -2236 -2276 -2944 -2516 -2982 -2606 -2880 -2330 -2790 -2376 2286 -2260 -2448 -2734 2954 -2250 -2820 -2830 -2860 -2904 -2250 -2278 -2274 -2278 -2860 -2246 -2336 -2956 -2536 -2436 -2942 -2926 -2868 -2908 -2352 2652 -2798 -2778 -2898 -2270 -2488 -2536 -2940 -2720 -2220 -2746 -2682 -2604 -2662 -2958 2274 -2852 -2488 -2954 -2278 -2626 -2346 2648 -2860 -2494 -2600 2442 -2966 -2910 -2752 -2988 -2918 -2488 -2296 -2692 -2366 -2958 -2678 -2458 -2796 -2680 -2526 -2302 -2554 -2738 2286 -2228 -2242 -2482 -2740 -2422 -2990 -2354 2664 -2982 -2860 -2942 -2446 -2792 -2650 -2426 -2442 -2940 -2830 -2328 -2652 -2422 -2692 2912 -2836 -2808 -2502 -2234 -2860 2704 2260 -2466 2636 -2980 -2960 -2640 -2568 2504 -2848 -2736 -2964 -2592 -2346 2224 -2806 -2778 -2502 -2434 -2308 -2496 -2918 -2972 -2732 -2814 -2220 -2910 -2972 -2606 -2956 2932 -2562 -2488 -2506 -2666 -2286 -2428 -2956 -2484 -2754 -2920 2242 -2402 -2280 -2966 2926 -2878 -2556 -2622 -2810 -2648 -2720 -2752 -2938 -2642 -2772 -2956 -2940 -2702 -2932 -2818 -2942 -2720 2232 -2732 -2982 -2860 -2438 -2860 -2724 -2342 -2318 -2634 -2468 -2254 -2254 -2298 -2298 -2508 -2860 -2328 -2526 -2594 -2548 2502 -2682 -2980 -2506 -2588 -2856 -2248 -2556 2316 -2590 -2720 -2600 -2554 -2900 -2298 -2628 2610 -2580 -2990 -2548 -2296 -2648 -2928 2674 -2250 2238 -2666 -2220 -2366 -2740 -2794 -2606 -2472 -2800 2584 -2636 -2920 -2938 -2458 -2474 -2916 2546 -2268 -2966 -2582 -2942 2478 -2770 2696 -2678 -2646 2448 2306 2932 -2956 -2310 -2936 -2392 2878 -2808 -2442 -2710 -2350 -2562 -2606 -2956 -2748 -2248 -2392 2848 -2790 -2282 2536 -2824 2312 2220 -2284 -2746 -2422 -2406 -2720 -2878 -2220 -2640 -2448 -2926 -2688 -2366 -2908 -2820 -2430 -2580 -2996 -2272 -2680 -2680 2784 2550 2272 -2526 -2316 -2904 -2396 -2956 -2956 -2298 -2680 -2996 2438 -2420 -2642 -2258 -2670 2262 2948 -2732 -2282 -2950 -2320 -2860 2810 -2702 -2860 2268 -2856 -2508 -2922 -2394 -2916 -2944 2646 -2708 -2770 -2260 -2876 -2510 -2916 -2688 -2250 2744 -2288 -2492 -2290 -2242 -2260 2426 -2790 -2722 -2920 -2292 -2688 -2438 -2438 2348 -2958 2396 -2290 -2506 -2516 -2538 -2222 2732 -2900 -2270 -2904 -2516 -2634 -2502 2562 -2978 -2314 -2406 2724 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2648 -2536 -2942 -2830 -2640 -2448 -2250 -2422 2666 2554 -2908 -2688 -2636 -2416 -2286 -2960 -2900 -2262 -2904 -2320 -2856 -2732 2632 -2364 -2352 2932 -2940 -2680 -2782 -2434 -2526 2376 -2700 -2290 -2486 -2256 -2606 -2932 -2916 -2220 -2692 -2744 -2330 -2942 -2760 -2484 -2978 2956 2956 -2976 2564 -2234 2918 -2282 -2548 -2632 -2748 -2484 2236 2380 -2690 -2704 -2700 -2462 -2670 2616 -2944 -2522 2278 2248 -2220 -2608 -2946 -2648 -2646 -2746 -2942 2784 -2972 -2958 -2220 2984 -2816 -2488 -2732 -2720 -2704 -2810 2426 -2458 -2898 -2738 -2852 -2292 
65.82	d NODES 3002
65.82	d CHECKS 95592667
65.82	   
65.82	   totalWckTime=65.528  totalCpuTime=63.47

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/node18/watcher-209459-1168074934 -o ROOT/results/node18/solver-209459-1168074934 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209459-1168074934/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.16 1.76 1.87 4/81 21478
/proc/meminfo: memFree=1145024/2055920 swapFree=4192812/4192956
[pid=21477] ppid=21475 vsize=1784 CPUtime=0
/proc/21477/stat : 21477 (java) D 21475 21477 20861 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 155888554 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21477/statm: 446 140 106 14 0 91 0

[startup+0.106637 s]
/proc/loadavg: 1.16 1.76 1.87 4/81 21478
/proc/meminfo: memFree=1145024/2055920 swapFree=4192812/4192956
[pid=21477] ppid=21475 vsize=914988 CPUtime=0.08
/proc/21477/stat : 21477 (java) R 21475 21477 20861 0 -1 0 3030 0 1 0 7 1 0 0 22 0 8 0 155888554 936947712 2776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21477/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51468 s]
/proc/loadavg: 1.16 1.76 1.87 4/81 21478
/proc/meminfo: memFree=1145024/2055920 swapFree=4192812/4192956
[pid=21477] ppid=21475 vsize=915328 CPUtime=0.43
/proc/21477/stat : 21477 (java) R 21475 21477 20861 0 -1 0 6735 0 1 0 38 5 0 0 16 0 8 0 155888554 937295872 6474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21477/statm: 228832 6474 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.33575 s]
/proc/loadavg: 1.16 1.76 1.87 2/88 21485
/proc/meminfo: memFree=1053128/2055920 swapFree=4192812/4192956
[pid=21477] ppid=21475 vsize=915596 CPUtime=1.24
/proc/21477/stat : 21477 (java) R 21475 21477 20861 0 -1 0 32135 0 1 0 107 17 0 0 16 0 8 0 155888554 937570304 31872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380200 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21477/statm: 228899 31872 2161 14 0 215369 0
[pid=21477/tid=21479] ppid=21475 vsize=915596 CPUtime=0.13
/proc/21477/task/21479/stat : 21479 (java) S 21475 21477 20861 0 -1 64 15593 0 0 0 8 5 0 0 17 0 8 0 155888558 937570304 31872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21480] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21480/stat : 21480 (java) S 21475 21477 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155888559 937570304 31872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21481] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21481/stat : 21481 (java) S 21475 21477 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155888559 937570304 31872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21482] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21482/stat : 21482 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155888562 937570304 31872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21483] ppid=21475 vsize=915596 CPUtime=0.14
/proc/21477/task/21483/stat : 21483 (java) S 21475 21477 20861 0 -1 64 409 0 0 0 14 0 0 0 15 0 8 0 155888562 937570304 31872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21484] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21484/stat : 21484 (java) S 21475 21477 20861 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155888562 937570304 31872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21485] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21485/stat : 21485 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155888562 937570304 31872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915596

[startup+2.97792 s]
/proc/loadavg: 1.16 1.76 1.87 2/88 21485
/proc/meminfo: memFree=1017672/2055920 swapFree=4192812/4192956
[pid=21477] ppid=21475 vsize=915596 CPUtime=2.88
/proc/21477/stat : 21477 (java) R 21475 21477 20861 0 -1 0 35808 0 1 0 269 19 0 0 16 0 8 0 155888554 937570304 35539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073541797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21477/statm: 228899 35539 2161 14 0 215369 0
[pid=21477/tid=21479] ppid=21475 vsize=915596 CPUtime=0.35
/proc/21477/task/21479/stat : 21479 (java) S 21475 21477 20861 0 -1 64 19257 0 0 0 29 6 0 0 17 0 8 0 155888558 937570304 35539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21480] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21480/stat : 21480 (java) S 21475 21477 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155888559 937570304 35539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21481] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21481/stat : 21481 (java) S 21475 21477 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155888559 937570304 35539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21482] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21482/stat : 21482 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155888562 937570304 35539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21483] ppid=21475 vsize=915596 CPUtime=0.15
/proc/21477/task/21483/stat : 21483 (java) S 21475 21477 20861 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 155888562 937570304 35539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21484] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21484/stat : 21484 (java) S 21475 21477 20861 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155888562 937570304 35539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21485] ppid=21475 vsize=915596 CPUtime=0
/proc/21477/task/21485/stat : 21485 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155888562 937570304 35539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915596

[startup+6.18222 s]
/proc/loadavg: 1.15 1.75 1.87 2/88 21485
/proc/meminfo: memFree=1006152/2055920 swapFree=4192812/4192956
[pid=21477] ppid=21475 vsize=915732 CPUtime=6.08
/proc/21477/stat : 21477 (java) R 21475 21477 20861 0 -1 0 38363 0 1 0 588 20 0 0 16 0 8 0 155888554 937709568 38089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073541845 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21477/statm: 228933 38089 2182 14 0 215403 0
[pid=21477/tid=21479] ppid=21475 vsize=915732 CPUtime=0.55
/proc/21477/task/21479/stat : 21479 (java) S 21475 21477 20861 0 -1 64 21709 0 0 0 48 7 0 0 17 0 8 0 155888558 937709568 38089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21480] ppid=21475 vsize=915732 CPUtime=0
/proc/21477/task/21480/stat : 21480 (java) S 21475 21477 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155888559 937709568 38089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21481] ppid=21475 vsize=915732 CPUtime=0
/proc/21477/task/21481/stat : 21481 (java) S 21475 21477 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155888559 937709568 38089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21482] ppid=21475 vsize=915732 CPUtime=0
/proc/21477/task/21482/stat : 21482 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155888562 937709568 38089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21483] ppid=21475 vsize=915732 CPUtime=0.2
/proc/21477/task/21483/stat : 21483 (java) S 21475 21477 20861 0 -1 64 449 0 0 0 19 1 0 0 15 0 8 0 155888562 937709568 38089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21484] ppid=21475 vsize=915732 CPUtime=0
/proc/21477/task/21484/stat : 21484 (java) S 21475 21477 20861 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155888562 937709568 38089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21485] ppid=21475 vsize=915732 CPUtime=0
/proc/21477/task/21485/stat : 21485 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155888562 937709568 38089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915732

[startup+12.6478 s]
/proc/loadavg: 1.13 1.73 1.86 2/88 21487
/proc/meminfo: memFree=776968/2055920 swapFree=4192812/4192956
[pid=21477] ppid=21475 vsize=915876 CPUtime=12.54
/proc/21477/stat : 21477 (java) R 21475 21477 20861 0 -1 0 95204 0 1 0 1213 41 0 0 18 0 8 0 155888554 937857024 94864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21477/statm: 228969 94864 2533 14 0 215439 0
[pid=21477/tid=21479] ppid=21475 vsize=915876 CPUtime=1.62
/proc/21477/task/21479/stat : 21479 (java) S 21475 21477 20861 0 -1 64 77993 0 0 0 135 27 0 0 16 0 8 0 155888558 937857024 94864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21480] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21480/stat : 21480 (java) S 21475 21477 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155888559 937857024 94864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21481] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21481/stat : 21481 (java) S 21475 21477 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155888559 937857024 94864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21482] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21482/stat : 21482 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155888562 937857024 94864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21483] ppid=21475 vsize=915876 CPUtime=0.32
/proc/21477/task/21483/stat : 21483 (java) S 21475 21477 20861 0 -1 64 552 0 0 0 31 1 0 0 15 0 8 0 155888562 937857024 94864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21484] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21484/stat : 21484 (java) S 21475 21477 20861 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155888562 937857024 94864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21485] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21485/stat : 21485 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155888562 937857024 94864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915876

[startup+25.5121 s]
/proc/loadavg: 1.18 1.71 1.85 3/100 21533
/proc/meminfo: memFree=638888/2055920 swapFree=4192812/4192956
[pid=21477] ppid=21475 vsize=915876 CPUtime=25.37
/proc/21477/stat : 21477 (java) R 21475 21477 20861 0 -1 0 95207 0 1 0 2493 44 0 0 25 0 8 0 155888554 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074194637 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21477/statm: 228969 94865 2533 14 0 215439 0
[pid=21477/tid=21479] ppid=21475 vsize=915876 CPUtime=1.62
/proc/21477/task/21479/stat : 21479 (java) S 21475 21477 20861 0 -1 64 77993 0 0 0 135 27 0 0 16 0 8 0 155888558 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21480] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21480/stat : 21480 (java) S 21475 21477 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155888559 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21481] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21481/stat : 21481 (java) S 21475 21477 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155888559 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21482] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21482/stat : 21482 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155888562 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21483] ppid=21475 vsize=915876 CPUtime=0.32
/proc/21477/task/21483/stat : 21483 (java) S 21475 21477 20861 0 -1 64 554 0 0 0 31 1 0 0 16 0 8 0 155888562 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21484] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21484/stat : 21484 (java) S 21475 21477 20861 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155888562 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21485] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21485/stat : 21485 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155888562 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915876

[startup+51.1296 s]
/proc/loadavg: 1.46 1.74 1.86 3/100 21533
/proc/meminfo: memFree=539880/2055920 swapFree=4192812/4192956
[pid=21477] ppid=21475 vsize=915876 CPUtime=50.99
/proc/21477/stat : 21477 (java) R 21475 21477 20861 0 -1 0 95207 0 1 0 5054 45 0 0 25 0 8 0 155888554 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21477/statm: 228969 94865 2533 14 0 215439 0
[pid=21477/tid=21479] ppid=21475 vsize=915876 CPUtime=1.62
/proc/21477/task/21479/stat : 21479 (java) S 21475 21477 20861 0 -1 64 77993 0 0 0 135 27 0 0 16 0 8 0 155888558 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21480] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21480/stat : 21480 (java) S 21475 21477 20861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155888559 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21481] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21481/stat : 21481 (java) S 21475 21477 20861 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155888559 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21477/tid=21482] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21482/stat : 21482 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155888562 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21483] ppid=21475 vsize=915876 CPUtime=0.32
/proc/21477/task/21483/stat : 21483 (java) S 21475 21477 20861 0 -1 64 554 0 0 0 31 1 0 0 16 0 8 0 155888562 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21484] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21484/stat : 21484 (java) S 21475 21477 20861 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155888562 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21477/tid=21485] ppid=21475 vsize=915876 CPUtime=0
/proc/21477/task/21485/stat : 21485 (java) S 21475 21477 20861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155888562 937857024 94865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 65.9151
CPU time (s): 65.728
CPU user time (s): 65.2131
CPU system time (s): 0.514921
CPU usage (%): 99.7162
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.2131
system time used= 0.514921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95259
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= 2713
involuntary context switches= 1218

runsolver used 0.078987 s user time and 0.216967 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat Jan  6 09:15:36 UTC 2007


IDJOB= 209459
IDBENCH= 4518
FILE ID= node18/209459-1168074934

PBS_JOBID= 3475756

Free space on /tmp= 66277 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1e9ece2bf17be80b7c0001a71bf985ca

RANDOM SEED= 54766909

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.231
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.231
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:       1145376 kB
Buffers:         69036 kB
Cached:         681888 kB
SwapCached:          0 kB
Active:         412960 kB
Inactive:       399324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1145376 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12756 kB
Writeback:           0 kB
Mapped:          80324 kB
Slab:            83492 kB
Committed_AS:  3946988 kB
PageTables:       1924 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= 66274 MiB



End job on node18 on Sat Jan  6 09:16:48 UTC 2007