Trace number 206023

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 19.3081 19.5226

DiagnosticValue
CHECKS15205782
NODES2000

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-8.xml
MD5SUM7f44d72a5fa7a0f4922e4f4ea44d0317
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.0357
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/206023-1168073509/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.382  cpuTime=0.29  mem=34M237
0.69	   
0.69	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
4.56	   
4.56	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 71M873)
7.11	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=36  nbConvertConstraintsChecks=5602742
7.11	     nbExtensionStructures=36  nbSharedExtensionStructures=0  nbConflictsStructures=36  nbSharedConflictsStructures=0
7.11	     nbSharedBinaryRepresentations=18405  nbEvaluationManagers=7415  nbSharedEvaluationManagers=2616  maxDegree=13
7.11	     maxArity=2
7.11	       =>  wckTime=6.796  cpuTime=6.19  mem=58M237
7.27	   
7.27	   solver IterativeSystematicSolver being built... 
7.78	       =>  wckTime=7.47  cpuTime=6.53  mem=91M195
17.21	   
17.21	   preprocessing
17.21	     nbConstraintChecks=14687193  nbValidityChecks=1423736  nbPropagations=4540  nbRevisions=51940
17.21	     nbUselessRevisions=40505  nbRemovedValues=718354  detectedInconsistency=no
17.21	       =>  wckTime=9.4  cpuTime=9.29  mem=91M195
19.44	   
19.44	   search
19.44	     run=0  nbConstraintChecks=518589  nbValidityChecks=775403  nbPropagations=12105  nbRevisions=98689
19.44	     nbUselessRevisions=80983  nbAssignments=2000  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=2001
19.44	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=1037
19.44	       =>  wckTime=11.639  cpuTime=11.48  mem=114M805
19.45	   
19.45	   global
19.45	     nbConstraintChecks=15205782  nbValidityChecks=2199139  nbPropagations=16645  nbRevisions=150629
19.45	     nbUselessRevisions=121488  nbRestartNogoods=0  solvingWckTime=11.641  solvingCpuTime=11.48  expiredTime=no
19.45	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=18.08
19.45	       =>  wckTime=19.134  cpuTime=18.03  mem=114M805
19.45	   
19.45	s SATISFIABLE
19.45	v -2202 -2518 2458 -2890 2686 -2690 2274 -2510 -2550 -2658 -2082 -2322 -2542 -2638 -2846 -2774 2242 2206 -2110 -2854 -2854 2442 -2886 -2502 -2398 -2274 -1990 1990 2546 -2390 2074 2006 2562 -2606 2862 -2806 2710 -2818 -2770 -2094 -2850 -2894 2038 -2838 -2854 -2706 2574 2578 -2686 2774 -2314 -2770 2482 -2034 -2562 -2518 -2854 -2694 -2854 2654 -2738 -1990 2238 -2030 -2382 1990 2210 -2466 2486 -2642 -2078 -2846 -2826 -2834 -2842 -2622 -2642 -2262 -2422 -2070 -2482 -2394 2214 -2666 -2590 -2894 -2726 -2306 2718 -2338 -2110 -2818 2142 -2778 1990 -2582 -2118 -2774 2438 2210 -2706 2258 2482 2714 -2582 2602 2018 -2746 2374 2842 2218 2638 -2302 2414 -2530 2030 2518 2278 -2834 -2014 -2838 -2894 2698 -2846 -2602 -2146 -2130 -2070 2110 -2834 -2070 -2514 2646 -2478 2238 -2642 -2322 -2286 2786 -2334 -2654 -2814 -2194 -2486 2854 2854 -2606 -2374 2270 -2294 -2522 -2818 -2534 -2894 2794 2194 -2174 2522 -2750 -2610 -2278 -2658 -2474 -2634 -2030 2850 -2594 -2478 -2702 -2070 -2830 2666 -2378 -2562 2830 2446 2162 2410 -2834 -2586 -2834 2474 2774 -2830 -2506 -2082 -2894 -2546 -2450 2730 2278 -2382 -2350 -1990 -2454 -2178 -2190 2754 2282 1990 2266 -2110 -2486 2366 2730 -2258 1998 2434 2814 -2414 -2774 2094 -2350 -2746 -2794 -2658 2722 -2514 2382 -2614 -2854 -2614 -2054 2522 -2394 -2258 -2854 -2382 -2742 -2486 -2778 2846 2750 2278 -2718 2702 2490 -2374 -2746 2142 -2706 -1990 2006 2226 2030 -2878 -2706 -2582 2326 2258 -2458 -2030 -2518 2578 -2326 -2042 2382 -2658 2706 -2050 2418 -2854 2810 -2330 -2866 2274 -2870 -2374 -2298 -1990 -2834 -2606 -2894 -2770 -2622 1990 2786 -2886 -2674 -2454 -2562 2674 2578 -2478 -2038 2894 1990 -2078 2350 2302 -2494 2682 -2414 2578 -2286 -2246 -2602 -2786 -2190 -2842 -2814 -2570 -2258 -2754 -2602 -2258 -2054 -2486 -2650 -2638 2590 -2230 -2142 -2530 2150 -2422 2850 -2894 2722 1990 1990 -2878 -2678 -2710 2786 2474 2782 -2854 -2622 -2850 -2482 -2590 -2550 -2390 -2530 2478 -2582 2154 -2670 -2106 2402 -2446 2366 2334 -2014 -2450 2834 -2070 2738 -2378 -2046 -2618 2226 2434 -2254 -2594 2190 2030 -2854 1990 -2854 -2098 2030 -2650 -1994 2718 -2042 2142 -2346 -2854 2802 -2106 -2038 2462 -2442 -2598 -2130 2566 -2414 -2586 2374 -2030 -2770 2342 -2006 2030 2674 -2854 -2778 2390 -2678 -2174 2802 2218 -2854 -2426 -2070 -2546 -2234 -2714 -2882 -2894 -2242 2250 2310 -2826 -2178 2002 -2434 2306 2002 2218 -2746 -2634 -2642 -2162 2854 -2298 2894 -2378 -2406 -2330 -2114 -2346 -2742 2834 -2014 -2682 2334 -2794 2478 -2522 -2222 2230 -2546 2878 -2158 2826 -2854 -2254 -2526 -2258 2470 -2562 2838 2310 2194 2762 -2546 -2674 -2078 2030 -2250 2822 -2298 -2602 -2418 2514 -2594 -2178 2330 -2114 -2710 -2442 -2890 -2558 -2894 2230 2318 2182 -2386 -2306 -2158 -2842 2030 -2342 2222 -2554 -2418 -2634 2490 -2042 -2542 -2358 -2826 -2538 -2482 -2230 -2370 2430 -2706 2002 -2314 -2654 2030 -2754 -2474 -2866 -2618 -2454 -2154 2798 2750 2746 2462 -2854 -2586 -2102 -2894 2730 1990 -2074 -2674 -2082 2894 -2854 -2854 2702 -2366 2622 2754 2406 2110 -2470 -2854 -2502 -2786 2266 -2662 -2882 -2614 -2494 -2434 2706 -2118 -1990 2662 2618 -2642 -2082 2030 -2794 -2218 2478 -2050 1994 -2202 -2654 -2622 -2786 -2218 2794 -2618 2238 -2678 -2398 -2430 -2582 -2470 -2110 -2010 -2398 1990 2086 2246 2250 2446 -2010 -2894 -2630 -2818 -2374 -2610 -2122 -2718 -2042 -2314 2722 -2190 -2554 -2710 -2842 2030 2846 2358 -2894 -2802 -2066 2158 -2694 -2742 -2478 2358 -2530 -2062 -2710 -2078 -2786 2334 -2246 2490 2658 2786 1990 -2098 -2882 -2274 2130 -2030 2722 -2830 -2662 -1990 -2354 -2730 -2126 2854 -2082 -2894 -2030 -2582 -2706 -2702 -2018 1990 -2886 -2838 -2350 -2702 -2030 -2278 -2102 -2858 -2110 -2030 -2498 2486 -2894 -2894 -2198 2558 -2106 -2054 -2442 2190 -2778 -2622 -2854 -2710 -2658 -2894 -2498 -2246 2394 2774 -2854 2510 -2682 -2626 2786 -2574 2750 -2602 -2298 -2478 2450 -2634 -2854 -2426 -2562 2518 2746 2438 -2366 -2602 -2674 2102 -2654 -2870 -2394 -2414 -2894 -2810 2810 -2070 -2290 -2358 -2854 -2894 -2390 -2234 -2894 -2410 -2602 -2214 2066 2230 2422 2702 2630 -2094 2510 2438 -2734 2538 2626 -2678 -2214 -2642 -2662 2414 -2854 -2042 -2342 -2690 -2882 -2042 2690 -2210 -2694 -2546 2714 -2150 2354 -2206 -2318 -2346 2602 -2662 -2810 2054 -2674 -2350 -2150 2326 -2498 -2562 -2390 -2466 -2438 2546 2178 -2478 2626 2086 2546 -2666 -2518 -2806 -2438 -2206 2090 2534 -2534 -2026 -2030 -2894 2658 2302 2786 -2854 -2090 -2682 -2518 2442 -2190 -2506 -2586 -2494 -2030 -2794 -2746 2586 2138 2806 -2182 1998 -2422 -2654 -2378 2130 -2218 -2250 2390 2286 -2606 -2446 2502 -2038 -2758 -2654 -2882 -2630 1990 -2590 2806 -2674 -2518 -2826 2810 -2026 2606 2030 -2638 -2146 2158 -2462 -2650 -2170 2174 -2746 -2334 2318 -2522 -2518 2514 2390 2030 -2562 -2634 -2198 -2362 -2034 2030 -2354 -2890 2870 -2030 -2222 -2774 -2542 -2046 -2374 2538 2134 -2750 -2810 -2490 1990 -2078 -2842 -2138 2374 2554 -2178 2810 2030 -2314 -2834 -2630 2482 -1990 -2494 2774 -1990 1990 -2058 2830 -2074 2462 2474 -2650 2338 2430 -2434 -2150 -2586 -2894 2642 -2894 2542 -2378 2690 -2786 2642 -2118 -2490 2154 -2694 2746 -2222 -2402 -2334 -2282 -2454 -2750 -2794 -2438 -2102 2558 -2854 -2046 2034 -2278 -2642 2626 -2602 -2350 -2658 -2482 -2826 -2894 2002 -2518 -2746 -2502 -2754 -2682 -2826 2442 -2474 2702 -2794 -2890 -2582 -2490 -2206 -2710 2566 2162 -2090 2842 -2802 -2410 2514 2582 2262 -2858 -2134 -2490 -2214 -2102 -2894 -2842 -2314 -2290 2522 -2894 2482 -2198 -2106 -2274 -2338 2726 -2034 -2094 -2794 2542 -2770 -2358 -2602 -2666 2458 -2018 -2546 -2126 -2358 -2850 2790 -2826 -2610 -2318 -2762 -2794 2370 -2866 -2410 -2622 -2854 2422 -2414 2058 -2410 -2718 -2598 -2674 -2790 2314 -2382 -2030 2374 2574 -2278 -2426 -2698 2162 2826 2682 -2418 -1990 -2190 2310 -2854 -2038 -2738 -2354 -2506 -2598 -2558 -2706 -2874 -2530 2794 -2854 -2142 2482 2558 2566 -2054 -2046 2030 -2418 -2310 -2458 -1994 -2426 -2702 -2386 2646 -2158 -2394 2426 -2586 -2494 1990 -2454 -2042 2726 2566 1990 -2598 2674 2794 -2342 2382 -2266 2850 2230 2654 -2378 -2770 2122 -2794 2566 -2438 -2466 -2622 2058 2270 -2658 -2182 -2834 2378 -2602 2702 -2478 2526 -2018 -2642 -2110 -2850 2602 2438 -2894 -2894 -2538 2550 -2718 -2550 2210 -2374 -2182 -2050 1990 -2746 2762 2690 -2062 -2750 -2010 -2298 2226 -2814 2226 2170 -2078 2638 -2794 -2306 -2846 -2542 -2398 -2414 2854 -2894 -2750 -2250 2474 -2826 2846 2834 -2642 -2002 -2854 -2338 -2370 -2030 2434 2746 2474 -2026 2798 -1990 -2894 -2742 -2282 2842 2002 -2854 2294 2802 2210 -2578 -2526 -2354 2790 -2758 2734 -2894 -2562 -2202 -2890 -2126 -2882 2802 2422 -2614 -2374 -2742 -2634 -2754 2386 2126 -2894 -2002 1990 -2558 -2030 -2706 2282 -2034 2150 -2190 2282 -2322 -2366 2414 -2158 2850 2006 -1994 2250 2070 -2162 2514 2710 2598 -1990 -2490 2582 -2030 -2814 2542 -2174 2466 -2122 -2370 -2582 -2194 2834 -2246 -2658 -2322 -2034 -2578 -2774 -2118 -2894 -2378 -2678 -2854 2890 -2498 -2438 -2818 -2522 -2618 -2530 -2370 2838 -2258 -2222 -2154 -2534 -2854 2682 2206 -2598 -2614 2670 -2546 -2726 2550 -2734 2062 2494 2514 -2518 -2478 2610 -2210 2242 -2826 -2842 -2786 -2690 -2886 -2030 2442 2382 2370 2310 2838 -2390 -2486 2502 -2194 -2166 -2710 -2522 -2494 2066 -2854 2690 2230 -2522 -2570 -2854 -2598 -2618 -2106 2478 -2418 2730 -2198 -2530 -2490 2506 -2734 -2694 -2446 -2130 2642 2314 -2594 -2218 -2894 -2066 -2558 -2050 -2498 2350 2042 2418 2402 -2842 2578 2162 -2086 -2822 -2366 2306 -2894 2378 -2286 -2794 2878 -2854 -2306 -2678 -2414 -2414 2042 2278 -2798 -2122 -2310 2690 -2702 -2894 2666 -2542 -2418 2250 -2718 2302 2670 2314 -2466 -2854 2346 2558 -2174 -2326 -2550 -2254 -2054 -2730 -2518 -2322 -2030 -2370 -2242 -2750 2802 -2230 -2690 -2894 -2698 2654 -2894 -2882 -2806 2330 -2106 -2122 -2454 -2138 -2586 -2610 2810 -2322 2138 2222 2454 -2318 -2826 -2842 -2058 1990 2734 2754 2730 -2338 -2562 2170 2686 2542 -1990 -2854 -2806 2350 -2474 -2786 -2578 2794 2238 2442 2258 -2466 -2582 -2558 -2198 -2042 2778 -2574 -2138 -2490 -2678 2518 2622 2114 -2818 -2178 2746 -2066 -2458 -2038 -2694 -2418 -2054 -2546 -1994 -2746 -2198 -2198 -2854 2442 -2666 -2030 2118 -2650 -2262 -2758 -2522 -2894 -2218 -2822 2594 -2894 -2698 -2446 -2586 -2894 -2562 -2274 -2334 2030 -2506 -2298 2634 -2698 -2658 -2126 2542 2422 1998 -2134 2334 -2502 -2622 2786 2166 -2374 2374 -2410 -2742 2266 -2634 -2146 -2562 -1990 -2678 2554 -1998 -2274 -2306 -2082 2074 -2350 2186 -2570 -2794 2502 2462 2402 -2230 -2326 -2678 2430 -2546 -2846 -2046 -2854 -2794 -2030 2534 -2346 -2518 1994 -2318 -2706 -2294 -2642 -2786 2450 2450 2346 2462 2662 -2394 -2530 -2894 -2058 2494 -2854 -2282 2542 -2178 -1998 2182 -2378 2846 2830 -2734 -2182 2674 2314 -2698 2878 -2714 2202 2002 2890 -2894 -2198 -2414 -2534 -2762 -2622 -2318 2502 -2854 -2786 2854 -2038 -2834 -2270 -2542 -2454 -2034 -2370 2850 -2398 -2418 -2662 2002 -2874 1990 -2234 2450 2482 -2590 -2430 2442 2650 -2414 -2586 2850 -2318 2610 2810 2806 2166 -2586 2002 -2314 -2170 -2746 -2546 1990 2294 -2362 -2806 -2854 2334 -2442 -2702 2730 -2042 2490 2190 2746 2298 -2414 -2490 2454 2866 2498 -2682 -2222 -2382 2854 -2042 -2538 2706 -2106 -2634 2766 -2014 -2746 2746 -2282 -2274 -2386 2322 -2070 2714 2894 -2110 -2582 2742 -2326 2094 -2694 2826 2518 -2354 -2034 -2570 2082 2314 -2130 2350 2746 -2478 -2070 -2198 -2046 -2518 -2334 -2006 -1990 -2214 2582 -2110 2438 -2162 2142 -2842 -2234 -2458 2870 2650 -2166 -2894 2030 -2838 1990 2482 -2110 -2622 2054 -2646 -2746 2802 -2854 -2582 2354 -2566 -2546 2166 2394 2758 -2186 -2706 -2638 -2694 2598 -2550 -2354 2070 -1998 -2362 -2618 -2854 -2870 -2794 2374 2390 2086 -2814 -2606 -2174 2038 2634 -2030 -2414 -2378 -2582 -2042 -2126 -2250 2326 -2622 -2470 2786 -2498 2170 2894 -2526 2354 -2446 -2030 -2642 -2742 2426 -2894 -2862 -2894 -2030 -2778 -2854 -2614 2642 -2450 2770 2418 2526 -2110 -2582 -2162 -2618 -2334 -2542 -2818 2502 -2750 -2798 2734 -2462 -2558 -2854 2286 -2326 2282 -2806 -2586 -2894 -2714 -2066 2514 -2462 2262 2662 2114 2066 -2342 -2238 -2646 -2846 2102 2854 -2838 -2718 2038 2894 2042 -2166 -2538 -2842 -2466 -2474 -2318 -2706 2278 -2842 -2854 -2590 2806 -2834 -2854 -2122 2406 -2894 -2138 -2754 2682 2894 2030 -2178 -2478 2070 -2322 -2582 -2338 -2058 -2418 -2374 -2274 -2402 -2478 2282 -2874 2534 -2542 2846 -2378 -2766 -2650 2646 -1998 -1990 -2894 2562 -2062 -2678 -2022 -2282 -2350 2394 2106 -2834 2030 2318 2738 -2122 -1994 -2014 -2214 -2394 -2502 -2346 -2350 -2402 -2214 -2210 2482 -2778 -2554 -2798 -2618 -2894 -2278 2298 2854 -2342 -2262 -2242 2742 -2878 -2462 -2398 -2826 2854 -2514 -2030 2710 2426 2750 2738 -2566 -2002 -2662 -2770 -2414 -2698 -1990 -2070 2462 2042 -2574 2478 -2826 -2778 -2766 -2490 -2362 2022 -2442 2662 -2854 -2854 -2594 -2378 2286 -2786 -2518 2158 1990 2682 2858 -2650 2270 2682 -2354 -2610 -2478 -2030 2522 2582 -2854 -2438 2098 2002 -2762 1994 -2466 -2782 -2254 -2374 -2030 2110 -2282 -1990 2254 -2346 2030 -2710 2146 2398 2558 -2786 2342 2054 2658 -2514 -2826 -2430 -2118 -2602 2690 2714 2594 2398 2030 2770 -2258 -2654 -2542 -2834 -2526 -2894 2694 -2030 -2778 2042 -2538 -2686 -2326 2042 2706 -2894 -2290 -2718 -2390 2794 -2574 -2894 -2686 -2418 2846 -2670 -2694 2042 2838 -2546 -2294 -2478 -2618 -2274 -2894 -2058 -2462 -2802 -2482 -2046 -2046 -2838 -2770 -2502 -2534 -2734 2194 -2586 2082 -2578 -2018 2618 2258 -1990 2394 2830 -2774 2622 -2754 -2218 2286 -2574 -2242 -2554 2478 -2798 2390 -2894 2562 -2106 2506 -2066 2802 -2466 2326 -2322 2786 -2894 -2566 -2266 -2006 -2854 2686 -2054 2278 -1998 -2570 2146 -2854 2374 2422 2266 2466 
19.45	d NODES 2000
19.45	d CHECKS 15205782
19.45	   
19.45	   totalWckTime=19.215  totalCpuTime=18.08

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

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

/proc/loadavg: 2.06 2.03 1.90 3/80 2187
/proc/meminfo: memFree=1434592/2055920 swapFree=4192812/4192956
[pid=2186] ppid=2184 vsize=18540 CPUtime=0
/proc/2186/stat : 2186 (runsolver) R 2184 2186 1682 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155750316 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2186/statm: 4635 279 244 17 0 2626 0

[startup+0.102221 s]
/proc/loadavg: 2.06 2.03 1.90 3/80 2187
/proc/meminfo: memFree=1434592/2055920 swapFree=4192812/4192956
[pid=2186] ppid=2184 vsize=914988 CPUtime=0.08
/proc/2186/stat : 2186 (java) R 2184 2186 1682 0 -1 0 2982 0 1 0 7 1 0 0 17 0 8 0 155750316 936947712 2728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2186/statm: 228747 2728 1424 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510263 s]
/proc/loadavg: 2.06 2.03 1.90 3/80 2187
/proc/meminfo: memFree=1434592/2055920 swapFree=4192812/4192956
[pid=2186] ppid=2184 vsize=915328 CPUtime=0.49
/proc/2186/stat : 2186 (java) S 2184 2186 1682 0 -1 0 7663 0 1 0 45 4 0 0 18 0 8 0 155750316 937295872 7402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2186/statm: 228832 7402 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33335 s]
/proc/loadavg: 2.05 2.03 1.90 5/87 2194
/proc/meminfo: memFree=1354920/2055920 swapFree=4192812/4192956
[pid=2186] ppid=2184 vsize=915616 CPUtime=1.3
/proc/2186/stat : 2186 (java) R 2184 2186 1682 0 -1 0 24279 0 1 0 118 12 0 0 19 0 8 0 155750316 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073597464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2186/statm: 228904 24016 2160 14 0 215374 0
[pid=2186/tid=2188] ppid=2184 vsize=915616 CPUtime=0.09
/proc/2186/task/2188/stat : 2188 (java) S 2184 2186 1682 0 -1 64 7735 0 0 0 7 2 0 0 16 0 8 0 155750319 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2189] ppid=2184 vsize=915616 CPUtime=0
/proc/2186/task/2189/stat : 2189 (java) S 2184 2186 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750320 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2190] ppid=2184 vsize=915616 CPUtime=0
/proc/2186/task/2190/stat : 2190 (java) S 2184 2186 1682 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750320 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2191] ppid=2184 vsize=915616 CPUtime=0
/proc/2186/task/2191/stat : 2191 (java) S 2184 2186 1682 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750323 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2192] ppid=2184 vsize=915616 CPUtime=0.15
/proc/2186/task/2192/stat : 2192 (java) S 2184 2186 1682 0 -1 64 410 0 0 0 15 0 0 0 19 0 8 0 155750323 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2193] ppid=2184 vsize=915616 CPUtime=0
/proc/2186/task/2193/stat : 2193 (java) S 2184 2186 1682 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750323 937590784 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2194] ppid=2184 vsize=915616 CPUtime=0
/proc/2186/task/2194/stat : 2194 (java) S 2184 2186 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750323 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.3
Current children cumulated vsize (KiB) 915616

[startup+2.98552 s]
/proc/loadavg: 2.05 2.03 1.90 3/87 2194
/proc/meminfo: memFree=1346472/2055920 swapFree=4192812/4192956
[pid=2186] ppid=2184 vsize=915744 CPUtime=2.94
/proc/2186/stat : 2186 (java) R 2184 2186 1682 0 -1 0 24354 0 1 0 282 12 0 0 25 0 8 0 155750316 937721856 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856878 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2186/statm: 228936 24090 2180 14 0 215406 0
[pid=2186/tid=2188] ppid=2184 vsize=915744 CPUtime=0.09
/proc/2186/task/2188/stat : 2188 (java) S 2184 2186 1682 0 -1 64 7735 0 0 0 7 2 0 0 17 0 8 0 155750319 937721856 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2189] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2189/stat : 2189 (java) S 2184 2186 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750320 937721856 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2190] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2190/stat : 2190 (java) S 2184 2186 1682 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750320 937721856 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2191] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2191/stat : 2191 (java) S 2184 2186 1682 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750323 937721856 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2192] ppid=2184 vsize=915744 CPUtime=0.17
/proc/2186/task/2192/stat : 2192 (java) S 2184 2186 1682 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 155750323 937721856 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2193] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2193/stat : 2193 (java) S 2184 2186 1682 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750323 937721856 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2194] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2194/stat : 2194 (java) S 2184 2186 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750323 937721856 24090 18446744073709551615 134512640 134570532 4294956480 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.27788 s]
/proc/loadavg: 2.05 2.03 1.90 3/87 2194
/proc/meminfo: memFree=1339624/2055920 swapFree=4192812/4192956
[pid=2186] ppid=2184 vsize=915744 CPUtime=6.2
/proc/2186/stat : 2186 (java) R 2184 2186 1682 0 -1 0 26831 0 1 0 606 14 0 0 25 0 8 0 155750316 937721856 26563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155211197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2186/statm: 228936 26563 2182 14 0 215406 0
[pid=2186/tid=2188] ppid=2184 vsize=915744 CPUtime=0.24
/proc/2186/task/2188/stat : 2188 (java) S 2184 2186 1682 0 -1 64 10181 0 0 0 21 3 0 0 16 0 8 0 155750319 937721856 26563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2189] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2189/stat : 2189 (java) S 2184 2186 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750320 937721856 26563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2190] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2190/stat : 2190 (java) S 2184 2186 1682 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750320 937721856 26563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2191] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2191/stat : 2191 (java) S 2184 2186 1682 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750323 937721856 26563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2192] ppid=2184 vsize=915744 CPUtime=0.22
/proc/2186/task/2192/stat : 2192 (java) S 2184 2186 1682 0 -1 64 449 0 0 0 21 1 0 0 16 0 8 0 155750323 937721856 26563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2193] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2193/stat : 2193 (java) S 2184 2186 1682 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750323 937721856 26563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2194] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2194/stat : 2194 (java) S 2184 2186 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750323 937721856 26563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915744

[startup+12.7716 s]
/proc/loadavg: 2.04 2.03 1.90 3/87 2194
/proc/meminfo: memFree=1289256/2055920 swapFree=4192812/4192956
[pid=2186] ppid=2184 vsize=915744 CPUtime=12.63
/proc/2186/stat : 2186 (java) R 2184 2186 1682 0 -1 0 38971 0 1 0 1244 19 0 0 25 0 8 0 155750316 937721856 38696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074138395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2186/statm: 228936 38696 2533 14 0 215406 0
[pid=2186/tid=2188] ppid=2184 vsize=915744 CPUtime=0.6
/proc/2186/task/2188/stat : 2188 (java) S 2184 2186 1682 0 -1 64 21843 0 0 0 52 8 0 0 16 0 8 0 155750319 937721856 38696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2189] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2189/stat : 2189 (java) S 2184 2186 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155750320 937721856 38696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2190] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2190/stat : 2190 (java) S 2184 2186 1682 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155750320 937721856 38696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2191] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2191/stat : 2191 (java) S 2184 2186 1682 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750323 937721856 38696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2192] ppid=2184 vsize=915744 CPUtime=0.33
/proc/2186/task/2192/stat : 2192 (java) S 2184 2186 1682 0 -1 64 508 0 0 0 32 1 0 0 15 0 8 0 155750323 937721856 38696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2193] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2193/stat : 2193 (java) S 2184 2186 1682 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750323 937721856 38696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2186/tid=2194] ppid=2184 vsize=915744 CPUtime=0
/proc/2186/task/2194/stat : 2194 (java) S 2184 2186 1682 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750323 937721856 38696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915744

Child status: 0
Real time (s): 19.5226
CPU time (s): 19.3081
CPU user time (s): 19.0821
CPU system time (s): 0.225965
CPU usage (%): 98.901
Max. virtual memory (cumulated for all children) (KiB): 915744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.0821
system time used= 0.225965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39013
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= 1927
involuntary context switches= 2549

runsolver used 0.023996 s user time and 0.075988 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Jan  6 08:51:49 UTC 2007


IDJOB= 206023
IDBENCH= 4182
FILE ID= node47/206023-1168073509

PBS_JOBID= 3475959

Free space on /tmp= 66522 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7f44d72a5fa7a0f4922e4f4ea44d0317

RANDOM SEED= 203020638

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.240
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.240
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:       1435072 kB
Buffers:         25916 kB
Cached:         165844 kB
SwapCached:          0 kB
Active:         411984 kB
Inactive:       136504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1435072 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4288 kB
Writeback:           0 kB
Mapped:         376944 kB
Slab:            57116 kB
Committed_AS:  3586384 kB
PageTables:       2536 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= 66522 MiB



End job on node47 on Sat Jan  6 08:52:13 UTC 2007