Trace number 1087589

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 112v4 ESACSAT 37.0944 37.504

DiagnosticValue
CHECKS17360800
NODES2000

General information on the benchmark

Namecsp/fapp/fapp36/
normalized-fapp36-2000-10.xml
MD5SUMd5e3aabb8926151d3fb7baec2a204317
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 benchmark37.0944
Satisfiable
(Un)Satisfiability was proved
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.07/0.10	
0.07/0.10	Abscon 112 (May, 2008)
0.17/0.25	
0.17/0.25	   configuration
0.17/0.25	     name=esac.xml
0.27/0.30	   
0.27/0.30	   instance
0.27/0.31	     name=HOME/instance-1087589-1215244841.xml
0.27/0.34	   
0.27/0.34	   domains being loaded...
0.37/0.42	   
0.37/0.42	   variables being loaded...
0.77/0.81	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454  nbTotalValues=750979
0.77/0.81	       =>  wckTime=0.563  cpuTime=0.43  mem=34M235
0.77/0.81	   
0.77/0.81	   predicates being loaded...
0.77/0.88	   
0.77/0.88	   constraints being loaded...
20.67/20.95	   
20.67/20.95	   INFO : Stopping converting binary constraints (cpu=20.15, mem = 66M630)
27.00/27.32	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=286  nbConvertConstraintsChecks=39047928
27.00/27.32	     nbExtensionStructures=259  nbSharedExtensionStructures=44  nbConflictsStructures=518
27.00/27.32	     nbSharedConflictsStructures=161  nbUnbuiltConflictsStructures=6913  nbSharedBinaryRepresentations=150603
27.00/27.32	     nbEvaluationManagers=7172  nbSharedEvaluationManagers=2609  minDegree=2  maxDegree=13  minArity=2  maxArity=2
27.00/27.32	     nbGenerators=0  nbFusions=0  symmetryWckTime=1.66  symmetryCpuTime=1.46
27.00/27.32	       =>  wckTime=27.065  cpuTime=25.74  mem=90M573
27.28/27.67	   
27.28/27.67	   solver IterativeSystematicSolver being built... 
27.79/28.13	       =>  wckTime=27.885  cpuTime=26.07  mem=111M397
35.80/36.30	   
35.80/36.30	   preprocessing
35.80/36.30	     nbConstraintChecks=16595382  nbValidityChecks=1416696  nbPropagations=4340  nbRevisions=49472
35.80/36.30	     nbUselessRevisions=38394  nbRemovedValues=711844  detectedInconsistency=no
35.80/36.30	       =>  wckTime=8.145  cpuTime=8.04  mem=111M397
36.89/37.39	   
36.89/37.39	   search
36.89/37.39	     run=0  nbConstraintChecks=765433  nbValidityChecks=1065022  minDepth=2001  maxDepth=2000  nbPropagations=13773
36.89/37.39	     nbRevisions=107908  nbUselessRevisions=89378  nbAssignments=2000  nbFailedAssignments=0  nbBacktracks=0
36.89/37.39	     nbVisitedNodes=2001  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
36.89/37.39	     nbDEliminables=?  nbPEliminables=?
36.89/37.39	       =>  wckTime=9.235  cpuTime=9.09  mem=113M414
36.89/37.39	   
36.89/37.39	   global
36.89/37.39	     nbConstraintChecks=17360815  nbValidityChecks=2481718  nbPropagations=18113  nbRevisions=157380
36.89/37.39	     nbUselessRevisions=127772  nbRestartNogoods=0  solvingWckTime=9.238  solvingCpuTime=9.09  expiredTime=no
36.89/37.39	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=35.12  globalCpuTime=35.22
36.89/37.39	       =>  wckTime=37.139  cpuTime=35.17  mem=113M414
36.99/37.45	   
36.99/37.45	s SATISFIABLE
36.99/37.45	v -2194 -2518 -2454 2890 -2694 2686 2270 2514 2538 -2658 2082 -2246 -2542 2642 2854 2758 2254 2202 -2030 -2894 2854 2442 2826 2498 -2390 -2274 -1990 1990 2542 -2382 -2050 1990 2562 -2606 -2894 -2806 2710 -2818 -2770 -2150 -2854 2766 2038 -2838 -2854 -2894 2574 -2578 -2686 2762 -2314 -2770 2474 -2034 -2562 -2518 -2854 2686 -2854 2654 -2730 -2150 -2242 -2030 -2382 -2098 2210 2458 -2482 -2642 -1990 2754 -2826 -2810 -2842 -2622 2642 -2266 -2422 -2070 2502 2386 2214 -2678 -2590 -2894 -2722 -2266 2714 -2338 -2110 -2818 -2170 -2778 1990 -2578 -2030 2766 -2442 2206 -2706 2266 -2486 -2722 -2582 -2610 -2018 -2742 2366 2838 -2222 2638 -2306 2414 -2530 2030 2518 -2290 2830 -2010 2810 -2894 2702 -2830 -2602 -2146 -2130 2078 2102 -2834 -2070 2518 -2646 -2478 2242 -2650 -2326 -2290 2854 -2274 -2650 -2718 -2194 -2502 2854 -2854 -2606 -2374 2270 -2314 -2462 -2818 -2534 -2894 2790 2194 -2174 2522 -2750 -2606 -2282 2650 -2474 -2634 -2030 -2854 -2594 -2518 -2702 -2146 2742 2666 -2386 -2562 2826 -2442 -2154 2406 -2834 -2582 -2834 -2482 -2774 -2830 -2498 -2030 -2894 -2542 2446 2730 -2282 -2374 -2358 -1990 2450 -2174 -2190 -2762 -2294 1990 -2266 -2118 -2486 2370 2726 -2262 -1998 -2434 2894 -2414 -2774 -2098 -2342 -2750 -2798 -2658 2722 2510 2382 -2622 -2894 -2618 -2190 -2522 -2394 -2278 -2854 -2378 -2738 2462 -2778 2838 2738 2286 -2714 -2790 -2490 -2374 -2746 2138 -2706 2030 2014 -2230 -2030 -2894 -2706 -2582 -2322 -2258 2458 -2030 -2518 -2578 2258 -2030 2386 -2654 -2698 2178 -2418 -2854 2806 -2334 -2870 2270 2870 -2374 -2294 -1990 -2838 -2618 -2894 2766 -2626 1990 -2786 -2894 -2674 -2454 -2562 -2682 -2586 -2474 2034 2894 -1994 -2098 2342 -2314 -2494 2678 -2414 -2586 -2282 2262 -2602 -2786 -2190 -2846 -2814 -2566 -2258 -2754 2590 2242 -2074 -2482 -2646 -2646 2586 -2230 -2142 -2530 2142 -2426 -2894 -2894 -2718 1990 1990 -2882 -2894 -2710 -2786 -2474 2786 -2854 2622 -2862 -2486 -2582 -2558 2398 -2534 2478 -2582 2162 -2678 1990 -2402 -2446 -2362 -2334 -2010 2454 2834 -2042 -2742 -2378 -2030 -2614 2226 -2430 -2246 -2594 -2198 2030 -2854 -2230 -2854 2162 2030 -2650 -2010 -2726 -2046 2142 -2346 -2718 -2806 -2078 -2038 -2454 -2454 2606 -1990 2562 2414 -2586 -2374 2030 2766 2338 -1990 2014 2670 -2854 -2774 -2394 -2674 -2166 2842 2238 -2854 -2434 -2070 -2550 -2310 2718 -2882 2826 -2238 2266 2306 -2854 2242 -2002 -2434 2306 -2006 -2298 -2750 -2634 2650 -2174 2854 -2282 2882 -2378 2402 -2330 -2090 -2350 -2742 -2854 -2014 -2682 -2330 -2794 -2478 -2518 -2218 2230 -2538 2882 2166 2826 -2854 -2254 -2522 2254 2474 -2562 2854 -2450 2178 2762 -2546 2678 -2078 1990 -2254 2830 -2290 -2602 -2418 2514 -2594 -2186 -2318 -2106 -2710 -2438 -2822 -2530 -2894 2230 -2330 -2202 -2382 2310 -2162 -2842 2030 -2334 2226 -2554 -2422 -2626 2490 -2030 -2542 -2358 -2826 -2534 -2482 -2230 -2358 2422 -2706 1990 -2314 -2658 -2014 -2758 -2474 -2854 -2614 -2458 -2154 2798 2746 2738 2462 -2854 2578 -2102 -2894 2858 1990 -2146 -2686 -2090 2774 -2854 -2794 2698 -2362 -2626 2826 2406 -2030 -2466 -2854 -2514 -2790 -2270 -2666 -2882 -2618 -2510 -2426 -2706 -2110 -1990 2666 -2622 -2642 -2134 -2030 -2794 -2226 2482 -2030 -1990 -2206 -2662 -2614 2790 -2282 2866 -2886 -2254 -2674 -2398 2430 -2586 -2470 -2114 -2010 -2398 1990 -2090 2250 2254 2442 -1990 -2890 2626 -2822 -2374 -2610 2122 -2714 2038 -2314 -2726 -2190 2550 -2710 -2842 -1990 2846 -2362 -2894 -2802 -2066 2158 -2702 -2742 -2478 2358 -2530 -2062 -2714 -2058 -2782 2334 -2246 2494 -2654 -2798 1990 -2098 -2882 -2286 -2130 -2190 -2730 -2830 2658 -1990 -2354 -2730 -2186 2850 -2082 -2894 -2030 -2582 2702 -2702 2022 -1994 2886 -2894 -2350 2706 -1990 -2274 -2078 -2858 -2110 -2030 2490 -2486 2726 -2894 -2202 2558 -2182 -2054 -2438 -2190 -2778 2618 -2854 -2710 2650 2870 -2494 -2242 -2394 2774 -2854 2498 -2682 2634 2786 -2658 -2750 -2602 -2290 -2478 2438 -2630 -2854 -2426 -2566 2518 -2754 2434 2362 -2602 -2674 -2130 -2662 -2870 -2390 -2414 -2894 2806 2818 -2078 -2226 -2358 -2878 -2894 -2382 -2246 -2878 -2414 -2602 -2226 2070 -2238 2422 -2722 -2626 -2014 2506 2438 2742 2526 -2618 2678 2206 -2562 2662 2406 -2854 -2030 -2342 2694 -2882 -2054 2690 -2214 -2690 -2546 2706 -2142 2358 -2202 -2318 -2342 -2602 -2654 2814 -2050 2666 2346 2154 -2322 -2490 -2562 -2394 -2466 -2438 2562 2178 -2478 2626 2086 2538 -2674 -2430 -2806 2434 -2206 -2090 2530 -2534 -2018 -2030 -2894 -2662 2302 -2794 -2854 -2138 -2682 -2478 2446 -2194 -2506 -2590 -2490 -2030 -2798 -2746 -2586 2134 2810 -2182 1994 -2422 2646 -2374 2126 -2218 2250 -2390 -2218 -2606 2462 -2494 -2030 -2766 -2654 -2882 -2618 2030 -2586 2806 2678 -2518 2814 2810 -1990 2606 2034 -2646 -2222 2158 -2462 -2654 -2030 -2174 -2854 -2334 2322 -2522 2518 -2514 -2394 2030 -2558 -2638 -2198 -2366 2038 -2034 2334 2818 2702 -2030 -2226 -2774 -2542 -2046 -2374 -2546 -2126 -2750 -2802 -2490 -1990 -2078 -2842 -2142 2374 2546 -2178 2814 2030 2314 -2834 -2638 2478 -1990 -2490 -2774 1990 1990 -2058 2830 -2130 -2462 -2474 2646 -2338 2434 -2426 -2154 -2586 -2894 2646 -2894 2538 -2374 -2690 -2786 -2642 -2126 -2478 2154 -2702 -2894 -2222 -2398 -2330 -2294 -2462 -2754 -2794 -2442 -2186 -2566 -2822 -2038 2030 -2262 -2642 2638 -2602 -2354 -2658 -2482 -2826 2798 -1998 2518 -2746 2498 2758 2682 -2826 2434 -2474 2702 -2798 -2854 -2578 -2490 -2202 -2710 2566 2162 -2090 2854 -2798 -2406 2510 -2574 2278 -2854 -2030 -2494 -2214 -2098 -2894 -2842 -2310 -2290 2526 -2894 -2470 -2198 -2122 -2274 2330 2726 -2042 2034 -2790 -2542 2774 2350 -2602 2662 2462 -2014 -2546 -2210 -2350 -2854 -2790 -2814 2606 -2318 -2758 -2770 2370 -2854 -2410 2626 -2854 -2418 -2406 -2054 -2410 -2718 -2602 -2674 -2794 -2302 -2458 -2030 2374 2574 -2278 -2422 -2698 -2158 -2826 2686 -2414 2030 -2186 -2302 -2854 -2038 -2738 -2354 -2522 -2598 -2558 -2706 -2874 -2530 2798 -2814 2162 2482 -2554 2566 -2054 -2046 2030 -2414 2310 -2458 -1994 -2430 -2702 -2386 -2654 -2154 -2386 -2418 -2578 -2494 1990 -2446 2030 2722 2578 -2034 2606 2682 -2798 -2342 2374 -2226 2850 2230 2662 2378 -2818 -2118 -2802 2562 -2438 -2466 -2622 -2066 -2270 -2662 -2178 -2838 2378 -2598 2702 -2474 2526 -2022 -2638 -2106 -2850 -2602 2446 -2894 -2894 2534 2546 2718 -2550 -2210 -2374 2186 -2050 1990 -2746 2758 2686 -2106 2750 -2014 -2302 2226 -2814 2226 -2158 -2070 2634 2794 -2306 -2846 2534 -2398 -2362 -2854 -2894 -2750 -2246 -2474 -2826 2854 -2834 -2634 -2014 -2866 -2334 -2366 -2078 2430 -2746 2470 -2018 -2770 -1990 2862 -2742 -2330 -2842 2002 -2854 2290 -2802 2210 2566 2526 -2366 2786 -2758 -2802 -2894 -2562 -2206 -2854 -2126 -2882 2798 -2426 -2614 -2370 -2746 -2642 -2758 2390 -2126 -2894 -1998 1990 -2562 -2082 -2706 -2282 -2030 2150 -2182 2290 2326 -2362 -2422 -2166 -2894 -1998 -1990 2250 2062 2182 2514 2718 2594 -1990 -2490 2582 -2030 2806 -2542 -2174 2462 2126 -2366 -2586 -2202 2830 -2242 -2662 -2290 -2030 -2574 2770 -2098 -2894 2382 -2678 -2882 2894 -2498 -2438 2814 2522 -2626 -2534 -2374 2838 -2258 -2226 -2154 -2534 -2854 -2690 2206 -2602 -2622 2670 -2538 -2726 2546 -2734 2038 -2490 -2514 2514 2470 2614 -2198 -2242 -2826 -2842 -2786 -2686 -2894 2010 2442 2378 2374 2318 2842 -2390 -2486 -2502 -2286 -2094 -2710 -2522 -2490 2058 -2858 2690 2226 -2526 -2570 -2882 -2606 -2610 -2078 -2478 -2414 2730 2214 -2538 -2490 -2506 -2734 -2694 -2446 -2130 -2642 2326 2586 -2214 -2894 -2030 -2558 -2054 -2498 -2350 -2042 -2422 -2474 -2834 2846 2166 -2086 2746 -2370 2306 -2894 2374 -2282 -2794 -2854 -2854 -2306 -2674 -2414 -2406 -2042 -2274 2770 -2118 2310 -2690 -2702 -2894 -2666 -2534 -2374 2250 -2854 -2310 2658 -2314 2466 2838 2346 -2566 -2166 2322 -2550 -2266 -2058 -2738 -2518 -2322 -2190 -2374 -2242 2754 2802 -2230 -2690 -2854 2690 -2650 2894 2894 2714 -2334 -2106 -2134 -2450 2122 -2586 -2610 2894 -2322 2138 2222 2454 2326 -2826 -2842 -2062 1990 -2734 2750 2730 -2342 2486 -2178 2678 -2538 -1990 2854 2798 -2354 -2474 -2786 -2574 2794 -2222 2434 2254 2470 -2578 -2558 2202 -2118 -2782 -2574 2134 2486 -2670 2490 2626 -2090 -2818 -2186 -2750 -2118 2454 2038 -2690 -2426 2050 -2546 -1990 -2742 -2210 -2194 -2854 2430 -2666 -2030 2118 -2646 -2266 2762 -2518 -2854 -2218 -2854 2602 -2894 2694 2502 2586 -2894 -2562 -2274 -2334 2030 -2502 -2218 2630 -2698 -2662 -2134 2538 2414 1998 2126 -2354 -2498 -2622 -2782 2226 -2294 -2374 -2406 -2750 2270 2630 2082 -2562 -1990 2674 2554 -1990 2278 2302 -2094 2074 -2362 -2186 -2570 -2794 2502 -2458 2414 -2230 -2334 -2678 -2422 -2546 -2846 -2042 2830 -2794 -2030 2534 -2342 -2510 2002 -2318 -2706 -2294 -2642 -2854 -2450 2450 2346 2458 2662 -2398 2530 -2894 -2054 2498 -2854 -2278 -2542 -2182 -2078 -2182 -2374 2846 -2834 -2730 -2186 2670 2310 -2702 -2882 -2726 -2222 1998 -2894 2838 -2194 -2410 -2550 -2770 -2618 2326 2506 -2854 -2786 2846 -2030 -2834 -2490 2542 -2454 -2034 -2366 2858 2402 -2426 -2662 2006 -2854 -1990 -2218 -2442 -2482 -2598 -2430 2446 2654 2414 2578 2854 -2314 -2606 -2894 -2806 2166 -2590 1990 -2314 -2166 -2746 -2550 1990 -2294 -2350 -2806 -2854 -2334 -2442 2710 2730 -2094 2498 -2190 -2742 2294 -2414 -2486 2446 -2894 2494 -2682 -2238 -2382 -2894 -2046 -2530 -2710 -2106 -2642 -2770 -2014 -2746 -2750 -2282 -2274 -2386 -2318 -2070 -2714 -2894 -2118 -2582 2770 -2330 2090 2702 -2894 2518 2342 -2050 -2566 2078 -2318 -2138 -2350 -2746 -2470 -2074 -2206 -2054 -2510 -2338 -2006 1990 -2226 2578 -2102 2438 -2166 2146 -2882 -2230 -2458 2866 2650 -2166 -2894 2030 2842 -2054 2478 -2070 -2618 2050 -2638 -2758 -2806 2758 -2578 -2354 -2566 -2546 -2162 -2394 -2754 -2186 -2706 -2630 -2698 2606 -2542 -2354 2030 -1990 2358 -2622 -2882 2870 -2790 -2402 2394 -2082 -2818 -2602 -1990 -2030 2634 -2030 -2414 -2378 -2578 -2054 -2130 -2242 2322 2618 -2462 2786 -2494 2170 2842 2522 2354 -2446 -2030 -2638 -2742 -2426 -2894 -2870 -2894 -2030 2778 2854 -2614 2642 2446 -2778 2418 2522 -2090 2582 -2158 -2618 -2334 -2546 -2802 -2494 -2750 -2802 -2734 -2466 -2558 -2854 2290 -2330 2286 -2802 -2586 -2854 2706 -2058 -2514 2466 2262 -2682 2114 2038 -2342 -2234 2646 2842 2102 2854 -2810 2714 2030 2894 -2042 -2170 -2534 -2846 -2466 -2470 2314 -2710 -2286 -2842 -2854 -2590 2790 -2834 -2854 -2202 2402 -2842 2146 -2746 -2674 2754 -2030 -2174 -2470 2050 -2330 -2586 -2334 -2058 -2418 -2374 -2274 -2402 -2478 2282 2874 -2530 -2542 2866 2414 -2766 -2646 2658 -1990 -1990 -2894 2558 -2062 2678 -2066 -2282 -2350 -2406 -2110 -2894 2034 2310 -2734 -1990 -1998 2010 -2214 2374 -2506 -2346 -2354 2390 -2294 -2214 2478 -2778 -2550 -2798 2618 -2854 -2278 -2294 -2854 2354 -2350 2254 -2750 -2878 2466 -2406 -2826 2854 -2514 -2030 -2698 2422 2758 2738 -2570 -1990 -2662 -2774 -2414 -2702 -1990 -2050 2474 2038 -2574 2474 -2826 2762 -2766 -2482 -2366 2022 -2442 -2662 -2854 2894 2590 2386 -2302 -2786 -2518 2170 1990 2678 2862 2650 2278 -2682 2350 -2606 -2478 -2030 -2518 -2582 -2766 -2438 2106 -1990 2766 1994 -2474 -2810 2266 -2378 -2058 2110 -2282 -2054 -2254 -2346 1994 -2714 2146 2398 2558 -2786 -2338 -2054 -2654 -2522 -2830 -2426 -2058 2602 2690 -2714 2590 2398 2030 2858 2250 -2650 2538 -2834 -2530 -2842 -2690 2030 -2770 2050 2530 2682 -2330 2042 2702 -2894 -2282 -2718 -2322 -2894 2578 -2758 -2698 -2414 2846 -2666 -2690 2038 -2842 -2550 -2314 -2482 -2614 -2270 -2894 -2062 -2462 -2802 -2482 -2030 -2046 2838 -2762 -2506 -2530 -2730 2194 -2590 2082 -2582 -2014 2618 2254 -2038 2394 2830 -2774 2626 -2746 2226 -2294 -2582 -2246 -2558 -2478 -2798 2390 -2886 2550 -2106 -2498 -2030 2794 -2462 2322 -2322 -2786 -2894 -2562 -2266 -2006 -2842 2682 -2050 2278 -1990 -2574 2146 -2806 -2374 2422 -2266 2458 
36.99/37.45	d NODES 2000
36.99/37.45	d CHECKS 17360815
36.99/37.45	   
36.99/37.45	   totalWckTime=37.256  totalCpuTime=35.28

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087589-1215244841/watcher-1087589-1215244841 -o /tmp/evaluation-result-1087589-1215244841/solver-1087589-1215244841 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1087589-1215244841.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 18323
/proc/meminfo: memFree=1856168/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=18572 CPUtime=0
/proc/18323/stat : 18323 (runsolver) R 18321 18323 17008 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 248579122 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 255370229482 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18323/statm: 4643 292 257 25 0 2626 0

[startup+0.0903969 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 18323
/proc/meminfo: memFree=1856168/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=865856 CPUtime=0.06
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 3370 0 1 0 4 2 0 0 18 0 9 0 248579122 886636544 2883 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216464 2883 1563 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.101398 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 18323
/proc/meminfo: memFree=1856168/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=865884 CPUtime=0.07
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 3584 0 1 0 5 2 0 0 18 0 9 0 248579122 886665216 3072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216471 3072 1644 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865884

[startup+0.301422 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 18323
/proc/meminfo: memFree=1856168/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=866128 CPUtime=0.27
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 5600 0 1 0 24 3 0 0 18 0 9 0 248579122 886915072 5008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216532 5008 1914 9 0 211060 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866128

[startup+0.701466 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 18323
/proc/meminfo: memFree=1856168/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=866984 CPUtime=0.67
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 9556 0 1 0 62 5 0 0 18 0 9 0 248579122 887791616 8926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216746 8926 1968 9 0 211274 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866984

[startup+1.50254 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18332
/proc/meminfo: memFree=1807136/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=867416 CPUtime=1.46
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 22332 0 1 0 135 11 0 0 18 0 9 0 248579122 888233984 21667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216854 21667 2004 9 0 211382 0
[pid=18323/tid=18325] ppid=18321 vsize=867416 CPUtime=1.19
/proc/18323/task/18325/stat : 18325 (java) R 18321 18323 17008 0 -1 64 15733 0 1 0 112 7 0 0 25 0 9 0 248579124 888233984 21667 996147200 134512640 134550740 4294955968 18446744073709551615 102689605 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18326] ppid=18321 vsize=867416 CPUtime=0.06
/proc/18323/task/18326/stat : 18326 (java) S 18321 18323 17008 0 -1 64 5254 0 0 0 4 2 0 0 16 0 9 0 248579126 888233984 21667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18327] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18327/stat : 18327 (java) S 18321 18323 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 21667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18328] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18328/stat : 18328 (java) S 18321 18323 17008 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 21667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18329] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18329/stat : 18329 (java) S 18321 18323 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248579128 888233984 21667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18330] ppid=18321 vsize=867416 CPUtime=0.17
/proc/18323/task/18330/stat : 18330 (java) S 18321 18323 17008 0 -1 64 648 0 0 0 17 0 0 0 16 0 9 0 248579128 888233984 21667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18331] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18331/stat : 18331 (java) S 18321 18323 17008 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 248579128 888233984 21667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18332] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18332/stat : 18332 (java) S 18321 18323 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248579128 888233984 21667 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867416

[startup+3.10271 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18332
/proc/meminfo: memFree=1764640/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=867416 CPUtime=3.05
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 25411 0 1 0 292 13 0 0 18 0 9 0 248579122 888233984 24742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216854 24742 2006 9 0 211382 0
[pid=18323/tid=18325] ppid=18321 vsize=867416 CPUtime=2.68
/proc/18323/task/18325/stat : 18325 (java) R 18321 18323 17008 0 -1 64 15768 0 1 0 260 8 0 0 25 0 9 0 248579124 888233984 24742 996147200 134512640 134550740 4294955968 18446744073709551615 4126903784 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18326] ppid=18321 vsize=867416 CPUtime=0.15
/proc/18323/task/18326/stat : 18326 (java) S 18321 18323 17008 0 -1 64 8283 0 0 0 12 3 0 0 17 0 9 0 248579126 888233984 24742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18327] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18327/stat : 18327 (java) S 18321 18323 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 24742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18328] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18328/stat : 18328 (java) S 18321 18323 17008 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 24742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18329] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18329/stat : 18329 (java) S 18321 18323 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248579128 888233984 24742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18330] ppid=18321 vsize=867416 CPUtime=0.19
/proc/18323/task/18330/stat : 18330 (java) S 18321 18323 17008 0 -1 64 663 0 0 0 19 0 0 0 16 0 9 0 248579128 888233984 24742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18331] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18331/stat : 18331 (java) S 18321 18323 17008 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 248579128 888233984 24742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18332] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18332/stat : 18332 (java) S 18321 18323 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248579128 888233984 24742 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867416

[startup+6.30105 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18332
/proc/meminfo: memFree=1764320/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=867416 CPUtime=6.21
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 25441 0 1 0 608 13 0 0 18 0 9 0 248579122 888233984 24769 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216854 24769 2006 9 0 211382 0
[pid=18323/tid=18325] ppid=18321 vsize=867416 CPUtime=5.81
/proc/18323/task/18325/stat : 18325 (java) R 18321 18323 17008 0 -1 64 15772 0 1 0 573 8 0 0 25 0 9 0 248579124 888233984 24769 996147200 134512640 134550740 4294955968 18446744073709551615 4126932458 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18326] ppid=18321 vsize=867416 CPUtime=0.15
/proc/18323/task/18326/stat : 18326 (java) S 18321 18323 17008 0 -1 64 8283 0 0 0 12 3 0 0 16 0 9 0 248579126 888233984 24769 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18327] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18327/stat : 18327 (java) S 18321 18323 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 24769 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18328] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18328/stat : 18328 (java) S 18321 18323 17008 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 24769 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18329] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18329/stat : 18329 (java) S 18321 18323 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248579128 888233984 24769 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18330] ppid=18321 vsize=867416 CPUtime=0.22
/proc/18323/task/18330/stat : 18330 (java) S 18321 18323 17008 0 -1 64 689 0 0 0 22 0 0 0 16 0 9 0 248579128 888233984 24769 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18331] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18331/stat : 18331 (java) S 18321 18323 17008 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 248579128 888233984 24769 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18332] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18332/stat : 18332 (java) S 18321 18323 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248579128 888233984 24769 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867416

[startup+12.7028 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18332
/proc/meminfo: memFree=1764128/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=867416 CPUtime=12.56
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 25445 0 1 0 1242 14 0 0 18 0 9 0 248579122 888233984 24771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216854 24771 2006 9 0 211382 0
[pid=18323/tid=18325] ppid=18321 vsize=867416 CPUtime=12.16
/proc/18323/task/18325/stat : 18325 (java) R 18321 18323 17008 0 -1 64 15774 0 1 0 1207 9 0 0 25 0 9 0 248579124 888233984 24771 996147200 134512640 134550740 4294955968 18446744073709551615 4126940792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18326] ppid=18321 vsize=867416 CPUtime=0.15
/proc/18323/task/18326/stat : 18326 (java) S 18321 18323 17008 0 -1 64 8283 0 0 0 12 3 0 0 16 0 9 0 248579126 888233984 24771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18327] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18327/stat : 18327 (java) S 18321 18323 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 24771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18328] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18328/stat : 18328 (java) S 18321 18323 17008 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 24771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18329] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18329/stat : 18329 (java) S 18321 18323 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248579128 888233984 24771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18330] ppid=18321 vsize=867416 CPUtime=0.22
/proc/18323/task/18330/stat : 18330 (java) S 18321 18323 17008 0 -1 64 691 0 0 0 22 0 0 0 16 0 9 0 248579128 888233984 24771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18331] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18331/stat : 18331 (java) S 18321 18323 17008 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 248579128 888233984 24771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18332] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18332/stat : 18332 (java) S 18321 18323 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248579128 888233984 24771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867416

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18338
/proc/meminfo: memFree=1743952/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=867416 CPUtime=25.23
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 31132 0 1 0 2506 17 0 0 18 0 9 0 248579122 888233984 30451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216854 30451 2007 9 0 211382 0
[pid=18323/tid=18325] ppid=18321 vsize=867416 CPUtime=24.33
/proc/18323/task/18325/stat : 18325 (java) R 18321 18323 17008 0 -1 64 15783 0 1 0 2424 9 0 0 25 0 9 0 248579124 888233984 30451 996147200 134512640 134550740 4294955968 18446744073709551615 102307497 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18326] ppid=18321 vsize=867416 CPUtime=0.59
/proc/18323/task/18326/stat : 18326 (java) S 18321 18323 17008 0 -1 64 13935 0 0 0 54 5 0 0 16 0 9 0 248579126 888233984 30451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18327] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18327/stat : 18327 (java) S 18321 18323 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 30451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18328] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18328/stat : 18328 (java) S 18321 18323 17008 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 248579126 888233984 30451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18329] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18329/stat : 18329 (java) S 18321 18323 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248579128 888233984 30451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18330] ppid=18321 vsize=867416 CPUtime=0.26
/proc/18323/task/18330/stat : 18330 (java) S 18321 18323 17008 0 -1 64 717 0 0 0 26 0 0 0 16 0 9 0 248579128 888233984 30451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18331] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18331/stat : 18331 (java) S 18321 18323 17008 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 248579128 888233984 30451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18332] ppid=18321 vsize=867416 CPUtime=0
/proc/18323/task/18332/stat : 18332 (java) S 18321 18323 17008 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 248579128 888233984 30451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867416

Solver just ended. Dumping a history of the last processes samples

[startup+31.9068 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18342
/proc/meminfo: memFree=1700176/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=867740 CPUtime=31.55
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 69515 776 1 0 3115 28 11 1 18 0 9 0 248579122 888565760 41316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216935 41316 2616 9 0 211463 0
[pid=18323/tid=18325] ppid=18321 vsize=867740 CPUtime=30.09
/proc/18323/task/18325/stat : 18325 (java) R 18321 18323 17008 0 -1 64 27131 776 1 0 2985 12 11 1 25 0 9 0 248579124 888565760 41316 996147200 134512640 134550740 4294955968 18446744073709551615 4126903771 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18326] ppid=18321 vsize=867740 CPUtime=1.15
/proc/18323/task/18326/stat : 18326 (java) S 18321 18323 17008 0 -1 64 40586 776 0 0 91 12 11 1 17 0 9 0 248579126 888565760 41316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18327] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18327/stat : 18327 (java) S 18321 18323 17008 0 -1 64 17 776 0 0 0 0 11 1 16 0 9 0 248579126 888565760 41316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18328] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18328/stat : 18328 (java) S 18321 18323 17008 0 -1 64 28 776 0 0 0 0 11 1 15 0 9 0 248579126 888565760 41316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18329] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18329/stat : 18329 (java) S 18321 18323 17008 0 -1 64 0 776 0 0 0 0 11 1 18 0 9 0 248579128 888565760 41316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18330] ppid=18321 vsize=867740 CPUtime=0.5
/proc/18323/task/18330/stat : 18330 (java) S 18321 18323 17008 0 -1 64 924 776 0 0 37 1 11 1 17 0 9 0 248579128 888565760 41316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18331] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18331/stat : 18331 (java) S 18321 18323 17008 0 -1 64 2 776 0 0 0 0 11 1 19 0 9 0 248579128 888565760 41316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18332] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18332/stat : 18332 (java) S 18321 18323 17008 0 -1 64 15 776 0 0 0 0 11 1 15 0 9 0 248579128 888565760 41316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.55
Current children cumulated vsize (KiB) 867740

[startup+35.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18342
/proc/meminfo: memFree=1700184/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=867740 CPUtime=34.71
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 69518 776 1 0 3431 28 11 1 18 0 9 0 248579122 888565760 41317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216935 41317 2616 9 0 211463 0
[pid=18323/tid=18325] ppid=18321 vsize=867740 CPUtime=33.25
/proc/18323/task/18325/stat : 18325 (java) R 18321 18323 17008 0 -1 64 27131 776 1 0 3301 12 11 1 25 0 9 0 248579124 888565760 41317 996147200 134512640 134550740 4294955968 18446744073709551615 4127074645 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18326] ppid=18321 vsize=867740 CPUtime=1.15
/proc/18323/task/18326/stat : 18326 (java) S 18321 18323 17008 0 -1 64 40586 776 0 0 91 12 11 1 17 0 9 0 248579126 888565760 41317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18327] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18327/stat : 18327 (java) S 18321 18323 17008 0 -1 64 17 776 0 0 0 0 11 1 16 0 9 0 248579126 888565760 41317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18328] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18328/stat : 18328 (java) S 18321 18323 17008 0 -1 64 28 776 0 0 0 0 11 1 15 0 9 0 248579126 888565760 41317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18329] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18329/stat : 18329 (java) S 18321 18323 17008 0 -1 64 0 776 0 0 0 0 11 1 18 0 9 0 248579128 888565760 41317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18330] ppid=18321 vsize=867740 CPUtime=0.5
/proc/18323/task/18330/stat : 18330 (java) S 18321 18323 17008 0 -1 64 927 776 0 0 37 1 11 1 15 0 9 0 248579128 888565760 41317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18331] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18331/stat : 18331 (java) S 18321 18323 17008 0 -1 64 2 776 0 0 0 0 11 1 19 0 9 0 248579128 888565760 41317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18332] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18332/stat : 18332 (java) S 18321 18323 17008 0 -1 64 15 776 0 0 0 0 11 1 15 0 9 0 248579128 888565760 41317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.71
Current children cumulated vsize (KiB) 867740

[startup+36.7022 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18342
/proc/meminfo: memFree=1700184/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=867740 CPUtime=36.3
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 69526 776 1 0 3590 28 11 1 18 0 9 0 248579122 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216935 41325 2616 9 0 211463 0
[pid=18323/tid=18325] ppid=18321 vsize=867740 CPUtime=34.83
/proc/18323/task/18325/stat : 18325 (java) R 18321 18323 17008 0 -1 64 27131 776 1 0 3459 12 11 1 25 0 9 0 248579124 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4127378536 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18326] ppid=18321 vsize=867740 CPUtime=1.15
/proc/18323/task/18326/stat : 18326 (java) S 18321 18323 17008 0 -1 64 40586 776 0 0 91 12 11 1 16 0 9 0 248579126 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18327] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18327/stat : 18327 (java) S 18321 18323 17008 0 -1 64 17 776 0 0 0 0 11 1 16 0 9 0 248579126 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18328] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18328/stat : 18328 (java) S 18321 18323 17008 0 -1 64 28 776 0 0 0 0 11 1 15 0 9 0 248579126 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18329] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18329/stat : 18329 (java) S 18321 18323 17008 0 -1 64 0 776 0 0 0 0 11 1 18 0 9 0 248579128 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18330] ppid=18321 vsize=867740 CPUtime=0.52
/proc/18323/task/18330/stat : 18330 (java) S 18321 18323 17008 0 -1 64 935 776 0 0 39 1 11 1 15 0 9 0 248579128 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18331] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18331/stat : 18331 (java) S 18321 18323 17008 0 -1 64 2 776 0 0 0 0 11 1 19 0 9 0 248579128 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18332] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18332/stat : 18332 (java) S 18321 18323 17008 0 -1 64 15 776 0 0 0 0 11 1 15 0 9 0 248579128 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.3
Current children cumulated vsize (KiB) 867740

[startup+37.1023 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18342
/proc/meminfo: memFree=1700184/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=867740 CPUtime=36.7
/proc/18323/stat : 18323 (java) S 18321 18323 17008 0 -1 0 69526 776 1 0 3630 28 11 1 18 0 9 0 248579122 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 216935 41325 2616 9 0 211463 0
[pid=18323/tid=18325] ppid=18321 vsize=867740 CPUtime=35.23
/proc/18323/task/18325/stat : 18325 (java) R 18321 18323 17008 0 -1 64 27131 776 1 0 3498 13 11 1 25 0 9 0 248579124 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4125952187 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18326] ppid=18321 vsize=867740 CPUtime=1.15
/proc/18323/task/18326/stat : 18326 (java) S 18321 18323 17008 0 -1 64 40586 776 0 0 91 12 11 1 16 0 9 0 248579126 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18327] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18327/stat : 18327 (java) S 18321 18323 17008 0 -1 64 17 776 0 0 0 0 11 1 16 0 9 0 248579126 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18328] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18328/stat : 18328 (java) S 18321 18323 17008 0 -1 64 28 776 0 0 0 0 11 1 15 0 9 0 248579126 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18329] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18329/stat : 18329 (java) S 18321 18323 17008 0 -1 64 0 776 0 0 0 0 11 1 18 0 9 0 248579128 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18330] ppid=18321 vsize=867740 CPUtime=0.52
/proc/18323/task/18330/stat : 18330 (java) S 18321 18323 17008 0 -1 64 935 776 0 0 39 1 11 1 15 0 9 0 248579128 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18331] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18331/stat : 18331 (java) S 18321 18323 17008 0 -1 64 2 776 0 0 0 0 11 1 19 0 9 0 248579128 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18323/tid=18332] ppid=18321 vsize=867740 CPUtime=0.12
/proc/18323/task/18332/stat : 18332 (java) S 18321 18323 17008 0 -1 64 15 776 0 0 0 0 11 1 15 0 9 0 248579128 888565760 41325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.7
Current children cumulated vsize (KiB) 867740

[startup+37.5024 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18342
/proc/meminfo: memFree=1700120/2055912 swapFree=4178564/4192956
[pid=18323] ppid=18321 vsize=0 CPUtime=37.07
/proc/18323/stat : 18323 (java) Z 18321 18323 17008 0 -1 12 69577 776 1 0 3664 31 11 1 16 0 2 0 248579122 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18323/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 37.07
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 37.504
CPU time (s): 37.0944
CPU user time (s): 36.7584
CPU system time (s): 0.335948
CPU usage (%): 98.9078
Max. virtual memory (cumulated for all children) (KiB): 867828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.7584
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70353
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= 2707
involuntary context switches= 3545

runsolver used 0.053991 second user time and 0.12998 second system time

The end

Launcher Data (download as text)

Begin job on node78 at 2008-07-05 10:00:41
IDJOB=1087589
IDBENCH=58019
IDSOLVER=364
FILE ID=node78/1087589-1215244841
PBS_JOBID= 7881955
Free space on /tmp= 126636 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp36/normalized-fapp36-2000-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087589-1215244841/watcher-1087589-1215244841 -o /tmp/evaluation-result-1087589-1215244841/solver-1087589-1215244841 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1087589-1215244841.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d5e3aabb8926151d3fb7baec2a204317
RANDOM SEED=2024190458

node78.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.247
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.247
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:      2055912 kB
MemFree:       1856584 kB
Buffers:          9692 kB
Cached:          96932 kB
SwapCached:       7072 kB
Active:         118928 kB
Inactive:        19860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1856584 kB
SwapTotal:     4192956 kB
SwapFree:      4178564 kB
Dirty:            4660 kB
Writeback:           0 kB
Mapped:          40156 kB
Slab:            45816 kB
Committed_AS:   769892 kB
PageTables:       1604 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126632 MiB
End job on node78 at 2008-07-05 10:01:19