Trace number 201222

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 1337.42 1338.06

General information on the benchmark

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

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/node1/watcher-201222-1168289108 -o ROOT/results/node1/solver-201222-1168289108 -C 1800 -M 900 /tmp/evaluation/201222-1168289108/solver2 /tmp/evaluation/201222-1168289108/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.92 1.98 1.95 7/88 24252
/proc/meminfo: memFree=1139408/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=0
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 295 164 0 0 0 0 0 0 16 0 1 0 177306759 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 232 194 169 0 49 0
[pid=24251] ppid=24250 vsize=0 CPUtime=0
/proc/24251/stat : 24251 (solver2) R 24250 24250 20134 0 -1 4194372 26 0 0 0 0 0 0 0 21 0 1 0 177306759 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 0 0 0 17 0 0 0
/proc/24251/statm: 0 0 0 0 0 0 0

[startup+0.104585 s]
/proc/loadavg: 1.92 1.98 1.95 7/88 24252
/proc/meminfo: memFree=1139408/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=0
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 353 334 0 0 0 0 0 0 18 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.513621 s]
/proc/loadavg: 1.92 1.98 1.95 7/88 24252
/proc/meminfo: memFree=1139408/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=0
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 353 334 0 0 0 0 0 0 18 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34072 s]
/proc/loadavg: 1.92 1.98 1.95 3/88 24263
/proc/meminfo: memFree=1104136/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=0.51
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 376 2620 0 0 0 0 47 4 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24263] ppid=24250 vsize=38492 CPUtime=0.8
/proc/24263/stat : 24263 (bordewijk) R 24250 24250 20134 0 -1 4194304 9115 0 0 0 73 7 0 0 23 0 1 0 177306812 39415808 9087 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 1 0 0
/proc/24263/statm: 9623 9088 204 97 0 8904 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 43844

[startup+2.97691 s]
/proc/loadavg: 1.93 1.98 1.95 3/88 24263
/proc/meminfo: memFree=1051848/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=0.51
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 376 2620 0 0 0 0 47 4 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24263] ppid=24250 vsize=83668 CPUtime=2.44
/proc/24263/stat : 24263 (bordewijk) R 24250 24250 20134 0 -1 4194304 22131 0 0 0 223 21 0 0 25 0 1 0 177306812 85676032 20395 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24263/statm: 20917 20395 211 97 0 20198 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 89020

[startup+6.25429 s]
/proc/loadavg: 1.93 1.98 1.95 3/88 24263
/proc/meminfo: memFree=966472/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=0.51
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 376 2620 0 0 0 0 47 4 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24263] ppid=24250 vsize=145184 CPUtime=5.7
/proc/24263/stat : 24263 (bordewijk) R 24250 24250 20134 0 -1 4194304 40539 0 0 0 302 268 0 0 25 0 1 0 177306812 148668416 35246 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24263/statm: 36296 35246 217 97 0 35577 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 150536

[startup+12.718 s]
/proc/loadavg: 1.94 1.98 1.95 3/88 24264
/proc/meminfo: memFree=1055184/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66492 CPUtime=4.93
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16160 0 0 0 392 101 0 0 25 0 1 0 177307536 68087808 15611 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101892213 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16623 15611 137 64 0 15938 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 71844

[startup+25.5295 s]
/proc/loadavg: 1.95 1.98 1.95 3/88 24264
/proc/meminfo: memFree=1054936/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66492 CPUtime=17.74
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16270 0 0 0 1672 102 0 0 25 0 1 0 177307536 68087808 15721 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099652448 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16623 15721 137 64 0 15938 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 71844

[startup+51.1695 s]
/proc/loadavg: 1.96 1.98 1.95 3/88 24264
/proc/meminfo: memFree=1055256/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66492 CPUtime=43.38
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16270 0 0 0 4235 103 0 0 25 0 1 0 177307536 68087808 15721 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527014 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16623 15721 137 64 0 15938 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 71844

[startup+102.435 s]
/proc/loadavg: 1.98 1.98 1.95 3/88 24264
/proc/meminfo: memFree=1055320/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66492 CPUtime=94.62
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16270 0 0 0 9359 103 0 0 25 0 1 0 177307536 68087808 15721 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099065660 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16623 15721 137 64 0 15938 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 71844

[startup+162.533 s]
/proc/loadavg: 1.99 1.98 1.95 3/88 24264
/proc/meminfo: memFree=1055256/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66492 CPUtime=154.71
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16270 0 0 0 15367 104 0 0 25 0 1 0 177307536 68087808 15721 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4102319115 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16623 15721 137 64 0 15938 0
Current children cumulated CPU time (s) 162.44
Current children cumulated vsize (KiB) 71844

[startup+222.562 s]
/proc/loadavg: 1.99 1.98 1.95 3/88 24264
/proc/meminfo: memFree=1054360/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66492 CPUtime=214.71
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16270 0 0 0 21367 104 0 0 25 0 1 0 177307536 68087808 15721 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099064686 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16623 15721 137 64 0 15938 0
Current children cumulated CPU time (s) 222.44
Current children cumulated vsize (KiB) 71844

[startup+282.618 s]
/proc/loadavg: 2.03 2.00 1.96 3/88 24264
/proc/meminfo: memFree=1054360/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66492 CPUtime=274.75
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16270 0 0 0 27370 105 0 0 25 0 1 0 177307536 68087808 15721 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101247633 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16623 15721 137 64 0 15938 0
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (KiB) 71844

[startup+342.678 s]
/proc/loadavg: 2.07 2.03 1.97 4/88 24264
/proc/meminfo: memFree=1053528/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66516 CPUtime=334.8
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16467 0 0 0 33374 106 0 0 25 0 1 0 177307536 68112384 15918 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16629 15918 138 64 0 15944 0
Current children cumulated CPU time (s) 342.53
Current children cumulated vsize (KiB) 71868

[startup+402.763 s]
/proc/loadavg: 2.02 2.02 1.97 4/88 24264
/proc/meminfo: memFree=1053464/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66516 CPUtime=394.86
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16481 0 0 0 39380 106 0 0 25 0 1 0 177307536 68112384 15932 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4102822555 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16629 15932 138 64 0 15944 0
Current children cumulated CPU time (s) 402.59
Current children cumulated vsize (KiB) 71868

[startup+462.834 s]
/proc/loadavg: 2.01 2.01 1.97 3/88 24264
/proc/meminfo: memFree=1053272/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66532 CPUtime=454.91
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16523 0 0 0 45384 107 0 0 25 0 1 0 177307536 68128768 15974 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099713419 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16633 15974 138 64 0 15948 0
Current children cumulated CPU time (s) 462.64
Current children cumulated vsize (KiB) 71884

[startup+522.901 s]
/proc/loadavg: 2.00 2.01 1.97 3/88 24264
/proc/meminfo: memFree=1053272/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66532 CPUtime=514.95
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16523 0 0 0 51388 107 0 0 25 0 1 0 177307536 68128768 15974 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099766841 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16633 15974 138 64 0 15948 0
Current children cumulated CPU time (s) 522.68
Current children cumulated vsize (KiB) 71884

[startup+582.968 s]
/proc/loadavg: 2.00 2.00 1.97 3/88 24264
/proc/meminfo: memFree=1053208/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66532 CPUtime=575.01
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16523 0 0 0 57393 108 0 0 25 0 1 0 177307536 68128768 15974 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519662 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16633 15974 138 64 0 15948 0
Current children cumulated CPU time (s) 582.74
Current children cumulated vsize (KiB) 71884

[startup+643.059 s]
/proc/loadavg: 2.00 2.00 1.97 3/88 24264
/proc/meminfo: memFree=1053208/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66532 CPUtime=635.08
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16523 0 0 0 63400 108 0 0 25 0 1 0 177307536 68128768 15974 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099813921 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16633 15974 138 64 0 15948 0
Current children cumulated CPU time (s) 642.81
Current children cumulated vsize (KiB) 71884

[startup+703.149 s]
/proc/loadavg: 2.00 2.00 1.97 4/88 24264
/proc/meminfo: memFree=1053208/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66532 CPUtime=695.15
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16523 0 0 0 69407 108 0 0 25 0 1 0 177307536 68128768 15974 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554178 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16633 15974 138 64 0 15948 0
Current children cumulated CPU time (s) 702.88
Current children cumulated vsize (KiB) 71884

[startup+763.238 s]
/proc/loadavg: 2.00 2.00 1.97 3/88 24264
/proc/meminfo: memFree=1053144/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66540 CPUtime=755.22
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16533 0 0 0 75413 109 0 0 25 0 1 0 177307536 68136960 15984 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554160 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16635 15984 138 64 0 15950 0
Current children cumulated CPU time (s) 762.95
Current children cumulated vsize (KiB) 71892

[startup+823.316 s]
/proc/loadavg: 2.00 2.00 1.97 3/88 24264
/proc/meminfo: memFree=1053080/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66540 CPUtime=815.28
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16533 0 0 0 81419 109 0 0 25 0 1 0 177307536 68136960 15984 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554209 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16635 15984 138 64 0 15950 0
Current children cumulated CPU time (s) 823.01
Current children cumulated vsize (KiB) 71892

[startup+883.393 s]
/proc/loadavg: 2.00 2.00 1.97 3/88 24264
/proc/meminfo: memFree=1053080/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66540 CPUtime=875.34
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16533 0 0 0 87424 110 0 0 25 0 1 0 177307536 68136960 15984 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549726 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16635 15984 138 64 0 15950 0
Current children cumulated CPU time (s) 883.07
Current children cumulated vsize (KiB) 71892

[startup+943.458 s]
/proc/loadavg: 2.00 2.00 1.97 3/88 24264
/proc/meminfo: memFree=1053016/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66544 CPUtime=935.38
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16535 0 0 0 93428 110 0 0 25 0 1 0 177307536 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 943.11
Current children cumulated vsize (KiB) 71896

[startup+1003.54 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 24410
/proc/meminfo: memFree=1051736/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66544 CPUtime=995.31
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16535 0 0 0 99421 110 0 0 25 0 1 0 177307536 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 1003.04
Current children cumulated vsize (KiB) 71896

[startup+1063.63 s]
/proc/loadavg: 2.08 2.02 1.97 3/88 24462
/proc/meminfo: memFree=1052752/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66544 CPUtime=1055.33
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16535 0 0 0 105422 111 0 0 25 0 1 0 177307536 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099133461 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 1063.06
Current children cumulated vsize (KiB) 71896

[startup+1123.71 s]
/proc/loadavg: 2.03 2.01 1.97 3/88 24462
/proc/meminfo: memFree=1052752/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66544 CPUtime=1115.38
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16535 0 0 0 111427 111 0 0 25 0 1 0 177307536 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099185888 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 1123.11
Current children cumulated vsize (KiB) 71896

[startup+1183.78 s]
/proc/loadavg: 2.07 2.02 1.98 3/88 24462
/proc/meminfo: memFree=1052752/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66544 CPUtime=1175.44
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16535 0 0 0 117432 112 0 0 25 0 1 0 177307536 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4102634388 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 1183.17
Current children cumulated vsize (KiB) 71896

[startup+1243.86 s]
/proc/loadavg: 2.02 2.02 1.98 3/88 24462
/proc/meminfo: memFree=1052752/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66544 CPUtime=1235.5
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16535 0 0 0 123438 112 0 0 25 0 1 0 177307536 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099739064 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 1243.23
Current children cumulated vsize (KiB) 71896

[startup+1303.93 s]
/proc/loadavg: 2.01 2.01 1.98 3/88 24462
/proc/meminfo: memFree=1052816/2055920 swapFree=4165612/4192956
[pid=24250] ppid=24248 vsize=5352 CPUtime=7.73
/proc/24250/stat : 24250 (solver2) S 24248 24250 20134 0 -1 4194304 397 43160 0 0 0 0 358 415 16 0 1 0 177306759 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24250/statm: 1338 242 203 169 0 49 0
[pid=24264] ppid=24250 vsize=66556 CPUtime=1295.56
/proc/24264/stat : 24264 (standalone) R 24250 24250 20134 0 -1 4194304 16549 0 0 0 129443 113 0 0 25 0 1 0 177307536 68153344 16000 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101460710 0 0 4096 0 0 0 0 17 1 0 0
/proc/24264/statm: 16639 16000 138 64 0 15954 0
Current children cumulated CPU time (s) 1303.29
Current children cumulated vsize (KiB) 71908

Child status: 0
Real time (s): 1338.06
CPU time (s): 1337.42
CPU user time (s): 1332.11
CPU system time (s): 5.30719
CPU usage (%): 99.9523
Max. virtual memory (cumulated for all children) (KiB): 150536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1332.11
system time used= 5.30719
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60144
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= 917
involuntary context switches= 2909

runsolver used 1.36579 s user time and 3.77743 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Mon Jan  8 20:45:10 UTC 2007


IDJOB= 201222
IDBENCH= 3750
FILE ID= node1/201222-1168289108

PBS_JOBID= 3501712

Free space on /tmp= 66250 MiB

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

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  d701de3dbc42c3b54216de5304316644

RANDOM SEED= 858188638

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.234
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.234
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:       1140152 kB
Buffers:         72688 kB
Cached:         634564 kB
SwapCached:       3620 kB
Active:         480676 kB
Inactive:       373128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1140152 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:           13612 kB
Writeback:           0 kB
Mapped:         157664 kB
Slab:            46460 kB
Committed_AS:  5574848 kB
PageTables:       2552 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= 66228 MiB



End job on node1 on Mon Jan  8 21:07:28 UTC 2007