Trace number 206007

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 18.3632 18.5491

DiagnosticValue
CHECKS13191336
NODES2000

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-7.xml
MD5SUM3a09cea65bd3e5d4e2bba63fad548068
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.2027
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/206007-1168073505/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.69	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.69	       =>  wckTime=0.381  cpuTime=0.29  mem=34M237
0.69	   
0.69	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
4.58	   
4.58	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 71M873)
7.14	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=35  nbConvertConstraintsChecks=5507402
7.14	     nbExtensionStructures=35  nbSharedExtensionStructures=0  nbConflictsStructures=35  nbSharedConflictsStructures=0
7.14	     nbSharedBinaryRepresentations=17810  nbEvaluationManagers=7412  nbSharedEvaluationManagers=2620  maxDegree=13
7.14	     maxArity=2
7.14	       =>  wckTime=6.824  cpuTime=6.2  mem=57M164
7.29	   
7.29	   solver IterativeSystematicSolver being built... 
7.80	       =>  wckTime=7.483  cpuTime=6.55  mem=91M185
16.22	   
16.22	   preprocessing
16.22	     nbConstraintChecks=12793880  nbValidityChecks=1361622  nbPropagations=4635  nbRevisions=52850
16.22	     nbUselessRevisions=41316  nbRemovedValues=721462  detectedInconsistency=no
16.22	       =>  wckTime=8.391  cpuTime=8.28  mem=91M185
18.51	   
18.51	   search
18.51	     run=0  nbConstraintChecks=397456  nbValidityChecks=585259  nbPropagations=11079  nbRevisions=90495
18.51	     nbUselessRevisions=73671  nbAssignments=2000  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=2001
18.51	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=1010
18.51	       =>  wckTime=10.681  cpuTime=10.51  mem=114M837
18.51	   
18.51	   global
18.51	     nbConstraintChecks=13191336  nbValidityChecks=1946881  nbPropagations=15714  nbRevisions=143345
18.51	     nbUselessRevisions=114987  nbRestartNogoods=0  solvingWckTime=10.684  solvingCpuTime=10.51  expiredTime=no
18.51	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=17.13
18.51	       =>  wckTime=18.195  cpuTime=17.08  mem=114M837
18.51	   
18.51	s SATISFIABLE
18.51	v -2194 2510 -2450 -2890 2690 2690 2274 -2506 -2550 -2658 -2082 -2242 -2542 -2638 -2846 2754 2242 -2222 -2110 -2854 -2854 -2450 -2886 -2502 -2390 -2274 1990 1990 -2550 -2382 2074 2006 2566 -2606 2862 -2806 -2706 2814 -2770 -2086 -2854 2766 2038 -2838 -2854 -2706 2574 2578 -2686 2774 -2314 -2770 2478 -2034 -2562 -2518 -2826 -2694 -2854 2654 -2738 -2150 -2238 2030 -2386 1990 2210 -2462 2482 -2646 -2074 -2842 -2826 -2830 -2842 -2622 -2642 -2266 -2418 -2074 -2482 -2394 2214 -2670 -2594 -2894 -2730 -2302 2718 -2338 2114 -2818 2142 -2774 1990 -2578 -2114 2770 2438 2210 -2706 2258 -2486 -2718 -2586 2602 2014 -2742 2366 2842 2218 2642 -2302 -2418 -2530 2030 2518 2278 -2834 -2010 2798 -2894 2694 -2830 -2602 -2150 -2006 -2070 2110 -2834 -2070 -2510 2646 -2478 2238 -2642 -2322 -2278 2826 -2262 2650 -2794 -2194 -2486 -2894 2854 -2606 -2374 2270 -2302 -2522 -2818 -2534 -2894 2794 2194 -2174 2522 -2750 2606 -2278 -2654 -2474 -2634 -2030 2850 2594 -2478 2702 -2074 -2854 -2666 -2378 2562 2830 2446 2154 -2426 2834 -2586 -2834 -2482 2774 -2830 -2506 -2066 -2894 -2546 -2446 2730 2286 -2378 -2354 -1990 2454 -2034 -2190 2754 2290 1990 2266 -2110 -2490 2366 2730 -2258 -1994 2438 -2894 -2414 -2774 2102 -2342 -2750 2794 -2658 2718 -2510 -2382 -2618 -2894 -2614 -2046 2522 -2394 -2254 -2854 -2374 -2742 -2482 -2778 2838 2746 2282 -2714 -2702 -2490 -2374 -2746 2138 -2706 -1990 2030 2226 2030 2894 2702 -2582 -2326 -2258 -2458 2030 2526 -2582 2286 -2038 2386 -2658 -2706 -2166 -2422 -2854 2810 -2334 -2866 2274 -2870 -2374 2298 -1990 -2834 -2610 -2894 -2770 -2622 1990 -2786 -2894 -2674 -2454 -2562 2678 2582 -2478 -2038 2894 1990 -2078 -2362 2306 -2494 2678 -2410 2574 2286 -2250 -2602 -2786 -2190 -2842 2814 -2570 -2258 2750 2602 2250 -2030 -2486 -2650 -2638 2590 -2230 2142 -2534 2150 2430 2850 -2894 -2718 1990 1990 -2874 -2894 -2710 -2786 -2466 -2782 -2854 -2626 -2854 -2490 -2590 -2550 -2394 -2538 2478 -2582 2162 -2674 1990 -2390 -2442 -2362 2334 -2014 -2450 2838 -2146 2742 -2386 -2046 -2614 -2226 2430 2166 -2598 2190 2030 -2854 1990 -2854 -2182 2030 -2650 1990 -2722 -2034 -2142 2342 -2854 -2802 -2098 -2038 2458 2446 -2598 -2222 2558 -2414 -2586 -2378 -2038 -2770 2334 -2010 1990 2674 -2854 -2778 -2394 -2674 -2174 2838 2214 -2854 -2430 -2070 -2542 -2234 2726 -2882 -2894 -2234 2254 2310 -2826 -2178 2006 -2442 2306 -1994 2218 -2742 -2634 -2642 -2154 2854 -2290 2894 -2378 -2406 2330 -2114 2354 -2742 2834 -2014 -2682 -2330 -2794 2478 -2522 -2214 -2230 -2546 2878 2162 -2826 -2854 2254 -2526 2258 2466 -2562 2854 -2442 2182 2878 -2546 -2670 2082 2030 -2246 -2826 -2298 -2598 -2418 2514 -2594 -2186 2330 -2114 -2710 -2438 -2894 -2558 -2894 2238 -2318 2182 -2382 -2310 2154 2842 2046 -2338 2222 -2550 -2426 -2630 2490 -2030 -2542 -2362 -2826 2530 -2486 -2230 2370 2430 -2706 1990 -2314 -2654 -1990 -2754 -2474 -2866 -2618 -2458 -2154 -2894 2746 2746 2458 -2854 2586 -2110 -2894 -2730 2126 -2074 -2686 -2082 2894 -2854 -2854 2702 -2366 2622 -2826 2410 -1994 -2466 -2854 -2502 -2782 2266 -2658 -2882 -2614 -2510 -2434 2706 -2114 -1990 -2666 -2622 -2642 -2078 2030 2794 -2214 -2482 -1994 1994 -2206 -2654 -2622 -2790 2218 2866 -2618 2250 -2674 -2398 -2434 2582 -2470 2110 -2018 -2398 1990 2086 2246 2250 2442 -2034 -2854 -2630 -2818 2374 -2614 -2122 -2714 -2042 2314 2722 -2190 2550 -2710 -2842 -2034 2846 -2358 -2894 -2838 -2066 2158 -2694 -2746 -2478 2358 -2530 2070 2710 -2042 -2786 2334 -2246 -2490 -2662 -2794 1990 2098 -2882 -2274 -2130 -2190 -2726 -2830 -2662 -2010 -2354 -2726 -2166 -2894 2086 -2894 -2042 -2582 2706 -2702 -2018 1990 -2886 2838 -2350 -2698 1990 -2274 -2102 -2858 -2110 -2030 -2494 -2482 -2894 -2894 -2194 -2566 -2106 -2054 2442 2190 -2778 -2622 -2854 2706 2654 -2894 2502 -2262 -2394 2774 -2854 2510 -2682 -2630 -2794 2574 2746 2606 -2294 -2478 2446 -2630 -2854 2430 -2558 2522 2742 2442 -2366 -2602 -2678 2102 -2654 -2870 -2394 -2414 -2894 -2810 2810 -2150 -2214 -2358 -2878 -2894 -2390 2238 2874 -2414 -2606 2218 2066 2230 2422 2706 2622 -2014 2510 2438 2734 2538 -2622 2682 -2206 -2638 -2662 -2418 -2854 -2030 -2342 -2686 -2882 -2126 2690 -2206 -2690 -2546 2714 -2150 2354 2122 -2318 -2342 2602 -2662 -2814 -2054 -2670 -2350 -2150 -2326 2498 -2566 -2390 -2466 -2438 2554 2178 -2478 2626 2086 2546 -2670 -2518 -2806 -2438 -2206 -2046 2534 -2534 -2018 -2030 -2894 -2662 2302 -2782 -2854 -2206 -2682 -2518 2446 -2190 -2506 2578 -2494 -2034 -2798 -2746 2586 -2142 2802 -2182 1998 -2422 -2654 -2374 2130 -2218 -2250 -2394 -2246 2606 -2446 2498 -2030 -2762 -2654 -2882 -2618 2030 -2586 2806 -2686 -2518 -2866 2810 -2022 2606 2030 -2638 -2146 2158 -2462 2646 -2182 -2174 -2746 -2334 2326 2522 -2518 2514 2390 2030 -2562 -2630 -2198 -2286 2034 2030 -2350 2818 -2894 -2050 -2222 -2774 -2542 -2046 -2374 2534 2134 -2746 -2798 -2490 1990 -2078 -2842 -2130 2374 2554 -2178 2806 2030 -2314 2826 -2634 2482 1990 -2494 -2774 -1990 1990 -2054 2830 -2058 2458 2478 -2650 2346 2430 -2410 -2150 -2586 -2894 2638 -2894 2542 -2374 2690 -2786 -2642 -2114 -2486 2154 -2694 -2894 -2222 -2398 -2326 -2282 -2450 -2750 -2790 -2442 -2102 2566 -2818 -2030 2030 -2282 -2642 2630 -2598 -2350 2658 -2482 -2826 -2894 2022 2518 -2746 2502 -2758 -2686 -2826 2442 -2482 -2702 2798 -2890 -2582 -2490 -2202 -2706 2566 -2170 -2090 2842 2802 -2406 -2518 -2570 -2266 -2858 -2214 -2490 -2214 -2098 -2894 -2842 -2314 2290 2526 -2894 2478 -2198 -2106 -2274 -2338 -2726 -2038 1990 2794 -2546 2774 2350 2606 -2666 2458 2018 -2546 -2122 -2354 -2854 2790 -2826 -2610 -2318 2758 -2790 -2374 -2862 -2414 -2594 -2854 2422 -2406 2058 2406 -2718 2594 -2674 -2794 2314 -2382 -2030 2374 2574 -2278 2422 -2698 2162 -2834 2678 -2414 -1994 -2158 2322 -2854 -2038 -2738 -2354 -2514 -2598 -2558 -2706 -2878 -2530 2794 -2854 -2142 2482 2562 2566 -2054 -2046 2030 2418 -2310 2458 -1994 -2426 -2702 -2386 2650 2154 -2450 -2418 -2582 -2494 1990 -2454 -2038 2726 -2570 1990 -2602 2678 -2794 -2346 2386 -2262 2850 -2230 -2662 -2378 -2770 2122 -2794 2562 -2442 -2466 -2622 -2058 -2278 -2658 -2174 -2838 2382 2602 2706 2482 2530 -2026 -2638 2114 -2850 2602 2438 -2894 -2894 -2542 -2546 -2714 -2550 2214 2374 -2182 -2058 1990 -2746 2758 -2694 -2070 -2750 2018 2298 2226 2802 2226 2170 -2074 -2638 -2794 2306 -2846 2538 -2398 -2414 -2854 -2894 -2746 -2250 2474 -2826 2854 2834 -2642 -2010 -2854 -2334 2354 -2030 2434 2746 2470 -2026 -2758 -1990 2858 -2742 -2346 2842 2006 -2854 2290 2802 2210 -2578 -2526 2366 2786 -2758 -2734 -2894 -2566 2206 -2890 -2130 -2882 2798 -2426 -2614 -2366 -2738 -2638 -2754 2394 2126 2786 -1998 1990 -2554 2106 -2706 2282 -2034 2150 -2190 2290 2326 2366 2410 2154 2850 -1990 -2046 2254 2070 -2154 2514 2714 2602 -1994 -2490 2582 -2166 -2810 2538 -2174 2466 -2126 2386 2554 -2202 2834 -2162 -2654 -2306 -2006 -2574 -2774 -2082 -2854 -2386 -2674 -2854 2890 -2498 -2438 2818 -2526 -2622 -2530 -2374 -2894 2242 -2226 -2154 -2534 -2854 2682 2134 -2598 -2622 2670 -2546 -2726 2550 -2734 2062 -2494 -2510 -2518 -2478 2610 -2210 2234 2826 -2842 -2786 -2690 -2886 -2030 2442 -2390 2370 -2322 2834 -2390 -2482 2498 -2198 -2094 -2710 -2522 -2494 2058 -2858 2694 -2198 -2518 -2570 -2854 -2606 -2614 -2066 2478 -2410 2730 -2210 -2530 -2494 2510 -2734 -2694 2442 -2130 2642 2314 -2594 -2218 -2894 -2062 -2558 -2058 -2498 -2346 2046 2418 2402 -2842 2578 -2166 -2086 -2742 -2366 -2302 -2890 2378 -2286 -2794 2878 -2854 2302 -2678 -2414 -2414 2042 -2274 -2798 -2122 -2306 2694 -2702 -2894 2666 -2530 -2414 2250 -2854 2302 2658 2314 -2470 2834 -2346 2562 -2170 -2326 -2554 -2258 2062 -2730 -2518 -2322 -2030 2374 2242 2750 2802 2230 -2690 -2854 -2694 2658 2890 -2882 2802 2330 -2106 -2194 -2454 2142 -2586 -2610 2814 -2310 2138 2226 -2458 2318 -2826 -2842 -2066 1990 2734 2750 2730 -2338 -2566 2174 2686 2542 -2006 2854 2798 2350 -2474 -2786 2570 2794 -2242 2438 2266 -2466 -2578 -2558 2198 -2030 2782 -2578 -1994 -2490 -2678 2518 2618 -2098 -2818 -2174 2750 -2106 -2454 2034 2698 2418 2054 -2546 -1990 -2746 -2198 -2194 -2854 2438 -2666 -2030 2122 -2654 -2262 -2758 2514 -2894 -2202 -2822 2594 -2894 2702 -2442 -2586 -2894 -2562 -2274 2334 2030 2510 -2298 2634 -2698 -2658 -2134 2542 -2426 1998 2130 -2350 -2498 -2622 2786 2206 -2374 -2370 -2394 -2742 2270 -2630 -2146 -2562 -1990 2678 -2554 -1990 2290 -2298 2086 2078 -2350 2186 -2574 -2794 2578 -2458 -2406 -2230 -2262 -2678 -2426 -2546 -2846 -2042 -2854 -2786 -2030 2538 2338 2510 1998 -2314 -2706 -2282 -2638 -2854 2446 2450 2346 2462 2666 -2394 -2530 -2894 -1990 2498 -2854 -2274 2542 2170 -1998 2182 -2370 2846 2834 -2734 -2182 2670 2310 2698 -2882 -2726 2194 2002 2886 2838 -2194 -2414 2550 -2766 -2618 -2322 2502 -2854 -2786 2854 -2038 -2834 2482 -2542 2454 -2030 -2366 2858 -2398 -2418 -2662 2002 -2870 1990 -2222 2450 -2482 -2590 -2430 2450 2650 -2418 -2586 2846 -2314 -2610 2814 2806 2174 -2582 1990 2314 -2170 -2742 -2546 1990 2294 -2358 2810 2854 -2334 2430 -2702 2730 -2038 2490 2190 2746 -2306 -2414 -2486 2458 2866 -2502 -2678 -2226 -2382 2854 -2042 -2534 -2710 2110 -2634 2762 -2014 -2746 2746 -2274 -2274 -2382 -2326 -2034 -2714 -2894 -2110 2582 2738 -2326 2094 -2694 2822 2518 -2354 -2030 2570 -1990 2330 2134 -2350 2746 -2478 -2070 2202 -1990 -2518 -2334 -2002 1990 -2290 2582 -2110 -2438 2166 2142 -2878 -2234 -2458 2870 2654 -2170 -2894 2030 -2838 -2030 2482 -1990 -2618 2054 -2646 -2754 -2806 -2854 -2582 2354 -2566 -2546 2162 2394 -2758 2190 -2706 -2638 -2694 2598 -2550 -2354 2030 1994 -2366 -2618 -2854 -2870 -2790 2374 2390 -2082 -2818 -2602 -2174 -2034 -2638 -2030 -2414 -2378 -2582 2050 -2126 -2250 -2326 -2622 -2466 2786 -2490 2170 2894 -2526 2354 -2450 2030 -2642 -2742 -2426 -2894 -2866 -2894 -2030 -2770 -2854 -2614 2646 -2450 2770 2418 -2518 -2074 -2582 -2162 -2618 -2334 -2542 -2798 -2498 -2750 -2798 2734 -2466 -2562 -2854 2286 -2326 2282 -2806 -2586 2854 -2714 -2066 -2514 -2462 2266 2666 2118 2058 -2342 2234 -2646 -2846 2102 2854 -2838 -2718 -2034 2894 2046 -2162 -2542 -2846 -2470 -2478 -2314 2706 2278 -2842 -2854 -2590 2790 -2834 -2854 -2130 -2406 -2894 -2146 -2754 2682 2894 -2030 -2182 -2470 2114 -2330 -2582 -2338 -2058 -2418 -2374 2274 -2398 -2478 -2350 -2874 2534 -2542 2846 -2374 -2766 -2646 2650 -1998 1998 -2894 2562 -2062 -2678 -2030 -2282 -2350 -2406 2106 -2830 2030 2314 2738 -2106 -1994 -2014 -2214 -2390 2502 -2342 -2354 -2398 -2294 -2210 2474 -2778 2554 -2798 -2622 -2894 2274 -2302 2850 2346 -2262 -2250 -2742 2854 -2470 -2398 -2826 2854 -2506 -2030 -2706 2426 2754 2730 -2562 -1998 -2662 2766 -2418 -2698 2002 -2070 2462 2038 -2574 2478 -2826 -2758 -2770 2490 -2362 2022 2438 2662 -2850 -2894 2590 -2378 2290 -2786 -2518 2158 1990 -2682 2858 -2654 2282 2682 -2350 -2610 -2470 -2030 2522 -2582 -2854 2438 2098 -1998 -2762 1990 -2470 -2778 -2250 -2374 -2030 2110 -2282 -2030 2242 -2342 2030 -2710 -2150 2398 2558 -2786 2350 2054 -2658 -2522 -2826 2426 -2118 -2606 2686 -2718 2594 2402 2030 2850 2254 -2650 -2542 -2834 -2522 -2894 2694 2030 -2778 2042 -2538 2686 -2238 -2046 2702 -2894 -2290 -2718 -2390 2794 2574 -2894 -2690 -2414 2846 -2662 -2690 -2062 -2842 2538 -2310 -2478 -2618 -2274 -2894 -2058 -2458 -2802 -2490 -2050 -2042 -2854 2758 -2506 -2534 -2734 2194 -2586 2082 -2578 2030 2618 2262 -1990 2394 2830 -2762 2626 -2754 -2218 2302 -2578 -2246 2550 -2482 -2798 -2390 -2894 2562 2110 -2502 -2030 -2802 -2462 2322 -2322 -2786 -2894 -2566 -2266 -2006 -2854 2690 -2050 2278 -1994 -2578 2150 -2806 2378 -2418 2266 2458 
18.51	d NODES 2000
18.51	d CHECKS 13191336
18.51	   
18.51	   totalWckTime=18.278  totalCpuTime=17.13

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/node4/watcher-206007-1168073505 -o ROOT/results/node4/solver-206007-1168073505 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206007-1168073505/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.71 1.78 1.88 4/93 11663
/proc/meminfo: memFree=1146056/2055920 swapFree=4191880/4192956
[pid=11662] ppid=11660 vsize=906644 CPUtime=0.01
/proc/11662/stat : 11662 (java) S 11660 11662 11483 0 -1 0 2069 0 1 0 1 0 0 0 18 0 2 0 155746089 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/11662/statm: 226661 1818 1036 14 0 214244 0
[pid=11662/tid=11664] ppid=11660 vsize=906644 CPUtime=0
/proc/11662/task/11664/stat : 11664 (java) R 11660 11662 11483 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155746093 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.105827 s]
/proc/loadavg: 1.71 1.78 1.88 4/93 11663
/proc/meminfo: memFree=1146056/2055920 swapFree=4191880/4192956
[pid=11662] ppid=11660 vsize=914988 CPUtime=0.09
/proc/11662/stat : 11662 (java) R 11660 11662 11483 0 -1 0 3010 0 1 0 8 1 0 0 17 0 8 0 155746089 936947712 2756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11662/statm: 228747 2756 1432 14 0 215242 0
[pid=11662/tid=11664] ppid=11660 vsize=914988 CPUtime=0
/proc/11662/task/11664/stat : 11664 (java) S 11660 11662 11483 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155746093 936947712 2756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.517867 s]
/proc/loadavg: 1.71 1.78 1.88 4/93 11663
/proc/meminfo: memFree=1146056/2055920 swapFree=4191880/4192956
[pid=11662] ppid=11660 vsize=915328 CPUtime=0.5
/proc/11662/stat : 11662 (java) S 11660 11662 11483 0 -1 0 7701 0 1 0 46 4 0 0 18 0 8 0 155746089 937295872 7440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11662/statm: 228832 7440 2138 14 0 215302 0
[pid=11662/tid=11664] ppid=11660 vsize=915328 CPUtime=0
/proc/11662/task/11664/stat : 11664 (java) S 11660 11662 11483 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155746093 937295872 7440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34495 s]
/proc/loadavg: 1.73 1.79 1.88 5/100 11670
/proc/meminfo: memFree=1066384/2055920 swapFree=4191880/4192956
[pid=11662] ppid=11660 vsize=915616 CPUtime=1.31
/proc/11662/stat : 11662 (java) R 11660 11662 11483 0 -1 0 24279 0 1 0 120 11 0 0 19 0 8 0 155746089 937590784 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11662/statm: 228904 24016 2160 14 0 215374 0
[pid=11662/tid=11664] ppid=11660 vsize=915616 CPUtime=0.09
/proc/11662/task/11664/stat : 11664 (java) S 11660 11662 11483 0 -1 64 7735 0 0 0 7 2 0 0 16 0 8 0 155746093 937590784 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11665] ppid=11660 vsize=915616 CPUtime=0
/proc/11662/task/11665/stat : 11665 (java) S 11660 11662 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155746094 937590784 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11666] ppid=11660 vsize=915616 CPUtime=0
/proc/11662/task/11666/stat : 11666 (java) S 11660 11662 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155746094 937590784 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11667] ppid=11660 vsize=915616 CPUtime=0
/proc/11662/task/11667/stat : 11667 (java) S 11660 11662 11483 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155746097 937590784 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11668] ppid=11660 vsize=915616 CPUtime=0.17
/proc/11662/task/11668/stat : 11668 (java) S 11660 11662 11483 0 -1 64 409 0 0 0 16 1 0 0 19 0 8 0 155746097 937590784 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11669] ppid=11660 vsize=915616 CPUtime=0
/proc/11662/task/11669/stat : 11669 (java) S 11660 11662 11483 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155746097 937590784 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11670] ppid=11660 vsize=915616 CPUtime=0
/proc/11662/task/11670/stat : 11670 (java) S 11660 11662 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155746097 937590784 24016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915616

[startup+2.9821 s]
/proc/loadavg: 1.73 1.79 1.88 3/100 11670
/proc/meminfo: memFree=1057936/2055920 swapFree=4191880/4192956
[pid=11662] ppid=11660 vsize=915744 CPUtime=2.94
/proc/11662/stat : 11662 (java) R 11660 11662 11483 0 -1 0 24354 0 1 0 282 12 0 0 25 0 8 0 155746089 937721856 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11662/statm: 228936 24090 2180 14 0 215406 0
[pid=11662/tid=11664] ppid=11660 vsize=915744 CPUtime=0.09
/proc/11662/task/11664/stat : 11664 (java) S 11660 11662 11483 0 -1 64 7735 0 0 0 7 2 0 0 17 0 8 0 155746093 937721856 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11665] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11665/stat : 11665 (java) S 11660 11662 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155746094 937721856 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11666] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11666/stat : 11666 (java) S 11660 11662 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155746094 937721856 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11667] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11667/stat : 11667 (java) S 11660 11662 11483 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155746097 937721856 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11668] ppid=11660 vsize=915744 CPUtime=0.19
/proc/11662/task/11668/stat : 11668 (java) S 11660 11662 11483 0 -1 64 422 0 0 0 18 1 0 0 16 0 8 0 155746097 937721856 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11669] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11669/stat : 11669 (java) S 11660 11662 11483 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155746097 937721856 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11670] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11670/stat : 11670 (java) S 11660 11662 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155746097 937721856 24090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915744

[startup+6.26542 s]
/proc/loadavg: 1.73 1.79 1.88 3/100 11670
/proc/meminfo: memFree=1051088/2055920 swapFree=4191880/4192956
[pid=11662] ppid=11660 vsize=915744 CPUtime=6.19
/proc/11662/stat : 11662 (java) R 11660 11662 11483 0 -1 0 26829 0 1 0 606 13 0 0 25 0 8 0 155746089 937721856 26561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154017526 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11662/statm: 228936 26561 2181 14 0 215406 0
[pid=11662/tid=11664] ppid=11660 vsize=915744 CPUtime=0.24
/proc/11662/task/11664/stat : 11664 (java) S 11660 11662 11483 0 -1 64 10179 0 0 0 21 3 0 0 16 0 8 0 155746093 937721856 26561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11665] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11665/stat : 11665 (java) S 11660 11662 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155746094 937721856 26561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11666] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11666/stat : 11666 (java) S 11660 11662 11483 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155746094 937721856 26561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11667] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11667/stat : 11667 (java) S 11660 11662 11483 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155746097 937721856 26561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11668] ppid=11660 vsize=915744 CPUtime=0.23
/proc/11662/task/11668/stat : 11668 (java) S 11660 11662 11483 0 -1 64 448 0 0 0 22 1 0 0 16 0 8 0 155746097 937721856 26561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11669] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11669/stat : 11669 (java) S 11660 11662 11483 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155746097 937721856 26561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11670] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11670/stat : 11670 (java) S 11660 11662 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155746097 937721856 26561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915744

[startup+12.756 s]
/proc/loadavg: 1.77 1.79 1.88 3/100 11670
/proc/meminfo: memFree=1000912/2055920 swapFree=4191880/4192956
[pid=11662] ppid=11660 vsize=915744 CPUtime=12.62
/proc/11662/stat : 11662 (java) R 11660 11662 11483 0 -1 0 38969 0 1 0 1242 20 0 0 25 0 8 0 155746089 937721856 38694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074161680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11662/statm: 228936 38694 2533 14 0 215406 0
[pid=11662/tid=11664] ppid=11660 vsize=915744 CPUtime=0.59
/proc/11662/task/11664/stat : 11664 (java) S 11660 11662 11483 0 -1 64 21841 0 0 0 51 8 0 0 16 0 8 0 155746093 937721856 38694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11665] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11665/stat : 11665 (java) S 11660 11662 11483 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155746094 937721856 38694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11666] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11666/stat : 11666 (java) S 11660 11662 11483 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155746094 937721856 38694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11667] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11667/stat : 11667 (java) S 11660 11662 11483 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155746097 937721856 38694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11668] ppid=11660 vsize=915744 CPUtime=0.34
/proc/11662/task/11668/stat : 11668 (java) S 11660 11662 11483 0 -1 64 508 0 0 0 32 2 0 0 15 0 8 0 155746097 937721856 38694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11669] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11669/stat : 11669 (java) S 11660 11662 11483 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155746097 937721856 38694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11662/tid=11670] ppid=11660 vsize=915744 CPUtime=0
/proc/11662/task/11670/stat : 11670 (java) S 11660 11662 11483 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155746097 937721856 38694 18446744073709551615 134512640 134570532 4294956464 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): 18.5491
CPU time (s): 18.3632
CPU user time (s): 18.1342
CPU system time (s): 0.228965
CPU usage (%): 98.9976
Max. virtual memory (cumulated for all children) (KiB): 915744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1342
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39010
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= 1910
involuntary context switches= 2684

runsolver used 0.024996 s user time and 0.066989 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 08:51:45 UTC 2007


IDJOB= 206007
IDBENCH= 4181
FILE ID= node4/206007-1168073505

PBS_JOBID= 3475769

Free space on /tmp= 66304 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3a09cea65bd3e5d4e2bba63fad548068

RANDOM SEED= 803498112

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.223
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.223
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:       1146472 kB
Buffers:         73740 kB
Cached:         656108 kB
SwapCached:        268 kB
Active:         458964 kB
Inactive:       354304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1146472 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4368 kB
Writeback:           0 kB
Mapped:         111720 kB
Slab:            80576 kB
Committed_AS:  4533240 kB
PageTables:       2516 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= 66304 MiB



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