Trace number 1087588

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 ACSAT 37.5643 37.7586

DiagnosticValue
CHECKS17354000
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.08/0.09	
0.08/0.09	Abscon 112 (May, 2008)
0.17/0.27	
0.17/0.27	   configuration
0.17/0.27	     name=mac.xml
0.27/0.32	   
0.27/0.32	   instance
0.27/0.32	     name=HOME/instance-1087588-1215244831.xml
0.27/0.36	   
0.27/0.36	   domains being loaded...
0.34/0.40	   
0.34/0.40	   variables being loaded...
0.54/0.69	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454  nbTotalValues=750979
0.54/0.69	       =>  wckTime=0.42  cpuTime=0.28  mem=34M234
0.54/0.69	   
0.54/0.69	   predicates being loaded...
0.64/0.75	   
0.64/0.75	   constraints being loaded...
20.64/20.73	   
20.64/20.73	   INFO : Stopping converting binary constraints (cpu=20.08, mem = 67M620)
26.91/27.01	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=304  nbConvertConstraintsChecks=41087296
26.91/27.01	     nbExtensionStructures=275  nbSharedExtensionStructures=50  nbConflictsStructures=534
26.91/27.01	     nbSharedConflictsStructures=167  nbUnbuiltConflictsStructures=6899  nbSharedBinaryRepresentations=161575
26.91/27.01	     nbEvaluationManagers=7158  nbSharedEvaluationManagers=2605  minDegree=2  maxDegree=13  minArity=2  maxArity=2
26.91/27.01	     nbGenerators=0  nbFusions=0  symmetryWckTime=1.734  symmetryCpuTime=1.52
26.91/27.01	       =>  wckTime=26.733  cpuTime=25.56  mem=91M273
27.31/27.41	   
27.31/27.41	   solver IterativeSystematicSolver being built... 
27.80/27.94	       =>  wckTime=27.666  cpuTime=25.92  mem=111M665
36.20/36.48	   
36.20/36.48	   preprocessing
36.20/36.48	     nbConstraintChecks=16580147  nbValidityChecks=1414670  nbPropagations=4340  nbRevisions=49472
36.20/36.48	     nbUselessRevisions=38394  nbRemovedValues=711844  detectedInconsistency=no
36.20/36.48	       =>  wckTime=8.52  cpuTime=8.39  mem=111M665
37.40/37.65	   
37.40/37.65	   search
37.40/37.65	     run=0  nbConstraintChecks=773884  nbValidityChecks=1060042  minDepth=2001  maxDepth=2000  nbPropagations=13771
37.40/37.65	     nbRevisions=107862  nbUselessRevisions=89334  nbAssignments=2000  nbFailedAssignments=0  nbBacktracks=0
37.40/37.65	     nbVisitedNodes=2001  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
37.40/37.65	     nbDEliminables=?  nbPEliminables=?
37.40/37.65	       =>  wckTime=9.688  cpuTime=9.51  mem=112M675
37.40/37.65	   
37.40/37.65	   global
37.40/37.65	     nbConstraintChecks=17354031  nbValidityChecks=2474712  nbPropagations=18111  nbRevisions=157334
37.40/37.65	     nbUselessRevisions=127728  nbRestartNogoods=0  solvingWckTime=9.691  solvingCpuTime=9.51  expiredTime=no
37.40/37.65	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=35.39  globalCpuTime=35.5
37.40/37.65	       =>  wckTime=37.376  cpuTime=35.45  mem=112M675
37.50/37.71	   
37.50/37.71	s SATISFIABLE
37.50/37.71	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 2546 -2382 -2050 -2006 2562 -2606 -2894 -2806 2710 -2818 -2770 -2150 -2854 2766 2038 -2838 -2854 -2894 2574 -2578 -2686 2758 -2314 -2770 2474 -2034 -2562 -2518 -2854 2686 -2854 2654 -2730 -2150 -2238 -2030 -2382 1990 2210 2458 -2482 -2642 -1990 2754 -2826 -2810 -2842 -2622 2642 -2266 -2422 -2070 2478 2386 2214 -2678 -2590 -2894 -2722 -2266 2714 -2338 -2110 -2818 -2166 -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 -2286 2854 -2274 -2650 -2718 -2194 -2502 2854 -2854 -2606 -2374 2270 -2314 -2438 -2818 -2534 -2894 2790 2194 -2174 2522 -2750 -2606 -2278 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 -2122 -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 2274 -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 2854 -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 -2046 -2614 2226 -2430 -2258 -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 2714 -2882 2826 -2238 2266 2306 -2854 2242 -2002 -2434 2306 -2006 -2298 -2750 -2634 2650 -2174 2854 -2282 2882 -2378 2402 -2330 -2090 -2346 -2742 -2854 -2014 -2682 -2330 -2794 -2478 -2518 -2218 2230 -2538 2882 2166 2826 -2854 -2254 -2522 2254 2474 -2562 2854 -2450 2178 2758 -2546 2678 -2078 1990 -2254 2830 -2290 -2598 -2418 2514 -2594 -2182 -2318 -2062 -2710 -2438 -2822 -2530 -2894 2230 -2330 -2202 -2382 2306 2178 -2842 2030 -2334 2226 -2554 -2422 -2626 2490 -2030 -2542 -2358 -2826 -2534 -2482 -2230 -2358 2422 -2706 1990 -2314 -2658 -2014 -2758 -2474 2798 2606 -2458 -2154 2798 2746 2738 -2462 -2854 2578 -2102 -2894 2858 1990 -2102 -2686 -2090 2774 -2854 -2794 2698 -2362 -2626 2826 -2394 -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 -2250 -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 -2798 -2066 2158 -2702 -2742 -2478 2358 -2530 -2062 -2714 -2058 -2782 2334 -2246 2494 -2654 2778 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 -2094 -2858 -2110 2162 2490 -2486 2726 -2894 -2218 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 -2126 -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 -2218 -2638 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 -2234 -2606 2462 -2494 -2030 -2766 -2654 -2882 -2618 2030 -2586 2806 2674 -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 -2190 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 -2894 -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 -2758 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 -2426 -2702 -2386 -2654 -2154 -2386 -2418 -2578 -2494 1990 -2442 2030 2722 2578 -2034 2606 2682 -2798 -2342 2370 -2226 2850 2230 2662 2378 -2818 -2118 -2802 2562 -2438 -2466 -2622 2058 -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 -2798 -2894 -2562 -2206 -2854 -2126 -2882 2798 -2426 -2614 -2370 -2746 -2642 -2758 2386 -2126 -2894 -1998 1990 -2562 -2082 -2706 -2282 -2030 2150 -2182 2290 2326 -2362 -2422 -2166 -2894 -1998 -1990 2250 2062 2178 2514 2718 2594 -1990 -2490 2582 -2030 2806 -2538 -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 2218 -2226 -2154 -2534 -2854 -2690 2206 -2602 -2622 2670 -2538 -2726 2546 -2734 2054 -2490 -2514 2514 2470 2614 -2198 -2242 -2826 -2842 -2786 -2686 -2894 2026 2442 2378 2374 2318 2842 -2390 -2486 -2502 -2286 -2090 -2710 -2522 -2490 2058 -2858 2690 2226 -2526 -2570 -2882 -2606 -2610 -2078 -2478 -2414 2730 2210 -2526 -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 -2402 -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 2150 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 -2466 -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 -2178 -2854 2602 -2894 2694 2502 2586 -2894 -2562 -2274 -2334 2030 -2506 -2218 2630 -2698 -2662 -2130 2538 2410 1998 2126 -2354 -2498 -2622 -2782 2226 -2294 -2374 -2406 -2750 -2266 2630 2082 -2562 -1990 2674 2554 -1990 2274 2302 -2094 2074 -2362 -2186 -2570 -2794 2498 -2458 2414 -2230 -2334 -2678 -2422 -2546 -2846 -2042 2830 -2794 -2030 2534 -2342 -2510 2002 -2318 -2706 -2290 -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 -2218 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 2486 -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 -2314 -2138 -2350 -2746 -2470 -2074 -2206 -2054 -2510 -2338 -2014 1990 -2226 2578 -2102 2438 -2166 2146 -2882 -2230 -2458 2866 2650 -2166 -2894 2030 2842 -2054 2478 -2070 -2618 2050 -2638 -2738 -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 2434 -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 -2142 -2746 -2674 2754 -2030 -2174 -2470 2050 -2330 -2586 -2334 -2058 -2418 -2374 -2274 -2398 -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 -2066 2474 2038 -2574 2474 -2826 2762 -2766 -2482 -2366 2022 -2438 -2662 -2854 2894 2590 2386 -2302 -2786 -2518 2170 1990 2678 2862 2650 2278 -2682 2350 -2606 -2478 -2030 -2518 -2582 -2766 -2438 -2098 -1990 2766 1994 -2474 -2810 2266 -2378 -2030 2110 -2282 -2054 -2250 -2346 1994 -2714 2146 2398 2558 -2786 -2338 -2054 -2646 -2522 -2830 -2426 -2058 2602 2690 -2714 2590 2398 2030 2858 2250 -2650 2538 -2834 -2530 -2842 -2690 2030 -2770 2050 2530 2682 -2326 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 -2054 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 
37.50/37.71	d NODES 2000
37.50/37.71	d CHECKS 17354031
37.50/37.72	   
37.50/37.72	   totalWckTime=37.51  totalCpuTime=35.57

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-1087588-1215244831/watcher-1087588-1215244831 -o /tmp/evaluation-result-1087588-1215244831/solver-1087588-1215244831 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1087588-1215244831.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/72 9561
/proc/meminfo: memFree=1518192/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=1616 CPUtime=0
/proc/9561/stat : 9561 (java) R 9559 9561 9359 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1008887774 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/9561/statm: 404 145 119 9 0 46 0

[startup+0.0906019 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 9561
/proc/meminfo: memFree=1518192/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=865884 CPUtime=0.08
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 3593 0 1 0 6 2 0 0 18 0 9 0 1008887774 886665216 3081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 216471 3081 1652 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.102601 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 9561
/proc/meminfo: memFree=1518192/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=865884 CPUtime=0.09
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 3688 0 1 0 7 2 0 0 18 0 9 0 1008887774 886665216 3163 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 216471 3163 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.302623 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 9561
/proc/meminfo: memFree=1518192/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=866204 CPUtime=0.27
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 5616 0 3 0 23 4 0 0 18 0 9 0 1008887774 886992896 5036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 216551 5036 1899 9 0 211099 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866204

[startup+0.701667 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 9561
/proc/meminfo: memFree=1518192/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=867328 CPUtime=0.64
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 13228 0 4 0 55 9 0 0 18 0 9 0 1008887774 888143872 12601 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 216832 12602 1973 9 0 211360 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 867328

[startup+1.50175 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 9570
/proc/meminfo: memFree=1460968/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=867460 CPUtime=1.45
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 22323 0 4 0 130 15 0 0 18 0 9 0 1008887774 888279040 21662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 216865 21662 2004 9 0 211393 0
[pid=9561/tid=9563] ppid=9559 vsize=867460 CPUtime=1.15
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 9359 0 -1 64 15740 0 4 0 105 10 0 0 25 0 9 0 1008887775 888279040 21662 996147200 134512640 134550740 4294955968 18446744073709551615 103825584 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=867460 CPUtime=0.08
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 9359 0 -1 64 5255 0 0 0 5 3 0 0 17 0 9 0 1008887777 888279040 21662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1008887777 888279040 21662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008887777 888279040 21662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9567] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1008887779 888279040 21662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=867460 CPUtime=0.18
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 631 0 0 0 18 0 0 0 15 0 9 0 1008887779 888279040 21662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9569] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1008887779 888279040 21662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1008887779 888279040 21662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867460

[startup+3.10192 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 9570
/proc/meminfo: memFree=1425896/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=867460 CPUtime=3.05
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 25401 0 4 0 288 17 0 0 18 0 9 0 1008887774 888279040 24736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 216865 24736 2006 9 0 211393 0
[pid=9561/tid=9563] ppid=9559 vsize=867460 CPUtime=2.63
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 9359 0 -1 64 15775 0 4 0 252 11 0 0 25 0 9 0 1008887775 888279040 24736 996147200 134512640 134550740 4294955968 18446744073709551615 4126897456 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=867460 CPUtime=0.17
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 9359 0 -1 64 8283 0 0 0 13 4 0 0 17 0 9 0 1008887777 888279040 24736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1008887777 888279040 24736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008887777 888279040 24736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9567] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1008887779 888279040 24736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=867460 CPUtime=0.2
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 646 0 0 0 20 0 0 0 15 0 9 0 1008887779 888279040 24736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9569] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1008887779 888279040 24736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1008887779 888279040 24736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867460

[startup+6.30226 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 9570
/proc/meminfo: memFree=1425704/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=867460 CPUtime=6.24
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 25430 0 4 0 607 17 0 0 18 0 9 0 1008887774 888279040 24762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 216865 24762 2006 9 0 211393 0
[pid=9561/tid=9563] ppid=9559 vsize=867460 CPUtime=5.8
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 9359 0 -1 64 15779 0 4 0 569 11 0 0 25 0 9 0 1008887775 888279040 24762 996147200 134512640 134550740 4294955968 18446744073709551615 4126897404 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=867460 CPUtime=0.17
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 9359 0 -1 64 8283 0 0 0 13 4 0 0 17 0 9 0 1008887777 888279040 24762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1008887777 888279040 24762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008887777 888279040 24762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9567] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1008887779 888279040 24762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=867460 CPUtime=0.23
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 671 0 0 0 23 0 0 0 16 0 9 0 1008887779 888279040 24762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9569] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1008887779 888279040 24762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1008887779 888279040 24762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867460

[startup+12.7019 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 9570
/proc/meminfo: memFree=1425448/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=867460 CPUtime=12.65
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 25435 0 4 0 1247 18 0 0 18 0 9 0 1008887774 888279040 24765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 216865 24765 2006 9 0 211393 0
[pid=9561/tid=9563] ppid=9559 vsize=867460 CPUtime=12.2
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 9359 0 -1 64 15781 0 4 0 1208 12 0 0 25 0 9 0 1008887775 888279040 24765 996147200 134512640 134550740 4294955968 18446744073709551615 4126935152 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=867460 CPUtime=0.17
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 9359 0 -1 64 8283 0 0 0 13 4 0 0 16 0 9 0 1008887777 888279040 24765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1008887777 888279040 24765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1008887777 888279040 24765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9567] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1008887779 888279040 24765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=867460 CPUtime=0.24
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 674 0 0 0 24 0 0 0 16 0 9 0 1008887779 888279040 24765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9569] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1008887779 888279040 24765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=867460 CPUtime=0
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1008887779 888279040 24765 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 867460

[startup+25.5023 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 9570
/proc/meminfo: memFree=1402792/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=867784 CPUtime=25.34
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 31312 0 4 0 2511 23 0 0 18 0 10 0 1008887774 888610816 30507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 216946 30507 2013 9 0 211474 0
[pid=9561/tid=9563] ppid=9559 vsize=867784 CPUtime=24.34
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 9359 0 -1 64 15869 0 4 0 2421 13 0 0 16 0 10 0 1008887775 888610816 30507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=867784 CPUtime=0.66
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 9359 0 -1 64 13964 0 0 0 58 8 0 0 16 0 10 0 1008887777 888610816 30507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=867784 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 1008887777 888610816 30507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=867784 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1008887777 888610816 30507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9567] ppid=9559 vsize=867784 CPUtime=0
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1008887779 888610816 30507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=867784 CPUtime=0.3
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 707 0 0 0 30 0 0 0 15 0 10 0 1008887779 888610816 30507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9569] ppid=9559 vsize=867784 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 0 0 0 0 0 0 0 19 0 10 0 1008887779 888610816 30507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=867784 CPUtime=0
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1008887779 888610816 30507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867784

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

[startup+31.908 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 9580
/proc/meminfo: memFree=1361248/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=868108 CPUtime=31.75
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 69597 782 4 0 3127 35 11 2 18 0 9 0 1008887774 888942592 41357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 217027 41357 2616 9 0 211555 0
[pid=9561/tid=9563] ppid=9559 vsize=868108 CPUtime=30.12
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 9359 0 -1 64 27067 782 4 0 2983 16 11 2 25 0 9 0 1008887775 888942592 41357 996147200 134512640 134550740 4294955968 18446744073709551615 4126934256 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=868108 CPUtime=1.31
/proc/9561/task/9564/stat : 9564 (java) R 9559 9561 9359 0 -1 64 40735 782 0 0 102 16 11 2 16 0 9 0 1008887777 888942592 41357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 16 0 9 0 1008887777 888942592 41357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 29 782 0 0 0 0 11 2 15 0 9 0 1008887777 888942592 41357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 782 0 0 0 0 11 2 18 0 9 0 1008887779 888942592 41357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=868108 CPUtime=0.54
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 921 782 0 0 40 1 11 2 16 0 9 0 1008887779 888942592 41357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 782 0 0 0 0 11 2 19 0 9 0 1008887779 888942592 41357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 15 0 9 0 1008887779 888942592 41357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.75
Current children cumulated vsize (KiB) 868108

[startup+35.1013 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 9580
/proc/meminfo: memFree=1361248/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=868108 CPUtime=34.92
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 69598 782 4 0 3444 35 11 2 18 0 9 0 1008887774 888942592 41358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 217027 41358 2616 9 0 211555 0
[pid=9561/tid=9563] ppid=9559 vsize=868108 CPUtime=33.29
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 9359 0 -1 64 27067 782 4 0 3300 16 11 2 25 0 9 0 1008887775 888942592 41358 996147200 134512640 134550740 4294955968 18446744073709551615 4127361950 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=868108 CPUtime=1.31
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 9359 0 -1 64 40735 782 0 0 102 16 11 2 17 0 9 0 1008887777 888942592 41358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 16 0 9 0 1008887777 888942592 41358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 29 782 0 0 0 0 11 2 15 0 9 0 1008887777 888942592 41358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 782 0 0 0 0 11 2 18 0 9 0 1008887779 888942592 41358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=868108 CPUtime=0.54
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 922 782 0 0 40 1 11 2 15 0 9 0 1008887779 888942592 41358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 782 0 0 0 0 11 2 19 0 9 0 1008887779 888942592 41358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 15 0 9 0 1008887779 888942592 41358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.92
Current children cumulated vsize (KiB) 868108

[startup+36.7015 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 9580
/proc/meminfo: memFree=1361248/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=868108 CPUtime=36.5
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 69606 782 4 0 3602 35 11 2 18 0 9 0 1008887774 888942592 41365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 217027 41365 2616 9 0 211555 0
[pid=9561/tid=9563] ppid=9559 vsize=868108 CPUtime=34.85
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 9359 0 -1 64 27068 782 4 0 3456 16 11 2 25 0 9 0 1008887775 888942592 41365 996147200 134512640 134550740 4294955968 18446744073709551615 4126898741 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=868108 CPUtime=1.31
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 9359 0 -1 64 40735 782 0 0 102 16 11 2 16 0 9 0 1008887777 888942592 41365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 16 0 9 0 1008887777 888942592 41365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 29 782 0 0 0 0 11 2 15 0 9 0 1008887777 888942592 41365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 782 0 0 0 0 11 2 18 0 9 0 1008887779 888942592 41365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=868108 CPUtime=0.56
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 929 782 0 0 42 1 11 2 15 0 9 0 1008887779 888942592 41365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 782 0 0 0 0 11 2 19 0 9 0 1008887779 888942592 41365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 15 0 9 0 1008887779 888942592 41365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 36.5
Current children cumulated vsize (KiB) 868108

[startup+37.5016 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 9580
/proc/meminfo: memFree=1361248/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=868108 CPUtime=37.29
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 69609 782 4 0 3681 35 11 2 18 0 9 0 1008887774 888942592 41367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 217027 41367 2616 9 0 211555 0
[pid=9561/tid=9563] ppid=9559 vsize=868108 CPUtime=35.64
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 9359 0 -1 64 27068 782 4 0 3535 16 11 2 25 0 9 0 1008887775 888942592 41367 996147200 134512640 134550740 4294955968 18446744073709551615 4127418599 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=868108 CPUtime=1.31
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 9359 0 -1 64 40735 782 0 0 102 16 11 2 17 0 9 0 1008887777 888942592 41367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 16 0 9 0 1008887777 888942592 41367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 29 782 0 0 0 0 11 2 15 0 9 0 1008887777 888942592 41367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 782 0 0 0 0 11 2 18 0 9 0 1008887779 888942592 41367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=868108 CPUtime=0.56
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 932 782 0 0 42 1 11 2 16 0 9 0 1008887779 888942592 41367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 782 0 0 0 0 11 2 19 0 9 0 1008887779 888942592 41367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 15 0 9 0 1008887779 888942592 41367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.29
Current children cumulated vsize (KiB) 868108

[startup+37.7016 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 9580
/proc/meminfo: memFree=1361248/2055920 swapFree=4180884/4192956
[pid=9561] ppid=9559 vsize=868108 CPUtime=37.5
/proc/9561/stat : 9561 (java) S 9559 9561 9359 0 -1 0 69623 782 4 0 3701 36 11 2 18 0 9 0 1008887774 888942592 41379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 217027 41379 2616 9 0 211555 0
[pid=9561/tid=9563] ppid=9559 vsize=868108 CPUtime=35.82
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 9359 0 -1 64 27073 782 4 0 3553 16 11 2 25 0 9 0 1008887775 888942592 41379 996147200 134512640 134550740 4294955968 18446744073709551615 4127473200 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=868108 CPUtime=1.31
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 9359 0 -1 64 40735 782 0 0 102 16 11 2 17 0 9 0 1008887777 888942592 41379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 16 0 9 0 1008887777 888942592 41379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 9359 0 -1 64 29 782 0 0 0 0 11 2 15 0 9 0 1008887777 888942592 41379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 9359 0 -1 64 1 782 0 0 0 0 11 2 18 0 9 0 1008887779 888942592 41379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=868108 CPUtime=0.58
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 9359 0 -1 64 941 782 0 0 44 1 11 2 15 0 9 0 1008887779 888942592 41379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 9359 0 -1 64 2 782 0 0 0 0 11 2 19 0 9 0 1008887779 888942592 41379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9561/tid=9570] ppid=9559 vsize=868108 CPUtime=0.13
/proc/9561/task/9570/stat : 9570 (java) S 9559 9561 9359 0 -1 64 14 782 0 0 0 0 11 2 15 0 9 0 1008887779 888942592 41379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.5
Current children cumulated vsize (KiB) 868108

Child status: 0
Real time (s): 37.7586
CPU time (s): 37.5643
CPU user time (s): 37.1494
CPU system time (s): 0.414936
CPU usage (%): 99.4854
Max. virtual memory (cumulated for all children) (KiB): 868196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.1494
system time used= 0.414936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70443
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3204
involuntary context switches= 3187

runsolver used 0.052991 second user time and 0.133979 second system time

The end

Launcher Data (download as text)

Begin job on node2 at 2008-07-05 10:00:32
IDJOB=1087588
IDBENCH=58019
IDSOLVER=363
FILE ID=node2/1087588-1215244831
PBS_JOBID= 7882018
Free space on /tmp= 66500 MiB

SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087588-1215244831/watcher-1087588-1215244831 -o /tmp/evaluation-result-1087588-1215244831/solver-1087588-1215244831 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1087588-1215244831.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d5e3aabb8926151d3fb7baec2a204317
RANDOM SEED=315138453

node2.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.236
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.236
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:       1518672 kB
Buffers:          7140 kB
Cached:         124856 kB
SwapCached:       5908 kB
Active:         403332 kB
Inactive:        76504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1518672 kB
SwapTotal:     4192956 kB
SwapFree:      4180884 kB
Dirty:            4644 kB
Writeback:           0 kB
Mapped:         355776 kB
Slab:            41704 kB
Committed_AS:  2031100 kB
PageTables:       2776 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264992 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66496 MiB
End job on node2 at 2008-07-05 10:01:09