Trace number 202129

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 15.1837 15.6178

General information on the benchmark

Namefapp/fapp21-25/fapp24/
fapp24-2000-9.xml
MD5SUM99b4a6f18c5a7267e849490799459a8e
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 benchmark11.0943
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2000
Number of constraints26753
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26753
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

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

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/node9/watcher-202129-1168290708 -o ROOT/results/node9/solver-202129-1168290708 -C 1800 -M 900 /tmp/evaluation/202129-1168290708/solver /tmp/evaluation/202129-1168290708/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.72 0.94 0.98 5/87 12594
/proc/meminfo: memFree=1664096/2055920 swapFree=4191880/4192956
[pid=12593] ppid=12591 vsize=5352 CPUtime=0
/proc/12593/stat : 12593 (solver) R 12591 12593 8432 0 -1 4194304 280 0 0 0 0 0 0 0 21 0 1 0 177466134 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418989215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12593/statm: 1338 231 193 169 0 49 0
[pid=12595] ppid=12593 vsize=5352 CPUtime=0
/proc/12595/stat : 12595 (solver) R 12593 12593 8432 0 -1 4194368 10 0 0 0 0 0 0 0 21 0 1 0 177466134 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 4293167 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12595/statm: 1338 231 193 169 0 49 0
[pid=12596] ppid=12593 vsize=5352 CPUtime=0
/proc/12596/stat : 12596 (solver) R 12593 12593 8432 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 177466134 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418989215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12596/statm: 1338 231 193 169 0 49 0

[startup+0.104821 s]
/proc/loadavg: 0.72 0.94 0.98 5/87 12594
/proc/meminfo: memFree=1664096/2055920 swapFree=4191880/4192956
[pid=12593] ppid=12591 vsize=5352 CPUtime=0
/proc/12593/stat : 12593 (solver) S 12591 12593 8432 0 -1 4194304 331 190 0 0 0 0 0 0 21 0 1 0 177466134 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12593/statm: 1338 241 202 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.512869 s]
/proc/loadavg: 0.72 0.94 0.98 5/87 12594
/proc/meminfo: memFree=1664096/2055920 swapFree=4191880/4192956
[pid=12593] ppid=12591 vsize=5352 CPUtime=0
/proc/12593/stat : 12593 (solver) S 12591 12593 8432 0 -1 4194304 354 334 0 0 0 0 0 0 15 0 1 0 177466134 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12593/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33397 s]
/proc/loadavg: 0.72 0.94 0.98 3/88 12606
/proc/meminfo: memFree=1566296/2055920 swapFree=4191880/4192956
[pid=12593] ppid=12591 vsize=5352 CPUtime=0.41
/proc/12593/stat : 12593 (solver) S 12591 12593 8432 0 -1 4194304 376 2653 0 0 0 0 36 5 15 0 1 0 177466134 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12593/statm: 1338 242 203 169 0 49 0
[pid=12606] ppid=12593 vsize=27012 CPUtime=0.56
/proc/12606/stat : 12606 (bordewijk) R 12593 12593 8432 0 -1 4194304 6229 0 0 0 51 5 0 0 22 0 1 0 177466210 27660288 6201 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134569141 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 6753 6201 204 97 0 6034 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 32364

[startup+2.97115 s]
/proc/loadavg: 0.82 0.96 0.98 3/88 12606
/proc/meminfo: memFree=1512920/2055920 swapFree=4191880/4192956
[pid=12593] ppid=12591 vsize=5352 CPUtime=0.41
/proc/12593/stat : 12593 (solver) S 12591 12593 8432 0 -1 4194304 376 2653 0 0 0 0 36 5 15 0 1 0 177466134 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12593/statm: 1338 242 203 169 0 49 0
[pid=12606] ppid=12593 vsize=87436 CPUtime=2.18
/proc/12606/stat : 12606 (bordewijk) R 12593 12593 8432 0 -1 4194304 21348 0 0 0 198 20 0 0 25 0 1 0 177466210 89534464 21318 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134716302 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 21859 21318 211 97 0 21140 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 92788

[startup+6.25352 s]
/proc/loadavg: 0.82 0.96 0.98 3/88 12606
/proc/meminfo: memFree=1398688/2055920 swapFree=4191880/4192956
[pid=12593] ppid=12591 vsize=5352 CPUtime=0.41
/proc/12593/stat : 12593 (solver) S 12591 12593 8432 0 -1 4194304 376 2653 0 0 0 0 36 5 15 0 1 0 177466134 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12593/statm: 1338 242 203 169 0 49 0
[pid=12606] ppid=12593 vsize=156800 CPUtime=5.42
/proc/12606/stat : 12606 (bordewijk) R 12593 12593 8432 0 -1 4194304 43351 0 0 0 318 224 0 0 25 0 1 0 177466210 160563200 37963 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 39200 37963 217 97 0 38481 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 162152

[startup+12.7203 s]
/proc/loadavg: 0.99 1.00 1.00 3/82 12715
/proc/meminfo: memFree=1677136/2055920 swapFree=4191880/4192956
[pid=12593] ppid=12591 vsize=5352 CPUtime=9.33
/proc/12593/stat : 12593 (solver) S 12591 12593 8432 0 -1 4194304 396 46005 0 0 0 0 376 557 16 0 1 0 177466134 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12593/statm: 1338 242 203 169 0 49 0
[pid=12608] ppid=12593 vsize=74028 CPUtime=2.94
/proc/12608/stat : 12608 (standalone) R 12593 12593 8432 0 -1 4194304 17810 0 0 0 178 116 0 0 25 0 1 0 177467111 75804672 17239 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4092479821 0 0 4096 0 0 0 0 17 0 0 0
/proc/12608/statm: 18507 17239 136 64 0 17822 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 79380

Child status: 0
Real time (s): 15.6178
CPU time (s): 15.1837
CPU user time (s): 8.42072
CPU system time (s): 6.76297
CPU usage (%): 97.2207
Max. virtual memory (cumulated for all children) (KiB): 162152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.42072
system time used= 6.76297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64869
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= 600
involuntary context switches= 831

runsolver used 0.025996 s user time and 0.044993 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Mon Jan  8 21:11:50 UTC 2007


IDJOB= 202129
IDBENCH= 3814
FILE ID= node9/202129-1168290708

PBS_JOBID= 3501757

Free space on /tmp= 66505 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
COMMAND LINE= /tmp/evaluation/202129-1168290708/solver /tmp/evaluation/202129-1168290708/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-202129-1168290708 -o ROOT/results/node9/solver-202129-1168290708 -C 1800 -M 900  /tmp/evaluation/202129-1168290708/solver /tmp/evaluation/202129-1168290708/unknown 1800

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  99b4a6f18c5a7267e849490799459a8e

RANDOM SEED= 628409858

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.231
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.231
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:       1664576 kB
Buffers:         16328 kB
Cached:         182580 kB
SwapCached:        264 kB
Active:         228544 kB
Inactive:       108904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1664576 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           44820 kB
Writeback:           0 kB
Mapped:         151644 kB
Slab:            38492 kB
Committed_AS:  5226752 kB
PageTables:       2468 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= 66487 MiB



End job on node9 on Mon Jan  8 21:12:06 UTC 2007