Trace number 207468

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 330.114 330.442

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-10.xml
MD5SUMc9bcb9dd70ccc4a9926bdf95ae516c0c
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 benchmark11.0113
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1250
Number of constraints18359
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18359
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

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

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/node12/watcher-207468-1168293903 -o ROOT/results/node12/solver-207468-1168293903 -C 1800 -M 900 /tmp/evaluation/207468-1168293903/solver2 /tmp/evaluation/207468-1168293903/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.31 1.38 1.52 5/80 13185
/proc/meminfo: memFree=1581544/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=0
/proc/13182/stat : 13182 (solver2) R 13180 13182 6100 0 -1 4194304 313 190 0 0 0 0 0 0 19 0 1 0 177786141 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/13182/statm: 1338 241 202 169 0 49 0

[startup+0.105284 s]
/proc/loadavg: 1.31 1.38 1.52 5/80 13185
/proc/meminfo: memFree=1581544/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=0
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 353 334 0 0 0 0 0 0 19 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.513358 s]
/proc/loadavg: 1.31 1.38 1.52 5/80 13185
/proc/meminfo: memFree=1581544/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=0.35
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 376 2516 0 0 0 0 32 3 15 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 5352

[startup+1.3345 s]
/proc/loadavg: 1.31 1.38 1.52 2/79 13195
/proc/meminfo: memFree=1542960/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=0.35
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 376 2516 0 0 0 0 32 3 15 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13195] ppid=13182 vsize=42856 CPUtime=0.87
/proc/13195/stat : 13195 (bordewijk) R 13182 13182 6100 0 -1 4194304 10198 0 0 0 80 7 0 0 25 0 1 0 177786185 43884544 10170 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 0 0 0
/proc/13195/statm: 10714 10171 204 97 0 9995 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 48208

[startup+2.9718 s]
/proc/loadavg: 1.31 1.38 1.52 2/79 13195
/proc/meminfo: memFree=1503984/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=0.35
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 376 2516 0 0 0 0 32 3 15 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13195] ppid=13182 vsize=97352 CPUtime=2.51
/proc/13195/stat : 13195 (bordewijk) R 13182 13182 6100 0 -1 4194304 27295 0 0 0 194 57 0 0 25 0 1 0 177786185 99688448 23489 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/13195/statm: 24338 23489 217 97 0 23619 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 102704

[startup+6.25539 s]
/proc/loadavg: 1.28 1.37 1.52 2/79 13196
/proc/meminfo: memFree=1547408/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=4.84
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 397 29812 0 0 0 0 237 247 16 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13196] ppid=13182 vsize=40296 CPUtime=1.3
/proc/13196/stat : 13196 (standalone) R 13182 13182 6100 0 -1 4194304 9610 0 0 0 69 61 0 0 25 0 1 0 177786635 41263104 9185 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4125040376 0 0 4096 0 0 0 0 17 0 0 0
/proc/13196/statm: 10074 9185 137 64 0 9389 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 45648

[startup+12.7155 s]
/proc/loadavg: 1.26 1.36 1.51 2/79 13196
/proc/meminfo: memFree=1529304/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=4.84
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 397 29812 0 0 0 0 237 247 16 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13196] ppid=13182 vsize=40296 CPUtime=7.75
/proc/13196/stat : 13196 (standalone) R 13182 13182 6100 0 -1 4194304 9675 0 0 0 714 61 0 0 25 0 1 0 177786635 41263104 9250 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4126792229 0 0 4096 0 0 0 0 17 0 0 0
/proc/13196/statm: 10074 9250 137 64 0 9389 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 45648

[startup+25.5329 s]
/proc/loadavg: 1.20 1.35 1.50 2/79 13196
/proc/meminfo: memFree=1529496/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=4.84
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 397 29812 0 0 0 0 237 247 16 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13196] ppid=13182 vsize=40296 CPUtime=20.56
/proc/13196/stat : 13196 (standalone) R 13182 13182 6100 0 -1 4194304 9675 0 0 0 1995 61 0 0 25 0 1 0 177786635 41263104 9250 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4126123965 0 0 4096 0 0 0 0 17 0 0 0
/proc/13196/statm: 10074 9250 137 64 0 9389 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 45648

[startup+51.1655 s]
/proc/loadavg: 1.13 1.32 1.49 2/79 13196
/proc/meminfo: memFree=1529560/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=4.84
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 397 29812 0 0 0 0 237 247 16 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13196] ppid=13182 vsize=40296 CPUtime=46.18
/proc/13196/stat : 13196 (standalone) R 13182 13182 6100 0 -1 4194304 9675 0 0 0 4557 61 0 0 25 0 1 0 177786635 41263104 9250 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4124214480 0 0 4096 0 0 0 0 17 0 0 0
/proc/13196/statm: 10074 9250 137 64 0 9389 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 45648

[startup+102.429 s]
/proc/loadavg: 1.06 1.27 1.46 2/79 13196
/proc/meminfo: memFree=1529624/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=4.84
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 397 29812 0 0 0 0 237 247 16 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13196] ppid=13182 vsize=40296 CPUtime=97.41
/proc/13196/stat : 13196 (standalone) R 13182 13182 6100 0 -1 4194304 9675 0 0 0 9680 61 0 0 25 0 1 0 177786635 41263104 9250 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4126061774 0 0 4096 0 0 0 0 17 0 0 0
/proc/13196/statm: 10074 9250 137 64 0 9389 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 45648

[startup+162.518 s]
/proc/loadavg: 1.02 1.22 1.43 2/79 13196
/proc/meminfo: memFree=1529688/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=4.84
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 397 29812 0 0 0 0 237 247 16 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13196] ppid=13182 vsize=40296 CPUtime=157.44
/proc/13196/stat : 13196 (standalone) R 13182 13182 6100 0 -1 4194304 9675 0 0 0 15683 61 0 0 25 0 1 0 177786635 41263104 9250 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4126590955 0 0 4096 0 0 0 0 17 0 0 0
/proc/13196/statm: 10074 9250 137 64 0 9389 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 45648

[startup+222.605 s]
/proc/loadavg: 1.00 1.17 1.40 2/79 13196
/proc/meminfo: memFree=1529816/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=4.84
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 397 29812 0 0 0 0 237 247 16 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13196] ppid=13182 vsize=40296 CPUtime=217.48
/proc/13196/stat : 13196 (standalone) R 13182 13182 6100 0 -1 4194304 9675 0 0 0 21687 61 0 0 25 0 1 0 177786635 41263104 9250 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134527017 0 0 4096 0 0 0 0 17 0 0 0
/proc/13196/statm: 10074 9250 137 64 0 9389 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 45648

[startup+282.684 s]
/proc/loadavg: 1.00 1.14 1.37 2/79 13196
/proc/meminfo: memFree=1529880/2055920 swapFree=4160348/4192956
[pid=13182] ppid=13180 vsize=5352 CPUtime=4.84
/proc/13182/stat : 13182 (solver2) S 13180 13182 6100 0 -1 4194304 397 29812 0 0 0 0 237 247 16 0 1 0 177786141 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13182/statm: 1338 242 203 169 0 49 0
[pid=13196] ppid=13182 vsize=40296 CPUtime=277.54
/proc/13196/stat : 13196 (standalone) R 13182 13182 6100 0 -1 4194304 9675 0 0 0 27692 62 0 0 25 0 1 0 177786635 41263104 9250 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4124541176 0 0 4096 0 0 0 0 17 0 0 0
/proc/13196/statm: 10074 9250 137 64 0 9389 0
Current children cumulated CPU time (s) 282.38
Current children cumulated vsize (KiB) 45648

Child status: 0
Real time (s): 330.442
CPU time (s): 330.114
CPU user time (s): 327.004
CPU system time (s): 3.10953
CPU usage (%): 99.9008
Max. virtual memory (cumulated for all children) (KiB): 102704

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

runsolver used 0.356945 s user time and 0.820875 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Mon Jan  8 22:05:05 UTC 2007


IDJOB= 207468
IDBENCH= 4292
FILE ID= node12/207468-1168293903

PBS_JOBID= 3501832

Free space on /tmp= 66316 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-10.xml
COMMAND LINE= /tmp/evaluation/207468-1168293903/solver2 /tmp/evaluation/207468-1168293903/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-207468-1168293903 -o ROOT/results/node12/solver-207468-1168293903 -C 1800 -M 900  /tmp/evaluation/207468-1168293903/solver2 /tmp/evaluation/207468-1168293903/unknown 1800

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  c9bcb9dd70ccc4a9926bdf95ae516c0c

RANDOM SEED= 724599582

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.265
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.265
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:       1582288 kB
Buffers:         76936 kB
Cached:         313216 kB
SwapCached:       5132 kB
Active:         266828 kB
Inactive:       152260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1582288 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:           12596 kB
Writeback:           0 kB
Mapped:          38260 kB
Slab:            40200 kB
Committed_AS:  5113972 kB
PageTables:       1720 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= 66301 MiB



End job on node12 on Mon Jan  8 22:10:42 UTC 2007