Trace number 196392

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
CSP4J - Combo 2006-12-19SAT 101.994 102.743

DiagnosticValue
NODES2414

General information on the benchmark

Namefapp/fapp06-10/fapp09/
fapp09-0800-3.xml
MD5SUM3a39af590e754420eaf79b6f135d4551
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 benchmark7.2259
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
Global constraints used (with number of constraints)

Solver Data (download as text)

102.66	v 2596 -2600 2184 2564 -2704 2584 -2716 -2112 -2624 2636 2528 2664 2200 -2224 -2640 2588 2688 2192 2352 -2640 -2544 2488 2600 2264 2456 2600 2080 -2524 2512 -2560 2584 2124 -2148 -2660 2316 -2264 2020 2632 2668 -2460 -2212 2680 -2316 -2440 -2616 2356 -2388 -2480 2580 2508 2100 -2560 2488 -2020 -2596 -2224 2216 -2584 2252 -2100 2316 2160 -2396 2176 2680 -2340 2032 2476 2528 2652 2476 -2268 -2200 2264 2396 -2120 -2308 2492 -2628 -2680 -2560 2648 -2716 -2208 -2476 -2608 -2020 2640 -2092 2268 2584 -2624 2376 -2432 -2020 2644 -2592 -2716 2160 2584 -2032 -2656 -2716 -2256 2704 2588 2608 2296 -2324 -2684 -2640 -2444 -2224 2676 2564 2120 -2608 -2020 -2220 2364 2620 2512 -2236 2656 -2484 -2600 2628 2232 -2260 -2528 -2540 2228 -2580 2676 -2108 -2288 2580 2604 -2640 -2256 2020 -2140 2076 2596 -2040 2588 2500 -2248 2532 2244 -2604 -2116 2696 2160 -2560 -2276 -2640 2680 -2704 -2648 -2648 2640 2636 -2640 -2656 -2616 -2320 2568 -2360 -2212 2124 -2604 -2676 2160 -2212 -2464 2416 -2660 -2304 -2528 -2480 -2024 2668 2516 2588 2304 2172 -2656 -2336 2020 2424 -2240 2600 2664 2208 2460 -2652 2236 2496 -2316 2572 -2680 -2292 -2460 -2528 -2208 -2156 2060 -2628 2324 -2160 2540 2060 2628 -2148 -2472 -2448 2132 2624 -2020 2408 -2108 2568 2264 -2036 -2340 -2304 -2584 2316 -2600 -2160 -2368 2716 -2688 -2580 -2680 -2264 2132 -2192 2584 2484 -2232 2512 2244 2248 -2520 -2224 2512 -2304 2628 2160 -2704 2472 2480 -2700 -2208 2540 -2488 -2464 -2072 -2360 2648 2084 2620 2668 -2604 2580 2092 -2060 2620 2696 2672 2512 -2060 -2612 -2528 2348 2576 2628 -2132 -2516 2472 -2284 2688 -2580 2180 2632 2576 -2324 -2476 -2624 2588 2644 2200 -2520 -2684 2508 -2640 -2660 -2596 -2432 2308 -2324 -2276 -2616 -2576 2648 -2580 -2696 2320 -2168 2552 2264 -2556 -2520 -2500 -2264 -2484 -2316 -2256 -2588 2436 -2620 2240 -2548 2588 -2164 -2704 2488 -2120 -2320 2556 -2380 2696 -2384 -2104 2144 -2672 -2592 2352 2072 -2420 -2636 -2472 -2020 -2480 -2136 -2472 -2260 2676 2648 2544 -2688 -2644 -2308 2400 -2060 -2204 2044 -2392 -2568 2364 2660 2060 2340 2364 2628 2540 2516 2680 -2240 -2524 2424 -2484 2596 -2020 -2524 2192 2648 -2524 -2260 -2536 -2500 -2620 2192 2604 -2208 -2536 -2020 -2488 -2252 -2612 -2404 2600 -2324 -2556 2208 2640 -2412 -2268 2300 -2020 2716 -2352 2148 -2488 -2652 -2500 -2320 2528 2704 2252 2664 2640 -2624 -2544 2036 2484 -2500 -2660 2584 2664 2640 -2680 2640 -2628 2440 -2072 -2680 -2660 -2640 -2148 -2164 -2384 2540 -2640 -2072 -2224 -2540 -2540 -2320 2512 -2160 -2288 -2372 2516 -2212 -2656 -2680 -2540 2136 2584 2644 -2660 2200 -2436 -2580 2636 -2416 2540 2536 -2344 2676 -2120 2568 2620 -2248 -2364 2628 2660 -2512 -2440 2472 -2640 2464 -2580 -2528 2348 -2220 2680 2264 2184 -2624 -2252 2364 -2112 -2496 -2108 -2556 2220 2616 -2628 2588 2628 -2212 -2484 -2400 2664 2656 -2308 2276 -2464 -2520 2484 -2500 -2020 2280 2640 -2516 -2620 2512 -2364 -2232 2596 -2160 -2512 -2264 -2296 2460 2284 2248 -2060 2504 -2248 2640 -2268 -2648 -2424 -2524 2528 2328 -2224 2612 -2140 2584 2648 -2520 2684 2616 -2332 2600 -2332 -2568 -2628 2144 2664 -2064 -2628 2452 2644 -2552 -2096 2580 2620 -2224 -2620 2172 2560 -2268 2504 2232 2712 2364 2648 -2372 -2436 -2176 2276 2448 -2424 2392 -2248 -2360 -2628 2524 2052 -2388 -2160 2616 -2456 -2116 2172 2412 -2624 -2432 2412 -2216 -2460 -2544 -2432 2488 2540 2664 -2220 -2484 2652 2520 2400 2252 2276 -2208 2684 -2676 2072 -2360 -2552 2520 2248 2560 2656 2312 2584 -2688 2432 -2616 -2164 -2300 2060 -2360 -2488 2472 2536 2640 -2084 2564 -2704 -2632 2424 2588 2500 2608 -2696 2600 2552 2308 -2580 -2316 -2660 2088 2588 2540 -2580 -2072 2300 -2120 -2600 2588 -2312 2676 2248 2620 2564 -2688 2552 -2200 2524 -2424 -2336 2644 -2308 2476 -2120 -2540 -2148 -2124 -2388 2356 2552 -2280 2576 -2424 2060 -2656 -2124 2608 2396 2300 2612 -2500 -2292 -2548 2260 -2372 -2680 -2200 2120 -2392 -2164 -2108 2324 -2592 -2020 2668 -2196 2640 2160 2556 2304 -2488 2060 -2360 -2636 -2452 2624 -2252 -2296 -2160 -2144 2240 -2212 2060 2524 2656 2540 2400 2120 -2060 -2544 2516 -2636 -2320 -2640 -2264 -2600 2684 2200 -2188 2060 2292 -2412 2252 -2076 2048 2660 2060 -2076 2032 -2620 2340 2588 -2616 -2628 -2492 -2360 -2112 2672 -2596 -2580 2600 -2160 2348 2200 2564 2544 2184 2564 -2560 -2212 2620 -2660 2392 2160 2676 2656 -2716 2504 -2276 2608 -2676 2548 2580 -2500 2620 -2224 -2692 -2704 2632 2600 -2208 2436 2588 2620 -2648 2520 2640 2576 2524 -2464 -2352 2540 -2264 2276 -2476 2620 -2628 -2664 2688 2268 2348 2688 
102.66	s SATISFIABLE
102.66	d NODES 2414

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/node52/watcher-196392-1168122893 -o ROOT/results/node52/solver-196392-1168122893 -C 1800 -M 900 /tmp/evaluation/196392-1168122893/cspfj.sh -solver Combo -competition /tmp/evaluation/196392-1168122893/unknown.xml 

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: 2.19 2.15 2.14 5/81 6997
/proc/meminfo: memFree=1227656/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 269 0 0 0 0 0 0 0 21 0 1 0 160687788 5480448 228 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653923922 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/6996/statm: 1338 228 191 169 0 49 0
[pid=6998] ppid=6996 vsize=124 CPUtime=0
/proc/6998/stat : 6998 (dirname) R 6996 6996 6322 0 -1 4194304 47 0 0 0 0 0 0 0 23 0 1 0 160687789 126976 22 18446744073709551615 4194304 4208292 548682069488 18446744073709551615 273651135765 0 0 4096 0 0 0 0 17 1 0 0
/proc/6998/statm: 31 22 16 3 0 3 0

[startup+0.107291 s]
/proc/loadavg: 2.19 2.15 2.14 5/81 6997
/proc/meminfo: memFree=1227656/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160687788 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6996/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.519315 s]
/proc/loadavg: 2.19 2.15 2.14 5/81 6997
/proc/meminfo: memFree=1227656/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160687788 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6996/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34238 s]
/proc/loadavg: 2.19 2.15 2.14 3/89 7006
/proc/meminfo: memFree=1212552/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160687788 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6996/statm: 1338 240 201 169 0 49 0
[pid=6999] ppid=6996 vsize=865728 CPUtime=1.29
/proc/6999/stat : 6999 (java) R 6996 6996 6322 0 -1 0 6205 0 1 0 123 6 0 0 24 0 8 0 160687789 886505472 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6999/statm: 216432 5897 1828 14 0 203694 0
[pid=6999/tid=7000] ppid=6996 vsize=865728 CPUtime=0.12
/proc/6999/task/7000/stat : 7000 (java) R 6996 6996 6322 0 -1 64 2100 0 0 0 12 0 0 0 16 0 8 0 160687793 886505472 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4153789624 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7001] ppid=6996 vsize=865728 CPUtime=0
/proc/6999/task/7001/stat : 7001 (java) S 6996 6996 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160687793 886505472 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7002] ppid=6996 vsize=865728 CPUtime=0
/proc/6999/task/7002/stat : 7002 (java) S 6996 6996 6322 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160687793 886505472 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7003] ppid=6996 vsize=865728 CPUtime=0
/proc/6999/task/7003/stat : 7003 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160687797 886505472 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7004] ppid=6996 vsize=865728 CPUtime=0.25
/proc/6999/task/7004/stat : 7004 (java) S 6996 6996 6322 0 -1 64 501 0 0 0 24 1 0 0 15 0 8 0 160687797 886505472 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7005] ppid=6996 vsize=865728 CPUtime=0
/proc/6999/task/7005/stat : 7005 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160687797 886505472 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7006] ppid=6996 vsize=865728 CPUtime=0
/proc/6999/task/7006/stat : 7006 (java) S 6996 6996 6322 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160687797 886505472 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 871080

[startup+2.98297 s]
/proc/loadavg: 2.19 2.15 2.14 3/89 7006
/proc/meminfo: memFree=1202824/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160687788 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6996/statm: 1338 240 201 169 0 49 0
[pid=6999] ppid=6996 vsize=865820 CPUtime=2.92
/proc/6999/stat : 6999 (java) R 6996 6996 6322 0 -1 0 9824 0 1 0 279 13 0 0 25 0 8 0 160687789 886599680 9476 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6999/statm: 216455 9476 1828 14 0 203717 0
[pid=6999/tid=7000] ppid=6996 vsize=865820 CPUtime=0.35
/proc/6999/task/7000/stat : 7000 (java) S 6996 6996 6322 0 -1 64 5026 0 0 0 33 2 0 0 16 0 8 0 160687793 886599680 9476 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7001] ppid=6996 vsize=865820 CPUtime=0
/proc/6999/task/7001/stat : 7001 (java) S 6996 6996 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160687793 886599680 9476 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7002] ppid=6996 vsize=865820 CPUtime=0
/proc/6999/task/7002/stat : 7002 (java) S 6996 6996 6322 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160687793 886599680 9476 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7003] ppid=6996 vsize=865820 CPUtime=0
/proc/6999/task/7003/stat : 7003 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160687797 886599680 9476 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7004] ppid=6996 vsize=865820 CPUtime=0.32
/proc/6999/task/7004/stat : 7004 (java) S 6996 6996 6322 0 -1 64 532 0 0 0 31 1 0 0 15 0 8 0 160687797 886599680 9476 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7005] ppid=6996 vsize=865820 CPUtime=0
/proc/6999/task/7005/stat : 7005 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160687797 886599680 9476 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7006] ppid=6996 vsize=865820 CPUtime=0
/proc/6999/task/7006/stat : 7006 (java) S 6996 6996 6322 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160687797 886599680 9476 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 871172

[startup+6.28171 s]
/proc/loadavg: 2.18 2.14 2.14 3/89 7006
/proc/meminfo: memFree=1174728/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160687788 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6996/statm: 1338 240 201 169 0 49 0
[pid=6999] ppid=6996 vsize=866056 CPUtime=6.2
/proc/6999/stat : 6999 (java) R 6996 6996 6322 0 -1 0 16295 0 1 0 594 26 0 0 25 0 8 0 160687789 886841344 15910 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4153607690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6999/statm: 216514 15910 1828 14 0 203776 0
[pid=6999/tid=7000] ppid=6996 vsize=866056 CPUtime=0.85
/proc/6999/task/7000/stat : 7000 (java) S 6996 6996 6322 0 -1 64 10214 0 0 0 80 5 0 0 16 0 8 0 160687793 886841344 15910 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7001] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7001/stat : 7001 (java) S 6996 6996 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160687793 886841344 15910 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7002] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7002/stat : 7002 (java) S 6996 6996 6322 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160687793 886841344 15910 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7003] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7003/stat : 7003 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160687797 886841344 15910 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7004] ppid=6996 vsize=866056 CPUtime=0.38
/proc/6999/task/7004/stat : 7004 (java) S 6996 6996 6322 0 -1 64 554 0 0 0 37 1 0 0 16 0 8 0 160687797 886841344 15910 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7005] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7005/stat : 7005 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160687797 886841344 15910 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7006] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7006/stat : 7006 (java) S 6996 6996 6322 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160687797 886841344 15910 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 871408

[startup+12.7832 s]
/proc/loadavg: 2.16 2.14 2.14 5/89 7006
/proc/meminfo: memFree=1133960/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160687788 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6996/statm: 1338 240 201 169 0 49 0
[pid=6999] ppid=6996 vsize=866056 CPUtime=12.6
/proc/6999/stat : 6999 (java) R 6996 6996 6322 0 -1 0 25805 0 1 0 1217 43 0 0 25 0 8 0 160687789 886841344 25385 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154185172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6999/statm: 216514 25385 1828 14 0 203776 0
[pid=6999/tid=7000] ppid=6996 vsize=866056 CPUtime=1.83
/proc/6999/task/7000/stat : 7000 (java) S 6996 6996 6322 0 -1 64 18172 0 0 0 174 9 0 0 16 0 8 0 160687793 886841344 25385 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7001] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7001/stat : 7001 (java) S 6996 6996 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160687793 886841344 25385 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7002] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7002/stat : 7002 (java) S 6996 6996 6322 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160687793 886841344 25385 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7003] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7003/stat : 7003 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160687797 886841344 25385 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7004] ppid=6996 vsize=866056 CPUtime=0.38
/proc/6999/task/7004/stat : 7004 (java) S 6996 6996 6322 0 -1 64 554 0 0 0 37 1 0 0 16 0 8 0 160687797 886841344 25385 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7005] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7005/stat : 7005 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160687797 886841344 25385 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7006] ppid=6996 vsize=866056 CPUtime=0
/proc/6999/task/7006/stat : 7006 (java) S 6996 6996 6322 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160687797 886841344 25385 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 871408

[startup+25.587 s]
/proc/loadavg: 2.20 2.15 2.14 3/89 7006
/proc/meminfo: memFree=1101192/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160687788 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6996/statm: 1338 240 201 169 0 49 0
[pid=6999] ppid=6996 vsize=866460 CPUtime=25.24
/proc/6999/stat : 6999 (java) R 6996 6996 6322 0 -1 0 33815 0 1 0 2462 62 0 0 25 0 8 0 160687789 887255040 33379 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6999/statm: 216615 33379 1833 14 0 203877 0
[pid=6999/tid=7000] ppid=6996 vsize=866460 CPUtime=2.07
/proc/6999/task/7000/stat : 7000 (java) S 6996 6996 6322 0 -1 64 24715 0 0 0 195 12 0 0 16 0 8 0 160687793 887255040 33379 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7001] ppid=6996 vsize=866460 CPUtime=0
/proc/6999/task/7001/stat : 7001 (java) S 6996 6996 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160687793 887255040 33379 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7002] ppid=6996 vsize=866460 CPUtime=0
/proc/6999/task/7002/stat : 7002 (java) S 6996 6996 6322 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160687793 887255040 33379 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7003] ppid=6996 vsize=866460 CPUtime=0
/proc/6999/task/7003/stat : 7003 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160687797 887255040 33379 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7004] ppid=6996 vsize=866460 CPUtime=1.09
/proc/6999/task/7004/stat : 7004 (java) R 6996 6996 6322 0 -1 64 1043 0 0 0 106 3 0 0 16 0 8 0 160687797 887255040 33379 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4153329511 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7005] ppid=6996 vsize=866460 CPUtime=0
/proc/6999/task/7005/stat : 7005 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160687797 887255040 33379 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7006] ppid=6996 vsize=866460 CPUtime=0
/proc/6999/task/7006/stat : 7006 (java) S 6996 6996 6322 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160687797 887255040 33379 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 871812

[startup+51.2286 s]
/proc/loadavg: 2.27 2.17 2.15 3/89 7006
/proc/meminfo: memFree=1087112/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160687788 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6996/statm: 1338 240 201 169 0 49 0
[pid=6999] ppid=6996 vsize=870160 CPUtime=50.75
/proc/6999/stat : 6999 (java) R 6996 6996 6322 0 -1 0 37291 0 1 0 4991 84 0 0 25 0 8 0 160687789 891043840 36854 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074206457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6999/statm: 217540 36854 1833 14 0 204802 0
[pid=6999/tid=7000] ppid=6996 vsize=870160 CPUtime=2.1
/proc/6999/task/7000/stat : 7000 (java) S 6996 6996 6322 0 -1 64 25343 0 0 0 197 13 0 0 16 0 8 0 160687793 891043840 36854 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7001] ppid=6996 vsize=870160 CPUtime=0
/proc/6999/task/7001/stat : 7001 (java) S 6996 6996 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160687793 891043840 36854 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7002] ppid=6996 vsize=870160 CPUtime=0
/proc/6999/task/7002/stat : 7002 (java) S 6996 6996 6322 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160687793 891043840 36854 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7003] ppid=6996 vsize=870160 CPUtime=0
/proc/6999/task/7003/stat : 7003 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160687797 891043840 36854 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7004] ppid=6996 vsize=870160 CPUtime=4.44
/proc/6999/task/7004/stat : 7004 (java) S 6996 6996 6322 0 -1 64 3855 0 0 0 424 20 0 0 15 0 8 0 160687797 891043840 36854 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7005] ppid=6996 vsize=870160 CPUtime=0
/proc/6999/task/7005/stat : 7005 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160687797 891043840 36854 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7006] ppid=6996 vsize=870160 CPUtime=0
/proc/6999/task/7006/stat : 7006 (java) S 6996 6996 6322 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160687797 891043840 36854 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 875512

[startup+102.437 s]
/proc/loadavg: 2.15 2.16 2.14 3/89 7006
/proc/meminfo: memFree=1033096/2055920 swapFree=4192812/4192956
[pid=6996] ppid=6994 vsize=5352 CPUtime=0
/proc/6996/stat : 6996 (cspfj.sh) S 6994 6996 6322 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160687788 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6996/statm: 1338 240 201 169 0 49 0
[pid=6999] ppid=6996 vsize=875140 CPUtime=101.71
/proc/6999/stat : 6999 (java) R 6996 6996 6322 0 -1 0 50932 0 1 0 10038 133 0 0 25 0 8 0 160687789 896143360 50318 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074190220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6999/statm: 218785 50318 1835 14 0 206047 0
[pid=6999/tid=7000] ppid=6996 vsize=875144 CPUtime=2.95
/proc/6999/task/7000/stat : 7000 (java) S 6996 6996 6322 0 -1 64 35145 0 0 0 278 17 0 0 16 0 8 0 160687793 896147456 50318 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7001] ppid=6996 vsize=875140 CPUtime=0
/proc/6999/task/7001/stat : 7001 (java) S 6996 6996 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160687793 896143360 50318 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7002] ppid=6996 vsize=875140 CPUtime=0
/proc/6999/task/7002/stat : 7002 (java) S 6996 6996 6322 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 160687793 896143360 50318 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7003] ppid=6996 vsize=875140 CPUtime=0
/proc/6999/task/7003/stat : 7003 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160687797 896143360 50318 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7004] ppid=6996 vsize=875140 CPUtime=8.3
/proc/6999/task/7004/stat : 7004 (java) S 6996 6996 6322 0 -1 64 7067 0 0 0 791 39 0 0 16 0 8 0 160687797 896143360 50318 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7005] ppid=6996 vsize=875140 CPUtime=0
/proc/6999/task/7005/stat : 7005 (java) S 6996 6996 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160687797 896143360 50318 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6999/tid=7006] ppid=6996 vsize=875140 CPUtime=0
/proc/6999/task/7006/stat : 7006 (java) S 6996 6996 6322 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160687797 896143360 50318 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 880492

Child status: 0
Real time (s): 102.743
CPU time (s): 101.994
CPU user time (s): 100.602
CPU system time (s): 1.39279
CPU usage (%): 99.271
Max. virtual memory (cumulated for all children) (KiB): 880716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.602
system time used= 1.39279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51409
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31977
involuntary context switches= 32939

runsolver used 0.132979 s user time and 0.336948 s system time

The end

Launcher Data (download as text)

Begin job on node52 on Sat Jan  6 22:34:53 UTC 2007


IDJOB= 196392
IDBENCH= 3348
FILE ID= node52/196392-1168122893

PBS_JOBID= 3477486

Free space on /tmp= 66532 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp06-10/fapp09/fapp09-0800-3.xml
COMMAND LINE= /tmp/evaluation/196392-1168122893/cspfj.sh -solver Combo -competition /tmp/evaluation/196392-1168122893/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-196392-1168122893 -o ROOT/results/node52/solver-196392-1168122893 -C 1800 -M 900  /tmp/evaluation/196392-1168122893/cspfj.sh -solver Combo -competition /tmp/evaluation/196392-1168122893/unknown.xml

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  3a39af590e754420eaf79b6f135d4551

RANDOM SEED= 824231606

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.232
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.232
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:       1228136 kB
Buffers:         35508 kB
Cached:         110828 kB
SwapCached:          0 kB
Active:         695016 kB
Inactive:        74180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1228136 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1500 kB
Writeback:           0 kB
Mapped:         639604 kB
Slab:            42616 kB
Committed_AS:  3961544 kB
PageTables:       3116 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= 66532 MiB



End job on node52 on Sat Jan  6 22:36:36 UTC 2007