Trace number 1085852

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 1690.6 1703.55

DiagnosticValue
ASSIGNMENTS128532
CHECKS13676100

General information on the benchmark

Namecsp/fapp/fapp10/
normalized-fapp10-0900-9.xml
MD5SUMbb8fed9f370e164b93c37276047ba0d0
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 benchmark55.3086
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints11381
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11381
Global constraints used (with number of constraints)

Solver Data (download as text)

0.08/0.10	c mistral-prime version 1.313
0.08/0.10	c 
0.08/0.10	c Parsing xml file
0.08/0.10	c          domains...............     0	(28 domains)
0.08/0.10	c          variables.............  0.01	(900 variables)
0.08/0.10	c          predicates............-2.0837e-19	(8 predicates)
0.08/0.10	c          constraints...........  0.49	(11381 constraints)
0.49/0.51	c Parsing time:    0.5
0.49/0.51	c
0.49/0.51	c Building model
0.49/0.56	c         0 constants
0.49/0.56	c         0 Boolean variables    (+0)
0.49/0.56	c         0 range variables      (+0)
0.49/0.56	c         0 domain (b) variables (+0)
0.49/0.56	c       900 domain (l) variables (+0)
0.49/0.56	c     11381 constraints          (+0)
0.49/0.56	c         0 values 
0.49/0.56	c Building time:   0.05
0.49/0.56	c
0.49/0.56	c Solving instance
0.49/0.56	c          heuristic = dom/wdeg
0.49/0.56	c          Randomized probing iteration = 100
0.49/0.56	c          probing limit = 30
0.49/0.56	c          level based weights = no
0.49/0.56	c          impact probing = no
0.49/0.56	c          restart policy = No restart
0.49/0.56	c          probing .......606.95
607.40/612.10	c          Probing Nodes  6617
607.40/612.10	c          final run 1083.3
1690.43/1703.49	c Solving time: 1690.2
1690.43/1703.49	c
1690.43/1703.49	s SATISFIABLE
1690.43/1703.49	v -2684 -2700 -2328 2324 -2440 -2352 -2316 2660 -2588 2504 -2284 2328 -2544 2364 -2484 -2400 -2648 2060 -2060 -2592 2588 2656 -2688 2480 2540 2184 -2672 2624 -2488 -2660 -2364 2040 2556 -2336 2688 -2596 -2680 -2544 -2568 -2256 -2172 -2384 -2532 -2656 -2520 -2068 -2216 -2568 -2340 -2648 2144 -2560 -2300 -2204 -2080 2380 2500 -2600 -2740 -2376 2592 2576 -2132 -2628 -2360 -2544 -2704 -2172 2596 2488 -2448 2272 -2316 -2144 2484 -2708 -2332 -2528 -2084 -2648 2688 2592 2672 -2036 2364 -2264 -2412 -2320 2740 2536 -2564 -2688 2600 2568 2236 -2584 2640 -2468 2492 -2472 2656 -2696 2380 2596 2328 -2708 2656 2684 2524 2388 -2508 2504 2672 -2572 -2380 -2076 2020 -2544 -2672 -2108 2352 2308 -2740 -2264 2352 2596 -2712 -2132 -2528 -2068 -2132 -2512 2288 -2600 -2364 -2524 -2212 2324 -2712 -2544 2528 -2316 2364 -2256 -2320 -2632 -2716 -2648 -2712 2632 -2680 -2420 -2416 -2148 -2160 2668 -2700 2020 -2568 -2028 -2344 -2544 2664 2616 2668 -2152 -2152 -2108 -2548 2020 2556 -2616 -2092 -2108 -2368 -2464 2736 2092 2408 2244 2336 -2344 -2668 2448 -2452 2528 -2040 -2384 -2352 -2580 2420 2500 2560 -2184 -2648 -2392 2384 -2344 -2416 -2664 -2020 -2268 2384 2672 -2588 -2708 2224 -2092 -2276 -2456 -2312 -2192 -2436 2208 -2548 -2456 2020 2660 -2460 2408 -2352 -2184 -2368 2620 -2436 -2160 -2104 -2404 2540 2212 -2568 -2468 -2060 -2480 -2056 -2276 -2436 -2512 -2364 -2444 2320 -2624 -2724 -2256 2548 -2616 2448 -2460 2564 -2644 -2280 2368 2060 -2608 -2324 -2596 2320 -2612 -2592 -2620 -2308 2448 2272 -2528 -2512 -2068 -2544 -2496 -2512 -2332 2528 -2692 2344 2528 2600 2452 2552 -2456 2224 -2344 2588 -2372 2616 -2428 2020 2528 -2572 -2360 -2180 -2216 2608 2700 -2592 -2088 -2324 -2696 2576 2440 -2128 -2020 -2332 -2148 -2628 -2500 -2652 2284 -2432 -2540 2096 -2124 -2556 2596 -2708 2628 2472 -2112 2408 -2652 -2712 2192 2700 2640 -2556 -2452 -2068 -2472 -2404 -2712 -2740 2588 -2096 -2672 -2696 -2044 -2276 -2224 -2236 2536 -2400 -2376 -2056 -2404 -2608 -2532 -2584 -2608 -2540 -2060 -2548 2488 -2616 -2560 -2060 -2544 -2696 2228 -2340 2256 2116 -2516 -2520 -2360 -2232 -2560 -2092 -2488 2216 -2352 -2164 -2324 -2064 -2720 -2468 -2568 -2060 -2544 -2456 -2696 -2728 2100 -2440 -2692 -2416 -2704 2496 2112 -2068 -2116 2648 -2720 2472 2068 -2584 2020 2544 -2068 -2024 -2640 -2568 2392 2060 2504 -2552 2252 -2676 -2740 -2048 -2696 2696 -2548 -2520 -2456 2400 -2636 -2644 -2280 -2448 -2080 2496 -2688 -2312 -2236 -2508 -2488 2060 -2680 -2544 2344 -2232 -2620 2408 -2144 2196 -2372 2696 2020 -2608 -2304 2604 2524 2504 -2608 -2252 -2496 -2688 -2512 -2256 -2616 -2632 -2564 2688 2448 -2264 2524 -2656 2152 -2120 -2740 2584 2264 2648 -2396 -2484 2284 -2672 2136 2124 -2564 -2672 -2684 -2296 2096 -2528 -2068 2512 -2304 -2568 -2400 2216 -2504 -2700 -2128 -2168 -2140 -2396 2736 -2656 2408 -2528 -2432 -2364 -2408 -2628 -2508 2684 -2712 2400 -2276 -2700 -2640 2276 2700 -2344 -2732 -2284 -2552 -2032 -2328 -2284 -2692 2060 2580 -2268 2468 -2448 2628 -2720 -2696 -2324 -2740 -2640 2188 -2240 2192 -2172 2464 -2488 -2576 -2508 2488 2024 2656 -2508 -2384 -2696 2448 -2224 -2508 -2384 -2372 -2728 2312 -2028 -2224 -2720 2304 -2500 -2604 2644 2532 2192 -2360 -2128 2068 -2060 2500 2528 -2680 -2192 -2164 -2692 2708 -2620 2268 2688 -2712 -2740 -2584 -2536 -2648 -2528 -2532 -2216 2416 -2332 2144 -2448 -2276 -2476 -2444 -2292 -2664 -2316 -2656 2544 2020 -2156 -2588 -2724 -2572 -2700 -2256 -2660 -2512 2448 2740 2508 2028 2540 2700 2588 -2356 -2544 -2640 -2700 -2120 2064 2576 2620 -2664 -2104 -2404 -2512 -2068 -2712 -2560 2340 -2612 -2552 -2264 -2652 -2108 -2404 -2592 2288 -2132 -2468 -2168 -2644 2132 -2456 -2232 -2568 -2464 -2068 2204 2028 2740 -2696 2668 -2500 -2620 2440 -2156 2644 2680 -2400 2568 -2324 2736 -2564 -2088 2556 -2468 -2736 -2564 2472 -2084 2488 -2188 -2172 -2672 -2320 -2700 2164 -2684 2648 -2576 2364 -2696 -2664 -2640 2736 -2504 -2572 -2320 2656 -2404 -2656 -2656 -2632 -2332 -2628 -2416 2112 -2440 -2184 -2528 -2428 -2392 -2108 2620 -2420 2640 2224 -2656 2616 -2460 -2444 -2484 -2672 2580 -2568 -2172 -2660 2624 -2140 -2580 -2296 -2060 2020 -2504 -2304 -2668 -2484 -2552 -2456 -2136 -2096 -2680 -2184 2124 2412 -2060 -2556 2068 -2608 -2532 -2584 -2708 -2136 -2668 2440 -2452 -2372 -2496 -2096 -2072 -2296 -2584 2520 -2656 -2740 -2464 -2656 -2028 -2576 2084 -2324 -2696 2552 2428 -2548 -2200 -2060 -2332 2488 -2028 -2280 2408 2696 2020 -2672 2600 -2084 -2092 -2520 2052 2232 -2148 -2092 -2696 -2668 2544 2424 2672 -2256 -2528 -2224 -2324 -2628 2236 -2304 -2460 2576 -2700 2616 -2688 -2228 -2072 -2424 -2416 -2684 -2188 2564 2584 -2344 -2712 2508 -2648 2020 -2372 -2460 2320 -2544 2444 2240 2272 2600 -2300 -2684 -2700 -2740 2524 -2312 2708 -2576 -2608 2572 2548 -2604 2020 2256 2124 2568 2184 2312 2216 -2632 -2132 2640 -2200 2588 2212 2680 2028 -2584 -2132 -2484 -2232 -2292 2096 -2508 2652 -2612 -2616 -2500 2588 -2568 -2644 2560 -2080 -2600 2456 -2336 -2628 -2520 -2584 -2732 -2488 -2664 2276 2660 -2640 2632 -2696 -2696 -2376 -2492 -2700 -2668 -2548 2536 -2132 2412 2524 2524 2184 2552 2280 -2396 -2432 -2424 -2648 2364 -2028 -2444 -2304 -2608 2056 2624 2668 2152 -2740 2280 -2656 -2248 -2632 -2524 -2600
1690.43/1703.49	d CHECKS 13676141
1690.43/1703.49	d ASSIGNMENTS 128532

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-1085852-1215235828/watcher-1085852-1215235828 -o /tmp/evaluation-result-1085852-1215235828/solver-1085852-1215235828 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1085852-1215235828.xml -v 1 -rs 378499920 -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.01 2.01 2.00 4/72 10052
/proc/meminfo: memFree=1522128/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=820 CPUtime=0
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 39 0 0 0 0 0 0 0 19 0 1 0 2002551656 839680 25 996147200 134512640 135239859 4294956144 18446744073709551615 11952932 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 205 25 19 177 0 3 0

[startup+0.0724701 s]
/proc/loadavg: 2.01 2.01 2.00 4/72 10052
/proc/meminfo: memFree=1522128/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=6192 CPUtime=0.05
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 874 0 0 0 5 0 0 0 19 0 1 0 2002551656 6340608 840 996147200 134512640 135239859 4294956144 18446744073709551615 134654561 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 1548 840 400 177 0 451 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6192

[startup+0.101467 s]
/proc/loadavg: 2.01 2.01 2.00 4/72 10052
/proc/meminfo: memFree=1522128/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=6580 CPUtime=0.08
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 975 0 0 0 8 0 0 0 19 0 1 0 2002551656 6737920 941 996147200 134512640 135239859 4294956144 18446744073709551615 134542956 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 1645 941 400 177 0 548 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6580

[startup+0.301497 s]
/proc/loadavg: 2.01 2.01 2.00 4/72 10052
/proc/meminfo: memFree=1522128/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=9376 CPUtime=0.29
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 1672 0 0 0 28 1 0 0 21 0 1 0 2002551656 9601024 1638 996147200 134512640 135239859 4294956144 18446744073709551615 4160172306 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 2344 1638 400 177 0 1247 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9376

[startup+0.701557 s]
/proc/loadavg: 2.01 2.01 2.00 4/72 10052
/proc/meminfo: memFree=1522128/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37528 CPUtime=0.68
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5730 0 0 0 64 4 0 0 25 0 1 0 2002551656 38428672 5630 996147200 134512640 135239859 4294956144 18446744073709551615 134541343 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9382 5630 420 177 0 8285 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37528

[startup+1.50169 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 10053
/proc/meminfo: memFree=1501192/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37528 CPUtime=1.48
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5730 0 0 0 144 4 0 0 25 0 1 0 2002551656 38428672 5630 996147200 134512640 135239859 4294956144 18446744073709551615 135097009 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9382 5630 420 177 0 8285 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37528

[startup+3.10194 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 10053
/proc/meminfo: memFree=1501064/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37528 CPUtime=3.07
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5730 0 0 0 303 4 0 0 25 0 1 0 2002551656 38428672 5630 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9382 5630 420 177 0 8285 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 37528

[startup+6.30146 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 10053
/proc/meminfo: memFree=1501000/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37528 CPUtime=6.24
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5730 0 0 0 620 4 0 0 25 0 1 0 2002551656 38428672 5630 996147200 134512640 135239859 4294956144 18446744073709551615 135096847 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9382 5630 420 177 0 8285 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 37528

[startup+12.7015 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 10053
/proc/meminfo: memFree=1500936/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37660 CPUtime=12.59
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5736 0 0 0 1255 4 0 0 25 0 1 0 2002551656 38563840 5636 996147200 134512640 135239859 4294956144 18446744073709551615 134543147 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9415 5636 422 177 0 8318 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 37660

[startup+25.5015 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 10053
/proc/meminfo: memFree=1501000/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=25.29
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5744 0 0 0 2525 4 0 0 25 0 1 0 2002551656 38567936 5644 996147200 134512640 135239859 4294956144 18446744073709551615 134543132 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5644 422 177 0 8319 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 37664

[startup+51.1016 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 10053
/proc/meminfo: memFree=1500872/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=50.69
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5744 0 0 0 5065 4 0 0 25 0 1 0 2002551656 38567936 5644 996147200 134512640 135239859 4294956144 18446744073709551615 135096984 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5644 422 177 0 8319 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 37664

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500552/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=101.5
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5749 0 0 0 10146 4 0 0 25 0 1 0 2002551656 38567936 5649 996147200 134512640 135239859 4294956144 18446744073709551615 134543147 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5649 422 177 0 8319 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 37664

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500552/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=161.04
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5749 0 0 0 16100 4 0 0 25 0 1 0 2002551656 38567936 5649 996147200 134512640 135239859 4294956144 18446744073709551615 134543162 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5649 422 177 0 8319 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 37664

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500552/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=220.58
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5749 0 0 0 22054 4 0 0 25 0 1 0 2002551656 38567936 5649 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5649 422 177 0 8319 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 37664

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500552/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=280.12
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5749 0 0 0 28008 4 0 0 25 0 1 0 2002551656 38567936 5649 996147200 134512640 135239859 4294956144 18446744073709551615 134534766 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5649 422 177 0 8319 0
Current children cumulated CPU time (s) 280.12
Current children cumulated vsize (KiB) 37664

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500560/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=339.65
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5749 0 0 0 33961 4 0 0 25 0 1 0 2002551656 38567936 5649 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5649 422 177 0 8319 0
Current children cumulated CPU time (s) 339.65
Current children cumulated vsize (KiB) 37664

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500560/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=399.2
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5749 0 0 0 39916 4 0 0 25 0 1 0 2002551656 38567936 5649 996147200 134512640 135239859 4294956144 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5649 422 177 0 8319 0
Current children cumulated CPU time (s) 399.2
Current children cumulated vsize (KiB) 37664

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500496/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=458.74
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5749 0 0 0 45870 4 0 0 25 0 1 0 2002551656 38567936 5649 996147200 134512640 135239859 4294956144 18446744073709551615 134820227 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5649 422 177 0 8319 0
Current children cumulated CPU time (s) 458.74
Current children cumulated vsize (KiB) 37664

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500432/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=518.29
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5749 0 0 0 51824 5 0 0 25 0 1 0 2002551656 38567936 5649 996147200 134512640 135239859 4294956144 18446744073709551615 135095206 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5649 422 177 0 8319 0
Current children cumulated CPU time (s) 518.29
Current children cumulated vsize (KiB) 37664

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500368/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37664 CPUtime=577.83
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5749 0 0 0 57778 5 0 0 25 0 1 0 2002551656 38567936 5649 996147200 134512640 135239859 4294956144 18446744073709551615 134535399 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9416 5649 422 177 0 8319 0
Current children cumulated CPU time (s) 577.83
Current children cumulated vsize (KiB) 37664

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1500240/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37680 CPUtime=637.37
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5757 0 0 0 63732 5 0 0 25 0 1 0 2002551656 38584320 5657 996147200 134512640 135239859 4294956144 18446744073709551615 134820231 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9420 5657 423 177 0 8323 0
Current children cumulated CPU time (s) 637.37
Current children cumulated vsize (KiB) 37680


################
# More data... #
################

/proc/meminfo: memFree=1499920/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1054.17
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 105412 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1054.17
Current children cumulated vsize (KiB) 37692

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1499728/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1113.71
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 111366 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134535692 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1113.71
Current children cumulated vsize (KiB) 37692

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1499664/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1173.26
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 117321 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1173.26
Current children cumulated vsize (KiB) 37692

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1499600/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1232.8
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 123275 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1232.8
Current children cumulated vsize (KiB) 37692

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 10055
/proc/meminfo: memFree=1499600/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1292.34
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 129229 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134534766 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1292.34
Current children cumulated vsize (KiB) 37692

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 10055
/proc/meminfo: memFree=1499536/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1351.88
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 135183 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134541362 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1351.88
Current children cumulated vsize (KiB) 37692

[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/73 10055
/proc/meminfo: memFree=1499536/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1411.43
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 141138 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134535354 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1411.43
Current children cumulated vsize (KiB) 37692

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 10055
/proc/meminfo: memFree=1499536/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1470.97
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 147092 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1470.97
Current children cumulated vsize (KiB) 37692

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 10055
/proc/meminfo: memFree=1499472/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1530.51
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 153046 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1530.51
Current children cumulated vsize (KiB) 37692

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 10055
/proc/meminfo: memFree=1499408/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37692 CPUtime=1590.06
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5770 0 0 0 159001 5 0 0 25 0 1 0 2002551656 38596608 5670 996147200 134512640 135239859 4294956144 18446744073709551615 134820216 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9423 5670 423 177 0 8326 0
Current children cumulated CPU time (s) 1590.06
Current children cumulated vsize (KiB) 37692

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 10055
/proc/meminfo: memFree=1499216/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37712 CPUtime=1649.6
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5778 0 0 0 164955 5 0 0 25 0 1 0 2002551656 38617088 5678 996147200 134512640 135239859 4294956144 18446744073709551615 134535696 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9428 5678 423 177 0 8331 0
Current children cumulated CPU time (s) 1649.6
Current children cumulated vsize (KiB) 37712

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

[startup+1663.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 10055
/proc/meminfo: memFree=1499216/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37712 CPUtime=1651.19
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5778 0 0 0 165114 5 0 0 25 0 1 0 2002551656 38617088 5678 996147200 134512640 135239859 4294956144 18446744073709551615 135096846 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9428 5678 423 177 0 8331 0
Current children cumulated CPU time (s) 1651.19
Current children cumulated vsize (KiB) 37712

[startup+1689.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10055
/proc/meminfo: memFree=1499152/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37712 CPUtime=1676.59
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5778 0 0 0 167654 5 0 0 25 0 1 0 2002551656 38617088 5678 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9428 5678 423 177 0 8331 0
Current children cumulated CPU time (s) 1676.59
Current children cumulated vsize (KiB) 37712

[startup+1695.9 s]
/proc/loadavg: 2.00 2.00 2.00 2/71 10056
/proc/meminfo: memFree=1763616/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37712 CPUtime=1682.94
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5778 0 0 0 168289 5 0 0 25 0 1 0 2002551656 38617088 5678 996147200 134512640 135239859 4294956144 18446744073709551615 134535328 0 0 4096 0 0 0 0 17 1 0 0
/proc/10052/statm: 9428 5678 423 177 0 8331 0
Current children cumulated CPU time (s) 1682.94
Current children cumulated vsize (KiB) 37712

[startup+1699.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10086
/proc/meminfo: memFree=1725000/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37712 CPUtime=1686.13
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5778 0 0 0 168607 6 0 0 25 0 1 0 2002551656 38617088 5678 996147200 134512640 135239859 4294956144 18446744073709551615 135096981 0 0 4096 0 0 0 0 17 0 0 0
/proc/10052/statm: 9428 5678 423 177 0 8331 0
Current children cumulated CPU time (s) 1686.13
Current children cumulated vsize (KiB) 37712

[startup+1700.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10086
/proc/meminfo: memFree=1672712/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37712 CPUtime=1687.73
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5778 0 0 0 168767 6 0 0 25 0 1 0 2002551656 38617088 5678 996147200 134512640 135239859 4294956144 18446744073709551615 134539537 0 0 4096 0 0 0 0 17 0 0 0
/proc/10052/statm: 9428 5678 423 177 0 8331 0
Current children cumulated CPU time (s) 1687.73
Current children cumulated vsize (KiB) 37712

[startup+1702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10086
/proc/meminfo: memFree=1672712/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37712 CPUtime=1689.33
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5778 0 0 0 168927 6 0 0 25 0 1 0 2002551656 38617088 5678 996147200 134512640 135239859 4294956144 18446744073709551615 135103480 0 0 4096 0 0 0 0 17 0 0 0
/proc/10052/statm: 9428 5678 423 177 0 8331 0
Current children cumulated CPU time (s) 1689.33
Current children cumulated vsize (KiB) 37712

[startup+1703.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10086
/proc/meminfo: memFree=1672712/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37712 CPUtime=1690.13
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5778 0 0 0 169007 6 0 0 25 0 1 0 2002551656 38617088 5678 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 0 0 0
/proc/10052/statm: 9428 5678 423 177 0 8331 0
Current children cumulated CPU time (s) 1690.13
Current children cumulated vsize (KiB) 37712

[startup+1703.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10086
/proc/meminfo: memFree=1672712/2055920 swapFree=4179808/4192956
[pid=10052] ppid=10050 vsize=37728 CPUtime=1690.53
/proc/10052/stat : 10052 (xsolve) R 10050 10052 9558 0 -1 4194304 5785 0 0 0 169047 6 0 0 25 0 1 0 2002551656 38633472 5685 996147200 134512640 135239859 4294956144 18446744073709551615 134818639 0 0 4096 0 0 0 0 17 0 0 0
/proc/10052/statm: 9432 5685 425 177 0 8335 0
Current children cumulated CPU time (s) 1690.53
Current children cumulated vsize (KiB) 37728

Child status: 0
Real time (s): 1703.55
CPU time (s): 1690.6
CPU user time (s): 1690.52
CPU system time (s): 0.073988
CPU usage (%): 99.2394
Max. virtual memory (cumulated for all children) (KiB): 37728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1690.52
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5794
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= 36343

runsolver used 1.73274 second user time and 4.46932 second system time

The end

Launcher Data (download as text)

Begin job on node69 at 2008-07-05 07:30:28
IDJOB=1085852
IDBENCH=57715
IDSOLVER=342
FILE ID=node69/1085852-1215235828
PBS_JOBID= 7881931
Free space on /tmp= 66472 MiB

SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/fapp/fapp10/normalized-fapp10-0900-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-1085852-1215235828/watcher-1085852-1215235828 -o /tmp/evaluation-result-1085852-1215235828/solver-1085852-1215235828 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/xsolve HOME/instance-1085852-1215235828.xml -v 1 -rs 378499920 -probe 1 -ph 0 -heu dom/wdeg -res no

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= bb8fed9f370e164b93c37276047ba0d0
RANDOM SEED=378499920

node69.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.259
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.259
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:       1522608 kB
Buffers:         25640 kB
Cached:         170732 kB
SwapCached:       7560 kB
Active:         402928 kB
Inactive:        68204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1522608 kB
SwapTotal:     4192956 kB
SwapFree:      4179808 kB
Dirty:            2552 kB
Writeback:           0 kB
Mapped:         282184 kB
Slab:            46852 kB
Committed_AS:  4294344 kB
PageTables:       2404 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= 66448 MiB
End job on node69 at 2008-07-05 07:58:51