Trace number 200831

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
buggy_2_5 2007-01-08SAT 714.713 718.137

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-10.xml
MD5SUM7da57cc6785d866f073effab049038df
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 benchmark331.113
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

SAT
-2208 -2088 -2600 -2740 -2740 -2212 -2180 -2228 -2616 -2060 -2712 -2064 -2684 2108 2428 2456 -2636 -2528 -2080 2020 2316 -2740 -2388 2252 -2424 -2420 -2600 -2740 -2700 -2060 -2524 2496 -2292 2428 2608 2592 2356 -2072 -2608 -2220 2632 -2040 2452 2396 2636 -2700 2664 -2048 -2468 -2152 2032 -2464 -2680 -2536 -2192 2176 2196 2448 -2664 2328 2244 -2532 -2588 -2440 -2296 -2700 -2712 -2496 -2216 -2692 -2724 -2516 -2212 -2652 2372 -2604 -2060 2036 -2352 -2576 -2740 2564 2612 -2444 -2528 -2564 -2064 2416 2688 2532 -2188 2568 -2676 2560 2660 -2168 2420 -2060 -2084 -2632 -2320 -2196 -2256 -2216 2020 -2660 -2648 -2444 -2660 -2072 2068 2532 -2700 -2152 -2344 -2432 -2236 2144 -2684 -2104 2668 -2512 2540 -2692 -2392 2472 -2448 -2740 2064 -2592 -2504 -2696 2020 -2292 -2696 -2144 -2680 2700 -2476 -2036 -2740 -2520 2504 -2412 -2060 -2716 -2708 2068 -2568 2132 -2124 -2524 -2416 -2464 2436 2036 -2060 2700 -2636 -2524 -2280 2588 2740 -2680 2684 -2264 2284 2464 -2672 2364 -2196 -2208 -2028 -2552 2140 -2092 2260 -2484 -2516 -2276 2600 2684 -2328 2628 2336 -2512 -2140 2432 -2416 -2320 2292 -2020 -2596 2060 -2656 2620 2320 2260 -2072 -2244 -2740 2604 -2740 -2728 -2152 -2200 -2612 2596 2060 -2100 -2560 -2136 2020 -2296 -2420 -2632 -2636 -2340 -2612 -2324 -2328 2568 2428 2740 -2080 -2484 -2152 2700 2192 2020 2548 -2456 -2448 -2372 2612 -2060 -2192 -2048 -2700 -2712 2448 -2740 -2340 -2576 -2124 -2704 -2440 -2528 -2700 -2536 -2700 2168 -2456 -2476 2020 -2536 2100 -2256 2344 -2312 -2372 -2332 2504 2288 -2108 -2704 2696 -2568 -2068 -2484 -2484 -2128 -2520 -2676 -2100 -2700 2316 -2144 -2740 2592 -2028 2416 2060 2084 2740 -2632 2692 2692 -2376 -2568 -2060 2684 -2532 2476 2460 -2576 -2348 -2404 2112 -2388 -2632 2264 -2636 -2432 -2452 -2404 -2512 2356 -2700 -2308 -2252 -2596 2360 2712 -2740 2452 2396 -2108 -2092 -2468 -2636 -2640 2020 -2060 -2344 -2168 2372 -2732 2728 2684 2512 -2576 -2188 -2620 -2088 2580 -2740 -2192 -2676 2584 -2676 2668 -2536 -2684 -2368 -2072 -2724 2020 -2444 -2196 -2368 -2596 2564 -2280 2288 -2672 -2356 -2532 -2644 -2204 -2700 -2284 2056 2548 -2456 2608 -2584 2208 -2084 -2692 -2076 -2680 -2740 -2724 -2740 2520 2152 -2728 2020 -2424 -2300 -2468 -2448 -2356 -2504 2272 2036 2304 2064 2176 2352 -2632 -2700 -2568 -2680 2472 -2440 -2740 -2524 -2368 -2488 -2700 2392 -2060 2164 2568 -2496 -2636 2348 -2676 -2100 2348 -2276 -2672 2652 2088 -2636 2276 -2284 -2348 -2700 2404 2020 -2700 2132 -2524 -2640 2616 -2352 2108 -2568 -2304 -2268 -2592 -2516 -2212 -2700 -2740 -2628 2552 2104 2480 -2676 2324 -2700 2084 -2128 2376 -2136 -2740 2092 -2612 -2412 2660 2108 -2692 -2740 2512 2364 2020 -2268 -2684 -2152 2184 2740 2476 2420 2156 2684 -2252 -2360 2544 -2640 -2320 2384 -2584 -2212 2276 2452 -2544 -2548 -2656 2124 2628 2036 -2032 -2700 -2540 2548 -2392 2376 -2176 -2560 2268 -2276 -2260 2024 -2304 2584 -2184 -2216 -2556 -2060 -2096 2140 2528 2168 -2348 -2248 -2652 -2296 2060 -2588 -2028 -2068 2076 2656 2596 -2244 -2692 -2200 2412 -2700 -2724 -2308 -2740 -2148 2132 -2568 -2700 -2368 2092 2588 2392 -2176 -2328 -2544 -2408 -2740 2136 -2056 2700 -2628 -2664 2416 -2584 2676 -2280 -2204 2480 -2064 -2452 2376 2020 2336 2360 -2060 -2312 2592 2492 -2732 -2196 2516 2656 2596 2232 2068 2164 -2132 -2480 2256 2588 -2236 -2584 2132 2624 2676 2192 2176 2228 2232 2556 2544 2392 -2608 2320 -2260 -2328 2296 2020 -2364 -2116 -2588 2232 2360 2348 2436 -2624 -2576 -2436 -2608 -2216 2072 -2292 -2204 2268 -2700 2516 -2152 -2408 -2740 -2160 2328 2284 -2368 2484 -2132 -2052 -2472 2380 2576 2188 2500 -2700 -2684 -2256 -2460 -2176 2188 -2368 -2624 2192 2068 2660 -2408 -2540 2712 -2240 -2660 2656 -2472 2020 2148 -2216 2740 -2740 2216 -2500 -2468 -2636 -2524 -2604 2640 -2416 -2512 2720 -2404 -2292 -2060 -2256 -2676 -2620 2444 2164 -2640 -2292 -2240 -2292 -2496 -2312 -2700 2020 -2328 -2416 2156 -2680 -2740 2652 -2576 -2032 -2316 -2428 2528 -2368 2716 2228 -2216 2200 -2252 2488 2584 2616 -2360 -2724 -2084 2664 -2092 2120 -2616 2432 -2732 -2296 2136 2132 -2520 2216 -2208 2620 -2584 -2072 -2492 -2640 -2428 2280 -2296 2392 2368 -2600 -2440 -2160 -2656 -2380 -2556 2172 2564 -2716 -2576 2124 -2368 -2556 2528 2600 -2204 -2560 -2592 -2608 2300 -2444 -2740 2564 2680 -2632 2500 -2020 2112 -2180 -2136 2740 -2188 2676 2060 -2660 -2460 -2080 -2092 -2028 2344 -2700 -2256 2656 -2308 2020 -2332 -2252 -2272 -2508 -2060 -2664 -2732 -2740 -2032 2112 2460 -2292 2308 -2348 -2468 2720 -2192 -2680 2284 -2620 -2116 2604 2152 -2320 -2060 -2176 2316 -2700 -2588 2724 2256 -2384 2660 2212 2600 2540 2372 -2588 -2344 -2372 2180 -2080 2068 2616 -2404 -2416 -2152 -2272 2108 -2024 -2464 -2076 2080 2096 -2464 -2740 -2596 2204 -2632 -2488 2576 2252 2296 2144 2168 -2696 2072 2416 -2488 -2516 2700 2424 -2304 2024 -2444 2428 -2320 -2376 -2740 -2616 -2384 2636 -2672 -2488 2484 -2612 -2204 -2456 -2076 -2700 -2100 -2668 -2580 2160 2200 -2648 2452 2172 -2400 -2628 -2036 -2740 -2052 -2548 2120 -2396 -2432 -2136 -2700 2624 -2580 2376 -2308 2192 -2292 -2060 2060 2432 2652 -2700 2232 2500 -2396 -2328 -2688 -2628 2176 2156 -2488 2100 -2324 2140 -2292 -2032 -2536 2128 2176 -2700 2060 2076 2432 2740 -2208 2540 -2620 2124 -2064 -2256 2152 -2644 -2528 -2488 -2500 -2696 2060 2244 2060 -2732 -2220 2592 2652 2636 2020 2524 -2584 2332 2628 -2060 2520 -2380 2528 -2192 -2316 2200 -2092 2124 -2044 -2304 -2100 -2684 -2296 2692 -2164 2676 2456 2432 -2600 2076 2696 2396 2676 -2740 2304 -2684 2412 -2228 -2356 -2124 -2624 -2060 -2444 2572 -2116 -2320 -2040 -2316 -2444 -2528 -2352 -2740 2288 2720 -2548 -2620 2720 2192 -2432 -2396 -2332 2252 2620 2280 -2128 -2020 -2208 -2148 -2492 -2708 -2676 -2216 -2032 -2716 -2700 -2740 -2624 -2584 2740 -2620 -2240 -2400 -2672 -2632 -2068 -2700 -2388 -2500 2628 -2356 2228 -2236 -2640 -2580 2020 -2180 -2700 2164 -2112 -2740 -2412 -2572 -2740 2044 -2240 -2668 2632 2112 2324 2372 -2708 2648 -2064 2468 -2640 2144 -2480 -2376 2168 2316 -2072 -2384 -2040 2212 -2616 2460 2060 2692 -2680 -2488 -2080 -2108 2620 -2508 -2404 2576 -2644 -2656 2204 -2060 2496 2236 -2404 -2700 -2504 -2620 -2724 -2260 -2712 -2660 -2184 -2344 -2184 2096 -2644 -2372 -2024 2108 2212 2248 -2652 2144 -2612 2628 2176 -2700 -2160 -2488 2316 -2720 -2124 2332 2524 -2596 2596 -2488 -2664 -2360 2492 -2416 2020 -2328 2360 -2700 -2412 2020 -2228 -2380 -2080 2536 -2388 -2116 2572 -2488 -2168 -2504 -2600 2424 -2640 -2256 2624 -2684 -2696 -2204 2540 -2700 -2020 -2064 2524 2504 2316 -2456 -2700 2588 2560 2020 -2060 2136 -2104 -2020 -2556 2308 2488 2716 -2636 -2216 2020 -2040 2120 -2660 -2576 -2184 -2312 2500 -2328 2676 -2028 2364 2608 -2512 -2284 -2108 -2564 -2636 2368 2676 -2328 -2656 -2520 2320 2020 -2664 2404 2608 -2652 -2108 2464 2148 -2600 -2604 2684 2020 2700 -2612 2688 2528 -2740 -2472 -2504 -2660 2568 -2492 2660 2092 2428 -2608 -2624 2476 -2660 2428 -2252 -2524 -2632 2480 -2536 -2420 -2644 2152 2680 2216 2560 -2244 2156 2224 -2176 -2420 2128 -2328 -2160 2172 -2700 -2672 2668 2336 2720 -2080 -2624 2184 -2696 -2640 2336 -2428 -2040 2704 2524 -2700 -2048 2308 2672 -2740 -2148 -2512 2324 2236 2600 -2020 -2740 2300 2524 -2268 -2060 -2536 2172 -2520 -2308 -2696 2580 -2480 -2060 -2044 -2516 -2240 -2700 -2316 2048 2612 -2248 2652 -2276 -2072 2072 -2500 2304 -2376 2300 2280 2664 -2412 -2264 -2084 2148 -2256 -2372 -2608 -2332 -2256 2336 2288 -2668 -2388 -2300 -2740 2552 -2060 2436 2128 -2628 2520 -2348 -2444 -2136 2592 -2488 2328 -2256 2060 2652 2292 -2268 -2684 -2628 -2516 2392 2372 -2048 2136 2348 -2244 2064 -2216 -2580 -2560 -2172 -2608 -2340 -2296 -2644 2476 -2148 -2520 -2528 2020 -2536 2328 -2436 -2700 2524 -2260 2060 2196 2244 2196 -2588 2216 -2292 2020 -2664 -2200 -2180 -2428 2288 -2616 2364 2552 -2528 2020 -2668 -2084 2688 -2424 2724 -2452 -2672 2464 2368 2328 -2472 -2632 -2076 -2700 -2740 -2232 -2544 -2112 2572 2072 2360 2700 -2384 2268 -2476 -2088 2480 -2188 -2700 -2740 -2168 -2392 -2156 -2188 -2088 -2336 -2700 -2616 2448 2060 -2292 2440 2536 -2520 2152 -2196 -2060 2380 2200 -2060 2380 -2704 -2364 2484 2328 2084 2676 2092 -2604 -2040 2020 -2700 2648 2504 2492 2472 -2724 -2572 2324 2020 -2392 2600 -2264 2580 -2108 -2452 -2472 2080 -2272 -2740 -2232 2352 -2352 -2420 2492 -2072 -2268 2152 -2448 2484 2488 -2636 2400 -2624 -2180 2700 -2472 -2168 -2192 -2724 2716 2084 -2664 2448 2656 -2700 -2100 -2144 -2436 -2372 -2152 -2040 2616 -2160 2384 -2696 -2528 -2568 -2716 2552 2708 -2580 -2680 2060 -2700 -2204 -2592 -2332 2548 -2536 2192 -2684 -2636 -2076 2660 -2456 2600 2192 -2700 -2060 -2084 -2604 2496 -2376 2724 -2288 2224 2452 -2616 2296 2336 2340 2180 -2264 2444 -2232 -2288 -2552 -2516 -2672 -2740 2320 2204 -2480 2600 -2596 -2452 -2340 -2556 2368 2392 -2420 -2612 -2680 -2092 -2176 -2272 -2576 -2680 2652 -2740 -2700 2060 -2700 -2560 -2740 -2520 -2364 -2504 -2108 -2472 2664 -2624 2208 -2540 -2640 -2668 -2472 -2368 -2344 2528 2536 2020 2024 -2700 -2276 2288 -2108 2392 2616 -2268 -2632 -2112 -2616 -2700 -2720 -2700 -2160 2284 2644 -2468 -2456 2072 2720 -2400 2264 -2700 2232 -2740 -2740 -2676 -2176 -2684 -2376 -2740 -2512 -2368 2304 2736 -2060 2604 -2572 2292 -2024 -2536 -2536 -2332 -2540 -2424 -2572 -2636 2316 2620 -2196 2604 -2740 -2128 -2616 2680 2700 2276 2164 -2384 -2704 2120 2552 -2740 -2256 2440 -2428 -2704 2084 -2540 2252 -2380 -2556 -2400 -2076 -2412 -2404 2568 -2340 -2276 -2660 2560 -2596 2060 2120 -2312 2388 2156 -2700 2528 2356 -2172 2312 2668 2636 -2344 -2488 2624 -2112 2648 -2432 2252 -2332 -2740 -2244 -2184 2060 2476 -2700 2248 2364 2656 2356 -2556 -2320 -2640 2192 -2700 -2704 -2684 -2296 -2404 -2648 -2180 -2236 -2496 -2568 -2324 2636 -2020 -2552 -2256 -2344 -2164 2696 -2540 -2512 2388 2428 2036 -2180 -2552 -2496 -2432 2692 2372 -2064 -2616 -2580 2528 2556 2280 -2276 -2392 2324 -2156 2440 -2700 -2060 2032 2128 -2352 -2700 -2588 -2336 -2272 -2068 -2600 -2236 -2536 2704 2152 -2700 -2384 -2132 -2464 2192 -2740 -2304 -2724 2040 2720 -2280 2404 -2488 2388 2024 -2328 -2636 2740 -2088 -2740 -2700 -2536 -2244 -2300 -2740 -2700 -2148 2352 2352 2084 -2668 -2388 -2268 -2648 2472 -2444 -2540 2076 -2032 -2552 -2440 2416 2384 2540 2052 2480 -2204 2312 2500 2316 -2672 2400 -2192 -2424 -2368 -2360 2652 -2392 -2544 -2020 -2228 -2740 2052 -2112 -2580 2036 2476 -2700 2300 2452 2680 -2092 -2076 -2196 2352 -2304 -2328 -2352 2592 -2148 -2264 2060 2076 -2656 -2612 -2120 -2736 -2292 2168 -2652 -2740 -2644 -2484 -2188 2224 2628 -2724 -2144 2700 -2676 -2060 -2664 2676 -2284 2700 2376 -2588 -2024 -2164 2020 -2592 -2484 2348 2344 -2700 -2080 -2060 -2348 -2104 2556 -2328 2684 2284 -2376 -2416 -2164 2644 -2740 -2304 2572 -2064 -2496 2112 -2652 -2624 -2576 2712 2612 -2172 -2580 -2292 -2364 -2352 -2468 -2656 -2600 -2688 2472 -2200 -2580 -2472 -2060 -2560 -2736 2248 -2168 -2672 2020 -2060 2104 -2596 -2692 2608 -2616 2616 -2592 -2020 2408 -2492 -2240 2052 -2368 2148 -2688 2544 -2700 2424 -2700 -2632 2088 -2680 -2664 -2624 -2148 2388 -2084 2076 2088 -2244 -2444 -2332 -2240 2292 -2380 2576 -2092 -2276 2608 -2472 -2060 2520 -2248 2140 -2392 2496 -2248 2724 -2508 2448 2344 2556 2492 -2596 -2088 2088 2144 -2720 -2548 -2592 -2488 -2700 -2296 -2720 -2588 -2192 2544 -2732 2060 2204 -2560 -2132 2636 -2424 2132 2668 -2132 -2740 2136 2540 -2144 -2676 2660 -2740 -2216 -2704 -2604 -2116 2412 -2292 -2244 2440 -2740 -2444 -2740 -2108 2256 -2672 2060 -2612 2288 -2620 2700 -2644 -2660 -2636 -2144 -2400 2208 -2568 2044 -2388 2032 -2568 2248 2668 2196 -2020 -2444 2516 -2416 2164 -2288 2116 2020 -2388 2324 -2148 -2396 2420 -2560 2648 2284 2516 -2200 2716 -2516 -2128 2584 2060 -2544 -2700 2252 2540 -2112 2020 2336 -2060 -2536 -2740 -2716 2200 2664 -2736 2616 2044 -2576 -2184 -2160 2528 -2156 -2404 -2060 -2332 -2664 -2112 -2060 2404 -2268 -2736 -2732 2436 -2164 2044 -2136 -2204 -2720 2160 2204 -2576 -2192 -2520 -2576 -2740 -2504 -2020 -2484 -2460 2024 2424 2576 -2216 2340 -2212 -2220 -2724 -2728 -2464 -2436 2676 -2256 -2376 2104 -2724 -2488 2700 -2708 -2492 -2628 -2232 2060 2644 -2508 2164 -2684 2152 2704 -2252 2024 2020 -2176 -2336 -2720 -2420 2544 2020 -2476 2216 2636 2588 2228 -2080 2528 -2308 2568 2020 -2452 -2508 -2576 -2172 -2172 -2308 -2204 -2496 -2612 -2544 -2700 -2704 2020 2084 -2152 2232 2036 -2176 2628 2656 2740 2132 2464 -2660 2220 -2608 -2332 -2656 -2716 -2688 2660 2456 -2620 -2460 2064 2688 -2372 -2564 2068 -2220 -2664 2104 -2548 -2152 -2428 -2180 -2164 2428 2404 2516 -2408 -2076 -2376 -2536 2684 2464 -2404 2216 -2108 2288 2276 -2104 -2060 -2412 -2068 -2204 -2044 -2580 2648 -2500 -2700 -2576 -2560 -2596 2480 2048 2028 2580 -2576 2104 -2656 -2620 -2100 2404 -2580 -2160 -2308 -2088 -2408 -2592 -2408 -2384 2228 -2088 -2544 -2324 -2068 -2588 2692 -2700 2456 -2520 2256 2020 -2516 -2460 -2288 -2684 2060 2060 -2536 2324 -2336 2168 -2560 -2616 -2528 -2636 -2740 -2236 2604 -2620 2472 -2580 2628 -2512 2028 -2700 -2460 2268 2740 2368 -2608 -2528 -2636 -2456 -2588 -2264 2020 -2176 -2584 -2496 2680 -2208 2460 -2128 -2464 -2096 -2700 -2068 -2140 2728 2284 -2280 2576 -2712 -2672 2672 -2724 -2500 -2348 -2204 2412 2020 2184 -2596 -2096 2296 2156 -2644 -2140 2112 2196 2020 -2352 -2596 -2104 2576 -2664 2076 2676 2480 -2500 2592 -2700 2444 -2364 2616 2308 2332 -2432 2364 -2704 2616 2380 2048 -2068 -2580 -2508 -2652 2716 2724 -2716 -2728 2660 -2504 -2052 2448 2092 -2088 -2392 2300 2088 -2660 -2588 2244 -2288 -2656 -2224 -2364 -2060 -2220 2408 -2672 -2332 -2060 2488 -2140 2056 2632 -2644 -2216 -2584 2444 -2732 2204 -2208 -2392 2020 2220 -2152 2156 2228 -2724 -2424 -2284 2604 2160 2120 2272 -2680 -2432 2504 -2484 -2544 2664 2408 -2676 2336 -2084 -2612 -2196 2036 -2356 -2060 2740 -2504 -2620 2020 -2540 2020 2584 2488 2556 -2692 2700 2308 -2420 -2044 -2236 -2536 2512 -2740 -2732 -2448 -2060 2416 -2448 2208 2568 -2404 -2444 -2144 -2692 2476 -2204 -2252 -2060 2684 -2148 2468 -2324 2256 2544 2428 -2740 2548 -2224 2548 2036 -2100 -2700 2644 2700 2020 -2652 -2216 -2316 -2100 2640 2020 2676 -2060 -2564 -2096 -2708 -2332 -2200 2664 -2516 2384 2600 -2640 -2312 -2144 -2316 2576 -2584 -2740 2540 -2592 2020 -2180 2072 -2220 -2720 -2576 -2380 -2448 2700 -2632 -2240 -2484 -2064 2544 2680 -2060 -2064 -2696 -2488 2020 -2500 -2696 -2176 2020 -2612 -2340 -2048 -2540 -2468 2720 -2404 -2352 2140

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-200831-1168288626 -o ROOT/results/node7/solver-200831-1168288626 -C 1800 -M 900 /tmp/evaluation/200831-1168288626/solver /tmp/evaluation/200831-1168288626/unknown 1800 

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

/proc/loadavg: 0.90 1.54 1.52 5/88 23229
/proc/meminfo: memFree=1638472/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=0
/proc/23228/stat : 23228 (solver) R 23226 23228 21866 0 -1 4194304 280 0 0 0 0 0 0 0 21 0 1 0 177258225 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/23228/statm: 1338 231 193 169 0 49 0
[pid=23230] ppid=23228 vsize=0 CPUtime=0
/proc/23230/stat : 23230 (solver) Z 23228 23228 21866 0 -1 4194380 26 0 0 0 0 0 0 0 15 0 1 0 177258225 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 0 0 0
/proc/23230/statm: 0 0 0 0 0 0 0
[pid=23231] ppid=23228 vsize=5352 CPUtime=0
/proc/23231/stat : 23231 (solver) R 23228 23228 21866 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 177258225 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/23231/statm: 1338 231 193 169 0 49 0

[startup+0.107327 s]
/proc/loadavg: 0.90 1.54 1.52 5/88 23229
/proc/meminfo: memFree=1638472/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=0
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.519371 s]
/proc/loadavg: 0.90 1.54 1.52 5/88 23229
/proc/meminfo: memFree=1638472/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=0
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34746 s]
/proc/loadavg: 0.90 1.54 1.52 3/88 23248
/proc/meminfo: memFree=1583112/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=0.79
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 376 2851 0 0 0 0 74 5 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23248] ppid=23228 vsize=24368 CPUtime=0.5
/proc/23248/stat : 23248 (bordewijk) R 23228 23228 21866 0 -1 4194304 5597 0 0 0 46 4 0 0 21 0 1 0 177258308 24952832 5569 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134582884 0 0 4096 0 0 0 0 17 1 0 0
/proc/23248/statm: 6092 5569 204 97 0 5373 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 29720

[startup+2.98463 s]
/proc/loadavg: 0.98 1.55 1.52 3/88 23248
/proc/meminfo: memFree=1474568/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=0.79
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 376 2851 0 0 0 0 74 5 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23248] ppid=23228 vsize=89312 CPUtime=2.14
/proc/23248/stat : 23248 (bordewijk) R 23228 23228 21866 0 -1 4194304 21831 0 0 0 196 18 0 0 25 0 1 0 177258308 91455488 21803 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 10876703 0 0 4096 0 0 0 0 17 1 0 0
/proc/23248/statm: 22328 21803 204 97 0 21609 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 94664

[startup+6.26397 s]
/proc/loadavg: 0.98 1.55 1.52 3/88 23248
/proc/meminfo: memFree=1245512/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=0.79
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 376 2851 0 0 0 0 74 5 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23248] ppid=23228 vsize=180944 CPUtime=5.39
/proc/23248/stat : 23248 (bordewijk) R 23228 23228 21866 0 -1 4194304 51814 0 0 0 490 49 0 0 25 0 1 0 177258308 185286656 43856 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134629259 0 0 4096 0 0 0 0 17 1 0 0
/proc/23248/statm: 45236 43856 215 97 0 44517 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 186296

[startup+12.7236 s]
/proc/loadavg: 1.14 1.56 1.52 3/88 23248
/proc/meminfo: memFree=1068552/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=0.79
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 376 2851 0 0 0 0 74 5 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23248] ppid=23228 vsize=237688 CPUtime=11.81
/proc/23248/stat : 23248 (bordewijk) R 23228 23228 21866 0 -1 4194304 65899 0 0 0 531 650 0 0 25 0 1 0 177258308 243392512 57941 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23248/statm: 59422 57941 217 97 0 58703 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 243040

[startup+25.557 s]
/proc/loadavg: 1.27 1.58 1.53 3/88 23250
/proc/meminfo: memFree=1355848/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111552 CPUtime=10.27
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 27365 0 0 0 857 170 0 0 25 0 1 0 177259747 114229248 26504 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527008 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27888 26504 137 64 0 27203 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 116904

[startup+51.2367 s]
/proc/loadavg: 1.52 1.61 1.54 3/88 23250
/proc/meminfo: memFree=1353608/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111636 CPUtime=35.83
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 27934 0 0 0 3412 171 0 0 25 0 1 0 177259747 114315264 27073 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4055882618 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27909 27073 138 64 0 27224 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 116988

[startup+102.485 s]
/proc/loadavg: 1.81 1.67 1.56 3/88 23250
/proc/meminfo: memFree=1353544/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111676 CPUtime=86.84
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28030 0 0 0 8512 172 0 0 25 0 1 0 177259747 114356224 27169 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4052199056 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27919 27169 138 64 0 27234 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 117028

[startup+162.57 s]
/proc/loadavg: 1.93 1.73 1.59 3/88 23250
/proc/meminfo: memFree=1353544/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111676 CPUtime=146.64
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28030 0 0 0 14492 172 0 0 25 0 1 0 177259747 114356224 27169 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519662 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27919 27169 138 64 0 27234 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 117028

[startup+222.662 s]
/proc/loadavg: 1.97 1.78 1.61 3/88 23250
/proc/meminfo: memFree=1353608/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111676 CPUtime=206.45
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28030 0 0 0 20472 173 0 0 25 0 1 0 177259747 114356224 27169 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519662 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27919 27169 138 64 0 27234 0
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (KiB) 117028

[startup+282.747 s]
/proc/loadavg: 1.99 1.81 1.63 3/88 23250
/proc/meminfo: memFree=1353544/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111676 CPUtime=266.25
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28030 0 0 0 26452 173 0 0 25 0 1 0 177259747 114356224 27169 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519634 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27919 27169 138 64 0 27234 0
Current children cumulated CPU time (s) 281.35
Current children cumulated vsize (KiB) 117028

[startup+342.83 s]
/proc/loadavg: 2.05 1.86 1.66 3/88 23250
/proc/meminfo: memFree=1353544/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111676 CPUtime=326.05
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28030 0 0 0 32431 174 0 0 25 0 1 0 177259747 114356224 27169 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27919 27169 138 64 0 27234 0
Current children cumulated CPU time (s) 341.15
Current children cumulated vsize (KiB) 117028

[startup+402.917 s]
/proc/loadavg: 2.02 1.88 1.68 3/88 23250
/proc/meminfo: memFree=1353480/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111680 CPUtime=385.86
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28034 0 0 0 38411 175 0 0 25 0 1 0 177259747 114360320 27173 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4053731629 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27920 27173 138 64 0 27235 0
Current children cumulated CPU time (s) 400.96
Current children cumulated vsize (KiB) 117032

[startup+463.002 s]
/proc/loadavg: 2.04 1.92 1.70 3/88 23250
/proc/meminfo: memFree=1353480/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111680 CPUtime=445.66
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28034 0 0 0 44391 175 0 0 25 0 1 0 177259747 114360320 27173 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527024 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27920 27173 138 64 0 27235 0
Current children cumulated CPU time (s) 460.76
Current children cumulated vsize (KiB) 117032

[startup+523.087 s]
/proc/loadavg: 2.01 1.93 1.72 3/88 23250
/proc/meminfo: memFree=1352264/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111680 CPUtime=505.46
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28034 0 0 0 50370 176 0 0 25 0 1 0 177259747 114360320 27173 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134516865 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27920 27173 138 64 0 27235 0
Current children cumulated CPU time (s) 520.56
Current children cumulated vsize (KiB) 117032

[startup+583.182 s]
/proc/loadavg: 2.00 1.94 1.73 3/88 23250
/proc/meminfo: memFree=1350984/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111680 CPUtime=565.27
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28034 0 0 0 56351 176 0 0 25 0 1 0 177259747 114360320 27173 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27920 27173 138 64 0 27235 0
Current children cumulated CPU time (s) 580.37
Current children cumulated vsize (KiB) 117032

[startup+643.274 s]
/proc/loadavg: 2.00 1.95 1.74 3/88 23250
/proc/meminfo: memFree=1350920/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111680 CPUtime=625.08
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28034 0 0 0 62331 177 0 0 25 0 1 0 177259747 114360320 27173 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27920 27173 138 64 0 27235 0
Current children cumulated CPU time (s) 640.18
Current children cumulated vsize (KiB) 117032

[startup+703.364 s]
/proc/loadavg: 2.00 1.95 1.75 3/88 23250
/proc/meminfo: memFree=1350920/2055920 swapFree=4192812/4192956
[pid=23228] ppid=23226 vsize=5352 CPUtime=15.1
/proc/23228/stat : 23228 (solver) S 23226 23228 21866 0 -1 4194304 396 68751 0 0 0 0 619 891 16 0 1 0 177258225 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23228/statm: 1338 242 203 169 0 49 0
[pid=23250] ppid=23228 vsize=111680 CPUtime=684.88
/proc/23250/stat : 23250 (standalone) R 23228 23228 21866 0 -1 4194304 28034 0 0 0 68311 177 0 0 25 0 1 0 177259747 114360320 27173 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4053689239 0 0 4096 0 0 0 0 17 1 0 0
/proc/23250/statm: 27920 27173 138 64 0 27235 0
Current children cumulated CPU time (s) 699.98
Current children cumulated vsize (KiB) 117032

Child status: 0
Real time (s): 718.137
CPU time (s): 714.713
CPU user time (s): 703.986
CPU system time (s): 10.7274
CPU usage (%): 99.5232
Max. virtual memory (cumulated for all children) (KiB): 243040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 703.986
system time used= 10.7274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 866
involuntary context switches= 8932

runsolver used 0.906862 s user time and 2.27565 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Jan  8 20:37:08 UTC 2007


IDJOB= 200831
IDBENCH= 3729
FILE ID= node7/200831-1168288626

PBS_JOBID= 3501736

Free space on /tmp= 66530 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
COMMAND LINE= /tmp/evaluation/200831-1168288626/solver /tmp/evaluation/200831-1168288626/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-200831-1168288626 -o ROOT/results/node7/solver-200831-1168288626 -C 1800 -M 900  /tmp/evaluation/200831-1168288626/solver /tmp/evaluation/200831-1168288626/unknown 1800

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  7da57cc6785d866f073effab049038df

RANDOM SEED= 127973528

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
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.220
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:       1639016 kB
Buffers:         72756 kB
Cached:         227464 kB
SwapCached:          0 kB
Active:         252972 kB
Inactive:       108120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1639016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           33516 kB
Writeback:           0 kB
Mapped:          80696 kB
Slab:            40472 kB
Committed_AS:  5449112 kB
PageTables:       2400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66462 MiB



End job on node7 on Mon Jan  8 20:49:06 UTC 2007