Trace number 201190

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_s 2007-01-08SAT 443.981 444.445

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-201190-1168288929 -o ROOT/results/node16/solver-201190-1168288929 -C 1800 -M 900 /tmp/evaluation/201190-1168288929/solver2 /tmp/evaluation/201190-1168288929/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.74 1.47 1.68 5/87 7103
/proc/meminfo: memFree=1258640/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=0
/proc/7102/stat : 7102 (solver2) R 7100 7102 2953 0 -1 4194304 280 0 0 0 0 0 0 0 21 0 1 0 177287945 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/7102/statm: 1338 231 193 169 0 49 0
[pid=7104] ppid=7102 vsize=0 CPUtime=0
/proc/7104/stat : 7104 (solver2) Z 7102 7102 2953 0 -1 4194380 26 0 0 0 0 0 0 0 15 0 1 0 177287945 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 0 0 0
/proc/7104/statm: 0 0 0 0 0 0 0
[pid=7105] ppid=7102 vsize=5352 CPUtime=0
/proc/7105/stat : 7105 (solver2) R 7102 7102 2953 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 177287945 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/7105/statm: 1338 231 193 169 0 49 0

[startup+0.107148 s]
/proc/loadavg: 1.74 1.47 1.68 5/87 7103
/proc/meminfo: memFree=1258640/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=0
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.515073 s]
/proc/loadavg: 1.74 1.47 1.68 5/87 7103
/proc/meminfo: memFree=1258640/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=0
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33792 s]
/proc/loadavg: 1.74 1.47 1.68 3/88 7115
/proc/meminfo: memFree=1223112/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=0.52
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 376 2618 0 0 0 0 47 5 15 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7115] ppid=7102 vsize=36908 CPUtime=0.78
/proc/7115/stat : 7115 (bordewijk) R 7102 7102 2953 0 -1 4194304 8728 0 0 0 73 5 0 0 24 0 1 0 177287999 37793792 8700 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134562832 0 0 4096 0 0 0 0 17 1 0 0
/proc/7115/statm: 9227 8700 204 97 0 8508 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 42260

[startup+2.99062 s]
/proc/loadavg: 1.74 1.47 1.68 3/88 7115
/proc/meminfo: memFree=1168456/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=0.52
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 376 2618 0 0 0 0 47 5 15 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7115] ppid=7102 vsize=83668 CPUtime=2.43
/proc/7115/stat : 7115 (bordewijk) R 7102 7102 2953 0 -1 4194304 22131 0 0 0 225 18 0 0 25 0 1 0 177287999 85676032 20395 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 7666933 0 0 4096 0 0 0 0 17 1 0 0
/proc/7115/statm: 20917 20395 211 97 0 20198 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 89020

[startup+6.27002 s]
/proc/loadavg: 1.84 1.49 1.68 3/88 7116
/proc/meminfo: memFree=1198032/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=0.52
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 376 2618 0 0 0 0 47 5 15 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7115] ppid=7102 vsize=145184 CPUtime=5.69
/proc/7115/stat : 7115 (bordewijk) R 7102 7102 2953 0 -1 4194304 40539 0 0 0 308 261 0 0 25 0 1 0 177287999 148668416 35246 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/7115/statm: 36296 35246 217 97 0 35577 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 150536

[startup+12.7408 s]
/proc/loadavg: 1.93 1.52 1.69 3/88 7814
/proc/meminfo: memFree=1282384/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=7.54
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 397 43158 0 0 0 0 363 391 16 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7131] ppid=7102 vsize=66492 CPUtime=5.12
/proc/7131/stat : 7131 (standalone) R 7102 7102 2953 0 -1 4194304 16158 0 0 0 418 94 0 0 25 0 1 0 177288705 68087808 15609 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099424714 0 0 4096 0 0 0 0 17 0 0 0
/proc/7131/statm: 16623 15609 137 64 0 15938 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 71844

[startup+25.5625 s]
/proc/loadavg: 2.09 1.57 1.70 3/88 7815
/proc/meminfo: memFree=1295888/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=7.54
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 397 43158 0 0 0 0 363 391 16 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7131] ppid=7102 vsize=66492 CPUtime=17.92
/proc/7131/stat : 7131 (standalone) R 7102 7102 2953 0 -1 4194304 16214 0 0 0 1697 95 0 0 25 0 1 0 177288705 68087808 15665 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134555379 0 0 4096 0 0 0 0 17 0 0 0
/proc/7131/statm: 16623 15665 137 64 0 15938 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 71844

[startup+51.2258 s]
/proc/loadavg: 2.14 1.62 1.72 3/88 8498
/proc/meminfo: memFree=1304592/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=7.54
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 397 43158 0 0 0 0 363 391 16 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7131] ppid=7102 vsize=66492 CPUtime=43.53
/proc/7131/stat : 7131 (standalone) R 7102 7102 2953 0 -1 4194304 16214 0 0 0 4253 100 0 0 25 0 1 0 177288705 68087808 15665 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099056653 0 0 4096 0 0 0 0 17 0 0 0
/proc/7131/statm: 16623 15665 137 64 0 15938 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71844

[startup+102.502 s]
/proc/loadavg: 2.06 1.68 1.73 3/88 8498
/proc/meminfo: memFree=1292496/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=7.54
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 397 43158 0 0 0 0 363 391 16 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7131] ppid=7102 vsize=66492 CPUtime=94.75
/proc/7131/stat : 7131 (standalone) R 7102 7102 2953 0 -1 4194304 16214 0 0 0 9375 100 0 0 25 0 1 0 177288705 68087808 15665 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101004770 0 0 4096 0 0 0 0 17 0 0 0
/proc/7131/statm: 16623 15665 137 64 0 15938 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 71844

[startup+162.601 s]
/proc/loadavg: 2.02 1.74 1.74 3/88 8498
/proc/meminfo: memFree=1292624/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=7.54
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 397 43158 0 0 0 0 363 391 16 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7131] ppid=7102 vsize=66492 CPUtime=154.78
/proc/7131/stat : 7131 (standalone) R 7102 7102 2953 0 -1 4194304 16214 0 0 0 15378 100 0 0 25 0 1 0 177288705 68087808 15665 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099103657 0 0 4096 0 0 0 0 17 0 0 0
/proc/7131/statm: 16623 15665 137 64 0 15938 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 71844

[startup+222.699 s]
/proc/loadavg: 2.01 1.78 1.75 3/88 8498
/proc/meminfo: memFree=1292560/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=7.54
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 397 43158 0 0 0 0 363 391 16 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7131] ppid=7102 vsize=66492 CPUtime=214.84
/proc/7131/stat : 7131 (standalone) R 7102 7102 2953 0 -1 4194304 16214 0 0 0 21384 100 0 0 25 0 1 0 177288705 68087808 15665 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101185074 0 0 4096 0 0 0 0 17 0 0 0
/proc/7131/statm: 16623 15665 137 64 0 15938 0
Current children cumulated CPU time (s) 222.38
Current children cumulated vsize (KiB) 71844

[startup+282.76 s]
/proc/loadavg: 2.00 1.82 1.77 3/88 8498
/proc/meminfo: memFree=1291984/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=7.54
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 397 43158 0 0 0 0 363 391 16 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7131] ppid=7102 vsize=66492 CPUtime=274.87
/proc/7131/stat : 7131 (standalone) R 7102 7102 2953 0 -1 4194304 16214 0 0 0 27386 101 0 0 25 0 1 0 177288705 68087808 15665 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101778132 0 0 4096 0 0 0 0 17 0 0 0
/proc/7131/statm: 16623 15665 137 64 0 15938 0
Current children cumulated CPU time (s) 282.41
Current children cumulated vsize (KiB) 71844

[startup+342.834 s]
/proc/loadavg: 2.00 1.85 1.78 3/88 8498
/proc/meminfo: memFree=1291984/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=7.54
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 397 43158 0 0 0 0 363 391 16 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7131] ppid=7102 vsize=66492 CPUtime=334.89
/proc/7131/stat : 7131 (standalone) R 7102 7102 2953 0 -1 4194304 16214 0 0 0 33388 101 0 0 25 0 1 0 177288705 68087808 15665 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101762820 0 0 4096 0 0 0 0 17 0 0 0
/proc/7131/statm: 16623 15665 137 64 0 15938 0
Current children cumulated CPU time (s) 342.43
Current children cumulated vsize (KiB) 71844

[startup+402.904 s]
/proc/loadavg: 2.04 1.89 1.79 3/88 8498
/proc/meminfo: memFree=1291920/2055920 swapFree=4191880/4192956
[pid=7102] ppid=7100 vsize=5352 CPUtime=7.54
/proc/7102/stat : 7102 (solver2) S 7100 7102 2953 0 -1 4194304 397 43158 0 0 0 0 363 391 16 0 1 0 177287945 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7102/statm: 1338 242 203 169 0 49 0
[pid=7131] ppid=7102 vsize=66492 CPUtime=394.91
/proc/7131/stat : 7131 (standalone) R 7102 7102 2953 0 -1 4194304 16214 0 0 0 39390 101 0 0 25 0 1 0 177288705 68087808 15665 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4098983349 0 0 4096 0 0 0 0 17 0 0 0
/proc/7131/statm: 16623 15665 137 64 0 15938 0
Current children cumulated CPU time (s) 402.45
Current children cumulated vsize (KiB) 71844

Child status: 0
Real time (s): 444.445
CPU time (s): 443.981
CPU user time (s): 439.034
CPU system time (s): 4.94725
CPU usage (%): 99.8956
Max. virtual memory (cumulated for all children) (KiB): 150536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 439.034
system time used= 4.94725
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= 4090

runsolver used 0.497924 s user time and 1.38679 s system time

The end

Launcher Data (download as text)

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


IDJOB= 201190
IDBENCH= 3748
FILE ID= node16/201190-1168288929

PBS_JOBID= 3501742

Free space on /tmp= 66456 MiB

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

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  e607438c7b2869fc3dff7cfb5d7cfcb3

RANDOM SEED= 303303929

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:       1259184 kB
Buffers:         86016 kB
Cached:         437340 kB
SwapCached:        448 kB
Active:         537808 kB
Inactive:       199816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1259184 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           68484 kB
Writeback:           0 kB
Mapped:         233976 kB
Slab:            43628 kB
Committed_AS:  5149744 kB
PageTables:       2684 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:49:36 UTC 2007