Trace number 1086209

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
MDG-probe 2008-06-27SAT 557.666 560.428

DiagnosticValue
ASSIGNMENTS15353
CHECKS4523690

General information on the benchmark

Namecsp/fapp/fapp06/
normalized-fapp06-0500-9.xml
MD5SUM7fe976fa4ce71b2c5a4965beb0a6326a
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 benchmark32.804
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints6531
Maximum constraint arity2
Maximum domain size290
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6531
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c mistral-prime version 1.313
0.00/0.00	c 
0.00/0.00	c Parsing xml file
0.00/0.00	c          domains...............     0	(16 domains)
0.00/0.00	c          variables.............     0	(500 variables)
0.00/0.01	c          predicates............     0	(8 predicates)
0.00/0.01	c          constraints...........  0.26	(6531 constraints)
0.19/0.27	c Parsing time:   0.26
0.19/0.27	c
0.19/0.27	c Building model
0.28/0.30	c         0 constants
0.28/0.30	c         0 Boolean variables    (+0)
0.28/0.30	c         0 range variables      (+0)
0.28/0.30	c         0 domain (b) variables (+0)
0.28/0.30	c       500 domain (l) variables (+0)
0.28/0.30	c      6531 constraints          (+0)
0.28/0.30	c         0 values 
0.28/0.30	c Building time:   0.04
0.28/0.30	c
0.28/0.30	c Solving instance
0.28/0.30	c          heuristic = dom/wdeg
0.28/0.30	c          Randomized probing iteration = 100
0.28/0.30	c          probing limit = 30
0.28/0.30	c          level based weights = no
0.28/0.30	c          impact probing = no
0.28/0.30	c          restart policy = No restart
0.28/0.30	c          probing ..........501.24
501.40/503.95	c          Probing Nodes  7683
501.40/503.95	c          final run  56.17
557.53/560.39	c Solving time: 557.41
557.53/560.39	c
557.53/560.39	s SATISFIABLE
557.53/560.39	v -2568 -2204 2564 -2480 2260 -2568 -2184 -2424 -2380 -2612 -2640 2440 -2600 -2448 -2608 -2556 -2264 2532 -2192 -2352 2700 -2572 2284 -2680 -2716 2532 -2416 -2256 2140 2180 -2648 -2364 -2616 -2468 -2616 2656 -2304 2348 -2256 2292 -2440 -2296 2588 2348 2336 -2716 -2600 -2616 -2464 -2472 2316 -2372 -2676 -2368 -2144 -2296 -2452 -2600 2556 -2184 -2608 2516 -2412 2540 2660 2500 2548 -2676 -2448 2488 2184 -2140 -2140 2208 -2552 2180 2264 -2716 2180 2400 2384 -2364 -2404 -2520 2704 2448 -2560 -2692 -2676 -2268 -2468 -2552 2700 -2576 -2384 2428 -2316 2344 -2564 2396 2460 2360 -2616 -2196 -2640 2224 -2716 -2352 -2696 -2596 -2516 -2660 -2620 2408 2588 2284 -2588 -2260 -2692 -2440 -2644 2536 -2248 -2412 2340 -2608 -2676 -2244 -2656 2664 2404 -2408 -2580 2220 2300 -2408 -2304 -2452 2244 2228 -2256 -2616 -2168 -2452 -2504 -2656 2500 2512 -2548 -2180 -2204 -2612 -2540 2424 2388 -2712 -2236 2408 -2204 -2300 -2604 2696 -2652 2536 -2388 2664 -2464 -2716 -2264 2152 -2140 -2336 2428 -2604 2392 2248 2604 -2288 -2168 -2344 -2620 -2716 -2540 -2164 2600 -2400 -2708 2500 -2460 -2248 -2656 -2388 -2308 -2656 -2564 2216 -2228 2468 -2204 -2672 -2628 -2276 -2208 2380 -2528 -2716 -2576 2572 -2276 -2716 -2368 -2676 2308 -2432 -2612 2496 -2540 -2528 2380 2512 2616 2620 -2508 -2668 -2592 -2572 2484 -2716 2244 -2516 -2676 -2676 2408 -2676 2364 -2324 -2548 -2676 -2424 -2660 2164 -2400 -2180 2616 2392 -2404 -2408 2648 -2216 -2388 2556 2480 -2472 -2520 2652 -2356 2568 -2428 -2180 -2632 -2524 -2492 -2676 -2408 -2428 -2328 -2628 -2284 2208 -2552 -2716 -2144 2392 -2424 2140 -2360 2588 -2376 -2600 -2692 -2376 -2544 -2348 -2572 -2696 2652 -2316 2480 -2188 -2704 -2276 2688 -2548 2248 -2636 -2304 -2216 -2532 -2396 -2376 -2440 -2556 2188 -2324 -2572 2348 -2212 -2572 -2320 -2716 2256 -2636 -2676 2400 -2560 -2532 -2656 -2304 2596 -2676 2228 -2548 2172 2440 -2576 -2556 -2320 -2716 -2300 -2312 -2564 -2664 -2448 -2280 2564 -2652 -2612 -2564 -2360 -2308 -2348 -2596 -2692 2700 2144 2668 2492 -2304 -2660 2532 2596 -2696 -2676 -2564 -2452 2140 2292 -2388 -2276 2648 -2352 -2240 -2596 -2288 2516 2576 -2488 2420 2340 2264 -2596 -2636 2432 -2704 2448 -2560 -2512 2204 -2540 -2244 -2324 -2640 -2216 -2528 -2292 -2572 2356 -2640 -2252 2636 -2404 -2676 2160 2360 2472 2508 -2696 -2372 2216 -2580 -2576 2364 -2204 2420 -2228 2304 -2556 -2656 2660 2264 -2576 -2480 2636 2364 -2200 2660 -2156 -2536 2560 -2524 -2256 2652 2284 -2692 2572 2360 2504 -2404 -2680 2632 -2252 2176 -2640 2488 2140 -2448 2356 -2412 -2304 -2716 2144 2252 -2716 2528 -2576 -2464 2524 -2656 -2432 2468 -2524 -2184 -2484 2208 -2412 -2604 -2524 -2468 -2600 -2676 -2244 -2272 -2144 -2608 -2428 -2676 -2256 2488 2444 2672 -2340 -2268 -2672 -2576 -2696 2484 -2184 -2580 -2192 -2676 -2180 2320 2312 -2616 -2588 -2492 -2264 -2268 -2340 -2472 2152 -2584 2428 -2624 2476 2368 -2716 2236 -2604 -2592
557.53/560.39	d CHECKS 4523688
557.53/560.39	d ASSIGNMENTS 15353

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086209-1215238062/watcher-1086209-1215238062 -o /tmp/evaluation-result-1086209-1215238062/solver-1086209-1215238062 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1086209-1215238062.xml -v 1 -rs 528954757 -probe 1 -ph 0 -heu dom/wdeg -res no 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.07 4/79 15470
/proc/meminfo: memFree=1770768/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=4584 CPUtime=0
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 421 0 0 0 0 0 0 0 18 0 1 0 135486820 4694016 388 996147200 134512640 135239859 4294956144 18446744073709551615 134543920 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 1147 395 341 177 0 50 0

[startup+0.103007 s]
/proc/loadavg: 2.00 2.02 2.07 4/79 15470
/proc/meminfo: memFree=1770768/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=6436 CPUtime=0.08
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 932 0 0 0 8 0 0 0 18 0 1 0 135486820 6590464 898 996147200 134512640 135239859 4294956144 18446744073709551615 12203643 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 1609 898 397 177 0 512 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6436

[startup+0.202019 s]
/proc/loadavg: 2.00 2.02 2.07 4/79 15470
/proc/meminfo: memFree=1770768/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=7908 CPUtime=0.19
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 1307 0 0 0 18 1 0 0 18 0 1 0 135486820 8097792 1273 996147200 134512640 135239859 4294956144 18446744073709551615 12203643 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 1977 1273 397 177 0 880 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7908

[startup+0.301034 s]
/proc/loadavg: 2.00 2.02 2.07 4/79 15470
/proc/meminfo: memFree=1770768/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=22260 CPUtime=0.28
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3194 0 0 0 27 1 0 0 19 0 1 0 135486820 22794240 3160 996147200 134512640 135239859 4294956144 18446744073709551615 12203643 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5565 3163 416 177 0 4468 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22260

[startup+0.701076 s]
/proc/loadavg: 2.00 2.02 2.07 4/79 15470
/proc/meminfo: memFree=1770768/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23200 CPUtime=0.69
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3413 0 0 0 67 2 0 0 23 0 1 0 135486820 23756800 3379 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5800 3379 420 177 0 4703 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23200

[startup+1.50117 s]
/proc/loadavg: 2.00 2.02 2.07 3/80 15471
/proc/meminfo: memFree=1758792/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23200 CPUtime=1.48
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3413 0 0 0 146 2 0 0 25 0 1 0 135486820 23756800 3379 996147200 134512640 135239859 4294956144 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5800 3379 420 177 0 4703 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23200

[startup+3.10135 s]
/proc/loadavg: 2.00 2.02 2.07 3/80 15471
/proc/meminfo: memFree=1758600/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23200 CPUtime=3.08
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3413 0 0 0 306 2 0 0 25 0 1 0 135486820 23756800 3379 996147200 134512640 135239859 4294956144 18446744073709551615 134539216 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5800 3379 420 177 0 4703 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23200

[startup+6.30171 s]
/proc/loadavg: 2.08 2.03 2.07 3/80 15471
/proc/meminfo: memFree=1758600/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23200 CPUtime=6.26
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3418 0 0 0 624 2 0 0 25 0 1 0 135486820 23756800 3384 996147200 134512640 135239859 4294956144 18446744073709551615 134539537 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5800 3384 422 177 0 4703 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23200

[startup+12.7024 s]
/proc/loadavg: 2.08 2.03 2.07 3/80 15471
/proc/meminfo: memFree=1758288/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=12.63
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3425 0 0 0 1261 2 0 0 25 0 1 0 135486820 23760896 3391 996147200 134512640 135239859 4294956144 18446744073709551615 134820170 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3391 422 177 0 4704 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 23204

[startup+25.5019 s]
/proc/loadavg: 2.06 2.03 2.07 3/80 15471
/proc/meminfo: memFree=1758288/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=25.37
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3425 0 0 0 2535 2 0 0 25 0 1 0 135486820 23760896 3391 996147200 134512640 135239859 4294956144 18446744073709551615 134538522 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3391 422 177 0 4704 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 23204

[startup+51.1018 s]
/proc/loadavg: 2.04 2.03 2.07 3/80 15471
/proc/meminfo: memFree=1758224/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=50.84
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3426 0 0 0 5082 2 0 0 25 0 1 0 135486820 23760896 3392 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3392 422 177 0 4704 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 23204

[startup+102.302 s]
/proc/loadavg: 2.06 2.03 2.07 3/80 15471
/proc/meminfo: memFree=1758288/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=101.79
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3426 0 0 0 10177 2 0 0 25 0 1 0 135486820 23760896 3392 996147200 134512640 135239859 4294956144 18446744073709551615 134535337 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3392 422 177 0 4704 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 23204

[startup+162.301 s]
/proc/loadavg: 2.06 2.04 2.07 3/80 15471
/proc/meminfo: memFree=1758224/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=161.49
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3426 0 0 0 16147 2 0 0 25 0 1 0 135486820 23760896 3392 996147200 134512640 135239859 4294956144 18446744073709551615 134535736 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3392 422 177 0 4704 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 23204

[startup+222.306 s]
/proc/loadavg: 2.05 2.04 2.07 3/80 15471
/proc/meminfo: memFree=1758160/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=221.2
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3426 0 0 0 22118 2 0 0 25 0 1 0 135486820 23760896 3392 996147200 134512640 135239859 4294956144 18446744073709551615 135097013 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3392 422 177 0 4704 0
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (KiB) 23204

[startup+282.302 s]
/proc/loadavg: 2.13 2.07 2.07 3/80 15471
/proc/meminfo: memFree=1758160/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=280.9
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3426 0 0 0 28088 2 0 0 25 0 1 0 135486820 23760896 3392 996147200 134512640 135239859 4294956144 18446744073709551615 134543206 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3392 422 177 0 4704 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 23204

[startup+342.302 s]
/proc/loadavg: 2.12 2.07 2.07 3/80 15471
/proc/meminfo: memFree=1758096/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=340.6
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3426 0 0 0 34058 2 0 0 25 0 1 0 135486820 23760896 3392 996147200 134512640 135239859 4294956144 18446744073709551615 134534768 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3392 422 177 0 4704 0
Current children cumulated CPU time (s) 340.6
Current children cumulated vsize (KiB) 23204

[startup+402.301 s]
/proc/loadavg: 2.11 2.07 2.07 3/80 15471
/proc/meminfo: memFree=1758032/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=400.3
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3426 0 0 0 40028 2 0 0 25 0 1 0 135486820 23760896 3392 996147200 134512640 135239859 4294956144 18446744073709551615 135096978 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3392 422 177 0 4704 0
Current children cumulated CPU time (s) 400.3
Current children cumulated vsize (KiB) 23204

[startup+462.301 s]
/proc/loadavg: 2.10 2.07 2.07 3/80 15471
/proc/meminfo: memFree=1757968/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23204 CPUtime=460.01
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3426 0 0 0 45999 2 0 0 25 0 1 0 135486820 23760896 3392 996147200 134512640 135239859 4294956144 18446744073709551615 134535394 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5801 3392 422 177 0 4704 0
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (KiB) 23204

[startup+522.302 s]
/proc/loadavg: 2.17 2.08 2.08 3/80 15471
/proc/meminfo: memFree=1757904/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23216 CPUtime=519.72
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3436 0 0 0 51969 3 0 0 25 0 1 0 135486820 23773184 3402 996147200 134512640 135239859 4294956144 18446744073709551615 134535399 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5804 3402 423 177 0 4707 0
Current children cumulated CPU time (s) 519.72
Current children cumulated vsize (KiB) 23216

Solver just ended. Dumping a history of the last processes samples

[startup+537.602 s]
/proc/loadavg: 2.13 2.08 2.07 3/80 15471
/proc/meminfo: memFree=1757904/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23228 CPUtime=534.94
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3441 0 0 0 53491 3 0 0 25 0 1 0 135486820 23785472 3407 996147200 134512640 135239859 4294956144 18446744073709551615 134539217 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5807 3407 423 177 0 4710 0
Current children cumulated CPU time (s) 534.94
Current children cumulated vsize (KiB) 23228

[startup+550.402 s]
/proc/loadavg: 2.10 2.08 2.07 3/80 15471
/proc/meminfo: memFree=1757904/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23228 CPUtime=547.68
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3441 0 0 0 54765 3 0 0 25 0 1 0 135486820 23785472 3407 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5807 3407 423 177 0 4710 0
Current children cumulated CPU time (s) 547.68
Current children cumulated vsize (KiB) 23228

[startup+556.802 s]
/proc/loadavg: 2.18 2.09 2.08 3/80 15471
/proc/meminfo: memFree=1757904/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23228 CPUtime=554.05
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3441 0 0 0 55402 3 0 0 25 0 1 0 135486820 23785472 3407 996147200 134512640 135239859 4294956144 18446744073709551615 135096978 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5807 3407 423 177 0 4710 0
Current children cumulated CPU time (s) 554.05
Current children cumulated vsize (KiB) 23228

[startup+558.402 s]
/proc/loadavg: 2.18 2.09 2.08 3/80 15471
/proc/meminfo: memFree=1757904/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23228 CPUtime=555.64
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3441 0 0 0 55561 3 0 0 25 0 1 0 135486820 23785472 3407 996147200 134512640 135239859 4294956144 18446744073709551615 134534786 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5807 3407 423 177 0 4710 0
Current children cumulated CPU time (s) 555.64
Current children cumulated vsize (KiB) 23228

[startup+559.202 s]
/proc/loadavg: 2.18 2.09 2.08 3/80 15471
/proc/meminfo: memFree=1757904/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23232 CPUtime=556.44
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3442 0 0 0 55641 3 0 0 25 0 1 0 135486820 23789568 3408 996147200 134512640 135239859 4294956144 18446744073709551615 134538580 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5808 3408 423 177 0 4711 0
Current children cumulated CPU time (s) 556.44
Current children cumulated vsize (KiB) 23232

[startup+560.006 s]
/proc/loadavg: 2.16 2.09 2.08 3/80 15471
/proc/meminfo: memFree=1757904/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23232 CPUtime=557.24
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3442 0 0 0 55721 3 0 0 25 0 1 0 135486820 23789568 3408 996147200 134512640 135239859 4294956144 18446744073709551615 134543109 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5808 3408 423 177 0 4711 0
Current children cumulated CPU time (s) 557.24
Current children cumulated vsize (KiB) 23232

[startup+560.402 s]
/proc/loadavg: 2.16 2.09 2.08 3/80 15471
/proc/meminfo: memFree=1757904/2055920 swapFree=4179164/4192956
[pid=15470] ppid=15468 vsize=23244 CPUtime=557.63
/proc/15470/stat : 15470 (xsolve) R 15468 15470 11600 0 -1 4194304 3448 0 0 0 55760 3 0 0 25 0 1 0 135486820 23801856 3414 996147200 134512640 135239859 4294956144 18446744073709551615 12197940 0 0 4096 0 0 0 0 17 0 0 0
/proc/15470/statm: 5811 3414 426 177 0 4714 0
Current children cumulated CPU time (s) 557.63
Current children cumulated vsize (KiB) 23244

Child status: 0
Real time (s): 560.428
CPU time (s): 557.666
CPU user time (s): 557.632
CPU system time (s): 0.033994
CPU usage (%): 99.5073
Max. virtual memory (cumulated for all children) (KiB): 23244

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

runsolver used 0.990849 second user time and 1.56476 second system time

The end

Launcher Data (download as text)

Begin job on node76 at 2008-07-05 08:07:42
IDJOB=1086209
IDBENCH=57779
IDSOLVER=342
FILE ID=node76/1086209-1215238062
PBS_JOBID= 7881791
Free space on /tmp= 66484 MiB

SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/fapp/fapp06/normalized-fapp06-0500-9.xml
COMMAND LINE= HOME/xsolve BENCHNAME -v 1 -rs RANDOMSEED -probe 1 -ph 0 -heu dom/wdeg -res no
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086209-1215238062/watcher-1086209-1215238062 -o /tmp/evaluation-result-1086209-1215238062/solver-1086209-1215238062 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/xsolve HOME/instance-1086209-1215238062.xml -v 1 -rs 528954757 -probe 1 -ph 0 -heu dom/wdeg -res no

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 7fe976fa4ce71b2c5a4965beb0a6326a
RANDOM SEED=528954757

node76.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.222
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.222
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1771248 kB
Buffers:         24276 kB
Cached:         163072 kB
SwapCached:       7608 kB
Active:         105868 kB
Inactive:       114868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771248 kB
SwapTotal:     4192956 kB
SwapFree:      4179164 kB
Dirty:            1908 kB
Writeback:           0 kB
Mapped:          44040 kB
Slab:            48948 kB
Committed_AS:   511996 kB
PageTables:       2060 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= 66484 MiB
End job on node76 at 2008-07-05 08:17:02