Trace number 201191

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 25.3261 25.5897

General information on the benchmark

Namefapp/fapp11-15/fapp12/
fapp12-1500-9.xml
MD5SUMe607438c7b2869fc3dff7cfb5d7cfcb3
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 benchmark25.3261
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

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

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/node16/watcher-201191-1168288939 -o ROOT/results/node16/solver-201191-1168288939 -C 1800 -M 900 /tmp/evaluation/201191-1168288939/solver /tmp/evaluation/201191-1168288939/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.93 1.52 1.69 5/87 7802
/proc/meminfo: memFree=1380312/2055920 swapFree=4191880/4192956
[pid=7801] ppid=7799 vsize=18540 CPUtime=0
/proc/7801/stat : 7801 (runsolver) R 7799 7801 2926 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 177288923 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7801/statm: 4635 279 244 17 0 2626 0

[startup+0.111401 s]
/proc/loadavg: 1.93 1.52 1.69 5/87 7802
/proc/meminfo: memFree=1380312/2055920 swapFree=4191880/4192956
[pid=7801] ppid=7799 vsize=5352 CPUtime=0
/proc/7801/stat : 7801 (solver) S 7799 7801 2926 0 -1 4194304 354 334 0 0 0 0 0 0 18 0 1 0 177288923 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7801/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.519328 s]
/proc/loadavg: 1.93 1.52 1.69 5/87 7802
/proc/meminfo: memFree=1380312/2055920 swapFree=4191880/4192956
[pid=7801] ppid=7799 vsize=5352 CPUtime=0
/proc/7801/stat : 7801 (solver) S 7799 7801 2926 0 -1 4194304 354 334 0 0 0 0 0 0 18 0 1 0 177288923 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7801/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34618 s]
/proc/loadavg: 1.93 1.52 1.69 3/88 7814
/proc/meminfo: memFree=1346064/2055920 swapFree=4191880/4192956
[pid=7801] ppid=7799 vsize=5352 CPUtime=0.51
/proc/7801/stat : 7801 (solver) S 7799 7801 2926 0 -1 4194304 376 2618 0 0 0 0 47 4 15 0 1 0 177288923 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7801/statm: 1338 242 203 169 0 49 0
[pid=7814] ppid=7801 vsize=37964 CPUtime=0.79
/proc/7814/stat : 7814 (bordewijk) R 7801 7801 2926 0 -1 4194304 8969 0 0 0 74 5 0 0 25 0 1 0 177288976 38875136 8941 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 7665434 0 0 4096 0 0 0 0 17 1 0 0
/proc/7814/statm: 9491 8941 204 97 0 8772 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 43316

[startup+2.98888 s]
/proc/loadavg: 1.93 1.52 1.69 3/88 7814
/proc/meminfo: memFree=1293520/2055920 swapFree=4191880/4192956
[pid=7801] ppid=7799 vsize=5352 CPUtime=0.51
/proc/7801/stat : 7801 (solver) S 7799 7801 2926 0 -1 4194304 376 2618 0 0 0 0 47 4 15 0 1 0 177288923 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7801/statm: 1338 242 203 169 0 49 0
[pid=7814] ppid=7801 vsize=83668 CPUtime=2.42
/proc/7814/stat : 7814 (bordewijk) R 7801 7801 2926 0 -1 4194304 22131 0 0 0 225 17 0 0 25 0 1 0 177288976 85676032 20395 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 7475180 0 0 4096 0 0 0 0 17 1 0 0
/proc/7814/statm: 20917 20395 211 97 0 20198 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 89020

[startup+6.26727 s]
/proc/loadavg: 2.01 1.54 1.70 3/88 7814
/proc/meminfo: memFree=1207824/2055920 swapFree=4191880/4192956
[pid=7801] ppid=7799 vsize=5352 CPUtime=0.51
/proc/7801/stat : 7801 (solver) S 7799 7801 2926 0 -1 4194304 376 2618 0 0 0 0 47 4 15 0 1 0 177288923 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7801/statm: 1338 242 203 169 0 49 0
[pid=7814] ppid=7801 vsize=145184 CPUtime=5.65
/proc/7814/stat : 7814 (bordewijk) R 7801 7801 2926 0 -1 4194304 40539 0 0 0 306 259 0 0 25 0 1 0 177288976 148668416 35246 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7814/statm: 36296 35246 217 97 0 35577 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 150536

[startup+12.7361 s]
/proc/loadavg: 2.09 1.57 1.70 3/88 7815
/proc/meminfo: memFree=1296336/2055920 swapFree=4191880/4192956
[pid=7801] ppid=7799 vsize=5352 CPUtime=7.84
/proc/7801/stat : 7801 (solver) S 7799 7801 2926 0 -1 4194304 396 43158 0 0 0 0 362 422 16 0 1 0 177288923 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7801/statm: 1338 242 203 169 0 49 0
[pid=7815] ppid=7801 vsize=66492 CPUtime=4.72
/proc/7815/stat : 7815 (standalone) R 7801 7801 2926 0 -1 4194304 16130 0 0 0 372 100 0 0 25 0 1 0 177289719 68087808 15581 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4102557657 0 0 4096 0 0 0 0 17 1 0 0
/proc/7815/statm: 16623 15581 137 64 0 15938 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 71844

[startup+25.5607 s]
/proc/loadavg: 2.07 1.59 1.71 3/88 7815
/proc/meminfo: memFree=1295248/2055920 swapFree=4191880/4192956
[pid=7801] ppid=7799 vsize=5352 CPUtime=7.84
/proc/7801/stat : 7801 (solver) S 7799 7801 2926 0 -1 4194304 396 43158 0 0 0 0 362 422 16 0 1 0 177288923 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7801/statm: 1338 242 203 169 0 49 0
[pid=7815] ppid=7801 vsize=66584 CPUtime=17.43
/proc/7815/stat : 7815 (standalone) R 7801 7801 2926 0 -1 4194304 16575 0 0 0 1642 101 0 0 25 0 1 0 177289719 68182016 16025 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134522175 0 0 4096 0 0 0 0 17 1 0 0
/proc/7815/statm: 16646 16025 146 64 0 15961 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 71936

Child status: 0
Real time (s): 25.5897
CPU time (s): 25.3261
CPU user time (s): 20.0689
CPU system time (s): 5.2572
CPU usage (%): 98.9699
Max. virtual memory (cumulated for all children) (KiB): 150536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.0689
system time used= 5.2572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60140
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= 552
involuntary context switches= 1541

runsolver used 0.044993 s user time and 0.075988 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Mon Jan  8 20:42:21 UTC 2007


IDJOB= 201191
IDBENCH= 3748
FILE ID= node16/201191-1168288939

PBS_JOBID= 3501741

Free space on /tmp= 66474 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
COMMAND LINE= /tmp/evaluation/201191-1168288939/solver /tmp/evaluation/201191-1168288939/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-201191-1168288939 -o ROOT/results/node16/solver-201191-1168288939 -C 1800 -M 900  /tmp/evaluation/201191-1168288939/solver /tmp/evaluation/201191-1168288939/unknown 1800

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  e607438c7b2869fc3dff7cfb5d7cfcb3

RANDOM SEED= 844549999

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:       1380792 kB
Buffers:         86268 kB
Cached:         419136 kB
SwapCached:        448 kB
Active:         420140 kB
Inactive:       196024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1380792 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           50556 kB
Writeback:           0 kB
Mapped:         130164 kB
Slab:            43660 kB
Committed_AS:  5045492 kB
PageTables:       2480 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= 66453 MiB



End job on node16 on Mon Jan  8 20:42:47 UTC 2007