Trace number 202241

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 14.1438 14.1653

General information on the benchmark

Namefapp/fapp21-25/fapp24/
fapp24-2000-10.xml
MD5SUM3d29592ccda6f316a3f5a0f1f3824f71
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.7562
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 -2660 2524 -2208 2596 -2368 2720 2488 2636 2320 2512 -2396 -2316 -2676 2516 2240 2584 -2708 -2264 2292 2172 2592 2332 -2120 -2464 -2676 2272 2612 -2208 2316 -2372 -2552 2220 -2172 2224 -2416 2456 -2700 -2176 -2296 -2420 2524 -2544 -2344 2560 -2164 2564 2552 2656 2680 -2632 -2644 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 -2272 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 -2136 -2236 2200 2276 2300 2628 2300 2332 -2256 2520 2712 2528 2452 2672 2564 2248 2632 -2188 -2620 2380 2572 2316 -2392 -2612 -2664 -2532 2128 2272 2308 2180 -2604 2200 -2576 2432 2696 -2304 -2632 -2680 -2708 -2612 2356 -2168 2380 2384 2500 -2412 -2164 2160 2668 -2164 -2544 -2644 -2360 -2248 -2588 -2492 2708 -2300 -2204 -2216 -2608 2452 -2260 2680 -2204 2400 2488 -2696 -2716 -2372 2292 2560 2640 -2212 -2676 2364 -2676 -2156 2296 2484 2488 -2432 2368 -2324 -2192 2256 2264 2472 2608 -2168 -2380 -2536 2476 -2664 -2172 -2676 -2160 2308 -2364 -2232 2464 2608 -2676 2148 -2368 2552 2708 -2708 2296 -2568 2540 2400 -2448 -2172 2156 2668 2184 2180 -2248 2416 -2232 2676 -2296 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 -2124 2384 -2672 2216 2456 -2676 -2252 -2664 -2200 2284 -2164 -2248 2340 2120 2696 -2620 -2168 -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 -2624 -2324 -2316 2396 2504 2676 -2592 -2592 2580 -2192 -2608 2184 2344 -2624 2316 2328 -2420 -2168 -2196 -2184 -2492 2344 -2532 -2640 -2592 2408 -2324 2332 2380 -2672 2320 2604 2436 -2548 -2716 2492 2720 2208 -2544 -2480 -2260 -2676 2544 2616 -2156 2544 2416 2164 2500 2648 -2472 2468 -2412 -2676 -2668 2596 2360 -2168 -2344 2456 -2716 -2720 -2276 2212 -2192 -2716 2228 2676 2516 2132 -2160 2328 2476 -2396 2664 2220 2152 -2476 -2180 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 2124 2356 2524 2352 -2480 2444 2144 -2548 2416 2120 2312 2424 2540 2236 2584 2388 2608 2320 -2168 -2212 2336 2384 2220 2672 -2128 2516 -2184 -2416 2308 -2360 -2140 -2420 -2548 2328 -2160 2148 -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 -2680 2320 -2152 -2624 -2412 2712 2708 2524 -2680 2512 -2200 2372 2404 2532 -2656 -2432 -2204 -2292 -2124 2172 -2704 2480 -2400 2428 2668 -2480 2228 -2396 2492 2220 2244 -2600 2432 2384 -2172 2548 2672 2680 2668 -2240 -2700 -2164 2428 -2708 -2616 2416 -2288 -2676 -2312 2524 2516 -2216 2396 -2656 -2260 2540 -2188 -2524 2556 2176 -2596 2648 2560 -2672 2664 2552 2256 2248 -2440 2484 2328 2276 -2164 -2296 -2668 2132 2372 2304 2316 -2132 2672 -2600 -2564 2284 2560 -2180 2400 2160 2620 2276 2316 -2256 2580 2632 2696 2680 2408 -2196 -2200 -2676 2652 2396 -2632 -2312 -2172 -2252 2392 -2172 -2192 -2208 2432 2540 2408 2492 2120 2324 2508 2352 -2316 -2232 2448 2680 -2128 -2648 2680 2356 2348 2448 2556 2484 -2668 2452 -2296 2256 -2280 2480 2256 2592 -2600 -2172 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 -2280 2720 2292 2248 2180 -2356 -2420 2268 -2220 2536 -2624 2408 2624 -2636 2120 -2244 -2524 -2248 -2584 2492 -2588 -2132 -2196 2400 -2716 2316 2628 -2252 -2676 2452 -2132 2332 2536 2364 2488 2424 -2676 -2440 -2288 2288 -2152 -2664 2412 2660 2628 -2532 2432 2272 -2308 2232 -2256 2280 -2136 -2532 -2240 2396 -2624 2264 -2160 -2264 -2472 2476 2444 -2716 2400 -2636 2260 -2648 -2176 -2716 2172 2532 -2120 -2700 2580 2224 -2316 2472 2188 2704 2496 2620 -2172 -2192 2312 2396 2168 2172 -2160 2472 -2228 -2160 -2188 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 2720 -2560 -2460 -2332 2576 2292 -2700 -2168 -2416 -2720 2172 -2544 2392 2496 2368 -2416 2204 2540 2680 -2132 2260 2144 2268 2456 -2232 -2280 2280 -2192 -2168 -2128 2704 2720 2396 -2176 -2564 2512 2480 2516 2372 2612 -2196 -2620 -2384 2708 2344 2424 2304 2612 2172 2368 2120 -2488 2456 -2176 2284 2208 2580 2376 -2608 2680 2720 2340 -2700 -2360 2288 2576 2356 -2380 2404 -2448 -2132 2260 -2716 2464 -2512 2292 2136 2288 -2676 2660 2404 -2564 -2500 -2676 2712 -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 2704 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 -2224 -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 -2132 -2340 2196 2528 2552 -2452 2452 2496 2460 2180 -2352 -2160 2696 -2184 -2520 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 -2604 2416 -2120 2552 2548 2540 2244 2584 2492 2376 -2436 2444 -2144 -2668 2544 -2176 -2184 2672 -2500 -2712 2396 -2584 -2716 2660 -2668 2156 2316 -2184 -2168 2220 2332 2504 -2136 -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 -2228 2188 -2292 2560 -2292 -2716 -2556 2572 2424 2180 -2484 2284 -2360 -2652 -2492 2320 2500 2176 -2424 -2316 2684 2156 2160 2564 2536 -2532 -2192 -2312 2660 2536 2708 2452 2472 2408 2560 -2520 2456 -2720 2556 -2224 -2168 2620 2536 -2484 2372 2648 2568 2660 2420 2440 2504 2356 2268 2492 2248 2196 2272 2712 -2460 2524 2556 2344 2308 -2204 2324 2304 2356 -2280 -2664 2632 2372 -2292 2196 -2608 2616 -2380 -2128 -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 2704 -2680 2672 2580 2484 2344 2216 -2184 2636 -2328 -2608 2456 2672 2464 -2172 2124 -2716 2356 2324 2672 -2448 -2188 2504 -2156 -2240 -2324 2672 -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 -2720 2648 2232 2356 2460 -2696 -2516 -2680 2532 2264 2532 2512 2420 -2232 -2716 2656 2368 2452 2532 -2532 2524 2556 2516 -2364 2448 2260 -2240 -2604 -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 -2688 -2600 2328 -2160 -2404 -2316 2292 -2712 2432 -2676 2620 2620 2652 -2160 2620 2624 -2636 -2624 2328 -2224 -2436 -2468 2160 -2168 -2716 -2676 2580 2612 2144 2680 2636 -2220 -2456 2432 2308 2508 2152 2352 -2536 -2580 -2436 -2252 2440 -2696 2432 2352 -2132 2704 -2532 2636 2348 -2328 -2664 2488 2512 -2312 2160 2512 -2132 -2676 2676 -2716 2408 2688 2384 2120 2268 -2212 2120 2268 2416 2712 -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 -2636 2388 2284 2356 -2676 -2604 -2628 2500 2448 2696 2520 2584 2452 2432 2320 -2624 2656 2512 2252 2676 2484 2432 2368 2376 2208 2528 2696 2344 2444 2412 -2352 2420 -2216 -2676 2596 -2568 -2388 2668 2324 -2564 -2264 -2628 2648 2336 2664 2440 2404 -2676 2616 2472 2640 -2300 2312 2244 2288 -2564 -2332 -2204 2228 2352 2420 -2120 -2208 2464 2668 -2720 2296 2256 2244 2664 -2556 2384 2240 -2592 2192 2416 2124 2680 2508 2660 2588 2596 2708 -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 -2680 2592 2360 -2220 -2268 -2424 -2644 2188 2208 -2464 2252 2348 2544 -2568 2164 2192 -2660 -2216 2324 -2288 -2308 -2144 2508 -2160 2420 -2248 -2544 2492 2640 2224 2424 -2664 -2476 -2132 -2388 -2472 -2720 -2132 2400 -2176 2120 2660 2228 -2160 2544 2664 2652 -2580 2640 -2132 -2660 -2688 2656 2296 2364 2524 -2160 2488 2220 -2132 -2560 2280 -2392 -2464 -2588 2664 -2264 -2172 2468 2332 2500 2276 -2184 -2288 2320 -2612 2504 2568 -2668 2440 -2540 -2248 2532 2668 -2612 -2188 -2452 -2344 -2700 2216 2400 -2352 -2120 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 -2708 2648 2680 2228 -2204 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 -2636 2720 2328 -2500 2260 2392 -2716 -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 2664 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 2572 2492 -2160 2532 2160 2248 2392 2520 2392 2548 2304 2512 2356 2340 2160 2708 2380 2380 2464 2592 -2308 2368 2492 2420 2120 -2656 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 -2200 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-202241-1168290755 -o ROOT/results/node9/solver-202241-1168290755 -C 1800 -M 900 /tmp/evaluation/202241-1168290755/solver /tmp/evaluation/202241-1168290755/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: 1.19 1.04 1.01 4/78 15376
/proc/meminfo: memFree=1776488/2055920 swapFree=4191880/4192956
[pid=15375] ppid=15373 vsize=5352 CPUtime=0
/proc/15375/stat : 15375 (solver) R 15373 15375 8432 0 -1 4194304 304 190 0 0 0 0 0 0 19 0 1 0 177470758 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 4441554 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15375/statm: 1338 234 196 169 0 49 0

[startup+0.106638 s]
/proc/loadavg: 1.19 1.04 1.01 4/78 15376
/proc/meminfo: memFree=1776488/2055920 swapFree=4191880/4192956
[pid=15375] ppid=15373 vsize=5352 CPUtime=0
/proc/15375/stat : 15375 (solver) S 15373 15375 8432 0 -1 4194304 354 334 0 0 0 0 0 0 19 0 1 0 177470758 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15375/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.51468 s]
/proc/loadavg: 1.19 1.04 1.01 4/78 15376
/proc/meminfo: memFree=1776488/2055920 swapFree=4191880/4192956
[pid=15375] ppid=15373 vsize=5352 CPUtime=0.38
/proc/15375/stat : 15375 (solver) S 15373 15375 8432 0 -1 4194304 376 2652 0 0 0 0 33 5 16 0 1 0 177470758 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 5352

[startup+1.33577 s]
/proc/loadavg: 1.17 1.04 1.01 2/79 15388
/proc/meminfo: memFree=1732256/2055920 swapFree=4191880/4192956
[pid=15375] ppid=15373 vsize=5352 CPUtime=0.38
/proc/15375/stat : 15375 (solver) S 15373 15375 8432 0 -1 4194304 376 2652 0 0 0 0 33 5 16 0 1 0 177470758 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1338 242 203 169 0 49 0
[pid=15388] ppid=15375 vsize=46812 CPUtime=0.95
/proc/15388/stat : 15388 (bordewijk) R 15375 15375 8432 0 -1 4194304 11188 0 0 0 88 7 0 0 25 0 1 0 177470795 47935488 11160 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 0 0 0
/proc/15388/statm: 11703 11160 204 97 0 10984 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 52164

[startup+2.97496 s]
/proc/loadavg: 1.17 1.04 1.01 2/79 15388
/proc/meminfo: memFree=1683552/2055920 swapFree=4191880/4192956
[pid=15375] ppid=15373 vsize=5352 CPUtime=0.38
/proc/15375/stat : 15375 (solver) S 15373 15375 8432 0 -1 4194304 376 2652 0 0 0 0 33 5 16 0 1 0 177470758 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1338 242 203 169 0 49 0
[pid=15388] ppid=15375 vsize=88340 CPUtime=2.59
/proc/15388/stat : 15388 (bordewijk) R 15375 15375 8432 0 -1 4194304 23288 0 0 0 240 19 0 0 25 0 1 0 177470795 90460160 21546 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134692967 0 0 4096 0 0 0 0 17 0 0 0
/proc/15388/statm: 22085 21546 211 97 0 21366 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 93692

[startup+6.26033 s]
/proc/loadavg: 1.24 1.06 1.01 2/79 15388
/proc/meminfo: memFree=1591472/2055920 swapFree=4191880/4192956
[pid=15375] ppid=15373 vsize=5352 CPUtime=0.38
/proc/15375/stat : 15375 (solver) S 15373 15375 8432 0 -1 4194304 376 2652 0 0 0 0 33 5 16 0 1 0 177470758 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1338 242 203 169 0 49 0
[pid=15388] ppid=15375 vsize=156800 CPUtime=5.85
/proc/15388/stat : 15388 (bordewijk) R 15375 15375 8432 0 -1 4194304 43351 0 0 0 309 276 0 0 25 0 1 0 177470795 160563200 37963 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15388/statm: 39200 37963 217 97 0 38481 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 162152

[startup+12.7231 s]
/proc/loadavg: 1.22 1.06 1.01 2/79 15389
/proc/meminfo: memFree=1684104/2055920 swapFree=4191880/4192956
[pid=15375] ppid=15373 vsize=5352 CPUtime=8.34
/proc/15375/stat : 15375 (solver) S 15373 15375 8432 0 -1 4194304 396 46004 0 0 0 0 354 480 16 0 1 0 177470758 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15375/statm: 1338 242 203 169 0 49 0
[pid=15389] ppid=15375 vsize=74028 CPUtime=4.34
/proc/15389/stat : 15389 (standalone) R 15375 15375 8432 0 -1 4194304 17915 0 0 0 319 115 0 0 25 0 1 0 177471595 75804672 17344 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4094506348 0 0 4096 0 0 0 0 17 0 0 0
/proc/15389/statm: 18507 17344 137 64 0 17822 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 79380

Child status: 0
Real time (s): 14.1653
CPU time (s): 14.1438
CPU user time (s): 8.16276
CPU system time (s): 5.98109
CPU usage (%): 99.8487
Max. virtual memory (cumulated for all children) (KiB): 162152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.16276
system time used= 5.98109
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64868
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= 578
involuntary context switches= 145

runsolver used 0.019996 s user time and 0.034994 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Mon Jan  8 21:12:36 UTC 2007


IDJOB= 202241
IDBENCH= 3821
FILE ID= node9/202241-1168290755

PBS_JOBID= 3501757

Free space on /tmp= 66534 MiB

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

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  3d29592ccda6f316a3f5a0f1f3824f71

RANDOM SEED= 980109908

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:       1776968 kB
Buffers:         17716 kB
Cached:         167524 kB
SwapCached:        264 kB
Active:         113764 kB
Inactive:       113644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776968 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           15344 kB
Writeback:           0 kB
Mapped:          53888 kB
Slab:            36932 kB
Committed_AS:  5108884 kB
PageTables:       1928 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= 66511 MiB



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