Trace number 206039

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.2911 19.4163

DiagnosticValue
CHECKS16403195
NODES2114

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-9.xml
MD5SUMc41a224ced2d9da1b6c70f54377c78b8
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.0447
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/206039-1168073512/unknown.xml
0.35	   
0.35	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.65	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.65	       =>  wckTime=0.357  cpuTime=0.25  mem=34M237
0.65	   
0.65	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
4.58	   
4.58	   INFO : Stopping converting binary constraints (cpu=4.09, mem = 71M875)
6.96	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=39  nbConvertConstraintsChecks=6221090
6.96	     nbExtensionStructures=39  nbSharedExtensionStructures=0  nbConflictsStructures=39  nbSharedConflictsStructures=0
6.96	     nbSharedBinaryRepresentations=21530  nbEvaluationManagers=7406  nbSharedEvaluationManagers=2622  maxDegree=13
6.96	     maxArity=2
6.96	       =>  wckTime=6.666  cpuTime=6.11  mem=58M156
7.11	   
7.11	   solver IterativeSystematicSolver being built... 
7.58	       =>  wckTime=7.291  cpuTime=6.43  mem=91M153
16.80	   
16.80	   preprocessing
16.80	     nbConstraintChecks=15762881  nbValidityChecks=1433125  nbPropagations=4379  nbRevisions=50219
16.80	     nbUselessRevisions=39041  nbRemovedValues=715564  detectedInconsistency=no
16.80	       =>  wckTime=9.195  cpuTime=9.13  mem=91M153
17.13	   
17.13	   search
17.13	     run=0  nbConstraintChecks=122786  nbValidityChecks=195068  nbPropagations=5635  nbRevisions=61713
17.13	     nbUselessRevisions=49306  nbAssignments=114  nbFailedAssignments=4  nbBacktracks=12  nbVisitedNodes=123
17.13	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=110
17.13	       =>  wckTime=9.527  cpuTime=9.43  mem=92M160
19.33	   
19.33	   search
19.33	     run=1  nbConstraintChecks=640314  nbValidityChecks=1115786  nbPropagations=19676  nbRevisions=176046
19.34	     nbUselessRevisions=144237  nbAssignments=2114  nbFailedAssignments=4  nbBacktracks=12  nbVisitedNodes=2123
19.34	     nbRestartNogoods=1  mapSize=0  nbInferences=0  nbTooLargeKeys=1142
19.34	       =>  wckTime=11.733  cpuTime=11.6  mem=114M433
19.34	   
19.34	   global
19.34	     nbConstraintChecks=16403195  nbValidityChecks=2548911  nbPropagations=24055  nbRevisions=226265
19.34	     nbUselessRevisions=183278  nbRestartNogoods=1  solvingWckTime=11.734  solvingCpuTime=11.6  expiredTime=no
19.34	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=18.1
19.34	       =>  wckTime=19.046  cpuTime=18.05  mem=114M433
19.34	   
19.34	s SATISFIABLE
19.34	v -2198 -2514 2450 -2890 2690 -2690 2274 -2506 -2550 -2658 -2082 -2326 -2542 -2638 2842 -2774 2234 2214 -2114 -2854 -2854 2442 -2822 -2502 -2390 -2274 1990 1990 2542 -2378 2078 -2002 2562 2606 -2894 -2806 2710 -2818 -2770 -2142 -2854 2766 2034 -2838 -2854 -2894 2574 -2578 -2686 -2838 -2314 -2770 -2478 -2046 -2562 -2518 -2854 -2698 -2854 2654 -2734 -2150 -2234 -2030 -2386 -2102 2214 -2470 -2486 -2642 -2086 -2838 -2826 -2806 -2842 -2622 -2642 -2266 -2430 -2070 -2494 -2394 -2218 -2674 -2594 -2854 2730 -2306 2718 -2334 -2110 -2818 2142 -2778 1990 -2578 -2126 -2774 -2438 2206 -2706 -2262 2482 2718 -2582 2602 2014 -2714 -2374 -2842 -2214 2642 -2298 2414 -2530 2030 2518 2290 -2854 -2002 -2838 -2894 -2698 -2842 -2602 -2238 -2130 -2074 2110 -2834 2070 -2514 2646 -2478 2238 2642 -2318 2294 2786 -2338 -2650 2734 -2194 -2486 2854 2854 -2602 -2374 2270 -2298 -2454 -2818 -2534 -2894 2814 -2198 -2174 2522 -2750 2610 -2274 2650 -2474 -2634 -2030 2758 -2594 -2478 -2702 -2078 -2830 -2674 -2382 -2562 2830 2442 2158 -2418 -2834 -2586 -2834 2470 -2774 -2830 -2506 -2082 -2894 -2546 -2450 -2730 2282 -2382 -2354 -1990 2450 -2174 -2190 2754 -2294 1990 2258 -2114 -2486 2370 2730 -2254 -1998 -2438 -2894 -2414 -2774 -2098 2338 -2746 -2798 -2658 2718 -2510 2382 2622 -2882 -2618 -2182 2522 -2394 -2274 -2854 -2374 -2742 2462 -2778 2842 2734 2282 -2718 -2790 -2490 2374 -2742 2130 2702 2030 1998 2226 2030 -2878 -2706 -2582 2326 -2258 2454 2030 -2518 2582 -2322 2042 2386 -2654 -2698 -2170 -2418 -2854 2810 2330 -2866 2274 -2870 -2378 -2298 -2002 -2838 -2610 -2894 -2770 -2622 1990 2786 -2894 -2674 -2454 -2562 -2682 -2586 2470 2038 2894 -1990 -2082 -2354 -2314 -2494 2678 -2414 -2586 -2286 2258 -2602 -2786 -2190 -2846 -2814 -2574 -2258 2810 -2594 2246 -2030 2478 -2646 -2646 2590 -2230 -2142 -2530 2142 2422 -2894 -2894 -2722 1990 -1990 -2878 2678 -2710 -2786 2458 -2786 -2846 -2622 -2854 -2482 -2586 -2630 -2394 2534 2474 -2582 2158 -2678 -2106 -2394 -2442 2362 2334 -2014 2450 2834 -2070 2738 -2382 -2042 -2618 -2210 2434 -2258 -2594 2190 2034 -2854 1990 -2854 2198 2030 2646 -2002 -2718 -2042 -2126 -2342 -2854 2806 -2106 -2034 2458 2446 2598 -2170 2558 -2418 -2586 2378 -2030 2770 2334 -2006 2014 2674 -2894 -2778 -2390 -2678 -2170 2854 -2234 -2854 -2434 -2074 -2542 -2234 2714 -2882 -2826 -2238 2262 2310 2822 2182 2002 -2434 2306 -2002 -2298 -2742 -2634 -2642 -2170 2854 -2286 -2894 -2374 -2406 -2330 -2118 -2358 -2742 2830 -2014 -2682 -2330 -2794 2478 -2518 -2214 -2230 -2542 2874 -2162 -2826 -2854 -2250 -2518 2258 2466 -2562 2838 -2446 2194 2878 -2546 -2670 -2078 1990 -2242 -2826 -2298 -2606 -2414 2510 -2594 -2190 2330 -2118 2714 -2438 -2894 -2562 -2894 2230 2330 2198 -2382 -2302 -2162 -2842 2030 -2342 -2222 -2550 -2418 -2630 2494 -2042 -2542 -2362 -2826 -2530 -2482 2230 2370 2438 -2706 2002 2314 -2666 2030 -2758 -2474 -2870 -2614 -2458 -2154 2778 2750 2738 -2458 -2854 2578 -2102 -2894 -2738 2122 -2078 -2674 -2086 -2894 -2854 -2854 2702 -2366 -2626 2762 2410 -2030 -2470 -2854 -2510 -2782 2266 -2666 -2882 -2614 -2510 -2434 2706 -2110 -1990 -2670 2618 -2642 -2134 -2030 2786 -2222 2482 -2042 1994 -2210 -2658 -2614 2782 -2222 2802 -2626 2242 2682 -2398 -2426 -2582 -2470 -2114 -2010 2402 1990 2086 2250 2246 2446 -2002 -2890 -2630 -2818 -2374 -2654 -2118 -2722 -2042 -2314 -2734 -2190 2550 -2710 -2842 -1990 2894 -2358 -2894 -2838 -2070 2158 -2694 -2750 2474 2358 -2530 -2062 -2706 -2054 -2786 2334 -2250 2490 -2654 2798 -1990 2106 -2882 -2270 -2146 -2190 2734 -2830 2654 -1990 -2354 -2730 2202 2850 -2086 -2894 2030 -2582 2702 -2702 -2022 -1990 -2854 -2894 -2350 -2702 -2030 -2274 -2114 -2858 -2110 -2030 -2494 -2482 -2786 -2894 -2202 2558 -2106 -2058 2442 -2190 2722 2614 -2854 -2710 2654 2894 -2502 -2254 2390 2774 -2854 2510 -2682 -2630 2786 -2578 -2750 2602 -2298 -2478 2446 -2634 -2854 -2426 2558 2514 2754 2438 -2366 -2602 -2678 -2182 2654 -2870 2394 -2414 -2894 -2810 -2818 -2074 -2222 -2358 -2882 -2894 -2398 2238 -2894 -2410 -2606 2218 2070 -2230 2422 -2722 2630 -2010 -2506 2434 -2734 2534 -2622 -2682 -2218 -2566 2662 -2410 -2854 -2062 -2342 2694 -2882 -2050 2690 -2202 2690 -2542 2714 -2150 -2362 2002 -2314 -2342 2602 -2654 -2810 -2054 2670 -2350 2154 -2326 2498 -2566 2390 -2466 -2438 2546 2178 -2478 2634 2086 2546 -2670 -2518 -2806 2438 -2210 -2090 2530 -2526 2046 -2030 -2894 2658 2302 -2794 -2854 -2130 -2682 -2518 2442 -2194 -2506 -2586 -2490 -2030 -2798 -2746 -2586 -2150 2810 -2182 -1998 -2422 2658 -2378 2130 -2218 -2254 -2386 -2282 -2606 -2446 2498 2046 -2758 -2654 -2882 -2626 1990 -2586 -2854 2674 -2518 -2746 2818 -2034 2606 2026 -2638 -2146 2174 -2462 -2654 -2130 -2174 -2854 -2334 2322 -2522 -2514 2514 -2390 2030 -2554 -2630 2214 -2282 -2030 -2030 -2346 -2894 2870 -2030 -2158 2774 -2542 -2046 -2374 -2546 2130 -2746 -2806 2494 -1990 -2074 -2842 -2150 2374 2562 -2174 -2806 -2030 -2314 -2834 -2638 2482 1990 -2498 2774 -1990 1990 -2054 2830 -2074 2470 2478 -2654 -2342 2442 2430 -2154 2582 -2894 -2654 -2894 2546 -2374 2686 -2778 -2642 -2118 -2486 2158 -2694 2746 -2222 -2398 -2330 -2274 -2450 -2754 -2850 -2442 -2182 -2566 -2854 -2046 2034 -2254 -2642 2634 -2602 -2350 -2658 -2478 2822 -2894 -1998 -2514 2746 -2506 -2750 2682 -2826 2442 -2474 -2702 -2790 -2854 -2578 -2490 -2198 -2706 -2566 2162 -2086 2786 -2802 2410 2510 2578 -2270 -2854 -2214 -2490 -2214 -2090 -2894 -2842 -2314 -2290 2530 -2894 -2474 -2198 -2122 -2274 -2338 2726 -2030 1990 2790 -2542 -2770 -2350 2606 -2662 2454 -2022 -2542 -2126 -2354 -2854 2790 -2830 2606 -2314 2758 -2766 2366 -2854 2406 -2622 -2854 -2426 -2414 -2062 2406 -2718 -2594 -2678 2838 2306 -2386 -2042 -2374 2574 -2274 -2430 -2698 2150 -2826 2694 -2418 2030 -2230 2314 -2854 -2034 -2762 -2354 -2506 -2598 -2554 -2706 -2874 -2530 -2794 -2854 -2158 -2482 2558 2566 -2054 -2070 -2030 -2414 -2310 2458 -2006 2418 -2702 2386 -2650 2162 -2390 -2422 -2582 -2490 1990 -2454 2030 2726 -2570 1990 -2602 -2678 -2798 -2346 2382 -2266 2850 -2230 -2662 -2374 -2778 2110 -2794 2562 -2442 -2466 -2622 -2058 -2270 -2662 2174 -2838 2378 2594 2710 -2478 2526 -2022 -2638 2118 -2858 2602 2434 -2894 -2894 -2542 2546 -2718 -2550 -2214 -2374 -2198 -2050 -1994 -2746 2762 -2690 1990 -2750 2014 2298 2226 -2814 -2226 -2162 -2070 2638 2794 -2298 -2846 -2538 -2398 -2358 -2854 -2894 -2750 -2246 2470 2818 -2854 2826 -2642 -2010 -2866 -2334 -2366 -2030 2434 2742 2474 -2018 2798 -1990 -2894 -2742 -2346 -2842 -1990 -2854 2290 2802 2218 2574 -2526 -2358 2790 2758 -2798 -2894 -2566 -2210 -2890 -2130 -2882 2798 -2426 -2614 -2370 -2742 -2642 2754 2398 -2122 -2894 -1990 1990 -2554 -2030 -2706 -2282 -2034 -2150 -2182 2282 -2322 -2366 2410 -2158 2850 2006 -2010 2254 2070 -2170 -2518 2710 2598 -1990 -2490 2578 -2162 -2814 2534 -2178 2466 -2122 -2378 -2582 2198 2830 -2042 -2658 -2306 2050 -2578 -2774 -2094 -2894 -2378 -2678 -2854 2798 -2498 -2438 2814 -2522 -2626 -2530 -2370 2842 -2258 -2226 2214 -2534 -2854 2682 2218 -2598 -2622 2674 -2538 -2726 2546 -2734 2074 -2490 -2510 2510 -2478 2606 -2202 -2314 -2826 -2842 2786 2694 -2882 -2042 2438 2378 -2378 -2314 2838 -2390 -2486 -2498 -2278 -2098 -2710 -2522 2490 2086 -2858 -2698 -2190 2518 -2566 -2854 -2606 -2610 -2074 2478 -2414 -2730 2202 -2534 2490 -2506 -2734 -2694 -2446 2126 2642 2310 -2602 2218 -2894 -2074 -2558 -2054 -2494 2346 2042 2414 -2402 -2834 2586 -2162 -2082 -2826 -2366 -2302 -2890 2374 -2286 2782 -2854 -2854 -2302 -2678 -2414 -2414 -2042 -2278 -2802 -2122 2306 -2690 -2702 -2894 -2666 -2538 -2418 -2258 -2718 -2306 2666 2314 2466 -2854 2346 -2562 -2174 -2326 -2554 -2258 -2058 -2742 -2514 -2322 -2030 -2370 2246 -2746 2802 -2230 -2690 -2842 -2694 -2658 -2894 2826 2798 -2338 -2110 -2130 -2458 -2238 -2586 -2606 2814 -2306 2134 2226 2454 -2322 -2826 -2842 -2062 1990 2734 2758 2730 -2338 -2570 2174 2682 2542 -1990 2854 -2802 2350 -2558 -2786 2570 -2794 -2214 2438 2258 -2458 -2578 -2558 -2198 -2042 2778 -2570 -2134 -2474 -2682 2522 -2626 2114 -2818 2182 2742 -2114 -2454 2038 2698 2418 -2054 -2546 -1994 -2750 -2206 2198 -2854 2434 -2666 2046 2118 -2650 2258 -2758 2514 -2894 -2218 -2854 2598 -2894 2694 -2502 2582 -2894 -2562 -2274 -2334 2030 -2502 -2298 2634 -2698 -2658 -2138 2538 -2422 1994 2134 -2354 -2502 -2622 2790 2242 -2374 -2374 -2406 -2742 2262 -2630 -2162 -2562 -2106 -2678 2554 -2006 -2270 -2306 -2090 2074 -2354 -2170 -2614 -2794 2574 -2462 2406 -2230 -2262 -2678 2422 -2542 -2846 -2058 -2854 2794 -2030 2530 -2346 -2510 1990 -2314 2706 -2286 -2642 -2786 2446 2454 2346 2462 2662 2402 2534 -2894 -1990 2498 -2854 -2278 -2542 -2190 -1994 -2182 -2374 2850 -2878 -2730 -2182 -2670 -2306 2702 -2882 -2714 -2210 2002 2886 2842 -2202 -2410 -2550 -2774 -2618 2322 2498 -2854 -2782 2850 -2034 -2822 -2486 -2542 -2450 -2038 -2370 2854 -2398 -2422 -2662 2006 -2854 -1990 -2234 -2450 -2482 -2590 -2430 -2442 -2646 -2414 -2582 2846 -2314 -2614 2814 2810 2178 -2582 2022 -2314 -2170 -2746 -2546 1990 -2290 2358 2802 -2854 -2330 -2434 -2702 2730 -2094 2494 2190 2746 2298 2414 -2490 2450 2862 -2502 -2678 -2230 -2382 -2894 -2046 -2534 -2706 2106 -2638 -2770 2018 2746 -2746 -2274 -2274 -2386 -2322 -2070 2718 -2894 -2114 -2582 2750 -2330 2094 -2698 -2894 2518 2346 -2042 2570 2082 -2310 2134 -2350 -2746 -2478 2066 2202 -2038 -2518 -2338 -2002 1990 -2222 2582 -2110 -2442 2170 -2142 -2894 -2234 -2454 2870 2650 -2170 -2894 2030 -2834 -2054 -2486 -2030 -2618 2054 -2642 -2758 -2802 -2854 -2578 2354 -2562 -2546 2158 -2394 -2758 2198 -2706 -2642 -2706 2606 2546 2350 1990 -1990 2362 -2622 2890 -2870 -2798 -2398 -2402 2098 -2818 -2602 -2174 -2030 -2634 -2030 -2414 -2378 -2582 -2050 -2126 -2246 -2326 -2622 -2462 2782 -2490 2186 2850 -2522 2354 -2450 2030 -2642 -2742 -2426 -2894 -2866 -2894 -2030 -2778 -2854 -2614 2646 2434 2782 2418 -2518 -2086 -2582 -2162 -2618 2334 2538 -2818 2498 -2750 -2798 2734 -2466 2554 -2854 -2290 -2326 2286 -2806 -2582 2730 -2714 -2058 -2514 -2462 2266 -2682 2114 2066 -2342 -2238 -2646 -2846 -2086 2854 -2842 -2718 2030 2894 -2030 -2166 -2542 2842 -2466 -2470 -2318 -2706 2282 -2842 -2854 -2590 2802 -2834 2854 -2202 2402 -2894 -2150 -2754 2682 2894 -2030 -2190 -2470 -2126 -2322 -2586 -2338 -2146 -2414 -2374 -2274 -2398 -2478 -2346 -2874 2530 -2538 -2862 -2378 2766 -2650 -2646 -1994 -1990 -2886 2558 -2058 -2678 -2030 -2286 -2350 -2398 -2110 -2894 2030 2314 -2738 -2122 1990 2014 2214 -2386 2502 -2342 -2350 -2398 -2210 -2206 2474 -2778 -2546 -2798 -2622 -2854 2274 -2302 2850 -2354 -2266 -2254 2750 -2882 -2462 -2394 -2826 2854 2498 -2030 2694 2426 2750 -2738 -2570 -2002 -2662 -2766 -2418 -2698 -1990 -2002 2470 2030 -2566 2478 2826 -2778 -2762 2490 -2358 2018 2438 -2662 -2854 2770 -2594 -2378 -2298 -2786 -2518 -2166 -2006 -2682 2858 -2658 2274 2682 -2346 -2610 -2474 -2066 -2526 2582 -2826 -2438 2098 -1990 -2774 1998 -2474 -2790 -2262 -2378 -2062 2110 -2282 -1990 -2246 -2346 2030 -2714 2150 2398 2554 -2786 -2338 -2050 -2654 -2510 -2826 2430 -2122 -2606 2690 -2718 2586 2402 2030 2778 2258 -2654 -2538 -2834 2530 -2894 2690 2030 -2774 2046 -2538 2686 2334 2046 -2674 -2894 -2286 -2718 -2394 2790 -2574 -2894 -2686 -2414 -2894 -2670 -2694 2038 -2842 -2546 -2314 -2478 2614 -2274 -2894 -2062 -2454 -2802 2482 -2046 -2042 -2818 -2766 -2506 -2530 -2734 -2254 -2586 2078 -2582 2030 2618 2262 -1990 -2394 2830 -2774 2630 -2754 -2222 -2302 -2582 -2250 -2554 -2482 2798 2390 -2890 2554 -2110 -2510 -2066 2794 -2470 2322 -2322 -2786 -2894 2562 -2266 -2110 -2854 -2690 -2042 2274 -1990 2574 2146 2726 2374 2414 2266 2462 
19.34	d NODES 2114
19.34	d CHECKS 16403195
19.34	   
19.34	   totalWckTime=19.124  totalCpuTime=18.1

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/node59/watcher-206039-1168073512 -o ROOT/results/node59/solver-206039-1168073512 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206039-1168073512/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.88 1.97 1.82 4/80 23827
/proc/meminfo: memFree=1366584/2055920 swapFree=4192812/4192956
[pid=23826] ppid=23824 vsize=47416 CPUtime=0
/proc/23826/stat : 23826 (java) R 23824 23826 23511 0 -1 0 903 0 1 0 0 0 0 0 17 0 1 0 155749303 48553984 652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151972501 0 4 0 7368 0 0 0 17 0 0 0
/proc/23826/statm: 11854 656 535 14 0 1707 0

[startup+0.104316 s]
/proc/loadavg: 1.88 1.97 1.82 4/80 23827
/proc/meminfo: memFree=1366584/2055920 swapFree=4192812/4192956
[pid=23826] ppid=23824 vsize=914988 CPUtime=0.09
/proc/23826/stat : 23826 (java) R 23824 23826 23511 0 -1 0 3079 0 1 0 8 1 0 0 23 0 8 0 155749303 936947712 2825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23826/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51232 s]
/proc/loadavg: 1.88 1.97 1.82 4/80 23827
/proc/meminfo: memFree=1366584/2055920 swapFree=4192812/4192956
[pid=23826] ppid=23824 vsize=915328 CPUtime=0.5
/proc/23826/stat : 23826 (java) R 23824 23826 23511 0 -1 0 8360 0 1 0 45 5 0 0 25 0 8 0 155749303 937295872 8100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23826/statm: 228832 8102 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33341 s]
/proc/loadavg: 1.89 1.97 1.82 3/87 23834
/proc/meminfo: memFree=1281088/2055920 swapFree=4192812/4192956
[pid=23826] ppid=23824 vsize=915648 CPUtime=1.32
/proc/23826/stat : 23826 (java) R 23824 23826 23511 0 -1 0 24279 0 1 0 121 11 0 0 25 0 8 0 155749303 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23826/statm: 228912 24016 2160 14 0 215382 0
[pid=23826/tid=23828] ppid=23824 vsize=915648 CPUtime=0.09
/proc/23826/task/23828/stat : 23828 (java) S 23824 23826 23511 0 -1 64 7735 0 0 0 7 2 0 0 16 0 8 0 155749306 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23829] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23829/stat : 23829 (java) S 23824 23826 23511 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155749307 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23830] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23830/stat : 23830 (java) S 23824 23826 23511 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155749307 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23831] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23831/stat : 23831 (java) S 23824 23826 23511 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155749310 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23832] ppid=23824 vsize=915648 CPUtime=0.15
/proc/23826/task/23832/stat : 23832 (java) S 23824 23826 23511 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 155749310 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23833] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23833/stat : 23833 (java) S 23824 23826 23511 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155749310 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23834] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23834/stat : 23834 (java) S 23824 23826 23511 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155749310 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915648

[startup+2.97058 s]
/proc/loadavg: 1.89 1.97 1.82 3/87 23834
/proc/meminfo: memFree=1266688/2055920 swapFree=4192812/4192956
[pid=23826] ppid=23824 vsize=915648 CPUtime=2.95
/proc/23826/stat : 23826 (java) R 23824 23826 23511 0 -1 0 24354 0 1 0 284 11 0 0 25 0 8 0 155749303 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23826/statm: 228912 24090 2180 14 0 215382 0
[pid=23826/tid=23828] ppid=23824 vsize=915648 CPUtime=0.09
/proc/23826/task/23828/stat : 23828 (java) S 23824 23826 23511 0 -1 64 7735 0 0 0 7 2 0 0 17 0 8 0 155749306 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23829] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23829/stat : 23829 (java) S 23824 23826 23511 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155749307 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23830] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23830/stat : 23830 (java) S 23824 23826 23511 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155749307 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23831] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23831/stat : 23831 (java) S 23824 23826 23511 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155749310 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23832] ppid=23824 vsize=915648 CPUtime=0.17
/proc/23826/task/23832/stat : 23832 (java) S 23824 23826 23511 0 -1 64 423 0 0 0 17 0 0 0 15 0 8 0 155749310 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23833] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23833/stat : 23833 (java) S 23824 23826 23511 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155749310 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23834] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23834/stat : 23834 (java) S 23824 23826 23511 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155749310 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915648

[startup+6.27194 s]
/proc/loadavg: 1.89 1.97 1.82 3/87 23834
/proc/meminfo: memFree=1080648/2055920 swapFree=4192812/4192956
[pid=23826] ppid=23824 vsize=915648 CPUtime=6.25
/proc/23826/stat : 23826 (java) R 23824 23826 23511 0 -1 0 27106 0 1 0 612 13 0 0 25 0 8 0 155749303 937623552 26838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23826/statm: 228912 26840 2182 14 0 215382 0
[pid=23826/tid=23828] ppid=23824 vsize=915648 CPUtime=0.27
/proc/23826/task/23828/stat : 23828 (java) R 23824 23826 23511 0 -1 64 10459 0 0 0 24 3 0 0 16 0 8 0 155749306 937623552 26841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23829] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23829/stat : 23829 (java) S 23824 23826 23511 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155749307 937623552 26844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23830] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23830/stat : 23830 (java) S 23824 23826 23511 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155749307 937623552 26845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23831] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23831/stat : 23831 (java) S 23824 23826 23511 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155749310 937623552 26847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23832] ppid=23824 vsize=915648 CPUtime=0.22
/proc/23826/task/23832/stat : 23832 (java) S 23824 23826 23511 0 -1 64 449 0 0 0 21 1 0 0 15 0 8 0 155749310 937623552 26849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23833] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23833/stat : 23833 (java) S 23824 23826 23511 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155749310 937623552 26850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23834] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23834/stat : 23834 (java) S 23824 23826 23511 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155749310 937623552 26851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915648

[startup+12.7487 s]
/proc/loadavg: 1.90 1.97 1.82 3/87 23834
/proc/meminfo: memFree=1030280/2055920 swapFree=4192812/4192956
[pid=23826] ppid=23824 vsize=915648 CPUtime=12.69
/proc/23826/stat : 23826 (java) R 23824 23826 23511 0 -1 0 38962 0 1 0 1251 18 0 0 25 0 8 0 155749303 937623552 38686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074139996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23826/statm: 228912 38686 2533 14 0 215382 0
[pid=23826/tid=23828] ppid=23824 vsize=915648 CPUtime=0.57
/proc/23826/task/23828/stat : 23828 (java) S 23824 23826 23511 0 -1 64 21833 0 0 0 50 7 0 0 16 0 8 0 155749306 937623552 38686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23829] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23829/stat : 23829 (java) S 23824 23826 23511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155749307 937623552 38686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23830] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23830/stat : 23830 (java) S 23824 23826 23511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155749307 937623552 38686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23831] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23831/stat : 23831 (java) S 23824 23826 23511 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155749310 937623552 38686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23832] ppid=23824 vsize=915648 CPUtime=0.32
/proc/23826/task/23832/stat : 23832 (java) S 23824 23826 23511 0 -1 64 510 0 0 0 31 1 0 0 15 0 8 0 155749310 937623552 38686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23833] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23833/stat : 23833 (java) S 23824 23826 23511 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155749310 937623552 38686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23826/tid=23834] ppid=23824 vsize=915648 CPUtime=0
/proc/23826/task/23834/stat : 23834 (java) S 23824 23826 23511 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155749310 937623552 38686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 19.4163
CPU time (s): 19.2911
CPU user time (s): 19.0711
CPU system time (s): 0.219966
CPU usage (%): 99.3548
Max. virtual memory (cumulated for all children) (KiB): 915648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.0711
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39005
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= 2144
involuntary context switches= 2400

runsolver used 0.027995 s user time and 0.071989 s system time

The end

Launcher Data (download as text)

Begin job on node59 on Sat Jan  6 08:51:52 UTC 2007


IDJOB= 206039
IDBENCH= 4183
FILE ID= node59/206039-1168073512

PBS_JOBID= 3475960

Free space on /tmp= 66537 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c41a224ced2d9da1b6c70f54377c78b8

RANDOM SEED= 112570402

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.239
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.239
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:       1374488 kB
Buffers:         44440 kB
Cached:         403476 kB
SwapCached:          0 kB
Active:         209264 kB
Inactive:       396904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1374488 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           14704 kB
Writeback:           0 kB
Mapped:         177716 kB
Slab:            60328 kB
Committed_AS:  3686916 kB
PageTables:       2176 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= 66537 MiB



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