Trace number 205991

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 20.4989 20.665

DiagnosticValue
CHECKS17683703
NODES2000

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-10.xml
MD5SUMa0cfe24393aaec972ad81f1f87dd77c5
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.3527
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2000
Number of constraints18600
Maximum constraint arity2
Maximum domain size454
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=mac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/205991-1168073502/unknown.xml
0.42	   
0.42	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.74	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.74	       =>  wckTime=0.38  cpuTime=0.28  mem=34M237
0.74	   
0.74	   predicates being loaded...
0.75	   
0.75	   constraints being loaded...
4.60	   
4.60	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 71M873)
7.12	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=36  nbConvertConstraintsChecks=5602742
7.12	     nbExtensionStructures=36  nbSharedExtensionStructures=0  nbConflictsStructures=36  nbSharedConflictsStructures=0
7.12	     nbSharedBinaryRepresentations=19189  nbEvaluationManagers=7389  nbSharedEvaluationManagers=2642  maxDegree=13
7.12	     maxArity=2
7.12	       =>  wckTime=6.757  cpuTime=6.17  mem=57M83
7.27	   
7.27	   solver IterativeSystematicSolver being built... 
7.78	       =>  wckTime=7.417  cpuTime=6.51  mem=91M84
18.26	   
18.26	   preprocessing
18.26	     nbConstraintChecks=17010211  nbValidityChecks=1483263  nbPropagations=4334  nbRevisions=49758
18.26	     nbUselessRevisions=38645  nbRemovedValues=711844  detectedInconsistency=no
18.26	       =>  wckTime=10.458  cpuTime=10.38  mem=91M84
20.61	   
20.61	   search
20.61	     run=0  nbConstraintChecks=673492  nbValidityChecks=1063283  nbPropagations=13296  nbRevisions=106826
20.61	     nbUselessRevisions=88230  nbAssignments=2000  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=2001
20.61	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=1059
20.61	       =>  wckTime=12.81  cpuTime=12.69  mem=114M420
20.61	   
20.61	   global
20.61	     nbConstraintChecks=17683703  nbValidityChecks=2546546  nbPropagations=17630  nbRevisions=156584
20.61	     nbUselessRevisions=126875  nbRestartNogoods=0  solvingWckTime=12.813  solvingCpuTime=12.7  expiredTime=no
20.61	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=19.28
20.61	       =>  wckTime=20.253  cpuTime=19.23  mem=114M420
20.62	   
20.62	s SATISFIABLE
20.62	v -2198 -2518 -2454 -2890 2690 2686 2278 -2510 2550 -2658 2082 -2246 -2542 -2638 2846 -2762 2258 2222 -2118 -2854 -2894 2442 -2890 -2502 -2390 -2274 -1990 -1994 -2550 -2386 -2066 1990 2562 -2606 -2894 -2806 -2710 -2818 -2778 -2146 -2850 2766 2038 -2838 -2854 -2894 2574 -2578 -2686 2762 -2314 -2774 2474 -2050 -2562 -2518 -2822 2686 -2854 2654 -2742 -2154 2246 -2030 -2382 1990 2218 2458 2478 -2642 -2086 2754 -2826 -2838 -2842 -2622 2642 -2266 -2422 -2070 -2510 -2390 2214 -2674 -2590 -2894 2722 -2314 2714 -2334 -2110 -2818 -2158 -2778 1990 2578 -2126 -2774 -2442 2214 -2706 -2258 -2486 -2722 -2582 2598 2026 -2710 2370 -2842 -2222 2642 2310 2414 -2530 2030 2514 2270 -2834 -2014 2802 -2894 2698 -2830 -2602 -2150 -2138 -2078 2102 -2834 -2074 -2514 -2646 -2478 2238 2638 -2330 -2286 2830 -2270 -2650 2722 -2202 2486 2854 2854 -2602 -2374 2270 -2310 -2470 -2818 -2534 -2894 2794 2198 -2174 2522 -2750 2602 -2286 -2658 -2470 -2634 -2034 2758 -2598 -2478 -2702 -2146 2750 2682 -2382 -2562 2826 2442 2158 -2422 -2834 -2586 -2834 -2486 -2774 -2830 -2506 -2110 -2894 -2546 2446 -2738 -2278 -2386 -2358 -1990 2450 -2034 -2194 -2758 2282 -2118 -2266 -2118 -2486 2374 2726 -2262 -1998 2430 2894 -2414 -2774 -2106 -2346 -2746 -2798 -2658 2714 2510 -2378 -2622 -2826 -2618 -2186 2522 -2390 -2278 -2854 -2382 -2742 2462 -2778 2838 2742 2282 -2722 -2778 -2486 -2374 -2738 2142 2698 2030 -2002 2226 -2030 2878 -2706 -2582 -2330 -2262 2454 -2030 -2526 2578 2258 -2042 2386 -2658 -2714 -2170 -2418 -2854 2806 2334 -2866 2270 -2870 -2378 2298 -1990 -2838 -2614 -2894 2766 -2626 1990 -2786 -2894 -2674 -2454 -2562 -2682 -2586 -2478 2034 2894 -1994 -2102 2346 2306 -2490 -2678 -2414 -2586 -2286 2262 -2602 -2786 2190 -2846 -2814 -2570 2250 -2754 2590 -2270 -2014 -2482 -2646 -2626 2586 -2230 -2146 -2534 2150 -2426 2850 -2894 -2718 1990 1990 -2882 -2894 -2710 -2786 -2474 2782 2846 2618 -2870 -2486 -2582 -2554 2398 -2534 -2478 -2582 2154 2678 1990 -2398 -2446 -2366 -2334 -2018 2454 2834 -2066 -2742 -2382 -2030 -2614 -2226 -2430 -2258 -2598 -2198 2030 -2854 -2242 -2854 -2194 -2030 -2646 -1990 2718 -2042 2142 2338 -2718 -2806 2098 -2038 -2450 -2454 -2602 -2178 2570 -2418 -2586 -2374 2030 2766 2342 -2010 2014 2670 -2854 -2774 2386 -2682 -2174 2854 2238 -2854 -2434 -2078 -2546 -2310 -2722 -2882 -2826 -2518 2266 2310 -2826 -2182 -2002 -2434 2306 -2002 2210 -2750 -2634 2650 -2174 2854 -2310 2894 -2374 -2410 2334 -2106 -2346 -2742 2830 -2018 -2682 -2334 -2794 2478 -2526 -2222 -2230 -2542 2882 2162 2826 -2854 2250 -2522 -2254 2470 -2566 2838 -2450 2186 2874 2538 2678 -2078 1990 2238 2830 -2298 -2602 -2414 2514 -2594 -2186 -2322 -2058 -2706 -2442 -2830 -2554 -2894 2230 2310 -2202 -2382 -2002 2186 2838 2030 2346 2218 -2550 -2422 2630 -2498 -2038 -2542 -2362 -2826 -2534 -2482 -2230 -2362 2450 -2706 -1998 -2314 -2658 -1990 -2758 -2474 -2870 -2614 -2454 -2162 -2850 2746 -2754 2458 2846 -2586 -2082 -2894 2734 1990 -2098 -2686 -2078 2894 -2854 -2854 2702 -2370 -2630 2754 -2394 -2034 -2470 -2854 -2502 -2790 2266 -2666 2878 -2618 -2510 -2430 -2702 -2118 -1990 2658 -2622 -2642 -2134 -2030 -2794 -2226 2482 -2050 -1990 -2206 -2658 -2614 2790 -2222 2794 -2894 -2242 -2678 -2394 2430 2586 2458 -2114 -1990 -2394 1990 2086 2250 2254 2438 -2010 -2890 2626 -2822 2374 -2670 2122 -2718 2038 -2314 -2734 -2190 2550 -2710 -2842 -1990 2846 -2362 -2894 -2834 -2070 -2162 -2698 -2742 -2482 -2030 2526 2042 -2710 2106 -2786 2346 -2246 -2494 -2654 -2798 1990 -2098 -2882 -2266 -2130 -2194 -2730 -2830 -2662 -2014 -2350 -2730 -2162 2850 -2086 -2894 -2030 2590 2702 -2702 -2022 -1994 -2886 -2842 -2350 2706 -1990 -2274 -2078 -2858 -2114 -2158 2490 -2486 2718 -2894 -2226 -2566 -2174 -2058 -2442 -2190 -2778 -2622 -2854 -2710 -2658 2894 -2498 -2262 -2398 2774 -2854 -2510 -2682 -2626 2782 -2658 -2750 2602 -2294 -2478 2450 -2630 -2854 -2426 -2562 -2534 -2754 2434 2366 -2602 -2678 -2198 -2658 -2870 -2394 -2414 -2894 -2806 2818 -2078 -2226 -2434 -2882 -2894 -2410 -2250 -2878 -2414 -2602 -2222 2070 -2238 2418 2698 2630 -2018 2506 -2442 -2734 2530 -2626 -2682 -2218 -2642 2662 2414 -2854 -2030 -2342 -2686 -2882 -2130 2690 -2198 -2690 -2546 2714 -2150 2362 2202 2314 -2342 -2602 -2654 -2814 2050 -2670 2350 2154 -2326 -2498 2562 -2390 -2466 2438 2550 2182 -2478 -2642 2086 2546 -2666 -2438 -2806 -2454 -2206 -2098 2538 -2530 2046 -2030 -2894 -2662 -2302 -2794 -2854 -2130 -2682 -2518 2446 -2194 -2506 -2586 2498 -1990 -2794 -2746 -2586 2134 2810 -2182 1994 -2422 2646 2378 -2158 2222 -2258 -2390 -2218 -2606 -2446 -2494 -2030 -2758 -2654 -2882 -2622 2030 -2586 2806 -2682 -2518 -2790 2886 -2002 2606 2026 -2642 -2214 2178 -2458 2646 -2138 -2182 -2854 -2334 2318 -2522 2522 -2514 -2394 2030 2558 -2638 -2218 -2362 2038 -2034 2334 -2894 2710 -2054 -2234 -2774 -2550 -2046 -2374 -2546 -2134 2750 -2802 -2490 -1990 -2078 -2842 -2130 -2306 2550 -2174 -2814 2034 2314 -2834 -2638 2482 -1990 -2490 2774 -1990 1990 -2066 2830 -2146 -2462 2470 2646 2342 2434 -2426 -2154 -2586 -2894 -2654 -2894 2542 -2374 2686 -2786 -2642 -2118 -2490 2158 -2694 -2894 -2222 -2402 -2330 -2298 -2458 -2754 -2794 -2442 -2186 -2566 -2822 -2030 -2030 -2262 -2642 2634 -2602 -2354 -2658 -2478 -2826 -2894 2026 -2518 2742 2502 -2754 2682 -2826 2442 -2474 -2702 -2794 -2890 -2582 -2490 -2202 -2710 -2570 -2170 -2090 2786 -2802 -2406 -2518 -2582 -2278 -2854 -2218 -2494 -2222 -2102 -2894 -2842 -2318 -2294 -2538 -2894 -2482 -2202 -2054 -2282 -2338 -2722 -2218 2054 2790 -2542 2774 -2350 -2602 -2662 2458 2014 -2546 -2134 -2358 -2846 2790 -2830 2606 -2314 -2762 -2798 2370 -2854 -2410 -2598 -2854 -2426 -2410 -2054 2410 -2718 -2598 -2678 -2854 -2302 -2386 -2030 -2374 -2574 -2274 -2434 -2698 -2158 -2822 2694 -2418 2030 -2238 -2306 -2854 -2038 -2738 -2354 -2510 -2598 -2562 -2702 -2874 -2530 2798 -2854 2162 2482 -2554 2566 -2058 -2050 2030 -2410 2310 2470 -2090 -2426 -2702 -2390 -2650 -2158 -2386 2418 -2586 -2494 1990 -2450 2030 2722 -2574 1990 2606 2682 -2798 2342 2378 -2274 2850 -2234 -2662 -2374 -2774 -2118 -2798 2566 -2438 -2466 -2622 -2066 -2270 2666 2182 -2834 2378 -2598 2702 2474 2526 -2018 2638 -2106 -2846 2602 2450 -2894 -2894 -2538 2546 -2718 -2554 2214 -2374 -2194 -2030 1990 -2746 2758 -2690 -2070 2750 -2010 2298 2230 2818 2230 2166 -2078 2634 -2794 2306 -2846 2534 -1990 -2366 -2854 -2894 -2750 -2254 2474 -2826 2854 -2834 -2642 -2014 -2866 -2334 2362 -2030 2434 2742 2470 -2026 -2762 -1990 2862 -2742 -2274 -2842 2002 -2854 2294 -2802 2214 2570 -2530 2362 2786 -2758 -2802 -2854 -2566 -2210 -2854 -2126 -2882 -2802 2426 -2614 -2370 -2746 -2642 -2758 2386 -2126 2782 -2002 1990 -2558 2106 -2706 -2282 -2030 2150 -2190 2290 -2322 -2370 2418 -2158 -2894 -1990 -1994 2254 -2062 -2154 2514 -2730 2594 2030 -2490 -2586 -2030 -2814 2530 -2174 2466 2134 -2382 2558 2194 2830 -2242 -2658 -2314 -2034 -2574 2770 -2146 -2894 2382 -2678 -2854 2798 -2510 -2442 2814 -2522 -2626 -2534 -2374 2838 2218 -2226 -2166 -2530 -2854 -2690 2206 -2598 -2622 2666 -2546 -2726 2546 -2734 2038 -2490 -2510 -2518 -2478 2602 -2206 -2242 -2826 2838 -2786 -2686 -2886 2010 2438 -2382 2378 2318 -2842 -2390 -2486 -2498 -2290 -2174 -2710 -2526 -2494 2086 -2858 2694 -2198 -2522 -2566 -2854 -2606 -2618 -2078 -2478 -2418 -2734 2202 -2538 -2494 -2510 -2734 -2694 -2446 -2130 2642 2306 2590 -2214 2810 -2042 -2554 -2050 -2498 -2346 -2042 -2418 2402 -2834 2854 -2174 -2086 -2822 2374 -2298 -2894 2370 -2286 -2794 -2882 -2850 -2306 -2674 -2414 -2410 -2042 -2274 -2802 -2118 2306 -2690 -2702 -2894 -2662 -2542 -2374 2254 -2854 -2310 2662 2322 -2470 2838 2350 -2646 -2174 -2326 -2550 -2262 2066 2734 -2518 -2326 -2202 -2374 -2250 2750 2802 -2234 -2690 -2866 -2698 -2650 -2894 2826 2714 -2338 -2110 -2134 -2450 2154 2578 -2606 2810 -2298 2134 2222 -2454 -2318 -2826 -2842 -2058 1990 -2734 2762 2730 2338 2498 -2170 2678 -2538 -1990 -2854 2798 -2350 -2474 -2786 2574 2794 -2222 2434 2258 -2466 -2582 -2558 2198 -2118 2782 -2578 -1994 -2494 -2670 2514 2626 2106 -2818 -2186 -2750 -2118 -2458 -2038 -2690 -2426 2050 -2546 -1990 -2746 -2210 2198 -2854 2442 -2666 -2030 2118 -2650 -2270 -2758 2510 -2894 -2178 -2854 2602 -2894 -2694 -2502 2586 -2894 -2562 -2274 -2334 -2030 2510 -2222 2630 -2698 -2662 -2134 2538 -2418 1998 -2134 2334 -2502 -2622 -2786 2202 -2374 -2374 -2402 -2750 -2042 2634 -2094 -2562 2082 2674 -2558 -1990 2274 2302 -2090 2074 -2362 -2186 -2630 -2794 2570 -2462 -2414 -2230 -2334 -2678 -2422 -2546 -2846 -2042 -2854 -2794 -2030 -2538 -2342 -2514 2178 -2314 -2706 2286 -2642 -2854 2450 2458 2346 -2462 2658 2402 2530 -2894 -2058 2494 -2854 -2558 -2542 -2170 -2078 2186 2378 -2850 -2894 -2730 -2178 -2674 2322 -2706 -2882 -2726 2194 1998 2886 2842 -2198 -2410 -2550 -2770 -2622 -2322 2502 -2854 -2786 2854 2030 -2834 -2490 -2542 -2454 -2034 -2366 2854 -2402 -2422 -2662 2030 -2854 -1994 -2226 2450 -2482 -2594 2418 2446 -2642 -2414 -2582 2846 -2314 -2610 2806 2810 2166 -2586 1990 2314 -2198 -2746 2542 1990 -2294 2362 -2802 2854 -2334 -2438 2710 -2730 -2094 2498 2194 -2746 2298 -2414 -2486 2454 2866 -2498 -2674 -2238 -2382 -2894 -1990 -2530 -2706 2106 -2642 -2770 -2018 -2746 2746 -2282 -2274 2386 -2322 -2074 2718 2894 -2118 -2582 2770 -2334 2090 -2698 -2894 -2518 2342 -2030 2570 2078 -2314 -2130 -2354 -2746 2478 -2066 -2202 2042 -2518 -2338 -2002 -1990 -2226 2578 -2110 2434 -2170 2146 -2894 -2234 -2458 2866 2650 -2166 -2894 2030 -2842 -2054 2478 -1990 -2618 2058 -2638 2758 -2806 -2854 -2578 -2354 -2562 -2546 -2162 -2394 -2754 -2190 2706 -2630 -2698 2586 -2542 -2358 2030 -1990 2362 -2622 -2890 -2870 -2802 -2406 2394 -2082 -2818 -2606 -2178 -2030 2638 -2030 -2414 -2378 -2582 -2054 2126 -2242 2326 -2622 -2462 2782 -2494 2170 2850 2522 2354 2434 -2030 -2642 -2742 -2426 -2894 -2870 -2894 -2030 2774 -2854 2614 2642 -2454 -2774 2418 -2530 -2074 2582 -2158 -2618 2334 -2542 -2802 -2490 -2750 -2798 -2734 -2466 -2574 -2854 2290 -2334 -2286 -2806 -2586 -2794 -2714 -2066 -2510 -2458 2262 2658 2114 2058 -2338 2238 -2646 -2846 -2102 2854 -2842 2714 2030 2886 2042 -2174 -2538 -2846 -2466 -2478 2314 2706 2278 -2842 -2854 -2594 2790 -2834 -2854 -2130 2402 -2894 2146 -2754 2682 2894 -2030 -2174 -2474 2114 -2330 -2590 -2338 -2058 -2414 -2374 -2274 -2402 -2478 2258 -2874 -2530 -2546 -2850 -2414 -2762 -2642 2658 -1990 -1990 -2886 2566 -2062 -2678 -2030 2290 -2350 -2402 -2110 -2894 2034 -2318 -2734 -2150 -1998 -2010 -2214 2374 -2498 -2346 -2346 -2402 -2290 -2214 -2470 -2778 -2550 -2798 2618 -2854 -2274 -2298 -2854 -2346 -2350 -2242 2738 -2878 2466 -2410 -2826 2854 -2514 -2030 2702 2426 2770 2734 -2570 -2002 -2662 -2774 -2414 -2702 -1990 -2050 2462 2042 -2570 2494 -2826 -2762 -2762 2490 -2290 2022 -2442 -2662 -2854 -2834 2590 -2386 -2302 -2786 -2518 -2170 1990 -2682 2862 -2654 2278 -2682 -2362 -2610 -2478 2042 -2518 -2582 -2758 -2438 -2106 -1990 -2774 1994 -2474 -2810 -2266 -2378 -2030 2110 -2286 -2030 -2246 -2346 2030 -2714 2150 -2402 2558 -2786 -2342 2058 -2654 -2526 -2826 -2430 -2062 -2606 2690 2718 2590 2402 2030 2778 -2254 -2654 2542 -2834 -2530 -2894 -2690 2030 -2782 2038 -2538 2682 -2326 2046 2670 -2894 -2282 -2718 -2322 2790 2578 2758 -2698 -2418 2846 -2670 -2694 -2066 -2842 -2546 -2294 -2482 -2618 2274 -2894 -2062 -2458 -2798 -2482 -2050 -2042 -2890 2762 -2506 -2534 -2730 -2206 -2582 2082 -2582 -2018 -2618 2258 -1990 2394 2830 -2778 2618 -2754 -2218 -2294 -2582 -2246 -2554 2478 -2798 -2394 -2894 2550 2110 -2498 -2030 2794 -2474 2326 -2322 -2786 -2894 -2562 -2270 -2010 -2854 -2682 -2054 2274 -1990 -2574 -2146 -2726 -2374 -2418 -2270 2458 
20.62	d NODES 2000
20.62	d CHECKS 17683703
20.62	   
20.62	   totalWckTime=20.334  totalCpuTime=19.29

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/node50/watcher-205991-1168073502 -o ROOT/results/node50/solver-205991-1168073502 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205991-1168073502/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.44 1.03 0.99 4/80 1164
/proc/meminfo: memFree=1154688/2055920 swapFree=4192812/4192956
[pid=1163] ppid=1161 vsize=1784 CPUtime=0
/proc/1163/stat : 1163 (java) D 1161 1163 963 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155748850 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7918372 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/1163/statm: 446 163 128 14 0 91 0

[startup+0.103595 s]
/proc/loadavg: 1.44 1.03 0.99 4/80 1164
/proc/meminfo: memFree=1154688/2055920 swapFree=4192812/4192956
[pid=1163] ppid=1161 vsize=907808 CPUtime=0.05
/proc/1163/stat : 1163 (java) D 1161 1163 963 0 -1 0 2507 0 1 0 4 1 0 0 17 0 4 0 155748850 929595392 2254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/1163/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.511665 s]
/proc/loadavg: 1.44 1.03 0.99 4/80 1164
/proc/meminfo: memFree=1154688/2055920 swapFree=4192812/4192956
[pid=1163] ppid=1161 vsize=915328 CPUtime=0.44
/proc/1163/stat : 1163 (java) S 1161 1163 963 0 -1 0 6511 0 1 0 40 4 0 0 18 0 8 0 155748850 937295872 6250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1163/statm: 228832 6250 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33781 s]
/proc/loadavg: 1.44 1.03 0.99 3/87 1171
/proc/meminfo: memFree=1075016/2055920 swapFree=4192812/4192956
[pid=1163] ppid=1161 vsize=915616 CPUtime=1.26
/proc/1163/stat : 1163 (java) R 1161 1163 963 0 -1 0 24279 0 1 0 114 12 0 0 23 0 8 0 155748850 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755140 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1163/statm: 228904 24016 2160 14 0 215374 0
[pid=1163/tid=1165] ppid=1161 vsize=915616 CPUtime=0.09
/proc/1163/task/1165/stat : 1165 (java) S 1161 1163 963 0 -1 64 7735 0 0 0 6 3 0 0 16 0 8 0 155748854 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1166] ppid=1161 vsize=915616 CPUtime=0
/proc/1163/task/1166/stat : 1166 (java) S 1161 1163 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155748854 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1167] ppid=1161 vsize=915616 CPUtime=0
/proc/1163/task/1167/stat : 1167 (java) S 1161 1163 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155748854 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1168] ppid=1161 vsize=915616 CPUtime=0
/proc/1163/task/1168/stat : 1168 (java) S 1161 1163 963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155748862 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1169] ppid=1161 vsize=915616 CPUtime=0.16
/proc/1163/task/1169/stat : 1169 (java) S 1161 1163 963 0 -1 64 409 0 0 0 16 0 0 0 16 0 8 0 155748862 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1170] ppid=1161 vsize=915616 CPUtime=0
/proc/1163/task/1170/stat : 1170 (java) S 1161 1163 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155748862 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1171] ppid=1161 vsize=915616 CPUtime=0
/proc/1163/task/1171/stat : 1171 (java) S 1161 1163 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155748862 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915616

[startup+2.97807 s]
/proc/loadavg: 1.49 1.04 1.00 3/87 1171
/proc/meminfo: memFree=1066568/2055920 swapFree=4192812/4192956
[pid=1163] ppid=1161 vsize=915744 CPUtime=2.89
/proc/1163/stat : 1163 (java) R 1161 1163 963 0 -1 0 24353 0 1 0 276 13 0 0 25 0 8 0 155748850 937721856 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1163/statm: 228936 24089 2180 14 0 215406 0
[pid=1163/tid=1165] ppid=1161 vsize=915744 CPUtime=0.09
/proc/1163/task/1165/stat : 1165 (java) S 1161 1163 963 0 -1 64 7735 0 0 0 6 3 0 0 17 0 8 0 155748854 937721856 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1166] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1166/stat : 1166 (java) S 1161 1163 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155748854 937721856 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1167] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1167/stat : 1167 (java) S 1161 1163 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155748854 937721856 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1168] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1168/stat : 1168 (java) S 1161 1163 963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155748862 937721856 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1169] ppid=1161 vsize=915744 CPUtime=0.18
/proc/1163/task/1169/stat : 1169 (java) S 1161 1163 963 0 -1 64 421 0 0 0 18 0 0 0 16 0 8 0 155748862 937721856 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1170] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1170/stat : 1170 (java) S 1161 1163 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155748862 937721856 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1171] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1171/stat : 1171 (java) S 1161 1163 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155748862 937721856 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915744

[startup+6.27363 s]
/proc/loadavg: 1.49 1.04 1.00 3/87 1171
/proc/meminfo: memFree=1059864/2055920 swapFree=4192812/4192956
[pid=1163] ppid=1161 vsize=915744 CPUtime=6.18
/proc/1163/stat : 1163 (java) R 1161 1163 963 0 -1 0 26810 0 1 0 603 15 0 0 25 0 8 0 155748850 937721856 26542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153987660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1163/statm: 228936 26542 2182 14 0 215406 0
[pid=1163/tid=1165] ppid=1161 vsize=915744 CPUtime=0.24
/proc/1163/task/1165/stat : 1165 (java) S 1161 1163 963 0 -1 64 10160 0 0 0 20 4 0 0 16 0 8 0 155748854 937721856 26542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1166] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1166/stat : 1166 (java) S 1161 1163 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155748854 937721856 26542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1167] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1167/stat : 1167 (java) S 1161 1163 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155748854 937721856 26542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1168] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1168/stat : 1168 (java) S 1161 1163 963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155748862 937721856 26542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1169] ppid=1161 vsize=915744 CPUtime=0.23
/proc/1163/task/1169/stat : 1169 (java) S 1161 1163 963 0 -1 64 448 0 0 0 22 1 0 0 15 0 8 0 155748862 937721856 26542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1170] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1170/stat : 1170 (java) S 1161 1163 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155748862 937721856 26542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1171] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1171/stat : 1171 (java) S 1161 1163 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155748862 937721856 26542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915744

[startup+12.7547 s]
/proc/loadavg: 1.65 1.09 1.01 3/87 1171
/proc/meminfo: memFree=1009496/2055920 swapFree=4192812/4192956
[pid=1163] ppid=1161 vsize=915744 CPUtime=12.62
/proc/1163/stat : 1163 (java) R 1161 1163 963 0 -1 0 38945 0 1 0 1242 20 0 0 25 0 8 0 155748850 937721856 38669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1163/statm: 228936 38669 2533 14 0 215406 0
[pid=1163/tid=1165] ppid=1161 vsize=915744 CPUtime=0.59
/proc/1163/task/1165/stat : 1165 (java) S 1161 1163 963 0 -1 64 21816 0 0 0 51 8 0 0 17 0 8 0 155748854 937721856 38669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1166] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1166/stat : 1166 (java) S 1161 1163 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155748854 937721856 38669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1167] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1167/stat : 1167 (java) S 1161 1163 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155748854 937721856 38669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1168] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1168/stat : 1168 (java) S 1161 1163 963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155748862 937721856 38669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1169] ppid=1161 vsize=915744 CPUtime=0.33
/proc/1163/task/1169/stat : 1169 (java) S 1161 1163 963 0 -1 64 509 0 0 0 32 1 0 0 15 0 8 0 155748862 937721856 38669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1170] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1170/stat : 1170 (java) S 1161 1163 963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155748862 937721856 38669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1163/tid=1171] ppid=1161 vsize=915744 CPUtime=0
/proc/1163/task/1171/stat : 1171 (java) S 1161 1163 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155748862 937721856 38669 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915744

Child status: 0
Real time (s): 20.665
CPU time (s): 20.4989
CPU user time (s): 20.2619
CPU system time (s): 0.236963
CPU usage (%): 99.1963
Max. virtual memory (cumulated for all children) (KiB): 915744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.2619
system time used= 0.236963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38985
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= 2077
involuntary context switches= 2450

runsolver used 0.030995 s user time and 0.071989 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sat Jan  6 08:51:43 UTC 2007


IDJOB= 205991
IDBENCH= 4180
FILE ID= node50/205991-1168073502

PBS_JOBID= 3475998

Free space on /tmp= 66539 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205991-1168073502/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-205991-1168073502 -o ROOT/results/node50/solver-205991-1168073502 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205991-1168073502/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a0cfe24393aaec972ad81f1f87dd77c5

RANDOM SEED= 883414259

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.263
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	: 5931.00
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.263
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:       1155104 kB
Buffers:         36204 kB
Cached:         425652 kB
SwapCached:          0 kB
Active:         417132 kB
Inactive:       404228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1155104 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4324 kB
Writeback:           0 kB
Mapped:         379672 kB
Slab:            63952 kB
Committed_AS:  4067532 kB
PageTables:       2552 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= 66539 MiB



End job on node50 on Sat Jan  6 08:52:04 UTC 2007