Trace number 270023

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 2007-01-16SAT 95.9304 96.4656

DiagnosticValue
CHECKS34789462
NODES1560

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)

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

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/node17/watcher-270023-1169136698 -o ROOT/results/node17/solver-270023-1169136698 -C 1800 -M 900 /tmp/evaluation/270023-1169136698/cspfj.sh -competition /tmp/evaluation/270023-1169136698/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: 1.96 2.01 1.86 5/94 16087
/proc/meminfo: memFree=1649392/2055920 swapFree=4192812/4192956
[pid=16086] ppid=16084 vsize=5352 CPUtime=0
/proc/16086/stat : 16086 (cspfj.sh) S 16084 16086 15497 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 262064658 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482881106 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/16086/statm: 1338 228 191 169 0 49 0
[pid=16088] ppid=16086 vsize=5352 CPUtime=0
/proc/16088/stat : 16088 (cspfj.sh) R 16086 16086 15497 0 -1 4194368 4 0 0 0 0 0 0 0 21 0 1 0 262064658 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482711844 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16088/statm: 1338 228 191 169 0 49 0

[startup+0.104542 s]
/proc/loadavg: 1.96 2.01 1.86 5/94 16087
/proc/meminfo: memFree=1649392/2055920 swapFree=4192812/4192956
[pid=16086] ppid=16084 vsize=5352 CPUtime=0
/proc/16086/stat : 16086 (cspfj.sh) S 16084 16086 15497 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262064658 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16086/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.516585 s]
/proc/loadavg: 1.96 2.01 1.86 5/94 16087
/proc/meminfo: memFree=1649392/2055920 swapFree=4192812/4192956
[pid=16086] ppid=16084 vsize=5352 CPUtime=0
/proc/16086/stat : 16086 (cspfj.sh) S 16084 16086 15497 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262064658 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16086/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34168 s]
/proc/loadavg: 1.96 2.01 1.86 3/102 16096
/proc/meminfo: memFree=1631992/2055920 swapFree=4192812/4192956
[pid=16086] ppid=16084 vsize=5352 CPUtime=0
/proc/16086/stat : 16086 (cspfj.sh) S 16084 16086 15497 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262064658 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16086/statm: 1338 240 201 169 0 49 0
[pid=16089] ppid=16086 vsize=866360 CPUtime=1.3
/proc/16089/stat : 16089 (java) R 16086 16086 15497 0 -1 0 7102 0 1 0 123 7 0 0 24 0 8 0 262064659 887152640 6797 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 216590 6797 1829 14 0 203851 0
[pid=16089/tid=16090] ppid=16086 vsize=866360 CPUtime=0.17
/proc/16089/task/16090/stat : 16090 (java) S 16086 16086 15497 0 -1 64 2752 0 0 0 16 1 0 0 16 0 8 0 262064662 887152640 6797 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16091] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16091/stat : 16091 (java) S 16086 16086 15497 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 262064663 887152640 6797 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16086 16086 15497 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262064663 887152640 6797 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16086 16086 15497 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262064666 887152640 6797 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16086 vsize=866360 CPUtime=0.25
/proc/16089/task/16094/stat : 16094 (java) S 16086 16086 15497 0 -1 64 669 0 0 0 24 1 0 0 15 0 8 0 262064666 887152640 6797 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16095/stat : 16095 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262064666 887152640 6797 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 16 0 8 0 262064666 887152640 6797 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 871712

[startup+2.98084 s]
/proc/loadavg: 1.96 2.01 1.86 3/102 16096
/proc/meminfo: memFree=1615608/2055920 swapFree=4192812/4192956
[pid=16086] ppid=16084 vsize=5352 CPUtime=0
/proc/16086/stat : 16086 (cspfj.sh) S 16084 16086 15497 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262064658 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16086/statm: 1338 240 201 169 0 49 0
[pid=16089] ppid=16086 vsize=866360 CPUtime=2.92
/proc/16089/stat : 16089 (java) R 16086 16086 15497 0 -1 0 13146 0 1 0 277 15 0 0 25 0 8 0 262064659 887152640 12807 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073785743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 216590 12807 1829 14 0 203851 0
[pid=16089/tid=16090] ppid=16086 vsize=866360 CPUtime=0.48
/proc/16089/task/16090/stat : 16090 (java) S 16086 16086 15497 0 -1 64 8033 0 0 0 44 4 0 0 16 0 8 0 262064662 887152640 12807 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16091] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16091/stat : 16091 (java) S 16086 16086 15497 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 262064663 887152640 12807 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16086 16086 15497 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262064663 887152640 12807 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16086 16086 15497 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262064666 887152640 12807 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16086 vsize=866360 CPUtime=0.3
/proc/16089/task/16094/stat : 16094 (java) S 16086 16086 15497 0 -1 64 698 0 0 0 29 1 0 0 15 0 8 0 262064666 887152640 12807 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16095/stat : 16095 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262064666 887152640 12807 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16086 vsize=866360 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262064666 887152640 12807 18446744073709551615 134512640 134570532 4294956512 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) 871712

[startup+6.18818 s]
/proc/loadavg: 2.04 2.03 1.86 3/102 16096
/proc/meminfo: memFree=1567800/2055920 swapFree=4192812/4192956
[pid=16086] ppid=16084 vsize=5352 CPUtime=0
/proc/16086/stat : 16086 (cspfj.sh) S 16084 16086 15497 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262064658 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16086/statm: 1338 240 201 169 0 49 0
[pid=16089] ppid=16086 vsize=866580 CPUtime=6.1
/proc/16089/stat : 16089 (java) R 16086 16086 15497 0 -1 0 23757 0 1 0 580 30 0 0 25 0 8 0 262064659 887377920 23391 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 216645 23391 1829 14 0 203906 0
[pid=16089/tid=16090] ppid=16086 vsize=866580 CPUtime=1.08
/proc/16089/task/16090/stat : 16090 (java) R 16086 16086 15497 0 -1 64 17498 0 0 0 101 7 0 0 16 0 8 0 262064662 887377920 23391 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155772416 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16091] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16091/stat : 16091 (java) S 16086 16086 15497 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 262064663 887377920 23391 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16086 16086 15497 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262064663 887377920 23391 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16086 16086 15497 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262064666 887377920 23391 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16086 vsize=866580 CPUtime=0.36
/proc/16089/task/16094/stat : 16094 (java) S 16086 16086 15497 0 -1 64 723 0 0 0 35 1 0 0 15 0 8 0 262064666 887377920 23391 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16095/stat : 16095 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262064666 887377920 23391 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262064666 887377920 23391 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 871932

[startup+12.6837 s]
/proc/loadavg: 2.04 2.03 1.86 3/102 16096
/proc/meminfo: memFree=1500664/2055920 swapFree=4192812/4192956
[pid=16086] ppid=16084 vsize=5352 CPUtime=0
/proc/16086/stat : 16086 (cspfj.sh) S 16084 16086 15497 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262064658 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16086/statm: 1338 240 201 169 0 49 0
[pid=16089] ppid=16086 vsize=866580 CPUtime=12.57
/proc/16089/stat : 16089 (java) R 16086 16086 15497 0 -1 0 39812 0 1 0 1207 50 0 0 25 0 8 0 262064659 887377920 39427 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073723561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 216645 39427 1829 14 0 203906 0
[pid=16089/tid=16090] ppid=16086 vsize=866580 CPUtime=2.38
/proc/16089/task/16090/stat : 16090 (java) S 16086 16086 15497 0 -1 64 30989 0 0 0 225 13 0 0 16 0 8 0 262064662 887377920 39427 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16091] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16091/stat : 16091 (java) S 16086 16086 15497 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 262064663 887377920 39428 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16086 16086 15497 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262064663 887377920 39428 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16086 16086 15497 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262064666 887377920 39428 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16086 vsize=866580 CPUtime=0.36
/proc/16089/task/16094/stat : 16094 (java) S 16086 16086 15497 0 -1 64 723 0 0 0 35 1 0 0 16 0 8 0 262064666 887377920 39428 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16095/stat : 16095 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262064666 887377920 39429 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262064666 887377920 39430 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 871932

[startup+25.536 s]
/proc/loadavg: 2.03 2.03 1.86 3/102 16096
/proc/meminfo: memFree=1444408/2055920 swapFree=4192812/4192956
[pid=16086] ppid=16084 vsize=5352 CPUtime=0
/proc/16086/stat : 16086 (cspfj.sh) S 16084 16086 15497 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262064658 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16086/statm: 1338 240 201 169 0 49 0
[pid=16089] ppid=16086 vsize=866580 CPUtime=25.35
/proc/16089/stat : 16089 (java) R 16086 16086 15497 0 -1 0 53393 0 1 0 2466 69 0 0 25 0 8 0 262064659 887377920 52997 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 216645 52997 1834 14 0 203906 0
[pid=16089/tid=16090] ppid=16086 vsize=866580 CPUtime=2.71
/proc/16089/task/16090/stat : 16090 (java) S 16086 16086 15497 0 -1 64 43070 0 0 0 255 16 0 0 16 0 8 0 262064662 887377920 52997 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16091] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16091/stat : 16091 (java) S 16086 16086 15497 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 262064663 887377920 52997 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16086 16086 15497 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262064663 887377920 52997 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16086 16086 15497 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262064666 887377920 52997 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16086 vsize=866580 CPUtime=1.24
/proc/16089/task/16094/stat : 16094 (java) R 16086 16086 15497 0 -1 64 1224 0 0 0 119 5 0 0 15 0 8 0 262064666 887377920 52997 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16095/stat : 16095 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262064666 887377920 52997 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16086 vsize=866580 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262064666 887377920 52997 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 871932

[startup+51.1577 s]
/proc/loadavg: 2.02 2.02 1.87 3/102 16096
/proc/meminfo: memFree=1429176/2055920 swapFree=4192812/4192956
[pid=16086] ppid=16084 vsize=5352 CPUtime=0
/proc/16086/stat : 16086 (cspfj.sh) S 16084 16086 15497 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 262064658 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16086/statm: 1338 240 201 169 0 49 0
[pid=16089] ppid=16086 vsize=870276 CPUtime=50.84
/proc/16089/stat : 16089 (java) R 16086 16086 15497 0 -1 0 57168 0 1 0 4995 89 0 0 25 0 8 0 262064659 891162624 56771 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 217569 56771 1834 14 0 204830 0
[pid=16089/tid=16090] ppid=16086 vsize=870276 CPUtime=2.76
/proc/16089/task/16090/stat : 16090 (java) S 16086 16086 15497 0 -1 64 43995 0 0 0 259 17 0 0 16 0 8 0 262064662 891162624 56771 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16091] ppid=16086 vsize=870276 CPUtime=0
/proc/16089/task/16091/stat : 16091 (java) S 16086 16086 15497 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 262064663 891162624 56771 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16086 vsize=870276 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16086 16086 15497 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262064663 891162624 56771 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16086 vsize=870276 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16086 16086 15497 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 262064666 891162624 56771 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16086 vsize=870276 CPUtime=4.56
/proc/16089/task/16094/stat : 16094 (java) R 16086 16086 15497 0 -1 64 4037 0 0 0 435 21 0 0 15 0 8 0 262064666 891162624 56771 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16086 vsize=870276 CPUtime=0
/proc/16089/task/16095/stat : 16095 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262064666 891162624 56771 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16086 vsize=870276 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16086 16086 15497 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262064666 891162624 56771 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 875628

Child status: 0
Real time (s): 96.4656
CPU time (s): 95.9304
CPU user time (s): 94.7566
CPU system time (s): 1.17382
CPU usage (%): 99.4452
Max. virtual memory (cumulated for all children) (KiB): 880736

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

runsolver used 0.12698 s user time and 0.308953 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Thu Jan 18 16:11:39 UTC 2007


IDJOB= 270023
IDBENCH= 3348
IDSOLVER= 91
FILE ID= node17/270023-1169136698

PBS_JOBID= 3582447

Free space on /tmp= 66560 MiB

SOLVER NAME= CSP4J - MAC 2007-01-16
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp06-10/fapp09/fapp09-0800-3.xml
COMMAND LINE= /tmp/evaluation/270023-1169136698/cspfj.sh  -competition /tmp/evaluation/270023-1169136698/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-270023-1169136698 -o ROOT/results/node17/solver-270023-1169136698 -C 1800 -M 900  /tmp/evaluation/270023-1169136698/cspfj.sh  -competition /tmp/evaluation/270023-1169136698/unknown.xml

META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH=  3a39af590e754420eaf79b6f135d4551

RANDOM SEED= 267130974

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.236
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.236
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:       1650008 kB
Buffers:         37720 kB
Cached:         201912 kB
SwapCached:          0 kB
Active:         210708 kB
Inactive:       122672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1650008 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1496 kB
Writeback:           0 kB
Mapped:         120320 kB
Slab:            56992 kB
Committed_AS:  7238012 kB
PageTables:       2392 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= 66560 MiB



End job on node17 on Thu Jan 18 16:13:15 UTC 2007