Trace number 196553

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 - MAC 2006-12-19SAT 101.099 101.349

DiagnosticValue
NODES807

General information on the benchmark

Namefapp/fapp06-10/fapp09/
fapp09-0800-8.xml
MD5SUM98512f16e1ee914547090e130fb41158
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 benchmark4.02439
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)

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

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/node55/watcher-196553-1168124175 -o ROOT/results/node55/solver-196553-1168124175 -C 1800 -M 900 /tmp/evaluation/196553-1168124175/cspfj.sh -competition /tmp/evaluation/196553-1168124175/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: 0.92 1.19 1.59 4/65 25527
/proc/meminfo: memFree=1824992/2055920 swapFree=4192812/4192956
[pid=25526] ppid=25524 vsize=5352 CPUtime=0
/proc/25526/stat : 25526 (cspfj.sh) D 25524 25526 24215 0 -1 4194304 295 128 0 0 0 0 0 0 18 0 1 0 160815809 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761776741 0 2147483391 4100 65536 18446744072099781622 0 0 17 1 0 0
/proc/25526/statm: 1338 240 201 169 0 49 0

[startup+0.104179 s]
/proc/loadavg: 0.92 1.19 1.59 4/65 25527
/proc/meminfo: memFree=1824992/2055920 swapFree=4192812/4192956
[pid=25526] ppid=25524 vsize=5352 CPUtime=0
/proc/25526/stat : 25526 (cspfj.sh) S 25524 25526 24215 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160815809 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25526/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.514219 s]
/proc/loadavg: 0.92 1.19 1.59 4/65 25527
/proc/meminfo: memFree=1824992/2055920 swapFree=4192812/4192956
[pid=25526] ppid=25524 vsize=5352 CPUtime=0
/proc/25526/stat : 25526 (cspfj.sh) S 25524 25526 24215 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160815809 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25526/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33429 s]
/proc/loadavg: 0.92 1.19 1.59 2/73 25536
/proc/meminfo: memFree=1809056/2055920 swapFree=4192812/4192956
[pid=25526] ppid=25524 vsize=5352 CPUtime=0
/proc/25526/stat : 25526 (cspfj.sh) S 25524 25526 24215 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160815809 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25526/statm: 1338 240 201 169 0 49 0
[pid=25529] ppid=25526 vsize=865672 CPUtime=1.31
/proc/25529/stat : 25529 (java) R 25526 25526 24215 0 -1 0 6418 0 1 0 126 5 0 0 16 0 8 0 160815809 886448128 6108 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 216418 6108 1828 14 0 203680 0
[pid=25529/tid=25530] ppid=25526 vsize=865672 CPUtime=0.16
/proc/25529/task/25530/stat : 25530 (java) S 25526 25526 24215 0 -1 64 2216 0 0 0 16 0 0 0 16 0 8 0 160815812 886448128 6108 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25531] ppid=25526 vsize=865672 CPUtime=0
/proc/25529/task/25531/stat : 25531 (java) S 25526 25526 24215 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 160815813 886448128 6108 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25526 vsize=865672 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25526 25526 24215 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160815813 886448128 6108 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25526 vsize=865672 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25526 25526 24215 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160815816 886448128 6108 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25526 vsize=865672 CPUtime=0.23
/proc/25529/task/25534/stat : 25534 (java) S 25526 25526 24215 0 -1 64 506 0 0 0 22 1 0 0 15 0 8 0 160815816 886448128 6108 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25535] ppid=25526 vsize=865672 CPUtime=0
/proc/25529/task/25535/stat : 25535 (java) S 25526 25526 24215 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160815816 886448128 6108 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25526 vsize=865672 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25526 25526 24215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160815816 886448128 6108 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 871024

[startup+2.97046 s]
/proc/loadavg: 0.92 1.19 1.59 2/73 25536
/proc/meminfo: memFree=1798880/2055920 swapFree=4192812/4192956
[pid=25526] ppid=25524 vsize=5352 CPUtime=0
/proc/25526/stat : 25526 (cspfj.sh) S 25524 25526 24215 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160815809 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25526/statm: 1338 240 201 169 0 49 0
[pid=25529] ppid=25526 vsize=865912 CPUtime=2.94
/proc/25529/stat : 25529 (java) R 25526 25526 24215 0 -1 0 10239 0 1 0 282 12 0 0 16 0 8 0 160815809 886693888 9887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4154155888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 216478 9887 1828 14 0 203740 0
[pid=25529/tid=25530] ppid=25526 vsize=865912 CPUtime=0.32
/proc/25529/task/25530/stat : 25530 (java) S 25526 25526 24215 0 -1 64 5357 0 0 0 30 2 0 0 16 0 8 0 160815812 886693888 9887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25531] ppid=25526 vsize=865912 CPUtime=0
/proc/25529/task/25531/stat : 25531 (java) S 25526 25526 24215 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160815813 886693888 9887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25526 vsize=865912 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25526 25526 24215 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160815813 886693888 9887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25526 vsize=865912 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25526 25526 24215 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160815816 886693888 9887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25526 vsize=865912 CPUtime=0.31
/proc/25529/task/25534/stat : 25534 (java) S 25526 25526 24215 0 -1 64 547 0 0 0 30 1 0 0 16 0 8 0 160815816 886693888 9887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25526 vsize=865912 CPUtime=0
/proc/25529/task/25535/stat : 25535 (java) S 25526 25526 24215 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160815816 886693888 9887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25526 vsize=865912 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25526 25526 24215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160815816 886693888 9887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 871264

[startup+6.17396 s]
/proc/loadavg: 0.93 1.18 1.59 2/73 25536
/proc/meminfo: memFree=1766496/2055920 swapFree=4192812/4192956
[pid=25526] ppid=25524 vsize=5352 CPUtime=0
/proc/25526/stat : 25526 (cspfj.sh) S 25524 25526 24215 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160815809 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25526/statm: 1338 240 201 169 0 49 0
[pid=25529] ppid=25526 vsize=866084 CPUtime=6.15
/proc/25529/stat : 25529 (java) R 25526 25526 24215 0 -1 0 17533 0 1 0 592 23 0 0 17 0 8 0 160815809 886870016 17143 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073678053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 216521 17143 1828 14 0 203783 0
[pid=25529/tid=25530] ppid=25526 vsize=866084 CPUtime=0.82
/proc/25529/task/25530/stat : 25530 (java) S 25526 25526 24215 0 -1 64 11315 0 0 0 78 4 0 0 15 0 8 0 160815812 886870016 17143 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25531] ppid=25526 vsize=866084 CPUtime=0
/proc/25529/task/25531/stat : 25531 (java) S 25526 25526 24215 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160815813 886870016 17143 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25532] ppid=25526 vsize=866084 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25526 25526 24215 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160815813 886870016 17143 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25526 vsize=866084 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25526 25526 24215 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160815816 886870016 17143 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25526 vsize=866084 CPUtime=0.31
/proc/25529/task/25534/stat : 25534 (java) S 25526 25526 24215 0 -1 64 550 0 0 0 30 1 0 0 15 0 8 0 160815816 886870016 17143 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25535] ppid=25526 vsize=866084 CPUtime=0
/proc/25529/task/25535/stat : 25535 (java) S 25526 25526 24215 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160815816 886870016 17143 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25526 vsize=866084 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25526 25526 24215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160815816 886870016 17143 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 871436

[startup+12.6534 s]
/proc/loadavg: 0.93 1.18 1.58 2/73 25536
/proc/meminfo: memFree=1724640/2055920 swapFree=4192812/4192956
[pid=25526] ppid=25524 vsize=5352 CPUtime=0
/proc/25526/stat : 25526 (cspfj.sh) S 25524 25526 24215 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160815809 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25526/statm: 1338 240 201 169 0 49 0
[pid=25529] ppid=25526 vsize=867092 CPUtime=12.62
/proc/25529/stat : 25529 (java) R 25526 25526 24215 0 -1 0 27206 0 1 0 1223 39 0 0 17 0 8 0 160815809 887902208 26789 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 216773 26789 1828 14 0 204035 0
[pid=25529/tid=25530] ppid=25526 vsize=867092 CPUtime=1.67
/proc/25529/task/25530/stat : 25530 (java) S 25526 25526 24215 0 -1 64 19363 0 0 0 160 7 0 0 16 0 8 0 160815812 887902208 26789 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25531] ppid=25526 vsize=867092 CPUtime=0
/proc/25529/task/25531/stat : 25531 (java) S 25526 25526 24215 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160815813 887902208 26789 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25532] ppid=25526 vsize=867092 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25526 25526 24215 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160815813 887902208 26789 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25526 vsize=867092 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25526 25526 24215 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160815816 887902208 26789 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25526 vsize=867092 CPUtime=0.31
/proc/25529/task/25534/stat : 25534 (java) S 25526 25526 24215 0 -1 64 550 0 0 0 30 1 0 0 15 0 8 0 160815816 887902208 26789 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25535] ppid=25526 vsize=867092 CPUtime=0
/proc/25529/task/25535/stat : 25535 (java) S 25526 25526 24215 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160815816 887902208 26789 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25526 vsize=867092 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25526 25526 24215 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160815816 887902208 26789 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 872444

[startup+25.5166 s]
/proc/loadavg: 0.95 1.17 1.57 2/73 25536
/proc/meminfo: memFree=1697248/2055920 swapFree=4192812/4192956
[pid=25526] ppid=25524 vsize=5352 CPUtime=0
/proc/25526/stat : 25526 (cspfj.sh) S 25524 25526 24215 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160815809 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25526/statm: 1338 240 201 169 0 49 0
[pid=25529] ppid=25526 vsize=867780 CPUtime=25.44
/proc/25529/stat : 25529 (java) R 25526 25526 24215 0 -1 0 34726 0 1 0 2488 56 0 0 17 0 8 0 160815809 888606720 34295 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074206592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 216945 34295 1833 14 0 204207 0
[pid=25529/tid=25530] ppid=25526 vsize=867780 CPUtime=1.87
/proc/25529/task/25530/stat : 25530 (java) S 25526 25526 24215 0 -1 64 25344 0 0 0 178 9 0 0 17 0 8 0 160815812 888606720 34295 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25531] ppid=25526 vsize=867780 CPUtime=0
/proc/25529/task/25531/stat : 25531 (java) S 25526 25526 24215 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160815813 888606720 34295 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25532] ppid=25526 vsize=867780 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25526 25526 24215 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160815813 888606720 34295 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25526 vsize=867780 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25526 25526 24215 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160815816 888606720 34295 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25526 vsize=867780 CPUtime=1.35
/proc/25529/task/25534/stat : 25534 (java) S 25526 25526 24215 0 -1 64 1304 0 0 0 129 6 0 0 16 0 8 0 160815816 888606720 34295 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25535] ppid=25526 vsize=867780 CPUtime=0
/proc/25529/task/25535/stat : 25535 (java) S 25526 25526 24215 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160815816 888606720 34295 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25526 vsize=867780 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25526 25526 24215 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160815816 888606720 34295 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 873132

[startup+51.1171 s]
/proc/loadavg: 0.96 1.16 1.56 2/73 25536
/proc/meminfo: memFree=1682592/2055920 swapFree=4192812/4192956
[pid=25526] ppid=25524 vsize=5352 CPUtime=0
/proc/25526/stat : 25526 (cspfj.sh) S 25524 25526 24215 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 160815809 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25526/statm: 1338 240 201 169 0 49 0
[pid=25529] ppid=25526 vsize=871740 CPUtime=50.96
/proc/25529/stat : 25529 (java) R 25526 25526 24215 0 -1 0 37729 0 1 0 5020 76 0 0 16 0 8 0 160815809 892661760 37298 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074206669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 217935 37298 1833 14 0 205197 0
[pid=25529/tid=25530] ppid=25526 vsize=871740 CPUtime=1.87
/proc/25529/task/25530/stat : 25530 (java) S 25526 25526 24215 0 -1 64 25344 0 0 0 178 9 0 0 16 0 8 0 160815812 892661760 37298 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25531] ppid=25526 vsize=871740 CPUtime=0
/proc/25529/task/25531/stat : 25531 (java) S 25526 25526 24215 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160815813 892661760 37298 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25532] ppid=25526 vsize=871740 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25526 25526 24215 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160815813 892661760 37298 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25526 vsize=871740 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25526 25526 24215 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160815816 892661760 37298 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25526 vsize=871740 CPUtime=4.78
/proc/25529/task/25534/stat : 25534 (java) S 25526 25526 24215 0 -1 64 4271 0 0 0 456 22 0 0 16 0 8 0 160815816 892661760 37298 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25529/tid=25535] ppid=25526 vsize=871740 CPUtime=0
/proc/25529/task/25535/stat : 25535 (java) S 25526 25526 24215 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160815816 892661760 37298 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25526 vsize=871740 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25526 25526 24215 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 160815816 892661760 37298 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 877092

Child status: 0
Real time (s): 101.349
CPU time (s): 101.099
CPU user time (s): 100.07
CPU system time (s): 1.02884
CPU usage (%): 99.7529
Max. virtual memory (cumulated for all children) (KiB): 881736

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

runsolver used 0.109983 s user time and 0.25696 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Jan  6 22:56:15 UTC 2007


IDJOB= 196553
IDBENCH= 3358
FILE ID= node55/196553-1168124175

PBS_JOBID= 3477492

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  98512f16e1ee914547090e130fb41158

RANDOM SEED= 803414186

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.218
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	: 5931.00
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.218
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:       1825408 kB
Buffers:         20032 kB
Cached:         142080 kB
SwapCached:          0 kB
Active:          97680 kB
Inactive:        80368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825408 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1420 kB
Writeback:           0 kB
Mapped:          26068 kB
Slab:            38544 kB
Committed_AS:  3200864 kB
PageTables:       1384 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= 66544 MiB



End job on node55 on Sat Jan  6 22:57:57 UTC 2007