Trace number 196504

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 86.7108 86.9935

DiagnosticValue
NODES909

General information on the benchmark

Namefapp/fapp06-10/fapp09/
fapp09-0800-5.xml
MD5SUM4634c03d54c303b83ebf64a419a233d2
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 benchmark5.14222
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)

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

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/node4/watcher-196504-1168123742 -o ROOT/results/node4/solver-196504-1168123742 -C 1800 -M 900 /tmp/evaluation/196504-1168123742/cspfj.sh -solver Combo -competition /tmp/evaluation/196504-1168123742/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.95 1.98 1.99 5/98 26306
/proc/meminfo: memFree=1450320/2055920 swapFree=4182144/4192956
[pid=26305] ppid=26303 vsize=5352 CPUtime=0
/proc/26305/stat : 26305 (cspfj.sh) S 26303 26305 25323 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 160769910 5480448 229 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26305/statm: 1338 229 192 169 0 49 0
[pid=26307] ppid=26305 vsize=0 CPUtime=0
/proc/26307/stat : 26307 (dirname) R 26305 26305 25323 0 -1 4194308 128 0 0 0 0 0 0 0 21 0 1 0 160769911 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/26307/statm: 0 0 0 0 0 0 0

[startup+0.109824 s]
/proc/loadavg: 1.95 1.98 1.99 5/98 26306
/proc/meminfo: memFree=1450320/2055920 swapFree=4182144/4192956
[pid=26305] ppid=26303 vsize=5352 CPUtime=0
/proc/26305/stat : 26305 (cspfj.sh) S 26303 26305 25323 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 160769910 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26305/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.517862 s]
/proc/loadavg: 1.95 1.98 1.99 5/98 26306
/proc/meminfo: memFree=1450320/2055920 swapFree=4182144/4192956
[pid=26305] ppid=26303 vsize=5352 CPUtime=0
/proc/26305/stat : 26305 (cspfj.sh) S 26303 26305 25323 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 160769910 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26305/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34095 s]
/proc/loadavg: 1.95 1.98 1.99 3/106 26315
/proc/meminfo: memFree=1434832/2055920 swapFree=4182144/4192956
[pid=26305] ppid=26303 vsize=5352 CPUtime=0
/proc/26305/stat : 26305 (cspfj.sh) S 26303 26305 25323 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 160769910 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26305/statm: 1338 240 201 169 0 49 0
[pid=26308] ppid=26305 vsize=865724 CPUtime=1.29
/proc/26308/stat : 26308 (java) R 26305 26305 25323 0 -1 0 6202 0 3 0 121 8 0 0 24 0 8 0 160769911 886501376 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26308/statm: 216431 5897 1828 14 0 203693 0
[pid=26308/tid=26309] ppid=26305 vsize=865724 CPUtime=0.14
/proc/26308/task/26309/stat : 26309 (java) R 26305 26305 25323 0 -1 64 2101 0 0 0 13 1 0 0 16 0 8 0 160769915 886501376 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4153985344 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26310] ppid=26305 vsize=865724 CPUtime=0
/proc/26308/task/26310/stat : 26310 (java) S 26305 26305 25323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160769915 886501376 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26311] ppid=26305 vsize=865724 CPUtime=0
/proc/26308/task/26311/stat : 26311 (java) S 26305 26305 25323 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160769915 886501376 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26312] ppid=26305 vsize=865724 CPUtime=0
/proc/26308/task/26312/stat : 26312 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160769919 886501376 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26313] ppid=26305 vsize=865724 CPUtime=0.25
/proc/26308/task/26313/stat : 26313 (java) S 26305 26305 25323 0 -1 64 499 0 0 0 23 2 0 0 15 0 8 0 160769919 886501376 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26314] ppid=26305 vsize=865724 CPUtime=0
/proc/26308/task/26314/stat : 26314 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160769919 886501376 5897 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26315] ppid=26305 vsize=865724 CPUtime=0
/proc/26308/task/26315/stat : 26315 (java) S 26305 26305 25323 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160769919 886501376 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) 871076

[startup+2.99912 s]
/proc/loadavg: 1.95 1.98 1.99 3/106 26315
/proc/meminfo: memFree=1425104/2055920 swapFree=4182144/4192956
[pid=26305] ppid=26303 vsize=5352 CPUtime=0
/proc/26305/stat : 26305 (cspfj.sh) S 26303 26305 25323 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 160769910 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26305/statm: 1338 240 201 169 0 49 0
[pid=26308] ppid=26305 vsize=865820 CPUtime=2.93
/proc/26308/stat : 26308 (java) R 26305 26305 25323 0 -1 0 9830 0 3 0 277 16 0 0 25 0 8 0 160769911 886599680 9485 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26308/statm: 216455 9485 1828 14 0 203717 0
[pid=26308/tid=26309] ppid=26305 vsize=865820 CPUtime=0.33
/proc/26308/task/26309/stat : 26309 (java) S 26305 26305 25323 0 -1 64 5023 0 0 0 30 3 0 0 16 0 8 0 160769915 886599680 9485 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26310] ppid=26305 vsize=865820 CPUtime=0
/proc/26308/task/26310/stat : 26310 (java) S 26305 26305 25323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160769915 886599680 9485 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26311] ppid=26305 vsize=865820 CPUtime=0
/proc/26308/task/26311/stat : 26311 (java) S 26305 26305 25323 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160769915 886599680 9485 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26312] ppid=26305 vsize=865820 CPUtime=0
/proc/26308/task/26312/stat : 26312 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160769919 886599680 9485 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26313] ppid=26305 vsize=865820 CPUtime=0.32
/proc/26308/task/26313/stat : 26313 (java) S 26305 26305 25323 0 -1 64 534 0 0 0 30 2 0 0 15 0 8 0 160769919 886599680 9485 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26314] ppid=26305 vsize=865820 CPUtime=0
/proc/26308/task/26314/stat : 26314 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160769919 886599680 9485 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26315] ppid=26305 vsize=865820 CPUtime=0
/proc/26308/task/26315/stat : 26315 (java) S 26305 26305 25323 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160769919 886599680 9485 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 871172

[startup+6.20141 s]
/proc/loadavg: 1.95 1.98 1.99 3/106 26315
/proc/meminfo: memFree=1396304/2055920 swapFree=4182144/4192956
[pid=26305] ppid=26303 vsize=5352 CPUtime=0
/proc/26305/stat : 26305 (cspfj.sh) S 26303 26305 25323 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 160769910 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26305/statm: 1338 240 201 169 0 49 0
[pid=26308] ppid=26305 vsize=866052 CPUtime=6.11
/proc/26308/stat : 26308 (java) R 26305 26305 25323 0 -1 0 16287 0 3 0 582 29 0 0 25 0 8 0 160769911 886837248 15905 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073654178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26308/statm: 216513 15905 1828 14 0 203775 0
[pid=26308/tid=26309] ppid=26305 vsize=866052 CPUtime=0.84
/proc/26308/task/26309/stat : 26309 (java) S 26305 26305 25323 0 -1 64 10209 0 0 0 78 6 0 0 16 0 8 0 160769915 886837248 15905 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26310] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26310/stat : 26310 (java) S 26305 26305 25323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160769915 886837248 15905 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26311] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26311/stat : 26311 (java) S 26305 26305 25323 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160769915 886837248 15905 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26312] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26312/stat : 26312 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160769919 886837248 15905 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26313] ppid=26305 vsize=866052 CPUtime=0.36
/proc/26308/task/26313/stat : 26313 (java) S 26305 26305 25323 0 -1 64 552 0 0 0 34 2 0 0 16 0 8 0 160769919 886837248 15905 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26314] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26314/stat : 26314 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160769919 886837248 15905 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26315] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26315/stat : 26315 (java) S 26305 26305 25323 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160769919 886837248 15905 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 871404

[startup+12.604 s]
/proc/loadavg: 1.96 1.98 1.99 3/106 26315
/proc/meminfo: memFree=1325712/2055920 swapFree=4182144/4192956
[pid=26305] ppid=26303 vsize=5352 CPUtime=0
/proc/26305/stat : 26305 (cspfj.sh) S 26303 26305 25323 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 160769910 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26305/statm: 1338 240 201 169 0 49 0
[pid=26308] ppid=26305 vsize=866052 CPUtime=12.39
/proc/26308/stat : 26308 (java) R 26305 26305 25323 0 -1 0 26681 0 3 0 1193 46 0 0 25 0 8 0 160769911 886837248 26262 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26308/statm: 216513 26262 1828 14 0 203775 0
[pid=26308/tid=26309] ppid=26305 vsize=866052 CPUtime=1.75
/proc/26308/task/26309/stat : 26309 (java) S 26305 26305 25323 0 -1 64 18961 0 0 0 166 9 0 0 16 0 8 0 160769915 886837248 26262 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26308/tid=26310] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26310/stat : 26310 (java) S 26305 26305 25323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160769915 886837248 26262 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26308/tid=26311] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26311/stat : 26311 (java) S 26305 26305 25323 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160769915 886837248 26262 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26312] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26312/stat : 26312 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160769919 886837248 26262 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26313] ppid=26305 vsize=866052 CPUtime=0.36
/proc/26308/task/26313/stat : 26313 (java) S 26305 26305 25323 0 -1 64 552 0 0 0 34 2 0 0 16 0 8 0 160769919 886837248 26262 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26314] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26314/stat : 26314 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160769919 886837248 26262 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26315] ppid=26305 vsize=866052 CPUtime=0
/proc/26308/task/26315/stat : 26315 (java) S 26305 26305 25323 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160769919 886837248 26262 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 871404

[startup+25.4673 s]
/proc/loadavg: 1.96 1.98 1.99 3/106 26315
/proc/meminfo: memFree=1294672/2055920 swapFree=4182144/4192956
[pid=26305] ppid=26303 vsize=5352 CPUtime=0
/proc/26305/stat : 26305 (cspfj.sh) S 26303 26305 25323 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 160769910 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26305/statm: 1338 240 201 169 0 49 0
[pid=26308] ppid=26305 vsize=866856 CPUtime=25.25
/proc/26308/stat : 26308 (java) R 26305 26305 25323 0 -1 0 34698 0 3 0 2460 65 0 0 25 0 8 0 160769911 887660544 34264 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074206579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26308/statm: 216714 34264 1833 14 0 203976 0
[pid=26308/tid=26309] ppid=26305 vsize=866856 CPUtime=1.97
/proc/26308/task/26309/stat : 26309 (java) S 26305 26305 25323 0 -1 64 25343 0 0 0 185 12 0 0 16 0 8 0 160769915 887660544 34264 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26308/tid=26310] ppid=26305 vsize=866856 CPUtime=0
/proc/26308/task/26310/stat : 26310 (java) S 26305 26305 25323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160769915 887660544 34264 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26308/tid=26311] ppid=26305 vsize=866856 CPUtime=0
/proc/26308/task/26311/stat : 26311 (java) S 26305 26305 25323 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160769915 887660544 34264 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26312] ppid=26305 vsize=866856 CPUtime=0
/proc/26308/task/26312/stat : 26312 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160769919 887660544 34264 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26313] ppid=26305 vsize=866856 CPUtime=1.29
/proc/26308/task/26313/stat : 26313 (java) S 26305 26305 25323 0 -1 64 1289 0 0 0 123 6 0 0 16 0 8 0 160769919 887660544 34264 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26308/tid=26314] ppid=26305 vsize=866856 CPUtime=0
/proc/26308/task/26314/stat : 26314 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160769919 887660544 34264 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26315] ppid=26305 vsize=866856 CPUtime=0
/proc/26308/task/26315/stat : 26315 (java) R 26305 26305 25323 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160769919 887660544 34264 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 872208

[startup+51.1217 s]
/proc/loadavg: 2.13 2.02 2.01 3/106 26315
/proc/meminfo: memFree=1279824/2055920 swapFree=4182144/4192956
[pid=26305] ppid=26303 vsize=5352 CPUtime=0
/proc/26305/stat : 26305 (cspfj.sh) S 26303 26305 25323 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 160769910 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26305/statm: 1338 240 201 169 0 49 0
[pid=26308] ppid=26305 vsize=870692 CPUtime=50.87
/proc/26308/stat : 26308 (java) R 26305 26305 25323 0 -1 0 37737 0 3 0 5004 83 0 0 25 0 8 0 160769911 891588608 37303 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074211609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26308/statm: 217673 37303 1833 14 0 204935 0
[pid=26308/tid=26309] ppid=26305 vsize=870692 CPUtime=1.97
/proc/26308/task/26309/stat : 26309 (java) S 26305 26305 25323 0 -1 64 25343 0 0 0 185 12 0 0 16 0 8 0 160769915 891588608 37303 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26308/tid=26310] ppid=26305 vsize=870692 CPUtime=0
/proc/26308/task/26310/stat : 26310 (java) S 26305 26305 25323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160769915 891588608 37303 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26308/tid=26311] ppid=26305 vsize=870692 CPUtime=0
/proc/26308/task/26311/stat : 26311 (java) S 26305 26305 25323 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 160769915 891588608 37303 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26312] ppid=26305 vsize=870692 CPUtime=0
/proc/26308/task/26312/stat : 26312 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160769919 891588608 37303 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26313] ppid=26305 vsize=870692 CPUtime=4.69
/proc/26308/task/26313/stat : 26313 (java) S 26305 26305 25323 0 -1 64 4284 0 0 0 448 21 0 0 15 0 8 0 160769919 891588608 37303 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26308/tid=26314] ppid=26305 vsize=870692 CPUtime=0
/proc/26308/task/26314/stat : 26314 (java) S 26305 26305 25323 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160769919 891588608 37303 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26308/tid=26315] ppid=26305 vsize=870692 CPUtime=0
/proc/26308/task/26315/stat : 26315 (java) S 26305 26305 25323 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160769919 891588608 37303 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 876044

Child status: 0
Real time (s): 86.9935
CPU time (s): 86.7108
CPU user time (s): 85.555
CPU system time (s): 1.15582
CPU usage (%): 99.675
Max. virtual memory (cumulated for all children) (KiB): 882072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.555
system time used= 1.15582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52038
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31622
involuntary context switches= 30817

runsolver used 0.102984 s user time and 0.295955 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 22:49:03 UTC 2007


IDJOB= 196504
IDBENCH= 3355
FILE ID= node4/196504-1168123742

PBS_JOBID= 3477157

Free space on /tmp= 66303 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  4634c03d54c303b83ebf64a419a233d2

RANDOM SEED= 973558171

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.223
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.223
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:       1450800 kB
Buffers:         30496 kB
Cached:         101816 kB
SwapCached:       2464 kB
Active:         474900 kB
Inactive:        74948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1450800 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            1836 kB
Writeback:           0 kB
Mapped:         437040 kB
Slab:            38916 kB
Committed_AS:  4742080 kB
PageTables:       3176 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= 66303 MiB



End job on node4 on Sat Jan  6 22:50:31 UTC 2007